arXiv++ Combinatorics

We present two constructions in this paper: (a) A 10-vertex triangulation $\CC P^{2}_{10}$ of the complex projective plane $\CC P^{2}$ as a subcomplex of the join of the standard sphere ($S^{2}_4$) and the standard real projective plane ($\RR P^{2}_{6}$, the decahedron), its automorphism group is $A_4$; (b) a 12-vertex triangulation $(S^{2} \times S^{2})_{12}$ of $S^{2} \times S^{2}$ with automorphism group $2S_5$, the Schur double cover of the symmetric group $S_5$. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$. Both constructions have surprising and intimate relationships with the icosahedron. It is well known that $\CC P^{2}$ has $S^{2} \times S^{2}$ as a two-fold branched cover; we construct the triangulation $\CC P^{2}_{10}$ of $\CC P^{2}$ by presenting a simplicial realization of this covering map $S^{2} \times S^{2} \to \CC P^{2}$. The domain of this simplicial map is a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$, different from the triangulation alluded to in (b). This gives a new proof that Kuehnel's $\CC P^{2}_{9}$ triangulates $\CC P^{2}$. It is also shown that $\CC P^{2}_{10}$ and $(S^{2} \times S^{2})_{12}$ induce the standard piecewise linear structure on $\CC P^{2}$ and $S^{2} \times S^{2}$ respectively.

We obtain a geometric realization of a minimal 8-vertex triangulation of the dunce hat in Euclidean 3-space. We show there is a simplicial 3-ball with 8 vertices that is collapsible, but also collapses onto the dunce hat, which is not collapsible. This 3-ball is as small as possible, because all triangulated 3-balls with fewer vertices are extendably collapsible. As we will see, the Alexander dual of the dunce hat is collapsible.

Products of simplices, called simplotopes, and their triangulations arise naturally in algorithmic applications in game theory and optimization. We develop techniques to derive lower bounds for the size of simplicial covers and triangulations of simplotopes, including those with interior vertices. We establish that a minimal triangulation of a product of two simplices is given by a vertex triangulation, i.e., one without interior vertices. For products of more than two simplices, we produce bounds for products of segments and triangles. Aside from cubes, these are the first known lower bounds for triangulations of simplotopes with three or more factors, and our techniques suggest extensions to products of other kinds of simplices. We also construct a minimal triangulation of size 10 for the product of a triangle and a square using our lower bound.

The 4-dimensional abstract Kummer variety K^4 with 16 nodes leads to the K3 surface by resolving the 16 singularities. Here we present a simplicial realization of this minimal resolution. Starting with a minimal 16-vertex triangulation of K^4 we resolve its 16 isolated singularities - step by step - by simplicial blowups. As a result we obtain a 17-vertex triangulation of the standard PL K3 surface. A key step is the construction of a triangulated version of the mapping cylinder of the Hopf map from the real projective 3-space onto the 2-sphere with the minimum number of vertices. Moreover we study simplicial Morse functions and the changes of their levels between the critical points. In this way we obtain slicings through the K3 surface of various topological types.

We show that no minimal vertex triangulation of a closed, connected, orientable 2-manifold of genus 6 admits a polyhedral embedding in R^3. We also provide examples of minimal vertex triangulations of closed, connected, orientable 2-manifolds of genus 5 that do not admit any polyhedral embeddings. We construct a new infinite family of non-realizable triangulations of surfaces. These results were achieved by transforming the problem of finding suitable oriented matroids into a satisfiability problem. This method can be applied to other geometric realizability problems, e.g. for face lattices of polytopes.

We give explicit realizations with small integer coordinates for all triangulated tori with up to 12 vertices. In particular, we provide coordinate-minimal realizations in general position for all triangulations of the torus with 7, 8, 9, and 10 vertices. For the unique 7-vertex triangulation of the torus we show that all corresponding 72 oriented matroids are realizable in the 6x6x6-cube. Moreover, we present polyhedral tori with 8 vertices in the 2x2x2-cube, general position realizations of triangulated tori with 8 vertices in the 2x2x3-cuboid as well as polyhedral tori with 9 and 10 vertices in the 1x2x2-cuboid.

In this survey article, we are interested on minimal triangulations of closed pl manifolds. We present a brief survey on the works done in last 25 years on the following: (i) Finding the minimal number of vertices required to triangulate a given pl manifold. (ii) Given positive integers $n$ and $d$, construction of $n$-vertex triangulations of different $d$-dimensional pl manifolds. (iii) Classifications of all the triangulations of a given pl manifold with same number of vertices. In Section 1, we have given all the definitions which are required for the remaining part of this article. In Section 2, we have presented a very brief history of triangulations of manifolds. In Section 3, we have presented examples of several vertex-minimal triangulations. In Section 4, we have presented some interesting results on triangulations of manifolds. In particular, we have stated the Lower Bound Theorem and the Upper Bound Theorem. In Section 5, we have stated several results on minimal triangulations without proofs. Proofs are available in the references mentioned there.

