Exceptional Lie Incidence Geometries

• Exceptional Lie incidence geometries are point-line systems defined by synthetic, algebraic, and combinatorial properties that model the exceptional Lie groups through spherical buildings.
• They employ explicit constructions over the octonions, including Tits’s hyperbolic plane and G₂ models via the Fano plane, to realize parapolar and metasymplectic spaces.
• Their automorphism groups, coinciding with Chevalley or Tits groups, ensure full flag-transitivity and provide deep insights into algebraic invariants and representation theory.

Exceptional Lie incidence geometries are highly structured point-line or generalized incidence geometries distinguished by their intimate relationship with the spherical buildings and algebraic groups of exceptional Lie type—specifically G₂, F₄, E₆, E₇, and E₈. These geometries are characterized by deep combinatorial, group-theoretic, and algebraic properties, notably the realization of parapolar or metasymplectic spaces, synthetic incidence relations (such as those based on polarities or opposition), connections to projective models constructed from division algebras (most crucially the octonions), and their embodiment as shadow geometries of buildings. Their automorphism groups are precisely the Chevalley or Tits groups of the corresponding exceptional types, and their point-line structures encode the rich algebraic invariants and torsor structures fundamental to exceptional phenomena in Lie theory, algebraic geometry, and combinatorics (Schepper et al., 2020, Valette, 2022, Busch et al., 1 Feb 2026).

1. Synthetic and Incidence Structure of Exceptional Lie Geometries

Exceptional Lie incidence geometries are constructed as point-line geometries wherein points and lines are derived from the combinatorial structure of spherical buildings of exceptional Coxeter type. The paradigmatic construction assigns to each chosen node $i$ of the Dynkin diagram a geometry whose points are the $i$-type vertices, and whose lines are the sets of $i$-vertices incident with each cotype-$i$ panel (i.e., a maximal simplex missing the $i$-vertex) (Busch et al., 1 Feb 2026).

For types E₆, E₇, E₈, these constructions yield strong parapolar spaces with symplecta corresponding to residues on adjacent nodes—examples include:

• E₆,₁: Points are type-1 maximal parabolics, lines are flags of type $\{1,2\}$, with symplecta C₄-type polar spaces.
• E₈,₈: Points are type-8 parabolics, with symplecta C₆-type polar spaces.
• F₄: For node 1, the metasymplectic geometry (often the “octonionic plane” or “Moufang plane”), with symplecta of type B₃ or duals.

In $G_2$ geometry, the points may be abstractly interpreted as lines in the Fano plane or as projectivizations of null vectors in split octonion space (Traubenberg et al., 2022, Baez et al., 2012).

A common synthetic axiom system is inherited: every two points determine a unique line, every two lines meet in a unique point, and the presence of a polarity or opposition (i.e., involutive, incidence-reversing bijection or maximal-distance relation), which brings further rigidity and classifiability to these structures.

2. Key Examples: Octonionic and Building-Based Geometries

The most distinguished coordinate models among exceptional Lie incidence geometries arise over the octonions (Cayley numbers):

• Tits's Hyperbolic Plane $H^2(Cay)$: Defined as the interior (in Klein model) of the projective plane $P^2(Cay)$ equipped with a hyperbolic polarity Π, with $Aut\,H^2(Cay)\cong F_{4(-20)}$. Points are $(x, y) \in Cay^2$ with $|x|^2 + |y|^2 < 1$; lines are traces of projective lines that meet the interior. The Klein-ball interior under the octonionic metric defines a rank-one symmetric space with F₄ symmetry. The construction crucially depends on alternativity—the octonions are not associative, but each two-element subalgebra is associative, enabling well-defined geometric and group actions (Valette, 2022).

Other models include parapolar spaces realized as Grassmannians or polar spaces in the finite case, and the incidence geometry of the Fano plane as the building block for $G_2$ geometries, with points and lines derived from $𝔽_2$-projective geometry and encoded in the structure of octonion multiplication (Traubenberg et al., 2022).

3. Geometric Lines, Blocking Sets, and Opposition

A fundamental notion is that of "geometric lines," defined via the opposition relation in the ambient building (Busch et al., 1 Feb 2026). For exceptional Lie geometries, geometric lines are typically minimal blocking sets: subsets of points of the same cardinality as a line that admit no object opposite to all their members. A geometric line $L$ is characterized such that no simplex of the building is opposite to exactly one point of $L$.

