Abstract:In 1987 Brehm and Kühnel showed that any triangulation of a $d$-manifold (without boundary) that is not homeomorphic to the sphere has at least $3d/2+3$ vertices. Moreover, triangulations with exactly $3d/2+3$ vertices may exist only for `manifolds like projective planes', which can have dimensions $2$, $4$, $8$, and $16$ only. There is a $6$-vertex triangulation of the real projective plane $\mathbb{RP}^2$, a $9$-vertex triangulation of the complex projective plane $\mathbb{CP}^2$, and $15$-vertex triangulations of the quaternionic projective plane $\mathbb{HP}^2$. Recently, the author has constructed first examples of $27$-vertex triangulations of manifolds like the octonionic projective plane $\mathbb{OP}^2$. The four most symmetrical have symmetry group $\mathrm{C}_3^3\rtimes \mathrm{C}_{13}$ of order $351$. These triangulations were constructed using a computer program after the symmetry group was guessed. However, it remained unclear why exactly this group is realized as the symmetry group and whether $27$-vertex triangulations of manifolds like $\mathbb{OP}^2$ exist with other (possibly larger) symmetry groups. In this paper we find strong restrictions on symmetry groups of such $27$-vertex triangulations. Namely, we present a list of $26$ subgroups of $\mathrm{S}_{27}$ containing all possible symmetry groups of $27$-vertex triangulations of manifolds like the octonionic projective plane. (We do not know whether all these subgroups can be realized as symmetry groups.) The group $\mathrm{C}_3^3\rtimes \mathrm{C}_{13}$ is the largest group in this list, and the orders of all other groups do not exceed $52$. A key role in our approach is played by the use of Smith and Bredon's results on the topology of fixed point sets of finite transformation groups.

Face numbers of triangulations of 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

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

Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

On possible symmetry groups of 27-vertex triangulations of manifolds like the octonionic projective plane

Geometrically Bounding 3-Manifold, Volume and Betti Number

Generalized Ejiri’s Rigidity Theorem for Submanifolds in Pinched Manifolds

On triangulations with high vertex degree

Bounds on Cheeger-Gromov invariants and simplicial complexity of triangulated manifolds

Complexity of triangulations of the projective space

Lower Bounds on Face Numbers of Polytopes with $m$ Facets

0-Efficient Triangulations of 3-Manifolds

A New Combinatorial Class of 3-Manifold Triangulations

Combinatorics of Triangulations of 3-Manifolds

Many regular triangulations and many polytopes

Bounds for the number of moves between pants decompositions, and between triangulations

Cross-ratio degrees and triangulations

Counting geodesics between surface triangulations

The Complexity of Geodesic Voronoi Diagrams on Triangulated 2-Manifold Surfaces

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants