Given a knot K in S^3, let u^-(K) (respectively, u^+(K)) denote the minimum number of negative (respectively, positive) crossing changes among all unknotting sequences for K. We use knot Floer homology to construct the invariants l^-(K), l^+(K) and l
(K), which give lower bounds on u^-(K), u^+(K) and the unknotting number u(K), respectively. The invariant l(K) only vanishes for the unknot, and is greater than or equal to the u^-(K). Moreover, the difference l(K)- u^-(K) can be arbitrarily large. We also present several applications towards bounding the unknotting number, the alteration number and the Gordian distance.
We introduce a generalization of oriented tangles, which are still called tangles, so that they are in one-to-one correspondence with the sutured manifolds. We define cobordisms between sutured manifolds (tangles) by generalizing cobordisms between o
riented tangles. For every commutative algebra A over Z/2Z, we define A-Tangles to be the category consisting of A-tangles, which are balanced tangles with A-colorings of the tangle strands and fixed SpinC structures, and A-cobordisms as morphisms. An A-cobordism is a cobordism with a compatible A-coloring and an affine set of SpinC structures. Associated with every A-module M we construct a functor $HF^M$ from A-Tangles to A-Modules, called the tangle Floer homology functor, where A-Modules denotes the the category of A-modules and A-homomorphisms between them. Moreover, for any A-tangle T the A-module $HF^M(T)$ is the extension of sutured Floer homology defined in an earlier work of the authors. In particular, this construction generalizes the 4-manifold invariants of Ozsvath and Szabo. Moreover, applying the above machinery to decorated cobordisms between links, we get functorial maps on link Floer homology.
We obtain a formula for the Heegaard Floer homology (hat theory) of the three-manifold $Y(K_1,K_2)$ obtained by splicing the complements of the knots $K_isubset Y_i$, $i=1,2$, in terms of the knot Floer homology of $K_1$ and $K_2$. We also present a
few applications. If $h_n^i$ denotes the rank of the Heegaard Floer group $widehat{mathrm{HFK}}$ for the knot obtained by $n$-surgery over $K_i$ we show that the rank of $widehat{mathrm{HF}}(Y(K_1,K_2))$ is bounded below by $$big|(h_infty^1-h_1^1)(h_infty^2-h_1^2)- (h_0^1-h_1^1)(h_0^2-h_1^2)big|.$$ We also show that if splicing the complement of a knot $Ksubset Y$ with the trefoil complements gives a homology sphere $L$-space then $K$ is trivial and $Y$ is a homology sphere $L$-space.
We show that if a prime homology sphere has the same Floer homology as the standard three-sphere, it does not contain any incompressible tori.
We show that if K is a non-trivial knot inside a homology sphere Y, then the rank of knot Floer homology associated with K is strictly bigger than the rank of Heegaard Floer homology of Y.
Given a symplectic three-fold $(M,omega)$ we show that for a generic almost complex structure $J$ which is compatible with $omega$, there are finitely many $J$-holomorphic curves in $M$ of any genus $ggeq 0$ representing a homology class $beta$ in $H
_2(M,Z)$ with $c_1(M).beta=0$, provided that the divisibility of $beta$ is at most 4 (i.e. if $beta=nalpha$ with $alphain H_2(M,Z)$ and $nin Z$ then $nleq 4$). Moreover, each such curve is embedded and 4-rigid.
This paper has been withdrawn by the author, due a crucial mistake in proof of lemma 4.2.
Using the combinatorial approach to Heegaard Floer homology we obtain a relatively easy formula for computation of hat Heegaard Floer homology for the three-manifold obtained by rational surgery on a knot K inside a homology sphere Y.
We give a precise description of splicing formulas from a previous paper in terms of knot Floer complex associated with a knot in homology sphere.
