arXiv subjects

Jonathan Hanselman

Publications and source records attributed to Jonathan Hanselman.

13 recordsLinked to original sources

arXiv2026

Ribbon concordance and fibered predecessors, II: the general case

The first and third authors recently proved that for each knot $K\subset S^3$ there are only finitely many hyperbolic fibered knots which are ribbon concordant to $K$. In this paper, we remove the hyperbolic constraint, proving that every knot in $S^3$ has only finitely many fibered predecessors under ribbon concordance. The key new input is an inequality relating the knot Floer homology of a generalized satellite knot with that of its companion, proved via the immersed curves formulation of bordered Heegaard Floer homology, which should be of independent interest. Our work, together with results of Kojima--McShane, also leads to an explicit upper bound on the Gromov norm of the complement of any fibered predecessor of a knot $K \subset S^3$, in terms of the arc index and genus of $K$.

math.GT↗

arXiv2024

Correction terms of double branched covers and symmetries of immersed curves

We use the immersed curves description of bordered Floer homology to study $d$-invariants of double branched covers $\Sigma_2(L)$ of arborescent links $L \subset S^3$. We define a new invariant $\Delta_{sym}$ of bordered $\mathbb{Z}_2$-homology solid tori from an involution of the associated immersed curves and relate it to both the $d$-invariants and the Neumann-Siebenmann $\bar\mu$-invariants of certain fillings. We deduce that if $L$ is a 2-component arborescent link and $\Sigma_2(L)$ is an L-space, then the spin $d$-invariants of $\Sigma_2(L)$ are determined by the signatures of $L$. By a separate argument, we show that the same relationship holds when $L$ is a 2-component link that admits a certain symmetry.

math.GT↗

arXiv2023

Satellite knots and immersed Heegaard Floer homology

We describe a new method for computing the $UV = 0$ knot Floer complex of a satellite knot given the $UV = 0$ knot Floer complex for the companion and a doubly pointed bordered Heegaard diagram for the pattern, showing that the complex for the satellite can be computed from an immersed doubly pointed Heegaard diagram obtained from the Heegaard diagram for the pattern by overlaying the immersed curve representing the complex for the companion. This method streamlines the usual bordered Floer method of tensoring with a bimodule associated to the pattern by giving an immersed curve interpretation of that pairing, and computing the module from the immersed diagram is often easier than computing the relevant bordered bimodule. In particular, for (1,1) patterns the resulting immersed diagram is genus one, and thus the computation is combinatorial. For (1,1) patterns this generalizes previous work of the first author which showed that such immersed Heegaard diagram computes the $V=0$ knot Floer complex of the satellite. As a key technical step, which is of independent interest, we extend the construction of a bigraded complex from a doubly pointed Heegaard diagram and of an extended type D structure from a torus-boundary bordered Heegaard diagram to allow Heegaard diagrams containing an immersed alpha curve.

math.GT↗

arXiv2023

Knot Floer homology as immersed curves

To a nullhomologous knot $K$ in a 3-manifold $Y$, knot Floer homology associates a bigraded chain complex over $\mathbb{F}[U,V]$ as well as a collection of flip maps; we show that this data can be interpretted as a collection of decorated immersed curves in the marked torus. This is inspired by earlier work of the author with Rasmussen and Watson, showing that bordered Heegaard Floer invariants $\widehat{\mathit{CFD}}$ of manifolds with torus boundary can be interpreted in a similar way. Indeed, if we restrict the construction in this paper to the $UV = 0$ truncation of the knot Floer complex for knots in $S^3$ with $\mathbb{Z}/2\mathbb{Z}$ coefficients, which is equivalent to $\widehat{\mathit{CFD}}$ of the knot complement, we get precisely those curves; this paper then provides an entirely bordered-free treatment of those curves in the case of knot complements, which may appeal to readers unfamiliar with bordered Floer homology. On the other hand, the knot Floer complex is a stronger invariant than $\widehat{\mathit{CFD}}$ of the complement, capturing "minus" information while $\widehat{\mathit{CFD}}$ is only a "hat" flavor invariant. We show that this extra information is realized by adding an additional decoration, a bounding chain, to the immersed multicurves. We also give geometric surgery formulas, showing that $HF^-$ of rational surgeries on nullhomologous knots and the knot Floer complex of dual knots in integer surgeries can be computed by taking Floer homology of the appropriate decorated curves in the marked torus. A section of the paper is devoted to a giving a combinatorial construction of Floer homology of Lagrangians with bounding chains in marked surfaces, which may be of independent interest.

math.GT↗

arXiv2019

Cabling in terms of immersed curves

In joint work with J. Rasmussen, we gave an interpretation of Heegaard Floer homology for manifolds with torus boundary in terms of immersed curves in a punctured torus. In particular, knot Floer homology is captured by this invariant. Appealing to earlier work of the authors on bordered Floer homology, we give a formula for the behaviour of these immersed curves under cabling.

math.GT↗

arXiv2019

Heegaard Floer homology and cosmetic surgeries in $S^3$

