Abstract
In 1992, Brehm and Kühnel constructed an 8-dimensional simplicial complex \(M^8_{15}\) with 15 vertices as a candidate to be a minimal triangulation of the quaternionic projective plane. They managed to prove that it is a manifold “like a projective plane” in the sense of Eells and Kuiper. However, it was not known until now if this complex is PL homeomorphic (or at least homeomorphic) to \({\mathbb {H}}P^2\). This problem was reduced to the computation of the first rational Pontryagin class of this combinatorial manifold. Realizing an algorithm due to Gaifullin, we compute the first Pontryagin class of \(M^8_{15}\). As a result, we obtain that it is indeed a minimal triangulation of \({\mathbb {H}}P^2\).
Similar content being viewed by others
References
Björner, A., Lutz, F.H.: Simplicial manifolds, bistellar flips and a 16-vertex triangulation of the Poincaré homology 3-sphere. Exp. Math. 9(2), 275–289 (2000)
Brehm, U., Kühnel, W.: Combinatorial manifolds with few vertices. Topology 26(4), 465–473 (1987)
Brehm, U., Kühnel, W.: 15-Vertex triangulations of 8-manifolds. Math. Ann. 294, 167–193 (1992)
Brumfiel, G.: On integral PL characteristic classes. Topology 8, 39–46 (1969)
Cheeger, J.: Spectral geometry of singular Riemannian spaces. J. Differ. Geom. 18(4), 575–657 (1983)
Eells, J., Kuiper, N.H.: Manifolds which are like projective planes. Inst. Hautes Études Sci. Publ. Math. 14, 5–46 (1962)
Effenberger, F., Spreer, J.: simpcomp—a GAP toolkit for simplicial complexes, Version 2.0.0 (2013). http://code.google.com/p/simpcomp
Forman, R.: Morse theory for cell complexes. Adv. Math. 134(1), 90–145 (1998)
Gabrièlov, A.M., Gel’fand, I.M., Losik, M.V.: Combinatorial calculation of characteristic classes. Funct. Anal. Appl. 9(1), 48–49 (1975)
Gabrièlov, A.M., Gel’fand, I.M., Losik, M.V.: Combinatorial calculus of characteristic classes. Funct. Anal. Appl. 9(3), 186–202 (1975)
Gabrièlov, A.M., Gel’fand, I.M., Losik, M.V.: A local combinatorial formula for the first class of Pontryagin. Funct. Anal. Appl. 10(1), 12–15 (1976)
Gaifullin, A.A.: Local formulae for combinatorial Pontryagin classes. Izv. Math. 68(5), 861–910 (2004)
Gaifullin, A.A.: The construction of combinatorial manifolds with prescribed sets of links of vertices. Izv. Math. 72(5), 845–899 (2008)
Gaifullin, A.A.: Configuration spaces, bistellar moves, and combinatorial formulae for the first Pontryagin class. Proc. Steklov Inst. Math. 268, 70–86 (2010)
Gel’fand, I.M., MacPherson, R.D.: A combinatorial formula for the Pontrjagin classes. Bull. Am. Math. Soc. 26(2), 304–309 (1992)
Gorodkov, D.: A minimal triangulation of the quaternionic projective plane. Russ. Math. Surv. 71(6), 1140–1142 (2016)
Kervaire, M.A., Milnor, J.W.: Groups of homotopy spheres: I. Ann. Math. 77(3), 504–537 (1963)
Kramer, L.: Projective planes and their look-alikes. J. Differ. Geom. 64, 1–55 (2003)
Lutz, F.H.: Triangulated manifolds with few vertices: Combinatorial manifolds (2005). arxiv:0506372
MacPherson, R.: The combinatorial formula of Gabrielov, Gel’fand and Losik for the first Pontrjagin class. Lecture Notes in Mathematics, vol. 677, pp. 105–124. Springer, Berlin (1978)
Milin, L.: A combinatorial computation of the first Pontryagin class of the complex projective plane. Geom. Dedicata 49, 253–291 (1994)
Pachner, U.: Konstruktionsmethoden und das kombinatorische homöomorphieproblem für triangulationen kompakter semilinearer mannigfaltigkeiten. Abh. Math. Sem. Univ. Hamb. 57, 69–86 (1987)
The GAP Group. GAP—Groups, Algorithms, and Programming, Version 4.7.7 (2015). http://www.gap-system.org
Acknowledgements
The author would like to thank his advisor Alexander A. Gaifullin for suggesting this interesting problem, for invaluable discussions, constant attention to this work and patience.
Funding
Funding was provided by the Russian Science Foundation (Grant No. 14-50-00005).
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work has been supported in part by the Moebius Contest Foundation for Young Scientists and by the Russian Science Foundation (Project 14-50-00005).
Electronic supplementary material
Below is the link to the electronic supplementary material.
Rights and permissions
About this article
Cite this article
Gorodkov, D. A 15-Vertex Triangulation of the Quaternionic Projective Plane. Discrete Comput Geom 62, 348–373 (2019). https://doi.org/10.1007/s00454-018-00055-w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-018-00055-w