Abstract The trace of the $$n$$ -framed surgery on a knot in $$S^{3}$$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded $$2$$ -sphere whose complement has abelian fundamental group. Our characterisation is in terms of classical and computable $$3$$ -dimensional knot invariants. For each $$n$$ , this provides conditions that imply a knot is topologically $$n$$ -shake slice, directly analogous to the result of Freedman and Quinn that a knot with trivial Alexander polynomial is topologically slice.
more »
« less
Contact surgery numbers
It is known that any contact $$3$$-manifold can be obtained by rationally contact Dehn surgery along a Legendrian link $$L$$ in the standard tight contact $$3$$-sphere. We define and study various versions of contact surgery numbers, the minimal number of components of a surgery link $$L$$ describing a given contact $$3$$-manifold under consideration. In the first part of the paper, we relate contact surgery numbers to other invariants in terms of various inequalities. In particular, we show that the contact surgery number of a contact manifold is bounded from above by the topological surgery number of the underlying topological manifold plus three. In the second part, we compute contact surgery numbers of all contact structures on the $$3$$-sphere. Moreover, we completely classify the contact structures with contact surgery number one on $$S^1\times S^2$$, the Poincar\'e homology sphere and the Brieskorn sphere $$\Sigma(2,3,7)$$. We conclude that there exist infinitely many non-isotopic contact structures on each of the above manifolds which cannot be obtained by a single rational contact surgery from the standard tight contact $$3$$-sphere. We further obtain results for the $$3$$-torus and lens spaces. As one ingredient of the proofs of the above results we generalize computations of the homotopical invariants of contact structures to contact surgeries with more general surgery coefficients which might be of independent interest.
more »
« less
- Award ID(s):
- 2203312
- PAR ID:
- 10533385
- Publisher / Repository:
- International Press
- Date Published:
- Journal Name:
- Journal of Symplectic Geometry
- Volume:
- 21
- Issue:
- 6
- ISSN:
- 1527-5256
- Page Range / eLocation ID:
- 1255 to 1333
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Knot filtered embedded contact homology was first introduced by Hutchings in 2015; it has been computed for the standard transverse unknot in irrational ellipsoids by Hutchings and for the Hopf link in lens spaces via a quotient by Weiler. While toric constructions can be used to understand the ECH chain complexes of many contact forms adapted to open books with binding the unknot and Hopf link, they do not readily adapt to general torus knots and links. In this paper, we generalize the definition and invariance of knot filtered embedded contact homology to allow for degenerate knots with rational rotation numbers. We then develop new methods for understanding the embedded contact homology chain complex of positive torus knotted fibrations of the standard tight contact 3‐sphere in terms of their presentation as open books and as Seifert fiber spaces. We provide Morse–Bott methods, using a doubly filtered complex and the energy filtered perturbed Seiberg–Witten Floer theory developed by Hutchings and Taubes, and use them to compute the knot filtered embedded contact homology, for odd and positive.more » « less
-
We conjecture a four-dimensional characterization of tightness: A contact structure on a 3-manifold Y is tight if and only if a slice-Bennequin inequality holds for smoothly embedded surfaces in . An affirmative answer to our conjecture would imply an analogue of the Milnor conjecture for torus knots: If a fibered link L induces a tight contact structure on Y, then its fiber surface maximizes the Euler characteristic among all surfaces in with boundary L. We provide evidence for both conjectures by proving them for contact structures with nonvanishing Ozsváth–Szabó contact invariant.more » « less
-
It is known that every contact form on a closed three-manifold has at least two simple Reeb orbits, and a generic contact form has infinitely many. We show that if there are exactly two simple Reeb orbits, then the contact form is nondegenerate. Combined with a previous result, this implies that the three-manifold is diffeomorphic to the three-sphere or a lens space, and the two simple Reeb orbits are the core circles of a genus-one Heegaard splitting. We also obtain further information about the Reeb dynamics and the contact structure. For example, the Reeb flow has a disk-like global surface of section and so its dynamics are described by a pseudorotation, the contact structure is universally tight, and in the case of the three-sphere the contact volume and the periods and rotation numbers of the simple Reeb orbits satisfy the same relations as for an irrational ellipsoid.more » « less
-
Given an involution on a rational homology 3-sphere Y with quotient the 3-sphere, we prove a formula for the Lefschetz num- ber of the map induced by this involution in the reduced mono- pole Floer homology. This formula is motivated by a variant of Witten’s conjecture relating the Donaldson and Seiberg–Witten invariants of 4-manifolds. A key ingredient is a skein-theoretic ar- gument, making use of an exact triangle in monopole Floer homol- ogy, that computes the Lefschetz number in terms of the Murasugi signature of the branch set and the sum of Frøyshov invariants as- sociated to spin structures on Y . We discuss various applications of our formula in gauge theory, knot theory, contact geometry, and 4-dimensional topology.more » « less