Showing 1–40 of 40 results for author: Hedden, M

A 4-dimensional rational genus bound

Authors: Katherine Raoux, Matthew Hedden

Abstract: We introduce a 4-dimensional analogue of the rational Seifert genus of a knot $K\subset Y$, which we call the rational slice genus, that measures the complexity of a homology class in $H_2(Y\times [0,1],K;\mathbb{Q})$. Our main theorem is a lower bound for the rational slice genus of a knot in terms of its Heegaard Floer $τ$ invariants. To prove this, we bound the $τ$ invariants of any satellite l… ▽ More We introduce a 4-dimensional analogue of the rational Seifert genus of a knot $K\subset Y$, which we call the rational slice genus, that measures the complexity of a homology class in $H_2(Y\times [0,1],K;\mathbb{Q})$. Our main theorem is a lower bound for the rational slice genus of a knot in terms of its Heegaard Floer $τ$ invariants. To prove this, we bound the $τ$ invariants of any satellite link whose pattern is a closed braid in terms of the $τ$ invariants of the companion knot, a result which should be of independent value. Our techniques also produce rational PL slice genus bounds. As applications, we use our bounds to prove that Floer simple knots have rational slice genus equal to their rational Seifert genus. We also show that there exist sequences of knots in a fixed 3-manifold whose PL slice genus is unbounded. In addition, we produce stronger bounds for the slice genus of knots relative to the rational longitude, and use these to produce a rational slice-Bennequin bound for knots in contact manifolds with non-trivial contact invariant. △ Less

Submitted 31 August, 2023; originally announced August 2023.

Comments: 33 pages, 3 figures

MSC Class: 57K18; 57K10; 57K41; 57K31; 57R58; 57R65; 57K33

Rank-expanding satellites, Whitehead doubles, and Heegaard Floer homology

Authors: Irving Dai, Matthew Hedden, Abhishek Mallick, Matthew Stoffregen

Abstract: We show that a large class of satellite operators are rank-expanding; that is, they map some rank-one subgroup of the concordance group onto an infinite linearly independent set. Our work constitutes the first systematic study of this property in the literature and partially affirms a conjecture of the second author and Pinzón-Caicedo. More generally, we establish a Floer-theoretic condition for a… ▽ More We show that a large class of satellite operators are rank-expanding; that is, they map some rank-one subgroup of the concordance group onto an infinite linearly independent set. Our work constitutes the first systematic study of this property in the literature and partially affirms a conjecture of the second author and Pinzón-Caicedo. More generally, we establish a Floer-theoretic condition for a family of companion knots to have infinite-rank image under satellites from this class. The methods we use are amenable to patterns which act trivially in topological concordance and are capable of handling a surprisingly wide variety of companions. For instance, we give an infinite linearly independent family of Whitehead doubles whose companion knots all have negative $τ$-invariant. Our also results recover and extend several theorems in this area established using instanton Floer homology. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Comments: 38 pages; 18 figures

MSC Class: 57M25; 57M27; 57R58

Murasugi sum and extremal knot Floer homology

Authors: Zhechi Cheng, Matthew Hedden, Sucharit Sarkar

Abstract: The aim of this paper is to study the behavior of knot Floer homology under Murasugi sum. We establish a graded version of Ni's isomorphism between the extremal knot Floer homology of Murasugi sum of two links and the tensor product of the extremal knot Floer homology groups of the two summands. We further prove that $τ=g$ for each summand if and only if $τ=g$ holds for the Murasugi sum (with $τ$… ▽ More The aim of this paper is to study the behavior of knot Floer homology under Murasugi sum. We establish a graded version of Ni's isomorphism between the extremal knot Floer homology of Murasugi sum of two links and the tensor product of the extremal knot Floer homology groups of the two summands. We further prove that $τ=g$ for each summand if and only if $τ=g$ holds for the Murasugi sum (with $τ$ and $g$ defined appropriately for multi-component links). Some applications are presented. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Comments: 26 pages, 12 figures

MSC Class: 57K18; 57R58

On naturality of the Ozsvath-Szabo contact invariant

Authors: Matthew Hedden, Lev Tovstopyat-Nelip

Abstract: We discuss functoriality properties of the Ozsvath-Szabo contact invariant, and expose a number of results which seemed destined for folklore. We clarify the (in)dependence of the invariant on the basepoint, prove that it is functorial with respect to contactomorphisms, and show that it is strongly functorial under Stein cobordisms. We discuss functoriality properties of the Ozsvath-Szabo contact invariant, and expose a number of results which seemed destined for folklore. We clarify the (in)dependence of the invariant on the basepoint, prove that it is functorial with respect to contactomorphisms, and show that it is strongly functorial under Stein cobordisms. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Comments: 19 pages

Journal ref: Open Book Series 5 (2022) 123-143

4-dimensional aspects of tight contact 3-manifolds

Authors: Matthew Hedden, Katherine Raoux

Abstract: In this article we conjecture a 4-dimensional characterization of tightness: a contact structure is tight if and only if a slice-Bennequin inequality holds for smoothly embedded surfaces in Yx[0,1]. An affirmative answer to our conjecture would imply an analogue of the Milnor conjecture for torus knots: if a fibered link L induces a tight contact structure on Y then its fiber surface maximize Eule… ▽ More In this article we conjecture a 4-dimensional characterization of tightness: a contact structure is tight if and only if a slice-Bennequin inequality holds for smoothly embedded surfaces in Yx[0,1]. An affirmative answer to our conjecture would imply an analogue of the Milnor conjecture for torus knots: if a fibered link L induces a tight contact structure on Y then its fiber surface maximize Euler characteristic amongst all surfaces in Yx[0,1] with boundary L. We provide evidence for both conjectures by proving them for contact structures with non-vanishing Ozsváth-Szabó contact invariant. We also show that any subsurface of a page of an open book inducing a contact structure with non-trivial invariant maximize "slice" Euler-characteristic for its boundary, and conjecture that this holds more generally for open books inducing tight contact structures. △ Less

