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]: Burstall "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 surfacestrailing the effect on a single point then generates a 2-dimensional 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 [16,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 semidiscrete 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 [9].
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,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,10] for the discrete case; a characterization in terms of linear conserved quantities, cf [8,11], is then a direct consequence of the gauge theoretic characterization of semi-discrete 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 [16,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.

Definition 2.1
Two curves x,x : I → R 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: Definition and Lemma 2.2 A pair of curves (x,x) : I → R n × R 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: On the other hand, given a tangent cross ratio function cr : I → R, a corresponding Ribaucour transformx of a curve x : I → R 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 [16, Chap 1]: we will replace the Euclidean R 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 R 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 ∈ R 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, submanifold) in R n is obtained from the isometry into the light cone, realizing the Euclidean geometry of R n as a subgeometry of the conformal geometry of S n , cf [16,Sect 1.4]. Hence identifying R 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 we linearize (2.3) by means of a connection D ds along x : I → R n ⊂ R n+1,1 , associated to a given tangent cross ratio function cr : I → R: Lemma 2.3 A curvex : I → R n is a Ribaucour transform of a curve x : I → R n with tangent cross ratio function cr : I → R if and only if, for any lifts ξ andξ of x andx, respectively, Using Euclidean lifts ξ andξ of two curves x respx in R n , (2.5) reads by taking inner product with q; hence comparing R 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 ∼ = P(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 [16, 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) readsξ As D ds is a metric connection, every initial point ξ (s 0 ) ∈ S n = P(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 [16,Lemma 5.2.12,Sect 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.

Definition 2.4 A Ribaucour pair of curves
, m : I → R × , 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.
Clearly, since the tangent cross ratio of a Ribaucour pair (x,x) is symmetric in x andx, so is the notion of Darboux transformation. An example of the Darboux transformation in Euclidean geometry is given by a tractrix construction, cf [18, Def 2.41]: if y : I → R n denotes an arc-length parametrized curve then form a Darboux pair of curves with respect to their common arc-length polarization ds 2 m = |dx ± | 2 ; namely, with a principal normal field n : I → S n−1 of y and the corresponding curvature κ we obtain Given a polarized curve x : (I, ds 2 m ) → R n every Darboux transformx : (I, ds 2 m ) → R n is obtained as a solution of a Riccati equation as for the Ribaucour transformation the Darboux transformation is most naturally considered as a transformation of polarized curves in the conformal n-sphere S n = P(L n+1 ), where the Riccati equation (2.9) linearizes and becomes Darboux's linear system, cf [15], that is, yields the zero curvature representation of the associated integrable system. In particular, for a polarized curve denotes any light cone lift of the curve, we introduce a 1-parameter family of (flat) connections by ⎩ r y f or y ∈ ξ , y for y ∈ ξ,ξ ⊥ , y/r f or y ∈ ξ .
Note that ξ ξ (r ) ∈ O(R n+1,1 ) realizes the Möbius geometric cross ratio of four points on a circle: (2.12) namely, fixing relative normalizations of ξ andξ so that (ξ,ξ) = −1 and using ξ o and ξ q = ∞ as origin and point at infinity for Euclidean lifts (2.4) of η and ζ , we find, by computation of the (cyclic) Clifford algebra cross ratio in R n of [14], that Changing viewpoint, (2.12) yields a parametrization of the circumcircle of three points, ξ , ξ , η ∈ S n , by cross ratio: We decompose R n+1,1 = ξ ⊕ ξ ⊕ ξ,ξ ⊥ and use the corresponding projections π : R n+1,1 → ξ ,π : R n+1,1 → ξ and : R n+1,1 → ξ,ξ ⊥ , so that id = π + +π and ξ ξ (r ) = 1 r π + + rπ; note that, since ξ andξ are lightlike, for example Similarly the derivative decomposes as yield the derivatives of the maps ξ , ξ : I → S n ⊂ P(R n+1,1 ), as (ξ, dξ) = 0 implieŝ π • d • π = 0 so that dξ = −βξ mod ξ and similarly forξ , and is a metric connection on the vector bundle ξ × ξ × ξ,ξ ⊥ . Hence we compute Consequently, with r = 1 − t μ , we obtain the claimed result: Note that we imposed virtually no conditions on the maps ξ and ξ , in particular, we used no assumptions on the dimension of their common domain, nor on the 1-forms γ andγ , apart from the fact that they take values in the same places as the derivatives of ξ resp ξ do. This reflects the utmost generality of the statement, cf [9]. It is now readily derived that the well known Bianchi permutability theorem for the Darboux transformation of isothermic surfaces descends to a permutability theorem for the Darboux  By symmetry it is sufficient to show that ξ 01 is a μ 1 -Darboux transform of ξ 0 , using a cross ratio identity, cf [16, Sect 4.9.11]. Thus we determine ξ 01 from by (2.12); assuming that ξ 0 is a D ds t | t=μ 0 -parallel section, D ds t | t=μ 0 ξ 0 = 0, and using Lemma 2.6 we obtain The relation between the isothermic loops of connections in a "Bianchi quadrilateral" is now obtained from Lemma 2.6; in fact, a more abstract statement holds true, that yields the key to an analogous approach to discrete isothermic nets, cf [11, Lemma 2.6] or [9, Lemma 4.7]:

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 (i j) ∈ E will be denoted by the ordered pair of their endpoints i, j ∈ V .
, 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 , (i j) ∈ 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 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 Note that we need to assume m > 0 here; μ i j < 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 [17,Sect 9].
As in the smooth and fully discrete cases, cf [5, Thms 1.32 and 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 fixes the sign of ξ up to a global sign choice-clearly m(ξ , ξ ) ≡ 1, hence using (2.6) twice we learn that 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 Theorem 2.8, showing that the Darboux transformations of curves "fit together" to form a new semi-discrete isothermic surface. The Bianchi cube Theorem 2.9 then yields the semi-discrete analogue of the usual Bianchi permutability theorem Theorem 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 R 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.

Definition 3.2
Two curves x, x * : (I, ds 2 m ) → R n on a polarized domain will be said to be Christoffel dual if This duality for polarized curves yields the first equation of [19, (10)], the second yields permutability with the Darboux transformation: Theorem 3.3 Let x : (I, ds 2 m ) → R n be a polarized curve with Christoffel dual x * and a Darboux transformx, 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 [16, Sect 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): 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.

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 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: Theorem and Definition 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 Definition and Corollary 2.5: Definition and Theorem 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, i j : X j → X i for each (i j) ∈ E; a semi-discrete connection is flat if all ∇ i are flat and are gauge equivalent via i j , A semi-discrete surface ξ : → S n is isothermic if and only if there are functions m and μ on I and E, respectively, so that the associated isothermic loop of connections ( t , ∇ t ) t∈R consists of flat connections, where t i j := This characterization of semi-discrete isothermic surfaces is an immediate consequence of 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 [12, (2.3)], d i j z = 1 μ i j (π i − π j )q and z = 2 m(ξ , ξ ) {(q, ξ)ξ − (q, ξ )ξ }, where π i and π j denote the projections onto ξ i resp ξ j , and d i j z = z j − z i the discrete derivative of z, as before; note that π j (d i j z + 1 μ i j (π j − π i )q) = π j (z j + 1 μ i j 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 R n+1,1 : z = 2 mx and d i j z = 2 μ i j d i j x .
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 On the other hand, the two surfaces x, z : → Namely, suppose that z and x define parallel nets, that is, with suitable functions a i and α i j we have z i = a i x i and d i j z = α i j d i j x.
For regularity we assume d i j x x i , x j and that x and z are not homothetic. Integrability of z then yields (3.6) In particular, we learn that x i , x j and d i j x must be linearly dependent, that is, x must be a conjugate net in R 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, Definition 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 ν : → R × with a i = ∓ 1 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