Arxiv:2105.06774V2 [Math.DG] 18 Jun 2021 Projection for Relating Points in Minkowski 4-Space R with Spheres in 3-Dimensional Subgeome- 3,1 Tries

Discrete Weierstrass-type representations

MASON PEMBER, DENIS POLLY, AND MASASHI YASUMOTO

Abstract. Discrete Weierstrass-type representations yield a construction method in discrete diﬀerential geometry for certain classes of discrete surfaces. We show that the known discrete Weierstrass-type representations of certain surface classes can be viewed as applications of the Ω- dual transform to lightlike Gauss maps in Laguerre geometry. From this construction, further Weierstrass-type representations arise. As an application of the techniques we develop, we show that all discrete linear Weingarten surfaces of Bryant or Bianchi type locally arise via Weierstrass-type representations from discrete holomorhpic maps.

1. Introduction Weierstrass-type representations play an important role in differential geometry. The classical representations, like the Weierstrass-Enneper representation for minimal surfaces in Euclidean 3 space R [28] or the representation of Bryant for constant mean curvature (cmc) 1 surfaces 3 in hyperbolic space H [6, 26], are convenient tools to generate interesting examples of these surface classes. Before the concept of discrete curvatures via mixed area was introduced in [3], the existence of discrete analogues of these representations was used as justification for the definition of certain discrete surface classes. Examples of this include: 3 • discrete isothermic minimal surfaces in R [2, Thm 9], 2,1 • discrete maximal surfaces in R [29, Thm 1.1], 3 • discrete cmc 1 surfaces in H [14, Thm 4.4], • discrete linear Weingarten surfaces of Bryant or Bianchi type (abbreviated as BrLW and BiLW, respectively) [16, 30]. For all but the last example above, it has since been shown that the characterisation of these surface classes via representations coincides with their corresponding definitions via discrete 3 curvatures (see for example [3]). Recently, this was shown for discrete flat fronts in H , an example of a discrete BrLW surface, in [12, Sec 3.2]. In the smooth theory, the aforementioned surface classes belong to the class of L-isothermic surfaces. It is therefore natural to utilise Laguerre geometry to gain a unified geometric under- standing of Weierstrass-type representations, which was done in [22]. To suit our goal of a unified geometric description of discrete Weierstrass-type representations1, we seek a discrete analogue of this approach. We note that interpretations of certain discrete Weierstrass-type representations have been shown in conformal and Lie sphere geometry, such as in the works of [1, 19, 15]. In Section 2, we give a brief overview of Laguerre geometry, describing the method of isotropy 3,1 arXiv:2105.06774v2 [math.DG] 18 Jun 2021 projection for relating points in Minkowski 4-space R with spheres in 3-dimensional subgeome- 3,1 tries. Laguerre transformations can then be viewed as the affine transformations of R . We give particular attention to the Laguerre transformations that are induced by hyperbolic rotations of 3 3,1 H ⊂ R , and give a description of these in terms of SL(2, C) matrices.

Date: June 21, 2021. 2020 Mathematics Subject Classiﬁcation. 53A70 (primary); 51B15 (secondary). 1In this paper, the term “Weierstrass-type representation” refers to representations that are built from discrete holomorphic functions. However, this term can also refer to other representations, such as in [21] where a discrete 3 analogue of the Kenmotsu representation is developed for discrete nonzero cmc surfaces in R using discrete harmonic maps. 1 2 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

In Section 3, we describe how discrete surfaces are studied in Laguerre geometry, via discrete Legendre maps with discrete lightlike Gauss maps. We then give a discretisation of the light cone 3,1 curvatures of surfaces in R developed in [18] and show how these curvatures relate to those of 3,1 discrete surfaces in certain subgeometries of R . We then recall the notions of discrete Ω-surfaces and the Ω-dual transformation developed in [8]. This allows us to define the fundamental notion of discrete L-isothermic surfaces, being those discrete Ω-surfaces that are Ω-dual to their lightlike Gauss map. We then give a Laguerre geometric description of the Calapso transformation for this surface class. In Section 4, we apply the theory of discrete L-isothermic surfaces to show how various discrete Weierstrass-type representations can be seen as applications of the Ω-dual transformation to a prescribed discrete lightlike Gauss map. This includes the aforementioned examples, but also gives rise to representations for new discrete surface classes such as intrinsically flat surfaces in the light cone. Moreover our results allow us to prove the existence of representations for discrete surface classes defined via discrete curvatures, in particular showing that all discrete BrLW and BiLW surfaces locally admit Weierstrass-type representations. We also show that the Calapso transformation descends to the Lawson correspondence in this setting and gives rise to a discrete 3 analogue of the duality for cmc 1 surfaces in H developed in [27].

2. Preliminaries We give a brief introduction to Laguerre geometry, the setting for our considerations: Denote 3,1 by R the 4-dimensional space with basis (e0, e1, e2, e3), equipped with the Minkowski product (, ), given by

(e0, e0) = −1, (ei, ei) = 1, i ∈ {1, 2, 3}, and (ei, ej) = 0, for i 6= j. (1) 3,1 We call a vector v ∈ R spacelike, timelike or lightlike if (v, v) is positive, negative or equal to zero respectively. 3,1 The group of orthogonal transformations of R , denoted O(3, 1), is a Lie group and its Lie 2 3,1 algebra o(3, 1) is the algebra of skew-symmetric endomorphisms. We identify Λ R with o(3, 1) via

(v1 ∧ v2)w = (v1, w)v2 − (v2, w)v1. 2 3,1 A basis of Λ R (and thereby of o(3, 1)) is given by {enm}nmatrix A ∈ sl(2, C) via A · v = Av + vA∗,

T where A∗ = A . Thereby, the elements of the basis of o(3, 1) are identiﬁed as 1 i i i e = − e , e = e , e = − e , e = e . (2) 0n 2 n 12 2 3 13 2 2 23 2 1 Furthermore, every matrix B ∈ SL(2, C) induces an orthogonal transformation via B · v = BvB∗. (3)

3,1 In Laguerre geometry, isotropy projection is used to identify points in R with oriented spheres (see [13, Sect 3.4]). Two spheres s1, s2 are in oriented contact, if the difference vector Discrete Weierstrass-type representations 3 s1 − s2 is lightlike. Laguerre transformations are affine transformations of the form x 7→ Bx + b, where the linear part B ∈ O(3, 1) is orthogonal (thus, Laguerre transformations preserve ori- 3,1 ented contact) and the translation part b ∈ R is any vector. A Laguerre transformation fixes orientation of spheres if its linear part is time-orientation preserving and therefore fixes 3 3,1 H := {v ∈ R :(v, v) = −1, v0 > 0}, which is the model space of the Minkowski model of hyperbolic geometry. Thereby, isometries 3 of H are the linear parts of Laguerre transformations that fix orientation of spheres. 2 In the light cone model of Möbius geometry, points in the 2-sphere S are represented by lines in the light cone 3,1 L := {v ∈ R :(v, v) = 0}. A Möbius transformation is obtained by the action of an orthogonal transformation on points 2 2 in PL. Thereby we obtain a 1-to-1 correspondence between Möbius transformations of S and 3 isometries of H . a b Let B = be an SL(2, ) matrix inducing a complex Möbius transformation c d C az + b z 7→ . cz + d We aim to show that this is the Möbius transformation obtained by the action of B on L in the Hermitian model3. Via inverse stereographic projection, every z ∈ C is identified with a point in L by 2 2 z 7→ (|z| + 1)e0 + (z + z)e1 − i(z − z)e2 + (|z| − 1)e3 |z|2 z (4) = , z 1 3,1 where h·i denotes the linear span of vectors. The action of B on R , X 7→ B · X as defined in (3), induces a Möbius transformation via  2  * az+b az+b + 2 cz+d cz+d |z| z   B · z = B · =   , z 1 az+b cz+d 1 which is indeed the action of B on C. Example 2.1. A hyperbolic rotation Γhg1i(t) in 3 is an orthogonal transformations for which hg2i H there are two lightlike points g1, g2, such that  t Id on hg1i hg1i  ⊥ Γhg i(t) = Id on hg1, g2i 2 −1  t Id on hg2i . 3,1 On any point v ∈ R , we have hg1i 1 − t 1 Γhg i(t)v = v + (g1, v)g2 − (g2, v)g1 . 2 (g1, g2) t