Submitted 25 October, 2020; originally announced October 2020.

Comments: 14 pages, 1 figure

MSC Class: 57K18; 57K10; 57K41; 57K31; 57R58; 57R65; 57K33; 53D10; 53D40; 57K33; 57K40; 57K43

Journal ref: PNAS June 1, 2021 118 (22) e2025436118

Knot Floer homology and relative adjunction inequalities

Authors: Matthew Hedden, Katherine Raoux

Abstract: We establish inequalities that constrain the genera of smooth cobordisms between knots in 4-dimensional cobordisms. These "relative adjunction inequalities" improve the adjunction inequalities for closed surfaces which have been instrumental in many topological applications of gauge theory. The relative inequalities refine the latter by incorporating numerical invariants of knots in the boundary a… ▽ More We establish inequalities that constrain the genera of smooth cobordisms between knots in 4-dimensional cobordisms. These "relative adjunction inequalities" improve the adjunction inequalities for closed surfaces which have been instrumental in many topological applications of gauge theory. The relative inequalities refine the latter by incorporating numerical invariants of knots in the boundary associated to Heegaard Floer homology classes determined by the 4-manifold. As a corollary, we produce a host of concordance invariants for knots in a general 3-manifold, one such invariant for every non-zero Floer class. We apply our results to produce analogues of the Ozsváth-Szabó-Rasmussen concordance invariant for links, allowing us to reprove the link version of the Milnor conjecture, and, furthermore, to show that knot Floer homology detects strongly quasipositive fibered links. △ Less

Submitted 6 August, 2021; v1 submitted 11 September, 2020; originally announced September 2020.

Comments: 48 pages, 9 figures; many minor revisions

MSC Class: 57K18; 57K10; 57K41; 57K31; 57R58; 57R65; 57K33

Corks, involutions, and Heegaard Floer homology

Authors: Irving Dai, Matthew Hedden, Abhishek Mallick

Abstract: Building on the algebraic framework developed by Hendricks, Manolescu, and Zemke, we introduce and study a set of Floer-theoretic invariants aimed at detecting corks. Our invariants obstruct the extension of a given involution over any homology ball, rather than a particular contractible manifold. Unlike previous approaches, we do not utilize any closed 4-manifold topology or contact topology. Ins… ▽ More Building on the algebraic framework developed by Hendricks, Manolescu, and Zemke, we introduce and study a set of Floer-theoretic invariants aimed at detecting corks. Our invariants obstruct the extension of a given involution over any homology ball, rather than a particular contractible manifold. Unlike previous approaches, we do not utilize any closed 4-manifold topology or contact topology. Instead, we adapt the formalism of local equivalence coming from involutive Heegaard Floer homology. As an application, we define a modification $Θ^τ_{\mathbb{Z}}$ of the homology cobordism group which takes into account an involution on each homology sphere, and prove that this admits a $\mathbb{Z}^\infty$-subgroup of strongly non-extendable corks. The group $Θ^τ_{\mathbb{Z}}$ can also be viewed as a refinement of the bordism group of diffeomorphisms. Using our invariants, we furthermore establish several new families of corks and prove that various known examples are strongly non-extendable. Our main computational tool is a monotonicity theorem which constrains the behavior of our invariants under equivariant negative-definite cobordisms, and an explicit method of constructing such cobordisms via equivariant surgery. △ Less

Submitted 21 August, 2021; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: 68 pages; fixed typo in Figure 5, to appear in J. Eur. Math. Soc

MSC Class: 57M27; 57R58

A surgery formula for knot Floer homology

Authors: Matthew Hedden, Adam Simon Levine

