arXiv++ Combinatorics

We present some natural crystallizations of the generalized lens spaces $L(p, q_1, \dots, q_n)$ for integers $p\geq 2$, $n\geq 1$ and integers $q_1, \dots, q_n$ relatively prime to $p$. These crystallizations are quotients of triangulations of the sphere $S^{2n+1}$.

According to a well-known result in geometric topology, we have \linebreak $\left (\mathbb{S}^2 \right)^{n}\!\!/\operatorname{Sym}(n) = \mathbb{CP}^{n}$, where $\operatorname{Sym}(n)$ acts on $\left (\mathbb{S}^2 \right)^{n}$ by coordinate permutation. We use this fact to explicitly construct a regular simplicial cell decomposition of $\mathbb{CP}^{n}$ for each $n \geq 2$. In more detail, we start with the standard two triangle crystallisation $S^2_3$ of the $2$-sphere $\mathbb{S}^2$, in its $n$-fold Cartesian product. We then construct a simplicial subdivision of this product and prove that the $\operatorname{Sym}(n)$ quotient of this subdivision yields a simplicial cell decomposition of $\mathbb{CP}^n$. The first derived subdivision of this cell complex is a simplicial 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 \geq 4$.

In this paper we study the structure of cellular pseudomanifolds (aka abstract polytopes). These are natural combinatorial generalisations of polytopal spheres (i.e., boundary complexes of convex polytopes). This class is closed under natural notions of duality and product. We show that they are also closed under an operation of direct product. Any cellular pseudomanifold and it's dual have homeomorphic geometric carriers, while the geometric carrier of the product of two of them is homeomorphic to the product of the carriers of the factors. The excess of a cellular pseudomanifold is defined as the non-negative integer $n - d - 2$ where $d$ is the dimension and $n$ is the number of vertices. We completely classify the cellular pseudo manifolds of excess $< 2$, and make some progress towards classifying those of excess 2.

A map $X$ on a surface is called vertex-transitive if the automorphism group of $X$ acts transitively on the set of vertices of $X$. If the face-cycles at all the vertices in a map are of same type then the map is called semi-equivelar. In general, semi-equivelar maps on a surface form a bigger class than vertex-transitive maps. There are semi-equivelar toroidal maps which are not vertex-transitive. In this article, we show that semi-equivelar toroidal maps are quotients of vertex-transitive toroidal maps. More explicitly, we prove that each semi-equivelar toroidal map has a finite vertex-transitive cover. In 2019, Drach {\em et al.} have shown that each vertex-transitive toroidal map has a minimal almost regular cover. Therefore, semi-equivelar toroidal maps are quotients of almost regular toroidal maps.

A semi-regular tiling of the hyperbolic plane is a tessellation by regular geodesic polygons with the property that each vertex has the same vertex-type, which is a cyclic tuple of integers that determine the number of sides of the polygons surrounding the vertex. We determine combinatorial criteria for the existence, and uniqueness, of a semi-regular tiling with a given vertex-type, and pose some open questions.

A vertex-transitive map $X$ is a map on a surface on which the automorphism group of $X$ acts transitively on the set of vertices of $X$. If the face-cycles at all the vertices in a map are of same type then the map is called a semi-equivelar map. Clearly, a vertex-transitive map is semi-equivelar. Converse of this is not true in general. In particular, there are semi-equivelar maps on the torus, on the Klein bottle and on the surfaces of Euler characteristics $-1$ $\&$ $-2$ which are not vertex-transitive. It is known that the boundaries of Platonic solids, Archimedean solids, regular prisms and antiprisms are vertex-transitive maps on $\mathbb{S}^2$. Here we show that there is exactly one semi-equivelar map on $\mathbb{S}^2$ which is not vertex-transitive. More precisely, we show that a semi-equivelar map on $\mathbb{S}^2$ is the boundary of a Platonic solid, an Archimedean solid, a regular prism, an antiprism or the pseudorhombicuboctahedron. As a consequence, we show that all the semi-equivelar maps on $\mathbb{RP}^2$ are vertex-transitive. Moreover, every semi-equivelar map on $\mathbb{S}^2$ can be geometrized, i.e., every semi-equivelar map on $\mathbb{S}^2$ is isomorphic to a semi-regular tiling of $\mathbb{S}^2$. In the course of the proof of our main result, we present a combinatorial characterization in terms of an inequality of all the types of semi-equivelar maps on $\mathbb{S}^2$. Here, we present self-contained combinatorial proofs of all our results.

