Classification of Lattices Bounded by Large Surgeries of Knots

Ali Naseri Sadr

2024-04-23

Abstract:We classify all the lattices realized as the intersection form of a positive definite four manifold with boundary $S_n^3(K)$ for a knot $K$ in the three sphere and a positive integer $n$ greater than $4g_4(K)+3$. We then use this result to define a concordance invariant and generalize a theorem of Rasmussen on lens space surgeries.

Geometric Topology

What problem does this paper attempt to address?

Integer surgeries rational homology cobordant to lens spaces

Antony T. H. Fung

2024-06-21

Abstract:The Cyclic Surgery Theorem and Moser's work on surgeries on torus knots imply that for any non-trivial knot in $S^3$, there are at most two integer surgeries that produce a lens space. This paper investigates how many positive integer surgeries on a given knot in $S^3$ can produce a manifold rational homology cobordant to a lens space. Tools include Greene and McCoy's work on changemaker lattices which come from Heegaard Floer $d$-invariants, and Aceto-Celoria-Park's work on rational cobordisms and integral homology which is based on Lisca's work on lens spaces.

Geometric Topology
A classification of symmetries of knots

Keegan Boyle,Nicholas Rouse,Ben Williams

2023-09-06

Abstract:We classify all finite group actions on knots in the 3-sphere. By geometrization, all such actions are conjugate to actions by isometries, and so we may use orthogonal representation theory to describe three cyclic and seven dihedral families of symmetries. By constructing examples, we prove that all of the cyclic and four of the dihedral families arise as symmetries of prime knots. The remaining three dihedral families apply only to composite knots. We also explain how to distinguish different types of symmetries of knots using diagrammatic or topological data. Our classification immediately implies a previous result of Sakuma: a hyperbolic knot cannot be both freely periodic and amphichiral. In passing, we establish two technical results: one concerning finite cyclic or dihedral subgroups of isometries of the 3-sphere and another concerning linking numbers of symmetric knots.

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
The $CFK^\infty$ Type of Almost L-space Knots

Fraser Binns

2023-03-14

Abstract:Heegaard Floer homology and knot Floer homology are powerful invariants of 3-manifolds and links respectively. L-space knots are knots which admit Dehn surgeries to 3-manifolds with Heegaard Floer homology of minimal rank. In this paper we study almost L-space knots, which are knots admitting large Dehn surgeries to 3-manifolds with Heegaard Floer homology of next-to-minimal rank. Our main result is a classification of the $CFK^\infty$ type of almost L-space knots. As corollaries we show that almost L-space knots satisfy various topological properties, including some given by Baldwin-Sivek. We also give some new cable link detection results.

Geometric Topology
L-spaces and knot traces

John A. Baldwin,Steven Sivek

2025-01-02

Abstract:There has been a great deal of interest in understanding which knots are characterized by which of their Dehn surgeries. We study a 4-dimensional version of this question: which knots are determined by which of their traces? We prove several results that are in stark contrast with what is known about characterizing surgeries, most notably that the 0-trace detects every L-space knot. Our proof combines tools in Heegaard Floer homology with results about surface homeomorphisms and their dynamics. We also consider nonzero traces, proving for instance that each positive torus knot is determined by its $n$-trace for any $n\leq 0$, whereas no non-positive integer is known to be a characterizing slope for any positive torus knot besides the right-handed trefoil.

Geometric Topology
On definite lattices bounded by a homology 3-sphere and Yang-Mills instanton Floer theory

Christopher Scaduto

DOI: https://doi.org/10.2140/gt.2024.28.1587

2024-09-06

Abstract:Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot, the only non-diagonal lattices that can occur are E8 and the indecomposable unimodular definite lattice of rank 12, up to diagonal summands. We require that our 4-manifolds have no 2-torsion in their homology.

Geometric Topology
On knot Floer homology and lens space surgeries

Peter Ozsvath,Zoltan Szabo

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

2004-03-03

