From Heegaard diagrams to surgery

Jovana Nikolic,Vuk Ovaskainen,Zoran Petric

2024-11-02

Abstract:A procedure of going from Heegaard diagrams to framed link diagrams is explained in this note.

Geometric Topology

What problem does this paper attempt to address?

A general Heegaard Floer surgery formula

Ian Zemke

DOI: https://doi.org/10.48550/arXiv.2308.15658

2023-08-30

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.

Geometric Topology
Heegaard Floer homology and integer surgeries on links

Ciprian Manolescu,Peter Ozsvath

DOI: https://doi.org/10.48550/arXiv.1011.1317

2024-07-17

Abstract:Let L be a link in an integral homology three-sphere. We give a description of the Heegaard Floer homology of integral surgeries on L in terms of some data associated to L, which we call a complete system of hyperboxes for L. Roughly, a complete systems of hyperboxes consists of chain complexes for (some versions of) the link Floer homology of L and all its sublinks, together with several chain maps between these complexes. Further, we introduce a way of presenting closed four-manifolds with b_2^+ > 1 by four-colored framed links in the three-sphere. Given a link presentation of this kind for a four-manifold X, we then describe the Ozsvath-Szabo mixed invariants of X in terms of a complete system of hyperboxes for the link. Finally, we explain how a grid diagram produces a particular complete system of hyperboxes for the corresponding link.

Geometric Topology
A note on rational surgeries on a Hopf link

Velibor Bojković,Jovana Nikolić,Mladen Zekić

DOI: https://doi.org/10.21136/CMJ.2023.0144-22

2024-10-17

Abstract:It is clear that every rational surgery on a Hopf link in $3$-sphere is a lens space surgery. In this note we give an explicit computation which lens space is a resulting manifold. The main tool we use is the calculus of continued fractions. As a corollary, we recover the (well known) result on the criterion for when rational surgery on a Hopf link gives the $3$-sphere.

Geometric Topology
Heegaard Floer homology and chirally cosmetic surgeries

Konstantinos Varvarezos

DOI: https://doi.org/10.48550/arXiv.2112.03144

2021-12-06

Geometric Topology

Abstract:A pair of surgeries on a knot is chirally cosmetic if they result in homeomorphic manifolds with opposite orientations. We find new obstructions to the existence of such surgeries coming from Heegaard Floer homology; in particular, we make use of immersed curve formulations of knot Floer homology and the corresponding surgery formula. As an application, we completely classify chirallly cosmetic surgeries on odd alternating pretzel knots, and we rule out such surgeries for a large class of Whitehead doubles. Furthermore, we rule out cosmetic surgeries for L-space knots along slopes with opposite signs.
Heegaard Floer Surgery Formula and Cosmetic Surgeries

Alan Du

2024-01-19

Abstract:Two Dehn surgeries on a knot are called cosmetic if they yield homeomorphic three-manifolds. We show for a certain family of null-homologous knots in any closed orientable three-manifold, if the knot admits cosmetic surgeries with a pair of positive surgery coefficients, then the coefficients are both greater than $1$. In addition, for this family of knots, we show that $1/q$ Dehn surgery for $q$ at least $2$ is not homeomorphic to the original three-manifold. The proofs of these results use the mapping cone formula for the Heegaard Floer homology of Dehn surgery in terms of the knot Floer homology of the knot; we provide a new proof of this formula for integer surgeries in $\text{Spin}^c$ structures with nontorsion first Chern class.

Geometric Topology
The Structure and Enumeration of Link Projections

Martin Bridgeman

DOI: https://doi.org/10.48550/arXiv.math/9411211

1994-11-07

Abstract:We define a decomposition of link projections whose pieces we call atoroidal graphs. We describe a surgery operation on these graphs and show that all atoroidal graphs can be generated by performing surgery repeatedly on a family of well known link projections. This gives a method of enumerating atoroidal graphs and hence link projections by recomposing the pieces of the decomposition.

Geometric Topology
Heegaard Floer homology and cosmetic surgeries in $S^3$

Jonathan Hanselman

DOI: https://doi.org/10.48550/arXiv.1906.06773

2020-08-29

