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.

Preserving and Increasing Symmetries of Polyhedral Maps

Local orientation-preserving symmetry preserving operations on polyhedra

The degrees of the orientation-preserving automorphism groups of toroidal maps and hypermaps

Symmetrization of 2D Polygonal Shapes Using Mixed-Integer Programming

On Symmetrical Equivelar Polyhedra of Type {3, 7} and Embeddings of Regular Maps

Entwining tetrahedron maps

Generating Plane Quadrangulations and Symmetry-preserving Operations on Maps

Symmetries and intrinsic vs. extrinsic properties of $\overline{\mathcal{M}}_{0, n}$

Bijections between colored compositions, Dyck paths, and polygon partitions

Map enumeration from a dynamical perspective

Quasisymmetric maps, shears, lambda lengths and flips

Symmetrizing polytopes and posets

On Dynamical Gaskets Generated by Rational Maps, Kleinian Groups, and Schwarz Reflections

Structure Preserving Mesh Parameterization

Symmetries and vanishing theorems for symplectic varieties

Integrable symplectic maps with a polygon tessellation

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

Bernstein-Kouchnirenko-Khovanskii with a symmetry

Classification of Affine Symmetry Groups of Orbit Polytopes

Minkowski-type and Alexandrov-type theorems for polyhedral herissons

Geometric Characterizations of Symmetric Maps in the Complex Plane