arXiv++ Combinatorics

The independence complex and the perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining the homotopy types and other topological properties of these complexes is, in general, a difficult problem, and explicit descriptions are known only for relatively restricted classes of graphs, typically possessing substantial combinatorial regularity or symmetry. Although these complexes have been extensively investigated for several families of graphs, including square grid graphs, comparatively little is known for other natural families of highly symmetric graphs. In this article, we determine the homotopy types of the independence complex and the perfect matching complex of the Möbius ladder graphs $M_{2n}$. Möbius ladder graphs form a natural and highly symmetric family of cubic graphs obtained from a $2n$-cycle by joining pairs of opposite vertices. We prove that the homotopy type of the independence complex $\operatorname{Ind}(M_{2n})$ depends periodically on $n$ modulo $4$: for $n=4k$, it is homotopy equivalent to $\mathbb{S}^{2k-1}$; for $n=4k+2$, it is homotopy equivalent to a wedge of three copies of $\mathbb{S}^{2k}$; and for $n=4k+1$ or $4k+3$, it is homotopy equivalent to $\mathbb{S}^{2k}$. We further determine the homotopy type of the perfect matching complex $\mathcal{M}_p(M_{2n})$. For even $n$, it is homotopy equivalent to a wedge of two copies of $\mathbb{S}^{(n-2)/2}$, while for odd $n$ its homotopy type depends periodically on $n$ modulo $6$. Thus, our results provide explicit descriptions of two fundamental simplicial complexes associated with an important family of highly symmetric cubic graphs.

A simple undirected graph $M$ is called a discrete $d$-pseudomanifold if, for every vertex $v$, the induced subgraph $N_M(v)$ on the neighbors of $v$ is a discrete $(d-1)$-pseudomanifold, where a discrete $1$-pseudomanifold is defined to be an $n$-cycle with $n\geq 4$. These objects arise naturally as graph-theoretic analogues of simplicial pseudomanifolds and provide a purely combinatorial framework for studying manifold-like structures through local neighborhood conditions. Understanding discrete pseudomanifolds with a small number of vertices is therefore a fundamental problem in combinatorial topology and extremal graph theory. In this article, we first prove that every discrete $d$-pseudomanifold has at least $2(d+1)$ vertices. We then provide a complete classification of discrete $d$-pseudomanifolds with at most $2d+6$ vertices by determining all possible combinatorial types of such pseudomanifolds. Further, we establish an equivalence between discrete $d$-pseudomanifolds and edge graphs of flag normal $d$-pseudomanifolds. As a consequence, we derive a purely combinatorial characterization of flag normal $d$-pseudomanifolds with at most $2d+6$ vertices and prove that each such complex is a simplicial $d$-sphere. Finally, we show that this sphere characterization is optimal within the class of flag normal $d$-pseudomanifolds by constructing examples on $2d+7$ vertices that are not spheres. Specifically, we prove that, for $d\geq 3$, every flag normal $d$-pseudomanifold with at most $2d+7$ vertices is either a simplicial $d$-sphere or a flag triangulation of the $(d-2)$-fold suspension of $\mathbb{RP}^{2}$.

This paper presents three main results on coloring discrete $d$-pseudomanifolds: $(1)$ the general chromatic bounds $d+1 \leq X(K) \leq 2d+2$ for any $d$-pseudomanifold $K$; $(2)$ an improved bound $X(K) \leq 2d+1$ for pseudomanifolds expressible as a Zykov join $K = S^k + K'$; $(3)$ the optimal bound $X(K)\leq\lceil 3(d+1)/2\rceil$ under the additional assumptions that the spherical join factor $S^k$ is built from even-cycles and its dimension $k$ is close to $d$.

