Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.05232

Thurston's sphere packing on 3-dimensional manifolds, II

Xiaokai He·Xu Xu·Chao Zheng
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we study the rigidity of Thurston's hyperbolic sphere packings on 3-dimensional manifolds. We prove that Thurston's hyperbolic sphere packing is locally determined by combinatorial scalar curvature. We further prove the infinitesimal rigidity that Thurston's hyperbolic sphere packing can not be deformed while keeping the combinatorial Ricci curvature fixed. The main tools include a characterization of the admissible space of Thurston's hyperbolic sphere packings, a variational formula for the dihedral angles of a tetrahedron and an identity for the variations of dihedral angles in a tetrahedron generated by Thurston's hyperbolic sphere packings.

Explore related subjects

math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xiaokai He, Xu Xu, Chao Zheng. 2026-10-04. Thurston's sphere packing on 3-dimensional manifolds, II. https://arxiv.org/abs/2610.05232

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

KEEP EXPLORING

Related papers

arXiv2026

On surgeries from lens space $L(p,1)$ to $L(q,2)$

We mainly use the d-invariant surgery formula established by Wu and Yang \cite{wu2025surgerieslensspacestype} to study the distance one surgeries along a homologically essential knot between lens spaces of the form $L(p,1)$ and $L(q,2)$ where $p,q$ are odd integers.

math.GT↗
arXiv2026

On the BNSR invariants of $2$-knot groups

For a finitely generated group $G$, the Bieri--Neumann--Strebel--Renz (BNSR) invariants are subsets of the character sphere of $G$ that govern the finiteness properties of normal subgroups containing the commutator subgroup. We investigate the BNSR invariants of $2$-knot groups and link groups. As an application, we prove Yasuda's conjecture that every non-trivial $2$-plat $2$-knot is non-fibered.

math.GT↗
arXiv2026

Ropelength-Filtered Essential Surface Spaces

We develop a filtered geometric framework for essential surfaces in knot exteriors. Let $γ$ be a unit-thickness representative of a knot type $K$ with $\mathrm{Len}(γ)\leΛ$, and let $F$ be a properly embedded essential surface in the exterior of a fixed-radius tube about $γ$, with $\mathrm{Area}(F)\leΔ$ and relative thickness at least $τ$, formulated through Federer reach and controlled boundary collars. We prove that this bounded-geometry pair space contains only finitely many pair-isotopy classes, and that equality of explicitly bounded canonical layered codes at resolution $\varepsilon\le c\min\{1,τ\}$ implies ambient pair-isotopy. In a fixed exterior $E$, the surface systems visible in a geometric window form finite subcomplexes ${ES}_{Δ,τ}(E)$ that exhaust the essential-surface complex; isometries act levelwise and $C^{1,1}$ self-diffeomorphisms act with controlled reindexing. For a fixed two-sided surface, compressing disks are filtered in the same way, giving finite geometric witnesses for compressibility and weak reducibility and recovering the index-one characterization in Bachman's topological index theory. On the peripheral torus, every visible numerical boundary slope lies in an explicit writhe window, so that $|r|\le C_{\mathrm{BS}}Λ^{4/3}+w(Δ,τ)$. Together with finite Reidemeister certificates, the faithful codes give two independent finite recognition mechanisms, one for the knot and one for the carried essential-surface type. The framework is a smooth, triangulation-free analogue of the finiteness philosophy of normal surface theory; it does not assert that a knot exterior has only finitely many essential surfaces without geometric bounds.

math.GT↗