Abstract:If a knot $K$ in $S^3$ admits a pair of truly cosmetic surgeries, we show that the surgery slopes are either $\pm 2$ or $\pm 1/q$ for some value of $q$ that is explicitly determined by the knot Floer homology of $K$. Moreover, in the former case the genus of $K$ must be two, and in the latter case there is bound relating $q$ to the genus and the Heegaard Floer thickness of $K$. As a consequence, we show that the cosmetic crossing conjecture holds for alternating knots (or more generally, Heegaard Floer thin knots) with genus not equal to two. We also show that the conjecture holds for any knot $K$ for which each prime summand of $K$ has at most 16 crossings; our techniques rule out cosmetic surgeries in this setting except for slopes $\pm 1$ and $\pm 2$ on a small number of knots, and these remaining examples can be checked by comparing hyperbolic invariants. These results make use of the surgery formula for Heegaard Floer homology, which has already proved to be a powerful tool for obstructing cosmetic surgeries; we get stronger obstructions than previously known by considering the full graded theory. We make use of a new graphical interpretation of knot Floer homology and the surgery formula in terms of immersed curves, which makes the grading information we need easier to access.

Geometric Topology
Legendrian surgery

Tobias Ekholm

2024-11-19

Abstract:This is an overview paper that describes Eliashberg's Legendrian surgery approach to wrapped Floer cohomology and use it to derive the basic relations between various holomorphic curve theories with additional algebraic constructions. We also give a brief discussion of further results that use the surgery perspective, e.g., for holomorphic curve invariants of singular Legendrians and Lagrangians.

Symplectic Geometry
An Excision Theorem in Heegaard Floer Theory

Neda Bagherifard

2024-10-27

Abstract:Let $Y_1$ be a closed, oriented 3-manifold and $\Sigma$ denote a non-separating closed, orientable surface in $Y_1$ which consists of two connected components of the same genus. By cutting $Y_1$ along $\Sigma$ and re-gluing it using an orientation-preserving diffeomorphism of $\Sigma$ we obtain another closed, oriented 3-manifold $Y_2$. When the excision surface $\Sigma$ is of genus one, we show that twisted Heegaard Floer homology groups of $Y_1$ and $Y_2$ (twisted with coefficients in the universal Novikov ring) are isomorphic. We use this excision theorem to demonstrate that certain manifolds are not related by the excision construction on a genus one surface. Additionally, we apply the excision formula to compute twisted Heegaard Floer homology groups of 0-surgery on certain two-component links, including some families of 2-bridge links.

Geometric Topology
On Steenrod $\mathbb{L}$-homology, generalized manifolds, and surgery

Friedrich Hegenbarth,Dušan Repovš

DOI: https://doi.org/10.1017/S0013091520000012

2020-04-19

Abstract:The aim of this paper is to show the importance of the Steenrod construction of homology theories for the disassembly process in surgery on a generalized $n$-manifold $X^n$, in order to produce an element of generalized homology theory, which is basic for calculations. In particular, we show how to construct an element of the $n$-th Steenrod homology group $H^{st}_{n} (X^{n}, \mathbb{L}^+),$ where $\mathbb{L}^+$ is the connected covering spectrum of the periodic surgery spectrum $\mathbb{L}$, avoiding the use of the geometric splitting procedure, which is standardly used in surgery on topological manifolds.

Algebraic Topology,Geometric Topology
JSJ decompositions of knot exteriors, Dehn surgery and the $L$-space conjecture

Steven Boyer,Cameron McA. Gordon,Ying Hu

2024-09-21

Abstract:In this article, we apply slope detection techniques to study properties of toroidal $3$-manifolds obtained by performing Dehn surgeries on satellite knots in the context of the $L$-space conjecture. We show that if $K$ is an $L$-space knot or admits an irreducible rational surgery with non-left-orderable fundamental group, then the JSJ graph of its exterior is a rooted interval. Consequently, any rational surgery on a composite knot has a left-orderable fundamental group. This is the left-orderable counterpart of Krcatovich's result on the primeness of $L$-space knots, which we reprove using our methods. Analogous results on the existence of co-orientable taut foliations are proved when the knot has a fibred companion. Our results suggest a new approach to establishing the counterpart of Krcatovich's result for surgeries with co-orientable taut foliations, on which partial results have been achieved by Delman and Roberts. Finally, we prove results on left-orderable $p/q$-surgeries on knots with $p$ small.

Geometric Topology
3-manifolds Modulo Surgery Triangles

Lucas Culler

