Search arXivSearch

arXiv · 2008.11485

Compact 4-manifolds admitting special handle decompositions

Abstract

In this paper we study colored triangulations of compact PL 4-manifolds with empty or connected boundary which induce handle decompositions lacking in 1-handles or in 1- and 3-handles, thus facing also the problem, posed by Kirby, of the existence of {\it special handlebody decompositions} for any simply-connected closed PL 4-manifold. In particular, we detect a class of compact simply-connected PL 4-manifolds with empty or connected boundary, which admit such decompositions and, therefore, can be represented by (undotted) framed links. Moreover, this class includes any compact simply-connected PL 4-manifold with empty or connected boundary having colored triangulations that minimize the combinatorially defined PL invariant {\em regular genus, gem-complexity} or {\em G-degree} among all such manifolds with the same second Betti number.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Maria Rita Casali, Paola Cristofori. 2020-08-26. Compact 4-manifolds admitting special handle decompositions. https://arxiv.org/abs/2008.11485

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

KEEP EXPLORING

Related papers

Short curves of end-periodic mapping tori

Let $S$ be a boundaryless infinite-type surface with finitely many ends and consider an end-periodic homeomorphism $f$ of S. The end-periodicity of $f$ ensures that its associated mapping torus $M_f$ has a compactification as a $3$-manifold with boundary; further, if $f$ is atoroidal then $M_f$ admits a hyperbolic metric. Such maps admit invariant positive and negative Handel--Miller laminations, $Λ^+$, $Λ^-$, whose leaves naturally project to the arc and curve complex of a compact subsurface $Y\subset S$. As an end-periodic analogy to work of Minsky in the finite-type setting, we show that there exists a hyperbolic structure $s$ of $M_f$ such that for every $\varepsilon>0$ there exists $K> 0$ (depending only on $\varepsilon$ and the capacity of $f$) for which $d_Y (Λ^+, Λ^-)\geq K$ implies $\ell_s(\partial Y) \leq \varepsilon$. Here $\ell_s (\partial Y)$ denotes the total length of the geodesic representative of $\partial Y$ in $(M_f, s)$. This work additionally produces the following: for every $\varepsilon>0$ and closed connected surface $Σ$ of genus $g\geq 2$, we provide a closed fibered hyperbolic $3$-manifold in which $Σ$ embeds as a totally geodesic surface whose systole length is at most $\varepsilon$.

math.GT

Trisection genus of knot traces

We classify knot traces with trisection genus at most 2. We give infinitely many torus knots whose traces have trisection genus 3, and infinitely many hyperbolic knots whose traces have trisection genus 4. We also show that there exist infinite families of knots whose traces have arbitrarily large trisection genus. In addition, we determine or give sharp bounds for the trisection genus of the traces of several well-known knots, such as the figure-eight knot, the $(p, pq+1)$-torus knots, and the $(-2, 3, 2n+1)$-pretzel knots.

math.GT

$C^0$-Analogue of Ismagilov's Theorem

We establish a topological analogue of Ismagilov's theorem concerning the first continuous cohomology of volume-preserving diffeomorphisms. For a closed oriented manifold \(M\) with volume form \(Ω\), we consider the group \(\mathbb{G}^Ω(M)\) of homeomorphisms obtained as uniform limits of smooth volume-preserving isotopies. We show that its first continuous cohomology with values in the Banach space of zero-mean continuous functions is isomorphic to the first de Rham cohomology of \(M\). The proof develops a theory of transport for volume-preserving isotopies, producing a topological volume flux homomorphism and its associated transport cocycle. Under the additional hypothesis that \((M,Ω)\) satisfies the local \(C^0\)-generation property, and assuming the Müller-Sikorav approximation theorem (known for \(n\neq 4\)), the isomorphism extends to the full identity component \(\operatorname{Homeo}_0^Ω(M)\) of the group of volume-preserving homeomorphisms, and the topological flux conjecture follows in that setting.

math.GT