The paper used to be known as "Knot Floer homology detects fibred links", however there was a mistake in the proof of Theorem 1.9 concerning links. The result about knots (Theorem 1.4) and the application to surgeries giving the Poincare' homology sphere (Corollary 1.7), as well as the applications by Ozsvath and Szabo (math.GT/0604079) and Yi Ni (math.GT/0607156) are uneffected by the mistake. This version is essentially the previous one, without Theorem 1.9 and Subsection 4.3. A more revised version is going to appear on Amer. J. Math. and is available on my personal webpage at http://www.labmath.uqam.ca/~ghiggini/papers.html
Ozsvath and Szabo conjectured that knot Floer homology detects fibred knots. We propose a strategy to approach this conjecture based on Gabai's theory of sutured manifold decomposition and contact topology. We implement this strategy for genus-one knots, obtaining as a corollary that, if rational surgery on a knot $K$ gives the Poincare homology sphere $Σ(2,3,5)$, then $K$ is the left-handed trefoil knot.
Ozsváth and Szabó conjectured that knot Floer homology detects fibred knots in $S^3$. We will prove this conjecture for null-homologous knots in arbitrary closed 3--manifolds. Namely, if $K$ is a knot in a closed 3--manifold $Y$, $Y-K$ is irreducible, and $\hat{HFK}(Y,K)$ is monic, then $K$ is fibred. The proof relies on previous works due to Gabai, Ozsváth--Szabó, Ghiggini and the author. A corollary is that if a knot in $S^3$ admits a lens space surgery, then the knot is fibred.
Given a closed 3--manifold $Y$, we show that the Heegaard Floer homology determines whether $Y$ fibres over the circle with a fibre of negative Euler characteristic. This is an analogue of an earlier result about knots proved by Ghiggini and the author.
We prove that the Knot Floer homology group of a fibred knot of genus g in the Alexander grading 1-g is isomorphic to a version of the fixed point Floer homology of an area-preserving representative of the monodromy.
Ozsváth and Szabó conjectured that knot Floer homology detects fibred links. We will verify this conjecture for closed 3-braids, by classifying fibred closed 3-braids. In particular, given a nontrivial closed 3-braid, either it is fibred, or it differs from a fibred link by a half twist. The proof uses Gabai's method of disk decomposition.
A torti-rational knot, denoted by K(2a,b|r), is a knot obtained from the 2-bridge link B(2a,b) by applying Dehn twists an arbitrary number of times, r, along one component of B(2a,b). We determine the genus of K(2a,b|r) and solve a question of when K(2a,b|r) is fibred. In most cases, the Alexander polynomials determine the genus and fibredness of these knots. We develop both algebraic and geometric techniques to describe the genus and fibredness by means of continued fraction expansions of b/2a. Then, we explicitly construct minimal genus Seifert surfaces. As an application, we solve the same …
It is known that knot Floer homology detects the genus and Alexander polynomial of a knot. We investigate whether knot Floer homology of $K$ detects more structure of minimal genus Seifert surfaces for $K$. We define an invariant of algebraically slice, genus one knots and provide examples to show that knot Floer homology does not detect this invariant. Finally, we remark that certain metabelian $L^2$-signatures bound this invariant from below.
We exhibit an infinite family of knots with isomorphic knot Heegaard Floer homology. Each knot in this infinite family admits a nontrivial genus two mutant which shares the same total dimension in both knot Floer homology and Khovanov homology. Each knot is distinguished from its genus two mutant by both knot Floer homology and Khovanov homology as bigraded groups. Additionally, for both knot Heegaard Floer homology and Khovanov homology, the genus two mutation interchanges the groups in $δ$-gradings $k$ and $-k$.
We define several concordance invariants using knot Floer homology which give improvements over known slice genus and clasp number bounds from Heegaard Floer homology. We also prove that the involutive correction terms of Hendricks and Manolescu give both a slice genus and a clasp number bound.
Given an element in the first homology of a rational homology 3-sphere $Y$, one can consider the minimal rational genus of all knots in this homology class. This defines a function $Θ$ on $H_1(Y;\mathbb Z)$, which was introduced by Turaev as an analogue of Thurston norm. We will give a lower bound for this function using the correction terms in Heegaard Floer homology. As a corollary, we show that Floer simple knots in L-spaces are genus minimizers in their homology classes, hence answer questions of Turaev and Rasmussen about genus minimizers in lens spaces.
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 …
For every genus $g\geq 2$, we construct an infinite family of strongly quasipositive fibred knots having the same Seifert form as the torus knot $T(2,2g+1)$. In particular, their signatures and four-genera are maximal and their homological monodromies (hence their Alexander module structures) agree. On the other hand, the geometric stretching factors are pairwise distinct and the knots are pairwise not ribbon concordant.
In an earlier work, we introduced a family of t-modified knot Floer homologies, defined by modifying the construction of knot Floer homology HFK-minus. The resulting groups were then used to define concordance homomorphisms indexed by t in [0,2]. In the present work we elaborate on the special case t=1, and call the corresponding modified knot Floer homology the unoriented knot Floer homology. Using elementary methods (based on grid diagrams and normal forms for surface cobordisms), we show that the resulting concordance homomorphism gives a lower bound for the smooth 4-dimensional crosscap nu…
We show that the properties of admitting a co-oriented taut foliation and having a left-orderable fundamental group are equivalent for rational homology $3$-sphere graph manifolds and relate them to the property of not being a Heegaard-Floer L-space. This is accomplished in several steps. First we show how to detect families of slopes on the boundary of a Seifert fibred manifold in four different fashions - using representations, using left-orders, using foliations, and using Heegaard-Floer homology. Then we show that each method of detection determines the same family of detected slopes. Next…
We use bordered Floer theory to study properties of twisted Mazur pattern satellite knots $Q_{n}(K)$. We prove that $Q_n(K)$ is not Floer homologically thin, with two exceptions. We calculate the 3-genus of $Q_{n}(K)$ in terms of the twisting parameter $n$ and the 3-genus of the companion $K$, and we determine when $Q_n(K)$ is fibered. As an application to our results on Floer thickness and 3-genus, we verify the Cosmetic Surgery Conjecture for many of these satellite knots.
Let K be a knot in S^3 of genus g and let n>0. We show that if rk HFK(K,g) < 2^{n+1} (where HFK denotes knot Floer homology), in particular if K is an alternating knot such that the leading coefficient a_g of its Alexander polynomial satisfies |a_g| <2^{n+1}, then K has at most n pairwise disjoint non-isotopic genus g Seifert surfaces. For n=1 this implies that K has a unique minimal genus Seifert surface up to isotopy.
We prove that the map on knot Floer homology induced by a ribbon concordance is injective. As a consequence, we prove that the Seifert genus is monotonic under ribbon concordance. We also generalize a theorem of Gabai about the super-additivity of the Seifert genus under band connected sum. Our result gives evidence for a conjecture of Gordon that ribbon concordance is a partial order on the set of knots.
We provide a new obstruction for a rational homology 3-sphere to arise by Dehn surgery on a given knot in the 3-sphere. The obstruction takes the form of an inequality involving the genus of the knot, the surgery coefficient, and a count of L-structures on the 3-manifold, that is spin-c structures with the simplest possible associated Heegaard Floer group. Applications include an obstruction for two framed knots to yield the same 3-manifold, an obstruction that is particularly effective when working with families of framed knots. We introduce the rational and integral Dehn surgery genera for a…
We modify the construction of knot Floer homology to produce a one-parameter family of homologies for knots in the three-sphere. These invariants can be used to give homomorphisms from the smooth concordance group to the integers, giving bounds on the four-ball genus and the concordance genus of knots. We give some applications of these homomorphisms.
We extend Perutz's Lagrangian matching invariants to 3-manifolds which are not necessarily fibred using the technology of holomorphic quilts. We prove an isomorphism of these invariants with Ozsvath-Szabo's Heegaard Floer invariants for certain extremal spin^c structures. As applications, we give new calculations of Heegaard Floer homology of certain classes of 3-manifolds, and a characterization of Juhasz's sutured Floer homology.
For each surface $S$ of genus $g>2$ we construct pairs of conjugate pseudo-Anosov maps, $φ_1$ and $φ_2$, and two non-equivalent covers $p_i: \tilde S \longrightarrow S$, $i=1,2$, so that the lift of $φ_1$ to $\tilde S$ with respect to $p_1$ coincides with that of $φ_2$ with respect to $p_2$. The mapping tori of the $φ_i$ and their lift provide examples of pairs of hyperbolic $3$-manifolds so that the first is covered by the second in two different ways.
We write down an explicit formula for the $+$ version of the Heegaard Floer homology (as an absolutely graded vector space over an arbitrary field) of the results of Dehn surgery on a knot $K$ in $S^3$ in terms of homological data derived from $CFK^{\infty}(K)$. This allows us to prove some results about Dehn surgery on knots in $S^3$. In particular, we show that for a fixed manifold there are only finitely many alternating knots that can produce it by surgery. This is an improvement on a recent result by Lackenby and Purcell. We also derive a lower bound on the genus of knots depending on the…
In this paper, we generalize the work of the second author and prove a grading shifting property, in sutured monopole and instanton Floer theories, for general balanced sutured manifolds. This result has a few consequences. First, we offer an algorithm that computes the Floer homologies of a family of sutured handle-bodies. Second, we obtain a canonical decomposition of sutured monopole and instanton Floer homologies and build polytopes for these two theories, which was initially achieved by Juhász for sutured (Heegaard) Floer homology. Third, we establish a Thurston-norm detection result for …
To each knot $K\subset S^3$ one can associated its knot Floer homology $\hat{HFK}(K)$, a finitely generated bigraded abelian group. In general, the nonzero ranks of these homology groups lie on a finite number of slope one lines with respect to the bigrading. The width of the homology is, in essence, the largest horizontal distance between two such lines. Also, for each diagram $D$ of $K$ there is an associated Turaev surface, and the Turaev genus is the minimum genus of all Turaev surfaces for $K$. We show that the width of knot Floer homology is bounded by Turaev genus plus one. Skein relati…
We say a knot $k$ in the 3-sphere $\mathbb S^3$ has {\it Property $IE$} if the infinite cyclic cover of the knot exterior embeds into $\mathbb S^3$. Clearly all fibred knots have Property $IE$. There are infinitely many non-fibred knots with Property $IE$ and infinitely many non-fibred knots without property $IE$. Both kinds of examples are established here for the first time. Indeed we show that if a genus 1 non-fibred knot has Property $IE$, then its Alexander polynomial $Δ_k(t)$ must be either 1 or $2t^2-5t+2$, and we give two infinite families of non-fibred genus 1 knots with Property $IE$…
In this paper, we extend the theory of sutured Floer homology developed by the author. We first prove an adjunction inequality, and then define a polytope P(M,g) in H^2(M,\partial M; R) that is spanned by the Spin^c-structures which support non-zero Floer homology groups. If (M,g) --> (M',g') is a taut surface decomposition, then a natural map projects P(M',g') onto a face of P(M,g); moreover, if H_2(M) = 0, then every face of P(M,g) can be obtained in this way for some surface decomposition. We show that if (M,g) is reduced, horizontally prime, and H_2(M) = 0, then P(M,g) is maximal dimension…
Sutured Floer homology, denoted by SFH, is an invariant of balanced sutured manifolds previously defined by the author. In this paper we give a formula that shows how this invariant changes under surface decompositions. In particular, if (M, γ)--> (M', γ') is a sutured manifold decomposition then SFH(M',γ') is a direct summand of SFH(M, γ). To prove the decomposition formula we give an algorithm that computes SFH(M,γ) from a balanced diagram defining (M,γ) that generalizes the algorithm of Sarkar and Wang. As a corollary we obtain that if (M, γ) is taut then SFH(M,γ) is non-zero. Other applica…
We show that a decorated knot concordance $C$ from $K$ to $K'$ induces a homomorphism $F_C$ on knot Floer homology that preserves the Alexander and Maslov gradings. Furthermore, it induces a morphism of the spectral sequences to $\widehat{HF}(S^3) \cong \mathbb{Z}_2$ that agrees with $F_C$ on the $E^1$ page and is the identity on the $E^\infty$ page. It follows that $F_C$ is non-vanishing on $\widehat{HFK}_0(K, τ(K))$. We also obtain an invariant of slice disks in homology 4-balls bounding $S^3$. If $C$ is invertible, then $F_C$ is injective, hence $\dim \widehat{HFK}_j(K,i) \le \dim \widehat{…
We use the knot filtration on the Heegaard Floer complex to define an integer invariant tau(K) for knots. Like the classical signature, this invariant gives a homomorphism from the knot concordance group to Z. As such, it gives lower bounds for the slice genus (and hence also the unknotting number) of a knot; but unlike the signature, tau gives sharp bounds on the four-ball genera of torus knots. As another illustration, we calculate the invariant for several ten-crossing knots.
We define a "reduced" version of the knot Floer complex $CFK^-(K)$, and show that it behaves well under connected sums and retains enough information to compute Heegaard Floer $d$-invariants of manifolds arising as surgeries on the knot $K$. As an application to connected sums, we prove that if a knot in the three-sphere admits an $L$-space surgery, it must be a prime knot. As an application of the computation of $d$-invariants, we show that the Alexander polynomial is a concordance invariant within the class of $L$-space knots, and show the four-genus bound given by the $d$-invariant of +1-su…
We compute the Heegaard Floer homology of any rational homology 3-sphere with an open book decomposition of the form (T,ϕ), where T is a genus one surface with one boundary component. In addition, we compute the Heegaard Floer homology of any T^2-bundle over S^1 with first Betti number equal to one, and we compare our results with those of Lebow on the embedded contact homology of such torus bundles. We use these computations to place restrictions on Stein-filllings of the contact structures compatible with such open books, to narrow down somewhat the class of 3-braid knots with finite concord…
We give bounds on the gap functions of the singularities of a cuspidal plane curve of arbitrary genus, generalising recent work of Borodzik and Livingston. We apply these inequalities to unicuspidal curves whose singularity has one Puiseux pair: we prove two identities tying the parameters of the singularity, the genus, and the degree of the curve; we improve on some degree-multiplicity asymptotic inequalities; finally, we prove some finiteness results, we construct infinite families of examples, and in some cases we give an almost complete classification.
We prove that, like the Seiberg-Witten monopole homology, the Heegaard Floer homology for a three-manifold determines its Thurston norm. As a consequence, we show that knot Floer homology detects the genus of a knot. This leads to new proofs of certain results previously obtained using Seiberg-Witten monopole Floer homology (in collaboration with Kronheimer and Mrowka). It also leads to a purely Morse-theoretic interpretation of the genus of a knot. The method of proof shows that the canonical element of Heegaard Floer homology associated to a weakly symplectically fillable contact structure i…
We show that if a positive integral surgery on a knot K inside a homology sphere X with Seifert genus g(K) results in an induced knot K_n in X_n(K)=Y which has simple Floer homology, we should have n>=2g(K). Moreover, if X is the standard sphere, the three-manifold Y is a L-space and the Heegaard Floer homology groups of K are determined by its Alexander polynomial.
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…
We extend the techniques in a previous paper to calculate the Heegaard Floer homology groups for fibered 3-manifolds M whose monodromy is a power of a Dehn twist about a genus-1 separating circle on a surface of genus g > 1. We only consider non-torsion Spin^c-structures on M.
Using the Heegaard Floer homology of Ozsvath and Szabo we investigate obstructions to definite intersection pairings bounded by rational homology spheres. As an application we obtain new lower bounds for the four-ball genus of Montesinos links.
In this paper we study the knot Floer homology of a subfamily of twisted $(p, q)$ torus knots where $q \equiv\pm1$ (mod $p$). Specifically, we classify the knots in this subfamily that admit L-space surgeries. To do calculations, we use the fact that these knots are $(1, 1)$ knots and, therefore, admit a genus one Heegaard diagram.
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.
Based on work of Rasmussen, we construct a concordance invariant associated to the knot Floer complex, and exhibit examples in which this invariant gives arbitrarily better bounds on the 4-ball genus than the Ozsvath-Szabo tau invariant.
We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing Heegaard Floer homology of surgery on a knot. Here however, we take a different approach and use the number of singular fibers of a Seifert fibered integral homology sphere, which is the toroidal structure, to find obstructions. This approach allows us to show that genus one knots cannot yield Seifert fibered integral homology spheres with six or more singular …
Knot Floer homology is an invariant for knots in the three-sphere for which the Euler characteristic is the Alexander-Conway polynomial of the knot. The aim of this paper is to study this homology for a class of satellite knots, so as to see how a certain relation between the Alexander-Conway polynomials of the satellite, companion and pattern is generalized on the level of the knot Floer homology. We also use our observations to study a classical geometric invariant, the Seifert genus, of our satellite knots.
Given an irreducible closed 3--manifold $Y$, we show that its twisted Heegaard Floer homology determines whether $Y$ is a torus bundle over the circle. Another result we will prove is, if $K$ is a genus 1 null-homologous knot in an $L$--space, and the 0--surgery on $K$ is fibered, then $K$ itself is fibered. These two results are the missing cases of earlier results due to the second author.
We use an algorithm by Ozsvath and Szabo to find closed formulae for the ranks of the hat version of the Heegaard Floer homology groups for non-zero Dehn surgeries on knots in the 3-sphere. As applications we provide new bounds on the number of distinct ranks of the Heegaard Floer groups a Dehn surgery can have. These in turn give a new lower bound on the rational Dehn surgery genus of a rational homology 3-sphere. We also provide novel obstructions for a knot to be a potential counterexample to the Cabling Conjecture.
Let $K$ be a null-homologous knot in a generalized L-space $Z$ with $b_1(Z)\le1$. Let $F$ be a Seifert surface of $K$ with genus $g$. We show that if $\widehat{HFK}(Z,K,[F],g)$ is supported in a single $\mathbb Z/2\mathbb Z$--grading, then \[\mathrm{rank}\widehat{HFK}(Z,K,[F],g-1)\ge\mathrm{rank}\widehat{HFK}(Z,K,[F],g).\]
We exhibit the first example of a knot in the three-sphere with a pair of minimal genus Seifert surfaces that can be distinguished using the sutured Floer homology of their complementary manifolds together with the Spin^c-grading. This answers a question of Juhász. More precisely, we show that the Euler characteristic of the sutured Floer homology of the complementary manifolds distinguishes between the two surfaces, as does the sutured Floer polytope introduced by Juhász. Actually, we exhibit an infinite family of knots with pairs of Seifert surfaces that can be distinguished by the Euler cha…
In an earlier paper, we introduced a collection of graded Abelian groups $\HFKa(Y,K)$ associated to knots in a three-manifold. The aim of the present paper is to investigate these groups for several specific families of knots, including the Kinoshita-Terasaka knots and their ``Conway mutants''. These results show that $\HFKa$ contains more information than the Alexander polynomial and the signature of these knots; and they also illustrate the fact that $\HFKa$ detects mutation. We also calculate $\HFKa$ for certain pretzel knots, and knots with small crossing number ($n\leq 9$). Our calculatio…
We prove an excision theorem for the singular instanton Floer homology that allows the excision surfaces to intersect the singular locus. This is an extension of the non-singular excision theorem by Kronheimer and Mrowka and the genus-zero singular excision theorem by Street. We use the singular excision theorem to define an instanton Floer homology theory for sutured manifolds with tangles. As applications, we prove that the annular Khovanov homology (1) detects the unlink, (2) detects the closure of the trivial braid, and (3) distinguishes braid closures from other links; we also prove that …
We compute the Heegaard Floer homology of $S^3_1(K)$ (the (+1) surgery on the torus knot $T_{p,q}$) in terms of the semigroup generated by $p$ and $q$, and we find a compact formula (involving Dedekind sums) for the corresponding Ozsvath--Szabo d-invariant. We relate the result to known knot invariants of $T_{p,q}$ as the genus and the Levine--Tristram signatures. Furthermore, we emphasize the striking resemblance between Heegaard Floer homologies of (+1) and (-1) surgeries on torus knots. This relation is best seen at the level of $τ$ functions.
We define a filtration of the smooth concordance group based on the genus of representative knots. We use the Heegaard Floer epsilon and Upsilon invariants to prove the quotient groups with respect to this filtration are infinitely generated. Results are applied to three infinite families of topologically slice knots.
In this paper, we use Heegaard Floer homology to study reducible surgeries. In particular, suppose K is a non-cable knot in the three-sphere with an L-space surgery. If p-surgery on K is reducible, we show that p equals 2g(K)-1. This implies that any knot with an L-space surgery has at most one reducible surgery, a fact that we show additionally for any knot of genus at most two.
