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 The Ten Point Wood-Desargues' Configuration

Hyperbolic geometry and real moduli of five points on the line

Happy Ending: An Empty Hexagon in Every Set of 30 Points

Apollonian depth, spinors, and the super-Dedekind tessellation

The bridge between Desargues' and Pappus' theorems

Descartes Circle Theorem, Steiner Porism, and Spherical Designs

The configuration space of equilateral and equiangular hexagons

Realizations of the Associahedron and Cyclohedron

Doubles of Gluck twists: a five dimensional approach

A Model of the Witt Design $W_{12}$ based on Quadrics of PG(2,3)

Constructive Coordinatization of Desarguesian Planes

Pentagram Rigidity for Centrally Symmetric Octagons

The Icosidodecahedron

On the number of digons in arrangements of pairwise intersecting circles

A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals

The geometry of oriented cubes

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

On the uniqueness of the planar 5-body central configuration with a trapezoidal convex hull

A cornucopia of pythagorean triangles

Counterintuitive Patterns on Angles and Distances Between Lattice Points in High Dimensional Hypercubes

Simplicial arrangements with few double points