Abstract
We discuss the Guichard duality for conformally flat hypersurfaces in a Euclidean ambient space. This duality gives rise to a Goursat-type transformation for conformally flat hypersurfaces, which is generically essential. Using a suitable representation of the associated family of a conformally flat hypersurface in Euclidean space, its dual as well as conformal images of their canonical principal Guichard net(s) are recovered from the family. It is shown that the hypersurface and its dual can be reconstructed from a Ribaucour pair of Guichard nets.
Similar content being viewed by others
Notes
It appears to be likely that this duality should have been known to the classical geometers; however, we have thus far been unable to detect it in the classical literature.
As \(T\) is \(\mathrm{II}\)-symmetric and \(\mathrm{II}^*=\mathrm{II}\circ (\mathrm{id},T)\), the eigenspaces of \(T\) form a common “conjugate system” for \(f\) and \(f^*\): they are simultaneously \(\mathrm{II}\)-orthogonal and \(\mathrm{II}^*\)-orthogonal. Thus we obtain a generalization of the classical Combescure transformation, cf. Darboux (1868).
The first part (Burstall and Calderbank 2010) of this work is publicly available, the second part, containing an analysis of the Guichard dual is in preparation at the time of this writing.
Note that this yields two classes of Guichard surfaces, depending on the sign \(\varepsilon \): pseudospherical surfaces fall into the class given by \(\varepsilon =-1\) while surfaces of constant positive Gauss curvature fall into the one given by \(\varepsilon =+1\), cf. Calapso (1905).
If the rank of \({ A}\) drops we obtain only two non-trivial solutions, as \(({ S}-\kappa { A}+{1\over 2}\kappa ^2)^2\parallel { S}^2\) if and only if \(\kappa \) is a root of the (cubic) characteristic polynomial of \({ A}\) by (3.6).
This argument is spoiled, to some extent, by the fact that the Guichard dual is only defined up to translation; however, this deficiency of the computation does clearly not affect the claim.
Equivalently, \(\mathcal{S}^{m+1}\) can be thought of as \(\mathbb {R}^{m+1}\cup \{\infty \}\) equipped with its standard conformal structure.
Thus \(g\) and \(g^*\) provide conformal coordinates for \((M^3,\mathrm{I})\) and \((M^3,\mathrm{I}^*)\), respectively, via stereographic projection.
Two of the Lamé functions are, with the forms \(dx_i\), imaginary. In particular, \(l_1^2l_2^2l_3^2>0\).
References
Burstall, F., Calderbank, D.: Conformal submanifold geometry (complete); Manuscript (2007)
Burstall, F.: Conserved quantities in geometric integrable systems; Talk 20 Dec 2008, 16th Osaka City Univ. Int. Acad. Symp. 2008 “Riemann Surfaces, Harmonic Maps and Visualization”
Burstall, F., Calderbank, D.: Conformal submanifold geometry I-III; EPrint arXiv:1006.5700v1 (2010)
Calapso, P.: Alcune superficie di Guichard e le relative trasformazioni. Ann. Mat. Pura. Appl. 11, 201–251 (1905)
Cartan, E.: La déformation des hypersurfaces dans l’éspace conforme réel à \(n\ge 5\) dimensions. Bull. Soc. Math. France 45, 57–121 (1917)
Dajczer, M., Tojeiro, R.: Commuting Codazzi tensors and the Ribaucour transformation for submanifolds. Res. Math. 44, 258–278 (2003)
Darboux, G.: Sur les systèmes de surfaces orthogonales. C. R. 67, 1101–1103 (1868)
Dussan, M., Magid, M.: Conformally flat Lorentzian hypersurfaces in the conformal compactification of Lorentz space. J. Geom. Phys. 57, 2466–2482 (2007)
Espinar, J., Gálvez, J., Mira, P.: Hypersurfaces in \(H^{n+1}\) and conformally invariant equations: the generalized Christoffel and Nirenberg problems. J. Eur. Math. Soc. 11, 903–939 (2009)
Ferus, D., Pedit, F.: Curved flats in symmetric spaces. Manuscr. Math. 91, 445–454 (1996)
Guichard, C.: Sur les surfaces isothermiques. C. R. 130, 159–162 (1900)
Hertrich-Jeromin, U.: Introduction to Möbius Differential Geometry; London Math Soc Lect Note Ser 300. Cambridge Univ Press, Cambridge (2003)
Hertrich-Jeromin, U., Suyama, Y.: Conformally flat hypersurfaces with cyclic Guichard net. Int. J. Math. 18, 301–329 (2007)
Hertrich-Jeromin, U., Suyama, Y.: Conformally flat hypersurfaces with Bianchi-type Guichard net. Osaka. Math. J. 50, 1–30 (2013)
Izumiya, S.: Legendrian dualities and spacelike hypersurfaces in the light cone. Moscow Math. J. 9, 325–357 (2009)
Lafontaine, J.: Conformal geometry from the Riemannian viewpoint. Aspects Math. E 12, 65–92 (1988)
Liu, H., Jung, S.: Hypersurfaces in lightlike cone. J. Geom. Phys. 58, 913–922 (2008)
Liu, H., Umehara, M., Yamada, K.: The duality of conformally flat manifolds. Bull. Braz. Math. Soc. 42, 131–152 (2011)
McCune, C.: Rational minimal surfaces. Ph.D. thesis, University of Massachusetts (1999)
Opozda, B.: Parallel submanifolds. Res. Math. 56, 231–244 (2009)
Simon, U., Schwenk-Schellschmidt, A., Vrancken, L.: Codazzi-equivalent Riemannian metrics. Asian J. Math. 14, 291–302 (2010)
Suyama, Y.: Conformally flat hypersurfaces in Euclidean \(4\)-space. Nagoya Math. J. 158, 1–42 (2000)
Wang, C.-P.: Möbius geometry for hypersurfaces in \(S^4\). Nagoya Math. J. 139, 1–20 (1995)
Acknowledgments
We would like to thank F. Burstall, D. Calderbank, U. Simon for fruitful and enjoyable discussions around the subject.
This work has been partially supported by: Fukuoka University Graduate School of Science, Fellowship grant 2012; Japan Society for the Promotion of Science, Grant-in-Aid for Research (C) No. 21540102, Grant-in-Aid for Scientific Research (A) No. 22244006 and Grant-in-Aid for Scientific Research (B) No. 21340016.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hertrich-Jeromin, U., Suyama, Y., Umehara, M. et al. A duality for conformally flat hypersurfaces. Beitr Algebra Geom 56, 655–676 (2015). https://doi.org/10.1007/s13366-014-0225-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-014-0225-3
Keywords
- Conformally flat hypersurface
- Combescure transformation
- Guichard dual
- Goursat transformation
- Guichard net
- Ribaucour transformation