Abstract:We give several new perspectives on the Heegaard Floer Dehn surgery formulas of Manolescu, Ozsváth and Szabó. Our main result is a new exact triangle in the Fukaya category of the torus which gives a new proof of these formulas. This exact triangle is different from the one which appeared in Ozsváth and Szabó's original proof. This exact triangle simplifies a number of technical aspects in their proofs and also allows us to prove several new results. A first application is an extensions of the link surgery formula to arbitrary links in closed 3-manifolds, with no restrictions on the link being null-homologous. A second application is a proof that the modules for bordered manifolds with torus boundaries, defined by the author in a previous paper, are invariants. Another application is a simple proof of a version of the surgery formula which computes knot and link Floer complexes in terms of subcubes of the link surgery hypercube. As a final application, we show that the knot surgery algebra is homotopy equivalent to an endomorphism algebra of a sum of two decorated Lagrangians in the torus, mirroring a result of Auroux concerning the algebras of Lipshitz, Ozsváth and Thurston.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to improve and generalize the Dehn surgery formula in Heegaard Floer homology theory. Specifically, the author Ian Zemke provides a new proof method by introducing a new exact triangle in the Fukaya category, thereby simplifying the technical details and allowing for the proof of some new results.
The following are the specific problems solved by the paper:
1. **New equivalence relation**: The author gives a new equivalence relation and reinterprets the surgery formula of Manolescu, Ozsváth and Szabó through the mapping cones of three Lagrangian submanifolds $\beta_\lambda, \beta_0$ and $\beta_1$ on the torus. This new exact triangle simplifies many technical aspects.
2. **Generalized surgery formula**: Based on the new equivalence relation, the author derives a very general surgery formula, which is applicable to any knot in any closed 3 - manifold. This is more flexible and widely applicable than previous formulas.
3. **Invariance proof**: The author proves that the type - D modules of 3 - manifolds with torus boundaries are invariants. This result solves the previous problem of whether these modules depend on the Dehn surgery representation.
4. **Application of sub - link formulas**: By using the new invariance result, the author gives a simple method to calculate the Floer complexes of knots and links, especially when some components are under surgery.
5. **Endomorphism algebra**: The author also studies the Lipshitz - Ozsváth - Thurston algebra $A(T^2)$ similar to Auroux's description and proves the homotopy equivalence between it and the endomorphism algebra of specific Lagrangian submanifolds.
6. **Other properties and technical simplifications**: The author's work avoids some complex steps in previous proofs, such as the large - surgery formula and the truncation process, making the entire proof more concise and clear. In addition, the author also explores how to use the U - adic topology to deal with the self - gluing problem.
Overall, this paper not only simplifies the complexity in the existing theory by introducing new mathematical tools and perspectives but also provides broader applicability and new insights for the surgery formula in Heegaard Floer homology theory.