A crystallization of a PL manifold is an edge-colored graph encoding a contracted triangulation of the manifold. The concept of regular genus generalizes the notions of surface genus and Heegaard genus for 3-manifolds to higher-dimensional closed PL manifolds. The regular genus of a PL manifold is a PL invariant. Determining the regular genus of a closed PL $n$-manifold remains a fundamental challenge in combinatorial topology. In this article, we first resolve a conjecture by proving that the regular genus of $\mathbb{S}^2 \times \mathbb{S}^1 \times \mathbb{S}^1$ is 6. Additionally, we determine that the regular genus of $\mathbb{S}^1 \times \mathbb{S}^1 \times \mathbb{S}^1 \times \mathbb{S}^1$ is 16. We also present some observations related to the regular genus of the $n$-dimensional torus and conjecture that the regular genus of $\mathbb{S}^1 \times \mathbb{S}^1 \times \cdots \times \mathbb{S}^1$ ($n$ times) is $1+\frac{(n+1)! \ (n-3)}{8}$, for $n\ge 5$. Then, we investigate the regular genus of small covers. Small covers are closed $n$-manifolds admitting a locally standard $\mathbb{Z}_2^n$-action with orbit space homeomorphic to a simple convex polytope $P^n$. For the polytope $P = Δ^2 \times Δ^2$, we classify all the small covers up to Davis-Januszkiewicz (D-J) equivalence and show that there are exactly seven such covers. Among these, one is $\mathbb{RP}^2 \times \mathbb{RP}^2$, while the others are $\mathbb{RP}^2$-bundles over $\mathbb{RP}^2$. Remarkably, each of these seven small covers has the regular genus 8. Results in this article provide explicit regular genus values for several important 4-manifolds, offering new insights and tools for future work in combinatorial topology.

The study of face-number-related invariants in simplicial complexes is a central topic in combinatorial topology. Among these, the invariant $g_2$ plays a significant role. For a normal $d$-pseudomanifold $K$ ($d \geq 3$), it is known that $g_2(K) \geq g_2(lk(v, K))$ for every vertex $v$. If $K$ has at most two singularities and satisfies $g_2(K) = g_2(lk(t, K))$ for a singular vertex $t$, then $g_3(K) \geq g_3(lk(t,K))$ holds. A normal $d$-pseudomanifold $K$ is called $g_2$- and $g_3$-optimal if $g_2(K) = g_2(lk (t,K))$ and $g_3(K) = g_3(lk (t,K))$ for a singular vertex $t$. In this article, we establish structural results for normal $4$-pseudomanifolds under $g_2$- and $g_3$-optimality conditions. We show that if $K$ is a normal $4$-pseudomanifold with exactly one singular vertex $t$ and is $g_2$- and $g_3$-optimal at $t$, then $K$ can be obtained from boundary complexes of $5$-simplices through a sequence of operations of types vertex foldings and connected sums. When $K$ has exactly two singularities and is $g_2$- and $g_3$-optimal at one singular vertex, it is derived from the boundary complexes of $4$-simplices through a sequence of operations of types one-vertex suspensions, vertex foldings, and connected sums. Alternatively, we prove that if $K$ has two singular vertices and is $g_2$- and $g_3$-optimal at one of them, then it arises from boundary complexes of $5$-simplices through a sequence of operations of types vertex foldings, edge foldings, and connected sums.

The degree of a map between orientable manifolds is a fundamental concept in topology, offering deep insights into the structure of the manifolds and the nature of the corresponding maps. This concept has been extensively studied, particularly in the context of simplicial maps between orientable triangulable spaces. In 1982, Gromov proved that if degree $d$ maps exist from a genus $g$ orientable surface to a genus $h$ orientable surface for every $d \in \mathbb{Z}$, then $h$ must be 0 or 1. Recently, degree $d$ self-maps on spheres, particularly on genus 0 surfaces, have been investigated. In this paper, we focus on the unique minimal 7-vertex triangulation of the torus. We construct simplicial degree $d$ maps from a triangulation of a genus $g$ surface to the 7-vertex triangulation of the torus for $g \geq 1$. Our construction of degree $d$ maps is minimal for every $d$ when $g = 1,2$. If $g \geq 3$, then our construction remains minimal for $|d| \geq 2g - 1$. We believe that this concept will be highly useful in combinatorial topology, as it leads to several intriguing open research problems. In the final section, we propose some of these open research problems.

This article focuses on a class of properly edge-colored graphs, which arise from topological combinatorics, and investigates their embeddings onto surfaces. Specifically, these graphs are known as the dual graphs of balanced normal pseudomanifolds. We introduce the concept of the balanced genus, which represents the smallest genus of a surface onto which the dual graph of a normal pseudomanifold can embed regularly. As a key result, we establish that for any 3-manifold $ M $ that is not a sphere, the balanced genus satisfies the lower bound $ \mathcal{G}_M \geq m+3 $, where $ m $ is the rank of its fundamental group of $M$. Furthermore, we prove that a 3-manifold $ M $ is homeomorphic to the 3-sphere if and only if its balanced genus $ \mathcal{G}_M $ is at most 3. Similarly, for 4-manifolds, we establish that if $ M $ is not homeomorphic to a sphere, then its balanced genus is bounded below by $ \mathcal{G}_M \geq 2χ(M) + 5m + 11 $. Moreover, a 4-manifold $ M $ is PL homeomorphic to the 4-sphere if and only if its balanced genus satisfies $ \mathcal{G}_M \leq 2χ(M) + 10 $. We believe that the balanced genus offers a new perspective in graph theory and combinatorics and will inspire further developments in the field in connection with algebraic combinatorics. To this end, we outline several directions for future research.