A degree-regular triangulation is one in which each vertex has identical degree. Our main result is that any such triangulation of a (possibly non-compact) surface $S$ is geometric, that is, it is combinatorially equivalent to a geodesic triangulation with respect to a constant curvature metric on $S$, and we list the possibilities. A key ingredient of the proof is to show that any two $d$-regular triangulations of the plane for $d> 6 $ are combinatorially equivalent. The proof of this uniqueness result, which is of independent interest, is based on an inductive argument involving some combinatorial topology.

If the face-cycles at all the vertices in a map on a surface are of same type then the map is called semi-equivelar. There are eleven types of Archimedean tilings on the plane. All the Archimedean tilings are semi-equivelar maps. If a map $X$ on the torus is a quotient of an Archimedean tiling on the plane then the map $X$ is semi-equivelar. We show that each semi-equivelar map on the torus is a quotient of an Archimedean tiling on the plane. Vertex-transitive maps are semi-equivelar maps. We know that four types of semi-equivelar maps on the torus are always vertex-transitive and there are examples of other seven types of semi-equivelar maps which are not vertex-transitive. We show that the number of ${\rm Aut}(Y)$-orbits of vertices for any semi-equivelar map $Y$ on the torus is at most six. In fact, the number of orbits is at most three except one type of semi-equivelar maps. Our bounds on the number of orbits are sharp.

It is well-known that the Pachner graph of $n$-vertex triangulated $2$-spheres is connected, i.e., each pair of $n$-vertex triangulated $2$-spheres can be turned into each other by a sequence of edge flips for each $n\geq 4$. In this article, we study various induced subgraphs of this graph. In particular, we prove that the subgraph of $n$-vertex flag $2$-spheres distinct from the double cone is still connected. In contrast, we show that the subgraph of $n$-vertex stacked $2$-spheres has at least as many connected components as there are trees on $\lfloor\frac{n-5}{3}\rfloor$ nodes with maximum node-degree at most four.

A vertex-transitive map $X$ is a map on a closed surface on which the automorphism group ${\rm Aut}(X)$ acts transitively on the set of vertices. If the face-cycles at all the vertices in a map are of same type then the map is said to be a semi-equivelar map. Clearly, a vertex-transitive map is semi-equivelar. Converse of this is not true in general. We show that there are eleven types of semi-equivelar maps on the torus. Three of these are equivelar maps. It is known that two of the three types of equivelar maps on the torus are always vertex-transitive. We show that this is true for the remaining one type of equivelar map and one other type of semi-equivelar maps, namely, if $X$ is a semi-equivelar map of type $[6^3]$ or $[3^3, 4^2]$ then $X$ is vertex-transitive. We also show, by presenting examples, that this result is not true for the remaining seven types of semi-equivelar maps. There are ten types of semi-equivelar maps on the Klein bottle. We present examples in each of the ten types which are not vertex-transitive.

For a field $\mathbb{F}$, the notion of $\mathbb{F}$-tightness of simplicial complexes was introduced by Kühnel. Kühnel and Lutz conjectured that any $\mathbb{F}$-tight triangulation of a closed manifold is the most economic of all possible triangulations of the manifold. The boundary of a triangle is the only $\mathbb{F}$-tight triangulation of a closed 1-manifold. A triangulation of a closed 2-manifold is $\mathbb{F}$-tight if and only if it is $\mathbb{F}$-orientable and neighbourly. In this paper we prove that a triangulation of a closed 3-manifold is $\mathbb{F}$-tight if and only if it is $\mathbb{F}$-orientable, neighbourly and stacked. In consequence, the Kühnel-Lutz conjecture is valid in dimension $\leq 3$.

