Semidiscrete isothermic surfaces
 718 Downloads
 3 Citations
Abstract
A Darboux transformation for polarized space curves is introduced and its properties are studied, in particular, Bianchi permutability. Semidiscrete isothermic surfaces are described as sequences of Darboux transforms of polarized curves in the conformal nsphere and their transformation theory is studied. Semidiscrete surfaces of constant mean curvature are studied as an application of the transformation theory.
Keywords
Isothermic surface Discrete isothermic net Calapso transformation Darboux transformation Bianchi permutability Lawson correspondence Bäcklund transformation Constant mean curvatureMathematics Subject Classification 2010
53A10 53C42 53A30 37K25 37K351 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 twodimensional 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 multidimensional 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 semidiscrete isothermic surface.
Thus, to construct the semidiscrete 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 semidiscrete 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 nspace: 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.
Semidiscrete 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 semidiscrete 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 semidiscrete 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 semidiscrete 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 semidiscrete isothermic surfaces, we discuss semidiscrete 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 semidiscrete isothermic surfaces and its relation with the Christoffel transformation.
2 Darboux transformations of curves
Our idea is that semidiscrete 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 pseudospherical 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 nontrivial condition.
Definition 2.1
Two curves \(x,\hat{x}:I\rightarrow {\mathbb 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) and \(\hat{x}(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 semidiscrete 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
Lemma 2.3
Definition 2.4
Definition and Corollary 2.5
Consequently, any polarized curve admits a \((1+n)\)parameter family of Darboux transforms as any choice of the spectral parameter \(t=\mu \) and of an initial point in \(S^n\) yields a unique Darboux transform via a \({D\over ds}^{t}_{t=\mu }\)parallel light cone section. On the other hand, this new description (2.11) of the Darboux transformation lacks the symmetry of (2.7): thus our next goal is to understand how Darboux’s linear system changes under the Darboux transformation.
Lemma 2.6
Lemma 2.7

\(\gamma \circ \pi =0\) since \(\gamma (\xi )=0\);

\(\gamma \circ \varpi =\pi \circ \gamma \circ \varpi \) since \(\gamma (\langle \xi \rangle ^\perp )\subset \langle \xi \rangle \);

\(\gamma \circ \hat{\pi }=(\pi +\varpi )\circ \gamma \circ \hat{\pi }\) since \(\gamma ({\mathbb R}^{n+1,1})\subset \langle \xi \rangle ^\perp \); further

\(\pi \circ \gamma \circ \hat{\pi }=0\) since \(\gamma \in \Omega ^1({\mathfrak o}({\mathbb R}^{n+1,1}))\) is skew symmetric, so that \(\gamma (\hat{\xi })\perp \hat{\xi }\).
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 transformation of polarized curves, cf [1, Sect 3] or [9, Sect 4.2]:
Theorem 2.8
Theorem 2.9
Given three Darboux transforms \(\langle \xi _i\rangle \), \(i=0,1,2\), of a polarized curve \(\langle \xi \rangle :(I,{ds^2\over m})\rightarrow S^n\) with different parameters, \(\mu _i\ne \mu _j\) for \(i\ne j\), there is a simultaneous Darboux transform \(\langle \xi _{012}\rangle \), with parameters \(\mu _k\), of the simultaneous Darboux transforms \(\langle \xi _{ij}\rangle \) of \(\langle \xi _i\rangle \) and \(\langle \xi _j\rangle \), where \(i,j,k\in \{0,1,2\}\) are pairwise distinct.
3 Semidiscrete isothermic surfaces
We are now prepared to define semidiscrete 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)\in E\) will be denoted by the ordered pair of their endpoints \(i,j\in V\).
Definition 3.1
A map \(\langle \xi \rangle :\Sigma \rightarrow S^n\), \((i,s)\mapsto \langle \xi _i(s)\rangle \), on a semidiscrete domain \(\Sigma =G\times I\) will be called a semidiscrete isothermic surface if there is a polarization \({ds^2\over m}\) on I so that any adjacent curves \(\langle \xi _i\rangle \) and \(\langle \xi _j\rangle \), \((ij)\in E\), form a Darboux pair of curves on the polarized interval \((I,{ds^2\over m})\).
Similarly, a “Christoffel duality” for polarized curves in \({\mathbb R}^n\), together with a suitable permutability theorem, yields a Christoffel duality for semidiscrete isothermic surfaces, cf [19, Thm 4.3], as long as there are no cycles in the discrete part G of the domain \(\Sigma \) of the semidiscrete isothermic surface.
Definition 3.2
This duality for polarized curves yields the first equation of [19, (10)], the second yields permutability with the Darboux transformation:
Theorem 3.3
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):
Definition 3.4
Note that the Calapso transformations \(T^t\) can be chosen to take values in the orthogonal group since the connections \({D\over ds}^{t}\) are metric connections; then they are unique up to postcomposition by a (lift of a) Möbius transformation.
To carry this Calapso deformation for curves over to one for semidiscrete 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
 (i)
