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.

The Symmetry Group of the Grand Antiprism

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

SU(5) Grand Unified Theory, its Polytopes and 5-fold Symmetric Aperiodic Tiling

Symmetrizing polytopes and posets

Unipotent representations of real classical groups

Classification of Affine Symmetry Groups of Orbit Polytopes

A Clifford Algebraic Framework for Coxeter Group Theoretic Computations

Hall potentiometer in the ballistic regime

The Edinburgh/Durham Southern Galaxy Catalogue - IX. The Galaxy Catalogue

Symmetry classes of alternating sign matrices in the nineteen-vertex model

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

Triangulations of Prisms and Preprojective Algebras of Type A

SICs and the Triangle Group $(3,3,3)$

New symmetries for Dyson's rank function

Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

The Dimensions of the Symmetry Types of Polyhedra with Reflection Groups

A New Near Octagon and the Suzuki Tower

Finite group theory for large systems. 2. Generating relations and irreducible representations for the icosahedral point group, I(h)

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

Wreathing, Discrete Gauging, and Non-invertible Symmetries

Symmetric colorings of polypolyhedra