---
title: Octonionic Projective Plane
url: https://www.emergentmind.com/topics/octonionic-projective-plane
type: topic
---

# Octonionic Projective Plane

The octonionic projective plane, denoted $\mathbb{O}P^2$ and also known as the Cayley plane, is a 16-dimensional Riemannian symmetric space that serves as the canonical example of a projective plane coordinatized by the non-associative, alternative division algebra of octonions. It is the unique compact projective Moufang plane not coordinatizable by a field or associative division algebra. As the "top" of the family $\mathbb{K} P^2$ for normed division algebras $\mathbb{K}=\mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O}$, $\mathbb{O}P^2$ is central in exceptional geometry, the theory of exceptional Lie groups, and in the topology of high-dimensional manifolds.

## 1. Algebraic Construction and Coordinate Models

A point of $\mathbb{O}P^2$ is defined as a one-dimensional right $\mathbb{O}$-submodule of $\mathbb{O}^3$; equivalently, as the equivalence class $[x_1:x_2:x_3]$ of nonzero triples under right multiplication by invertible octonions:
\[
[x_1:x_2:x_3] \sim [x_1\lambda : x_2\lambda : x_3\lambda], \qquad \lambda \in \mathbb{O}^\times.
\]
Because the octonions $\mathbb{O}$ are non-associative but alternative, this quotient is well defined, and every two elements generate an associative subalgebra. Local affine charts are constructed as in the associative cases: on $x_1 \neq 0$,
\[
[x_1:x_2:x_3] = [1, u, v] \quad \text{with} \quad u = x_2 x_1^{-1}, \; v = x_3 x_1^{-1},
\]
so each chart is diffeomorphic to $\mathbb{O}^2 \cong \mathbb{R}^{16}$. Transition functions reduce to rational expressions using only two arguments at a time, exploiting alternativity and norm multiplicativity [1909.07047, 2202.02050, 2311.11907].

In the algebraic-geometric formulation, a point of $\mathbb{O}P^2$ corresponds bijectively to a rank-one primitive idempotent $X$ in the 27-dimensional exceptional Jordan (Albert) algebra $J_3(\mathbb{O})$ of $3\times 3$ Hermitian octonionic matrices. Explicitly, $X^2 = X$, $\operatorname{tr} X = 1$, and $X \ne 0$ [2202.02050, 2311.11907, 2512.02271]. Homogeneous coordinates correspond to normalized outer products:
\[
[x_1:x_2:x_3]
\;\longmapsto\;
X = \frac{1}{\sum_i |x_i|^2}
\begin{pmatrix}
|x_1|^2 & x_1\bar x_2 & x_1\bar x_3 \\
x_2\bar x_1 & |x_2|^2 & x_2\bar x_3 \\
x_3\bar x_1 & x_3\bar x_2 & |x_3|^2
\end{pmatrix}
\]
with $X^2=X$, $\operatorname{tr} X=1$.

## 2. Incidence Geometry and Moufang Property

Lines in $\mathbb{O}P^2$ are dual to its points. In the Veronese model, a point is specified by a Veronese vector $w = (x_1,x_2,x_3;\lambda_1,\lambda_2,\lambda_3)\in \mathbb{O}^3 \times \mathbb{R}^3$ satisfying nine homogeneous quadratic relations:
\[
\lambda_i \overline{x}_i = x_{i+1} x_{i+2},\qquad |x_i|^2 = \lambda_{i+1} \lambda_{i+2}, \qquad i\bmod 3
\]
[2311.11907, 2203.02671]. A line is the orthogonal complement to a Veronese vector under the form
\[
\beta \left( (x, \lambda), (y, \mu) \right) = \sum_{i=1}^3 \left( \bar{x}_i y_i + \bar{y}_i x_i + \lambda_i \mu_i \right).
\]

Every two points lie on a unique line and, dually, every two lines meet in a unique point. The automorphism group acts transitively on flags (incident point-line pairs). The Moufang property holds: the group generated by elations with a given axis acts transitively on the flags with this axis, and all classical projective axioms are satisfied, due to octonionic alternativity [2311.11907, 1909.07047].

## 3. Symmetric Space Structure and Isometry Groups

$\mathbb{O}P^2$ is realized as the Riemannian symmetric space
\[
\mathbb{O}P^2 \cong F_4/\mathrm{Spin}(9)
\]
where $F_4$ is the compact real form of the exceptional simple Lie group of type $F_4$ (dimension 52), and $\mathrm{Spin}(9)$ is the stabilizer of a base point (dimension 36). The real dimension is thus $52-36=16$ [2212.06426, 2512.02271, 1802.08075].

The full collineation group is the real form $E_{6(-26)}$, acting transitively on the set of points. The isometry group preserving the metric and incidence structure is $F_4$, acting with a unique orbit on points and a unique orbit on lines, with stabilizer $\mathrm{Spin}(9)$ in each case [2311.11907, 2512.02271, 2202.02050]. The underlying Lie algebra structure—via the Tits–Freudenthal magic square—is
\[
\mathfrak{m}_3(\mathbb{R},\mathbb{O}) \cong \mathfrak{f}_{4(-52)}.
\]

The tangent space at a point is the 16-dimensional real, Majorana–Weyl spinor representation of $\mathfrak{so}(9)$. The unique, up to scale, $F_4$-invariant metric is induced, at the Lie algebra level, by restricting the Killing form to the tangent space:
\[
g(X, Y) = -B_{F_4}(X, Y), \qquad X, Y \in \mathfrak{m}
\]
where $\mathfrak{f}_4 = \mathfrak{so}(9) \oplus \mathfrak{m}$ [2212.06426, 1802.08075].

