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.

Counting symmetry classes of dissections of a convex regular polygon

Variants of Schroeder Dissections

Counting quiddities of polygon dissections

Polygonal Dissections and Reversions of Series

Hall potentiometer in the ballistic regime

On inside-out Dissections of Polygons and Polyhedra

Four symmetry classes of plane partitions under one roof

Combinatorial Enumeration of Partitions of a Convex Polygon.

Commutative Properties of Schubert Puzzles with Convex Polygonal Boundary Shapes

Counting polygon spaces, Boolean functions and majority games

Hinged Dissections Exist

Counting and Equidistribution of Reciprocal Geodesics and Dihedral Groups

m-Axial and m-Circular 3m-Polygons

Dihedral Tilings of the Sphere by Regular Polygons and Quadrilaterals II: Regular Polygons with High Gonality and Rhombi

Theorem Discovery Amongst Cyclic Polygons

Bijections between colored compositions, Dyck paths, and polygon partitions

An enumeration of equilateral triangle dissections

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

Combinatorics of rectangulations: Old and new bijections

Integer Area Dissections of Lattice Polygons via a Non-Abelian Sperner's Lemma

Polygon spaces and Grassmannians