Cross-Ratio Classification

• Cross-ratio classification is a method that uses invariant ratios of four or more points to distinguish and structure geometric, algebraic, and combinatorial configurations.
• Generalizations extend the classical cross-ratio to higher dimensions and noncommutative settings, enabling analysis in projective spaces, affine planes, and moduli spaces.
• Applications include boundary rigidity in CAT(0) cube complexes and algebraic classification via skew-field structures, providing key insights in modern geometric research.

Cross-ratio classification refers to a mathematical approach that structures, distinguishes, and classifies geometric, algebraic, or combinatorial configurations by means of cross-ratio invariants. The cross-ratio is a projective or Möbius invariant function of four (or more, in appropriate generalizations) points in various algebraic or geometric settings. The classification domains encompass classical projective geometry, moduli spaces of points, algebraic structures on affine planes, boundaries of nonpositively curved cube complexes, and noncommutative (e.g., quaternionic, hypercomplex) settings.

1. Classical and Generalized Cross-ratio Invariants

The cross-ratio of four distinct points $z_1, z_2, z_3, z_4$ in the complex projective line $\mathbb{CP}^1$ is defined as

$$(z_1, z_2; z_3, z_4) = \frac{(z_1 - z_3)(z_2 - z_4)}{(z_1 - z_4)(z_2 - z_3)}.$$

This entity is invariant under the full Möbius group $\mathrm{PGL}_2(\mathbb{C})$. The invariance characterizes the action: Möbius transformations are exactly those bijections that preserve the cross-ratio, and the group acts $3$-transitively but not $4$-transitively, meaning any triple of distinct points can be mapped arbitrarily, but quadruple data is rigid up to cross-ratio equivalence.

This classical notion extends to higher dimensions. In $\mathbb{CP}^N$, scalar and vector-valued generalizations of the cross-ratio are constructed using determinants of $N+1$ or $N+2$ homogeneous coordinates. For an ordered $(N+3)$-tuple of points, one defines a scalar invariant via

$$(u^1,\dots,u^{N+3}) = \frac{[u^1, u^3, u^5, \ldots, u^{N+3}][u^2, u^4, u^5, \ldots, u^{N+3}]}{[u^1, u^4, u^5, \ldots, u^{N+3}][u^2, u^3, u^5, \ldots, u^{N+3}]},$$

where $[\cdots]$ denotes the determinant of columns. Under a linear-fractional automorphism (projective transformation) $\phi(z) = \frac{A z + B}{\langle z, C\rangle + D}$, the generalized cross-ratio is invariant provided the independence conditions among points are satisfied. The action is sharply $(N+2)$-transitive, failing for $(N+3)$ points (Pilla, 2021).

2. Algebraic Structures: Cross-ratio Map Sets in Affine Planes

In the Desargues affine plane, the cross-ratio is defined for points $A,B,C,D$ on a distinguished line $\ell^{OI}$, where $(\ell^{OI},+, \cdot)$ forms a skew-field. Explicitly,

$$c_r(A, B; C, D) = [(A-D)^{-1}(B-D)] \cdot [(B-C)^{-1}(A-C)] \in \ell^{OI}.$$

There exist four canonical cross-ratio map sets $$\mathcal{R}_4^A, \mathcal{R}_4^B, \mathcal{R}_4^C, \mathcal{R}_4^D$$, each obtained by fixing three of the points and varying the fourth. Each map set inherits a skew-field structure from $\ell^{OI}$ via pointwise addition and multiplication, with additive and multiplicative identities and pointwise inversion defined by explicit formulas depending on the positions of the base points. The mapping properties and resulting algebraic structures provide a classification mechanism for equipping sets of cross-ratio values with skew-field operations, highlighting the algebraic flexibility beyond the usual field case (Zaka, 27 Mar 2025).

Map-set	Variable slot	Additive identity	Multiplicative identity	Inversion
$\mathcal{R}_4^A$	1st arg	$c_r(C,B;C,D) = O$	$c_r(B,B;C,D) = I$	$c_r(X,B;C,D)^{-1} = c_r(X,B;D,C)$
$\mathcal{R}_4^B$	2nd arg	$c_r(A,C;C,D) = O$	$c_r(A,A;C,D) = I$	$c_r(A,X;C,D)^{-1} = c_r(A,X;D,C)$
$\mathcal{R}_4^C$	3rd arg	$c_r(A,B;A,D) = O$	$c_r(A,B;D,D) = I$	$c_r(A,B;X,D)^{-1} = c_r(A,B;D,X)$
$\mathcal{R}_4^D$	4th arg	$c_r(A,B;C,B) = O$	$c_r(A,B;C,C) = I$	$c_r(A,B;C,X)^{-1} = c_r(A,B;X,C)$

Every $\mathcal{R}_4^*$ is a skew-field isomorphic to $\ell^{OI}$, demonstrating the correspondence between cross-ratio algebraic classification and projective lines over general skew-fields.

3. Cross-ratio Classification in Moduli and Combinatorics

In the moduli space $M_{0,[n]}$ of ordered $n$-point configurations on $\mathbb{P}^1$ up to projective equivalence, cross-ratio coordinates provide a natural atlas. The cross-ratio degree problem, for a collection of $n-3$ prescribed cross-ratios, asks for the number $d_{[n], U}$ of distinct configurations solving the corresponding equations. This degree depends on the combinatorics of cross-ratio data.

For triangulations $T$ of an $n$-gon, where each diagonal corresponds to a four-subset of labels associated to a cross-ratio, the main theorem asserts that