2For B ∈ O(3, 1), the same Möbius transformation is induced by ±B, precisely one of which preserves time orientation. 3Note that complex Möbius transformations are even in the sense that each complex Möbius transformation is the product of an even number of reﬂections in a circle. Therefore, complex Möbius transformations in the light 3 cone model correspond to SO(3, 1) transformations and induce isometries on H 4 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

1 0 Assume, q = ∈/ hg , g i. Then g , g and q correspond to three distinct points z , z and 0 0 1 2 1 2 1 2 4 ∞ in C ∪ {∞}, respectively . Since any complex Möbius transformation is uniquely deﬁned by the images of three points, and z − tz {z , z , ∞} 7→ z , z , 2 1 , 1 2 1 2 1 − t we learn that Γhg1i(t) corresponds to the matrix B ∈ SL(2, ) with coeﬃcients a, b, c, d given by hg2i C its action a B : z 7→ z , z 7→ z , ∞ 7→ . 1 1 2 2 c These three conditions amount to a solution matrix tz − z z z (1 − t) B˜ = 1 2 1 2 . t − 1 z1 − tz2 Computing the determinant of B˜, we learn that 1 tz − z z z (1 − t) B = √ 1 2 1 2 , (z1 − z2) t t − 1 z1 − tz2 up to a choice of sign.

3. Discrete Legendre immersions in Laguerre geometry 2 3,1 3,1 A discrete surface is a map x : Z → R . Since points in R represent spheres in Laguerre geometry, we also call x a discrete sphere congruence. We deﬁne x + x dx = x − x , and x = i j , ij i j ij 2 on edges and

δxik = xi − xk, 2 for diagonal vertices of an elementary quadrilateral (ijkl) consisting of neighboring points in Z . We call a discrete surface x (cf. [7, Def 4.6 and Rem 4.7]) - planar if the vertices of each elementary quadrilateral are mapped to coplanar points in 3,1 R and 3,1 - circular if it is planar and there exists c ∈ R for each elementary quadrilateral, such that (x − c, x − c) ≡ const. Note that we do not ask that c lies on the corresponding face of x. 3,1 Let Zaff denote the set of affine null-lines in R . Each such line is spanned by two oriented spheres in contact and represents all oriented spheres in contact with the spanning spheres. Thus, every Λ ∈ Zaff is identified with a contact element. In accordance with [7] we pose the following definition.

2 Deﬁnition 3.1. A map L : Z → Zaﬀ is called a discrete Legendre immersion, if for each edge (ij), Li ∩ Lj 6= ∅. 2 3,1 2 A discrete sphere congruence x : Z → R is enveloped by L, if there is a map G : Z → PL into the projective light cone such that L = x + G.

4Choosing ∞ may sound surprising, but in terms of a complex Möbius transformation, ∞ 7→ a/c. Discrete Weierstrass-type representations 5

The map L may be interpreted as an affine null line bundle. The set of sections of L is denoted 2 3,1 2 by ΓL and consists of maps x : Z → R such that xi ∈ Li for all i ∈ Z . Thereby, ΓL is 2 easily seen to be the set of enveloped sphere congruences of L. The map G : Z → PL such that L = x + G is called the (discrete) lightlike Gauss map of L. ∗ 2 3,1 We define the mixed area of two edge-parallel discrete surfaces x, x : Z → R as a map on 2 3,1 faces that takes values in ∧ R via 1 A(x, x∗) = δx ∧ δx∗ − δx ∧ δx∗ . ijkl 4 ik jl jl ik The mixed area is used to define the curvature of discrete surfaces with respect to given parallel surfaces, see [3]. For this definition to work we will pose the following assumption from now on: any discrete surface x (for which we define discrete curvature) has non-parallel diagonals on each face, that is A(x, x) 6= 0. To condense the curvature notions of certain subgeometries of Laguerre geometry, we introduce a curvature notion for discrete Legendre immersions; a discrete version of the light cone mean curvature given in [17]. 2 3,1 Definition 3.2. Let x : Z → R be a discrete sphere congruence enveloped by L = x + G, with lightlike Gauss map G such that there exists a g ∈ ΓG that is edge parallel to x. The light cone mean curvature Hg of x with respect to g is then defined on faces via

A(x, g) + HgA(x, x) = 0. Examples 3.3. 3,1 2 3 1) Let p ∈ R be a unit timelike vector. A circular discrete surface f : Z → R may be 2 ⊥ interpreted as a circular discrete surface x : Z → p . Since f is circular, it allows for a 2 2 ⊥ parallel surface n : Z → S ⊂ p and the discrete mean curvature H of f with respect to its discrete Gauss map n is deﬁned on faces via A(f, n) + HA(f, f) = 0. (5) The net g = p + n takes values in the light cone L, hence, x is enveloped by L = x + hgi and g is edge parallel to x. Since δg = δn, we have

H = Hg. The same construction of a lightlike Gauss map works for discrete surfaces with timelike 2,1 ∼ ⊥ 3 Gauss maps in the Lorentz 3-space R = p for spacelike p. We call a discrete surface in R 2,1 (R ) with vanishing mean curvature minimal (maximal). ⊥ 2) For lightlike p, ﬁx o ∈ L with (o, p) = −1 and b1, b2 as an orthonormal basis of ho, pi . The subgroup of Laguerre transformations consisting of a vector in hpi⊥ and an orthogonal matrix A ∈ O(3, 1) with Ap = p ﬁxes ⊥ Ip,o := o + hpi ,

and acts on a point y = o + y1b1 + y2b2 + y3p+ ∈ Ip,o as

y1 7→ a + y1 cos φ − y2 sin φ,

y2 7→ b + y1 sin φ + y2 cos φ,

y3 7→ c + c1y1 + c2y2 + y3. Thus, the isotropic geometry of [24], [25], a discrete curvature theory for which has been developed in [23], is a subgeometry of Laguerre geometry. 2 Let f : Z → Ip,o be a circular discrete surface, enveloped by a discrete Legendre immersion L = f + G and let g ∈ ΓG also take values in Ip,o, that is g2 + g2 g = o + g b + g b + 1 2 p. 1 1 2 2 2 6 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

Since L is a discrete Legendre immersion, we have {xij ∈ Li ∩ Lj}ij satisfying

xij = fi + λigi = fj + λjgj,

for suitable λi, λj. Because f and g take values in Ip,o we have (f, o) = (g, o) = −1 and learn λi = λj =: λij. This implies

dfij = −λijdgij,

