Alexander A. Gaifullin: Many 27-vertex Triangulations of Manifolds Like the Octonionic Projective Plane (Not Even One Was Known Before).



From top left clockwise: Alexander Gaifullin, Denis Gorodkov, Ulrich Brehm, Wolfgang Kühnel 

Here is the paper:

Alexander A. Gaifullin: 634 vertex-transitive and more than 10¹⁰³ non-vertex-transitive 27-vertex triangulations of manifolds like the octonionic projective plane 

Abstract with annotation:

In 1987 Brehm and Kühnel showed that any combinatorial d-manifold with less than 3d/2+3 vertices is PL homeomorphic to the sphere and any combinatorial d-manifold with exactly 3d/2+3 vertices is PL homeomorphic to either the sphere or a manifold like a projective plane in the sense of Eells and Kuiper. The latter possibility may occur for d \in \{2,4,8,16\} only.

This is a lovely theorem and the proof is based on Morse theoretic ideas, The study was motivated by the theory of tight embeddings of manifolds in differential geometry.  

There exist a unique 6-vertex triangulation of \mathbb RP^2,

This is a wonderful object obtained by identifying opposite faces of an icosahedron. 

a unique 9-vertex triangulation of \mathbb CP^2,

This is an amazing mathematical construction by Kühnel and Lassman from 1983. 

and at least three 15-vertex triangulations of \mathbb HP^2. (We mentioned it in this post.)

Those were constructed in 1992 by Brehm and Kühnel. Gorodkov proved in 2019 that the Brehm–Kühnel complexes are indeed PL homeomorphic to \mathbb HP^2.  

However, until now, the question of whether there exists a 27-vertex triangulation of a manifold like the octonionic projective plane has remained open. We solve this problem by constructing a lot of examples of such triangulations. Namely, we construct 634 vertex-transitive 27-vertex combinatorial 16-manifolds like the octonionic projective plane. Four of them have symmetry group C_3^3\rtimes C_{13} of order 351, and the other 630 have symmetry group C_3^3 of order 27. Further, we construct more than 10^{103} non-vertex-transitive 27-vertex combinatorial 16-manifolds like the octonionic projective plane. Most of them have trivial symmetry group, but there are also symmetry groups C_3, C_3^2, and C_{13}. We conjecture that all the triangulations constructed are PL homeomorphic to the octonionic projective plane \mathbb O P^2. Nevertheless, we have no proof of this fact so far.

(Actually one can even expect that in the Brehm-Kühnel theorems all triangulations of d manifolds with 3d/2+3 vertices are PL projective planes over the Reals, Quaternions or Octanions.)

I heard about the new result from Wolfgang Kühnel who wrote me: “I’m quite surprised that an object with such a huge f-vector can be constructed at all.”

Diversion: Moore Graphs of girth five

The seek for a triangulation of a manifold like a projective plane with 3d/2+3 vertices (now completed by Gaifullin) reminded me of the situation of Moore graphs of girth five. A Moore graph is a regular d-graph with diameter k, and girth 2k+1. (It must have 1+d \sum_{k=0}^{k-1}(d-1)^k vertices.)

The Hoffman–Singleton theorem states that any Moore graph with girth 5 must have degree 2, 3, 7, or 57.  There are known examples for degrees 2, 3 and 7, and the existence of a Moore graph of girth 5 and degree 57 is one of the great mysteries of mathematics.

Neighborly 2d-manifolds

We can ask, more generally, about (d+1)-neighborly triangulations of 2d manifolds, namely triangulations for which every d+1 vertices form a face. (Triangulations of 2d-manifolds with 3d+3 vertices must be (d+1)-neighborly.) For d=1 this is essentially the Heawood conjecture.  Ringel and Youngs showed, that 2-neighborly triangulation exists for all surfaces except for the Klein bottle. In dimensions greater than 2 only a small number of examples are known. Beside the triangulations that we talked about above, I am aware of two additional examples:  In dimension 4: 16-vertex K3 surface (Casella-Kühnel 2001);  In dimension 6: 13-vertex triangulations of  S^3 \times S^3 (Frank H.Lutz).

Neighborliness is related to upper bound conjectures (that comes in various strengths) proposed by Kühnel in 1993.  Here below is a lecture by Kuhnel in a birthday conference honoring the Indian mathematician Basudeb Datta. Kühnel’s conjecture  for the maximum value of the Euler characteristic of a 2k-dimensional simplicial manifold on $latex n$ vertices

{{n-k-2} \choose {k+1}} \le (-1)^k {{2k+1} \choose {k+1}} (\chi (M)-2),

was settled by Isabella Novik and Ed Swartz in 2009. Novik and Swartz (for the orientable case) and Satoshi Murai (for the general case) also proved some strong forms of Kühnel’s conjecture conditioned on the Lefschetz property for the links; the Lefschetz property was proved by Karim Adiprasito in his g-conjecture paper. (Things are moving along nicely in the g-conjecture front (for older posts see here and here); I hope to write about it soon and in the meanwhile, here are two posts (I,II) by Karim.)


For a wider view of upper bound theorems watch the following ICM22 lecture by Isabella Novik.

Polyhedral and more general complexes: my conjecture.

I also posed a related conjecture to the 1987 Brehm and Kühnel’s theorem. (Related to the 3ᵈ problem)

Conjecture: A polyhedral d-manifold (more generally, a strongly regular CW manifold) in dimension d which is not a sphere has at least 2^{(3d+4)/2} faces. (Including the empty face.)

We can expect that extremal cases are only in dimensions 2, 4, 8, and 16 and are projective plane like or even genuinly PL projective planes over the reals, complex, quaternions or octonions.


This entry was posted in Combinatorics, Geometry and tagged , , , . Bookmark the permalink.

2 Responses to Alexander A. Gaifullin: Many 27-vertex Triangulations of Manifolds Like the Octonionic Projective Plane (Not Even One Was Known Before).

  1. Ricardo says:

    You may like this “old” paper related to non-isomorphic triangulations of surfaces:

  2. Pingback: Greatest Hits 2015-2022, Part II | Combinatorics and more

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s