Tight triangulations are exotic, but highly regular objects in combinatorial topology. A triangulation is tight if all its piecewise linear embeddings into a Euclidean space are as convex as allowed by the topology of the underlying manifold. Tight triangulations are conjectured to be strongly minimal, and proven to be so for dimensions $\leq 3$. However, in spite of substantial theoretical results about such triangulations, there are precious few examples. In fact, apart from dimension two, we do not know if there are infinitely many of them in any given dimension. In this paper, we present a computer-friendly combinatorial scheme to obtain tight triangulations, and present new examples in dimensions three, four and five. Furthermore, we describe a family of tight triangulated $d$-manifolds, with $2^{d-1} \lfloor d / 2 \rfloor ! \lfloor (d-1) / 2 \rfloor !$ isomorphically distinct members for each dimension $d \geq 2$. While we still do not know if there are infinitely many tight triangulations in a fixed dimension $d > 2$, this result shows that there are abundantly many.

Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time algorithm, but efficient methods to decide tightness are only known in the trivial setting of triangulated surfaces. In this article, we present a new polynomial time procedure to decide tightness for triangulations of $3$-manifolds -- a problem which previously was thought to be hard. Furthermore, we describe an algorithm to decide general tightness in the case of $4$-dimensional combinatorial manifolds which is fixed parameter tractable in the treewidth of the $1$-skeletons of their vertex links, and we present an algorithm to decide $\mathbb{F}_2$-tightness for weak pseudomanifolds $M$ of arbitrary but fixed dimension which is fixed parameter tractable in the treewidth of the dual graph of $M$.

It is well known that a triangulation of a closed 2-manifold is tight with respect to a field of characteristic two if and only if it is neighbourly; and it is tight with respect to a field of odd characteristic if and only if it is neighbourly and orientable. No such characterization of tightness was previously known for higher dimensional manifolds. In this paper, we prove that a triangulation of a closed 3-manifold is tight with respect to a field of odd characteristic if and only if it is neighbourly, orientable and stacked. In consequence, the Kühnel-Lutz conjecture is valid in dimension three for fields of odd characteristic. Next let $\mathbb{F}$ be a field of characteristic two. It is known that, in this case, any neighbourly and stacked triangulation of a closed 3-manifold is $\mathbb{F}$-tight. For triangulated closed 3-manifolds with at most 71 vertices or with first Betti number at most 188, we show that the converse is true. But the possibility of an $\mathbb{F}$-tight non-stacked triangulation on a larger number of vertices remains open. We prove the following upper bound theorem on such triangulations. If an $\mathbb{F}$-tight triangulation of a closed 3-manifold has $n$ vertices and first Betti number $β_1$, then $(n-4)(617n- 3861) \leq 15444β_1$. Equality holds here if and only if all the vertex links of the triangulation are connected sums of boundary complexes of icosahedra.

We prove two results on stacked triangulated manifolds in this paper: (a) every stacked triangulation of a connected manifold with or without boundary is obtained from a simplex or the boundary of a simplex by certain combinatorial operations; (b) in dimension $d \geq 4$, if $Δ$ is a tight connected closed homology $d$-manifold whose $i$th homology vanishes for $1 < i < d-1$, then $Δ$ is a stacked triangulation of a manifold.These results give affirmative answers to questions posed by Novik and Swartz and by Effenberger.

In 1987, Kalai proved that stacked spheres of dimension $d\geq 3$ are characterised by the fact that they attain equality in Barnette's celebrated Lower Bound Theorem. This result does not extend to dimension $d=2$. In this article, we give a characterisation of stacked $2$-spheres using what we call the {\em separation index}. Namely, we show that the separation index of a triangulated $2$-sphere is maximal if and only if it is stacked. In addition, we prove that, amongst all $n$-vertex triangulated $2$-spheres, the separation index is {\em minimised} by some $n$-vertex flag sphere for $n\geq 6$. Furthermore, we apply this characterisation of stacked $2$-spheres to settle the outstanding $3$-dimensional case of the Lutz-Sulanke-Swartz conjecture that "tight-neighbourly triangulated manifolds are tight". For dimension $d\geq 4$, the conjecture has already been proved by Effenberger following a result of Novik and Swartz.

