2024/04/15 by Hugo C. Botós, Botós, Hugo C., Carlos H. Grossi +1 · 1 citation
Mathematics · Physics and Astronomy · #51M10 (Primary) 53A20 #53A35 (Secondary) #Advanced Differential Geometry Research #Differential Geometry (math.DG) #FOS: Mathematics #Geometric Analysis and Curvature Flows #Geometric and Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2404.09859
openalex publication_date 2024/04/15 · openalex created_date 2024/04/17 · openalex updated_date 2026/07/28
The non-trivial complete totally geodesic submanifolds of the complex hyperbolic plane \mathbb H\mathbb C2 are the complex geodesics and the real planes. We present two new proofs for this fact. One is a short proof based on an algebraic formula for the Riemann curvature tensor due to S. Anan'in and C. Grossi and resembles the traditional proof using Lie theory. The other is purely elementary and geometric, relying on the structures in \mathbb H\mathbb C2 instead of general theories. In this second approach, we prove a slightly stronger result: the only non-trivial complete totally geodesic subsets of \mathbb H\mathbb C2 are the complex geodesics and the real planes without assuming that the subsets are submanifolds a priori. This second proof is also intriguing for only making use of elementary geometric constructions.