Work

Knot surgery formulae for instanton Floer homology, I: The main theorem

Year: 2025
Type: article
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 D 0 2 H 1 .Y I Q/ and m ¤ 0. Although 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 byproducts, we obtain a formula computing instanton knot homology of the dual knot analogous to Eftekhary's and Hedden-Levine's work, and also an exact triangle between I ] .Y m .K//, I ] .Y mCk .K// and k copies of I ] .Y / for any m ¤ 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.
Language: English
Open Access status: hybrid
OpenAlex ID: W4413315306
FWCI:
Cites: 33
Cited by:
Related to: 10