We give an explicit construction of vertex-transitive tight triangulations of $d$-manifolds for $d\geq 2$. More explicitly, for each $d\geq 2$, we construct two $(d^2+5d+5)$-vertex neighborly triangulated $d$-manifolds whose vertex-links are stacked spheres. The only other non-trivial series of such tight triangulated manifolds currently known is the series of non-simply connected triangulated $d$-manifolds with $2d+3$ vertices constructed by Kühnel. The manifolds we construct are strongly minimal. For $d\geq 3$, they are also tight neighborly as defined by Lutz, Sulanke and Swartz. Like Kühnel's complexes, our manifolds are orientable in even dimensions and non-orientable in odd dimensions.

We introduce the class $Σ_k(d)$ of $k$-stellated (combinatorial) spheres of dimension $d$ ($0 \leq k \leq d + 1$) and compare and contrast it with the class ${\cal S}_k(d)$ ($0 \leq k \leq d$) of $k$-stacked homology $d$-spheres. We have $Σ_1(d) = {\cal S}_1(d)$, and $Σ_k(d) \subseteq {\cal S}_k(d)$ for $d \geq 2k - 1$. However, for each $k \geq 2$ there are $k$-stacked spheres which are not $k$-stellated. The existence of $k$-stellated spheres which are not $k$-stacked remains an open question. We also consider the class ${\cal W}_k(d)$ (and ${\cal K}_k(d)$) of simplicial complexes all whose vertex-links belong to $Σ_k(d - 1)$ (respectively, ${\cal S}_k(d - 1)$). Thus, ${\cal W}_k(d) \subseteq {\cal K}_k(d)$ for $d \geq 2k$, while ${\cal W}_1(d) = {\cal K}_1(d)$. Let $\bar{\cal K}_k(d)$ denote the class of $d$-dimensional complexes all whose vertex-links are $k$-stacked balls. We show that for $d\geq 2k + 2$, there is a natural bijection $M \mapsto \bar{M}$ from ${\cal K}_k(d)$ onto $\bar{\cal K}_k(d + 1)$ which is the inverse to the boundary map $\partial \colon \bar{\cal K}_k(d + 1) \to {\cal K}_k(d)$.

Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex links are stacked $(d-1)$-spheres. 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)$. For $n = 6, 11$ and 15, there are triangulated 4-manifolds with $f_0=n$ and $f_0(f_0 - 11) = -15χ$. In this article, we present triangulated 4-manifolds with $f_0 = 21, 26$ and 41 which satisfy $f_0(f_0 - 11) = -15χ$. All these triangulated manifolds are tight and strongly minimal.

We introduce the $k$-stellated spheres and consider the class ${\cal W}_k(d)$ of triangulated $d$-manifolds all whose vertex links are $k$-stellated, and its subclass ${\cal W}^{\ast}_k(d)$ consisting of the $(k+1)$-neighbourly members of ${\cal W}_k(d)$. We introduce the mu-vector of any simplicial complex and show that, in the case of 2-neighbourly simplicial complexes, the mu-vector dominates the vector of its Betti numbers componentwise; the two vectors are equal precisely for tight simplicial complexes. We are able to estimate/compute certain alternating sums of the components of the mu-vector of any 2-neighbourly member of ${\cal W}_k(d)$ for $d\geq 2k$. As one consequence of this theory, we prove a lower bound theorem for such triangulated manifolds, as well as determine the integral homology type of members of ${\cal W}^{\ast}_k(d)$ for $d \geq 2k+2$. As another application, we prove that, when $d \neq 2k+1$, all members of ${\cal W}^{\ast}_k(d)$ are tight. We also characterize the tight members of ${\cal W}^{\ast}_k(2k + 1)$ in terms of their $k^{\rm th}$ Betti numbers. These results more or less answer a recent question of Effenberger, and also provide a uniform and conceptual tightness proof for all except two of the known tight triangulated manifolds. We also prove a lower bound theorem for triangulated manifolds in which the members of ${\cal W}_1(d)$ provide the equality case. This generalises a result (the $d=4$ case) due to Walkup and Kuehnel. As a consequence, it is shown that every tight member of ${\cal W}_1(d)$ is strongly minimal, thus providing substantial evidence in favour of a conjecture of Kuehnel and Lutz asserting that tight triangulated manifolds should be strongly minimal.