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.

A family of Andrews–Curtis trivializations via 4-manifold trisections

A family of Andrews-Curtis trivializations via 4-manifold trisections

Relative Group Trisections

Multifractal characterisation of length sequences of coding and noncoding segments in a complete genome

A group-theoretic framework for low-dimensional topology

Artin Presentations of the Trivial Group and Hyperbolic Closed Pure $3$-Braids

From Heegaard splittings to trisections; porting 3-dimensional ideas to dimension 4

Representations of A Braid Group with Transpose Symmetry and the Related Link Invariants

A non-trivial family of trivial bundles with complex hyperbolic structure

Practical Software for Triangulating and Simplifying 4-Manifolds

3-manifolds Modulo Surgery Triangles

Thin links and Conway spheres

Diagrams for Relative Trisections

Infinite families of triangle presentations

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

Triangulation of Refined Families

Considerations about Andrews-Curtis invariants based on sliced 2-complexes

On homology planes and contractible $4$-manifolds

3-Alterfolds and Quantum Invariants

Shake Slice and Shake Concordant Links

Taut foliations in branched cyclic covers and left-orderable groups