Khovanov homology and the slice genus

We study the space of slice-torus invariants. In particular we characterize the set of values that slice-torus invariants may take on a given knot in terms of the stable smooth slice genus. Our study reveals that the resolution of the local Thom conjecture implies the existence of slice torus invariants without having to appeal to any explicit construction from a knot homology theory.

From Khovanov homology, we extract a new lower bound for the Gordian distance of knots, which combines and strengthens the previously existing bounds coming from Rasmussen invariants and from torsion invariants. We also improve the bounds for the proper rational Gordian distance.

The universal Khovanov chain complex of a knot modulo an appropriate equivalence relation is shown to yield a homomorphism on the smooth concordance group, which is strictly stronger than all Rasmussen invariants over fields of different characteristics combined.

We construct a new family of knot concordance invariants $\theta^{(q)}(K)$, where $q$ is a prime number. Our invariants are obtained from the equivariant Seiberg-Witten-Floer cohomology, constructed by the author and Hekmati, applied to the degree $q$ cyclic cover of $S^3$ branched over $K$. In the case $q=2$, our invariant $\theta^{(2)}(K)$ shares many similarities with the knot Floer homology invariant $\nu^+(K)$ defined by Hom and Wu. Our invariants $\theta^{(q)}(K)$ give ...

In a previous paper we constructed a spectrum-level refinement of Khovanov homology. This refinement induces stable cohomology operations on Khovanov homology. In this paper we show that these cohomology operations commute with cobordism maps on Khovanov homology. As a consequence we obtain a refinement of Rasmussen's slice genus bound s for each stable cohomology operation. We show that in the case of the Steenrod square Sq^2 our refinement is strictly stronger than s.

We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming from knot Floer homology, and discuss applications to topologically slice knots, concordance genus, and concordance unknotting number.

Inspired by the notions of local equivalence in monopole and Heegaard Floer homology, we introduce a version of local equivalence that combines odd Khovanov homology with equivariant even Khovanov homology into an algebraic package called a local even-odd (LEO) triple. We get a homomorphism from the smooth concordance group $C$ to the resulting local equivalence group $C_{LEO}$ of such triples. We give several versions of the $s$-invariant that descend to $C_{LEO}$, including...

In this paper, we compute the slice genus for many low-crossing virtual knots. For instance, we show that 1295 out of 92800 virtual knots with 6 or fewer crossings are slice, and that all but 248 of the rest are not slice. Key to these results are computations of Turaev's graded genus, which we show extends to give an invariant of virtual knot concordance. The graded genus is remarkably effective as a slice obstruction, and we develop an algorithm that applies virtual unknott...

We define several concordance invariants using knot Floer homology which give improvements over known slice genus and clasp number bounds from Heegaard Floer homology. We also prove that the involutive correction terms of Hendricks and Manolescu give both a slice genus and a clasp number bound.

We show that a decorated knot concordance $C$ from $K$ to $K'$ induces a homomorphism $F_C$ on knot Floer homology that preserves the Alexander and Maslov gradings. Furthermore, it induces a morphism of the spectral sequences to $\widehat{HF}(S^3) \cong \mathbb{Z}_2$ that agrees with $F_C$ on the $E^1$ page and is the identity on the $E^\infty$ page. It follows that $F_C$ is non-vanishing on $\widehat{HFK}_0(K, \tau(K))$. We also obtain an invariant of slice disks in homology...