hence f and g are edge-parallel and we can deﬁne the light cone curvature Hg for f. According to [23, Sect 4], in isotropic space Ip,o, the mean curvature of f with respect to g is deﬁned by A(f, g) + HA(f, f) = 0,

which immediately implies H = Hg. We call a discrete surface i-minimal, if its mean curvature vanishes. 3) Let x be a circular discrete surface taking values in a quadric 3,1 Qµ := {x ∈ R :(x, x) = µ, with µ 6= 0}, which may be considered as √1 • de Sitter space of curvature µ for µ > 0, or √1 • two copies of a hyperbolic space form with curvature − −µ for µ < 0. 3 For example, Q−1 is two copies of hyperbolic space H and Q1 is de Sitter space, which we 2,1 denote by S . The circular discrete surface x allows for a 2-parameter choice of discrete Gauss map 2 3,1 D p E n : Z → R with opposite causal character, so that (n, x) = 0 and L = x + x + |µ|n is D E a discrete Legendre immersion. We call G = x + p|µ|n the discrete hyperbolic Gauss map

of x. The discrete mean curvature Hµ of x with respect to n is then deﬁned by equation (5). For later reference, we also deﬁne the discrete extrinsinc Gauss curvature K on faces via A(n, n) − KA(f, f) = 0. (6)

Because x and n are edge-parallel, g = x + p|µ|n and x are edge-parallel as well and the light cone mean curvature of x with respect to g satisfies p Hg + 1 = |µ|Hµ. Note that, conversely, for a discrete Legendre immersion L = x + G enveloping a circular discrete surface x in Qµ, a discrete hyperbolic Gauss map is obtained from any edge-parallel lift g ∈ ΓG: n = √x − sgn µ g . |µ| (x,g) 4) The (smooth) extrinsic geometry of spacelike surfaces in the light cone L has been developed in [18] (see also [20]), culminating in their Theorema Egregium that a surface is intrinsically flat if and only of its light cone mean curvature vanishes, [18, Thm 9.3]. Motivated by this, we call a discrete surface x in the light cone with vanishing light cone mean curvature (with respect to some edge-parallel g ∈ ΓG) intrinsically flat (with respect to g). 3.1. Discrete L-isothermic surfaces. In Laguerre geometry a discrete isothermic sphere con- 2 3,1 ∗ 2 3,1 gruence is a discrete surface x : Z → R that possesses a Christoffel dual x : Z → R , which is characterised by (see [7, Thm 4.11]) • x and x∗ are edge parallel circular nets, and • A(x, x∗) = 0. Discrete Weierstrass-type representations 7

Clearly, this relation is symmetric in x and x∗, hence, x∗ is itself a discrete isothermic sphere congruence. Analogous to Demoulin’s definition of Ω-surfaces ([10], [11]), we give the following definition. Definition 3.4 ([8, Def 3.1]). A discrete Ω-surface is an envelope L = x + G of a discrete isothermic sphere congruence. For a more general treatment of discrete Ω-surfaces, see [7]. Definition 3.5. Two discrete Ω-surfaces L, L∗ are called Ω-dual if there are Christoffel dual surfaces x ∈ ΓL and x∗ ∈ ΓL∗ and the discrete lightlike Gauss maps coincide, i.e., G∗ = G. If L = x + G is a discrete Ω-surface, then we may take a Christoffel dual x∗ of x and define L∗ = x∗ + G. L∗ is automatically an envelope of x∗ and, thus, an Ω-dual of L. A special class of discrete Ω-surfaces are discrete L-isothermic surfaces, which are characterised by being Ω-dual to their lightlike Gauss maps. Definition 3.6. A discrete L-isothermic surface is a discrete Ω-surface L that is Ω-dual to its discrete lightlike Gauss map G, that is, there exist x ∈ ΓL and g ∈ ΓG such that x and g are Christoffel dual. For a discrete L-isothermic surface, x and g are edge parallel with A(x, g) = 0. Accordingly, the light cone mean curvature of x with respect to g vanishes on all quadrilaterals. Remark 3.7. In [4, Def 16], the authors introduce a notion of L-isothermic discrete conical sur- 3 faces, that is, certain discrete maps into the space of hyperplanes in R . These plane congruences allow for a 2-parameter choice of an enveloped circular discrete surface f such that the resulting contact element map is a discrete L-isothermic surface. Let g be a planar discrete surface in the light cone. Then, g is circular, as is any edge parallel x (for details, see [7]). Therefore, let L = x + hgi be a discrete Legendre immersion with x and g edge parallel and planar. Then we can define a 1-form ζ by

ζij := gij ∧ dxij ∈ Gi ∧ Gj. The closure of this 1-form is equivalent to A(x, g) = 0: A simple computation shows that

ζij + ζjk + ζkl + ζli = 2A(x, g)ijkl. We conclude: Proposition 3.8. A discrete Legendre immersion L with discrete lightlike Gauss map G is L- isothermic if and only if there exist discrete surfaces g ∈ ΓG and x ∈ ΓL such that • x and g are planar edge-parallel and • the 1-form ζ, deﬁned on edges via ζij = gij ∧ dxij, is closed. 3.2. The Calapso transform. The Calapso transformation of discrete Ω-surfaces has been given a Lie sphere geometric treatment in [8, Section 3], culminating in [8, Thm and Def 3.9]. However, discrete L-isothermic surfaces can be considered in Laguerre geometry, viewed as a subgeometry of Lie geometry. For self-consistency, we give a Laguerre geometric treatment of the Calapso transformation of discrete L-isothermic surfacess which coincides with the projection of the Lie geometric setting. We will start by collecting some properties of discrete isothermic surfaces in the projective light cone. Let g be a discrete isothermic surface in the light cone. Then, G = hgi is isothermic in the sense that there is a cross ratio factorizing edge-labelling (see [5, Sect 4.3]): As G is a planar discrete surface in the projective space PL, we can deﬁne the cross ratio of each elementary quadrilateral

crijkl = [Gi,Gj,Gk,Gl], 8 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS and because G is isothermic, there is an edge-function m which is constant across opposite edges of faces, i.e., mij = mlk and mil = mjk, such that mil crijkl = < 0. mij We call m the cross ratio factorizing edge-labelling5. 2 We assume that for each elementary quadrilateral (ijkl) ⊂ Z , dim hGi + Gj + Gk + Gli ≥ 3., that is, Gi,Gj,Gk,Gl are not collinear. G can be characterized as isothermic by the existence of a Moutard lift (see [5, Thms 2.31 and 2.32]): There is a lift g˜ ∈ ΓG such that

δg˜ik||δg˜jl. In our investigation we will use the following relationship to the cross ratio factorizing edge- labelling 1 (˜gi, g˜j) = , mij a proof for which may be found in [8, Sec 3]. Further, it was proved in [7, Thm 3.6] that for any closed discrete 1-form with ζij ∈ Gi ∧ Gj, there is a Moutard lift g˜ such that

ζij = −g˜i ∧ g˜j. As a consequence of this, we note the following Lemma. 2 Lemma 3.9. Let G : Z → PL be a discrete surface in the projectiﬁed light cone and ζ a discrete 1-form with ζij ∈ Gi ∧Gj. Then, ζ is closed if and only if G is isothermic and for any lift g ∈ ΓG of G 1 ζij = gij ∧ dgij, (7) mij(gi, gj) where m is a cross ratio factorizing edge-labelling of G. Proof. Let G be isothermic, then there is a Moutard lift g˜ = λg ∈ ΓG such that 1 = (˜g , g˜ ). mij i j Then ζij = −g˜i ∧ g˜j, and closedness of ζ follows from the Moutard condition satisﬁed by g˜. Conversely, if ζ is closed, there exists a Moutard lift of G (which is thereby isothermic) such that