If a knot $K$ in $S^3$ admits a pair of truly cosmetic surgeries, we show that the surgery slopes are either $\pm 2$ or $\pm 1/q$ for some value of $q$ that is explicitly determined by the knot Floer homology of $K$. Moreover, in the former case the genus of $K$ must be two, and in the latter case there is bound relating $q$ to the genus and the Heegaard Floer thickness of $K$. As a consequence, we show that the cosmetic crossing conjecture holds for alternating knots (or more generally, Heegaard Floer thin knots) with genus not equal to two. We also show that the conjecture holds for any knot $K$ for which each prime summand of $K$ has at most 16 crossings; our techniques rule out cosmetic surgeries in this setting except for slopes $\pm 1$ and $\pm 2$ on a small number of knots, and these remaining examples can be checked by comparing hyperbolic invariants. These results make use of the surgery formula for Heegaard Floer homology, which has already proved to be a powerful tool for obstructing cosmetic surgeries; we get stronger obstructions than previously known by considering the full graded theory. We make use of a new graphical interpretation of knot Floer homology and the surgery formula in terms of immersed curves, which makes the grading information we need easier to access.

math.GT↗

arXiv2018

Heegaard Floer homology for manifolds with torus boundary: properties and examples

This is a companion paper to earlier work of the authors, which interprets the Heegaard Floer homology for a manifold with torus boundary in terms of immersed curves in a punctured torus. We prove a variety of properties of this invariant, paying particular attention to its relation to knot Floer homology, the Thurston norm, and the Turaev torsion. We also give a geometric description of the gradings package from bordered Heegaard Floer homology and establish a symmetry under spin$^c$ conjugation; this symmetry gives rise to genus one mutation invariance in Heegaard Floer homology for closed three-manifolds. Finally, we include more speculative discussions on relationships with Seiberg-Witten theory, Khovanov homology, and $HF^\pm$. Many examples are included.

math.GT↗

arXiv2016

Bordered Floer homology for manifolds with torus boundary via immersed curves

This paper gives a geometric interpretation of bordered Heegaard Floer homology for manifolds with torus boundary. If $M$ is such a manifold, we show that the type D structure $\widehat{\mathit{CFD}}$ may be viewed as a set of immersed curves decorated with local systems in $\partial M$. These curves-with-decoration are invariants of the underlying three-manifold up to regular homotopy of the curves and isomorphism of the local systems. Given two such manifolds and a homeomorphism $h$ between the boundary tori, the Heegaard Floer homology of the closed manifold obtained by gluing with $h$ is obtained from the Lagrangian intersection Floer homology of the curve-sets. This machinery has several applications: We establish that the dimension of $\widehat{\mathit{HF}}$ decreases under a certain class of degree one maps (pinches) and we establish that the existence of an essential separating torus gives rise to a lower bound on the dimension of $\widehat{\mathit{HF}}$. In particular, it follows that a prime rational homology sphere $Y$ with $\widehat{\mathit{HF}}(Y)<5$ must be geometric. Other results include a new proof of Eftekhary's theorem that L-space homology spheres are atoroidal; a complete characterisation of toroidal L-spaces in terms of gluing data; and a proof of a conjecture of Hom, Lidman, and Vafaee on satellite L-space knots.

math.GT↗

arXiv2015

L-spaces, taut foliations, and graph manifolds

If $Y$ is a closed orientable graph manifold, we show that $Y$ admits a coorientable taut foliation if and only if $Y$ is not an L-space. Combined with previous work of Boyer and Clay, this implies that $Y$ is an L-space if and only if $\pi_1(Y)$ is not left-orderable.

math.GT↗

arXiv2015

A calculus for bordered Floer homology

We consider a class of manifolds with torus boundary admitting bordered Heegaard Floer homology of a particularly simple form, namely, the type D structure may be described graphically by a disjoint union of loops. We develop a calculus for studying bordered invariants of this form and, in particular, provide a complete description of slopes giving rise to L-space Dehn fillings as well as necessary and sufficient conditions for L-spaces resulting from identifying two such manifolds along their boundaries. As an application, we show that Seifert fibered spaces with torus boundary fall into this class, leading to a proof that, among graph manifolds containing a single JSJ torus, the property of being an L-space is equivalent to non-left-orderability of the fundamental group and to the non-existence of a coorientable taut foliation.

math.GT↗

arXiv2015

A remark on the geography problem in Heegaard Floer homology

We give new obstructions to the module structures arising in Heegaard Floer homology. As a corollary, we characterize the possible modules arising as the Heegaard Floer homology of an integer homology sphere with one-dimensional reduced Floer homology. Up to absolute grading shifts, there are only two. We use this corollary to show that the chain complex depicted by Ozsv\'ath, Stipsicz, and Szab\'o to argue that there is no algebraic obstruction to the existence of knots with trivial $\epsilon$ invariant and non-trivial $\Upsilon$ invariant cannot be realized as the knot Floer complex of a knot.

math.GT↗

arXiv2014

Splicing integer framed knot complements and bordered Heegaard Floer homology

We consider the following question: when is the manifold obtained by gluing together two knot complements an $L$-space? Hedden and Levine proved that splicing 0-framed complements of nontrivial knots never produces an $L$-space. We extend this result to allow for arbitrary integer framings. We find that splicing two integer framed nontrivial knot complements only produces an $L$-space if both knots are $L$-space knots and the framings lie in an appropriate range. The proof involves a careful analysis of the bordered Heegaard Floer invariants of each knot complement.

math.GT↗

arXiv2013

Bordered Heegaard Floer homology and graph manifolds

We perform two explicit computations of bordered Heegaard Floer invariants. The first is the type D trimodule associated to the trivial S^1 bundle over the pair of pants P. The second is a bimodule that is necessary for self-gluing, when two torus boundary components of a bordered manifold are glued to each other. Using the results of these two computations, we describe an algorithm for computing HF-hat of any graph manifold.

math.GT↗