-
Regular genus of $\mathbb{S}^2 \times \mathbb{S}^1 \times \mathbb{S}^1$, $4$-torus, and small covers over $Δ^2 \times Δ^2$
Authors:
Anshu Agarwal,
Biplab Basak
Abstract:
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 chall…
▽ More
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.
△ Less
Submitted 2 June, 2025;
originally announced June 2025.
-
Normal $4$-pseudomanifolds with a relative 2-skeleton
Authors:
Biplab Basak,
Mangaldeep Saha,
Sourav Sarkar
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Minimal Simplicial Degree $d$ Maps from Genus $g$ Surfaces to the Torus
Authors:
Biplab Basak,
Ayushi Trivedi
Abstract:
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 s…
▽ More
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 problems. In the final section, we propose some of these open questions.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Balanced genus and a lower bound theorem for balanced 3- and 4-manifolds
Authors:
Biplab Basak,
Sourav Sarkar
Abstract:
We introduce a new PL invariant, called the balanced genus, for balanced normal $d$-pseudomanifolds. 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. Furthermore, we prove that a 3-manifold $M$ is homeomorphic to the 3-sphere if and only if its balan…
▽ More
We introduce a new PL invariant, called the balanced genus, for balanced normal $d$-pseudomanifolds. 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. 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.
For 4-manifolds, we establish a similar characterization: if $M$ is not homeomorphic to a sphere, then its balanced genus is bounded below by $\mathcal{G}_M \geq 2χ(M) + 5m + 11$, where $m$ is the rank of $π_1(M)$. Additionally, we prove that 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 provides a new perspective in combinatorial topology and will inspire further developments in the field. To this end, we outline several research directions for future exploration.
△ Less
Submitted 8 March, 2025;
originally announced March 2025.
-
Simplicial degree $d$ self-maps on $n$-spheres
Authors:
Biplab Basak,
Raju Kumar Gupta,
Ayushi Trivedi
Abstract:
The degree of a map between orientable manifolds is a crucial concept in topology, providing deep insights into the structure and properties of the manifolds and the corresponding maps. This concept has been thoroughly investigated, particularly in the realm of simplicial maps between orientable triangulable spaces. In this paper, we concentrate on constructing simplicial degree $d$ self-maps on…
▽ More
The degree of a map between orientable manifolds is a crucial concept in topology, providing deep insights into the structure and properties of the manifolds and the corresponding maps. This concept has been thoroughly investigated, particularly in the realm of simplicial maps between orientable triangulable spaces. In this paper, we concentrate on constructing simplicial degree $d$ self-maps on $n$-spheres. We describe the construction of several such maps, demonstrating that for every $d \in \mathbb{Z} \setminus {0}$, there exists a degree $d$ simplicial map from a triangulated $n$-sphere with $3|d| + n - 1$ vertices to $\mathbb{S}^n_{n+2}$. Further, we prove that, for every $d \in \mathbb{Z} \setminus {0}$, there exists a simplicial map of degree $3 d$ from a triangulated $n$-sphere with $6|d| + n$ vertices, as well as a simplicial map of degree $3d+\frac{d}{|d|}$ from a triangulated $n$-sphere with $6|d|+n+3$ vertices, to $\mathbb{S}^{n}_{n+2}$. Furthermore, we show that for any $|k| \geq 2$ and $n \geq |k|$, a degree $k$ simplicial map exists from a triangulated $n$-sphere $K$ with $|k| + n + 3$ vertices to $\mathbb{S}^n_{n+2}$. We also prove that for $d = 2$ and 3, these constructions produce vertex-minimal degree $d$ self-maps of $n$-spheres. Additionally, for every $n \geq 2$, we construct a degree $n+1$ simplicial map from a triangulated $n$-sphere with $2n + 4$ vertices to $\mathbb{S}^{n}_{n+2}$. We also prove that this construction provides facet minimal degree $n+1$ self-maps of $n$-spheres.
△ Less
Submitted 1 September, 2024;
originally announced September 2024.
-
Crystallizations of small covers over the $n$-simplex $Δ^n$ and the prism $Δ^{n-1} \times I$
Authors:
Anshu Agarwal,
Biplab Basak
Abstract:
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…
▽ More
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.
△ Less
Submitted 12 February, 2025; v1 submitted 12 August, 2024;
originally announced August 2024.
-
Minimal simplicial degree $d$ self-maps of $\mathbb{S}^{n-1}\times \mathbb{S}^1$
Authors:
Anshu Agarwal,
Biplab Basak,
Sourav Sarkar
Abstract:
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…
▽ More
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 $.
△ Less
Submitted 14 July, 2024;
originally announced July 2024.
-
Average edge order of normal $3$-pseudomanifolds
Authors:
Biplab Basak,
Raju Kumar Gupta
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 8 May, 2025; v1 submitted 20 June, 2024;
originally announced June 2024.
-
A classification of semi-equivelar gems of PL $d$-manifolds on the surface with Euler characteristic $-1$
Authors:
Anshu Agarwal,
Biplab Basak
Abstract:
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 equa…
▽ More
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.
△ Less
Submitted 21 October, 2024; v1 submitted 7 May, 2024;
originally announced May 2024.
-
A structure theorem for homology 4-manifolds with $g_2\leq 5$
Authors:
Biplab Basak,
Sourav Sarkar
Abstract:
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 fr…
▽ More
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$.
△ Less
Submitted 18 April, 2024; v1 submitted 5 February, 2023;
originally announced February 2023.
-
Semi-equivelar gems of PL $d$-manifolds
Authors:
Biplab Basak,
Manisha Binjola
Abstract:
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 al…
▽ More
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).
△ Less
Submitted 5 February, 2024; v1 submitted 5 July, 2022;
originally announced July 2022.
-
A characterization of homology $d$-manifolds with $g_2\leq 3$
Authors:
Biplab Basak,
Sourav Sarkar
Abstract:
The $g$-vector of a simplicial complex contains a lot of informations about the combinatorial and topological structure of that complex. So far several classification results on the structure of normal pseudomanifolds and homology manifolds have been given with respect to the value $g_2$. It is known that for $g_2=0$, all the normal pseudomanifolds of dimension at least three are stacked spheres.…
▽ More
The $g$-vector of a simplicial complex contains a lot of informations about the combinatorial and topological structure of that complex. So far several classification results on the structure of normal pseudomanifolds and homology manifolds have been given with respect to the value $g_2$. It is known that for $g_2=0$, all the normal pseudomanifolds of dimension at least three are stacked spheres. In case of $g_2=1$ and $2$, all the prime homology manifolds are the polytopal spheres and are obtained by some sort of retriangulations or join operation from the previous one. In this article we have given a combinatorial characterization of the homology $d$-manifolds with $g_2=3$, $d\geq 3$ which are obtained by the operations like join, some retriangulations and connected sum. Further, we have given a structural result on some prime normal $d$-pseudomanifolds with $g_2=3$. Our results together with [9] classifies (combinatorially) all the normal $3$-pseudomanifolds with $g_2=3$.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
A characterization of normal $3$-pseudomanifolds with $g_2\leq4$
Authors:
Biplab Basak,
Raju Kumar Gupta
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
A characterization of $g_2$-minimal normal 3-pseudomanifolds with at most four singularities
Authors:
Biplab Basak,
Raju Kumar Gupta,
Sourav Sarkar
Abstract:
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 vertic…
▽ More
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.
△ Less
Submitted 18 April, 2024; v1 submitted 14 February, 2022;
originally announced February 2022.
-
A characterization of normal 3-pseudomanifolds with at most two singularities
Authors:
Biplab Basak,
Raju Kumar Gupta,
Sourav Sarkar
Abstract:
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 whic…
▽ More
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.
△ Less
Submitted 22 June, 2023; v1 submitted 8 April, 2021;
originally announced April 2021.
-
Handle decompositions for a class of closed orientable PL 4-manifolds
Authors:
Biplab Basak,
Manisha Binjola
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 June, 2023; v1 submitted 25 March, 2021;
originally announced March 2021.
-
On regular genus and G-degree of PL 4-manifolds with boundary
Authors:
Biplab Basak,
Manisha Binjola
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 December, 2022; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Lower bounds for regular genus and gem-complexity of PL 4-manifolds with boundary
Authors:
Biplab Basak,
Manisha Binjola
Abstract:
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:…
▽ More
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.
△ Less
Submitted 28 October, 2020; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Minimal crystallizations of 3-manifolds with boundary
Authors:
Biplab Basak,
Manisha Binjola
Abstract:
Let $(Γ,γ)$ be a crystallization of connected compact 3-manifold $M$ with $h$ boundary components. Let $\mathcal{G}(M)$ and $\mathit k (M)$ be the regular genus and gem-complexity of $M$ respectively, and let $\mathcal{G}(\partial M)$ be the regular genus of $\partial M$. We prove that
$$\mathit k (M)\geq 3 (\mathcal{G}(M)+h-1) \geq 3 (\mathcal{G} (\partial M)+h-1).$$ These bounds for gem-comple…
▽ More
Let $(Γ,γ)$ be a crystallization of connected compact 3-manifold $M$ with $h$ boundary components. Let $\mathcal{G}(M)$ and $\mathit k (M)$ be the regular genus and gem-complexity of $M$ respectively, and let $\mathcal{G}(\partial M)$ be the regular genus of $\partial M$. We prove that
$$\mathit k (M)\geq 3 (\mathcal{G}(M)+h-1) \geq 3 (\mathcal{G} (\partial M)+h-1).$$ These bounds for gem-complexity of $M$ are sharp for several 3-manifolds with boundary. Further, we show that if $\partial M$ is connected and $\mathit k (M)< 3 (\mathcal{G} (\partial M)+1)$ then $M$ is a handlebody. In particular, we prove that $\mathit k (M) =3 \mathcal{G} (\partial M)$ if $M$ is a handlebody and $\mathit k (M) \geq 3 (\mathcal{G} (\partial M)+1)$ if $M$ is not a handlebody. Further, we obtain several combinatorial properties for a crystallization of 3-manifolds with boundary.
△ Less
Submitted 18 September, 2021; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Three-dimensional normal pseudomanifolds with relatively few edges
Authors:
Biplab Basak,
Ed Swartz
Abstract:
Let $Δ$ be a $d$-dimensional normal pseudomanifold, $d \ge 3.$ A relative lower bound for the number of edges in $Δ$ is that $g_2$ of $Δ$ is at least $g_2$ of the link of any vertex. When this inequality is sharp $Δ$ has relatively minimal $g_2$. For example, whenever the one-skeleton of $Δ$ equals the one-skeleton of the star of a vertex, then $Δ$ has relatively minimal $g_2.$ Subdividing a facet…
▽ More
Let $Δ$ be a $d$-dimensional normal pseudomanifold, $d \ge 3.$ A relative lower bound for the number of edges in $Δ$ is that $g_2$ of $Δ$ is at least $g_2$ of the link of any vertex. When this inequality is sharp $Δ$ has relatively minimal $g_2$. For example, whenever the one-skeleton of $Δ$ equals the one-skeleton of the star of a vertex, then $Δ$ has relatively minimal $g_2.$ Subdividing a facet in such an example also gives a complex with relatively minimal $g_2.$ We prove that in dimension three these are the only examples. As an application we determine the combinatorial and topological type of $3$-dimensional $Δ$ with relatively minimal $g_2$ whenever $Δ$ has two or fewer singularities. The topological type of any such complex is a pseudocompression body, a pseudomanifold version of a compression body.
Complete combinatorial descriptions of $Δ$ with $g_2(Δ) \le 2$ are due to Kalai [12] $(g_2=0)$, Nevo and Novinsky [13] $(g_2=1)$ and Zheng [21] $(g_2=2).$ In all three cases $Δ$ is the boundary of a simplicial polytope. Zheng observed that for all $d \ge 0$ there are triangulations of $S^d \ast \mathbb{RP}^2$ with $g_2=3.$ She asked if this is the only nonspherical topology possible for $g_2(Δ)=3.$ As another application of relatively minimal $g_2$ we give an affirmative answer when $Δ$ is $3$-dimensional.
△ Less
Submitted 5 February, 2020; v1 submitted 23 March, 2018;
originally announced March 2018.
-
Genus-minimal crystallizations of PL 4-manifolds
Authors:
Biplab Basak
Abstract:
For $d\geq 2$, the regular genus of a closed connected PL $d$-manifold $M$ is the least genus (resp., half of the genus) of an orientable (resp., a non-orientable) surface into which a crystallization of $M$ imbeds regularly. The regular genus of every orientable surface equals its genus, and the regular genus of every 3-manifold equals its Heegaard genus. For every closed connected PL $4$-manifol…
▽ More
For $d\geq 2$, the regular genus of a closed connected PL $d$-manifold $M$ is the least genus (resp., half of the genus) of an orientable (resp., a non-orientable) surface into which a crystallization of $M$ imbeds regularly. The regular genus of every orientable surface equals its genus, and the regular genus of every 3-manifold equals its Heegaard genus. For every closed connected PL $4$-manifold $M$, it is known that its regular genus $\mathcal G(M)$ is at least $2 χ(M) + 5m -4$, where $m$ is the rank of the fundamental group of $M$. In this article, we introduce the concept of "weak semi-simple crystallization" for every closed connected PL $4$-manifold $M$, and prove that $\mathcal G(M)= 2 χ(M) + 5m -4$ if and only if $M$ admits a weak semi-simple crystallization. We then show that the PL invariant regular genus is additive under the connected sum within the class of all PL 4-manifolds admitting a weak semi-simple crystallization. Also, we note that this property is related to the 4-dimensional Smooth Poincaré Conjecture.
△ Less
Submitted 10 February, 2018; v1 submitted 23 June, 2016;
originally announced June 2016.
-
3-regular colored graphs and classification of surfaces
Authors:
Biplab Basak
Abstract:
Motivated by the theory of crystallizations, we consider an equivalence relation on the class of $3$-regular colored graphs and prove that up to this equivalence (a) there exists a unique contracted 3-regular colored graph if the number of vertices is $4m$ and (b) there are exactly two such graphs if the number of vertices is $4m+2$ for each $m\geq 1$. Using this, we present a simple proof of the…
▽ More
Motivated by the theory of crystallizations, we consider an equivalence relation on the class of $3$-regular colored graphs and prove that up to this equivalence (a) there exists a unique contracted 3-regular colored graph if the number of vertices is $4m$ and (b) there are exactly two such graphs if the number of vertices is $4m+2$ for each $m\geq 1$. Using this, we present a simple proof of the classification of closed surfaces.
△ Less
Submitted 17 January, 2017; v1 submitted 24 February, 2016;
originally announced February 2016.
-
Regular genus and gem-complexity of some mapping tori
Authors:
Biplab Basak
Abstract:
In this article, we construct a crystallization of the mapping torus of some (PL) homeomorphisms $f:M \to M$ for a certain class of PL-manifolds $M$. These yield upper bounds for gem-complexity and regular genus of a large class of PL-manifolds. The bound for the regular genus is sharp for the mapping torus of some (PL) homeomorphisms $f:M \to M$, where $M$ is $\mathbb{RP}^2$,…
▽ More
In this article, we construct a crystallization of the mapping torus of some (PL) homeomorphisms $f:M \to M$ for a certain class of PL-manifolds $M$. These yield upper bounds for gem-complexity and regular genus of a large class of PL-manifolds. The bound for the regular genus is sharp for the mapping torus of some (PL) homeomorphisms $f:M \to M$, where $M$ is $\mathbb{RP}^2$, $\mathbb{RP}^2\#\mathbb{RP}^2$, $\mathbb{S}^1\times \mathbb{S}^1$, $\mathbb{RP}^3$, $\mathbb{S}^{2} \times \mathbb{S}^1$, $\mathbb{S}^{\hspace{.2mm}2} \mbox{$\times \hspace{-2.6mm}_{-}$} \, \mathbb{S}^{\hspace{.1mm}1}$ or $\mathbb{S}^d$. In particular, for $M=\mathbb{S}^{d-1} \times \mathbb{S}^1$ or $\mathbb{S}^{\hspace{.2mm}d-1} \mbox{$\times\hspace{-2.6mm}_{-}$} \, \mathbb{S}^{\hspace{.1mm}1}$, our construction gives a crystallization of a mapping torus of a (PL) homeomorphism $f:M \to M$ with regular genus $d^2-d$. As a consequence, we prove the existence of an orientable mapping torus of a (PL) homeomorphism $f:(\mathbb{S}^{2} \times \mathbb{S}^1)\to (\mathbb{S}^{2} \times \mathbb{S}^1)$ with regular genus 6. This disproves a conjecture of Spaggiari which states that regular genus six characterizes the topological product $\mathbb{RP}^3 \times \mathbb{S}^1$ among closed connected prime orientable PL $4$-manifolds.
△ Less
Submitted 25 January, 2019; v1 submitted 28 September, 2015;
originally announced September 2015.
-
Lower bounds for regular genus and gem-complexity of PL 4-manifolds
Authors:
Biplab Basak,
Maria Rita Casali
Abstract:
Within crystallization theory, two interesting PL invariants for $d$-manifolds have been introduced and studied, namely {\it gem-complexity} and {\it regular genus}. In the present paper we prove that, for any closed connected PL $4$-manifold $M$, its gem-complexity $\mathit{k}(M)$ and its regular genus $ \mathcal G(M)$ satisfy:…
▽ More
Within crystallization theory, two interesting PL invariants for $d$-manifolds have been introduced and studied, namely {\it gem-complexity} and {\it regular genus}. In the present paper we prove that, for any closed connected PL $4$-manifold $M$, its gem-complexity $\mathit{k}(M)$ and its regular genus $ \mathcal G(M)$ satisfy: $$\mathit{k}(M) \ \geq \ 3 χ(M) + 10m -6 \ \ \ \text{and} \ \ \ \mathcal G(M) \ \geq \ 2 χ(M) + 5m -4,$$ where $rk(π_1(M))=m.$ These lower bounds enable to strictly improve previously known estimations for regular genus and gem-complexity of product 4-manifolds. Moreover, the class of {\it semi-simple crystallizations} is introduced, so that the represented PL 4-manifolds attain the above lower bounds. The additivity of both gem-complexity and regular genus with respect to connected sum is also proved for such a class of PL 4-manifolds, which comprehends all ones of "standard type", involved in existing crystallization catalogues, and their connected sums.
△ Less
Submitted 27 June, 2016; v1 submitted 3 April, 2015;
originally announced April 2015.
-
An algorithmic approach to construct crystallizations of $3$-manifolds from presentations of fundamental groups
Authors:
Biplab Basak
Abstract:
We have defined weight of the pair $(\langle S \mid R \rangle, R)$ for a given presentation $\langle S \mid R \rangle$ of a group, where the number of generators is equal to the number of relations. We present an algorithm to construct crystallizations of 3-manifolds whose fundamental group has a presentation with two generators and two relations. If the weight of $(\langle S \mid R \rangle, R)$ i…
▽ More
We have defined weight of the pair $(\langle S \mid R \rangle, R)$ for a given presentation $\langle S \mid R \rangle$ of a group, where the number of generators is equal to the number of relations. We present an algorithm to construct crystallizations of 3-manifolds whose fundamental group has a presentation with two generators and two relations. If the weight of $(\langle S \mid R \rangle, R)$ is $n$ then our algorithm constructs all the $n$-vertex crystallizations which yield $(\langle S \mid R \rangle, R)$. As an application, we have constructed some new crystallizations of 3-manifolds.
We have generalized our algorithm for presentations with three generators and certain class of relations. For $m\geq 3$ and $m \geq n \geq k \geq 2$, our generalized algorithm gives a $2(2m+2n+2k-6+δ_n^2 + δ_k^2)$-vertex crystallization of the closed connected orientable $3$-manifold $M\langle m,n,k \rangle$ having fundamental group $\langle x_1,x_2,x_3 \mid x_1^m=x_2^n=x_3^k=x_1x_2x_3 \rangle$. These crystallizations are minimal and unique with respect to the given presentations. If `$n=2$' or `$k\geq 3$ and $m \geq 4$' then our crystallization of $M\langle m,n,k \rangle$ is vertex-minimal for all the known cases.
△ Less
Submitted 13 September, 2015; v1 submitted 22 October, 2014;
originally announced October 2014.
-
Simple crystallizations of 4-manifolds
Authors:
Biplab Basak,
Jonathan Spreer
Abstract:
Minimal crystallizations of simply connected PL 4-manifolds are very natural objects. Many of their topological features are reflected in their combinatorial structure which, in addition, is preserved under the connected sum operation. We present a minimal crystallization of the standard PL K3 surface. In combination with known results this yields minimal crystallizations of all simply connected P…
▽ More
Minimal crystallizations of simply connected PL 4-manifolds are very natural objects. Many of their topological features are reflected in their combinatorial structure which, in addition, is preserved under the connected sum operation. We present a minimal crystallization of the standard PL K3 surface. In combination with known results this yields minimal crystallizations of all simply connected PL 4-manifolds of "standard" type, that is, all connected sums of $\mathbb{CP}^2$, $S^2 \times S^2$, and the K3 surface. In particular, we obtain minimal crystallizations of a pair of homeomorphic but non-PL-homeomorphic 4-manifolds. In addition, we give an elementary proof that the minimal 8-vertex crystallization of $\mathbb{CP}^2$ is unique and its associated pseudotriangulation is related to the 9-vertex combinatorial triangulation of $\mathbb{CP}^2$ by the minimum of four edge contractions.
△ Less
Submitted 10 July, 2015; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Minimal crystallizations of 3-manifolds
Authors:
Biplab Basak,
Basudeb Datta
Abstract:
We have introduced the weight of a group which has a presentation with number of relations is at most the number of generators. We have shown that the number of facets of any contracted pseudotriangulation of a connected closed 3-manifold $M$ is at least the weight of $π(M, \ast)$. This lower bound is sharp for the 3-manifolds $\mathbb{R P}^3$, $L(3,1)$, $L(5,2)$, $S^1\times S^1 \times S^1$,…
▽ More
We have introduced the weight of a group which has a presentation with number of relations is at most the number of generators. We have shown that the number of facets of any contracted pseudotriangulation of a connected closed 3-manifold $M$ is at least the weight of $π(M, \ast)$. This lower bound is sharp for the 3-manifolds $\mathbb{R P}^3$, $L(3,1)$, $L(5,2)$, $S^1\times S^1 \times S^1$, $S^2 \times S^1$, $S^2 \mbox{$\times \hspace{-2.8mm}_{-}$} S^1$ and $S^3/Q_8$, where $Q_8$ is the quaternion group. Moreover, there is a unique such facet minimal pseudotriangulation in each of these seven cases. We have also constructed contracted pseudotriangulations of $L(kq-1,q)$ with $4(q+k-1)$ facets for $q \geq 3$, $k \geq 2$ and $L(kq+1,q)$ with $4(q+k)$ facets for $q\geq 4$, $k\geq 1$. By a recent result of Swartz, our pseudotriangulations of $L(kq+1, q)$ are facet minimal when $kq+1$ are even. In 1979, Gagliardi found presentations of the fundamental group of a manifold $M$ in terms of a contracted pseudotriangulation of $M$. Our construction is the converse of this, namely, given a presentation of the fundamental group of a 3-manifold $M$, we construct a contracted pseudotriangulation of $M$. So, our construction of a contracted pseudotriangulation of a 3-manifold $M$ is based on a presentation of the fundamental group of $M$ and it is computer-free.
△ Less
Submitted 10 December, 2013; v1 submitted 28 August, 2013;
originally announced August 2013.
-
Equilibrium and equivariant triangulations of some small covers with minimum number of vertices
Authors:
Biplab Basak,
Soumen Sarkar
Abstract:
Small covers were introduced by Davis and Januszkiewicz in 1991. We introduce the notion of equilibrium triangulations for small covers. We study equilibrium and vertex minimal $\mathbb{Z}_2^2$-equivariant triangulations of $2$-dimensional small covers. We discuss vertex minimal equilibrium triangulations of $\mathbb{RP}^3 \# \mathbb{RP}^3$, $S^1 \times \mathbb{RP}^2$ and a nontrivial $S^1$ bundle…
▽ More
Small covers were introduced by Davis and Januszkiewicz in 1991. We introduce the notion of equilibrium triangulations for small covers. We study equilibrium and vertex minimal $\mathbb{Z}_2^2$-equivariant triangulations of $2$-dimensional small covers. We discuss vertex minimal equilibrium triangulations of $\mathbb{RP}^3 \# \mathbb{RP}^3$, $S^1 \times \mathbb{RP}^2$ and a nontrivial $S^1$ bundle over $\mathbb{RP}^2$. We construct some nice equilibrium triangulations of the real projective space $\mathbb{RP}^n$ with $2^n +n+1$ vertices. The main tool is the theory of small covers.
△ Less
Submitted 4 August, 2014; v1 submitted 6 June, 2013;
originally announced June 2013.