Abstract: Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $λ$, and let $Y_λ(K)$ denote the result of $λ$-framed surgery on $Y$. Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of $Y_λ(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of th… ▽ More Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $λ$, and let $Y_λ(K)$ denote the result of $λ$-framed surgery on $Y$. Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of $Y_λ(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of the dual knot $K_λ$ in $Y_λ$, i.e., the core circle of the surgery solid torus. In the course of proving our refinement we derive a combinatorial formula for the Alexander grading which may be of independent interest. △ Less

Submitted 3 January, 2021; v1 submitted 8 January, 2019; originally announced January 2019.

Comments: 89 pages, 6 figures. Numerous minor corrections and revisions to first version

MSC Class: 57M27; 57M25; 57R58

Satellites of Infinite Rank in the Smooth Concordance Group

Authors: Matthew Hedden, Juanita Pinzon-Caicedo

Abstract: We conjecture that satellite operations are either constant or have infinite rank in the concordance group. We reduce this to the difficult case of winding number zero satellites, and use $SO(3)$ gauge theory to provide a general criterion sufficient for the image of a satellite operation to generate an infinite rank subgroup of the smooth concordance group $\mathcal{C}$. Our criterion applies wid… ▽ More We conjecture that satellite operations are either constant or have infinite rank in the concordance group. We reduce this to the difficult case of winding number zero satellites, and use $SO(3)$ gauge theory to provide a general criterion sufficient for the image of a satellite operation to generate an infinite rank subgroup of the smooth concordance group $\mathcal{C}$. Our criterion applies widely; notably to many unknotted patterns for which the corresponding operators on the topological concordance group are zero. We raise some questions and conjectures regarding satellite operators and their interaction with concordance. △ Less

Submitted 3 January, 2021; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: Significant changes and improvements to exposition. Numerous minor corrections and updates

MSC Class: 57M25; 57N70; 57M27

Journal ref: Inventiones Mathematicae, 2021

The Fukaya category of the pillowcase, traceless character varieties, and Khovanov Cohomology

Authors: Matthew Hedden, Christopher M. Herald, Matthew Hogancamp, Paul Kirk

Abstract: For a diagram of a 2-stranded tangle in the 3-ball we define a twisted complex of compact Lagrangians in the triangulated envelope of the Fukaya category of the smooth locus of the pillowcase. We show that this twisted complex is a functorial invariant of the isotopy class of the tangle, and that it provides a factorization of Bar-Natan's functor from the tangle cobordism category to chain complex… ▽ More For a diagram of a 2-stranded tangle in the 3-ball we define a twisted complex of compact Lagrangians in the triangulated envelope of the Fukaya category of the smooth locus of the pillowcase. We show that this twisted complex is a functorial invariant of the isotopy class of the tangle, and that it provides a factorization of Bar-Natan's functor from the tangle cobordism category to chain complexes. In particular, the hom set of our invariant with a particular non-compact Lagrangian associated to the trivial tangle is naturally isomorphic to the reduced Khovanov chain complex of the closure of the tangle. Our construction comes from the geometry of traceless SU(2) character varieties associated to resolutions of the tangle diagram, and was inspired by Kronheimer and Mrowka's singular instanton link homology. △ Less

Submitted 6 January, 2021; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: 53 pages, 16 figures; Improvements to exposition. This is essentially the published version

MSC Class: 57M27; 57R58; 53D40

Journal ref: Trans. Amer. Math. Soc. 373 (2020), 8391-8437

Irreducible 3-manifolds that cannot be obtained by 0-surgery on a knot

Authors: Matthew Hedden, Min Hoon Kim, Thomas E. Mark, Kyungbae Park

Abstract: We give two infinite families of examples of closed, orientable, irreducible 3-manifolds $M$ such that $b_1(M)=1$ and $π_1(M)$ has weight 1, but $M$ is not the result of Dehn surgery along a knot in the 3-sphere. This answers a question of Aschenbrenner, Friedl and Wilton, and provides the first examples of irreducible manifolds with $b_1=1$ that are known not to be surgery on a knot in the 3-sphe… ▽ More We give two infinite families of examples of closed, orientable, irreducible 3-manifolds $M$ such that $b_1(M)=1$ and $π_1(M)$ has weight 1, but $M$ is not the result of Dehn surgery along a knot in the 3-sphere. This answers a question of Aschenbrenner, Friedl and Wilton, and provides the first examples of irreducible manifolds with $b_1=1$ that are known not to be surgery on a knot in the 3-sphere. One family consists of Seifert fibered 3-manifolds, while each member of the other family is not even homology cobordant to any Seifert fibered 3-manifold. None of our examples are homology cobordant to any manifold obtained by Dehn surgery along a knot in the 3-sphere. △ Less

Submitted 16 October, 2019; v1 submitted 23 February, 2018; originally announced February 2018.

Comments: 18 pages, 8 figures; final version, to appear in Transactions of the AMS

On the functoriality of Khovanov-Floer theories

Authors: John A. Baldwin, Matthew Hedden, Andrew Lobb

Abstract: We introduce the notion of a Khovanov-Floer theory. Roughly, such a theory assigns a filtered chain complex over Z/2 to a link diagram such that (1) the E_2 page of the resulting spectral sequence is naturally isomorphic to the Khovanov homology of the link; (2) this filtered complex behaves nicely under planar isotopy, disjoint union, and 1-handle addition; and (3) the spectral sequence collapses… ▽ More We introduce the notion of a Khovanov-Floer theory. Roughly, such a theory assigns a filtered chain complex over Z/2 to a link diagram such that (1) the E_2 page of the resulting spectral sequence is naturally isomorphic to the Khovanov homology of the link; (2) this filtered complex behaves nicely under planar isotopy, disjoint union, and 1-handle addition; and (3) the spectral sequence collapses at the E_2 page for any diagram of the unlink. We prove that a Khovanov-Floer theory naturally yields a functor from the link cobordism category to the category of spectral sequences. In particular, every page (after E_1) of the spectral sequence accompanying a Khovanov-Floer theory is a link invariant, and an oriented cobordism in R^3 \times [0,1] between links in R^3 induces a map between each page of their spectral sequences, invariant up to smooth isotopy of the cobordism rel boundary. We then show that the spectral sequences relating Khovanov homology to Heegaard Floer homology and singular instanton knot homology are induced by Khovanov-Floer theories and are therefore functorial in the manner described above, as has been conjectured for some time. We further show that Szabo's geometric spectral sequence comes from a Khovanov-Floer theory, and is thus functorial as well. In addition, we illustrate how our framework can be used to give another proof that Lee's spectral sequence is functorial and that Rasmussen's invariant is a knot invariant. Finally, we use this machinery to define some potentially new knot invariants. △ Less

Submitted 18 June, 2018; v1 submitted 15 September, 2015; originally announced September 2015.

Comments: 42 pages. v2: 43 pages, very slight rewrite, role of basepoints treated in more detail

MSC Class: 57M27

The Upsilon function of L-space knots is a Legendre transform

Authors: Maciej Borodzik, Matthew Hedden

Abstract: Given an L-space knot we show that its Upsilon function is the Legendre transform of a counting function equivalent to the d-invariants of its large surgeries. The unknotting obstruction obtained for the Upsilon function is, in the case of L-space knots, contained in the d-invariants of large surgeries. Generalizations apply for connected sums of L-space knots, which imply that the slice obstructi… ▽ More Given an L-space knot we show that its Upsilon function is the Legendre transform of a counting function equivalent to the d-invariants of its large surgeries. The unknotting obstruction obtained for the Upsilon function is, in the case of L-space knots, contained in the d-invariants of large surgeries. Generalizations apply for connected sums of L-space knots, which imply that the slice obstruction provided by Upsilon on the subgroup of concordance generated by L-space knots is no finer than that provided by the d-invariants. △ Less

Submitted 24 June, 2015; v1 submitted 25 May, 2015; originally announced May 2015.

Comments: version 2: 13 pages. Question 1.5 asked in the first version is answered negatively

MSC Class: 57M27

Floer Homology and Fractional Dehn Twists

Authors: Matthew Hedden, Thomas E. Mark

Abstract: We establish a relationship between Heegaard Floer homology and the fractional Dehn twist coefficient of surface automorphisms. Specifically, we show that the rank of the Heegaard Floer homology of a 3-manifold bounds the absolute value of the fractional Dehn twist coefficient of the monodromy of any of its open book decompositions with connected binding. We prove this by showing that the rank of… ▽ More We establish a relationship between Heegaard Floer homology and the fractional Dehn twist coefficient of surface automorphisms. Specifically, we show that the rank of the Heegaard Floer homology of a 3-manifold bounds the absolute value of the fractional Dehn twist coefficient of the monodromy of any of its open book decompositions with connected binding. We prove this by showing that the rank of Floer homology gives bounds for the number of boundary parallel right or left Dehn twists necessary to add to a surface automorphism to guarantee that the associated contact manifold is tight or overtwisted, respectively. By examining branched double covers, we also show that the rank of the Khovanov homology of a link bounds the fractional Dehn twist coefficient of its odd-stranded braid representatives. △ Less

Submitted 6 January, 2015; originally announced January 2015.

Comments: 41 pages

The pillowcase and traceless representations of knot groups II: a Lagrangian-Floer theory in the pillowcase

Authors: Matthew Hedden, Christopher M. Herald, Paul Kirk

Abstract: We define an elementary relatively $\mathbb Z/4$ graded Lagrangian-Floer chain complex for restricted immersions of compact 1-manifolds into the pillowcase, and apply it to the intersection diagram obtained by taking traceless $SU(2)$ character varieties of 2-tangle decompositions of knots. Calculations for torus knots are explained in terms of pictures in the punctured plane. The relation to the… ▽ More We define an elementary relatively $\mathbb Z/4$ graded Lagrangian-Floer chain complex for restricted immersions of compact 1-manifolds into the pillowcase, and apply it to the intersection diagram obtained by taking traceless $SU(2)$ character varieties of 2-tangle decompositions of knots. Calculations for torus knots are explained in terms of pictures in the punctured plane. The relation to the reduced instanton homology of knots is explored. △ Less

Submitted 30 December, 2014; originally announced January 2015.

Comments: 66 pages, 25 figures

MSC Class: Primary 57M27; 57R58; 57M25; Secondary 81T13

Plane algebraic curves of arbitrary genus via Heegaard Floer homology

Authors: Maciej Borodzik, Matthew Hedden, Charles Livingston

Abstract: Suppose C is a singular curve in CP^2 and it is topologically an embedded surface of genus g; such curves are called cuspidal. The singularities of C are cones on knots K_i. We apply Heegaard Floer theory to find new constraints on the sets of knots {K_i} that can arise as the links of singularities of cuspidal curves. We combine algebro-geometric constraints with ours to solve the existence probl… ▽ More Suppose C is a singular curve in CP^2 and it is topologically an embedded surface of genus g; such curves are called cuspidal. The singularities of C are cones on knots K_i. We apply Heegaard Floer theory to find new constraints on the sets of knots {K_i} that can arise as the links of singularities of cuspidal curves. We combine algebro-geometric constraints with ours to solve the existence problem for curves with genus one, d>33, that possess exactly one singularity which has exactly one Puiseux pair (p;q). The realized triples (p,d,q) are expressed as successive even terms in the Fibonacci sequence. △ Less

Submitted 7 September, 2014; originally announced September 2014.

Comments: 34 pages

MSC Class: 57M25; 14B05

Journal ref: Comment. Math. Helv. 92 (2017) 215-256

On the geography and botany of knot Floer homology

Authors: Matthew Hedden, Liam Watson

Abstract: This note explores two questions: (1) Which bigraded groups arise as the knot Floer homology of a knot in the three-sphere? (2) Given a knot, how many distinct knots share its Floer homology? Regarding the first, we show there exist bigraded groups satisfying all previously known constraints of knot Floer homology which do not arise as the invariant of a knot. This leads to a new constraint for kn… ▽ More This note explores two questions: (1) Which bigraded groups arise as the knot Floer homology of a knot in the three-sphere? (2) Given a knot, how many distinct knots share its Floer homology? Regarding the first, we show there exist bigraded groups satisfying all previously known constraints of knot Floer homology which do not arise as the invariant of a knot. This leads to a new constraint for knots admitting lens space surgeries, as well as a proof that the rank of knot Floer homology detects the trefoil knot. For the second, we show that any non-trivial band sum of two unknots gives rise to an infinite family of distinct knots with isomorphic knot Floer homology. We also prove that the fibered knot with identity monodromy is strongly detected by its knot Floer homology, implying that Floer homology solves the word problem for map** class groups of surfaces with non-empty boundary. Finally, we survey some conjectures and questions and, based on the results described above, formulate some new ones. △ Less

Submitted 27 July, 2017; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: 39 pages; 6 figures. Version 2: references added, minor changes to last section. Version 3: minor edits and updates. This version accepted for publication in Selecta Mathematica

The pillowcase and perturbations of traceless representations of knot groups

Authors: Matthew Hedden, Chris Herald, Paul Kirk

Abstract: We introduce explicit holonomy perturbations of the Chern-Simons functional on a 3-ball containing a pair of unknotted arcs. These perturbations give us a concrete local method for making the moduli spaces of flat singular SO(3) connections relevant to Kronheimer and Mrowka's singular instanton knot homology non-degenerate. The mechanism for this study is a (Lagrangian) intersection diagram which… ▽ More We introduce explicit holonomy perturbations of the Chern-Simons functional on a 3-ball containing a pair of unknotted arcs. These perturbations give us a concrete local method for making the moduli spaces of flat singular SO(3) connections relevant to Kronheimer and Mrowka's singular instanton knot homology non-degenerate. The mechanism for this study is a (Lagrangian) intersection diagram which arises, through restriction of representations, from a tangle decomposition of a knot. When one of the tangles is trivial, our perturbations allow us to study isolated intersections of two Lagrangians to produce minimal generating sets for singular instanton knot homology. The (symplectic) manifold where this intersection occurs corresponds to the traceless character variety of the four-punctured 2-sphere, which we identify with the familiar pillowcase. We investigate the image in this pillowcase of the traceless representations of tangles obtained by removing a trivial tangle from 2-bridge knots and torus knots. Using this, we compute the singular instanton homology of a variety of torus knots. In many cases, our computations allow us to understand non-trivial differentials in the spectral sequence from Khovanov homology to singular instanton homology. △ Less

Submitted 1 January, 2013; originally announced January 2013.

Comments: 61 pages, 20 color figures

MSC Class: 57M27; 57R58; 57M25 (Primary) 81T13 (Secondary)

Journal ref: Geom. Topol. 18 (2014) 211-287

Topologically slice knots of smooth concordance order two

Authors: Matthew Hedden, Se-Goo Kim, Charles Livingston

Abstract: The existence of topologically slice knots that are of infinite order in the knot concordance group followed from Freedman's work on topological surgery and Donaldson's gauge theoretic approach to 4-manifolds. Here, as an application of Ozsvath and Szabo's Heegaard-Floer theory, we show the existence of an infinite subgroup of the smooth concordance group generated by topologically slice knots of… ▽ More The existence of topologically slice knots that are of infinite order in the knot concordance group followed from Freedman's work on topological surgery and Donaldson's gauge theoretic approach to 4-manifolds. Here, as an application of Ozsvath and Szabo's Heegaard-Floer theory, we show the existence of an infinite subgroup of the smooth concordance group generated by topologically slice knots of concordance order two. In addition, no nontrivial element in this subgroup can be represented by a knot with Alexander polynomial one. △ Less

Submitted 13 May, 2014; v1 submitted 29 December, 2012; originally announced December 2012.

Comments: 35 pages, 16 figures. Expository improvements, typographical and mathematical corrections

MSC Class: 57M25

Journal ref: Journal of Differential Geometry 102 (2016), 353-393

Splicing knot complements and bordered Floer homology

Authors: Matthew Hedden, Adam Simon Levine

Abstract: We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology. We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology. △ Less

Submitted 10 September, 2015; v1 submitted 26 October, 2012; originally announced October 2012.

Comments: 25 pages. Revised version, to appear in Crelle's Journal. Errors from the original version have been corrected

MSC Class: 57M27; 57R58

Khovanov module and the detection of unlinks

Authors: Matthew Hedden, Yi Ni

Abstract: We study a module structure on Khovanov homology, which we show is natural under the Ozsvath-Szabo spectral sequence to the Floer homology of the branched double cover. As an application, we show that this module structure detects trivial links. A key ingredient of our proof is that the H_1/Torsion module structure on Heegaard Floer homology detects S^1xS^2 connected summands. We study a module structure on Khovanov homology, which we show is natural under the Ozsvath-Szabo spectral sequence to the Floer homology of the branched double cover. As an application, we show that this module structure detects trivial links. A key ingredient of our proof is that the H_1/Torsion module structure on Heegaard Floer homology detects S^1xS^2 connected summands. △ Less

Submitted 7 October, 2012; v1 submitted 4 April, 2012; originally announced April 2012.

Comments: 47 pages, 4 figures; Corrected error in the proof that the Khovanov module is a link invariant; Added details on homological cancellation in the presence of a filtration; Introduction revised; Typos and minor errors corrected

MSC Class: 57M27; 57M25

Journal ref: Geom. Topol. 17 (2013) 3027-3076

Dehn surgery, rational open books and knot Floer homology

Authors: Matthew Hedden, Olga Plamenevskaya

Abstract: By recent results of Baker--Etnyre--Van Horn-Morris, a rational open book decomposition defines a compatible contact structure. We show that the Heegaard Floer contact invariant of such a contact structure can be computed in terms of the knot Floer homology of its (rationally null-homologous) binding. We then use this description of contact invariants, together with a formula for the knot Floer ho… ▽ More By recent results of Baker--Etnyre--Van Horn-Morris, a rational open book decomposition defines a compatible contact structure. We show that the Heegaard Floer contact invariant of such a contact structure can be computed in terms of the knot Floer homology of its (rationally null-homologous) binding. We then use this description of contact invariants, together with a formula for the knot Floer homology of the core of a surgery solid torus, to show that certain manifolds obtained by surgeries on bindings of open books carry tight contact structures. Possible applications to lens space surgeries are discussed. △ Less

Submitted 8 May, 2012; v1 submitted 4 May, 2011; originally announced May 2011.

Comments: 27 pages; a few typos corrected; some corollaries removed and replaced by corollary about lens space surgeries

Journal ref: Algebr. Geom. Topol. 13 (2013) 1815-1856

Knot concordance and homology cobordism

Authors: Tim D. Cochran, Bridget D. Franklin, Matthew Hedden, Peter D. Horn

Abstract: We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-ho… ▽ More We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-homology cobordant to the zero-framed surgery on many of its winding number one satellites P(K). Then we prove that in many cases the tau and s-invariants of K and P(K) differ. Consequently neither tau nor s is an invariant of the smooth homology cobordism class of the zero-framed surgery. We also show, that a natural rational version of this question has a negative answer in both the topological and smooth categories, by proving similar results for K and its (p,1)-cables. △ Less

Submitted 28 February, 2011; originally announced February 2011.

Comments: 15 pages, 8 figures

Journal ref: Proc. Amer. Math. Soc. 141 (2013) 2193-2208

Chern-Simons invariants, SO(3) instantons, and Z/2-homology cobordism

Authors: Matthew Hedden, Paul Kirk

Abstract: We review the SO(3) instanton gauge theory of Fintushel and Stern and recast it in the context of 4-manifolds with cylindrical ends. Appli- cations to the Z/2-homology cobordism group of Z/2-homology 3-spheres are given. We review the SO(3) instanton gauge theory of Fintushel and Stern and recast it in the context of 4-manifolds with cylindrical ends. Appli- cations to the Z/2-homology cobordism group of Z/2-homology 3-spheres are given. △ Less

Submitted 27 September, 2010; originally announced September 2010.

Comments: 33 pages, 3 figures, Contribution to the Proceedings of the workshop "Chern-Simons Gauge theory: 20 years after", Bonn, August 2009

MSC Class: 57N70; 57M27; 57R57; 57R90

Instantons, concordance, and Whitehead doubling

Authors: Matthew Hedden, Paul Kirk

Abstract: We use moduli spaces of instantons and Chern-Simons invariants of flat connections to prove that the Whitehead doubles of (2,2^n-1) torus knots are independent in the smooth knot concordance group; that is, they freely generate a subgroup of infinite rank. We use moduli spaces of instantons and Chern-Simons invariants of flat connections to prove that the Whitehead doubles of (2,2^n-1) torus knots are independent in the smooth knot concordance group; that is, they freely generate a subgroup of infinite rank. △ Less

Submitted 3 October, 2010; v1 submitted 27 September, 2010; originally announced September 2010.

Comments: 33 pages, 5 figures. Reference corrected

MSC Class: 57N70; 57M25; 57M27; 57R57; 57R90

Topologically slice knots with nontrivial Alexander polynomial

Authors: Matthew Hedden, Charles Livingston, Daniel Ruberman

Abstract: Let C_T be the subgroup of the smooth knot concordance group generated by topologically slice knots and let C_D be the subgroup generated by knots with trivial Alexander polynomial. We prove the quotient C_T/C_D is infinitely generated, and uncover similar structure in the 3-dimensional rational spin bordism group. Our methods also lead to the construction of links that are topologically, but not… ▽ More Let C_T be the subgroup of the smooth knot concordance group generated by topologically slice knots and let C_D be the subgroup generated by knots with trivial Alexander polynomial. We prove the quotient C_T/C_D is infinitely generated, and uncover similar structure in the 3-dimensional rational spin bordism group. Our methods also lead to the construction of links that are topologically, but not smoothly, concordant to boundary links. △ Less

Submitted 7 May, 2011; v1 submitted 10 January, 2010; originally announced January 2010.

Comments: 27 pages, 7 figures. Clarified discussion of Spinc structures; fixed some typos

MSC Class: 57M25

Journal ref: Adv. in Math. 231 (2012), 913-939

Non-slice linear combinations of algebraic knots

Authors: Matthew Hedden, Paul Kirk, Charles Livingston

Abstract: We show that the subgroup of the knot concordance group generated by links of isolated complex singularities intersects the subgroup of algebraically slice knots in an infinite rank subgroup. We show that the subgroup of the knot concordance group generated by links of isolated complex singularities intersects the subgroup of algebraically slice knots in an infinite rank subgroup. △ Less

Submitted 7 September, 2009; originally announced September 2009.

Comments: 25 pages, 3 figures

MSC Class: 57M25

Journal ref: J. Eur. Math. Soc. 14 (2012), 1181-1208

Manifolds with small Heegaard Floer ranks

Authors: Matthew Hedden, Yi Ni

Abstract: We show that the only irreducible three-manifold with positive first Betti number and Heegaard Floer homology of rank two is homeomorphic to zero-framed surgery on the trefoil. We classify links whose branched double cover gives rise to this manifold. Together with a spectral sequence from Khovanov homology to the Floer homology of the branched double cover, our results show that Khovanov homolo… ▽ More We show that the only irreducible three-manifold with positive first Betti number and Heegaard Floer homology of rank two is homeomorphic to zero-framed surgery on the trefoil. We classify links whose branched double cover gives rise to this manifold. Together with a spectral sequence from Khovanov homology to the Floer homology of the branched double cover, our results show that Khovanov homology detects the unknot if and only if it detects the two component unlink. △ Less

Submitted 25 June, 2009; originally announced June 2009.

Comments: 19 pages, 1 figure

MSC Class: 57M27; 57M25

Journal ref: Geom. Topol. 14 (2010) 1479-1501

On sutured Floer homology and the equivalence of Seifert surfaces

Authors: Matthew Hedden, Andras Juhasz, Sucharit Sarkar

Abstract: We study the sutured Floer homology invariants of the sutured manifold obtained by cutting a knot complement along a Seifert surface, R. We show that these invariants are finer than the "top term" of the knot Floer homology, which they contain. In particular, we use sutured Floer homology to distinguish two non-isotopic minimal genus Seifert surfaces for the knot 8_3. A key ingredient for this t… ▽ More We study the sutured Floer homology invariants of the sutured manifold obtained by cutting a knot complement along a Seifert surface, R. We show that these invariants are finer than the "top term" of the knot Floer homology, which they contain. In particular, we use sutured Floer homology to distinguish two non-isotopic minimal genus Seifert surfaces for the knot 8_3. A key ingredient for this technique is finding appropriate Heegaard diagrams for the sutured manifold associated to the complement of a Seifert surface. △ Less

Submitted 2 November, 2008; originally announced November 2008.

Comments: 32 pages, 17 figures

MSC Class: 57M27; 57R58

Journal ref: Algebr. Geom. Topol. 13 (2013) 505-548

On knot Floer homology and cabling II

Authors: Matthew Hedden

Abstract: We continue our study of the knot Floer homology invariants of cable knots. For large |n|, we prove that many of the filtered subcomplexes in the knot Floer homology filtration associated to the (p,pn+1) cable of a knot, K, are isomorphic to those of K. This result allows us to obtain information about the behavior of the Ozsvath-Szabo concordance invariant under cabling, which has geometric con… ▽ More We continue our study of the knot Floer homology invariants of cable knots. For large |n|, we prove that many of the filtered subcomplexes in the knot Floer homology filtration associated to the (p,pn+1) cable of a knot, K, are isomorphic to those of K. This result allows us to obtain information about the behavior of the Ozsvath-Szabo concordance invariant under cabling, which has geometric consequences for the cabling operation. Applications considered include quasipositivity in the braid group, the knot theory of complex curves, smooth concordance, and lens space (or, more generally, L-space) surgeries. △ Less

Submitted 15 June, 2008; v1 submitted 12 June, 2008; originally announced June 2008.

Comments: 21 pages, 6 color figures

MSC Class: 57M27; 57R58

Does Khovanov homology detect the unknot?

Authors: Matthew Hedden, Liam Watson

Abstract: We determine a wide class of knots, which includes unknotting number one knots, within which Khovanov homology detects the unknot. A corollary is that the Khovanov homology of many satellite knots, including the Whitehead double, detects the unknot. We determine a wide class of knots, which includes unknotting number one knots, within which Khovanov homology detects the unknot. A corollary is that the Khovanov homology of many satellite knots, including the Whitehead double, detects the unknot. △ Less

Submitted 28 May, 2008; originally announced May 2008.

Comments: 7 pages, 2 figures

MSC Class: 57M27; 57M25

Khovanov homology of the 2-cable detects the unknot

Authors: Matthew Hedden

Abstract: We prove that the Khovanov homology of the 2-cable detects the unknot. A corollary is that Khovanov's categorification of the 2-colored Jones polynomial detects the unknot. We prove that the Khovanov homology of the 2-cable detects the unknot. A corollary is that Khovanov's categorification of the 2-colored Jones polynomial detects the unknot. △ Less

Submitted 28 May, 2008; originally announced May 2008.

Comments: 4 pages, no figures

MSC Class: 57M27; 57M25

Some remarks on cabling, contact structures, and complex curves

Authors: Matthew Hedden

Abstract: We determine the relationship between the contact structure induced by a fibered knot, K, in the three-sphere and the contact structures induced by its various cables. Understanding this relationship allows us to classify fibered cable knots which bound a properly embedded complex curve in the four-ball satisfying a genus constraint. This generalizes the well-known classification of links of pla… ▽ More We determine the relationship between the contact structure induced by a fibered knot, K, in the three-sphere and the contact structures induced by its various cables. Understanding this relationship allows us to classify fibered cable knots which bound a properly embedded complex curve in the four-ball satisfying a genus constraint. This generalizes the well-known classification of links of plane curve singularities. △ Less

Submitted 28 April, 2008; originally announced April 2008.

Comments: 11 pages, 1 figure. This paper will appear in the Proceedings of the 2007 Gokova Geometry and Topology conference

MSC Class: 57M25; 57M25; 53D10

Grid Diagrams for Lens Spaces and Combinatorial Knot Floer Homology

Authors: Kenneth L. Baker, J. Elisenda Grigsby, Matthew Hedden

Abstract: Similar to knots in S^3, any knot in a lens space has a grid diagram from which one can combinatorially compute all of its knot Floer homology invariants. We give an explicit description of the generators, differentials, and rational Maslov and Alexander gradings in terms of combinatorial data on the grid diagram. Motivated by existing results for the Floer homology of knots in S^3 and the simil… ▽ More Similar to knots in S^3, any knot in a lens space has a grid diagram from which one can combinatorially compute all of its knot Floer homology invariants. We give an explicit description of the generators, differentials, and rational Maslov and Alexander gradings in terms of combinatorial data on the grid diagram. Motivated by existing results for the Floer homology of knots in S^3 and the similarity of the combinatorics presented here, we conjecture that a certain family of knots is characterized by their Floer homology. Coupled with work of the third author, an affirmative answer to this would prove the Berge conjecture, which catalogs the knots in S^3 admitting lens space surgeries. △ Less

Submitted 4 August, 2008; v1 submitted 1 October, 2007; originally announced October 2007.

Comments: 27 pages, 8 figures; Expositional improvements, corrected normalization of A grading in proof of Lemma 4.10

MSC Class: 57R58; 57M27

Journal ref: International Mathematics Research Notices (2008) Vol. 2008 : article ID rnn024, 39 pages

On Floer homology and the Berge conjecture on knots admitting lens space surgeries

Authors: Matthew Hedden

Abstract: We complete the first step in a two-part program proposed by Baker, Grigsby, and the author to prove that Berge's construction of knots in the three-sphere which admit lens space surgeries is complete. The first step, which we prove here, is to show that a knot in a lens space with a three-sphere surgery has simple (in the sense of rank) knot Floer homology. The second (conjectured) step involve… ▽ More We complete the first step in a two-part program proposed by Baker, Grigsby, and the author to prove that Berge's construction of knots in the three-sphere which admit lens space surgeries is complete. The first step, which we prove here, is to show that a knot in a lens space with a three-sphere surgery has simple (in the sense of rank) knot Floer homology. The second (conjectured) step involves showing that, for a fixed lens space, the only knots with simple Floer homology belong to a simple finite family. Using results of Baker, we provide evidence for the conjectural part of the program by showing that it holds for a certain family of knots. Coupled with work of Ni, these knots provide the first infinite family of non-trivial knots which are characterized by their knot Floer homology. As another application, we provide a Floer homology proof of a theorem of Berge. △ Less

Submitted 2 October, 2007; v1 submitted 1 October, 2007; originally announced October 2007.

Comments: 25 pages, 4 figures - reference updated, erroneously included figures removed

An Ozsvath-Szabo Floer homology invariant of knots in a contact manifold

Authors: Matthew Hedden

Abstract: Using the knot Floer homology filtration, we define invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsvath-Szabo contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston-Bennequin plus rotation number of any Legendrian realization of the knot.… ▽ More Using the knot Floer homology filtration, we define invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsvath-Szabo contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston-Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than the three-sphere with negative maximal Thurston-Bennequin invariant. Perhaps more interesting, our invariant provides a criterion for an open book to induce a tight contact structure. A corollary is that if a manifold possesses contact structures with distinct non-vanishing Ozsvath-Szabo invariants, then any fibered knot can realize the classical Eliashberg-Bennequin bound in at most one of these contact structures. △ Less

Submitted 5 August, 2007; v1 submitted 2 August, 2007; originally announced August 2007.

Comments: 30 pages, no figures

MSC Class: 57M27; 57R58

Knot Floer homology of Whitehead doubles

Authors: Matthew Hedden

Abstract: In this paper we study the knot Floer homology invariants of the twisted and untwisted Whitehead doubles of an arbitrary knot K. We present a formula for the filtered chain homotopy type of HFK(D(+,K,t)) in terms of the invariants for K, where D(+,K,t) denotes the t-twisted positive-clasped Whitehead double of K. In particular, the formula can be used iteratively and can be used to compute the F… ▽ More In this paper we study the knot Floer homology invariants of the twisted and untwisted Whitehead doubles of an arbitrary knot K. We present a formula for the filtered chain homotopy type of HFK(D(+,K,t)) in terms of the invariants for K, where D(+,K,t) denotes the t-twisted positive-clasped Whitehead double of K. In particular, the formula can be used iteratively and can be used to compute the Floer homology of manifolds obtained by surgery on Whitehead doubles. An immediate corollary is that tau(D(+,K,t))=1 if t< 2tau(K) and zero otherwise, where tau is the Ozsv{á}th-Szab{ó} concordance invariant. It follows that the iterated untwisted Whitehead doubles of a knot satisfying tau(K)>0 are not smoothly slice. △ Less

Submitted 12 October, 2006; v1 submitted 4 June, 2006; originally announced June 2006.

Comments: 41 pages, 14 color figures. spelling errors corrected and other minor changes

MSC Class: 57M27; 57R58

Journal ref: Geom. Topol. 11 (2007) 2277-2338

The Ozsv{á}th-Szab{ó} and Rasmussen concordance invariants are not equal

Authors: Matthew Hedden, Philip Ording

Abstract: In this paper we present several counterexamples to Rasmussen's conjecture that the concordance invariant coming from Khovanov homology is equal to twice the invariant coming from Ozsv{á}th-Szab{ó} Floer homology. The counterexamples are twisted Whitehead doubles of the (2,2n+1) torus knots. In this paper we present several counterexamples to Rasmussen's conjecture that the concordance invariant coming from Khovanov homology is equal to twice the invariant coming from Ozsv{á}th-Szab{ó} Floer homology. The counterexamples are twisted Whitehead doubles of the (2,2n+1) torus knots. △ Less

Submitted 14 December, 2005; originally announced December 2005.

Comments: 13 pages, 2 large color figures, 1 small black/white figure

MSC Class: 57M27; 57R58

Notions of positivity and the Ozsvath-Szabo concordance invariant

Authors: Matthew Hedden

Abstract: In this paper we examine the relationship between various types of positivity for knots and the concodance invariant tau discovered by Ozsvath and Szabo and independently by Rasmussen. The main result shows that, for fibered knots, tau characterizes strong quasipositivity. This is quantified by the statement that for K fibered, tau(K)=g(K) if and only if K is strongly quasipositive. In addition,… ▽ More In this paper we examine the relationship between various types of positivity for knots and the concodance invariant tau discovered by Ozsvath and Szabo and independently by Rasmussen. The main result shows that, for fibered knots, tau characterizes strong quasipositivity. This is quantified by the statement that for K fibered, tau(K)=g(K) if and only if K is strongly quasipositive. In addition, we survey existing results regarding tau and forms of positivity and highlight several consequences concerning the types of knots which are (strongly) (quasi) positive. For instance, we show that any knot known to admit a lens space surgery is strongly quasipositive and exhibit infinite families of knots which are not quasipositive. △ Less

Submitted 21 September, 2005; originally announced September 2005.

Comments: 13 pages, 3 figures

On knot Floer homology and cabling

Authors: Matthew Hedden

Abstract: This paper is devoted to the study of the knot Floer homology groups HFK(S^3,K_{2,n}), where K_{2,n} denotes the (2,n) cable of an arbitrary knot, K. It is shown that for sufficiently large |n|, the Floer homology of the cabled knot depends only on the filtered chain homotopy type of CFK(K). A precise formula for this relationship is presented. In fact, the homology groups in the top 2 filtratio… ▽ More This paper is devoted to the study of the knot Floer homology groups HFK(S^3,K_{2,n}), where K_{2,n} denotes the (2,n) cable of an arbitrary knot, K. It is shown that for sufficiently large |n|, the Floer homology of the cabled knot depends only on the filtered chain homotopy type of CFK(K). A precise formula for this relationship is presented. In fact, the homology groups in the top 2 filtration dimensions for the cabled knot are isomorphic to the original knot's Floer homology group in the top filtration dimension. The results are extended to (p,pn+-1) cables. As an example we compute HFK((T_{2,2m+1})_{2,2n+1}) for all sufficiently large |n|, where T_{2,2m+1} denotes the (2,2m+1)-torus knot. △ Less

Submitted 9 October, 2005; v1 submitted 21 June, 2004; originally announced June 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-48.abs.html

MSC Class: 57M27; 57R58

Journal ref: Algebr. Geom. Topol. 5 (2005) 1197-1222