A surgery formula for knot Floer homology

Matthew Hedden, Adam Simon Levine

Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $\lambda$, and let $Y_{\lambda }(K)$ denote the result of $\lambda$-framed surgery on $Y$. Ozsváth an…