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.

A lozenge triangulation of the plane with integers

A Lozenge Triangulation of the Plane with Integers

Lozenge Tilings Of the Equilateral Triangle

Lozenge tilings of a halved hexagon with an array of triangles removed from the boundary

Counting 3-uple Veronese surfaces

A geometric iterated function system on triangles

Lozenge Tilings of Hexagons with Intrusions I: Generalized Intrusion

The Torus of Triangles

Quatroids and Rational Plane Cubics

A Universal Triangulation for Flat Tori

Triangular partitions: enumeration, structure, and generation

Strongly Obtuse Rational Lattice Triangles

Integer Area Dissections of Lattice Polygons via a Non-Abelian Sperner's Lemma

Plane quartics and heptagons

Cyclically Symmetric Lozenge Tilings of a Hexagon with Four Holes

A family of Andrews-Curtis trivializations via 4-manifold trisections

Structural Szemerédi-Trotter for Lattices and their Generalizations

Rectangulotopes

A family of Andrews–Curtis trivializations via 4-manifold trisections

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

Conformally symmetric triangular lattices and discrete $\vartheta$-conformal maps