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

A. A. Gaifullin

Sbornik. Mathematics, Tome 215 (2024) no. 7, pp. 869-910

Résumé

In 1987 Brehm and Kühnel showed that any triangulation of a $d$-manifold (without boundary) that is not homeomorphic to a sphere has at least $3d/2+3$ vertices. Moreover, triangulations with exactly $3d/2+3$ vertices can exist only for ‘manifolds like projective planes’, which can have dimension $2$, $4$, $8$ or $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 constructed first examples of $27$-vertex triangulations of manifolds like the octonionic projective plane $\mathbb{OP}^2$. The four most symmetric of them have the symmetry group $\mathrm{C}_3^3\rtimes \mathrm{C}_{13}$ of order $351$. These triangulations were constructed using specially designed software after the symmetry group had been guessed. However, it remained unclear why exactly this group is realized as a symmetry group and whether $27$-vertex triangulations of manifolds like $\mathbb{OP}^2$ with other (possibly larger) symmetry groups exist. In this paper we find strong restrictions on the 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 results of Smith and Bredon on the topology of fixed-point sets of finite transformation groups. Bibliography: 36 titles.

Détail

Keywords: minimal triangulation, octonionic projective plane, Smith theory, symmetry group.
Mots-clés : Kühnel triangulation

Bibliographie

[1] J. F. Adams, “On the non-existence of elements of Hopf invariant one”, Ann. of Math. (2), 72:1 (1960), 20–104 | DOI | MR | Zbl

[2] A. V. Alekseevskii, “Finite commutative Jordan subgroups of complex simple Lie groups”, Funct. Anal. Appl., 8:4 (1974), 277–279 | DOI | MR | Zbl

[3] P. Alexandroff, “On local properties of closed sets”, Ann. of Math. (2), 36:1 (1935), 1–35 | DOI | MR | Zbl

[4] P. Arnoux and A. Marin, “The Kühnel triangulation of the complex projective plane from the view point of complex crystallography. II”, Mem. Fac. Sci. Kyushu Univ. Ser. A, 45:2 (1991), 167–244 | DOI | MR | Zbl

[5] B. Bagchi and B. Datta, “On Kühnel's 9-vertex complex projective plane”, Geom. Dedicata, 50:1 (1994), 1–13 | DOI | MR | Zbl

[6] B. Bagchi and B. Datta, “Non-existence of $6$-dimensional pseudomanifolds with complementarity”, Adv. Geom., 4:4 (2004), 537–550 | DOI | MR | Zbl

[7] H. U. Besche, B. Eick and E. A. O'Brien, “The groups of order at most 2000”, Electron. Res. Announc. Amer. Math. Soc., 7 (2001), 1–4 | DOI | MR | Zbl

[8] H. U. Besche, B. Eick and E. O'Brien, GAP package SmallGrp, Vers. 1.5.3, GAP — Groups, Algorithms, and Programming, 2024 https://www.gap-system.org/Packages/smallgrp.html

[9] A. Borel, Seminar on transformation groups, Ann. of Math. Stud., 46, Princeton Univ. Press, Princeton, NJ, 1960, vii+245 pp. | DOI | MR | Zbl

[10] G. E. Bredon, “Orientation in generalized manifolds and applications to the theory of transformation groups”, Michigan Math. J., 7:1 (1960), 35–64 | DOI | MR | Zbl

[11] G. E. Bredon, “The cohomology ring structure of a fixed point set”, Ann. of Math. (2), 80:3 (1964), 524–537 | DOI | MR | Zbl

[12] G. E. Bredon, “Cohomological aspects of transformation groups”, Proceedings of the conference on transformation groups (New Orleans, LA 1967), Springer-Verlag New York, Inc., New York, 1968, 245–280 | DOI | MR | Zbl

[13] G. E. Bredon, Introduction to compact transformation groups, Pure Appl. Math., 46, Academic Press, New York–London, 1972, xiii+459 pp. | MR | Zbl

[14] U. Brehm and W. Kühnel, “Combinatorial manifolds with few vertices”, Topology, 26:4 (1987), 465–473 | DOI | MR | Zbl