For integers $d \geq 2$ and $ε= 0$ or 1, let $S^{1, d - 1}(ε)$ denote the sphere product $S^{1} \times S^{d - 1}$ if $ε= 0$ and the twisted $S^{d - 1}$ bundle over $S^{1}$ if $ε= 1$. The main results of this paper are: (a) if $d \equiv ε$ (mod 2) then $S^{1, d - 1}(ε)$ has a unique minimal triangulation using $2d + 3$ vertices, and (b) if $d \equiv 1 - ε$ (mod 2) then $S^{1, d - 1}(ε)$ has minimal triangulations (not unique) using $2d + 4$ vertices. The second result confirms a recent conjecture of Lutz. The first result provides the first known infinite family of closed manifolds (other than spheres) for which the minimal triangulation is unique. Actually, we show that while $S^{1, d - 1}(ε)$ has at most one $(2d + 3)$-vertex triangulation (one if $d \equiv ε$ (mod 2), zero otherwise), in sharp contrast, the number of non-isomorphic $(2d + 4)$-vertex triangulations of these $d$-manifolds grows exponentially with $d$ for either choice of $ε$. The result in (a), as well as the minimality part in (b), is a consequence of the following result: (c) for $d \geq 3$, there is a unique $(2d + 3)$-vertex simplicial complex which triangulates a non-simply connected closed manifold of dimension $d$. This amazing simplicial complex was first constructed by Kühnel in 1986. Generalizing a 1987 result of Brehm and Kühnel, we prove that (d) any triangulation of a non-simply connected closed $d$-manifold requires at least $2d + 3$ vertices. The result (c) completely describes the case of equality in (d). The proofs rest on the Lower Bound Theorem for normal pseudomanifolds and on a combinatorial version of Alexander duality.

Simultaneous diagonal flips in plane triangulations are investigated. It is proved that every $n$-vertex triangulation with at least six vertices has a simultaneous flip into a 4-connected triangulation, and that it can be computed in O(n) time. It follows that every triangulation has a simultaneous flip into a Hamiltonian triangulation. This result is used to prove that for any two $n$-vertex triangulations, there exists a sequence of $O(\log n)$ simultaneous flips to transform one into the other. The total number of edges flipped in this sequence is O(n). The maximum size of a simultaneous flip is then studied. It is proved that every triangulation has a simultaneous flip of at least ${1/3}(n-2)$ edges. On the other hand, every simultaneous flip has at most $n-2$ edges, and there exist triangulations with a maximum simultaneous flip of ${6/7}(n-2)$ edges.

Let $M$ be an $n$-vertex combinatorial triangulation of a $\ZZ_2$-homology $d$-sphere. In this paper we prove that if $n \leq d + 8$ then $M$ must be a combinatorial sphere. Further, if $n = d + 9$ and $M$ is not a combinatorial sphere then $M$ can not admit any proper bistellar move. Existence of a 12-vertex triangulation of the lens space $L(3, 1)$ shows that the first result is sharp in dimension three. In the course of the proof we also show that any $\ZZ_2$-acyclic simplicial complex on $\leq 7$ vertices is necessarily collapsible. This result is best possible since there exist 8-vertex triangulations of the Dunce Hat which are not collapsible.

A {\em $1-$vertex triangulation} of an oriented compact surface $S$ of genus $g$ is an embedded graph $T\subset S$ with a unique vertex such that all connected components of $S\setminus T$ are triangles (adjacent to exactly 3 edges of $T$). This paper gives formulas enumerating such triangulations (up to equivalence) on an oriented surface of given genus. {\em Une triangulation à un sommet} d'une surface orientée compacte $S$ de genre $g$ est un graphe $T\subset S$ qui a un unique sommet et dont toutes les faces (composantes connexes de $S\setminus T$) sont des triangles (incidentes à trois arêtes de $T$). Cet article donne des formules permettant d'énumérer ces triangulations.

In this paper our main result states that there exist exactly three combinatorially distinct centrally-symmetric 12-vertex-triangulations of the product of two 2-spheres with a cyclic symmetry. We also compute the automorphism groups of the triangulations. These instances suggest that there is a triangulation of $S^2 \times S^2$ with 11 vertices -- the minimum number of vertices required.