Klein Geometries Overview

• Klein geometries are defined by a Lie group acting transitively on a manifold, forming the homogeneous space G/H as the basis of the Erlangen Program.
• They unify classical geometries—such as Euclidean, affine, and hyperbolic—by characterizing geometric properties as invariants under group actions.
• Extensions include higher order models, non-associative settings using gyrogroups, and algebraic frameworks with Clifford algebras that broaden their applications.

Klein geometries are mathematical structures central to the Erlangen Program, which recasts geometry as the study of properties invariant under a transitive group action. Formally, a Klein geometry consists of a pair (G, H), where G is a Lie group acting transitively on a smooth manifold X, and H ⊂ G is the stabilizer subgroup for a distinguished point, yielding the identification X ≅ G/H. This approach unifies the classification of classical, non-Euclidean, and generalized geometries, including those of higher order, Cayley–Klein type, and even nonassociative settings such as normed gyrogroups (0807.3161, A'Campo et al., 2014, Fillastre et al., 2016, Suksumran, 2021, Ortaçgil, 2022).

1. Foundational Definition and Erlangen Program

A Klein geometry is defined by a smooth transitive G-action on a manifold X, with H the stabilizer of a base point x₀ ∈ X, so X = G/H as a homogeneous space (0807.3161, Vogelaere, 2019). The Erlangen Program, as conceived by Felix Klein, asserts that geometric notions—lines, congruence, distances, curvature—should be characterized as G-invariants on G/H, and classifies geometries by their pair (G, H). A function, tensor, or structure is G-invariant if it is preserved under all g ∈ G.

The paradigm includes many structures:

• Projective geometry: G = PGL(n+1, ℝ), H = point stabilizer.
• Affine geometry: G = GL(n, ℝ) ⋉ ℝⁿ, H = GL(n, ℝ).
• Euclidean geometry: G = O(n) ⋉ ℝⁿ, H = O(n).
• Hyperbolic geometry: G = O(n,1), H = O(n).
• Spherical geometry: G = O(n+1), H = O(n).
• Conformal geometry: G = O(n+1,1), H = parabolic ("light-cone") stabilizer.

All these classical geometries are realized as G-invariant structures or quotients G/H, with geometric incidence, metric, or conformal properties emerging as invariants of the G-action (0807.3161, A'Campo et al., 2014, Vogelaere, 2019).

2. Projective, Constant-Curvature, and Cayley–Klein Geometries

Klein showed that elliptic, hyperbolic, and Euclidean geometries arise via projective geometry by selecting an "absolute" quadric (a nondegenerate conic in projective space) and defining distances/angles via projective cross-ratio (A'Campo et al., 2014, Fillastre et al., 2016, Herranz et al., 2018). The group of projective transformations preserving the quadric is the geometry's isometry group.

Key structures:

Geometry	Quadratic Form Ω	Group G	Space X = G/H	Curvature
Spherical	x₀² + ⋯ + xₙ²	O(n+1)	Sⁿ/±1	+1
Hyperbolic	–x₀² + x₁² + ⋯ + xₙ²	O(n,1)	Hⁿ	–1
Euclidean	degenerate, x₁²+…+xₙ²	O(n)⋉ℝⁿ	ℝⁿ	0

The Cayley–Klein formalism generalizes this to a multi-parameter family of geometries, each corresponding to a choice of signature for the quadratic form or contraction parameters (κ₁, κ₂), admitting geometries such as Galilean, Minkowskian, and "co-" (dual) spaces (Herranz et al., 2018, Fillastre et al., 2016).

The metric structure is inherited from the form Ω: for points x, y on the quadric,

• Spherical: $d(x,y) = \arccos \langle x, y \rangle$
• Hyperbolic: $$d(x,y) = \operatorname{arccosh}(-\langle x, y \rangle)$$
• Euclidean: $d(x, y) = \|X-Y\|$ under affine chart

The group G always acts transitively on X, with H the stabilizer subgroup, so X ≅ G/H (A'Campo et al., 2014, Fillastre et al., 2016).

3. Klein Geometries of High Order

While classical Klein geometries (Euclidean, affine, projective, conformal) have finite jet orders (1 or 2), Klein geometries of arbitrarily high order arise via semidirect products using irreducible representations of semisimple Lie algebras (Ortaçgil, 2022). Formally, for a pair (𝔤, 𝔥),

• A filtration (Weissfeiler chain) of 𝔤 by 𝔥 computes the minimal order m so that 𝔥_{m+1} = 0, defining ord(𝔤, 𝔥) = m+1.
• By constructing the semidirect sum 𝔥 = 𝔤 ⊕ V with V an irreducible 𝔤-module of jet-length k, the associated Klein geometry (G ⋉ V, H) has order k+1.
• This induces homogeneous spaces modeling "flat" Cartan geometries of higher order, opening a new landscape for geometric and representation-theoretic investigations.

Examples include symmetric powers of the defining $\mathfrak{sl}(n+1)$ representation and the construction of invariants and BGG-type complexes associated to the jet-order structure (Ortaçgil, 2022).

4. Klein Geometries in Non-Associative and Exotic Settings

Gyrogroups provide a non-associative generalization of groups supporting Klein geometry structure (Suksumran, 2021). In this context:

• A gyrogroup (G, ⊕) satisfies identity, two-sided inverses, a left-gyroassociative law parameterized by a gyroautomorphism gyr[a,b], and left-loop property.
• The motion group Γₘ = {Lₐ ∘ γ : a ∈ G, γ ∈ GYR(G)} acts on G, realizing (G, Γₘ) as a Klein geometry.
• In normed gyrogroups, a gyronorm yields a metric invariant under Γₘ, and families of open balls (of fixed radius) are minimally invariant under the motion group.
• n-transitivity in gyrogroups is generally limited: in models such as the Möbius or Einstein gyrogroup, (G, Γₘ) is only 1-transitive if G has nontrivial gyrations.

This illustrates the extension of the Erlangen Program and Klein geometries to structures beyond associative group-based settings (Suksumran, 2021).

5. Convexity, Duality, and Geometric Transitions

Convexity and duality are central in Klein geometries modeled in projective space (Fillastre et al., 2016). For a projective domain defined by a quadric Q of signature (p, q), convex cones in the ambient space induce dualities:

• The polar dual, under the bilinear form b, sends convex sets to sets of supporting hyperplanes.
• In Euclidean models, duality exchanges points and affine hyperplanes, while in Minkowski and de Sitter/anti–de Sitter geometries, duality relates convex bodies in space and their duals in co-geometry (half-pipe spaces).
• Geometric transitions (degeneration via limiting the quadric's parameters) yield "co-" geometries as limits—e.g., Euclidean geometry as a limit of hyperbolic or elliptic, and half-pipe geometry appearing as a transition between hyperbolic and AdS geometries.

Geodesics, distances, and isometry groups in degenerate limits converge to those of the limiting (co-) models, demonstrating unification and continuity across diverse geometric types (Fillastre et al., 2016).

6. Algebraic and Clifford Models

Clifford algebra models provide a unifying algebraic setting for Klein and Cayley–Klein geometries (Klawitter et al., 2013, Klawitter, 2013). Here,

• Points and geometric entities are modeled as null-vectors or blades in a suitable Clifford algebra Cl(p+1, q+1, r).
• The even subalgebra Cl⁺ carries the Spin-group, double-covering the isometry group of the Klein geometry.
• The Pin group acts via the sandwich operator, encoding projective transformations, and absolute figures (quadric or hyperplane) characterize geometry type (elliptic, Euclidean, hyperbolic).
• This model unifies various kinematic mappings (e.g., Study's map for SE(3)), algorithmically lifts matrices to versors, and provides direct computational access to geometric invariants (Klawitter et al., 2013, Klawitter, 2013).

7. Extensions: Finite, Quaternionic, and Field-wise Generalizations

Klein geometries extend naturally to settings over arbitrary fields, including finite fields and division algebras (Vogelaere, 2019, Juhász, 2016). In this context:

• The projective and affine planes are defined by their incidence axioms and coordinatized by (possibly noncommutative) rings or fields.
• Finite geometries are realized as quotients G/H for suitable G (e.g., PGL(n+1, F_q)), and classical concepts such as cross-ratio, orthogonality, and trigonometric identities have modular analogues.
• Quaternionic Klein geometries arise by considering projective spaces over division rings, leading to non-Desarguesian and Moufang planes.
• The universal linear-algebraic conformal model encodes all real, complex, and finite field Cayley–Klein geometries as Klein geometries, clarifying signature, duality, and incidence properties in an algebraic, field-independent framework (Juhász, 2016).

• (0807.3161) "A comparative review of recent researches in geometry"
• (A'Campo et al., 2014) "On Klein's So-called Non-Euclidean geometry"
• (Fillastre et al., 2016) "Spherical, hyperbolic and other projective geometries: convexity, duality, transitions"
• (Herranz et al., 2018) "Cayley-Klein Poisson homogeneous spaces"
• (Vogelaere, 2019) "Finite Euclidean and Non-Euclidean Geometries"
• (Suksumran, 2021) "Geometry of gyrogroups via Klein's approach"
• (Ortaçgil, 2022) "Klein geometries of high order"
• (Klawitter et al., 2013) "Kinematic Mappings for Cayley-Klein Geometries via Clifford Algebras"
• (Klawitter, 2013) "A Clifford algebraic Approach to Line Geometry"
• (Juhász, 2016) "A universal linear algebraic model for conformal geometries"

These works collectively explicate the full breadth of Klein geometries, from their abstract group-theoretic origin to concrete algebraic and geometric models spanning real, complex, finite, and nonassociative settings.