A crystallization of a PL manifold is an edge-colored graph that corresponds to a contracted triangulation of the manifold, facilitating the study of its topological and combinatorial properties. A small cover over a simple convex $n$-polytope $P^n$ is a closed $n$-manifold with a locally standard $\mathbb{Z}_2^n$-action such that its orbit space is homeomorphic to $P^n$. In this article, we study the crystallizations of small covers over the $n$-simplex $Δ^n$ and the prism $Δ^{n-1} \times I$. It is known that the small cover over the $n$-simplex $Δ^n$ is $\mathbb{RP}^n$. For every $n\geq 2$, we prove that $\mathbb{RP}^n$ has a unique $2^n$-vertex crystallization. We also demonstrate that there are exactly $1 + 2^{n-1}$ D-J equivalence classes of small covers over the prism $Δ^{n-1} \times I$, where $n\geq 3$. For each $\mathbb{Z}_2$-characteristic function of $Δ^{n-1} \times I$, we construct a $2^{n-1}(n+1)$-vertex crystallization of the small cover $M^n(λ)$ with regular genus $1 + 2^{n-4}(n^2 - 2n - 3)$, where $n\geq 4$. In particular, we construct four orientable and four non-orientable $\mathbb{RP}^3$-bundles over $\mathbb{S}^1$ up to D-J equivalence with regular genus 6.

The degree of a map between orientable manifolds is a fundamental concept in topology that aids in understanding the structure and properties of the manifolds and the maps between them. Numerous studies have been conducted on the degree of maps between orientable topological spaces. For each $d \in \mathbb{Z}$, we construct a degree $ d$ simplicial map from a $(2(n+1) \max\{|d|,1\})$-facet colored triangulation of $\mathbb{S}^{n-1} \times \mathbb{S}^1$ to the standard $ 2(n+1) $-facet colored triangulation of $ \mathbb{S}^{n-1} \times \mathbb{S}^1 $. We demonstrate that these are the minimal possible colored triangulations for a degree $d $ simplicial self-map of $\mathbb{S}^{n-1} \times \mathbb{S}^1 $, where $n \geq 2 $. Additionally, we construct a minimal degree $d $ simplicial map from a closed orientable $ n$-manifold to $ \mathbb{S}^n $, where $n \geq 1 $.

In their work [10], Feng Luo and Richard Stong introduced the concept of the average edge order, denoted as $μ_0(K)$. They demonstrated that if $μ_0(K)\leq \frac{9}{2}$ for a closed $3$-manifold $K$, then $K$ must be a sphere. Building upon this foundation, Makoto Tamura extended similar results to $3$-manifolds with non-empty boundaries in [12,13]. In our present study, we extend these findings to normal $3$-pseudomanifolds. Specifically, we establish that for a normal $3$-pseudomanifold $K$ with singularities, $μ_0(K)\geq\frac{30}{7}$. Moreover, equality holds if and only if $K$ is a one-vertex suspension of a triangulation of $\mathbb{RP}^2$ with seven vertices. Furthermore, we establish that when $\frac{30}{7}\leqμ_0(K)\leq\frac{9}{2}$, the $3$-pseudomanifold $K$ can be derived from some boundary complexes of $4$-simplices by a sequence of possible operations, including connected sums, bistellar $1$-moves, edge contractions, edge expansions, vertex folding, and edge folding.

A semi-equivelar gem of a PL $d$-manifold is a regular colored graph that represents the PL $d$-manifold and regularly embeds on a surface, with the property that the cyclic sequence of degrees of faces in the embedding around each vertex is identical. In \cite{bb24}, the authors classified semi-equivelar gems of PL $d$-manifolds embedded on surfaces with Euler characteristics greater than or equal to zero. In this article, we focus on classifying semi-equivelar gems of PL $d$-manifolds embedded on the surface with Euler characteristic $-1$. We prove that if a semi-equivelar gem embeds regularly on the surface with Euler characteristic $-1$, then it belongs to one of the following types: $(8^3), (6^2,8), (6^2,12), (10^2,4), (12^2,4),$ $ (4,6,14), (4,6,16), (4,6,18), (4,6,24), (4,8,10), (4,8,12),$ or $(4,8,16)$. Furthermore, we provide constructions that demonstrate the existence of such gems for each of the aforementioned types.