(˜gi, g˜j) ζij = −g˜i ∧ g˜j = − gi ∧ gj. (gi, gj) and the claim follows from the fact that 1 is a cross ratio factorizing edge-labelling. (˜gi,g˜j ) G comes with a family of flat connections: On the edge (ij), define the map 3,1 3,1 Γ(t)ij : {j} × R → {i} × R Gi t v 7→ ΓG 1 − v, j mij that is, on each edge, Γ(t) acts as the hyperbolic rotation (defined by Gi and Gj) with parameter 1 − t . If t = m for any edge (ij) ⊂ 2, then Γ(t) is not well-defined; if t = 0, then Γ(0) is mij ij Z ij G × 2 the identity. We define the set R = R \{mij :(ij) is edge in Z }. Then, Γ(t) is a well-defined G and non-trivial connection for G if t ∈ R . We may write t 1 Γ(t)ijv = v + (gi, v)gj − (gj, v)gi . (8) mij(gi, gj) 1 − t/mij

5 1 Note that many publications, such as [8], use the cross ratio factorizing function aij = . mij Discrete Weierstrass-type representations 9

It was shown in [8, Lemma 3.7] that Γ is ﬂat, that is,

Γ(t)ijΓ(t)jkΓ(t)klΓ(t)li = id, 2 around each elementary quadrilateral. Via integration, we can obtain a map T (t): Z → O(3, 1) such that6

T (t)j = T (t)iΓ(t)ij. (9) Note that T (t) is only unique up to a choice of initial condition. 2 Lemma 3.10. Let G : Z → PL be discrete isothermic with Moutard lift g˜. Deﬁne a map G(t) = T (t)G := hT (t)˜gi . Then, G(t) is also discrete isothermic with Moutard lift g˜(t) = T (t)˜g. Proof. Because g˜ is a Moutard lift of G, there is λ such that

δg˜ik = λδg˜jl. We compute

T (t)jg˜j − T (t)lg˜l = T (t)i [Γ(t)ijg˜j − Γ(t)ilg˜l] mil t(mij − mil) = T (t)i (˜gj − g˜l) − g˜j , mil − t (mij − t)(mil − t) and, using (8), −1 T (t)ig˜i − T (t)kg˜k = T (t)i g˜i − T (t)i T (t)jΓjkg˜k mjk tmjkmij = T (t)i (˜gi − g˜k) − (˜gi, g˜k)˜gj . mjk − t (mjk − t)(mij − t) Now, because of 1 1 mij − mil (˜gi, g˜k) = (˜gi, g˜i − δg˜ik) = λ − = λ , mil mij mijmil we see that

δ(T (t)˜g)ik = λδ(T (t)˜g)jl, proving the lemma. Definition 3.11. Let L = x + G be a discrete L-isothermic surface, Γ(t) the family of flat connections of its discrete lightlike Gauss map G, and T (t) such that T (t)j = T (t)iΓ(t)ij. The Calapso transformation of L is L(t) = x(t) + G(t), where x(t) and G(t) are given by t dx(t)ij := T (t)ixi − T (t)jxj + ((gi, xi)T (t)jgj − (gj, xj)T (t)igi) (10) mij(gi, gj) G(t) := T (t)G. (11) We call T (t) the lightlike part of the Calapso transformation. Proposition 3.12. The Calapso transformation L(t) of a discrete L-isothermic surface L is well-defined and L-isothermic.

Proof. We have dxij = λdgij. Using (10) and (11) one finds dx(t)ij = λd(T (t)g)ij. The Moutard equation satisfied by g˜(t) is then seen to be the integrability condition of (10). Further, x(t) and g(t) := T (t)g are Christoffel dual. Thus L(t) is L-isothermic.

6 −1 One can think of T (t) as a trivialisation of Γ in the sense that T (t)iΓ(t)ij T (t)j = idij , where idij denotes 3,1 3,1 the trivial map {j} × R → {i} × R . 10 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

L(t) itself deﬁnes a family of ﬂat connections Γt(s) (belonging to the discrete isothermic surface G(t)) and a map T t(s) satisfying t t t T (s)j = T (s)iΓ (s)ij. Since the Moutard lift of G(t) is given by T (t)˜g, we can compute the cross ratio factorizing edge-labelling m(t) of G(t) to be

mij(t) = mij − t. Now, according to (8), we have

t s mij −t Γ (s)ijv = v + (T (t)igi, v)T (t)jgj − (T (t)jgj, v)T (t)igi , (mij −t)(T (t)igi,T (t)j gj ) mij −t−s and (T (t) g ,T (t) g ) = (g , g ) mij can be used to show i i j j i j mij −t −1 t T (t)i Γij(s)T (t)j = Γ(s + t)ij. Therefore, we have t t −1 t −1 −1 Γij(s) = T (s)i T (s)j = T (t)iT (t + s)i T (t + s)jT (t)j , hence, with the right choice of initial condition, T t(s)T (t) = T (t + s). We proved the following: Proposition 3.13. The lightlike part of the Calapso transformation is additive in the following sense: Let L(t) be a Calapso transform of a discrete L-isothermic surface L with parameter t and let T t(s) denote the lightlike part of the Calapso transformation of L(t). Then, T (s + t) = T t(s)T (t). In particular, T (t)−1 = T t(−t). Remark 3.14. The lightlike part of the Calapso transform is the Calapso transformation of the ∼ 2 PL = S -valued map G. Hence Proposition 3.13 is a special case of [14, Thm 3.13] for which we gave a proof within our setup.

4. Discrete Weierstrass type represenations 2 Let φ : Z → C be a discrete holomorphic function, that is, there exists an edge-labelling m such that the cross ratio of φ satisﬁes mil [φi, φj, φk, φl] = < 0, mij on any face (ijkl). We can lift φ into L via inverse stereographic projection. The resulting map (see (4)) |φ|2 φ g = 2 , (12) φ 1

2 gives rise to a discrete isothermic surface G := hgi : Z → PL with the same cross ratio factorizing edge-labelling m, that is, mil [Gi,Gj,Gk,Gl] = < 0. mij Discrete Weierstrass-type representations 11

Written in terms of the lift in (12), the closed 1-form ζ of Lemma 3.9 takes the form 1 ζij = Re ((1 − φiφj) e0 ∧ e1 + i(1 + φiφj) e0 ∧ e2 + (φi + φj) e0 ∧ e3 mij(φi − φj) (13) +i(φi + φj) e1 ∧ e2 + (1 + φiφj) e1 ∧ e3 + i(1 − φiφj) e2 ∧ e3)} 3,1 3,1 4.1. Discrete surfaces in hyperplanes of R . Chose a non-zero p ∈ R . We then have 3,1 that ζp is a closed 1-form with values in R and we may (locally) integrate to obtain a discrete 2 3,1 surface x : Z → R such that dxij = −ζijp (see [7, Prop. 2.17]). Then, dx ⊥ p because ζ is skew-symmetric. Hence, x takes values in an aﬃne hyperplane with normal p. If at a vertex 2 i ∈ Z p ⊥ Gi, then ζijp ∈ Gi and ζilp ∈ Gi are parallel, hence the image of the quadrilateral (ijkl) under x degenerates. n Thus, for non-degeneracy, we assume p 6⊥ Gi and we may choose g ∈ ΓG such that (gn, p) = −1. Then