Classification theorems (Theorems A and B in (Busch et al., 1 Feb 2026)) establish that, except for specific subcases (hyperbolic lines in $F_4$ and $G_2$), every minimal blocking set of the panel-size is an ordinary line. Geometric lines correspond precisely, almost always, to the lines in the point-line geometry, corroborating their intrinsic identification via the incidence-combinatorics of the underlying building. The blocking set property underscores the rigidity: lines are precisely the minimal sets blocking the opposition relation.

4. Parapolarity, Lacunarity, and Classification

The unifying framework for exceptional Lie incidence geometries is that of parapolar spaces (Schepper et al., 2020), point-line geometries where lines are always contained in symplecta (i.e., large polar spaces), and the intersection of symplecta satisfies a lacunarity condition: for $k$-lacunary spaces, symplecta never meet in a $k$-dimensional singular subspace.

This property is essential for classifying exceptional types:

Type	Canonical Geometry	Node (Bourbaki)	Symplectic Rank	Diameter	Strongness
F₄	Metasymplectic space F₄,₁	1	3	3	Non-strong
E₆	Adjoint (E₆,₁), long-root (E₆,₂)	1,2	4,3	2,3	Strong/non-str.
E₇	Adjoint (E₇,₁), half-spin (E₇,₇)	1,7	5,4	2,3	Strong/non-str.
E₈	Half-spin (E₈,₈), adjoint quot.	8,1	6,7	3,5	Non-strong

These geometries are the only locally connected parapolar spaces with the required lacunarity, and all locally disconnected cases are obtained by "buttoning" together such components, giving no further exceptional types (Schepper et al., 2020).

5. Automorphism Groups, Flag-Transitivity, and Representations

Exceptional Lie incidence geometries exhibit full flag-transitivity under the action of the corresponding Chevalley or Tits group: for each geometry, its automorphism group coincides with the group of type-preserving automorphisms of the building (Busch et al., 1 Feb 2026). The automorphism characterization is sharp: every bijection preserving the opposition relation arises from a building automorphism (Theorem C in (Busch et al., 1 Feb 2026)).

Highly non-trivial unipotent and projective representations are constructed via the unipotent radicals of maximal parabolic subgroups, whose abelian or extraspecial quotients correspond to the minimal or adjoint modules in which the geometry embeds. For instance, in E₆,₁, the unique 27-dimensional embedding arises as $U_{A^*}$ itself, in E₇,₇ the Freudenthal 56-dimensional module appears as the quotient $U_{A^*}/[U_{A^*},U_{A^*}]$ (Pasini, 2013). Explicit coordinate models are available in cases such as the F₄ dual-polar space, the E₆ 27-point geometry, and the E₇ Freudenthal module, often realized via Grassmannians of 3-planes, Hermitian matrices over $\mathbb{O}$, or adjoint representations.

6. Octonionic and $G_2$ Incidence: Fano Plane, Null Geometries, and Composition

In $G_2$ geometry, the incidence structure is fundamentally linked to the Fano plane and octonion algebra. The 21 flags $(P,D)$ of the Fano plane (point $P$, line $D$ containing $P$) give an overcomplete generating set for $\mathfrak g_2$, with commutation relations determined combinatorially by the incidence pattern (six orbits on $\mathcal{I}\times\mathcal{I}$) and the sign function $\epsilon$ encoding octonion multiplication (Traubenberg et al., 2022).

In split real form, $G_2'$ acts as the automorphism group of the incidence geometry of null lines and planes in the 7-dimensional imaginary split octonions, with orbits reflecting the distance structure (steps apart) in this geometry, and geometric quantization recovers the cross product and representation theory purely from incidence data (Baez et al., 2012). The rolling ball model and spinorial interpretation further reinforces the link between physical distributions and exceptional incidence structure.

7. Significance and Thematic Unification

Exceptional Lie incidence geometries form a central nexus for deep phenomena in algebraic group theory, incidence geometry, combinatorics, and non-associative algebra. Their uniqueness stems from the interplay between non-classical division algebras (octonions), strict combinatorial axioms (parapolarity, lacunarity), Lie-theoretic representation theory, and synthetic geometric constructions (polarity, opposition). These structures offer canonical synthetic models for the exceptional groups, grounds for building-based group actions and embeddings, and concrete computational models for geometrization in exceptional algebra. Their study informs not only pure mathematics but also connections to physics (via rolling distributions and projective models) and the design of highly symmetrical structures (Schepper et al., 2020, Valette, 2022, Busch et al., 1 Feb 2026, Pasini, 2013, Traubenberg et al., 2022, Baez et al., 2012).