Cayley–Klein Geometries Framework

• Cayley–Klein geometries are a universal framework that encodes all homogeneous metric spaces using projective constructions and symmetric bilinear forms.
• They systematically unify classical geometries—including Euclidean, hyperbolic, and Minkowskian—by classifying spaces via curvature, signature, and contraction parameters.
• Applications span kinematics, integrable systems, and quantum deformations, providing a coherent basis for both mathematical theory and physical models.

Cayley–Klein geometries form a universal framework for encoding all homogeneous metric geometries, including classical Euclidean, spherical, hyperbolic, Minkowskian, de Sitter, anti–de Sitter, Galilean, Newtonian, and their various dual and degenerate analogues. They are realized in projective space by equipping an underlying real or complex projective space with a distinguished "absolute" quadric or a hierarchy of such quadrics, defined via a symmetric bilinear form or sequence thereof, whose signature, degeneracy, and contraction allow a complete categorical unification of Riemannian, Lorentzian, semi-Riemannian, and pseudo-Riemannian spaces. The Cayley–Klein paradigm, initiated in the context of Klein’s Erlangen Program, provides a systematic mechanism for generating metric structures, kinematics, integrable systems, and even noncommutative geometric deformations, via projective, algebraic, and Clifford algebraic models.

1. Linear Algebraic and Projective Models

The most general construction proceeds by choosing a vector space $V$ of dimension $n+1$ (or higher to enable conformal and Lie sphere models), equipped with a symmetric bilinear form $β: V \times V \to \mathbb{K}$ of signature $(p,q)$, with $\mathbb{K}$ an arbitrary field of characteristic not 2 (Juhász, 2016). The projectivization $P(V)$ (or $\mathbb{P}^n(\mathbb{R})$, $\mathbb{P}^n(\mathbb{C})$) is endowed with the absolute quadric

$Q_\beta = \{[v] \in P(V) \mid β(v,v) = 0\},$

whose isotropic locus (and its nested degeneracy structure) determines the "absolute figure." The Cayley–Klein metric, notions of angle, distance, and incidence are recovered from the algebraic structure of this quadric and its action under the automorphism group $O(β)$ (Evers, 2023, Heidari et al., 2022).

The classification is controlled by the inertia of β; e.g., for real classical Cayley–Klein geometries in the plane, signatures yield the 9-fold classification: elliptic, hyperbolic, Euclidean, Minkowski, de Sitter, anti–de Sitter, Galilean, co–Minkowskian, and Laguerre (dual parabolic) spaces (Juhász, 2016, Herranz et al., 2018).

Key projective distance and angle formulas are: $$\text{Distance:} \quad d(P, Q) = \begin{cases} \arccos\frac{β(p,q)}{\sqrt{β(p,p)\,β(q,q)}} & \text{(elliptic)}, \ \operatorname{arccosh}\frac{β(p,q)}{\sqrt{β(p,p)\,β(q,q)}} & \text{(hyperbolic)}, \ \sqrt{-2\,β(p,q)} & \text{(parabolic)}, \end{cases}$$

$$\cos(\angle(\ell_1, \ell_2)) = \frac{β(\ell_1, \ell_2)}{\sqrt{β(\ell_1, \ell_1)\,β(\ell_2, \ell_2)}} [1603.06863, 1609.07082].$$

Distances between general subspaces (k-planes) are given in terms of Gram determinant quotients, unifying all classical regimes, and bypassing the need for case distinctions (Evers, 2023).

2. Lie, Laguerre, and Clifford Algebraic Frameworks

A crucial advancement is the extension to Clifford algebras $Cl(V, β)$ of signature matching the ambient form (Klawitter, 2013, Klawitter et al., 2013, Sokolov, 2014). The Pin and Spin groups therein double-cover the projective isometry groups, and all metric automorphisms, including reflections and rotations (boosts), are realized via the sandwich action on algebra elements.

