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.

Symmetries of biplanes

On automorphism groups of a biplane (121,16,2)

Finite flag-transitive affine planes with a solvable automorphism group.

A new flag-transitive affine plane of order bm$2^9$

A class of symmetric association schemes as inclusion of biplanes

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Four symmetry classes of plane partitions under one roof

On symmetric plane quartic curves

Non-transversal Vectors of Some Finite Geometries

Affine groups as flag-transitive and point-primitive automorphism groups of symmetric designs

Regular bipartite multigraphs have many (but not too many) symmetries

Representation stability in the intrinsic hyperplane arrangements associated to irreducible representations of the symmetric-groups

Symmetrizations of quadratic and hermitian forms

Classification of Affine Symmetry Groups of Orbit Polytopes

On the splitting case of a semi-biplane construction

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

Intersection Bodies with Certain Symmetries

Hyperplanes in abelian groups and twisted signatures

On Symmetric bi-Cayley Graphs of Prime Valency on Nonabelian Simple Groups

Bernstein-Kouchnirenko-Khovanskii with a symmetry

Hyperplane Arrangements in the Grassmannian