Transformation Groups and Erlangen Program - Key Proof
ProofProof that Isometry Groups Determine Constant Curvature Geometries
Theorem: A Riemannian manifold with transitive isometry group has constant curvature.
Proof Sketch:
Step 1: Transitivity means for any points , there exists an isometry with . This makes the geometry homogeneous.
Step 2: If the isometry group also acts transitively on unit tangent vectors at each point (isotropy), the curvature must be constant—no direction is distinguished.
Step 3: For constant curvature , the isometry group is maximal: dimension (rigid motions plus rotations). These groups are (), (), ().
Conclusion: Homogeneity and isotropy force constant curvature, and different curvature signs give the three classical geometries. ∎
■