Georgia Institute of Technology College of Sciences

Khovanov homology and knot Floer homology are two knot invariants which are defined using very different techniques, with Khovanov homology having its roots in representation theory and knot Floer homology in symplectic geometry. However, they seem to contain a lot of the same topological data about knots. Rasmussen conjectured that this similarity stems from a spectral sequence from Khovanov homology to knot Floer homology. In this talk I will give a construction of this spectral sequence. The construction utilizes a recently defined knot homology theory HFK_2 which provides a framework in which the two theories can be related.

It is well known that two knots in S^3 are ambiently isotopic if and only if there is an orientation preserving automorphism of S^3 carrying one knot to the other. In this talk, we will examine a family of smooth 4-manifolds in which the analogue of this fact does not hold, i.e. each manifold contains a pair of smoothly embedded, homotopic 2-spheres that are related by a diffeomorphism, but are not smoothly isotopic. In particular, the presence of 2-torsion in the fundamental groups of these 4-manifolds can be used to obstruct even a topological isotopy between the 2-spheres; this shows that Gabai's recent ``4D Lightbulb Theorem" does not hold without the 2-torsion hypothesis.

Any knot in $S^3$ may be reduced to a slice knot by making some crossing changes. Indeed, this slice knot can be taken to be the unknot. We show that the same is true of knots in homology spheres, at least topologically. Something more complicated is true smoothly, as not every homology sphere bounds a smooth simply connected homology ball. We prove that a knot in a homology sphere is null-homotopic in a homology ball if and only if that knot can be reduced to the unknot by a sequence of concordances and crossing changes. We will show that there exist knot in a homology sphere which cannot be reduced to the unknot by any such sequence. As a consequence, there are knots in homology spheres which are not concordant to those examples produced by Levine in 2016 and Hom-Lidman-Levine in 2018.

We show that the three-dimensional homology cobordism group admits an infinite-rank summand. It was previously known that the homology cobordism group contains an infinite-rank subgroup and a Z-summand. Our proof relies on the involutive Heegaard Floer package of Hendricks-Manolescu and Hendricks-Manolescu-Zemke. This is joint work with I. Dai, M. Stoffregen, and L. Truong.