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

DOI10.1007/S00454-012-9436-2zbMATH Open1260.57041arXiv1012.3235OpenAlexW2102714884MaRDI QIDQ452007FDOQ452007

Basudeb Datta, Bhaskar Bagchi

Publication date: 19 September 2012

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

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.

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

Recommendations

• A minimal irreducible triangulation of \(\mathbb 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

zbMATH Keywords

complex projective spacebranched simplicial coveringsimplicial subdivision

Mathematics Subject Classification ID

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

Cites Work

• Simplicial blowups and discrete normal surfaces in simpcomp
• Lectures on Polytopes
• Equilibrium triangulations of the complex projective plane
• On Kühnel's 9-vertex complex projective plane
• Title not available (Why is that?)
• Title not available (Why is that?)
• THE KÜHNEL TRIANGULATION OF THE COMPLEX PROJECTIVE PLANE FROM THE VIEW POINT OF COMPLEX CRYSTALLOGRAPHY PART II
• From the icosahedron to natural triangulations of \(\mathbb {C}\mathbb{P}^{2}\) and \(S ^{2}\times S ^{2}\)
• The 9-vertex complex projective plane

Cited In (3)

• The rhombidodecahedral tessellation of 3-space and a particular 15-vertex triangulation of the 3-dimensional torus
• THE KÜHNEL TRIANGULATION OF THE COMPLEX PROJECTIVE PLANE FROM THE VIEW POINT OF COMPLEX CRYSTALLOGRAPHY PART I
• Algebraic topology in India

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)