1 n dxij = −ζijp = n n dgij, mij(gi , gj ) n n hence, x is edge-parallel to g . Moreover, we may now write ζij = gij ∧ dxij. By Proposition 3.8 L = x + G is a discrete L-isothermic surface and x and gn are Christoﬀel dual. In particular, the light cone mean curvature of x with respect to gn vanishes, and we learn the following from the examples given in 3.3: • If p is timelike, x is discrete minimal in Euclidean 3-space. • If p is spacelike, x is discrete maximal in Lorentz 3-space. • If p is lightlike, x is discrete i-minimal in isotropic 3-space. We obtain explicit formulas for x in terms of the discrete holomorphic function φ by using the formula for ζ in (13). For 1 1 p = 2 (1 − µ)e3 + 2 (1 + µ)e0, we obtain n 1−µ 1+µ 1 o dxij = Re (φi + φj)e0 + (1 − µφiφj)e1 + i(1 + µφiφj)e2 + (φi + φj)e3 , 2 2 mij (φi−φj ) (14) 3 ∼ ⊥ as representation of a circular discrete surface in R = hpi . For µ = 1, that is p = e0, we recover the usual discrete Weierstrass representation for discrete isothermic minimal surfaces in Euclidean space (see [2, Thm 9]). If we set µ = −1, that is p = e3, we get the Weierstrass e0+e3 representation for discrete maximal surfaces (see [29, Thm 1.1]). For µ = 0, that is p = 2 , we obtain a discrete surface in isotropic space Ip,o if we choose the initial point of x to satisfy (x, p) = −1. According to Example 3.3.(2), x is a discrete i-minimal surface as in [23, Sect 4] and we derived a Weierstrass representation formula for this class, namely, 1 dxij = Re{(e1 + ie2 − (φi + φj)p) }. mij (φi−φj ) In Figure 1 we used the representation formula (14) and diﬀerent values of µ to obtain discrete minimal, i-minimal and maximal surfaces from given holomorphic data (a discrete power function and the discrete exponential map). We summarize the results of this subsection in the following theorem: Theorem 4.1. The Weierstrass-type representations for • discrete minimal surfaces in Euclidean 3-space, • discrete maximal surfaces in Lorentzian 3-space, and • discrete i-minimal surfaces in isotropic 3-space can be viewed as certain applications of the Ω-dual transformation to a prescribed discrete lightlike Gauss map. 12 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

(a) The discrete power (b) Using the discrete holomorphic power function in 1(a) and (14) function z 7→ z2/3 used we obtain a discrete minimal surface in Euclidean space (µ = 1) on to create the discrete the left, a discrete maximal surface in Lorentz space (µ = −1) on the surfaces in 1(b) right and a discrete i-minimal surface (µ = 0) in the middle

(c) The discrete power (d) Using the translated discrete holomorphic power function in 1(c) function z 7→ z2/3, and (14) we obtain a discrete minimal surface in Euclidean space translated and used to (µ = 1) on the left, a discrete maximal surface in Lorentz space create the discrete sur- (µ = −1) on the right and a discrete i-minimal surface (µ = 0) in the faces in 1(d) middle

(e) The translated dis- (f) Using the translated discrete exponential map in 1(e) and (14) crete exponential map we obtain a discrete minimal surface in Euclidean space (µ = 1) on and used to create the left, a discrete maximal surface in Lorentz space (µ = −1) on the the discrete surfaces in right and a discrete i-minimal surface (µ = 0) in the middle 1(f)

Figure 1. Thre discrete holomorphic functions and the respective discrete zero mean curvature surfaces in Euclidean, Lorentz and isotropic space.

3,1 4.2. Discrete surfaces in quadrics in R . For the discrete isothermic surface G given by (12), we defined its family of flat connections as Γ(t) := ΓGi 1 − t . ij Gj mij G For fixed m ∈ R (see Subsection 3.2), because Γ(m) is flat, there (locally) exist parallel sections 2 3,1 x : Z → R , that is, discrete surfaces such that on each edge (ij)

xj = Γ(m)jixi. Discrete Weierstrass-type representations 13

For such a surface (xi, xi) = (xj, xj) because Γ(m)ij ∈ O(3, 1), so (x, x) = const. and x takes 3,1 values in a quadric in R . If xi ⊥ Gi, then one has that dxij, dxil ∈ Gi (see (8)) and the image of the quadrilateral (ijkl) under x degenerates. Away from such points, we may choose gn ∈ ΓG so that (gn, x) = −1. We will now show that x and gn are edge parallel and A(x, gn) = 0: Firstly, (x , gn) = (Γ(m) x , gn) = (x , Γ(m) gn) = − 1 − m , i j ij j j j ji j mij implying, by (8), that we have that m n xj = Γ(m)jixi = xi − n n dgij, mij (gi ,gj ) m n n thus, dxij = n n dgij. This tells us that x is edge-parallel to g and that we can write mij (gi ,gj ) 1 n n ζij = m gij ∧ dxij. This implies A(x, g ) = 0 and by Proposition 3.8, L := x + G is a discrete L-isothermic surface. Assume x takes values in a quadric Qµ of constant curvature, given by µ := (p, p) 6= 0 (see example (3) in 3.3). A Gauss map of x is determined by gn via 1 n = x + sgn(µ)p|µ|gn , p|µ| and x is a discrete constant mean curvature (cmc) surface in the respective space form: √1 • If µ < 0, x is cmc −µ in the hyperbolic space Qµ. √1 • If µ > 0, x is cmc µ in de Sitter space Qµ. If µ = 0, x is intrinsically ﬂat in the light cone (see example 3.4). The representation we obtain for these discrete surfaces is thus a discrete analogue of the one given in [22, Sect. 4.2]. n Conversely, let x be cmc (intrinsically ﬂat) in the quadric Qµ (the light cone L) and let g ∈ ΓG be a lift of its hyperbolic Gauss map such that (x, gn) = −1. Then x and gn are edge-parallel and 1 A(x, g) = 0. As Proposition 3.8 states the 1-form ζij = m gij ∧ dxij is closed and by Lemma 3.9 we have 1 1 gij ∧ dxij = gij ∧ dgij, m mij(gi, gj) m m which implies dxij = dgij. This can be used to show that (xi, gj) = −(1 − ) and mij (gi,gj ) mij subsequently

Γ(m)jixi = xj, that is, x is a parallel section of Γ(m). This proves the following. 1 Proposition 4.2. A discrete surface x in a quadric Qµ (the light cone L) is cmc √ (intrinsi- |µ| G cally flat) if and only if it is a parallel section of Γ(m) for some m ∈ R , defined by its lightlike Gauss map. 3 Remark 4.3. For µ < 0, Qµ consists of two copies of hyperbolic space H . A net x takes 3 values in H if (e0, x) < −1, that is if its Hermitian representative X satisfies tr X > 2. Given 3 an initial point x0 ∈ H , a discrete cmc 1 surface in Q−1 is formed by applying the hyperbolic 3 rotations Γ(m). We learn: Every discrete cmc 1 surface in H is constructed by the application of hyperbolic rotations to a seed point. As we have seen in Example 2.1, Γ(m) takes the following form in the Hermitian model: 1 mij(φi − φj) − mφi mφiφj B(m)ij = √ √ . (15) (φi − φj) mij mij − m −m mij(φi − φj) + mφj 14 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

