A triangulation of CP ^3 as symmetric cube of S ^2

DOI10.1007/S00454-012-9436-2MaRDI QIDQ452007zbMATH OpenOpenAlexFDO

Authors Bhaskar Bagchi, Basudeb Datta

Publication date 19 September 2012

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1012.3235

zbMATH Keywords

branched simplicial coveringcomplex projective spacesimplicial subdivision

Mathematics Subject Classification ID

Polyhedral manifolds (52B70) Triangulating manifolds (57Q15)

Abstract: The symmetric group $S_3$ acts on $S^{2}imes{S}^{2}imes{S}^2$ by coordinate permutation, and the quotient space $(S^{2}imes{S}^{2}imes{S}^2)/S_3$ is homeomorphic to the complex projective space $CC{P}^3$. In this paper, we construct an 124-vertex simplicial subdivision $(S^{2}imes{S}^{2}imes{S}^2{)}_{124}$ of the 64-vertex standard cellulation $S_4^{2}imes{S}_4^{2}imes{S}_4^2$ of $S^{2}imes{S}^{2}imes{S}^2$, such that the $S_3$-action on this cellulation naturally extends to an action on $(S^{2}imes{S}^{2}imes{S}^2{)}_{124}$. Further, the $S_3$-action on $(S^{2}imes{S}^{2}imes{S}^2{)}_{124}$ is "good", so that the quotient simplicial complex $(S^{2}imes{S}^{2}imes{S}^2{)}_{124}/S_3$ is a 30-vertex triangulation $CC{P}_{30}^3$ of $CC{P}^3$. In other words, we construct a simplicial realization $(S^{2}imes{S}^{2}imes{S}^2{)}_{124}oCC{P}_{30}^3$ of the branched covering $S^{2}imes{S}^{2}imes{S}^{2}oCC{P}^3$. Finally, we apply the BISTELLAR program of Lutz on $CC{P}_{30}^3$, resulting in an 18-vertex 2-neighbourly triangulation $CC{P}_{18}^3$ of $CC{P}^3$. The automorphism group of $CC{P}_{18}^3$ is trivial. It may be recalled that, by a result of Arnoux and Marin, any triangulation of $CC{P}^3$ requires at least 17 vertices. So, $CC{P}_{18}^3$ is close to vertex-minimal, if not actually vertex-minimal. Moreover, no explicit triangulation of $CC{P}^3$ was known so far.

Review text

In a previous paper [ibid. 46, 542--560 (2011; Zbl 1231.51016)] the authors constructed a 10-vertex triangulation of \(\mathbb{C} P^2\) as a branched quotient of the 16-vertex product \(S^2\times S^2\), subdivided in a certain way. This branched simplicial covering preserves a large part of the symmetry. In the paper under review, they start with the 64-vertex product \(S^2\times S^2\times S^2\), subdivided in a certain way, and construct a 30-vertex simplicial triangulation of \(\mathbb{C}^3\) as a branched quotient. Here the subdivision requires 60 extra vertices since there is no simultaneous and coherent triangulation of all the various cubes that come in here. The mapping from \((S^2)^3\) to \(\mathbb{C} P^3\) is a simplicial branched covering, and again a large symmetry group is preserved. By bi-stellar moves, the number of vertices for \(\mathbb{C} P^3\) could be reduced to 18 but not (or not yet) to 17. There is no 16-vertex triangulation according to \textit{P. Arnoux} and \textit{A. Marin} [Mem. Fac. Sci., Kyushu Univ., Ser. A 45, No. 2, 1670--244 (1991; Zbl 0753.52002)].

Recommendations

• A minimal irreducible triangulation of S^3
• Toric symmetry of \(\mathbb{CP}^3\)
• From the icosahedron to natural triangulations of \(\mathbb {C}\mathbb{P}^{2}\) and \(S ^{2}\times S ^{2}\)
• Strongly minimal triangulations of \((S^{3} \times S^{1})^{\#3}\) and \((S^{3}\rotatebox{90}{\(\ltimes\)}S^{1})^{\#3}\)
• \(\tilde K'_ 3\)- A new triangulation of \(R^ n\)
• scientific article; zbMATH DE number 1786790
• Centrally symmetric and balanced triangulations of \(\mathbb{S}^2 \times \mathbb{S}^{d - 3}\) with few vertices
• scientific article; zbMATH DE number 3892218
• Representing 3-manifolds by triangulations of S^3. I: A constructive approach
• Lattice triangulations of \(\mathbb{E}^3 \) and of the 3-torus

Cites work

• Equilibrium triangulations of the complex projective plane
• From the icosahedron to natural triangulations of \(\mathbb {C}\mathbb{P}^{2}\) and \(S ^{2}\times S ^{2}\)
• scientific article; zbMATH DE number 5979116 (Why is no real title available?)
• Lectures on Polytopes
• On Kühnel's 9-vertex complex projective plane
• Simplicial blowups and discrete normal surfaces in \textsf{simpcomp}
• The 9-vertex complex projective plane
• THE KÜHNEL TRIANGULATION OF THE COMPLEX PROJECTIVE PLANE FROM THE VIEW POINT OF COMPLEX CRYSTALLOGRAPHY PART II
• Triangulations of complex projective spaces

Cited in

(7)

• A minimal triangulation of complex projective plane admitting a chess colouring of four-dimensional simplices
• Centrally symmetric and balanced triangulations of \(\mathbb{S}^2 \times \mathbb{S}^{d - 3}\) with few vertices
• Algebraic topology in India
• THE KÜHNEL TRIANGULATION OF THE COMPLEX PROJECTIVE PLANE FROM THE VIEW POINT OF COMPLEX CRYSTALLOGRAPHY PART I
• From the icosahedron to natural triangulations of \(\mathbb {C}\mathbb{P}^{2}\) and \(S ^{2}\times S ^{2}\)
• Simplicial cell decompositions of \(\mathbb{C}\mathbb{P}^{n} \)
• The rhombidodecahedral tessellation of 3-space and a particular 15-vertex triangulation of the 3-dimensional torus

Describes a project that uses

Uses Software

• simpcomp
• BISTELLAR

This page was built for publication: A triangulation of \(\mathbb CP ^{3}\) as symmetric cube of \(S ^{2}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q452007)