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.

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

Symmetries of biplanes

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

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

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

Non-transversal Vectors of Some Finite Geometries

On symmetric plane quartic curves

On the automorphism groups of smooth Fano threefolds

Quotients of fake projective planes

General Form of the Automorphism Group of Bicyclic Graphs

A class of symmetric association schemes as inclusion of biplanes

Automorphism Groups of Commuting Polynomial Maps of the Affine Plane

Automorphism groups of smooth plane curves

On the automorphism group of a possible symmetric $(81,16,3)$ design

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

Automorphism groups of free groups, surface groups and free abelian groups

On the automorphism group of a putative Conway 99-graph

On the Geometry of a Fake Projective Plane with $21$ Automorphisms

The automorphism group of $\overline{M}_{g,n}$

On orders of automorphisms of vertex-transitive graphs

Character tables and the problem of existence of finite projective planes