2 Deﬁne a map F (m): Z → SL(2, C) by

F (m)j = F (m)iB(m)ij Thus, F (m) is the Hermitian representative of T (m), as defined via (9). 3,1 Since x is parallel with respect to Γ(m), there exists a fixed vector p ∈ R such that x = T −1(m)p. Now, take 1 1 p = 2 (1 + µ)e3 + 2 (1 − µ)e0, and x is given in the Hermitian model by 1 0 ∗ X = F (m)−1 F (m)−1 . 0 −µ Denoting Φ = F (m)−1, we obtain the following Weierstrass-type representation 1 0 X = Φ Φ∗, for Φ = B(m)−1Φ . (16) 0 −µ j ij i Together with Proposition 4.2 this proves the following theorem. 2 Theorem 4.4. Let φ : Z → C be a discrete holomorphic function. Then the discrete surface represented by X in (16) has constant discrete mean curvature H = √1 (is intrinsically flat) in |µ| 1 the quadric Qµ (the light cone L if µ = 0). Every discrete cmc √ (intrinsically flat) surface |µ| in Qµ (L) can locally be constructed this way. Moreover, these Weierstrass-type representations can be viewed as certain applications of the Ω-dual transformation to the prescribed discrete lightlike Gauss map |φ|2 φ G = . φ 1

3 In Figure 2 there are two examples of discrete cmc 1 surfaces in H , obtained via (16), pictured in the Poincaré ball model. 3 In the cases of discrete cmc 1 surfaces in H our construction coincides with the Möbius 3 geometric construction of [1, Section 5], where it was also noted that these nets in H are obtained as Darboux transforms of their hyperbolic Gauss maps. However, this Weierstrass-type representation does not coincide with the one given in [16]. Using the Lawson correspondence, we will bridge the gap between the two representations in the next subsection. 4.3. The Lawson correspondence. Let x = T (m)−1p be a discrete surface of vanishing light cone mean curvature, constructed as a parallel section of the flat connection Γ(m) of its discrete lightlike Gauss map as in the last section. Using (10) the Calapso transform x(m) then satisfies m dx(m)ij = ((g(m)i, p)g(m)j − (g(m)j, p)g(m)i)) (gi, gj)mij = −mζ(m)ijp. Hence, x(m) is of vanishing mean curvature in a hyperplane according to Subsection 4.1. We thus have proved the following Laguerre geometric interpretation of the Lawson correspondence noted in [14, Lem 4.2] and [9, Sect 5.5] which was generalized in [8, Sec 4.2]. Proposition 4.5. The Calapso transformation of discrete L-isothermic surfaces perturbs 3 3 • discrete cmc 1 surfaces in H and discrete minimal surfaces in R , 2,1 2,1 • discrete cmc 1 surfaces in S and discrete maximal surfaces in R and • discrete intrinsically flat surfaces in the light cone L and discrete i-minimal surfaces in isotropic 3-space. Discrete Weierstrass-type representations 15

(a) A discrete cmc 1 surface in hyperbolic (b) A discrete cmc 1 surface of revolution in space, obtained from the discrete power func- hyperbolic space, obtained from the discrete tion 1(a) via (16) exponential map via (16) with a particular choice of initial condition

3 Figure 2. Two examples of discrete cmc 1 surfaces in H shown in the Poincaré ball model

We will use this to bridge the gap between the representation (16) for discrete cmc 1 surfaces 3 in H and the one given in [16]: 2 3 For x : Z → H with hyperbolic Gauss map G, we call Gb = T (m) · G the discrete secondary Gauss map of x. As Gˆ is conformally equivalent to G, it is isothermic and for a suitable holomorphic map ψ :Σ → C (obtained via the inverse of (4)) we can write |ψ|2 ψ G = . b ψ 1 −1 m 3 By Proposition 3.13, we have T (m) = T (−m). Hence, the discrete cmc surface x in H satisﬁes x = T −1(m)p = T m(−m)p, (17) m with p = e0. Denoting the Hermitian representative of T (−m) by Ψ we obtain the following representation ∗ m X = ΨΨ , with Ψj = ΨiB (−m)ij, (18) where Bm(−m) denotes the Hermitian representation of Γm(−m) as given in (15). 3 This corresponds to the representation given in [16]: There, a discrete cmc 1 surface in H is given via 1 Y = EE∗, det E where E satisﬁes ψi −ψiψj λ Ej − Ei = Ei , 1 −ψj mij(ψj − ψi) that is mij(ψi − ψj) − λψi λψiψj 1 Ej = Ei −λ mij(ψi − ψj) + λψj mij(ψi − ψj) 16 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

(a) The discrete power function z 7→ z2/3 is (b) The discrete cmc 1 surface obtained (via the hyperbolic Gauss map of the surface shown (18)) from the discrete power function 3(a) in 3(d) and the secondary Gauss map of the which is also its secondary Gauss map. Its surface shown in 3(b) holomorphic Gauss map is shown in 3(c).

(c) The hyperboic Gauss map of the surface (d) The dual surface of the one shown in 3(b), shown in 3(b) is used as data to obtain the obtained from the discrete holomorphic map surface in 3(d) in 3(c) via (18).

3 Figure 3. A discrete cmc 1 surface in H and its dual surface in the Poincaré ball model. The discrete holomorphic functions can be regarded of the hyperbolic and secondary Gauss maps of the surfaces.

It is readily seen that

mij − λ det Ej = det Ei, mij and by setting Ψ = √ 1 E and λ = −m, we recover (18). det E Discrete Weierstrass-type representations 17

Remark 4.6. The hyperbolic Gauss map G of x is given by G = T m(−m) · Gb. Hence G is the projection of the discrete function aψ + b a b φ := , where Ψ = (19) cψ + d c d −1 Then, we can directly show that Ei satisfies −1 −1 −1 φi −φiφj −λ Ej − Ei = Ei 1 −φj (mij − λ)(φj − φi) which is the discrete analogue of the duality formula described in [27, Prop 4]. Then, E−1 defines the discrete dual cmc 1 surface of x via its Hermitian representative ∗ ∗ X# = (det E)E−1 E−1 = Ψ−1 Ψ−1 . −1 −1 # # Since Ψj = B(m)ijΨi , X is obtained via (16). The hyperbolic Gauss map of X is given 3 by Gb. In Figure 3 we see a pair of dual cmc 1 surfaces in H . Note that representations like (18) for other space forms are easily obtained by applying (17) 1 1 to p = 2 (1 + µ)e3 + 2 (1 − µ)e0 for different µ. For µ = 0 this yields a Weierstrass representation for discrete intrinsically flat surfaces in the light cone L. Because of the duality with (16) mentioned in Remark 4.6, we learn from Theorem 4.4 that every discrete surface with constant 1 mean curvature √ in the quadric Qµ and every intrinsically flat surface in L can be constructed |µ| in this way. 2 Theorem 4.7. Let ψ : Z → C be a discrete holomorphic function. Then the discrete surface represented by 1 0 X = Ψ Ψ∗, with Ψ = Ψ Bm(−m) , 0 −µ j i ij 1 has constant discrete mean curvature H = √ (is intrinsically flat) in the quadric Qµ (the light |µ| 1 cone L if µ = 0). Every discrete cmc √ (intrinsically flat) surface in Qµ (L) can locally be |µ| constructed this way. Moreover, these Weierstrass-type representations can be viewed as certain applications of the Ω-dual transformation to the prescribed discrete lightlike Gauss map |φ|2 φ G = , φ 1 where φ is given by (19). 4.4. Discrete linear Weingarten surfaces of Bryant and Bianchi type. In this subsection we employ the Lawson correspondence described in Subsection 4.3 to recover the Weierstrass representation of discrete linear Weingarten surfaces of Bryant and Bianchi type (abbreviated as BrLW and BiLW, respectively) given in [30] (see [8] for a geometric interpretation in the realm of Lie sphere geometry). Thus, let G = hgi be a discrete isothermic surface in the projectified light cone with flat connection Γ(m) and define T (m) as in (9). Choose a vector p with (p, p) = µ. M −1 1 Then x = T (m)p is a discrete cmc √ surface in Qµ (for µ 6= 0) or intrinsically flat in the |µ| light cone (for µ = 0). Now define for an arbitrary lift g ∈ ΓG µ ± 1 x± := xM − g. 2(g, xM ) Clearly, L = x± + G = xM + G is discrete L-isothermic and since (x±, x±) = ∓1, 18 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