\(\tilde{T}^tT^\tau =T^{\tau +t}\) for a Calapso transform \(\langle \tilde{\xi }\rangle =\langle T^\tau \xi \rangle \) of \(\langle \xi \rangle \);
 (ii)
\(\hat{T}^t\Gamma _{\langle \xi \rangle }^{\langle \hat{\xi }\rangle }(1{t\over \mu })=T^t\) for a Darboux transform \(\langle \hat{\xi }\rangle \) of \(\langle \xi \rangle \), where \({D\over ds}^{t}\big _{t=\mu }\hat{\xi }=0\).
Theorem 3.6
Suppose that \(\langle \xi \rangle ,\langle \hat{\xi }\rangle :(I,{ds^2\over m})\rightarrow S^n\) form a Darboux pair with parameter \(\mu \in {\mathbb R}^\times \), and let \(\tau \ne \mu \). Then their Calapso transforms \(\langle T^\tau \xi \rangle \) and \(\langle \hat{T}^\tau \hat{\xi }\rangle \) form, if suitably positioned, a Darboux pair with parameter \(\mu \tau \).
Thus we have learned that the transformations of curves extend to sequences of Darboux transforms of curves, that is, to semidiscrete 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 cyclefree semidiscrete isothermic surfaces.
An alternative approach to the transformations of semidiscrete isothermic surfaces is more directly based on a family of semidiscrete flat connections, similar to those of Definition and Corollary 2.5:
Definition and Theorem 3.8
This characterization of semidiscrete isothermic surfaces is an immediate consequence of Definition 3.1 in conjunction with Lemma 2.7. To obtain the Darboux and Calapso transformations only the flatness assertion is required, which already follows from the simpler statement of Lemma 2.6: then the following characterizations of the Darboux and Calapso transformations follow directly from their definitions and the corresponding characterizations Definition and Corollary 2.5 and Definition 3.4 for polarized curves, cf Lemma 3.5.
Theorem 3.9
 (i)the Darboux transforms \(\langle \hat{\xi }\rangle \) of \(\langle \xi \rangle \), with respect to a parameter \(\mu \), are given by \((\Gamma ^\mu ,\nabla ^\mu )\)parallel sections, that is, by solutions of Darboux’s linear system$$\begin{aligned} \forall (ij)\in E:\Gamma ^\mu _{ij}\hat{\xi }_j = \hat{\xi }_i \hbox { and }\forall i\in V:\nabla ^\mu _i\hat{\xi }_i = 0; \end{aligned}$$
 (ii)the Calapso transforms \(\langle \xi ^t\rangle \) of \(\langle \xi \rangle \) are given as images of \(\langle \xi \rangle \) under trivializing gauge transformations,$$\begin{aligned} \langle \xi ^t\rangle = \langle T^t\xi \rangle , \hbox { where }T^t\cdot (\Gamma ^t,\nabla ^t) = \left( \mathrm{id},{d\over ds}\right) \Leftrightarrow {\left\{ \begin{array}{ll} \forall (ij)\in E: T^t_i\circ \Gamma ^t_{ij} = T^t_j, \\ \forall i\in V: T^t_i\circ \nabla ^t_i = {d\over ds}\circ T^t_i. \end{array}\right. } \end{aligned}$$
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 \(\mu \) as functions of one parameter.
Notes
Acknowledgments
We would like to thank M Yasumoto for fruitful and enjoyable discussions around the subject. This work has been partially supported by the Austrian Science Fund (FWF) and the Japan Society for the Promotion of Science (JSPS) through the FWF/JSPS Joint Project Grant I1671N26 “Transformations and Singularities”.
References
 1.Bianchi, L.: Il teorema di permutabilità per le trasformazioni di Darboux delle superficie isoterme. Rend. Acc. Naz. Lincei. 13, 359–367 (1904)MATHGoogle Scholar
 2.Bobenko, A., Pinkall, U.: Discrete isothermic surfaces. J. Reine Angew. Math. 475, 187–208 (1996)MathSciNetMATHGoogle Scholar
 3.Bobenko, A., HertrichJeromin, U.: Orthogonal nets and Clifford algebras. Tôhoku Math. Publ. 20, 7–22 (2001)MathSciNetMATHGoogle Scholar
 4.Bobenko, A., Suris, Y.: On organizing principles of discrete differential geometry. Geometry of spheres. Russ. Math. Surv. 62, 1–43 (2007)MathSciNetCrossRefMATHGoogle Scholar
 5.Bobenko, A., Suris Y.: Discrete Differential Geometry. Integrable Structure. Graduate in Studies Mathematics, vol. 98. American Mathematical Society, Providence RI (2008)Google Scholar
 6.Bobenko, A., HertrichJeromin, U., Lukyanenko, I.: Discrete constant mean curvature nets in space forms: Steiner’s formula and Christoffel duality. Discrete Comput. Geom. 52, 612–629 (2014)MathSciNetCrossRefMATHGoogle Scholar
 7.Burstall, F.: Isothermic surfaces: conformal geometry, Clifford algebras and integrable systems. AMS Stud. Adv. Math. 36, 1–82 (2006)MathSciNetMATHGoogle Scholar
 8.Burstall, F., Santos, S.: Special isothermic surfaces of type \(d\). J. Lond. Math. Soc. 85, 571–591 (2012)MathSciNetCrossRefMATHGoogle Scholar
 9.Burstall, F., Donaldson, N., Pedit, F., Pinkall, U.: Isothermic submanifolds of symmetric \(R\)spaces. J. Reine Angew. Math. 660, 191–243 (2011)MathSciNetMATHGoogle Scholar
 10.Burstall, F., HertrichJeromin, U., Rossman W.: Discrete linear Weingarten surfaces. EPrint arXiv:math.DG/1406.1293 (2014)
 11.Burstall, F., HertrichJeromin, U., Rossman, W., Santos, S.: Discrete surfaces of constant mean curvature. RIMS Kokyuroku 1880, 133–179 (2014)MATHGoogle Scholar
 12.Burstall, F., HertrichJeromin, U., Rossman, W., Santos, S.: Discrete special isothermic surfaces. Geom. Dedicata 174, 1–11 (2015)MathSciNetCrossRefMATHGoogle Scholar
 13.Calini, A., Ivey, T.: Bäcklund transformations and knots of constant torsion. J. Knot Theory Ramif. 7, 719–746 (1998)MathSciNetCrossRefMATHGoogle Scholar
 14.Cieśliński, J.: The cross ratio and Clifford algebras. Adv. Appl. Clifford Algebras 7, 133–139 (1997)MathSciNetCrossRefMATHGoogle Scholar
 15.Darboux, G.: Sur les surfaces isothermiques. Ann. Sci. Éc. Norm. Sup. 16, 491–508 (1899)MathSciNetMATHGoogle Scholar
 16.HertrichJeromin, U.: Introduction to Möbius Differential Geometry. London Mathematical Society Lecture Notes Series, vol. 300. Cambridge Univ Press, Cambridge (2003)Google Scholar
 17.HertrichJeromin, U., Pedit, F.: Remarks on the Darboux transform of isothermic surfaces. Doc. Math. 2, 313–333 (1997)MathSciNetMATHGoogle Scholar
 18.Hoffmann T.: Discrete Differential Geometry of Curves and Surfaces. COE Lecture Notes 18, Kyushu Univ (2009)Google Scholar
 19.Müller, C., Wallner, J.: Semidiscrete isothermic surfaces. Res. Math. 63, 1395–1407 (2013)MathSciNetCrossRefMATHGoogle Scholar
 20.Müller, C.: Semidiscrete constant mean curvature surfaces. Math. Z. 279, 459–478 (2015)MathSciNetCrossRefMATHGoogle Scholar
 21.Pottmann, H., Schiftner, A., Bo, P., Wallner, J.: Freeform surfaces from single curved panels. ACM Trans. Graph. 27, 76 (2008)CrossRefGoogle Scholar
 22.Rossman, W., Yasumoto, M.: Weierstrass representation for semidiscrete minimal surfaces, and comparison of various discretized catenoids. J. Math. Ind. 4, 109–118 (2012)MathSciNetMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.