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.

SICs and the Triangle Group $(3,3,3)$

SICs and the Triangle Group

SIC~POVMs and Clifford groups in prime dimensions

SIC-POVMs and the Knaster's Conjecture

Tight Frames, Hadamard Matrices and Zauner's Conjecture

Super-symmetric informationally complete measurements

SIC-POVMs and orders of real quadratic fields

Group Theoretic, Lie Algebraic and Jordan Algebraic Formulations of the SIC Existence Problem

Two-Qubit Symmetric Informationally Complete Positive-Operator-Valued Measures

Structure of Two-qubit Symmetric Informationally Complete POVMs

Group Theoretical Classification of SIC-POVMs

Dimension towers of SICs. I. Aligned SICs and embedded tight frames

Simplified exact SICs

SIC-POVMs from Stark Units: Dimensions n^2+3=4p, p prime

Equations for the overlaps of a SIC

Operator system characterizations of SIC-POVMs and mutually unbiased bases

Tomographic and Lie Algebraic Significance of Generalized Symmetric Informationally Complete Measurements

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

SO(3)-Irreducible Geometry in Complex Dimension Five and Ternary Generalization of Pauli Exclusion Principle

Unipotent representations of real classical groups

Symmetric Informationally Complete Measurements of Arbitrary Rank