arXiv subjects

Biplab Basak

Publications and source records attributed to Biplab Basak.

At least 19 recordsLinked to original sources

arXiv2026

The Homotopy Types of the Independence and Perfect Matching Complex of M\"obius Ladder Graph

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\"obius ladder graphs $M_{2n}$. M\"obius 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.

math.CO↗

arXiv2026

A Complete Classification of Discrete $d$-Pseudomanifolds with at Most $2d+7$ Vertices

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

math.CO↗

arXiv2026

Coloring discrete pseudomanifolds

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

math.CO↗

arXiv2025

A classification of semi-equivelar gems on the double torus

A \emph{semi-equivelar gem} of a PL $d$-manifold is a regular colored graph that represents the manifold and admits a regular embedding on a surface, such that the cyclic sequence of face degrees around each vertex is identical. In [1,4], semi-equivelar gems of PL $d$-manifolds embedded on surfaces with Euler characteristic $\chi \geq -1$ were classified. In this paper, we extend this classification to semi-equivelar gems embedded on the double torus. We show that any such gem must belong to one of the following 31 types: $(4^5)$, $(6^4)$, $(4^3,6)$, $(4^3,8)$, $(4^3,12)$, $(4^2,6^2)$, $(4,6,4,6)$, $(4^2,8^2)$, $(4,8,4,8)$, $(8^3)$, $(10^3)$, $(6^2,8)$, $(6^2,10)$, $(6^2,12)$, $(6^2,18)$, $(10^2,4)$, $(12^2,4)$, $(16^2,4)$, $(8^2,6)$, $(12^2,6)$, $(4,6,14)$, $(4,6,16)$, $(4,6,18)$, $(4,6,20)$, $(4,6,24)$, $(4,6,36)$, $(4,8,10)$, $(4,8,12)$, $(4,8,16)$, $(4,8,24)$, and $(4,10,20)$. Furthermore, we provide explicit constructions of semi-equivelar gems realizing each of these types.

math.GT↗

arXiv2025

Regular genus of $\mathbb{S}^2 \times \mathbb{S}^1 \times \mathbb{S}^1$, $4$-torus, and small covers over $\Delta^2 \times \Delta^2$

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 = \Delta^2 \times \Delta^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.

math.GT↗

arXiv2025

Normal $4$-pseudomanifolds with a relative 2-skeleton

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.

math.CO↗

arXiv2025

Minimal Simplicial Degree $d$ Maps from Genus $g$ Surfaces to the Torus

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.

math.CO↗

arXiv2025