Numerous structural findings of homology manifolds have been derived in various ways in relation to $g_2$-values. The homology $4$-manifolds with $g_2\leq 5$ are characterized combinatorially in this article. It is well-known that all homology $4$-manifolds for $g_2\leq 2$ are polytopal spheres. We demonstrate that homology $4$-manifolds with $g_2\leq 5$ are triangulated spheres and are derived from triangulated 4-spheres with $g_2\leq 2$ by a series of connected sum, bistellar 1- and 2-moves, edge contraction, edge expansion, and edge flipping operations. We establish that the above inequality is optimally attainable, i.e., it cannot be extended to $g_2 = 6$.

We define the notion of $(p_0,p_1,\dots,p_d)$-type semi-equivelar gems for closed connected PL $d$-manifolds, related to the regular embedding of gems $Γ$ representing $M$ on a surface $S$ such that the face-cycles at all the vertices of $Γ$ on $S$ are of the same type. The term is inspired by semi-equivelar maps of surfaces. Given a surface $S$ having non-negative Euler characteristic, we find all regular embedding types on $S$ and then construct a genus-minimal semi-equivelar gem (if it exists) of each such type embedded on $S$. Moreover, we present constructions of the following semi-equivelar gems: (1) For each closed connected surface $S$, we construct a genus-minimal semi-equivelar gem that represents $S$. In particular, for $S=\#_n (\mathbb{S}^1 \times \mathbb{S}^1)$ (resp., $\#_n(\mathbb{RP}^2)$), the semi-equivelar gem of type $((4n+2)^3)$ (resp., $((2n+2)^3)$) is constructed. (2) For a closed connected orientable PL $d$-manifold $M$ (where $d \geq 3$) of regular genus at most $1$, we show that $M$ admits a genus-minimal semi-equivelar gem if and only if $M$ is a lens space. Moreover, if we consider semi-equivelar gems with $2$-gons then for a closed connected orientable $d$-manifold $M$ (where $d \geq 3$) with $\mathcal{G}(M)\leq 1$, $M$ admits a genus-minimal semi-equivelar gem (with bigons).

The $g$-vector of a simplicial complex contains a lot of information about the combinatorial and topological structure of that complex. Several classification results regarding the structure of normal pseudomanifolds and homology manifolds have been established concerning the value of $g_2$. It is known that when $g_2=0$, all normal pseudomanifolds of dimensions at least three are stacked spheres. In the cases of $g_2=1$ and $2$, all homology manifolds are polytopal spheres and can be obtained through retriangulation or join operations from the previous ones. In this article, we provide a combinatorial characterization of the homology $d$-manifolds, where $d\geq 3$ and $g_2=3$. These are spheres and can be obtained through operations such as joins, some retriangulations, and connected sums from spheres with $g_2\leq 2$. Furthermore, we have presented a structural result on prime normal $d$-pseudomanifolds with $g_2=3$.

Let $Δ$ be a $g_2$-minimal normal 3-pseudomanifold. A vertex in $Δ$ whose link is not a sphere is called a singular vertex. When $Δ$ contains at most two singular vertices, its combinatorial characterization is known [9]. In this article, we present a combinatorial characterization of such a $Δ$ when it has three singular vertices, including one $\mathbb{RP}^2$-singularity, or four singular vertices, including two $\mathbb{RP}^2$-singularities. In both cases, we prove that $Δ$ is obtained from a one-vertex suspension of a surface, and some boundary complexes of $4$-simplices by applying the combinatorial operations of types connected sums, vertex foldings, and edge foldings.

We characterize normal $3$-pseudomanifolds with $g_2\leq4$. We know that if a $3$-pseudomanifold with $g_2\leq4$ does not have any singular vertices then it is a $3$-sphere. We first prove that a normal $3$-pseudomanifold with $g_2\leq4$ has at most two singular vertices. Then we prove that a normal $3$-pseudomanifold with $g_2 \leq 4$, which is not a $3$-sphere is obtained from some boundary of $4$-simplices by a sequence of operations connected sum, edge expansion and an edge folding. In addition, by using [17], we re-framed the characterization of normal $3$-pseudomanifolds with $g_2\leq 9$, when it has no singular vertices.

