No Arabic abstract
Surgery exact triangles in various 3-manifold Floer homology theories provide an important tool in studying and computing the relevant Floer homology groups. These exact triangles relate the invariants of 3-manifolds, obtained by three different Dehn surgeries on a fixed knot. In this paper, the behavior of $SU(N)$-instanton Floer homology with respect to Dehn surgery is studied. In particular, it is shown that there are surgery exact tetragons and pentagons, respectively, for $SU(3)$- and $SU(4)$-instanton Floer homologies. It is also conjectured that $SU(N)$-instanton Floer homology in general admits a surgery exact $(N+1)$-gon. An essential step in the proof is the construction of a family of asymptotically cylindrical metrics on ALE spaces of type $A_n$. This family is parametrized by the $(n-2)$-dimensional associahedron and consists of anti-self-dual metrics with positive scalar curvature. The metrics in the family also admit a torus symmetry.
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 define Floer homology theories for oriented, singular knots in S^3 and show that one of these theories can be defined combinatorially for planar singular knots.
We define a grid presentation for singular links i.e. links with a finite number of rigid transverse double points. Then we use it to generalize link Floer homology to singular links. Besides the consistency of its definition, we prove that this homology is acyclic under some conditions which naturally make its Euler characteristic vanish.
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.