## 4. Riemannian Geometry and Metric Properties

$\mathbb{O}P^2$ is a compact, rank-one, two-point homogeneous Riemannian symmetric space with positive sectional curvature $K$ bounded as $1 \leq K \leq 4$ in standard normalization [2202.02050, 1802.08075]. Its diameter is $\pi/2$. The geodesic distance $d(P,Q)$ between points $P$ and $Q$ in the projector model satisfies $\cos d(P,Q) = \operatorname{tr}(PQ)$. The volume element and geodesic ball volumes are given by integrating explicit trigonometric polynomials, e.g.,
\[
v(r) = B(\tfrac{16}{2}, \tfrac{8}{2})^{-1}\int_0^r (\sin u)^{15} (\cos u)^7 du
\]
where $B$ denotes the beta function [1805.03541]. $\mathbb{O}P^2$ is two-point homogeneous under $F_4$: any two points with the same pairwise distance can be mapped to any other such pair by an element of $F_4$.

## 5. Cohomological and Topological Structure

$\mathbb{O}P^2$ admits a CW-complex with one cell in each dimension $0,8,16$. Its cellular and singular cohomology ring is
\[
H^*(\mathbb{O}P^2; \mathbb{Z})
\cong
\mathbb{Z}[x]/(x^3), \qquad \deg x = 8
\]
[1909.07047, 2207.08507], with Betti numbers $b_0 = b_8 = b_{16} = 1$, all others zero. This three-cell structure mirrors the cases of $\mathbb{R}P^2, \mathbb{C}P^2, \mathbb{H}P^2$, scaling with the degree of the underlying division algebra.

$\mathbb{O}P^2$ figures decisively in Adams’ solution of the Hopf invariant one problem: The existence of only four normed real division algebras ($\mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O}$) follows via the top-cell attaching map in the CW-decomposition of $\mathbb{K}P^2$, which must have Hopf invariant $\pm1$ [1909.07047].

In the setting of algebraic topology, the integral loop homology of $L\mathbb{O}P^2$—the free loop space—admits a Batalin–Vilkovisky algebra structure with explicit generators and relations. For instance, there are elements $a \in H_8$, $b \in H_1$, $x \in H_{22}$, with relations $a^3 = 0, b^2 = 0, a^2b = 0, 3 a^2 x = 0$, and an explicit BV-operator determined by $Δ(a^p b x^q) = (2 + 3q - p)a^p x^q$ [1004.1550].

## 6. Alternative and Minimal Realizations

Although traditionally defined using the octonions, $\mathbb{O}P^2$ can be equivalently constructed using other 8-dimensional symmetric composition algebras, such as the paraoctonion and real Okubo algebras, which are non-alternative. The Okubo model uses traceless $3\times 3$ Hermitian complex matrices with a symmetric composition product, and still gives rise—via an explicit isometry—to the canonical metric and incidence structure of the Cayley plane. The automorphism group in the Okubo case is reduced to $SU(3)$, indicating that the Cayley plane can be fully realized from algebraic data strictly weaker than octonionic alternativity [2309.00967, 2311.11907]. This supports the assertion that only three 8-dimensional real division-symmetric composition algebras can coordinatize such a plane.

## 7. Combinatorial and Higher-Dimensional Aspects

Minimal triangulations of $\mathbb{O}P^2$ as a 16-dimensional PL manifold have exactly $27$ vertices, paralleling the lower-dimensional real, complex, and quaternionic projective planes with 6, 9, and 15 vertices, respectively. Constructed families reach more than $10^{103}$ distinct combinatorial triangulations with symmetry groups ranging from the full $C_3^3 \rtimes C_{13}$ (order 351) to the trivial group, all sharing the correct $f$-vector and topological invariants—Euler characteristic $3$, Betti numbers $b_0 = b_8 = b_{16} = 1$—matching the standard cohomology of $\mathbb{O}P^2$. The existence and completeness of these triangulations fulfill a conjecture of Brehm and Kühnel [2207.08507, 2310.16679].

## 8. Magic Square, Rosenfeld Planes, and Complexifications

$\mathbb{O}P^2$ sits as the $(\mathbb{R},\mathbb{O})$ entry in the 4×4 Freudenthal–Tits magic square, with isometry group $F_4$ and collineation group $E_6$. The framework extends to "Rosenfeld planes" and their generalizations: tensor products such as $(\mathbb{C}\otimes\mathbb{O})P^2$ and $(\mathbb{H}\otimes\mathbb{O})P^2$ give rise to "Dixon–Rosenfeld planes" with higher-dimensional, non-simple isometry algebras. The complexification, realized as the Hermitian symmetric space $E_6 / (Spin(10)\times_{\mathbb{Z}_4} U(1))$ (EIII), can be embedded as a projective subvariety in $\mathbb{CP}^{26}$ cut out by 27 quadratic Plücker relations, with an open $F_4$-orbit diffeomorphic to the complexification of $\mathbb{O}P^2$ and a codimension-one "DIII" boundary lacking an octonionic model [2401.07735, 2512.02271]. This hierarchy is central in the study of exceptional Lie groups, composition algebras, and sporadic geometric phenomena.

---

**References**  
[1004.1550], [1802.08075], [1805.03541], [1909.07047], [2202.02050], [2203.02671], [2207.08507], [2212.06426], [2309.00967], [2310.16679], [2311.11907], [2401.07735], [2512.02271]

Source: https://www.emergentmind.com/topics/octonionic-projective-plane