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 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.

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 $.

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.