± 3 2,1 x takes values in hyperbolic space H or de Sitter space S . G is then a discrete hyperbolic Gauss map of x± and induces the Gauss maps n± of x± via ± g ± n = ∓ (g,x±) − x . Lemma 4.8. The discrete surface x± is BrLW/BiLW in hyperbolic/de Sitter space with respect to the Gauss map induced by G, that is, (µ ± 1)K − 2µH + (µ ∓ 1) = 0, (20) where H and K denote the discrete mean and discrete extrinsic Gauss curvature with respect to n±, as defined in (5) and (6) respectively. Conversely, for every discrete BrLW/BiLW surface x±, the discrete surface defined by µ ± 1 xM = x± + g 2(g, x±) 1 is cmc √ in Qµ (for µ 6= 0) or intrinsically flat in the light cone (for µ = 0). |µ| Proof. It is straightforward to see that µ ± 1 µ ∓ 1 A(xM , g) = (g, x±)A − n± − x±, −n± − x± 2 2 A(x±, x±)(g, x±) = {(µ ± 1)K − 2µH + (µ ∓ 1)} , 2 proving that x± is BrLW/BiLW if and only if xM has vanishing light cone mean curvature. This concludes the proof. Remark 4.9. The two maps x± are orthogonal, hence, form a symmetric pair of discrete surface and Gauss map. Lemma 4.8 therefore proves that the Gauss map of a discrete BrLW surfacee is BiLW (and vice versa). Of course, n is only defined up to its sign, which we chose in alignment with [30]. Note that n+ = −x−, + 3 + − that is, for each discrete BrLW surface x in H , the Gauss map n and the discrete surface x 2,1 are antipodal discrete BiLW surfaces in S . Example 4.10. In the case that µ = 0, we have that x± are discrete flat fronts and xM is a 3 map into the light cone. In [15] it is shown that discrete flat fronts in H are the orthogonal nets of the cyclic congruence associated to a Darboux pair of maps into the two sphere. We recover this Darboux pair as (G, Gˆ), where G is the discrete lightlike Gauss map of x+ and Gˆ := xM . In the Hermitian model, x± corresponds to µ ± 1 µ ± 1 X± = XM − g = Ψ · p − Ψ−1 · g , 2(g, xM ) 2(g, xM ) where XM denotes the Hermitian representative of xM . The discrete secondary Gauss map of x±, namely Gb = Ψ−1 · G = hgî, is obtained via inverse stereographic projection from a discrete 2 holomorphic map ψ : Z → C as |ψ|2 ψ g = 2 . b ψ 1 If we choose 1 0 p = 1 (1 − µ)e + 1 (1 + µ)e = , 2 0 2 3 0 −µ Discrete Weierstrass-type representations 19

3 2,1 (a) A discrete cmc 1 surface in H (left, see (b) A discrete cmc 1 surface in S (right) and 2(a)) and a discrete surface of constant har- a discrete surface of constant harmonic mean 2,1 3 monic mean curvature 1 in S (right) curvature 1 in H (left)

3 2,1 Figure 4. Examples of discrete BrLW/BiLW surfaces in H or S which form a pair of discrete surface and hyperbolic Gauss map (see Remark 4.9). All examples are created using the representation (21) with the discrete power function as data. We show surfaces in hyperbolic space in the Poincaré ball model and surfaces in de Sitter space in the hollow ball model. we have (g, xM ) = (Ψ · g,ˆ Ψp) = (ˆg, p) = µ|ψ|2 − 1, and thus X± = Ψ · C± 1 0 µ ± 1 |ψ|2 ψ 1 1 ± |ψ|2 (µ ± 1)ψ (21) with C± = + = . 0 −µ 1 − µ|ψ|2 ψ 1 1 − µ|ψ|2 (µ ± 1)ψ ±1 + µ2|ψ|2

2 Theorem 4.11. Let ψ : Z → C be a discrete holomorphic function. Then the discrete surfaces represented by (21) are a pair of discrete BrLW/BiLW surfaces in hyperbolic/de Sitter space. Every pair of discrete BrLW/BiLW surfaces can be constructed in this way. Proof. The only thing left to prove is that every discrete BrLW/BiLW surface arises via the Weierstrass-type representation (21). Since this is just an algebraic transformation of (18), Lemma 4.8 and Theorem 4.7 show that it produces all discrete BrLW/BiLW surfaces. We see this representation in Figure 4 where discrete holomorphic functions are used to obtain pairs of discrete BrLW/BiLW surfaces in hyperbolic and de Sitter space. To see that we have recovered the representation of linear Weingarten surfaces given in [30, Prop 5.1], recall the Weierstrass representation formulas for discrete BrLW and BiLW surfaces, as given there: Choose t and λ so that

2 λ Ti := 1 + t|ψi| 6= 0, and 1 − 6= 0. mij 20 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

2 We deﬁne E : Z → SL(2, C) by integration of

1 1 ψj − ψi E−1E = , i j p λ 1 1 − λmij mij (ψj −ψi) and another matrix-valued map √ ! 0 Ti Li = tψ . − √1 − √ i Ti Ti + − 2 3 2,1 Then, we may define two discrete surfaces (f , f ): Z → H × S by 1 0 f ± = sgn(T )E L (E L )∗ , i i i i 0 ±1 i i which are BrLW and BiLW respectively. The map Ψe, defined by 1 −ψ Ψ = E , e 0 1 satisfies 1 ψ 1 −ψ Ψ−1Ψ = i E−1E j = Bm(λ) e i e j 0 1 i j 0 1 ij which is the system (18) for λ = −m. Hence, under the right initial conditions, Ψ = Ψe and the discrete surfaces f ± are given as

