Search arXiv⌕ Search

arXiv · 2610.25430

Negative-Definite Plumbings and New Unknotting Numbers

Abstract

We use Neumann's normal form to decide whether the double branched cover of a knot bounds a negative-definite plumbing tree in either orientation, starting from the recognised Seifert or graph-manifold structure of the cover. For many non-alternating knots with at most thirteen crossings whose unknotting numbers were unknown, this identifies the cases in which the Heegaard Floer homology of the cover can be computed from such a plumbing, and shows for most of the others that it cannot. We determine 112 new unknotting numbers. For 43 of them, the lower bound rests on Heegaard Floer homology computed from the plumbing; for the other 69, it comes from linking pairings and from a theorem of McCoy and Park on special alternating knots. Finally, we show that the knot 13n1587 is a further explicit counterexample to the Bernhard--Jablan conjecture, after 13n3370.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Seong-Jin Lee. 2026-10-18. Negative-Definite Plumbings and New Unknotting Numbers. https://arxiv.org/abs/2610.25430

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

KEEP EXPLORING

Related papers

Global shadow estimates and Hausdorff measure criteria in higher rank

Patterson--Sullivan measures encode the distribution of orbits of discrete group actions near the boundary. We prove a global shadow lemma for Patterson--Sullivan measures associated to relatively Morse subgroups of higher-rank semisimple Lie groups. The estimate is uniform for shadows centered at arbitrary points in a Gromov model, including points deep in the cuspidal part, and expresses the contribution of each cusp in terms of peripheral growth. This extends the global shadow lemma of Stratmann--Velani for geometrically finite real hyperbolic groups. As applications, we establish local doubling and reverse doubling. Under Zariski density, we give necessary and sufficient criteria for Patterson--Sullivan measures to agree with the associated Hausdorff measures and to be Ahlfors regular. For symmetric linear forms, these criteria hold without Zariski density. We verify the criteria explicitly for cusped Hitchin representations and real-hyperbolic self-joinings.

math.GT↗

Affine $G$-multibiquandle modules for colored links I: representability of coloring functors and color-profile polynomials

Let $R$ be a commutative ring with identity, let $G$ be an abelian group, and fix $u\in R[G]^\times$. For each component-labeled oriented link diagram $(D,σ)$, we construct a finitely presented $R[G]$-module $M_u(D,σ;R[G])$ with a universal affine coloring $U_{D,σ}$. Every affine coloring with values in an $R[G]$-module factors uniquely through $U_{D,σ}$ by a module homomorphism. Thus the module represents the affine coloring functor. Each specified colored Reidemeister move induces a unique module isomorphism compatible with coloring transport, and the module isomorphism class is a colored-link invariant. The representing modules and universal colorings commute with arbitrary scalar extension, without a flatness assumption. For classical links, simultaneous rescaling of the component labels removes the common deformation unit. For any multibiquandle, associated-biquandle colorings decompose into fibers indexed by component labelings. For finite targets and palettes, we define a color-profile polynomial recording the joint distribution of fiber sizes and numbers of palette labels used, and prove its invariance under oriented link isotopy. In the affine case, the representing modules determine these fibers, and their specialized dimensions determine the coloring counts over finite fields. The color-profile polynomial is not determined, in general, by the full unweighted distribution of coloring-fiber sizes. It therefore retains information beyond the associated-biquandle coloring count.

math.GT↗

Hurwitz existence problem and fiber products

With each holomorphic map $f:R\to\mathbb C\mathbb P^1$, where $R$ is a compact Riemann surface, one can associate a combinatorial datum consisting of the genus $g$ of $R$, the degree $n$ of $f$, the number $r$ of critical values of $f$, and the $r$ partitions of $n$ given by the local degrees of $f$ over these critical values. These quantities are related by the Riemann-Hurwitz formula, and the Hurwitz existence problem asks whether a combinatorial datum that fits this formula actually corresponds to some map $f$. In this paper, we use fiber products of holomorphic maps between compact Riemann surfaces to establish general criteria for the non-realizability of branch data. We also deduce from our results the theorem of Halphen, proven in 1880, concerning polynomial solutions of the equation $A(z)^a+B(z)^b=C(z)^c$, where $a,b,c$ are integers greater than one.

math.GT↗