Search arXivSearch

arXiv · 2506.01315

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

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

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anshu Agarwal, Biplab Basak. 2025-06-02. Regular genus of $\mathbb{S}^2 \times \mathbb{S}^1 \times \mathbb{S}^1$, $4$-torus, and small covers over $Δ^2 \times Δ^2$. https://arxiv.org/abs/2506.01315

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Word Length Formulae, Normal Forms, Conjugation and Root-finding Algorithms in Surface Groups

In this paper, we mainly study the following symmetric presentation of the surface group $$π_1(Σ_g)=\left\langle c_1,\dots, c_{2g}\mid c_1\cdots c_{2g}c_1^{-1}\cdots c_{2g}^{-1}\right\rangle.$$ For every nontrivial element $x\in π_1(Σ_g)$ and $k\geq 2$, we obtain a uniform representative of the normal forms $\mathfrak{nf}(x^k)$ of $x^k$ under the length-lexicographical order: $$\mathfrak{nf}(x^k) = \overline{LW^{k-2}R}.$$ Building on this result, we establish a new relation among these normal forms, and then derive the following three formulae related to the word length: $|x^2|>|x|$; $|x^k|=(k-1)(|x^2|-|x|)+|x|$; $\lim_{k\to\infty}\frac{|x^k|}{k}=|x^2|-|x|$. Furthermore, we extend these results to obtain a coarser analogue for every minimal geometric presentation. We then define normal forms of conjugacy classes in $π_1(Σ_g)$ and provide a criterion for determining the conjugacy of group elements. As a consequence, we provide efficient algorithms for solving the root-finding and conjugacy problems. Finally, we present applications to the computation of several growth rates.

math.GT

Barbell twists are natural

For any oriented smooth $4$--manifold $X$ diffeomorphic to $(S^2\times D^2)^{\natural n}$ ($n\geq0$), the author establishes a natural isomorphism of abelian groups: $$\mathrm{Mod}(X,\partial X)\cong \mathrm{Mod}(D^4,\partial D^4)\times\wedge^2H_2(X;\mathbb{Z}),$$ concerning the (smooth) boundary-fixing mapping class group of $X$. For $n=2$, the Budney--Gabai barbell twist $φ\in\mathrm{Mod}(\mathcal{N},\partial\mathcal{N})$ is identified with a generator of the factor subgroup $\wedge^2H_2(\mathcal{N};\mathbb{Z})\cong\mathbb{Z}$. Up to boundary-fixing diffeotopy, the barbell spines of $\mathcal{N}$ are completely classified by the bases of $H_2(\mathcal{N};\mathbb{Z})\cong\mathbb{Z}^2$, forming a homogeneous set modeled on the group $\mathrm{GL}(H_2(\mathcal{N};\mathbb{Z}))\cong\mathrm{GL}(2,\mathbb{Z})$. Any barbell spine of $\mathcal{N}$ gives rise to an implanted barbell twist equal to $φ$ or $φ^{-1}$ in $\mathrm{Mod}(\mathcal{N},\partial \mathcal{N})$, according to the sign of the homological basis orientation.

math.GT

Plane separating continua inscribe rectangles

We prove the following: If $X$ is a plane separating continuum, then every embedding of $X$ into $\mathbb{R}^2$ contains the vertices of a Euclidean rectangle. We arrive to this result by extending a known result by H. Vaughan for Jordan curves to a wider class of topological objects via shape theory and Steenrod homology.

math.GT