Search arXivSearch

arXiv · 2308.15658

A general Heegaard Floer surgery formula

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ian Zemke. 2023-08-29. A general Heegaard Floer surgery formula. https://arxiv.org/abs/2308.15658

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Chern-Simons invariants and volumes of representations in Nil, Sol, and Euclidean geometries

In this paper, we realize volumes of representations as real-valued Chern-Simons invariants in Nil, Sol, and Euclidean geometries. To this end, we formulate a Chern-Simons invariant of a pair of connections on a principal bundle that need not be trivial. For a connected closed oriented 3-manifold $M$ and a representation $ρ\colonπ_1(M)\to G$ into the identity component $G$ of the isometry group of one of these geometries, we construct an auxiliary connection on the associated flat $G$-bundle. We show that, for a suitably normalized invariant polynomial, the Chern-Simons invariant of the auxiliary and flat connections equals the volume of the representation. For the holonomy representation of a geometric structure, this invariant recovers the Riemannian volume. We also compute the Chern-Simons invariant of the Levi-Civita connection for representative closed manifolds in each of these geometries.

math.GT

Khovanov homology and refined bounds for Gordian distances

From Khovanov homology, we extract a new lower bound for the Gordian distance of knots, which combines and strengthens the previously existing bounds coming from Rasmussen invariants and from torsion invariants. We also improve the bounds for the proper rational Gordian distance.

math.GT

From arcs to curves: quadratic growth of 1-systems

We show that a collection of simple closed curves pairwise intersecting at most once on an orientable surface of Euler characteristic $χ$ has at most $2016|χ|^2+338|χ|$ curves. Up to multiplicative constants, this resolves a thirty-year old problem (see Problem 2.12(b) from the K3 Problem List). Inspired by the work of Przytycki in the setting of arcs, we introduce the concepts of tulips, flowers, and stem systems in order to account for how certain polygons built from pairs of curves in the collection distribute area over the surface.

math.GT