Semi-discrete isothermic surfaces

A Darboux transformation for polarized space curves is introduced and its properties are studied, in particular, Bianchi permutability. Semi-discrete isothermic surfaces are described as sequences of Darboux transforms of polarized curves in the conformal n-sphere and their transformation theory is studied. Semi-discrete surfaces of constant mean curvature are studied as an application of the transformation theory.


Introduction
Integrable discretizations of surfaces or submanifolds are intimately related to the transformations of the smooth theory -permutability theorems govern consistency of the discretization in this setting. This line of thought has probably been most clearly formulated in [4] or [5]: "In this setting, discrete surfaces appear as two-dimensional layers of multidimensional discrete nets, and their transformations correspond to shifts in the transversal lattice directions. A characteristic feature of the theory is that all lattice directions are on equal footing with respect to the defining geometric properties." For example, given two Darboux transforms of an isothermic surface, a fourth surface can be constructed by algebraic means so that the four surfaces form a quadrilateral of surfaces with Darboux transforms along the edges of the quadrilateral; moreover, the (spectral) parameters of the transformations on opposite edges are equal. Thus, repeated transformations and application of this permutability theorem generate a lattice of isothermic surfaces -trailing the effect on a single point then generates a 2dimensional grid in space: a discrete surface with similar properties as a smooth isothermic surface. In particular, the discrete surfaces obtained in this way admit very similar transformations to their smooth analogues, hence generating multi-dimensional lattices that display the same properties in all lattice directions, cf [4]: "Discrete surfaces and their transformations become indistinguishable." Our principal aim here is to explore this relation between analogous smooth and discrete theories in a setting where the interplay between them becomes most tangible, that is, we unify the smooth and discrete aspects in a single geometric object: a semi-discrete isothermic surface.
Thus, to construct the semi-discrete isothermic surfaces considered in this text, we follow the idea outlined above, see also [13]: we obtain a notion of Darboux transformation for space curves by observing how the Darboux transformation of an isothermic surface acts on a single curvature line, cf [18] -then we construct semi-discrete isothermic surfaces as sequences of Darboux transforms of curves.
The first part of the text is concerned with the analysis of the Darboux transformation of curves in Euclidean and conformal n-space: we introduce the Darboux transformation as a special type of Ribaucour transformation, cf [3] and [17,Sect 8.2], that preserves a quadratic differential as an additional structure on a curve -this Darboux transformation acts on curves equipped with a quadratic differential, reminiscent of the fact that the Darboux transformation of an isothermic surface preserves a holomorphic quadratic differential that is associated to every isothermic surface. This notion of Darboux transformation for polarized curves generalizes the notions of [18,Sect 2.6].
In particular, Darboux transformations are given by solutions of a Riccati equation that includes a (spectral) parameter -we discuss a linearization of this Riccati equation using Möbius geometric techniques, by means of a connection on a suitable vector bundle, reflecting the conformal invariance of the transformation. Darboux transforms are then obtained from parallel sections of this connection, that is, as solutions of Darboux's linear system. A version of the aforementioned Bianchi permutability theorem for the Darboux transformation of curves is then derived using standard gauge theoretic arguments.
Semi-discrete isothermic surfaces are introduced in the second part of the text, as sequences of Darboux transforms of curves. As detailed above in the fully discrete case, the Darboux transformation for semi-discrete isothermic surfaces can then be consistently defined because of the corresponding Bianchi permutability theorem for the Darboux transformation of curves. Further, we discuss how the Christoffel and Calapso transformations of semi-discrete isothermic surfaces occur from corresponding transformations for curves and suitable permutability theorems.
In summary, we do not only obtain the full transformation theory for semi-discrete isothermic surfaces, but, relying on the aforementioned linearization of the Riccati equation that describes the Darboux transformation, we also obtain a gauge theoretic characterization of semi-discrete isothermic surfaces, as are known in the smooth and fully discrete cases, cf [8].
As an example of the developed transformation theory and gauge theoretic approach for semi-discrete isothermic surfaces, we discuss semi-discrete surfaces of constant mean curvature in space forms, thereby extending results from [19] and [20]. Here we rely on the intimate relation between the Christoffel transformation and a mixed area that is used to define the mean curvature of a surface with Gauss map in a space form, cf [6] and [12] for the discrete case; a characterization in terms of linear conserved quantities, cf [10] and [9], is then a direct consequence of the gauge theoretic characterization of semidiscrete isothermic surfaces and its relation with the Christoffel transformation.