Lie and Laguerre sphere geometries arise as Cayley–Klein spaces in higher-dimensional projective ambient spaces (e.g., the Lie quadric of signature (n+1,2)). These frameworks handle all oriented spheres, hyperplanes, points, and their contact structures (Klawitter, 2013, Bobenko et al., 2020). Cayley–Klein geometry is thus not confined to points and lines but subsumes the geometries of cycles, circles, and spheres, as well as incidence structures for lines or higher-dimensional subspaces (see Klein's quadric for line geometry in $P^5$ (Klawitter, 2013)).

Kinematic mappings (e.g., Study's quadric in $P^7$ for SE(3) or the Blaschke–Grünwald mapping in $P^3$ for SE(2)) are realized as slices of these Clifford–projective models, and the full class of homogeneous spaces is recovered via contraction and signature change (Klawitter et al., 2013).

3. Classification via Graded Contractions and Homogeneous Spaces

Cayley–Klein geometries are generated systematically by contraction (rescaling) of orthogonal Lie algebras. For instance, in two or three dimensions, all commutator structures of so(3) or so(4) can be parametrized by the contraction parameters $\kappa_i\in\{+1,0,-1\}$ (curvature/signature/deformation), spanning the full 3x3 (or 3x3x3 for higher-dimensions) array of spaces (Herranz et al., 2018, Gutierrez-Sagredo et al., 2021):

$(\kappa_1, \kappa_2)$	Curv.	Signature	CK Geometry
(+1, +1)	+1	(++ )	Spherical
(0, +1)	0	(++ )	Euclidean
(−1, +1)	−1	(++ )	Hyperbolic
(+1, 0)	+1	(+0)	Co-Euclidean
(0, 0)	0	(+0)	Galilean
(−1, 0)	−1	(+0)	Co-Minkowski
(+1, −1)	+1	(+−)	Anti–de Sitter
(0, −1)	0	(+−)	Minkowski
(−1, −1)	−1	(+−)	de Sitter

The motion groups corresponding to these geometries (isometry groups) are the Lie groups associated to these (contracted) Lie algebras. Each CK geometry supports a collection of symmetric spaces: space of points, lines, planes, and, crucially, all can be interpreted as coset spaces $G/H$ where G is the motion group and H the stabilizer of a geometric entity (point, line, etc.) (Gutierrez-Sagredo et al., 2021).

4. Dualities, Contractions and Physical Interpretation

"Polarity" duality $D$ acts by inverting the order of contraction parameters, swapping the roles of point-spaces and hyperplane-spaces, lines and 2-planes, etc. Inönü–Wigner contractions ($\kappa_i \to 0$) flatten the corresponding homogeneous spaces, yielding geometric degenerations: e.g., the Galilean or Carrollian limits (Gutierrez-Sagredo et al., 2021). This systematic contraction process recovers kinematics relevant to relativity, Newtonian mechanics, and other physical theories (Herranz et al., 2018).

The contraction parameters admit immediate physical interpretation in kinematical settings: $$(\kappa_1, \kappa_2, \dots) = (-\Lambda, -1/c^2, \dots)$$ with $\Lambda$ the cosmological constant/space curvature, and $c$ the speed of light. This parametrization provides a unified family incorporating de Sitter, Poincaré (Minkowski), Newton–Hooke, Galilei, and Carroll spacetimes (Gutierrez-Sagredo et al., 2021).

5. Metric Geometry, Invariants, and Reflections

Distances and angles between anisotropic projective subspaces are recovered algebraically from Gram determinant quotients, as shown by Evers (Evers, 2023): $$\zeta(U, V) = \frac{(\det β(u_i, v_j))^2}{\det β(u_i, u_j) \cdot \det β(v_i, v_j)}$$ with the distance function governed by $d(U, V) = \arccosh\sqrt{\zeta(U, V)}$ (hyperbolic), $d = \arccos\sqrt{\zeta}$ (elliptic), or via infinitesimal analysis in the parabolic/EU limit. This unifies all classical cases.

Reflections, encoded as projective involutions associated to pairs of mutually total polar subspaces, generate the full isometry group (“motion” group) of a CK space. Any projective automorphism preserving the absolute can be decomposed as a product of at most $n+1$ such reflections (Heidari et al., 2022, Klawitter, 2013). Cartan–Dieudonné and Clifford algebraic theorems apply universally to all dimensions and signatures.

6. Geometric Theorems and Applications: Discrete Geometry, Integrability, and Incidence Theories

The Cayley–Klein projective paradigm extends classical metric and incidence theorems to all spaces in the family. For example, the Newton line for tetragons, Gauss's conic, and Bocher’s nine-point curve are valid in all (regular) CK planes, with the Staudtian determinant generalizing area, and harmonic conjugation and polarity replacing classical midpoints and perpendicularity (Evers, 2024).

Further, CK geometry underpins discrete integrable systems such as the CKP equation, connects to the geometry of circle complexes, Laguerre and Möbius geometry, and underlies the integrability of circle and line pattern theories (Bobenko et al., 2015, Bobenko et al., 2020). Discrete geometric theorems such as Miquel's and Clifford's become consistency conditions for real cross-ratios in these settings.

In isotropic and degenerate metrics (simply isotropic, pseudo-isotropic), analogous frames, osculating spheres, and integrable structures persist, adapted to the degenerate form of the ambient absolute (Silva, 2017).

7. Quantum and Noncommutative Deformations

Poisson–Lie structures and quantum group deformations have been systematically classified on CK homogeneous spaces, resulting in noncommutative analogues ("CK quantum spaces") for points, lines, planes, and hyperplanes (Gutierrez-Sagredo et al., 2021). Brackets and r-matrices corresponding to Drinfel’d doubles deform the coordinate algebras, leading to families of $\kappa$-Minkowski-type spacetimes and their higher-dimensional generalizations. Group contraction again determines the nature of the noncommutative geometry, encoding quantum symmetries of kinematical algebras.

• (Juhász, 2016) M. Juhász, "A universal linear algebraic model for conformal geometries".
• (Evers, 2023) M. Evers, "Geometry on real projective Cayley-Klein spaces".
• (Herranz et al., 2018) A. Ballesteros, F.J. Herranz, "Cayley-Klein Poisson homogeneous spaces".
• (Gutierrez-Sagredo et al., 2021) A. Ballesteros et al., "Cayley-Klein Lie bialgebras: Noncommutative spaces, Drinfel'd doubles and kinematical applications".
• (Klawitter, 2013) R. Klawitter, "A Clifford algebraic Approach to Line Geometry".
• (Heidari et al., 2022) H. Heidari, Z. Honari, "Polar Varieties in Cayley-Klein Spaces".
• (Bobenko et al., 2015) B. Grünbaum, et al., "Circle complexes and the discrete CKP equation".
• (Evers, 2024) D. Plestenjak, "Quadri-Figures in Cayley-Klein Planes: All Around the Newton Line".
• (Sokolov, 2014) D. Sokolov, "A key to the projective model of homogeneous metric spaces".
• (Klawitter et al., 2013) H. Pottmann, et al., "Kinematic Mappings for Cayley-Klein Geometries via Clifford Algebras".
• (Bobenko et al., 2020) A.I. Bobenko, "Non-Euclidean Laguerre geometry and incircular nets".
• (Nielsen et al., 2016) R. Nielsen, et al., "Large Margin Nearest Neighbor Classification using Curved Mahalanobis Distances".
• (Gromov et al., 2015) A. Ballesteros, et al., "Integrable potentials on Cayley-Klein spaces from quantum groups".
• (Silva, 2017) L. da Silva, "Rotation minimizing frames and spherical curves in simply isotropic and pseudo-isotropic 3-spaces".