Knot surgery formulae for instanton Floer homology I: the main theorem

Abstract

We prove an integral surgery formula for framed instanton homology $I^{♯}(Y_m(K))$ for any knot $K$ in a $3$-manifold $Y$ with $[K]=0\in H_1(Y;\mathbb{Q})$ and $m\ne 0$. Though the statement is similar to Ozsváth-Szabó's integral surgery formula for Heegaard Floer homology, the proof is new and based on sutured instanton homology $SHI$ and the octahedral lemma in the derived category. As a corollary, we obtain an exact triangle between $I^{♯}(Y_m(K))$, $I^{♯}(Y_{m+k}(K))$ and $k$ copies of $I^{♯}(Y)$ for any $m\ne 0$ and large $k$. In the proof of the formula, we discover many new exact triangles for sutured instanton homology and relate some surgery cobordism map to the sum of bypass maps, which are of independent interest. In a companion paper, we derive many applications and computations based on the integral surgery formula.

arXiv commentv3, 69 pages: accepted version, to appear in Geometry & Topology. Comments are welcome

References in corpus (19)

• On the classification of tight contact structures I
• Knot Floer homology and rational surgeries
• Holomorphic discs and sutured manifolds
• Knot homology groups from instantons
• Khovanov homology detects the trefoils
• Moving basepoints and the induced automorphisms of link Floer homology
• Instantons and odd Khovanov homology
• Framed instanton homology and concordance
• A contact invariant in sutured monopole homology
• Instantons and L-space surgeries
• Instanton Floer homology and contact structures
• Naturality in sutured monopole and instanton homology
• Instanton Floer homology, sutures, and Heegaard diagrams
• Bordered Floer homology and existence of incompressible tori in homology spheres
• Contact structures, excisions, and sutured monopole Floer homology
• An enhanced Euler characteristic of sutured instanton homology
• Gluing maps and cobordism maps for sutured monopole Floer homology
• Characterizing slopes for $5_2$
• Knot surgery formulae for instanton Floer homology II: applications