Darboux transformations of curves
Our idea is that semi-discrete isothermic surfaces should be obtained by restricting a sequence of Darboux transforms of an isothermic surface to a fixed curvature line. We therefore seek a notion of "Darboux transformation" for (decorated) curves in space and shall find it in much the same way that a "Bäcklund transformation" for curves of constant torsion was found by restricting Bäcklund transformations of pseudo-spherical surfaces to a single asymptotic line in [13,Sect 1.1]. In particular, the Darboux transformation will occur as a special type of Ribaucour transformation, cf [17,Sect 8.2] or [3,Sect 3]: the Ribaucour transformation of hypersurfaces or submanifolds descends to their curvature lines, where only the enveloping condition remains a non-trivial condition.
Def 2.1. Two curves x,x : I → Ê n will be said to form a Ribaucour pair if they envelop a circle congruence, i.e., if tangents at corresponding points x(s) andx(s) are tangent to a common circle c(s). Either curve of a Ribaucour pair is a Ribaucour transform of the other curve.
Using a semi-discrete version of the Clifford algebra cross ratio of [14], cf [7, Sect 2.4], we obtain an algebraic characterization of Ribaucour pairs of curves: Def & Lemma 2.2. A pair of curves (x,x) : I → Ê n × Ê n is a Ribaucour pair if and only if its tangent cross ratio is real, where Clifford multiplication is used for products and inverses. In that case, the tangent cross ratio is symmetric, Namely, (x,x) envelop a circle congruence if and only if reflection in the bisector of the secants exchanges the tangents, that is, if and only if Note that corresponding tangents of a Ribaucour pair of curves generically intersect in a point y, which provides an alternative method to determine the tangent cross ratio of a Ribaucour pair from a suitable ratio of scaling factors:x On the other hand, given a tangent cross ratio function cr : I → Ê, a corresponding Ribaucour transform x of a curve x : I → Ê n can be recovered as a solution of the Riccati equation Our next mission will be to linearize this equation by means of standard Möbius geometric methods, see for example [17, Chap 1]: we will replace the Euclidean Ê n as an ambient space by the conformal n-sphere S n , thought of as the projective light cone of the (n + 2)-dimensional Minkowski space Ê n+1,1 , Thus a (smooth) choice of homogeneous coordinates for a curve in the conformal n-sphere S n constitutes a lift of the curve into the light cone L n+1 . In particular, for lightlike vectors o, q ∈ Ê n+1,1 with inner product (o, q) = −1 consider the orthogonal decomposition where . . . denotes the span of vectors. Then the Euclidean lift of an immersed curve (or, more generally, into the light cone, realizing the Euclidean geometry of Ê n as a subgeometry of the conformal geometry of S n , cf [17,Sect 1.4]. Hence identifying Ê n ∼ = Q n as a subset of the conformal n-sphere S n by means of (2.4), we will also refer to any light cone map as a lift of a curve x : I → Ê n ⊂ Ê n+1,1 in Euclidean space. Further, identifying Λ 2 Ê n+1, we linearize (2.3) by means of a connection D ds along x : I → Ê n ⊂ Ê n+1,1 , associated to a given tangent cross ratio function cr : I → Ê: Lemma 2.3. A curvex : I → Ê n is a Ribaucour transform of a curve x : I → Ê n with tangent cross ratio function cr : I → Ê if and only if, for any lifts ξ andξ of x andx, respectively, Using Euclidean lifts ξ andξ of two curves x respx in Ê n , (2.5) reads by taking inner product with q; hence comparing Ê n -parts of the equation we recover (2.2), which yields the claim. Conversely, assuming (2.2), expansion of Moreover, (2.5) is independent of the choice of lifts ξ respξ: multiplication of ξ by a non-zero function does not change D ds since (ξ, ξ) ≡ 0 and multiplication ofξ by a non-zero function does obviously not affect (2.5) as D ds satisfies Leibniz' rule. This reflects the fact that the Ribaucour transformation is well defined for curves in the conformal S n ∼ = È(L n+1 ): on a 1-dimensional domain the only non-trivial condition for the Ribaucour transformation is the enveloping condition, that is, the condition that define a circle congruence, cf [17, Sect 6.6]; the structure of the connection D ds resp of (2.5) then encodes the tangent cross ratio function: for arbitrary lifts ξ andξ of the curves of a Ribaucour pair (2.5) readŝ As D ds is a metric connection, every initial point ξ (s 0 ) ∈ S n = È(L n+1 ) yields a unique Ribaucour transform of a given curve ξ : I → S n via a D ds -parallel sectionξ : I → L n+1 . A similar construction of Ribaucour transforms via parallel sections of a connection is possible in higher dimensions, though further conditions on the tangent cross ratios in curvature directions and initial point need to be satisfied.
Clearly, the tangent cross ratio of a Ribaucour pair (x,x) of curves is parameter dependent. Considering differentials instead of derivatives we obtain the infinitesimal cross ratio a parameter independent quadratic differential. This resonates well with the Darboux transformation of an isothermic surface preserving a holomorphic quadratic differential (polarization) that occurs from a factorization of its Hopf differential, see [17, Lemma 5.2.12, §5.4.14] and [7, Lemma 2.1, Thm 2.7]. Thus to introduce the Darboux transformation for curves we will consider a (non-vanishing) reference quadratic differential (polarization) ds 2 m as part of the data. will be called a Darboux pair if its infinitesimal cross ratio is a constant multiple of the reference polarization, Either curve of a Darboux pair is a Darboux transform of the other polarized curve.

Semi-discrete isothermic surfaces
We are now prepared to define semi-discrete isothermic surfaces, as sequences of Darboux transforms of curves -where we will parametrize the sequence by a graph G = (V, E) and oriented edges (ij) ∈ E will be denoted by the ordered pair of their endpoints i, j ∈ V .
Def 3.1. A map ξ : Σ → S n , (i, s) → ξ i (s) , on a semi-discrete domain Σ = G × I will be called a semi-discrete isothermic surface if there is a polarization ds 2 m on I so that any adjacent curves ξ i and ξ j , (ij) ∈ E, form a Darboux pair of curves on the polarized interval (I, ds 2 m ).
Apart from a sign issue this definition recovers the semi-discrete isothermic surfaces of [19]. With a stereographic projection x : Σ → Ê n , ξ = o + x + 1 2 (x, x) q , of ξ the condition of adjacent curves forming Darboux pairs can be formulated using the cross ratio condition (2.7), Then, reality of the cross ratio is equivalent to two adjacent curves enveloping a circle congruence while squaring the (real) cross ratio yields (3.1) Note that we need to assume m > 0 here; µ ij < 0 then yields the semi-discrete isothermic surfaces of [19,Cor 4.2], cf [19,Lemma 3.3] with σ = − 1 µ and τ = 1 m . Below we drop this restriction on the sign of the tangent cross ratio of adjacent curves and also allow Darboux transformations such as the ones from (2.8), or those of the generators of a cylinder to the corresponding curvature lines of a bubbleton, cf [16,Sect 9].
As in the smooth and fully discrete cases, cf [5, Thms 1.32 & 4.31], a semi-discrete isothermic surface can be characterized by the existence of a Moutard lift denoting the discrete derivative resp edge function of ξ, that is, the existence of a light cone lift ξ with vanishing (algebraic) area element A(ξ, ξ)ds = 0. Namely, if ξ satisfies (3.2) then, by (2.6), Conversely, if x is isothermic with cr = µ m , where m > 0 without loss of generality, then we obtain a Moutard lift by , where µ ij (ξ i , ξ j ) < 0 fixes the sign of ξ up to a global sign choice -clearly m(ξ ′ , ξ ′ ) ≡ 1, hence using (2.6) twice we learn Our definition has the full isothermic transformation theory built in: clearly, it directly lends itself to define the Darboux transformation of semi-discrete isothermic surfaces via the Darboux transformation of polarized curves and the Bianchi permutability theorem Thm 2.8, showing that the Darboux transformations of curves "fit together" to form a new semi-discrete isothermic surface. The Bianchi cube theorem Thm 2.9 then yields the semi-discrete analogue of the usual Bianchi permutability theorem Thm 2.8, cf [1].
Note that the curves of the original semi-discrete isothermic surface and of its Darboux transforms become indistinguishable or, otherwise said, a Darboux transform leads to a single "larger" semi-discrete isothermic surface withΣ =G × I,Ṽ = V∪ V andẼ = E∪ V∪ E as a domain, that is, with two copies of the original graph G and "vertical" edges added between corresponding points of the two copies.
Similarly, a "Christoffel duality" for polarized curves in Ê n , together with a suitable permutability theorem, yields a Christoffel duality for semi-discrete isothermic surfaces, cf [19,Thm 4.3], as long as there are no cycles in the discrete part G of the domain Σ of the semi-discrete isothermic surface.
This duality for polarized curves yields the first equation of [19 (10)], the second yields permutability with the Darboux transformation: x, that is, is simultaneously Christoffel dual tox and a Darboux transform of x * .
It is straightforward to verify the claim, using that Christoffel duality is involutive and by computing This permutability theorem yields a version of the consistency check in [19] -thus it shows that Christoffel duals of consecutive curves of a semi-discrete isothermic surface can be positioned to form a new semi-discrete isothermic surface, its Christoffel dual, as long as the original surface has no discrete cycles. In fact, as long as m > 0 > µ our Christoffel duality is the same as the one of [19], as the defining equations coincide: As in the smooth and fully discrete cases, cf [17, §5.3.12] resp [2, Sect 7], this Christoffel transformation gives rise to a "Weierstrass representation" for semi-discrete minimal surfaces, cf [19,Sect 5] and [22].
To obtain the Calapso transformation, or "conformal deformation", of a polarized curve we introduce a (family of) gauge transformation(s) that trivialize the (flat) connections of its isothermic family of connections (2.10): Def 3.4. Let ξ : (I, ds 2 m ) → S n be a polarized curve with isothermic family of connections D ds t ; are called the Calapso transformations of ξ , each curve ξ t := T t ξ is a Calapso transform of ξ .
Note that the Calapso transformations T t can be chosen to take values in the orthogonal group since the connections D ds t are metric connections; then they are unique up to post-composition by a (lift of a) Möbius transformation.
To carry this Calapso deformation for curves over to one for semi-discrete isothermic surfaces we will again require a permutability theorem; to this end, we will need to gain control of the Calapso transformations of the Calapso and Darboux transforms of a polarized curve.
Thus let ξ denote a Calapso transform of a polarized curve ξ , that is,ξ = T τ ξ for some τ ∈ Ê. Then For a Darboux transformation ξ of ξ , whereξ satisfies (2.11), D ds t t=µξ = 0, we apply Lemma 2.6 to obtainT Thus we have proved the following: Lemma 3.5. Up to post-composition by a Möbius transformation: (i)T t T τ = T τ +t for a Calapso transform ξ = T τ ξ of ξ ; In particular, if ξ is a Darboux transform of ξ with parameter µ, that is, D ds t t=µξ = 0, then we learn from Lemma 3.5 (ii) that T τξ = T τξ for τ = µ; hence, by Lemma 3.5 (i), showing that T τξ yields simultaneously a Calapso transform of ξ and a Darboux transform of T τ ξ .
Thus we obtain the desired permutability theorem for the Darboux and Calapso transformations, which ensures that the Calapso transformation for curves extends to one for semi-discrete isothermic surfaces, as long as the surfaces do not have discrete cycles. Thus we have learned that the transformations of curves extend to sequences of Darboux transforms of curves, that is, to semi-discrete isothermic surfaces, by means of suitable permutability theorems: Thm & Def 3.7. The Darboux, Christoffel and Calapso transformations for polarized curves extend to corresponding transformations of cycle-free semi-discrete isothermic surfaces.
An alternative approach to the transformations of semi-discrete isothermic surfaces is more directly based on a family of semi-discrete flat connections, similar to those of Def & Cor 2.5: Def & Thm 3.8. A semi-discrete connection on a vector bundle X over a domain Σ = G×I, G = (V, E), is a pair (Γ, ∇), consisting of connections over each smooth component, ∇ i on X i for each i ∈ V , and vector bundle isomorphisms between components, Γ ij : X j → X i for each (ij) ∈ E; a semi-discrete connection is flat if all ∇ i are flat and are gauge equivalent via Γ ij , ∀i ∈ V : R ∇i = 0 and ∀(ij) ∈ E : Γ ij · ∇ j = ∇ i . Thm 3.9. Let ξ : Σ → S n be semi-discrete isothermic with isothermic loop of connections (Γ t , ∇ t ) t∈Ê . Then (i) the Darboux transforms ξ of ξ , with respect to a parameter µ, are given by (Γ µ , ∇ µ )-parallel sections, that is, by solutions of Darboux's linear system ∀(ij) ∈ E : Γ µ ijξ j =ξ i and ∀i ∈ V : ∇ µ iξ i = 0; (ii) the Calapso transforms ξ t of ξ are given as images of ξ under trivializing gauge transformations, At this point the full integrable theory of isothermic surfaces is available and corresponding results in the semi-discrete setting can be obtained in a completely analogous way as in the smooth or fully discrete settings. For example, we may now define special isothermic surfaces as those semi-discrete isothermic surfaces that admit a polynomial conserved quantity, i.e., a polynomial map in the case of a linear conserved quantity p(t) = zt + q yields q ≡ const, z ⊥ ξ and, cf [11 (2.3)], where π i and π j denote the projections onto ξ i resp ξ j , and d ij z = z j − z i the discrete derivative of z, as before; note that π j (d ij z + 1 µij (π j − π i )q) = π j (z j + 1 µij q) since z ⊥ ξ. Thus normalizing ξ = x so that (x, q) ≡ −1 we learn that z is, up to scale, a Christoffel transform of x in Ê n+1,1 : As (Γ t , ∇ t ) are metric connections the (real) polynomial |zt + q| 2 has constant coefficients, in particular, we may without loss of generality assume |z| 2 ≡ 1 as long as |z| = 0, that is, p(t) = zt + q to be a normalized linear conserved quantity. Conversely, p(t) = zt + q yields a (normalized) linear conserved quantity of ξ = x as soon as z : Σ → S 3,1 := {y ∈ Ê n+1,1 | (y, y) = 1} with H := −(z, q) = const is (up to scale) a Christoffel transform of On the other hand, the two surfaces x, z : Σ → Ê n+1,1 form a Christoffel pair if and only if their mixed area element A(x, z)ds : For regularity we assume d ij x x ′ i , x ′ j and that x and z are not homothetic. Integrability of z then yields In particular, we learn that x ′ i , x ′ j and d ij x must be linearly dependent, that is, x must be a conjugate net in Ê n+1,1 , cf [21, Sect 2]; hence adjacent curves x i and x j form Ribaucour pairs, since x maps into the conformal n-sphere, and x is circular or a semi-discrete curvature line net, cf [19,Def 1.1]. Now, we use (3.6) to analyze vanishing of the mixed area, We conclude that a i a j > 0 and that there is a function ν : Σ → Ê × with a i = ∓ 1 ν 2 i and α ij = 1 νiνj . Without loss of generality we may assume a i = − 1 ν 2 i to recover that vanishing of the mixed area is a characterization of the Koenigs duality of conjugate nets from [19, Def 3.1], up to a sign: However, for a semi-discrete curvature line net, existence of a Koenigs dual implies isothermicity, and the Koenigs and Christoffel dualities coincide. To see this we use again integrability (3.6) of z, which now reads further, taking inner product with d ij x in (3.8) the right term yields the second of the equations 3) and (3.8) shows that x j is a µ ij -Darboux transform of x i , that is, isothermicity of x, as where we use from the definition of µ ij .
Note that these results descend to Euclidean ambient geometry; however, corresponding proofs in a purely Euclidean setting will require some arguments to be adapted, for example, by using the tangent cross ratio instead of isotropy of x to obtain m and µ as functions of one parameter.
Using the vanishing of the mixed area (3.5) we then arrive at characterizations of semi-discrete surfaces of constant mixed area mean curvature in space forms, A(x,x) , where x : Σ → Q 3 and n : Σ → P 3 = {y ∈ S 3,1 | y ⊥ q} with n ⊥ x (3.9) defines a suitable tangent plane congruence for x in Q 3 , cf [