Showing 1–21 of 21 results for author: Levine, A S

New constructions and invariants of closed exotic 4-manifolds

Authors: Adam Simon Levine, Tye Lidman, Lisa Piccirillo

Abstract: In this article, we give new means of constructing and distinguishing closed exotic four-manifolds. Using Heegaard Floer homology, we define new closed four-manifold invariants that are distinct from the Seiberg--Witten and Bauer--Furuta invariants and can remain distinct in covers. Our constructions include exotic definite manifolds with fundamental group $\mathbb Z/2$, infinite families of exoti… ▽ More In this article, we give new means of constructing and distinguishing closed exotic four-manifolds. Using Heegaard Floer homology, we define new closed four-manifold invariants that are distinct from the Seiberg--Witten and Bauer--Furuta invariants and can remain distinct in covers. Our constructions include exotic definite manifolds with fundamental group $\mathbb Z/2$, infinite families of exotic manifolds that are related by knot surgeries on Alexander polynomial 1 knots, and exotic manifolds that contain square-zero spheres. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: 50 pages, 19 figures

MSC Class: 57K18; 57K41; 57R58

A note on rationally slice knots

Authors: Adam Simon Levine

Abstract: Kawauchi proved that every strongly negative amphichiral knot $K \subset S^3$ bounds a smoothly embedded disk in some rational homology ball $V_K$, whose construction a priori depends on $K$. We show that $V_K$ is independent of $K$ up to diffeomorphism. Thus, a single 4-manifold, along with connected sums thereof, accounts for all known examples of knots that are rationally slice but not slice. Kawauchi proved that every strongly negative amphichiral knot $K \subset S^3$ bounds a smoothly embedded disk in some rational homology ball $V_K$, whose construction a priori depends on $K$. We show that $V_K$ is independent of $K$ up to diffeomorphism. Thus, a single 4-manifold, along with connected sums thereof, accounts for all known examples of knots that are rationally slice but not slice. △ Less

Submitted 25 December, 2022; originally announced December 2022.

Comments: 9 pages, 2 figures

MSC Class: 57K10; 57K18

Khovanov homology and cobordisms between split links

Authors: Onkar Singh Gujral, Adam Simon Levine

Abstract: In this paper, we study the (in)sensitivity of the Khovanov functor to four-dimensional linking of surfaces. We prove that if $L$ and $L'$ are split links, and $C$ is a cobordism between $L$ and $L'$ that is the union of disjoint (but possibly linked) cobordisms between the components of $L$ and the components of $L'$, then the map on Khovanov homology induced by $C$ is completely determined by th… ▽ More In this paper, we study the (in)sensitivity of the Khovanov functor to four-dimensional linking of surfaces. We prove that if $L$ and $L'$ are split links, and $C$ is a cobordism between $L$ and $L'$ that is the union of disjoint (but possibly linked) cobordisms between the components of $L$ and the components of $L'$, then the map on Khovanov homology induced by $C$ is completely determined by the maps induced by the individual components of $C$ and does not detect the linking between the components. As a corollary, we prove that a strongly homotopy-ribbon concordance (i.e., a concordance whose complement can be built with only 1- and 2-handles) induces an injection on Khovanov homology, which generalizes a result of the second author and Zemke. Additionally, we show that a non-split link cannot be ribbon concordant to a split link. △ Less

Submitted 28 March, 2022; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 35 pages, 15 figures

MSC Class: 57K10; 57K18; 57K45

Khovanov homology detects the figure-eight knot

Authors: John A. Baldwin, Nathan Dowlin, Adam Simon Levine, Tye Lidman, Radmila Sazdanovic

Abstract: Using Dowlin's spectral sequence from Khovanov homology to knot Floer homology, we prove that reduced Khovanov homology (over $\mathbb{Q}$) detects the figure-eight knot. Using Dowlin's spectral sequence from Khovanov homology to knot Floer homology, we prove that reduced Khovanov homology (over $\mathbb{Q}$) detects the figure-eight knot. △ Less