1 ψ 1 0 1 ψ ∗ f ± = sgn(T )Ψ · L L . 0 1 0 ±1 0 1 We compute 1 ψ 1 0 1 ψ ∗ 1 |ψ|2 ± 1 ψ(1 ∓ t) L L = , 0 1 0 ±1 0 1 |T | ψ(1 ∓ t) 1 ± t2|ψ|2 whereby 1 |ψ|2 ± 1 ψ(1 ∓ t) f ± = Ψ · , 1 + t|ψ|2 ψ(1 ∓ t) 1 ± t2|ψ|2 which coincides with (21) under t = −µ up to the sign ambiguity mentioned in Remark 4.9. We summarize this result in the following theorem: Theorem 4.12. The Weierstrass-type representations for discrete BrLW surfaces in hyperbolic 3 2,1 space H and discrete BiLW surfaces in de Sitter space S [30, Prop 5.1] can be viewed as certain applications of the Ω-dual transformation to a prescribed discrete lightlike Gauss map.

Acknowledgements The authors would like to thank Joseph Cho for fruitful discussions during an impromptu stay in Kobe that sparked many ideas in this paper. We also express our gratitude to Udo Hertrich- Jeromin for his input which added significant results. Furthermore, we gratefully acknowledge financial support from the FWF research project P28427-N35 "Non-rigidity and symmetry break- ing" and the JSPS/FWF Joint Project I3809-N32 "Geometric shape generation". The first author was also supported by the GNSAGA of INdAM and the MIUR grant "Dipartimenti di Eccellenza" 2018–2022, CUP: E11G18000350001, DISMA, Politecnico di Torino and gratefully acknowledges support from the JSPS Grant-in-Aid for JSPS fellows 19J10679. The third author was partly supported by JSPS KAKENHI Grant Numbers JP18H04489, JP19J02034, Discrete Weierstrass-type representations 21

JP20K14314, JP20H01801, JP20K03585, JST CREST Grant Number JPMJCR1911, and Os- aka City University Advanced Mathematical Institute (MEXT Joint Usage/Research Center on Mathematics and Theoretical Physics JPMXP0619217849).

References [1] A. I. Bobenko, U. Hertrich-Jeromin, and I. Lukyanenko. Discrete constant mean curvature nets in space forms: Steiner’s formula and Christoffel duality. Discrete Comput. Geom., 52(4):612–629, 2014. [2] A. I. Bobenko and U. Pinkall. Discrete isothermic surfaces. J. Reine Angew. Math., 1996(475):187–208, 1996. [3] A. I. Bobenko, H. Pottmann, and J. Wallner. A curvature theory for discrete surfaces based on mesh paral- lelity. Math. Ann., 348(1):1–24, 2010. [4] A. I. Bobenko and Y. B. Suris. Isothermic surfaces in sphere geometries as Moutard nets. Proc. R. Soc. A, 463(2088):3171–3193, 2007. [5] A. I. Bobenko and Y. B. Suris. Discrete Differential Geometry: Integrable Structure. Number v. 98 in Graduate Studies in Mathematics. American Mathematical Society, Providence, R.I, 2008. [6] R. Bryant. Surfaces of mean curvature one in hyperbolic space. Astérisque, 154-155:321–347, 1987. [7] F. E. Burstall, J. Cho, U. Hertrich-Jeromin, M. Pember, and W. Rossman. Discrete Ω-nets and Guichard nets. arXiv:2008.01447 [math], 2020. [8] F. E. Burstall, U. Hertrich-Jeromin, and W. Rossman. Discrete linear Weingarten surfaces. Nagoya Math. J., 231:55–88, 2018. [9] F. E. Burstall, U. Hertrich-Jeromin, W. Rossman, and S. Santos. Discrete surfaces of constant mean curvature. RIMS Kyokuroko, 1880:133–179, 2014. [10] A. Demoulin. Sur les surfaces Ω. C. R. Acad. Sci., Paris, 153:927–929, 1911. [11] A. Demoulin. Sur les surfaces R et les surfaces Ω. C. R. Acad. Sci., Paris, 153:590–593, 705–707, 1911. [12] J. Dubois, U. Hertrich-Jeromin, and G. Szewieczek. Notes on flat fronts in hyperbolic space. arXiv:2106.01168 [math.DG], 2021. [13] T. E.Cecil. Lie Sphere Geometry: With Applications to Submanifolds. Universitext. Springer, New York, 2nd ed edition, 2008. [14] U. Hertrich-Jeromin. Transformations of discrete isothermic nets and discrete cmc-1 surfaces in hyperbolic space. manuscripta math., 102(4):465–486, 2000. [15] U. Hertrich-Jeromin and G. Szewieczek. Discrete cyclic systems and circle congruences. arXiv:2104.13441 [nlin.SI], 2021. [16] T. Hoffmann, W. Rossman, T. Sasaki, and M. Yoshida. Discrete flat surfaces and linear Weingarten surfaces in hyperbolic 3-space. Trans. Amer. Math. Soc., 364(11):5605–5644, 2012. [17] A. Honda. and S. Izumiya. The lightlike geometry of marginally trapped surfaces in Minkowski space-time. J. Geom., 106(1):185–210, 2015. [18] S. Izumiya. Legendrian dualities and spacelike hypersurfaces in the lightcone. Moscow Math. J., 9(2):325–357, 2009. [19] W. Y. Lam. Cmc-1 surfaces via osculating möbius transformations between circle patterns. arXiv:2007.04253 [math], 2020. [20] H. L. Liu. Surfaces in the lightlike cone. J. Math. Anal. Appl., 325(2):1171–1181, 2007. [21] C. Müller. On discrete constant mean curvature surfaces. Discrete Comput. Geom., 51(3):516–538, 2014. [22] M. Pember. Weierstrass-type representations. Geom. Dedicata, 204(1):299–309, 2020. [23] H. Pottmann and Y. Liu. Discrete Surfaces in Isotropic Geometry. In Mathematics of Surfaces XII, Lecture Notes in Computer Science, pages 341–363, Berlin, Heidelberg, 2007. Springer. [24] H. Sachs. Isotrope Geometrie des Raumes. Vieweg+Teubner Verlag, Wiesbaden, 1990. [25] K. Strubecker. Differentialgeometrie des isotropen Raumes. III. Flächentheorie. Math Z., 48(1):369–427, 1942. [26] M. Umehara and K. Yamada. A parametrization of the Weierstrass formulae and perturbation of complete 3 minimal surfaces in R into the hyperbolic 3-space. J. Reine Angew. Math., 1992(432):93–116, 1992. [27] M. Umehara and K. Yamada. A duality on CMC-1 surfaces in hyperbolic space, and a hyperbolic analogue of the Osserman Inequality. Tsukuba J. Math., 21(1):229–237, 1997. [28] K. T. Weierstrass. Untersuchungen über die Flächen, deren mittlere Krümmung überall gleich Null ist. Monatsbericht Berliner Akademie, pages 612–625, 1866. [29] M. Yasumoto. Discrete maximal surfaces with singularities in Minkowski space. Diff. Geom. App., 43:130–154, 2015. [30] M. Yasumoto and W. Rossman. Discrete linear Weingarten surfaces with singularities in Riemannian and Lorentzian spaceforms. Adv. Stud. Pure Math., 78(Singularities in Generic Geometry):383–410, 2018. 22 DISCRETE WEIERSTRASS-TYPE REPRESENTATIONS

Mason Pember Dipartimento di Matematica Politecnico di Torino Corso Duca degli Abruzzi 24 I-10129 Torino, Italy [email protected] Denis Polly Institute of discrete Mathematics and Geometry TU Vienna Wiedner Hauptstraße 8-10/104 A-1040 Vienna, Austria [email protected] Masashi Yasumoto Institute of Mathematics for Industry Kyushu University 744 Motooka, Nishi-ku Fukuoka 819-0395, Japan [email protected]