Characterizing face-number-related invariants of a given class of simplicial complexes has been a central topic in combinatorial topology. In this regard, one of the well-known invariants is $g_2$. Let $K$ be a normal $3$-pseudomanifold such that $g_2(K) \leq g_2(lk (v)) + 9$ for some vertex $v$ in $K$. Suppose either $K$ has only one singularity or $K$ has two singularities (at least) one of which is an $\mathbb{RP}^2$-singularity. We prove that $K$ is obtained from some boundary complexes of $4$-simplices by a sequence of operations of types connected sums, bistellar $1$-moves, edge contractions, edge expansions, vertex foldings, and edge foldings. In case $K$ has one singularity, $|K|$ is a handlebody with its boundary coned off. Further, we prove that the above upper bound is sharp for such normal $3$-pseudomanifolds.

In this article, we study a class of closed connected orientable PL $4$-manifolds admitting a semi-simple crystallization and which have an infinite cyclic fundamental group. We show that the manifold in the class admits a handle decomposition in which the number of $2$-handles depends upon its second Betti number and other $h$-handles ($h \leq 4$) are at most $2$. More precisely, our main result is the following. For a closed connected orientable PL $4$-manifold having a semi-simple crystallization with the fundamental group as $\mathbb{Z}$, we have constructed a handle decomposition for $M$ as one of the following types: $(1)$ one $0$-handle, two $1$-handles, $1+β_2(M)$ $2$-handles, one $3$-handle and one $4$-handle, $(2)$ one $0$-handle, one $1$-handle, $β_2(M)$ $2$-handles, one $3$-handle and one $4$-handle, where $β_2(M)$ denotes the second Betti number of manifold $M$ with $\mathbb{Z}$ coefficients.

In this article, we introduce two new PL-invariants: weighted regular genus and weighted G-degree for manifolds with boundary. We first prove two inequalities involving some PL-invariants which state that for any PL-manifold $M$ with non spherical boundary components, the regular genus $\mathcal{G}(M)$ of $M$ is at least the weighted regular genus $\tilde{G}(M)$ of $M$ which is again at least the generalized regular genus $\bar{G}(M)$ of $M$. Another inequality states that the weighted G-degree $\tilde{D}_G (M)$ of $M$ is always greater than or equal to the G-degree $D_G (M)$ of $M$. Let $M$ be any compact connected PL $4$-manifold with $h$ number of non spherical boundary components. Then we compute the following: $$\tilde{G} (M) \geq 2 χ(M)+3m+2h-4+2 \hat{m} \mbox{ and } \tilde{D}_G (M) \geq 12(2 χ(M)+3m+2h-4+2 \hat{m}),$$ where $m$ and $\hat{m}$ are the ranks of the fundamental groups of $M$ and the corresponding singular manifold $\widehat{M}$ (obtained by coning off the boundary components of $M$) respectively. As a consequence we prove that the regular genus $\mathcal{G}(M)$ satisfies the following inequality: $$\mathcal{G} (M) \geq 2 χ(M)+3m+2h-4+2 \hat{m},$$ which improves the previous known lower bounds for the regular genus $\mathcal{G}(M)$ of $M$. Then we define two classes of gems for PL $4$-manifold $M$ with boundary: one consists of semi-simple gems and the other consists of weak semi-simple gems, and prove that the lower bounds for the weighted G-degree and weighted regular genus are attained in these two classes respectively.

Let $M$ be a connected compact PL 4-manifold with boundary. In this article, we have given several lower bounds for regular genus and gem-complexity of the manifold $M$. In particular, we have proved that if $M$ is a connected compact $4$-manifold with $h$ boundary components then its gem-complexity $\mathit{k}(M)$ satisfies the following inequalities: $$\mathit{k}(M)\geq 3χ(M)+7m+7h-10 \mbox{ and }\mathit{k}(M)\geq \mathit{k}(\partial M)+3χ(M)+4m+6h-9,$$ and its regular genus $\mathcal{G}(M)$ satisfies the following inequalities: $$\mathcal{G}(M)\geq 2χ(M)+3m+2h-4\mbox{ and }\mathcal{G}(M)\geq \mathcal{G}(\partial M)+2χ(M)+2m+2h-4,$$ where $m$ is the rank of the fundamental group of the manifold $M$. These lower bounds enable to strictly improve previously known estimations for regular genus and gem-complexity of a PL $4$-manifold with boundary. Further, the sharpness of these bounds has also been shown for a large class of PL $4$-manifolds with boundary.