Abstract:In an earlier paper, we used the absolute grading on Heegaard Floer homology to give restrictions on knots in $S^3$ which admit lens space surgeries. The aim of the present article is to exhibit stronger restrictions on such knots, arising from knot Floer homology. One consequence is that all the non-zero coefficients of the Alexander polynomial of such a knot are $\pm 1$. This information in turn can be used to prove that certain lens spaces are not obtained as integral surgeries on knots. In fact, combining our results with constructions of Berge, we classify lens spaces $L(p,q)$ which arise as integral surgeries on knots in $S^3$ with $|p|\leq 1500$. Other applications include bounds on the four-ball genera of knots admitting lens space surgeries (which are sharp for Berge's knots), and a constraint on three-manifolds obtained as integer surgeries on alternating knots, which is closely to related to a theorem of Delman and Roberts.

Geometric Topology,Symplectic Geometry
Chirally Cosmetic Surgeries and Casson Invariants

Kazuhiro ICHIHARA,ITO Tetsuya,Toshio SAITO,Tetsuya ITO

DOI: https://doi.org/10.3836/tjm/1502179325

2021-01-01

Tokyo Journal of Mathematics

Abstract:We study chirally cosmetic surgeries, that is, a pair of Dehn surgeries on a knot producing homeomorphic 3-manifolds with opposite orientations. Several constraints on knots and surgery slopes to admit such surgeries are given. Our main ingredients are the original and the ${\rm SL}(2,\mathbb{C})$ version of Casson invariants. As applications, we give a complete classification of chirally cosmetic surgeries on alternating knots of genus one.

mathematics
Non-Left-Orderable Surgeries on 1-Bridge Braids

Shiyu Liang

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

2020-10-25

Abstract:Boyer, Gordon, and Watson have conjectured that an irreducible rational homology 3-sphere is an L-space if and only if its fundamental group is not left-orderable. Since Dehn surgeries on knots in $S^3$ can produce large families of L-spaces, it is natural to examine the conjecture on these 3-manifolds. Greene, Lewallen, and Vafaee have proved that all 1-bridge braids are L-space knots. In this paper, we consider three families of 1-bridge braids. First we calculate the knot groups and peripheral subgroups. We then verify the conjecture on the three cases by applying the criterion developed by Christianson, Goluboff, Hamann, and Varadaraj, when they verified the same conjecture for certain twisted torus knots and generalized the criteria of Clay and Watson and of Ichihara and Temma.

Geometric Topology,Group Theory
Taut foliations, braid positivity, and unknot detection

Siddhi Krishna

2023-12-01

Abstract:We study positive braid knots (the knots in the three-sphere realized as positive braid closures) through the lens of the L-space conjecture. This conjecture predicts that if $K$ is a non-trivial positive braid knot, then for all $r < 2g(K)-1$, the 3-manifold obtained via $r$-framed Dehn surgery along $K$ admits a taut foliation. Our main result provides some positive evidence towards this conjecture: we construct taut foliations in such manifolds whenever $r<g(K)+1$. As an application, we produce a novel braid positivity obstruction for cable knots by proving that the $(n,\pm 1)$-cable of a knot $K$ is braid positive if and only if $K$ is the unknot. We also present some curious examples demonstrating the limitations of our construction; these examples can also be viewed as providing some negative evidence towards the L-space conjecture. Finally, we apply our main result to produce taut foliations in some splicings of knot exteriors.

Geometric Topology
Classification of positive definite lattices

R. E. Borcherds

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

1999-12-31

Abstract:In this paper we describe an algorithm for classifying orbits of vectors in Lorentzian lattices. The main point of this is that isomorphism classes of positive definite lattices in some genus often correspond to orbits of vectors in some Lorentzian lattice, so we can classify some positive definite lattices. As an application we give the classification of the 665 25-dimensional unimodular positive definite lattices and the 121 even 25 dimensional positive definite lattices of determinant 2. We also use this algorithm to show that there is a unique 26 dimensional unimodular positive definite lattice with no roots.

Number Theory,Group Theory
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
A Surgery Theory for Manifolds of Bounded Geometry

Oliver Attie

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

2003-11-30

Geometric Topology

Abstract:A surgery classification theory is introduced for manifolds of bounded geometry up to quasi-isometry. The Borel conjecture for this theory is proven for flat Euclidean space.
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
Knot invariants and higher representation theory

Ben Webster

DOI: https://doi.org/10.1090/memo/1191

2015-08-12

Abstract:We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl_2 and sl_3 and by Mazorchuk-Stroppel and Sussan for sl_n. Our technique is to study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. These are the representation categories of certain finite dimensional algebras with an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the KLR algebra. When the Lie algebra under consideration is $\mathfrak{sl}_n$, we show that these categories agree with certain subcategories of parabolic category O for gl_k. We also investigate the finer structure of these categories: they are standardly stratified and satisfy a double centralizer property with respect to their self-dual modules. The standard modules of the stratification play an important role as test objects for functors, as Vermas do in more classical representation theory. The existence of these representations has consequences for the structure of previously studied categorifications. It allows us to prove the non-degeneracy of Khovanov and Lauda's 2-category (that its Hom spaces have the expected dimension) in all symmetrizable types, and that the cyclotomic quiver Hecke algebras are symmetric Frobenius. In work of Reshetikhin and Turaev, the braiding and (co)evaluation maps between representations of quantum groups are used to define polynomial knot invariants. We show that the categorifications of tensor products are related by functors categorifying these maps, which allow the construction of bigraded knot homologies whose graded Euler characteristics are the original polynomial knot invariants.

Geometric Topology,Quantum Algebra,Representation Theory
The complete classification of isotopy classes of degree three symplectic curves in $\mathbb{CP}^2$ via a novel algebraic theory of braid monodromy

Amitesh Datta

2023-03-09

Abstract:We develop a new algebraic theory of positive braids and conjugacy classes in the braid group $B_3$. We use our theory to establish a complete classification of isotopy classes of degree three symplectic curves in $\mathbb{CP}^2$ with only $A_n$-singularities for $n\geq 1$ (an $A_n$-singularity is locally modelled by the equation $z^2 = w^n$) independent of Gromov's theory of pseudoholomorphic curves. We show that if $C$ and $C'$ are degree three symplectic curves in $\mathbb{CP}^2$ with the same numbers of $A_n$-singularities for each $n\geq 1$, then $C$ is isotopic to $C'$. Furthermore, our theory furnishes a single method of proof that independently establishes and unifies several fundamental classification results on degree three symplectic curves in $\mathbb{CP}^2$. In particular, we prove using our theory: (1) there is a unique isotopy class of degree three smooth symplectic curves in $\mathbb{CP}^2$ (a result due to Sikorav), (2) the number of nodes is a complete invariant of the isotopy class of a degree three nodal symplectic curve in $\mathbb{CP}^2$ (the case of irreducible nodal curves is due to Shevchishin and the case of reducible nodal curves is due to Golla-Starkston), and (3) there is a unique isotopy class of degree three cuspidal symplectic curves in $\mathbb{CP}^2$ (a generalization of a result due to Ohta-Ono). The present work represents the first step toward resolving the symplectic isotopy conjecture using purely algebraic techniques in the theory of braid groups. Finally, we independently establish a complete classification of genus one Lefschetz fibrations over $\mathbb{S}^2$ (a result due to Moishezon-Livne).

Symplectic Geometry,Algebraic Geometry,Algebraic Topology,Geometric Topology,Representation Theory
An Sl2(C) Algebro-Geometric Invariant of Knots

Weiping Li,Qingxue Wang

DOI: https://doi.org/10.1142/s0129167x11007240

2011-01-01

International Journal of Mathematics

Abstract:In this paper, we define a new algebro-geometric invariant of three-manifolds resulting from Dehn surgery along a hyperbolic knot complement in S-3. We establish a Casson-type invariant for these three-manifolds. In the last section, we explicitly calculate the character variety of the figure-eight knot and discuss some applications, as well as the computation of our new invariants for some three-manifolds resulting from Dehn surgery along the figure-eight knot.
Lattices: From Roots to String Compactifications

Dmitry Manning-Coe

2023-04-16

Abstract:In this dissertation we attempt to answer the question of whether non-abelian gauge groups occur in all F-theory models with Picard number 20 and with a Calabi-Yau four-fold CY4 K3xK3. To do so we employ the Kneser-Nishiyama method to study the properties of elliptic fibrations on a K3 surface. Previously, it was found that there are 34 lattices which must be considered and the question was partially answered for one of them. Here we use results in the sphere packing problem to completely answer this question for 21 cases, and show that a negative answer to this question would constitute a new optimal lattice sphere packing in dimension 18.

High Energy Physics - Theory,Mathematical Physics
Immersed surfaces with knot group $\mathbb{Z}$

Anthony Conway,Allison N. Miller

2024-10-07

Abstract:This article is concerned with locally flatly immersed surfaces in simply-connected $4$-manifolds where the complement of the surface has fundamental group $\mathbb{Z}$. Once the genus and number of double points are fixed, we classify such immersed surfaces in terms of the equivariant intersection form of their exterior and a secondary invariant. Applications include criteria for deciding when an immersed $\mathbb{Z}$-surface in $S^4$ is isotopic to the standard immersed surface that is obtained from an unknotted surface by adding local double points. As another application, we enumerate $\mathbb{Z}$-disks in $D^4$ with a single double point and boundary a given knot; we prove that the number of such disks may be infinite. We also prove that a knot bounds a $\mathbb{Z}$-disk in $D^4$ with $c_+$ positive double points and $c_-$ negative double points if and only if it can be converted into an Alexander polynomial one knot via changing $c_+$ positive crossings and $c_-$ negative crossings. In $4$-manifolds other than $D^4$ and $S^4$, applications include measuring the extent to which immersed $\mathbb{Z}$-surfaces are determined by the equivariant intersection form of their exterior. Along the way, we prove that any two $\mathbb{Z}^2$-concordances between the Hopf link and an Alexander polynomial one link $L$ are homeomorphic rel. boundary.

Geometric Topology
Infinitely many knots admitting the same integer surgery

John Luecke,John Osoinach

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

2014-07-07

Abstract:The construction of knots via annular twisting has been used to create families of knots yielding the same manifold via Dehn surgery. Prior examples have all involved Dehn surgery where the surgery slope is an integral multiple of 2. In this note we prove that for any integer $n$ there exist infinitely many different knots in $S^3$ such that $n$-surgery on those knots yields the same manifold. In particular, when $|n|=1$ homology spheres arise from these surgeries. In addition, when $n \neq 0$ the bridge numbers of the knots constructed tend to infinity as the number of twists along the annulus increases.

Geometric Topology

Classification of Lattices Bounded by Large Surgeries of Knots

Integer surgeries rational homology cobordant to lens spaces

A classification of symmetries of knots

3-manifolds Modulo Surgery Triangles

The $CFK^\infty$ Type of Almost L-space Knots

L-spaces and knot traces

On definite lattices bounded by a homology 3-sphere and Yang-Mills instanton Floer theory

On knot Floer homology and lens space surgeries

Chirally Cosmetic Surgeries and Casson Invariants

Non-Left-Orderable Surgeries on 1-Bridge Braids

Taut foliations, braid positivity, and unknot detection

Classification of positive definite lattices

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

A Surgery Theory for Manifolds of Bounded Geometry

An iterable surgery formula on involutive knot lattice homotopy

Knot invariants and higher representation theory

The complete classification of isotopy classes of degree three symplectic curves in $\mathbb{CP}^2$ via a novel algebraic theory of braid monodromy

An Sl2(C) Algebro-Geometric Invariant of Knots

Lattices: From Roots to String Compactifications

Immersed surfaces with knot group $\mathbb{Z}$

Infinitely many knots admitting the same integer surgery