Hilbert's Theorem, via moving frames

2021/11/10 by William Dunbar, Dunbar, William D.
Computer Science · Mathematics · #53C45 (Primary) 53C42 (Secondary) #Computational Geometry and Mesh Generation #Differential Geometry (math.DG) #FOS: Mathematics #Geometric Analysis and Curvature Flows #Geometric and Algebraic Topology

paper · pdf · doi:10.48550/arxiv.2111.05462

openalex publication_date 2021/11/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We present a proof that the hyperbolic plane cannot be isometrically immersed in Euclidean 3-space by a C^∞ map. Ideas from many topics in (essentially) undergraduate mathematics are applied; the use of moving frames and connection forms to express the geometry simplifies the outline of the proof, compared to, say, using coordinate patches and Christoffel symbols. The key transition is from expressions in terms of the principal directions on the immersed surface (which give access to the Gaussian curvature) to expressions in terms of the asymptotic directions (which yield a coordinate system and give access to surface area).

Related

• Submanifolds of Constant Negative Curvature: A Generalization of Hilbert's Theorem
• Isometric Embedding for Surfaces: Classical Approaches and Integrability
• The Hyperbolic Geometry of the Sinh-Gordon Equation
• Fundamental theorem of hyperbolic geometry without the injectivity assumption
• Isometric Immersions of the Hyperbolic Plane into the Hyperbolic Space