Abstract
We give a short introduction to discrete flat fronts in hyperbolic space and prove that any discrete flat front in the mixed area sense admits a Weierstrass representation.
Introduction
Flat fronts in hyperbolic space—that is, intrinsically flat surfaces in hyperbolic space that may have certain types of singularities—yield an interesting class of surfaces/fronts for their relations to various areas in differential geometry and, in particular, also for the study of singularities of special surfaces: they admit a Weierstrass type representation [10] that is of a rather geometric nature as it is directly linked to the geometry of a pair of hyperbolic Gauss maps that form a curved flat in the integrable systems sense [4]. For example, this observation establishes a relation with Darboux pairs of minimal surfaces in Euclidean space [12], c.f. [15]. In a sphere geometric context, these hyperbolic Gauss maps are related to a pair of isothermic sphere congruences that put flat fronts in the context of Demoulin’s \(\Omega \) surfaces and, in particular, of linear Weingarten surfaces [5]; on the other hand, flat fronts occur in parallel families as orthogonal surfaces to a cyclic system spanned by the pair of hyperbolic Gauss maps, c.f. [4].
Two approaches have been taken to discretize flat fronts in hyperbolic space, in an integrable systems sense: firstly, by discretizing their Weierstrass representation in [14], secondly, as particular linear Weingarten surfaces in a hyperbolic space form in [6]. A relation has been established by showing that the nets obtained by the discrete Weierstrasstype representation satisfy the second definition [18], though the converse seems not to be established yet. However, in [13] we recently related discrete flat fronts in the former sense to Darboux pairs (curved flats of [9]) of holomorphic maps into the 2sphere, c.f. Fig. 1, which is a building block towards proving the converse.
These notes grew out of the first author’s MSc thesis, supervised by the other authors: we aim to give a relatively gentle and lowtech introduction to the geometry of (discrete) flat fronts in hyperbolic space, following various threads and approaches and to knit them together. As a new result, we shall prove that Darboux pairs (curved flats) of discrete holomorphic maps admit a Weierstrasstype representation. As a consequence, any discrete linear Weingarten net in hyperbolic space with mixed area Gauss curvature \(K\equiv 1\) then admits a Weierstrasstype representation.
Hyperbolic geometry
From a differential geometric point of view it is convenient to embed hyperbolic space into a (flat) vector space geometry, so that covariant differentiation becomes just ordinary differentiation followed by a projection: thus we consider hyperbolic space as one of the sheets of a twosheeted hyperboloid in a Minkowski space \({\mathbb R}^{3,1}=({\mathbb R}^4,(.,.))\):
where \(o\in H^3\) denotes some unit timelike vector, that distinguishes one sheet of the hyperboloid. To visualize objects in this 3dimensional hyperbolic geometry we then project to a (nonflat) Poincaré model, where \(H^3\) is conformally embedded into Euclidean 3space, for example, by means of the stereographic projection into the unit ball of \({\mathbb R}^3=\{o\}^\perp \subset {\mathbb R}^{3,1}\):
In what follows we discuss two enhancements of this setup that provide for a better geometric handling of flat surfaces and fronts in hyperbolic space, and for an algebraic setting that caters for their Weierstrass type representation, respectively.
Hyperbolic geometry as a subgeometry of Lie sphere geometry
Hyperbolic geometry, as any other space form geometry, may be considered as a subgeometry of Lie sphere geometry: the classical incarnation of contact geometry. This approach is, in particular, well suited to investigate fronts, that is, surfaces \(x:\Sigma ^2\rightarrow H^3\) that may have certain types of singularities but still admit a smooth unit normal field (Gauss map) \(n:\Sigma ^2\rightarrow S^{2,1}\) such that the pair (x, n) is an immersion. Our short description here will be tailored to the specific case of hyperbolic geometry, for more general and comprehensive introductions see [1] or [8].
Thus consider \({\mathbb R}^{3,1}\subset {\mathbb R}^{4,2}={\mathbb R}^{1,1}\oplus _\perp {\mathbb R}^{3,1}\) and let (p, q) denote an orthonormal basis of \({\mathbb R}^{1,1}\), that is, \((p,p)=(q,q)=1\) and \(p\perp q\); hence \({\mathbb R}^{3,1}=\langle p,q\rangle ^\perp \), where \(\langle \dots \rangle \) denotes the linear span of vectors. We now consider the affine quadrics
denotes the light cone of \({\mathbb R}^{4,2}\). Clearly, \(P^3\) and \(Q^3\) are, as offsets of the unit 1 and 2sheeted hyperboloids in \({\mathbb R}^{3,1}\) by p and \(q\), respectively, isometric to these hyperboloids. In particular, each component of \(Q^3\) yields a model of hyperbolic 3space in the light cone \({\mathcal L}\subset {\mathbb R}^{4,2}\). The common infinity boundary of these two hyperbolic spaces is formed by the null directions \(\langle x\rangle \) in \({\mathbb R}^{3,1}\subset {\mathbb R}^{4,2}\), where \(x\in {\mathcal L}\cap \langle p,q\rangle ^\perp \), and inherits a 2dimensional Möbius geometry from the hyperbolic geometry of \(Q^3\) and accordingly the group of Lie sphere transformations that fix p and q.
More generally, points \(\langle s\rangle \) of the Lie quadric (the projective light cone of \({\mathbb R}^{4,2}\), i.e., \(s\in {\mathcal L}\)) represent oriented spheres: in hyperbolic geometry these come in various flavours; the “point spheres”, \(s\perp p\), of either sheet of \(Q^3\) or of their common infinity boundary have been discussed above. Accordingly, we call p the “point sphere complex”.
A hyperbolic “distance sphere” with centre \(c\in H^3\subset {\mathbb R}^{4,2}\) and radius \(r\in {\mathbb R}\) is represented by \(\langle s\rangle \) with \(s=p\,\sinh rq\,\cosh r+c\): the intersection \(Q^3\cap \langle s\rangle ^\perp \) consists of points in distance r from \(cq\), as evaluating \(0=(x(t),s)\) on an arclength parametrization \(t\mapsto x(t)=c\,\cosh t+c'\,\sinh tq\) of a geodesic in \(Q^3\) emanating from \(cq\) in a unit direction \(c'\in T_{cq}Q^3=T_cH^3\) shows. Note that a sign swap of the radius r corresponds to reflection of s in \(\langle p\rangle ^\perp \): this reflection yields the orientation reversal; point spheres (\(r=0\)) are invariant under this reflection. A reflection in \(\langle q\rangle ^\perp \), on the other hand, swaps the sheets of \(Q^3\), hence moving a distance sphere from one hyperbolic space into the other.
Spheres represented by \(\langle p\,\cosh r+q\,\sinh r+n\rangle \) with \(n\in S^{2,1}\) and \(r\in {\mathbb R}\) intersect the infinity sphere of the two sheets of \(Q^3\): \(\langle n,p,q\rangle ^\perp \cap {\mathcal L}\ne \{0\}\). In particular, if \(r=0\) then \(p+n\in P^3\) is invariant under a reflection in \(\langle q\rangle ^\perp \), that is, under an inversion in the infinity boundary, hence represents a plane in both hyperbolic spaces. Accordingly, we call q the “plane (sphere) complex”.
Given a point \(x\in H^3\) and a unit vector \(n\in T_xH^3\), any sphere through x with normal n at x is represented by \(s\in \langle xq,n+p\rangle \), for example, all distance spheres \((xq)\cosh r+(n+p)\sinh r\) touch at the point x. Note that \(\langle xq,n+p\rangle \subset {\mathbb R}^{4,2}\) is a null 2plane, hence defines a line in the Lie quadric. Such lines will be called “contact elements”.
Two spheres \(\langle s\rangle \) and \(\langle s'\rangle \) “touch” (are in oriented contact) if they span a contact element, that is, if \((s,s')=0\). In particular, a sphere is a horosphere if it touches either of the oriented infinity spheres \(\langle q\pm p\rangle \) of the two hyperbolic sheets of \(Q^3\): thus a horosphere is represented by \(h=q\pm p+x\), where \(x\in {\mathcal L}\cap \langle p,q\rangle ^\perp \) yields (homogeneous coordinates of) the point of contact with the infinity boundary.
Lie sphere transformations are given by the orthogonal transformations of \({\mathbb R}^{4,2}\), hence act on the space of oriented spheres (the Lie quadric) and preserve contact. Hyperbolic isometries are those Lie sphere transformations that preserve the point and plane sphere complexes, \(\langle p\rangle \) and \(\langle q\rangle \), and that do not swap the sheets of \(Q^3\). Of interest will also be the “parallel transformations”, given by Lorentz boosts in qdirection, \( (p,q) \mapsto (p,q)\left( \begin{array}{c} \cosh s\\ \sinh s \end{array}\, \begin{array}{c} \sinh s\\ \cosh s \end{array} \right) \), that shift the radius of all distance spheres:
Hyperbolic geometry using Pauli matrices
Weierstrasstype representations of surfaces in hyperbolic space typically employ a model of hyperbolic geometry that is based on Hermitian matrices (or forms), using an explicit incarnation of the (universal) covering of the group of hyperbolic motions (the restricted Lorentz group) by the special linear group \(\mathrm{Sl}(2,{\mathbb C})\), cf [3, 10] and [16, Sect. 4.2]. Here we will briefly recall this model of hyperbolic geometry, for completeness.
Thus consider the (real) 4dimensional space of Hermitian \(2\times 2\)matrices \(\mathrm{Herm}(2)\): equipped with the quadratic form \(\det :\mathrm{Herm}(2)\rightarrow {\mathbb R}\) this space becomes a 4dimensional real Minkowski space, \((\mathrm{Herm}(2),\det ) \cong {\mathbb R}^{3,1}\), that \(\mathrm{Sl}(2,{\mathbb C})\) acts transitively on as its restricted Lorentz group via
Together with the identity matrix the Pauli matrices form an orthonormal basis \((E_0,E_1,E_2,E_3)\) of \(\mathrm{Herm}(2)\),
Hyperbolic geometry is then modelled on with the group \(\mathrm{Sl}(2,{\mathbb C})\) acting on \(H^3\) by hyperbolic motions; note that orientation reversing hyperbolic isometries (e.g., hyperbolic reflections) are not obtained from the action of \(\mathrm{Sl}(2,{\mathbb C})\) on \(\mathrm{Herm}(2)\).
In this setting of hyperbolic geometry, its boundary Möbius geometry comes in two flavours: as the Möbius geometry of restricted Lorentz transformations on the projective light cone of \({\mathbb R}^{3,1}\); and as the geometry of the complex projective line \({\mathbb C}{ P}^1\), acted upon by complex Möbius transformations. The relation between the two models is established by the Hermitian dyadic square,
which is obviously compatible with the actions of \(\mathrm{Sl}(2,{\mathbb C})\) on \({\mathbb C}{ P}^1\) by linear fractional transformations and on the projective light cone \({\mathbb P}({\mathcal L}^3)\) of \(\mathrm{Herm}(2)\) by the restricted Lorentz group. Also note that this map has an inverse as every singular Hermitian matrix is a Hermitian dyadic square.
To obtain the hyperbolic Gauss maps of a surface or front in \(H^3\) we will later be interested to determine those points, where a geodesic emanating from a point \(C\in H^3\) with a unit initial velocity \(C'\in T_CH^3\) hits the infinity sphere. Using, as before, an arclength parametrization we take the limits
and observe that \(\det (C\pm C')=(C,C)\pm 2(C,C')+(C',C')=0\), that is, \(C\pm C'\in {\mathcal L}^3\) indeed. If, further, \(C=G\cdot E_0\) and \(C'=G\cdot E_3\) are given as images of the basis vectors \(E_0\) and \(E_3\) under a hyperbolic rotation \(G=\left( {a\atop b}\,{c\atop d}\right) \), then
that is, the columns of the matrix \(G\in \mathrm{Sl}(2,{\mathbb C})\) yield (homogeneous coordinates for) the points at infinity of the geodesic, as points in \({\mathbb C}{ P}^1\).
Discrete flat fronts in hyperbolic space
Discrete flat fronts in hyperbolic space have been approached from two rather different angles:

in [14, Sect. 4.3] they were defined in terms of a Weierstrass representation and shown to be principal (circular) nets (Thm 4.6 and Rem 4.7 in [14]);

in [6, Expl 4.3] they were investigated in terms of their mixed area (extrinsic) Gauss curvature, as a special instance of discrete linear Weingarten surfaces.
A relation was established in [18, Sect. 5], where the discrete flat fronts of [14] were shown to be discrete linear Weingarten surfaces with a constant mixed area Gauss curvature \(K\equiv 1\), see [18, Prop 5.1 and Lemma 5.3]. Further, in [17], the Weierstrasstype representation of [14] is given a sphere geometric interpretation, cf [17, Thm 4.9 and Expl 4.8]. Another sphere geometric approach to flat fronts, in terms of (discrete) cyclic systems, has been discussed in [13, Sect. 4.2], where a focus is on the geometry of the two hyperbolic Gauss maps \(h^\pm \) of a flat front — which draws a connection to the discrete curved flats of [9, Chap 8 (Thm 8.4.1)].
Here we aim to knit the various threads together, to obtain further insight into the geometry of (discrete) flat fronts and, in particular, to prove that every flat front in the sense of [6] admits a Weierstrasstype representation of [14]. In the process we will present some short and simple proofs for some of the results described above.
A Weierstrasstype representation
To set the scene we fix some notations, cf [6] or [7]: we shall consider maps that “live” on cells of some dimension of a quadrilateral cell complex, \(\Sigma ^2=(\Sigma ^2_0,\Sigma ^2_1,\Sigma ^2_2)\), where \(\Sigma ^2_0\) denotes the set of vertices, \(\Sigma ^2_1\) the set of (oriented) edges, and \(\Sigma ^2_2\) the set of (oriented) quadrilateral faces; the elements of \(\Sigma ^2_1\) and \(\Sigma ^2_2\) will usually be denoted by their vertices, i.e., \((ij)\in \Sigma ^2_1\) denotes an edge from \(i\in \Sigma ^2_0\) to \(j\in \Sigma ^2_0\), and \((ijkl)\in \Sigma ^2_2\) denotes an oriented face with vertices \(i,j,k,l\in \Sigma ^2_0\) and edges \((ij),(jk),(kl),(li)\in \Sigma ^2_1\).
We will generally assume \(\Sigma ^2\) to be simply connected, that is, any two points \(i,j\in \Sigma ^2_0\) can be connected by an (edge)path and any closed (edge)path is nullhomotopic, via “faceflips” and via dropping single edge “return trips”, cf [7, Sect. 2.3].
Given a vectorvalued function \(i\mapsto g_i\) on vertices, its derived function and discrete derivative will be denoted by
so that a Leibniz rule \(d(fg)_{ij}=df_{ij}g_{ij}+f_{ij}dg_{ij}\) (for any product of vectors) holds; note that the derived edge function is a function on unoriented edges while the derivative is a discrete 1form,
If \(g:\Sigma ^2_0\rightarrow {\mathbb C}\) is a complexvalued vertex function, then we may compute the cross ratio on (quadrilateral) faces,
note that this does not define a map on faces, but it does after factoring out the anharmonic group. Then g will be called holomorphic if it is a (totally umbilic) discrete isothermic net:
where \(a:\Sigma ^2_1\rightarrow {\mathbb R}\) denotes a (real) edgelabelling, that is, a function on edges so that
For regularity, we further assume that \( \forall (ijkl)\in \Sigma ^2_2: \mathrm{cr}(g_i,g_j,g_k,g_l) \ne 0,1,\infty . \)
Figure 1 shows (the inverse sterographic projections of) two holomorphic maps (blue and green) with (constant) cross ratios \(1\), thus with edge labellings with values \(\pm 1\), up to scaling.
We are now in a position to recall the representation of discrete flat fronts from [14, Sect. 4.3]
Weierstrass representation Let \(g:\Sigma ^2_0\rightarrow {\mathbb C}\) be a discrete holomorphic function, with edgelabelling \(a:\Sigma ^2_1\rightarrow {\mathbb R}\), and fix \(t\in {\mathbb R}\setminus \{0,{1\over a_{ij}}\,\,(ij)\in \Sigma ^2_1\}\); then there is a frame \(F:\Sigma ^2_0\rightarrow \mathrm{Sl}(2,{\mathbb C})\), satisfying
that yields a 1parameter family of parallel discrete flat fronts \((X,N):\Sigma ^2_0\rightarrow H^3\times S^{2,1}\), where
for \(s\in {\mathbb R}\) and \( E_0 = \left( {1\atop 0}\,{0\atop 1}\right) , E_3 = \left( {1\atop 0}\,{0\atop 1}\right) \in \mathrm{Herm}(2), \) as above.
Remark By Christoffel’s formula \(dg^*_{ij}={a_{ij}\over d{\bar{g}}_{ij}}\) with the (isothermic) dual \(g^*\) of g, cf [11, §5.7.7]; hence
Note that \(W:\Sigma ^2_1\rightarrow \mathrm{Sl}(2,{\mathbb C})\) defines a discrete connection on the vector bundle \(\Sigma ^2_0\times \mathrm{Herm}(2)\), since
Integrability. To substantiate the claims in relation to the above Weierstrasstype representation, first note that the frame F indeed exists: as \(\Sigma ^2\) is assumed to be simply connected, the integrability of (3.2) is equivalent to the (metric) connection W being flat (cf [7, Prop 2.17]), that is,
Using that \(a:\Sigma ^2_1\rightarrow {\mathbb R}\) is an edgelabelling, the flatness (3.4) of the connection W reduces to the integrability of the Christoffel equation for \(g^*\), and to the cross ratio condition (3.1) for g to be holomorphic, cf [14, Thm 4.6 (proof)] and [18, Sect. 4.3].
Remark. The Weingarten equation (3.2) yields a propagation for the pair (X, N) via reflections. Namely, let
and observe that \( F_iY_{ij}F_i^*+ F_jY_{ji}F_j^*= F_j(W_{ji}Y_{ij}+Y_{ji}W_{ij}^*)F_i^*= 0; \) hence \(R_{ij}:=F_iY_{ij}F_i^*\) yields a well defined reflection on \({\mathbb R}^{3,1}\cong (\mathrm{Herm}(2),\det )\),
As \(E_k2Y_{ij}(Y_{ij},E_k)=W_{ij}E_kW_{ij}^*\) for \(k=0,3\) we find that these reflections transport the points between adjacent geodesics from X in direction N,
Note that, in accordance with [13, Sect. 4.2], \(\langle R_{ij}\rangle =\langle d(X\pm N)_{ij}\rangle \).
Circularity. In fact, the map \((X,N):\Sigma ^2_0\rightarrow H^3\times S^{2,1}\) satisfies a discrete Rodrigues equation on edges,
is the principal curvature of the edge; note that \(k_{ij}=k_{ji}\). To obtain a Lie geometric interpretation we embed \({\mathbb R}^{3,1}\subset {\mathbb R}^{4,2}={\mathbb R}^{3,1}\oplus _\perp {\mathbb R}^{1,1}\) with \({\mathbb R}^{1,1}=\langle p,q\rangle \), as before, then consider the discrete sphere congruences \(\langle x\rangle \) and \(\langle n\rangle \) given by the light cone maps
Clearly, \(dn=dN\) and \(dx=dX\) satisfy the same Rodrigues equation, hence adjacent contact elements intersect in a common (edge)curvature sphere \( \langle \kappa _{ij}\rangle = \langle x,n\rangle _i\cap \langle x,n\rangle _j \)—which characterizes the contact element map \(\langle x,n\rangle \) as a discrete Legendre map, cf [2, Sect. 3.5] or [6, Def 2.1]. As a consequence, each map \(X:\Sigma ^2_0\rightarrow H^3\) resp \(x:\Sigma ^2_0\rightarrow Q^3\) of the parallel family is a principal (or, circular) net, cf [14, Thm 4.6] and [18, Lemma 5.1].
Remark. As \(x:\Sigma ^2_0\rightarrow Q^3\) and \(n:\Sigma ^2_0\rightarrow P^3\), these are the point sphere and tangent plane congruences of the Legendre map \(\langle x,n\rangle \), respectively. Note how the aforementioned hyperbolic parallel transformations of Sect. 2.1 move through the parallel family in the Weierstrass representation:
Curvature. Finally, we argue that \((X,N):\Sigma ^2_0\rightarrow H^3\times S^{2,1}\) defines a flat front; to this end we compute face diagonals \(\delta H^\pm _{ik}:=H^\pm _kH^\pm _i\) for its hyperbolic Gauss maps, \(H^\pm =X\pm N\), then determine its (extrinsic) mixed area Gauss curvature K on faces from the equation (cf [6, Def 2.3])
where \(A:\Sigma ^2_2\rightarrow \Lambda ^2{\mathbb R}^{3,1}\) denotes the (vectorvalued) mixed area, a symmetric bilinear form given by its quadratic form
Thus let \(E^\pm :=E_0\pm E_3\), so that \(H^\pm =FE^\pm F^*\), and let \(r:\Sigma ^2_0\rightarrow {\mathbb R}\) be a function that factorizes \({dg^2\over a}:\Sigma ^2_1\rightarrow {\mathbb R}\), so that \( dg^*_{ij} = {a_{ij}\over d\bar{g}_{ij}} = {dg_{ij}\over r_ir_j} \) (cf [2, Thm 2.31] or [6, (3.1)]); hence compute
Since \( 0 = {\delta g^*_{ik}\over \delta (1/r)_{ik}} + {\delta g_{jl}\over \delta r_{jl}}, \) from the Christoffel equation (cf [2, (2.37)] or [6, (3.3)]), we conclude that
that is, (X, N) has the extrinsic Gauss curvature of a (smooth) flat surface in hyperbolic space, cf [18, Lemma 5.3]. Furthermore, as \(\delta (x\pm n)\parallel \delta H^\pm \), we learn that the lifts \(x\pm n:\Sigma ^2_0\rightarrow {\mathcal L}\) of the enveloped horosphere congruences \(\langle x\pm n\rangle \) are Königs dual lifts of isothermic sphere congruences, showing that the Legendre map \(\langle x,n\rangle =\langle x+n,xn\rangle \) is an \(\Omega \)net in the sense of [6, Def 3.1] or [7, Def 6.1], cf [18, Prop 5.1].
Summary. Any discrete flat front \((X,N):\Sigma ^2_0\rightarrow H^3\times S^{2,1}\) obtained from the Weierstrass representation (3.3) is a discrete linear Weingarten net with constant Gauss curvature \(K\equiv 1\).
Darboux pairs of holomorphic maps
This last observation, about the enveloped horosphere congruences \(\langle x\pm n\rangle \) of a flat front (x, n) in hyperbolic space being isothermic with Königs dual lifts, leads to a relation between flat fronts and Darboux pairs of discrete holomorphic maps, see [13, Thm 31]: the hyperbolic Gauss maps of a discrete flat front (in the mixed area sense) form a Darboux pair of holomorphic maps in the 2sphere; conversely, any Darboux pair of discrete holomorphic maps in a 2sphere yields a hyperbolic line congruence so that its orthogonal nets have mixed area Gauss curvature \(K\equiv 1\). The configuration is illustrated in Fig. 1.
Clearly the first assertion of [13, Thm 31], for discrete flat fronts in the sense of [6], now follows directly also for discrete flat fronts in the sense of [14]:
Lemma. The two hyperbolic Gauss maps \(\langle H^\pm \rangle \) of a discrete flat front \((X,N):\Sigma ^2_0\rightarrow H^3\times S^{2,1}\), obtained from the Weierstrass representation (3.3), form a Darboux pair in \(S^2\cong {\mathbb P}({\mathcal L}^3)\).
Alternatively, this Lemma is more directly verified by straightforward cross ratio computations: using the \({\mathbb C}{ P}^1\)versions \(\langle h^\pm \rangle :\Sigma ^2_0\rightarrow {\mathbb C}{ P}^1\), \(h^\pm =Fe^\pm \) with \(e^+=\left( {1\atop 0}\right) \) and \(e^=\left( {0\atop 1}\right) \), of the hyperbolic Gauss maps, the Weierstrass representation (3.2) yields
Thus \(\langle h^\pm \rangle :\Sigma ^2_0\rightarrow {\mathbb C}{ P}^1\cong S^2\) form a Darboux pair of isothermic nets, with cross ratio factorizing edgelabelling
Remark. By [9, Thm 8.4.1] we just confirmed that the point pair map \((\langle h^+\rangle ,\langle h^\rangle ):\Sigma ^2_0\rightarrow S^2\times S^2\) qualifies as a discrete curved flat. Observe how this resonates with the change of the cross ratio factorizing edgelabelling (3.6), cf [11, §5.7.34 and §5.7.16], and the fact that (3.2) is a discretization of the smooth curved flat system \(dF=F\Phi \) with \(\Phi =\left( {0\atop td{\bar{g}}^*}\,{dg\atop 0}\right) \), cf [11, §5.5.20] and [4, Sect. 3].
Mission. We would like to obtain the converse: given a Darboux pair (curved flat) of discrete holomorphic maps \(\langle h^\pm \rangle :\Sigma ^2_0\rightarrow {\mathbb C}{ P}^1\) into a 2sphere \(S^2\cong {\mathbb C}{ P}^1\), we would like to show the existence of—and derive a defining equation for—lifts \(h^\pm \) so that \(F=(h^+,h^)\) satisfies (3.2).
Setting. Thus let \(h^\pm :\Sigma ^2_0\rightarrow {\mathbb C}^2\) denote (any lifts of) the maps of a Darboux pair of discrete holomorphic maps into the 2sphere \(S^2\cong {\mathbb C}{ P}^1\), with parameter \(t\in {\mathbb R}\setminus \{0\}\) and an edgelabelling \(b:\Sigma ^2_1\rightarrow {\mathbb R}\), that is (cf [11, §5.7.12]),
Further, let \(F':=(h^+,h^):\Sigma ^2_0\rightarrow \mathrm{Gl}(2,{\mathbb C})\) and \( W':\Sigma ^2_1\rightarrow \mathrm{Gl}(2,{\mathbb C}), (ij)\mapsto W'_{ij} := (F'_i)^{1}F'_j. \)
Cross ratios. Writing \(W'=\left( {u\atop x}\,{v\atop y}\right) \), the assumption \(F':\Sigma ^2_0\rightarrow \mathrm{Sl}(2,{\mathbb C})\) and the condition for the cross ratio of corresponding edges yield, analogously to (3.5),
hence the factorizing cross ratios of the isothermic nets \(h^\pm \) on \((ijkl)\in \Sigma ^2_2\) reduce to a single equation,
Maurer–Cartan equation. Next we wheel out the conditions on \(W'\) to define a flat connection: firstly, using (3.7), the condition \(W'_{ji}=(W'_{ij})^{1}\) on \(W'\) to define a connection produces two equations
in particular, we conclude that v is a discrete 1form; secondly, we use (3.7) and (3.8) to extract two equations from the flatness \(W'_{ij}W'_{jk}=W'_{il}W'_{lk}\) of \(W'\),
and
Gauge transformation. Finally consider the remaining freedom \(F=F'G=(h^+w,h^w^{1})\) for the choice of lifts \((h^+,h^)\) of the Darboux pair and the corresponding gauge transformation for the induced connection,
seeking lifts so that W has the appropriate shape of (3.2): using (3.6) this leads to the difference equation
the integrability of which is granted by (3.10) and the fact that b is an edgelabelling. Further, using the difference equation for w, (3.9) and (3.11) yield the existence of a potential \(g:\Sigma ^2_0\rightarrow {\mathbb C}\) of the 1form
which is holomorphic by (3.8), with cross ratio factorizing edgelabelling \(a={b\over 1tb}\) by (3.6).
Thus we have proved:
Lemma. Any Darboux pair of discrete holomorphic maps in the 2sphere \(S^2\cong {\mathbb C}{ P}^1\) admits a Weierstrass representation (3.2), that is, there exist lifts \(h^\pm :\Sigma ^2_0\rightarrow {\mathbb C}^2\) of the two holomorphic maps \(\langle h^\pm \rangle :\Sigma ^2_0\rightarrow {\mathbb C}{ P}^1\) so that \(F:=(h^+,h^):\Sigma ^2_0\rightarrow \mathrm{Sl}(2,{\mathbb C})\) satisfies (3.2).
And, as the hyperbolic Gauss maps of a discrete flat front in the mixed area sense of [6] form a Darboux pair of holomorphic maps by [13, Thm 31], we also learn that every flat front in hyperbolic space admits a Weierstrass representation:
Corollary. Any discrete flat front \((X,N):\Sigma _0\rightarrow H^3\times S^{2,1}\), defined as a linear Weingarten net with mixed area Gauss curvature \(K\equiv 1\), admits a Weierstrasstype representation (3.2).
References
Blaschke, W.: Vorlesungen über Differentialgeometrie III. Springer Grundlehren XXIX, Berlin (1929)
Bobenko, A.: Discrete Differential Geometry. Integrable Structure. Graduate Studies in Mathematics 98. AMS, Providence (2008)
Bryant, R.: Surfaces of mean curvature one in hyperbolic space. Astérisque 154–155, 321–347 (1987)
Burstall, F., HertrichJeromin, U., Rossman, W.: Lie geometry of flat fronts in hyperbolic space. Comptes Rendus 348, 661–664 (2010)
Burstall, F., HertrichJeromin, U., Rossman, W.: Lie geometry of linear Weingarten surfaces. Comptes Rendus 350, 413–416 (2012)
Burstall, F., HertrichJeromin, U., Rossman, W.: Discrete linear Weingarten surfaces. Nagoya Math. J. 231, 55–88 (2018)
Burstall, F., Cho, J., HertrichJeromin, U., Pember, M., Rossman, W.: Discrete \(\Omega \) nets and Guichard nets. arXiv:2008.01447 (2020)
Cecil, T.: Lie Sphere Geometry. Universitext. Springer, New York (1992)
Clarke, D.: Integrability in submanifold geometry. Ph.D. thesis, University of Bath (2012)
Galvez, J., Martinez, A., Milan, F.: Flat surfaces in hyperbolic 3space. Math. Ann. 316, 419–435 (2000)
HertrichJeromin, U.: Introduction to Möbius Differential Geometry. London Mathematical Society Lecture Note Series 300. Cambridge University Press, Cambridge (2003)
HertrichJeromin, U., Honda, A.: Minimal Darboux transformations. Beitr. Alg. Geom. 58, 81–91 (2017)
HertrichJeromin, U., Szewieczek, G.: Discrete cyclic systems and circle congruences. arXiv:2104.13441 (2021)
Hoffmann, T., Rossman, W., Sasaki, T., Yoshida, M.: Discrete flat surfaces and linear Weingarten surfaces in hyperbolic 3space. Trans. Am. Math. Soc. 364, 5605–5644 (2012)
Martinez, A., Roitman, P., Tenenblat, K.: A connection between flat fronts in hyperbolic space and minimal surfaces in Euclidean space. Ann. Glob. Anal. Geom. 48, 233–254 (2015)
Pember, M.: Weierstrasstype representations. Geom. Dedic. 204, 299–309 (2020)
Pember, M., Polly, D., Yasumoto, M.: Discrete Weierstrasstype representations. arXiv:2105.06774 (2021)
Rossman, W., Yasumoto, M.: Discrete linear Weingarten surfaces with singularities in Riemannian and Lorentzian spaceforms. Adv. Stud. Pure Math. 78, 383–410 (2018)
Acknowledgements
This work would not have been possible without the valuable and enjoyable discussions around the subject area with F Burstall and W Rossman. Furthermore, we gratefully acknowledge financial support from the Austrian Science Fund FWF through the FWF/JSPS Joint Project I3809 “Geometric shape generation”.
Funding
Open access funding provided by TU Wien (TUW).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dubois, J., HertrichJeromin, U. & Szewieczek, G. Notes on flat fronts in hyperbolic space. J. Geom. 113, 20 (2022). https://doi.org/10.1007/s00022022006284
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00022022006284
Keywords
 Flat front
 Hyperbolic space
 Linear Weingarten surface
 Discrete surface
 Curved flat
 Darboux transformation
 Weierstrass representation
Mathematics Subject Classification
 53C42
 53A10
 53A30
 37K25
 37K35