Abstract:In 1987 Brehm and Kühnel showed that any combinatorial $d$-manifold with less than $3d/2+3$ vertices is PL homeomorphic to the sphere and any combinatorial $d$-manifold with exactly $3d/2+3$ vertices is PL homeomorphic to either the sphere or a manifold like a projective plane in the sense of Eells and Kuiper. The latter possibility may occur for $d\in\{2,4,8,16\}$ only. There exist a unique $6$-vertex triangulation of $\mathbb{RP}^2$, a unique $9$-vertex triangulation of $\mathbb{CP}^2$, and at least three $15$-vertex triangulations of $\mathbb{HP}^2$. However, until now, the question of whether there exists a $27$-vertex triangulation of a manifold like the octonionic projective plane has remained open. We solve this problem by constructing a lot of examples of such triangulations. Namely, we construct $634$ vertex-transitive $27$-vertex combinatorial $16$-manifolds like the octonionic projective plane. Four of them have symmetry group $\mathrm{C}_3^3\rtimes \mathrm{C}_{13}$ of order $351$, and the other $630$ have symmetry group $\mathrm{C}_3^3$ of order $27$. Further, we construct more than $10^{103}$ non-vertex-transitive $27$-vertex combinatorial $16$-manifolds like the octonionic projective plane. Most of them have trivial symmetry group, but there are also symmetry groups $\mathrm{C}_3$, $\mathrm{C}_3^2$, and $\mathrm{C}_{13}$. We conjecture that all the triangulations constructed are PL homeomorphic to the octonionic projective plane $\mathbb{OP}^2$. Nevertheless, we have no proof of this fact so far.

Small Triangulations of $4$-Manifolds: Introducing the $4$-Manifold Census

Practical Software for Triangulating and Simplifying 4-Manifolds

634 vertex-transitive and more than $10^{103}$ non-vertex-transitive 27-vertex triangulations of manifolds like the octonionic projective plane

634 vertex-transitive and more than non-vertex-transitive 27-vertex triangulations of manifolds like the octonionic projective plane

Cusp-transitive 4-manifolds with every cusp section

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

Some cusp-transitive hyperbolic 4-manifolds

Hyperbolic 4-manifolds over the 120-cell

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Face numbers of triangulations of manifolds

New examples and partial classification of 15-vertex triangulations of the quaternionic projective plane

Six Lectures on Four 4-Manifolds

Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

A New Combinatorial Class of 3-Manifold Triangulations

Mixed-platonic 3-manifolds

Trisections of PL 4-manifolds arising from colored triangulations

Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

Smooth structures on PL-manifolds of dimensions between 8 and 10

Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

From diffeomorphisms to exotic phenomena in small 4-manifolds

Thurston geometries in dimension four from a Riemannian perspective