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.

Finite group theory for large systems. 2. Generating relations and irreducible representations for the icosahedral point group, I(h)

Finite Group Theory for Large Systems. 1. Symmetry-Adaptation

Analytical Irreducible Representation Bases Of The Single And Double Icosahedral Groups And Their Applications

A Clifford Algebraic Framework for Coxeter Group Theoretic Computations

Teaching Molecular Symmetry of Dihedral Point Groups by Drawing Useful 2D Projections

Multiplicity One Theorems: the Archimedean Case

Icosahedron in birational geometry

Finite groups of symplectic birational transformations of IHS manifolds of $OG10$ type

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Generic infinitesimal rigidity for rotational groups in the plane

Enlargement of symmetry groups in physics: a practitioner's guide

Factorization Of The Huckel Hamiltonian Matrix For Highly Symmetrical Molecules

Irreducible plane sextics with large fundamental groups

Crystallography, Group Cohomology, and Lieb-Schultz-Mattis Constraints

Finite Coxeter Groups and Generalized Elnitsky Tilings

Ab initio calculations on icosahedral molecules: I. The implementation of symmetry reduction in calculation exemplified by B12H 2−12

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

Asymptotics of the number of involutions in finite classical groups

Representation theory of finite groups through (basic) algebraic geometry

Counting and Equidistribution of Reciprocal Geodesics and Dihedral Groups

Symmetries for the 4HDM. II. Extensions by rephasing groups