arXiv Science⌕ Search

arXiv subjects

Adam Simon Levine

Publications and source records attributed to Adam Simon Levine.

At least 19 recordsLinked to original sources
arXiv2023

New constructions and invariants of closed exotic 4-manifolds

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.

math.GT↗
arXiv2022

A note on rationally slice knots

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.

math.GT↗
arXiv2020

Khovanov homology and cobordisms between split links

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.

math.GT↗
arXiv2019

A surgery formula for knot Floer homology

Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $\lambda$, and let $Y_\lambda(K)$ denote the result of $\lambda$-framed surgery on $Y$. Ozsv\'ath and Szab\'o gave a formula for the Heegaard Floer homology groups of $Y_\lambda(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_\lambda$ in $Y_\lambda$, 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.

math.GT↗
arXiv2018

Simply-connected, spineless 4-manifolds

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.

math.GT↗
arXiv2018

Knot concordance in homology cobordisms

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.

math.GT↗
arXiv2016

Heegaard Floer invariants in codimension one

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.

math.GT↗
arXiv2015

Khovanov homology and knot Floer homology for pointed links

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$.

math.GT↗
arXiv2014

Strong Heegaard diagrams and strong L-spaces

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.

math.GT↗
arXiv2014

Non-surjective satellite operators and piecewise-linear concordance

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.

math.GT↗
arXiv2014

Generalized Heegaard Floer correction terms

We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsv\'ath-Szab\'o 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.

math.GT↗
arXiv2013

Non-orientable surfaces in homology cobordisms

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\'ath--Sazb\'o $d$-invariants or Atiyah--Singer $\rho$-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.

math.GT↗
arXiv2012

Splicing knot complements and 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.

math.GT↗
arXiv2011

Strong L-spaces and left orderability

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.

math.GT↗
arXiv2011

A combinatorial spanning tree model for knot Floer homology

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.

math.GT↗
arXiv2010

Knot doubling operators and bordered Heegaard Floer homology

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.

math.GT↗