arXiv++ Combinatorics

Generalizing a result (the case $k = 1$) due to M. A. Perles, we show that any polytopal upper bound sphere of odd dimension $2k + 1$ belongs to the generalized Walkup class ${\cal K}_k(2k + 1)$, i.e., all its vertex links are $k$-stacked spheres. This is surprising since the $k$-stacked spheres minimize the face-vector (among all polytopal spheres with given $f_0,..., f_{k - 1}$) while the upper bound spheres maximize the face vector (among spheres with a given $f_0$). It has been conjectured that for $d\neq 2k + 1$, all $(k + 1)$-neighborly members of the class ${\cal K}_k(d)$ are tight. The result of this paper shows that, for every $k$, the case $d = 2k +1$ is a true exception to this conjecture.

After a brief discussion of the history of the problem, we propose a generalization of the map colouring problem to higher dimensions.

The symmetric group $S_3$ acts on $S^2 \times S^2 \times S^2$ by coordinate permutation, and the quotient space $(S^2 \times S^2 \times 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 \times S^2 \times S^2)_{124}$ of the 64-vertex standard cellulation $S^2_4 \times S^2_4 \times S^2_4$ of $S^2 \times S^2 \times S^2$, such that the $S_3$-action on this cellulation naturally extends to an action on $(S^2 \times S^2 \times S^2)_{124}$. Further, the $S_3$-action on $(S^2 \times S^2 \times S^2)_{124}$ is "good", so that the quotient simplicial complex $(S^2 \times S^2 \times S^2)_{124}/S_3$ is a 30-vertex triangulation $\CC P^3_{30}$ of $\CC P^3$. In other words, we construct a simplicial realization $(S^2 \times S^2 \times S^2)_{124} \to \CC P^3_{30}$ of the branched covering $S^2 \times S^2 \times S^2 \to \CC P^3$. Finally, we apply the BISTELLAR program of Lutz on $\CC P^3_{30}$, resulting in an 18-vertex 2-neighbourly triangulation $\CC P^3_{18}$ of $\CC P^3$. The automorphism group of $\CC P^3_{18}$ 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^3_{18}$ is close to vertex-minimal, if not actually vertex-minimal. Moreover, no explicit triangulation of $\CC P^3$ was known so far.

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.

For $d \geq 2$, Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex-links are stacked $(d-1)$-spheres. Kalai showed that for $d \geq 4$, all connected members of ${\cal K}(d)$ are obtained from stacked $d$-spheres by finitely many elementary handle additions. According to a result of Walkup, the face vector of any triangulated 4-manifold $X$ with Euler characteristic $χ$ satisfies $f_1 \geq 5f_0 - {15/2} χ$, with equality only for $X \in {\cal K}(4)$. Kühnel observed that this implies $f_0(f_0 - 11) \geq -15χ$, with equality only for 2-neighborly members of ${\cal K}(4)$. Kühnel also asked if there is a triangulated 4-manifold with $f_0 = 15$, $χ= -4$ (attaining equality in his lower bound). In this paper, guided by Kalai's theorem, we show that indeed there is such a triangulation. It triangulates the connected sum of three copies of the twisted sphere product $S^3 \times {-2.8mm}_{-} S^1$. Because of Kühnel's inequality, the given triangulation of this manifold is a vertex-minimal triangulation. By a recent result of Effenberger, the triangulation constructed here is tight. Apart from the neighborly 2-manifolds and the infinite family of $(2d+ 3)$-vertex sphere products $S^{d-1} \times S^1$ (twisted for $d$ odd), only fourteen tight triangulated manifolds were known so far. The present construction yields a new member of this sporadic family. We also present a self-contained proof of Kalai's result.

In this paper we present a self-contained combinatorial proof of the lower bound theorem for normal pseudomanifolds, including a treatment of the cases of equality in this theorem. We also discuss McMullen and Walkup's generalised lower bound conjecture for triangulated spheres in the context of the lower bound theorem. Finally, we pose a new lower bound conjecture for non-simply connected triangulated manifolds.

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.

A normal pseudomanifold is a pseudomanifold in which the links of simplices are also pseudomanifolds. So, a normal 2-pseudomanifold triangulates a connected closed 2-manifold. But, normal $d$-pseudomanifolds form a broader class than triangulations of connected closed $d$-manifolds for $d \geq 3$. Here, we classify all the 8-vertex neighbourly normal 3-pseudomanifolds. This gives a classification of all the 8-vertex normal 3-pseudomanifolds. There are 73 such 3-pseudomanifolds, 38 of which triangulate the 3-sphere and other 35 are not combinatorial 3-manifolds. These 35 triangulate six distinct topological spaces. As a preliminary result, we show that any 8-vertex 3-pseudomanifold is equivalent by proper bistellar moves to an 8-vertex neighbourly 3-pseudomanifold. This result is the best possible since there exists a 9-vertex non-neighbourly 3-pseudomanifold ($B^3_9$ in Example 7 below) which does not allow any proper bistellar moves.

Via a computer search, Altshuler and Steinberg found that there are 1296 +1 combinatorial 3-manifolds on nine vertices, of which only one is non-sphere. This exceptional 3-manifold $K^{3}_{9}$ triangulates the twisted $S^{2}$-bundle over $S^{1}$. It was first constructed by Walkup. In this paper, we present a computer-free proof of the uniqueness of this non-sphere combinatorial 3-manifold. As opposed to the computer-generated proof, ours does not require wading through all the 9-vertex 3-spheres. As a preliminary result, we also show that any 9-vertex combinatorial 3-manifold is equivalent by proper bistellar moves to a 9-vertex neighbourly 3-manifold.

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.

A polyhedral map is called $\{p, q\}$-equivelar if each face has $p$ edges and each vertex belongs to $q$ faces. In 1983, it was shown that there exist infinitely many geometrically realizable $\{p, q\}$-equivelar polyhedral maps if $q > p = 4$, $p > q = 4$ or $q - 3 > p = 3$. It was shown in 2001 that there exist infinitely many $\{4, 4\}$- and $\{3, 6\}$-equivelar polyhedral maps. In 1990, it was shown that $\{5, 5\}$- and $\{6, 6\}$-equivelar polyhedral maps exist. In this note, examples are constructed, to show that infinitely many self dual $\{k, k\}$-equivelar polyhedral maps exist for each $k \geq 5$. Also vertex-minimal non-singular $\{p, p\}$-pattern are constructed for all odd primes $p$.

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.