$d_T = 2^{I(T)},$

where $I(T)$ counts the internal triangles in $T$ (those having no exterior edges). Thus, dihedral coordinate systems on $M_{0,n}$ corresponding to triangulations with $I(T)=0$ are birational, while each internal triangle introduces a canonical $2$-fold ambiguity. This result underpins connections to the combinatorics of positive geometries, tropical moduli, and the topology of the real locus $M_{0,n}(\mathbb{R})$ (Silversmith, 2023).

4. Cross-ratio Rigidity and Boundary Classification in $\mathrm{CAT}(0)$ Cube Complexes

A distinct structural appearance of cross-ratio classification arises in the context of nonpositively curved (CAT(0)) cube complexes. The Roller boundary $\partial X$ of a CAT(0) cube complex $X$ can be equipped with a $\mathbb{Z}$-valued cross-ratio

$$cr(x, y, z, w) = \#\mathcal{W}(x, z | y, w) - \#\mathcal{W}(x, w | y, z),$$

where $\mathcal{W}(x, z | y, w)$ denotes the set of hyperplanes separating $\{x, z\}$ from $\{y, w\}$. A principal rigidity theorem states that any bijection $f: \partial X \to \partial Y$ preserving $cr$ between the boundaries of two such cube complexes extends uniquely to a cubical isomorphism $F: X \to Y$, assuming both have no extremal vertices and are not isometric to $\mathbb{R}$.

This boundary cross-ratio thus acts as a complete invariant for the classification of cube complexes up to isomorphism in a broad sense, including infinite-dimensional and locally infinite cases with trivial automorphism groups. The structure further connects to horofunction boundary theory and rigidity of group actions on cube complexes (Beyrer et al., 2018).

5. Projective Cross-ratio in Hypercomplex and Quaternionic Settings

The cross-ratio admits projective generalizations over hypercomplex and quaternionic number systems. On the projective line $\mathbb{P}^1(\mathbb{A})$ over a commutative real two-dimensional algebra $\mathbb{A}$, the projective cross-ratio is constructed from homogeneous coordinates and retains invariance under all Möbius transformations $M(z)=\frac{az+b}{cz+d}$ with $ad-bc\in\mathbb{A}^\times$. This construction unifies the classical geometries of circles, parabolas, and hyperbolas, and yields Möbius-invariant metrics (e.g., the hyperbolic metric in the upper half-plane for $\mathbb{A} = \mathbb{C}$) (Brewer, 2012).

For the quaternionic division algebra $H$, the quaternionic cross-ratio takes the form

$$[q_1, q_2, q_3, q_4] = (q_1 - q_3)^{-1}(q_1 - q_4)(q_2 - q_4)^{-1}(q_2 - q_3),$$

invariant under conjugation by nonzero quaternions induced by fractional linear transformations (FLTs). The classification of quadruples up to the action of $\mathrm{GL}(2, H)$ reduces to matching the conjugacy class (modulus and real part) of their cross-ratio values. Classification extends to five points at which uniqueness of FLTs (modulo automorphisms) is restored. Geometric consequences include criteria for four quaternions to lie on a circle or line ($[q_1, q_2, q_3, q_4] \in \mathbb{R}$), and for five points to lie on a 2-sphere or plane (commuting cross-ratios) (Gwynne et al., 2011).

6. Applications, Rigidity, and Connections

Cross-ratio classification serves as a foundational mechanism across several domains:

• Boundary Rigidity: In group theory and geometric group actions, cross-ratio invariants are central to boundary map rigidity and have implications for superrigidity and length-spectrum rigidity phenomena (Beyrer et al., 2018).
• Classification of Geometric Objects: In projective and Möbius geometry, cross-ratio invariants distinguish equivalence classes of point configurations and relate to the moduli of conics, ellipsoids, and more general submanifolds (Brewer, 2012, Pilla, 2021).
• Positive Geometry and Scattering: In positive moduli and string theory, classification by cross-ratio degrees, particularly via dihedral coordinates indexed by triangulations, underpins the structure of Parke–Taylor forms and tropicalizations of scattering equations (Silversmith, 2023).
• Algebraic Innovation: The extension to skew-fields, hypercomplex numbers, and noncommutative settings, as well as the definition of algebraic operations on cross-ratio value sets (as in affine planes), broadens the scope of classification and leads to new families of algebraic invariants (Zaka, 27 Mar 2025, Gwynne et al., 2011).

7. Summary Table: Key Contexts of Cross-ratio Classification

Context	Cross-ratio Definition	Classification Role
Complex projective line/P¹	$(z_1, z_2; z_3, z_4)$	Determines configuration up to Möbius transformation
Moduli $M_{0,[n]}$, triangulations	System of $n-3$ cross-ratios	Fiber degree $2^{I(T)}$ classifies solution structure
$\mathrm{CAT}(0)$ cube complexes	Integer-valued boundary cross-ratio	Bijections preserving cross-ratio $\iff$ cubical isom.
Affine plane/skew-field	$c_r(A, B; C, D)$	Induced algebraic skew-field structures in map-sets
Hypercomplex/quaternionic	Homogeneous/projective constructions	Orbits under generalized Möbius action, geometric loci

The cross-ratio—both in classical and generalized forms—thus functions as a universal invariant in the classification of geometric, algebraic, and combinatorial structures, expressing deep projective, combinatorial, and rigidity-theoretic properties across a spectrum of mathematical contexts.