Submitted 2 July, 2020; originally announced July 2020.

MSC Class: 57K18

Khovanov homology and ribbon concordance

Authors: Adam Simon Levine, Ian Zemke

Abstract: We show that a ribbon concordance between two links induces an injective map on Khovanov homology. We show that a ribbon concordance between two links induces an injective map on Khovanov homology. △ Less

Submitted 20 July, 2021; v1 submitted 4 March, 2019; originally announced March 2019.

Comments: Published version; errors corrected from previous version. 5 pages, 1 figure

MSC Class: 57M25; 57M27

Journal ref: Bulletin of the London Mathematical Society 51 (2019), no. 6, 1099-1103

A surgery formula for knot Floer homology

Authors: Matthew Hedden, Adam Simon Levine

Abstract: Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $λ$, and let $Y_λ(K)$ denote the result of $λ$-framed surgery on $Y$. Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of $Y_λ(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of th… ▽ More Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $λ$, and let $Y_λ(K)$ denote the result of $λ$-framed surgery on $Y$. Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of $Y_λ(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of the dual knot $K_λ$ in $Y_λ$, i.e., the core circle of the surgery solid torus. In the course of proving our refinement we derive a combinatorial formula for the Alexander grading which may be of independent interest. △ Less

Submitted 3 January, 2021; v1 submitted 8 January, 2019; originally announced January 2019.

Comments: 89 pages, 6 figures. Numerous minor corrections and revisions to first version

MSC Class: 57M27; 57M25; 57R58

Simply-connected, spineless 4-manifolds

Authors: Adam Simon Levine, Tye Lidman

Abstract: We construct infinitely many smooth 4-manifolds which are homotopy equivalent to $S^2$ but do not admit a spine, i.e., a piecewise-linear embedding of $S^2$ which realizes the homotopy equivalence. This is the remaining case in the existence problem for codimension-2 spines in simply-connected manifolds. The obstruction comes from the Heegaard Floer $d$ invariants. We construct infinitely many smooth 4-manifolds which are homotopy equivalent to $S^2$ but do not admit a spine, i.e., a piecewise-linear embedding of $S^2$ which realizes the homotopy equivalence. This is the remaining case in the existence problem for codimension-2 spines in simply-connected manifolds. The obstruction comes from the Heegaard Floer $d$ invariants. △ Less

Submitted 5 March, 2018; originally announced March 2018.

Comments: 7 pages, 3 figures

MSC Class: 57M27; 57Q35

Knot concordance in homology cobordisms

Authors: Jennifer Hom, Adam Simon Levine, Tye Lidman

Abstract: Let $\widehat{\mathcal{C}}_{\mathbb{Z}}$ denote the group of knots in homology spheres that bound homology balls, modulo smooth concordance in homology cobordisms. Answering a question of Matsumoto, the second author previously showed that the natural map from the smooth knot concordance group $\mathcal{C}$ to $\widehat{\mathcal{C}}_{\mathbb{Z}}$ is not surjective. Using tools from Heegaard Floer… ▽ More Let $\widehat{\mathcal{C}}_{\mathbb{Z}}$ denote the group of knots in homology spheres that bound homology balls, modulo smooth concordance in homology cobordisms. Answering a question of Matsumoto, the second author previously showed that the natural map from the smooth knot concordance group $\mathcal{C}$ to $\widehat{\mathcal{C}}_{\mathbb{Z}}$ is not surjective. Using tools from Heegaard Floer homology, we show that the cokernel of this map, which can be understood as the non-locally-flat piecewise-linear concordance group, is infinitely generated and contains elements of infinite order. △ Less

Submitted 10 November, 2022; v1 submitted 23 January, 2018; originally announced January 2018.

Comments: 38 pages, 11 figures; v2: Incorporates referee comments, including the addition of an appendix on smoothings of PL surfaces in 4-manifolds. This is the version to appear in Duke Math. J

MSC Class: 57M27; 57R58

Heegaard Floer invariants in codimension one

Authors: Adam Simon Levine, Daniel Ruberman

Abstract: Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a generator of $H_3(X)$, a suitable version of the Heegaard Floer $d$ invariant of $Y$, defined using twisted coefficients, is a diffeomorphism invariant of $X$. We show… ▽ More Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a generator of $H_3(X)$, a suitable version of the Heegaard Floer $d$ invariant of $Y$, defined using twisted coefficients, is a diffeomorphism invariant of $X$. We show how this invariant can be used to obstruct embeddings of certain types of $3$-manifolds, including those obtained as a connected sum of a rational homology $3$-sphere and any number of copies of $S^1 \times S^2$. We also give similar obstructions to embeddings in certain open $4$-manifolds, including exotic $\mathbb{R}^4$s. △ Less

Submitted 25 July, 2017; v1 submitted 11 October, 2016; originally announced October 2016.

Comments: 34 pages, 1 figure. Final version, to appear in Transactions of the AMS; revisions following referee report

MSC Class: 57M27; 57R58

Khovanov homology and knot Floer homology for pointed links

Authors: John A. Baldwin, Adam Simon Levine, Sucharit Sarkar

Abstract: A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We construct a modified version of Khovanov homology for links with multiple basepoints… ▽ More A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We construct a modified version of Khovanov homology for links with multiple basepoints and show that it mimics the behavior of knot Floer homology. We also introduce a new spectral sequence converging to knot Floer homology whose $E_1$ page is conjecturally isomorphic to our new version of Khovanov homology; this would prove that the conjecture stated above holds over the field $\mathbb{Z}_2$. △ Less

Submitted 20 July, 2021; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: Published version. 46 pages, 5 figures

MSC Class: 57M25; 57R58

Journal ref: Journal of Knot Theory and its Ramifications 26 (2017), no. 2

Strong Heegaard diagrams and strong L-spaces

Authors: Joshua Evan Greene, Adam Simon Levine

Abstract: We study a class of 3-manifolds called strong L-spaces, which by definition admit a certain type of Heegaard diagram that is particularly simple from the perspective of Heegaard Floer homology. We provide evidence for the possibility that every strong L-space is the branched double cover of an alternating link in the three-sphere. For example, we establish this fact for a strong L-space admitting… ▽ More We study a class of 3-manifolds called strong L-spaces, which by definition admit a certain type of Heegaard diagram that is particularly simple from the perspective of Heegaard Floer homology. We provide evidence for the possibility that every strong L-space is the branched double cover of an alternating link in the three-sphere. For example, we establish this fact for a strong L-space admitting a strong Heegaard diagram of genus two via an explicit classification. We also show that there exist finitely many strong L-spaces with bounded order of first homology; for instance, through order eight, they are connected sums of lens spaces. The methods are topological and graph theoretic. We discuss many related results and questions. △ Less

Submitted 23 November, 2014; originally announced November 2014.

Comments: 33 pages, 9 figures

MSC Class: 57M27; 57R58

Journal ref: Algebr. Geom. Topol. 16 (2016) 3167-3208

Non-surjective satellite operators and piecewise-linear concordance

Authors: Adam Simon Levine

Abstract: We exhibit a knot $P$ in the solid torus, representing a generator of first homology, such that for any knot $K$ in the 3-sphere, the satellite knot with pattern $P$ and companion $K$ is not smoothly slice in any homology 4-ball. As a consequence, we obtain a knot in a homology 3-sphere that does not bound a piecewise-linear disk in any homology 4-ball. We exhibit a knot $P$ in the solid torus, representing a generator of first homology, such that for any knot $K$ in the 3-sphere, the satellite knot with pattern $P$ and companion $K$ is not smoothly slice in any homology 4-ball. As a consequence, we obtain a knot in a homology 3-sphere that does not bound a piecewise-linear disk in any homology 4-ball. △ Less

Submitted 20 July, 2021; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: Published version; corrected errors from previous version. 40 pages; 12 figures, some in color

MSC Class: 57M27; 57R58; 57Q60

Journal ref: Forum of Mathematics, Sigma (2016), Vol. 4, e34, 47 pages

Generalized Heegaard Floer correction terms

Authors: Adam Simon Levine, Daniel Ruberman

Abstract: We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ rational homology cobordism invariance. We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ rational homology cobordism invariance. △ Less

Submitted 10 March, 2014; originally announced March 2014.

Comments: To appear in Proceedings of the 20th Gökova Geometry/Topology Conference

MSC Class: 57M27; 57R28; 57Q60

Non-orientable surfaces in homology cobordisms

Authors: Ira M. Gessel, Adam Simon Levine, Daniel Ruberman, Saso Strle

Abstract: We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus… ▽ More We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus of a smoothly embedded surface in $L(2p,q) \times I$ is the same as the minimal genus of a surface in $L(2p,q)$. We also consider embeddings of non-orientable surfaces in closed $4$-manifolds. △ Less

Submitted 31 October, 2013; originally announced October 2013.

Comments: Primary article by Adam Levine, Daniel Ruberman and Saso Strle, with an appendix by Ira Gessel. 54 pages, 6 figures

MSC Class: 57R40; 57N35; 57M27; 11F20

Journal ref: Geom. Topol. 19 (2015) 439-494

Splicing knot complements and bordered Floer homology

Authors: Matthew Hedden, Adam Simon Levine

Abstract: We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology. We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology. △ Less

Submitted 10 September, 2015; v1 submitted 26 October, 2012; originally announced October 2012.

Comments: 25 pages. Revised version, to appear in Crelle's Journal. Errors from the original version have been corrected

MSC Class: 57M27; 57R58

Strong L-spaces and left orderability

Authors: Adam Simon Levine, Sam Lewallen

Abstract: We introduce the notion of a strong L-space, a closed, oriented rational homology 3-sphere whose Heegaard Floer homology can be determined at the chain level. We prove that the fundamental group of a strong L-space is not left-orderable. Examples of strong L-spaces include the double branched covers of alternating links in S^3. We introduce the notion of a strong L-space, a closed, oriented rational homology 3-sphere whose Heegaard Floer homology can be determined at the chain level. We prove that the fundamental group of a strong L-space is not left-orderable. Examples of strong L-spaces include the double branched covers of alternating links in S^3. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 9 pages

MSC Class: 57M05; 57R58; 20F60

Journal ref: Mathematical Research Letters 19 (2012), no. 6, 1237-1244

A combinatorial spanning tree model for knot Floer homology

Authors: John A. Baldwin, Adam Simon Levine

Abstract: We iterate Manolescu's unoriented skein exact triangle in knot Floer homology with coefficients in the field of rational functions over $\mathbb{Z}/2\mathbb{Z}$. The result is a spectral sequence which converges to a stabilized version of delta-graded knot Floer homology. The $(E_2,d_2)$ page of this spectral sequence is an algorithmically computable chain complex expressed in terms of spanning tr… ▽ More We iterate Manolescu's unoriented skein exact triangle in knot Floer homology with coefficients in the field of rational functions over $\mathbb{Z}/2\mathbb{Z}$. The result is a spectral sequence which converges to a stabilized version of delta-graded knot Floer homology. The $(E_2,d_2)$ page of this spectral sequence is an algorithmically computable chain complex expressed in terms of spanning trees, and we show that there are no higher differentials. This gives the first combinatorial spanning tree model for knot Floer homology. △ Less

Submitted 10 September, 2015; v1 submitted 26 May, 2011; originally announced May 2011.

Comments: 58 pages, 18 figures. Published version, with updated references

MSC Class: 57M27; 57R58

Journal ref: Adv. Math. 231 (2012) 1886-1939

Knot doubling operators and bordered Heegaard Floer homology

Authors: Adam Simon Levine

Abstract: We use bordered Heegaard Floer homology to compute the tau invariant of a family of satellite knots obtained via twisted infection along two components of the Borromean rings, a generalization of Whitehead doubling. We show that tau of the resulting knot depends only on the two twisting parameters and the values of tau for the two companion knots. We also include some notes on bordered Heegaard Fl… ▽ More We use bordered Heegaard Floer homology to compute the tau invariant of a family of satellite knots obtained via twisted infection along two components of the Borromean rings, a generalization of Whitehead doubling. We show that tau of the resulting knot depends only on the two twisting parameters and the values of tau for the two companion knots. We also include some notes on bordered Heegaard Floer homology that may serve as a useful introduction to the subject. △ Less

Submitted 1 May, 2014; v1 submitted 19 August, 2010; originally announced August 2010.

Comments: 72 pages, 30 figures, some in color. Version 2 (published version): made substantial revisions throughout, especially in Section 3, and added Appendix. Ancillary files include Mathematica notebooks for bordered Heegaard Floer homology computations

MSC Class: 57M25; 57M27; 57R58

Journal ref: Journal of Topology 5 (2012) 651-712

Slicing mixed Bing-Whitehead doubles

Authors: Adam Simon Levine

Abstract: We show that if K is any knot whose Ozsvath-Szabo concordance invariant tau(K) is positive, the all-positive Whitehead double of any iterated Bing double of K is topologically but not smoothly slice. We also show that the all-positive Whitehead double of any iterated Bing double of the Hopf link (e.g., the all-positive Whitehead double of the Borromean rings) is not smoothly slice; it is not known… ▽ More We show that if K is any knot whose Ozsvath-Szabo concordance invariant tau(K) is positive, the all-positive Whitehead double of any iterated Bing double of K is topologically but not smoothly slice. We also show that the all-positive Whitehead double of any iterated Bing double of the Hopf link (e.g., the all-positive Whitehead double of the Borromean rings) is not smoothly slice; it is not known whether these links are topologically slice. △ Less

Submitted 20 August, 2010; v1 submitted 28 December, 2009; originally announced December 2009.

Comments: 16 pages, 10 figures. v2: This is a substantial revision of v1. We eliminated Section 4 of v1 because it is superceded by arXiv:1008.3349. v3: corrected references

MSC Class: 57M25; 57M27; 57R58

Journal ref: Journal of Topology 5 (2012) 713-726

On knots with infinite smooth concordance order

Authors: Adam Simon Levine

Abstract: We use the Heegaard Floer obstructions defined by Grigsby, Ruberman, and Strle to show that forty-six of the sixty-seven knots through eleven crossings whose concordance orders were previously unknown have infinite concordance order. We use the Heegaard Floer obstructions defined by Grigsby, Ruberman, and Strle to show that forty-six of the sixty-seven knots through eleven crossings whose concordance orders were previously unknown have infinite concordance order. △ Less

Submitted 15 May, 2008; originally announced May 2008.

Comments: 5 pages, 3 tables

MSC Class: 57M25; 57R58

Computing Knot Floer Homology in Cyclic Branched Covers

Authors: Adam Simon Levine

Abstract: We use grid diagrams to give a combinatorial algorithm for computing the knot Floer homology of the pullback of a knot K in its m-fold cyclic branched cover Sigma^m(K), and we give computations when m=2 for over fifty three-bridge knots with up to eleven crossings. We use grid diagrams to give a combinatorial algorithm for computing the knot Floer homology of the pullback of a knot K in its m-fold cyclic branched cover Sigma^m(K), and we give computations when m=2 for over fifty three-bridge knots with up to eleven crossings. △ Less

Submitted 9 December, 2007; v1 submitted 10 September, 2007; originally announced September 2007.

Comments: 30 pages, 2 figures, 1 long table. Added computations in Section 5; rewrote Section 6; corrected typos and minor mistakes

MSC Class: 57R58; 57M12; 57M27

Journal ref: Algebr. Geom. Topol. 8 (2008) 1163-1190