Laguerre geometry of hypersurfaces in ℝ^n
Tongzhu Li,Changping Wang
DOI: https://doi.org/10.1007/s00229-006-0058-y
2006-01-01
manuscripta mathematica
Abstract:Laguerre geometry of surfaces in ℝ^3 is given in the book of Blaschke [Vorlesungen ü ber Differentialgeometrie, Springer, Berlin Heidelberg New York (1929)], and has been studied by Musso and Nicolodi [Trans. Am. Math. soc. 348 , 4321–4337 (1996); Abh. Math. Sem. Univ. Hamburg 69 , 123–138 (1999); Int. J. Math. 11 (7), 911–924 (2000)], Palmer [Remarks on a variation problem in Laguerre geometry. Rendiconti di Mathematica, Serie VII, Roma, vol. 19, pp. 281–293 (1999)] and other authors. In this paper we study Laguerre differential geometry of hypersurfaces in ℝ^n . For any umbilical free hypersurface x: M →ℝ^n with non-zero principal curvatures we define a Laguerre invariant metric g on M and a Laguerre invariant self-adjoint operator 𝕊 : TM → TM, and show that {g, 𝕊} is a complete Laguerre invariant system for hypersurfaces in ℝ^n with n ≥ 4. We calculate the Euler–Lagrange equation for the Laguerre volume functional of Laguerre metric by using Laguerre invariants. Using the Euclidean space ℝ^n , the semi-Euclidean space ℝ^n_1 and the degenerate space ℝ^n_0 we define three Laguerre space forms Uℝ^n , Uℝ^n_1 and Uℝ^n_0 and define the Laguerre embeddings Uℝ^n_1→ U ℝ^n and Uℝ^n_0→ U ℝ^n , analogously to what happens in the Moebius geometry where we have Moebius space forms S n , ℍ^n and ℝ^n (spaces of constant curvature) and conformal embeddings ℍ^n → S^n and ℝ^n → S^n [cf. Liu et al. in Tohoku Math. J. 53 , 553–569 (2001) and Wang in Manuscr. Math. 96 , 517–534 (1998)]. Using these Laguerre embeddings we can unify the Laguerre geometry of hypersurfaces in ℝ^n , ℝ^n_1 and ℝ^n_0 . As an example we show that minimal surfaces in ℝ^3_1 or ℝ_0^3 are Laguerre minimal in ℝ^3 .