[15] U. Brehm and W. Kühnel, “15-vertex triangulations of an 8-manifold”, Math. Ann., 294:1 (1992), 167–193 | DOI | MR | Zbl

[16] Handbook of magma functions, v. 5, Finite groups, Vers. 2.25, eds. J. Cannon, W. Bosma, C. Fieker and A. Steel, Sydney, 2019, 641 pp. https://www.math.uzh.ch/sepp/magma-2.25.2-ds/HandbookVolume05.pdf

[17] E. Čech, “Sur les nombres de Betti locaux”, Ann. of Math. (2), 35:3 (1934), 678–701 | DOI | MR | Zbl

[18] F. Chapoton and L. Manivel, “Triangulations and Severi varieties”, Exp. Math., 22:1 (2013), 60–73 | DOI | MR | Zbl

[19] A. M. Cohen and D. B. Wales, “Finite subgroups of $F_4(\mathbb{C})$ and $E_6(\mathbb{C})$”, Proc. London Math. Soc. (3), 74:1 (1997), 105–150 | DOI | MR | Zbl

[20] B. Datta, “Pseudomanifolds with complementarity”, Geom. Dedicata, 73:2 (1998), 143–155 | DOI | MR | Zbl

[21] J. Eells, Jr., and N. H. Kuiper, “Manifolds which are like projective planes”, Publ. Math. Inst. Hautes Études Sci., 14 (1962), 5–46 | DOI | MR | Zbl

[22] A. A. Gaifullin, “634 vertex-transitive and more than $10^{103}$ non-vertex-transitive $27$-vertex triangulations of manifolds like the octonionic projective plane”, Izv. Math., 88:3 (2024), 419–467 ; arXiv: 2207.08507 | DOI

[23] A. A. Gaifullin, “New examples and partial classification of 15-vertex triangulations of the quaternionic projective plane”, Tr. Mat. Inst. Steklova, 326 (2024); arXiv: 2311.11309

[24] A. A. Gaifullin, Triangulations of the quaternionic projective plane and manifolds like the octonionic projective plane, Vers. 2, 2023 https://github.com/agaif/triangulations-like-OP2

[25] D. A. Gorodkov, “A minimal triangulation of the quaternionic projective plane”, Russian Math. Surveys, 71:6 (2016), 1140–1142 | DOI | MR | Zbl

[26] D. Gorodkov, “A 15-vertex triangulation of the quaternionic projective plane”, Discrete Comput. Geom., 62:2 (2019), 348–373 | DOI | MR | Zbl

[27] M. Hall, Jr., “Simple groups of order less than one million”, J. Algebra, 20:1 (1972), 98–102 | DOI | MR | Zbl

[28] G. Higman, “Finite groups in which every element has prime power order”, J. London Math. Soc., 32:3 (1957), 335–342 | DOI | MR | Zbl

[29] V. Klee, “A combinatorial analogue of Poincaré's duality theorem”, Canad. J. Math., 16 (1964), 517–531 | DOI | MR | Zbl

[30] L. Kramer, “Projective planes and their look-alikes”, J. Differential Geom., 64:1 (2003), 1–55 | DOI | MR | Zbl

[31] W. Kühnel and T. F. Banchoff, “The 9-vertex complex projective plane”, Math. Intelligencer, 5:3 (1983), 11–22 | DOI | MR | Zbl

[32] W. Kühnel and G. Lassmann, “The unique 3-neighborly 4-manifold with few vertices”, J. Combin. Theory Ser. A, 35:2 (1983), 173–184 | DOI | MR | Zbl

[33] J. R. Munkres, Elements of algebraic topology, Addison-Wesley Publishing Company, Inc., Menlo Park, CA, 1984, ix+454 pp. | MR | Zbl

[34] I. Novik, “Upper bound theorems for homology manifolds”, Israel J. Math., 108:1 (1998), 45–82 | DOI | MR | Zbl

[35] P. A. Smith, “Transformations of finite period. II”, Ann. of Math. (2), 40:3 (1939), 690–711 | DOI | MR | Zbl

[36] M. Suzuki, “On a class of doubly transitive groups”, Ann. of Math. (2), 75:1 (1962), 105–145 | DOI | MR | Zbl