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.

Topological Symmetry Groups of the Petersen graphs

Topological Symmetry Groups of the Generalized Petersen Graphs

Topological Symmetries of the Heawood family

Topological Symmetry Groups of the Heawood Graph

Graphs in the 3-Sphere with Maximum Symmetry

Beyond symmetry in generalized Petersen graphs

Topological Symmetries of R^3

Bordered Surfaces in the 3-Sphere with Maximum Symmetry

Embedding Surfaces, Handlebodies and Finite Graphs into $S^3$ with Maximum Symmetry

Packing chromatic number, $(1,1,2,2)$-colorings, and characterizing the Petersen graph

Graphical models for topological groups: A case study on countable Stone spaces

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

Embedding Compact Surfaces into the 3-Dimensional Euclidean Space with Maximum Symmetry

Reflection and Time Reversal Symmetry Enriched Topological Phases of Matter: Path Integrals, Non-orientable Manifolds, and Anomalies

$Z_3$ and $(\times Z_3)^3$ symmetry protected topological paramagnets

Classification of the Prime Graphs of $\operatorname{Sz}(8)$-, $\operatorname{Sz}(32)$-, and $\operatorname{PSL}(2, 2^5)$-Solvable Groups

Symmetry-Protected Topological relationship between $SU(3)$ and $SU(2)\times{U(1)}$ in Two Dimension

Degree and Distance Based Topological Descriptors of Power Graphs of Finite Non-Abelian Groups

Two-dimensional topological paramagnets protected by $\mathbb{Z}_3$ symmetry: Properties of the boundary Hamiltonian

Embedding Surfaces into $S^3$ with Maximum Symmetry

GI-graphs and their groups