Abstract :

According to a well-known result in geometric topology, we have $(S^2)^n/Sym(n) = \mathbb{CP}^n$, where $Sym(n)$ acts on $(S^2)^n$ by coordinate permutation. We use this fact to explicitly construct a regular simplicial cell decomposition of $\mathbb{CP}^n$ for each $n > 1$. Taking the first derived subdivision of this cell complex produces a triangulation of $\mathbb{CP}^n$. To the best of our knowledge, this is the first explicit description of triangulations of $\mathbb{CP}^n$ for $n > 3$. This is a joint work with Jonathan Spreer, University of Sydney.