DOI: https://doi.org/10.48550/arXiv.1410.3755

2014-10-30

Abstract:Surgery triangles are an important computational tool in Floer homology. Given a connected oriented surface $\Sigma$, we consider the abelian group $K(\Sigma)$ generated by bordered 3-manifolds with boundary $\Sigma$, modulo the relation that the three manifolds involved in any surgery triangle sum to zero. We show that $K(\Sigma)$ is a finitely generated free abelian group and compute its rank. We also construct an explicit basis and show that it generates all bordered 3-manifolds in a certain stronger sense. Our basis is strictly contained in another finite generating set which was constructed previously by Baldwin and Bloom. As a byproduct we confirm a conjecture of Blokhuis and Brouwer on spanning sets for the binary symplectic dual polar space.

Geometric Topology
Surgery induces exact sequences in Lagrangian cobordisms

Hiro Lee Tanaka

DOI: https://doi.org/10.48550/arXiv.1805.07424

2018-06-17

Abstract:We prove that if L_0 and L_1 are exact branes intersecting in precisely one point, then there exists a fiber sequence in the infinity-category of Lagrangian cobordisms consisting of L_0, L_1, and a surgery of L_0 with L_1. By combining this with the exact functor from [Tan], we find analogues of results of Biran and Cornea in the wrapped and exact setting.

Symplectic Geometry,Algebraic Topology
Cosmetic surgeries and non-orientable surfaces

Kazuhiro Ichihara

DOI: https://doi.org/10.48550/arXiv.1209.0103

2012-09-01

Geometric Topology

Abstract:By considering non-orientable surfaces in the surgered manifolds, we show that the 10/3- and -10/3-Dehn surgeries on the 2-bridge knot $9_{27} = S(49,19)$ are not cosmetic, i.e., they give mutually non-homeomorphic manifolds. The knot is unknown to have no cosmetic surgeries by previously known results; in particular, by using the Casson invariant and the Heegaard Floer homology.
Hard diagrams of split links

Corentin Lunel,Arnaud de Mesmay,Jonathan Spreer

2024-12-04

Abstract:Deformations of knots and links in ambient space can be studied combinatorially on their diagrams via local modifications called Reidemeister moves. While it is well-known that, in order to move between equivalent diagrams with Reidemeister moves, one sometimes needs to insert excess crossings, there are significant gaps between the best known lower and upper bounds on the required number of these added crossings. In this article, we study the problem of turning a diagram of a split link into a split diagram, and we show that there exist split links with diagrams requiring an arbitrarily large number of such additional crossings. More precisely, we provide a family of diagrams of split links, so that any sequence of Reidemeister moves transforming a diagram with $c$ crossings into a split diagram requires going through a diagram with $\Omega(\sqrt{c})$ extra crossings. Our proof relies on the framework of bubble tangles, as introduced by Lunel and de Mesmay, and a technique of Chambers and Liokumovitch to turn homotopies into isotopies in the context of Riemannian geometry.

Geometric Topology,Computational Geometry
An iterable surgery formula on involutive knot lattice homotopy

Seppo Niemi-Colvin

2024-07-22

Abstract:In ``Knots in lattice homology", Ozsváth, Stipsicz, and Szabó showed that knot lattice homology satisfies a surgery formula similar to the one relating knot Floer homology and Heegaard Floer homology, and in previous work, I showed that knot lattice homology is the persistent homology of a doubly filtered space. Here I provide an iterable version of the surgery formula that, provided the initial knot lattice space with flip map, produces a space isomorphic as a doubly-filtered space to the corresponding knot lattice space for the dual knot with the corresponding flip map. If we include the involutive data for the original knot and ambient three-manifold, we can also produce the corresponding involutive data on the new knot lattice space without assuming that the original three-manifold is an $L$-space. I construct $\infty$-categories where these operations are functorial. Finally, I use the surgery formula to compute some examples of knot lattice spaces including for the regular fiber of $\Sigma(2,3,7)$ and for a knot in a three-manifold that is not given by an almost rational graph.

Geometric Topology
Heegaard Floer homologies for (+1) surgeries on torus knots

Maciej Borodzik,András Némethi

DOI: https://doi.org/10.48550/arXiv.1105.5508

2011-05-27

