Conjecture that the four distinguished combinatorial manifolds are the octonionic projective plane
The distinguished-manifolds conjecture. The combinatorial manifolds K1K_1K1, K2K_2K2, K3K_3K3, and K4K_4K4 are PL homeomorphic to OP2\mathbb{OP}^2OP2.
MathDB