Embeddings of edge-colored dual graphs of balanced 3- and 4-manifolds

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\chi(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\chi(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.

math.GT↗

arXiv2024

Simplicial degree $d$ self-maps on $n$-spheres

The degree of a map between orientable manifolds is a fundamental concept in topology, providing deep insights into the structure of manifolds and the behavior of maps between them. Recently, this notion has been extensively studied, particularly in the context of simplicial maps between orientable triangulable spaces. In this paper, we focus on the construction of non-degenerate simplicial maps of degree $d\in \mathbb{Z}$ on $n$-spheres for $n\geq 2$. We develop a general method, based on connected sums and facet orientations, to construct simplicial maps of any prescribed degree $d \in \mathbb{Z}$ between triangulated spheres. We investigate the asymptotic behavior of $\Lambda(n,d)$, defined as the minimum number of vertices required for a triangulated $n$-sphere to admit a simplicial map of degree $d$ to $\mathbb{S}^n_{n+2}$, for $n \geq 3$ and $d \geq 1$. As a consequence, we answer a question posed by Ryabichev in [22]. In addition to vertex-minimal constructions, we obtain facet-minimal degree maps for large degrees. Specifically, for each $d \geq n^2 + 1$, we construct a simplicial map of degree $d$ from a triangulated $n$-sphere with $d(n+2)$ facets to $\mathbb{S}^n_{n+2}$, for $n \geq 3$. As an application of the constructions, we derive improved bounds on the covering type of Moore spaces, refining results from [8]. Finally, we conclude with several open questions that may be of independent interest.

math.GT↗

arXiv2024

Crystallizations of small covers over the $n$-simplex $\Delta^n$ and the prism $\Delta^{n-1} \times I$

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 $\Delta^n$ and the prism $\Delta^{n-1} \times I$. It is known that the small cover over the $n$-simplex $\Delta^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 $\Delta^{n-1} \times I$, where $n\geq 3$. For each $\mathbb{Z}_2$-characteristic function of $\Delta^{n-1} \times I$, we construct a $2^{n-1}(n+1)$-vertex crystallization of the small cover $M^n(\lambda)$ with regular genus $1 + 2^{n-4}(n^2 - 2n - 3)$, where $n\geq 4$. The regular genus of closed PL $n$-manifolds extends the notions of the genus of surfaces and the Heegaard genus of 3-manifolds to higher dimensions. In this article, we construct four orientable and four non-orientable $\mathbb{RP}^3$-bundles over $\mathbb{S}^1$ up to D-J equivalence, each with regular genus $6$. Although the four orientable (resp. non-orientable) small covers are not D-J equivalent, we show that they are PL homeomorphic.

math.GT↗

arXiv2024

Minimal simplicial degree $d$ self-maps of $\mathbb{S}^{n-1}\times \mathbb{S}^1$

The degree of a map between orientable manifolds is a fundamental concept in topology, providing important information about the structure of manifolds and the behavior of maps between them. A simplicial cell complex $K$ is called a \emph{colored triangulation} of a closed PL $n$-manifold $M$ if the $1$-skeleton of $K$ admits a proper vertex-coloring with $n+1$ colors and $|K|$ is PL-homeomorphic to $M$. In this article, we construct, for every $d \in \mathbb{Z}$ and $n \geq 2$, 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$. Additionally, for every $d \in \mathbb{Z}$ and $n \geq 2$, we construct a degree $d$ simplicial map from a $(2\max\{|d|,1\})$-facet colored triangulation of $\mathbb{S}^n$ to the standard $2$-facet colored triangulation of $\mathbb{S}^n$. For $M = \mathbb{S}^{n-1} \times \mathbb{S}^1$ and $\mathbb{S}^n$, with $n \geq 2$, these simplicial degree $d$ self-maps of $M$ are minimal with respect to their standard colored triangulations, in the sense that there does not exist a colored triangulation $K$ of $M$ with fewer facets than the constructed one that admits a simplicial map $f : K \to K'$ of degree $d$, where $K'$ denotes the standard colored triangulation of $M$.

math.GT↗

arXiv2024

Average edge order of normal $3$-pseudomanifolds

In their work [10], Feng Luo and Richard Stong introduced the concept of the average edge order, denoted as $\mu_0(K)$. They demonstrated that if $\mu_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, $\mu_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\mu_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.

math.CO↗

arXiv2024

A classification of semi-equivelar gems of PL $d$-manifolds on the surface with Euler characteristic $-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.

math.CO↗

arXiv2023

A structure theorem for homology 4-manifolds with $g_2\leq 5$

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

math.GT↗

arXiv2022

Semi-equivelar gems of PL $d$-manifolds

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 $\Gamma$ representing $M$ on a surface $S$ such that the face-cycles at all the vertices of $\Gamma$ 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).

math.CO↗

arXiv2022

On a construction of some homology $d$-manifolds

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

math.CO↗

arXiv2022

A characterization of normal $3$-pseudomanifolds with $g_2\leq4$

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.

math.CO↗

arXiv2022

A characterization of $g_2$-minimal normal 3-pseudomanifolds with at most four singularities

Let $\Delta$ be a $g_2$-minimal normal 3-pseudomanifold. A vertex in $\Delta$ whose link is not a sphere is called a singular vertex. When $\Delta$ contains at most two singular vertices, its combinatorial characterization is known [9]. In this article, we present a combinatorial characterization of such a $\Delta$ 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 $\Delta$ 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.

math.CO↗