Abstract:We compute the Heegaard Floer homology of $S^3_1(K)$ (the (+1) surgery on the torus knot $T_{p,q}$) in terms of the semigroup generated by $p$ and $q$, and we find a compact formula (involving Dedekind sums) for the corresponding Ozsvath--Szabo d-invariant. We relate the result to known knot invariants of $T_{p,q}$ as the genus and the Levine--Tristram signatures. Furthermore, we emphasize the striking resemblance between Heegaard Floer homologies of (+1) and (-1) surgeries on torus knots. This relation is best seen at the level of $\tau$ functions.

Geometric Topology
Diagrams for Relative Trisections

Nickolas A. Castro,David T. Gay,Juanita Pinzón-Caicedo

DOI: https://doi.org/10.48550/arXiv.1610.06373

2017-07-26

Abstract:We establish a correspondence between trisections of smooth, compact, oriented $4$--manifolds with connected boundary and diagrams describing these trisected $4$--manifolds. Such a diagram comes in the form of a compact, oriented surface with boundary together with three tuples of simple closed curves, with possibly fewer curves than the genus of the surface, satisfying a pairwise standardness condition. This should be thought of as the $4$--dimensional analog of a sutured Heegaard diagram for a sutured $3$--manifold. We also give many foundational examples.

Geometric Topology
L-space surgeries on satellites by algebraic links

Sarah Dean Rasmussen

DOI: https://doi.org/10.1112/topo.12162

2018-12-14

Abstract:Given an $n$-component link $L$ in any 3-manifold $M$, the space $\mathcal{L} \subset (\mathbb{Q}\cup \mkern-1.5mu\{\infty\})^n$ of rational surgery slopes yielding L-spaces is already fully characterized (in joint work by the author) when $n\!=\!1$ and $\mathcal{L}$ is nontrivial. For $n\mkern-2mu>\mkern-3mu1$, however, there are no previous results for $\mathcal{L}$ as a rational subspace, and only limited results for integer surgeries $\mathcal{L}\cap\mathbb{Z}^n$ on $S^3\mkern-2mu$. Herein, we provide the first nontrivial explicit descriptions of $\mathcal{L}$ for rational surgeries on multi-component links. Generalizing Hedden's and Hom's L-space result for cables, we compute both $\mathcal{L}$, and its topology, for all satellites by torus-links in $S^3\mkern-2mu$. For fractal-boundaried $\mathcal{L}$ resulting from satellites by algebraic links or iterated torus links, we develop arbitrarily precise approximation tools. We also extend the provisional validity of the L-space conjecture for rational surgeries on a knot $K \subset S^3$ to rational surgeries on such satellite-links of $K$. These results exploit the author's generalized Jankins-Neumann formula for graph manifolds.

Geometric Topology,Algebraic Geometry
Surgery Obstructions for Seifert Fibered Homology Spheres

Claire Zajaczkowski

DOI: https://doi.org/10.48550/arXiv.1811.05853

2019-04-10

Abstract:We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing Heegaard Floer homology of surgery on a knot. Here however, we take a different approach and use the number of singular fibers of a Seifert fibered integral homology sphere, which is the toroidal structure, to find obstructions. This approach allows us to show that genus one knots cannot yield Seifert fibered integral homology spheres with six or more singular fibers. Some other obstructions are also presented for higher genus knots.

Geometric Topology

From Heegaard diagrams to surgery

A general Heegaard Floer surgery formula

Heegaard Floer homology and integer surgeries on links

A note on rational surgeries on a Hopf link

Heegaard Floer homology and chirally cosmetic surgeries

Heegaard Floer Surgery Formula and Cosmetic Surgeries

The Structure and Enumeration of Link Projections

Heegaard Floer homology and cosmetic surgeries in $S^3$

Legendrian surgery

An Excision Theorem in Heegaard Floer Theory

On Steenrod $\mathbb{L}$-homology, generalized manifolds, and surgery

JSJ decompositions of knot exteriors, Dehn surgery and the $L$-space conjecture

3-manifolds Modulo Surgery Triangles

Surgery induces exact sequences in Lagrangian cobordisms

Cosmetic surgeries and non-orientable surfaces

Hard diagrams of split links

An iterable surgery formula on involutive knot lattice homotopy

Heegaard Floer homologies for (+1) surgeries on torus knots

Diagrams for Relative Trisections

L-space surgeries on satellites by algebraic links

Surgery Obstructions for Seifert Fibered Homology Spheres