Khovanov Homology Detects Split Links Robert Lipshitz1 Joint Work with Sucharit Sarkar Arxiv:1910.04246

Khovanov Homology Detects Split Links Robert Lipshitz1 Joint work with Sucharit Sarkar arXiv:1910.04246

This research was supported by NSF Grant DMS-1810893. Outline

• History, statement of main theorem • Overview of proof.

• Background on �-modules. • The basepoint action on Khovanov homology. • Twisted coefficients and action of the exterior algebra on Heegaard Floer homology Khovanov homology detects… Khovanov homology detects…

• [Grigsby-Wehrli, ’08] dim �ℎ (� − • [Batson-Seed, ’13] g dim �ℎ(�) �� ) detects the unknot ∀ � > 1. detects the unlink. • [Hedden, ’08] dim �ℎ(2 − �� ) • [Baldwin-Sivek, ’18] �ℎ(�; ℤ) detects the unknot. detects the trefoils. • [Kronheimer-Mrowka, ’10] • [Baldwin-Sivek-Xie, ’18] dim �ℎ(�) detects the unknot. g dim �ℎ(�; �) detects the Hopf link.

• [Hedden-Ni, ’10] g dim �ℎ(�) detects • [Xie-B. Zhang, ’19] dim �ℎ(�; �) the 2-component unlink. detects forests of Hopf links and unknots.

• [Hedden-Ni, ’12] �ℎ(�) as a module • [J. Wang, ’20] dim �ℎ(�; �) detects over � �, … , �ℓ /(� , … , �ℓ ) detects the trivial band sums �∐� of split links, among unlink. all band sums of �∐�.

Near-universal strategy: exploit a spectral sequence to a more geometric invariant (Heegaard / monopole Floer homology or instanton Floer homology) Khovanov homology [also] detects…split links.

• Given a link �, �, � ∈ �, can • form reduced Khovanov homology �ℎ (�) using the basepoint � • which is a module over R = � � /(� ) using the basepoint �. • Theorem.[L-Sarkar, ’19] Given a link � and points �, � ∈ �, there is a 2-sphere in � ∖ � separating � and � if and only if �ℎ (�) is a free R = � � /(� )-module.

• (For the rest of the talk, everything is with �-coefficients.) Equivalent conditions to the main theorem

• Call a chain complex �∗ over � quasi-free if �∗ is quasi-isomorphic to a bounded chain complex of free �-modules. • An obstruction to quasi-freeness over R = � � /(� ): is total complex of ⋯ ← �∗ ← �∗ ← �∗ ← ⋯ acyclic? Call the homology of this the unrolled homology. • Theorem.[L-Sarkar] For �, � ∈ �, the following are equivalent: 1. There is a 2-sphere separating � and �. 2. �ℎ (�) is a free �-module. 3. �(�) is quasi-free. 4. The unrolled homology of �(�) is trivial. Overview of the proof TFAE: 1. There is a 2-sphere separating � and �. 2. �ℎ (�) is a free �-module. Ingredients 3. �(�) is quasi-free. 4. The unrolled homology of �(�) is trivial.

• Freeness. [Shumakovitch ’03] �ℎ(�) (unreduced) is a free R = � � /(� )-module. • Also follows from an argument in odd Khovanov homology (Ozsváth-Rasmussen- Szabó). • Basepoint independence. Up to quasi-isomorphism over �, � (�) Sarkar, depends only on � and which components contain �, �. Hedden-Ni + � • Spectral sequence �ℎ � ⇒ . The Ozsváth-Szabó spectral sequence Ozsváth-Szabó, �� Σ � respects the (�) �-module structure. Hedden-Ni + � • Unrolled �� . The unrolled homology of �� is isomorphic to the Novikov twisted Heegaard Floer homology �� ; Λ . • Sphere detection. �� ; Λ detects homologically essential � s. Ni, Hedden-Ni, Alishahi-L Specifically, �� ; Λ = 0 if and only if there is an � with �, � ≠ 0. TFAE: 1. There is a 2-sphere separating � and �. 2. �ℎ (�) is a free �-module. Steps 3. �(�) is quasi-free. 4. The unrolled homology of �(�) is trivial.

• 1 ⇒ 2, 1 ⇒ 3: For a split diagram, immediate from freeness of �ℎ(�) and Künneth theorem. For a general diagram, follows from basepoint independence. • 2 ⇒ 4, 3 ⇒ 4: Algebra: • Can compute unrolled homology from �-module structure on �ℎ (�). • Consider the filtration on ⋯ ← �∗ ← �∗ ← �∗ ← ⋯ from grading on �∗. • 4 ⇒ 1: • Spectral sequence: Unrolled homology of �(�) trivial implies unrolled homology of �� Σ � trivial. • Unrolled homology: this is equivalent to �� Σ(�); Λ = 0. • Sphere detection: this is equivalent to existence of a splitting sphere. � background �-module basics

• An �-module over � is a (graded) vector space � and maps ⊗ �: � ⊗ � → � satisfying some compatibility conditions. • For R = � � /(� ) (and � strictly unital) these are maps � ⋅, �, ⋯ , � : � → �

� ∘ � = 0

• The operation � is a differential on �.

• A chain complex of �-modules gives an �-module with � = 0 for � > 1. �-module basics

• Homological Perturbation Lemma. Given an �-module �, a chain complex �, and a chain homotopy equivalence � ≃ � over � there is an induced �-module structure on � so that � and � are homotopy equivalent �-modules. • In particular, homology of any chain complex of �-modules is an �- module.

• Derived category is the � homotopy category. Given chain complexes of �-modules � and �, � and � are quasi- isomorphic chain complexes of �-modules if and only if they are homotopy equivalent as �-modules. 1. There is a 2-sphere separating � and �. 2. �ℎ (�) is a free �-module. 3. �(�) is quasi-free. Unrolled complex of an �-module 4. The unrolled homology of �(�) is trivial.

• The unrolled complex of � is � ⊗� �[� , �]] with differential � � ⊗ � = � �, �, … , � � . � � � � � � � �

� � � � � ⋯ � � � � ⋯

� � � � • Clearly invariant under � homotopy equivalence. So, by homological perturbation lemma, unrolled complex of �ℎ (�) and �(�) agree. • 2 ⇒ 4 obvious. 3 ⇒ 4 follows by filtering by grading on �. The basepoint action on Khovanov homology Invariance of the module structure.

• Fix points �, � ∈ �. Endows �(�) with structure of a � � ⁄(� ) , � � ⁄(� ) -bimodule (or � �, � ⁄(� , � )-module).

• Theorem. [Hedden-Ni; LS] Up to quasi-isomorphism, the differential bimodule �(�) depends only on the components containing �, �. • Corollary. Up to quasi-isomorphism, the module structure on �(�) and �-module structure on �ℎ(�) and �ℎ (�) depend only on the components containing �, �.

• To prove the theorem, it suffices to construct an � homotopy equivalence (or quasi-isomorphism) associated to moving a basepoint through a crossing. 20 ROBERT LIPSHITZ AND SUCHARIT SARKAR

1 1 ⌦ p 1 1 X • ⌦

Kh = X 1 C ! ⌦ X X X •q ⌦ f

p q 1 1 1 ⌦ • • = 1 X Kh ⌦ C ! X X 1 ⌦ X X ⌦ Figure 4.1. Example of the map f. The solid arrows are the di↵erential, the dashed arrows are the action of W ,thedotted arrows are the action of X, the double arrows are the map f0,1,0,andthedashed double arrows are the map f0,1,1( ,X). The A relations correspond to certain ways of getting from 20 ROBERT LIPSHITZ AND SUCHARIT SARKAR one vertex· to another in1 two steps. 1 1 1 1 ⌦ ⌦ p p 1 1 X 1 X 1 • ⌦ • ⌦

Kh = X 1 Kh = X 1 C ! ⌦ C ! ⌦ X X X X X X •q ⌦ •q ⌦ f f

p q 1 1 1 p q 1 1 1 ⌦ ⌦ • • • • = 1 X = 1 X Kh ⌦ Kh ⌦ C ! C ! X X 1 X 1 X ⌦ ⌦ X X X X ⌦ ⌦ Figure 4.1. Example of the map f. The solid arrows are the di↵erential, Figure 4.2. A second example of the map f. Notation is the same as in Figure 4.1. the dashed arrows are the action of W ,thedotted arrows are the action of X, the double arrows are the map f0,1,0,andthedashed double arrows are the map f0,1,1( ,X). The A relations correspond to certain ways of getting from one vertex· to another in1 two steps. 1 1 Solid: differential. Dashed:⌦ �(�,⋅). Dotted: �(⋅, �). Double: �,,. Double-dashed: �,, ⋅, � . p 1 X 1 • ⌦

Kh = X 1 C ! ⌦ X X X •q ⌦ f

p q 1 1 1 ⌦ • • = 1 X Kh ⌦ C ! X 1 X ⌦ X X ⌦ Figure 4.2. A second example of the map f. Notation is the same as in Figure 4.1. Module structures on Heegaard Floer homology A tale of two twistings

• Fix � , homomorphism �: � � → ℤ. • Ozsváth-Szabó construct: ∗ ∗ • An action of Λ � = � � /(� ) on (untwisted) �� (�). (More generally, a Λ (� (�)/��)-action.) • Twisted �� (�; Λ), a module over � � , � or � � , �] • Ni, Hedden-Ni, Alishahi-L: �� (�; Λ) vanishes if and only if � has an � with � � ≠ 0. • Hedden-Ni, LS: The spectral sequence �ℎ � ⇒ �� Σ � respects the � � /(� )-action.

• �� ; Λ Goal: relate � /( ) and � ,] . • (cf. earlier work of Sarkar, work of Zemke.) The �/��-action � � = 2� = 0 � � = 0 • Differential on �� (Σ, �, �, �): �� = #ℳ � �

∈(,)

�

• Action of � ∈ �(�):

� ⋅ � = #ℳ � (� ⋅ ��)� ∈(,) � ⋅ � = � y ⋅ � = 0 The � �/��-action � � = 2� = 0 � � = 0 • Action of � ∈ �(�):

� ⋅ � = #ℳ � (� ⋅ ��)� ∈(,) � • Equivalently, � ⋅ � counts disks u: 0,1 ×ℝ → �� Σ with � 1,0 ∈ �×��(Σ).

• At the level of homology, � ⋅ � ⋅ � = 0 by considering 1D moduli space of � with � 1,0 ∈ �, � ⋅ � = � � 1, � ∈ �′ for some � > 0 (� a pushoff of �). y ⋅ � = 0 The � � /��-action � � = 2� + 2� = 0 � � = � � � = � • Action of � ∈ � (�): � � = 0

� ⋅ � = #ℳ � (� ⋅ ��)�

∈(,) • Equivalently, � ⋅ � counts disks u: 0,1 ×ℝ → �� Σ ∖ � � with � 1,0 ∈ �×��(Σ). • At the level of homology, � ⋅ � ⋅ � = 0 by considering 1D moduli space of � with � 1,0 ∈ �, � 1, � ∈ �′ for some � > 0 (� a pushoff of �).

• Define �(�, �, �) by counting 0D moduli space of this � ⋅ � = � + 2� + � + 2� = � + � form. b ⋅ � = � c ⋅ � = 0 • Define � (�, �, … , �), � > 3, similarly. d ⋅ � = 0 � �, �, � = � + 2� + 2� = � � � � , �, � + � � �, �, � = 0 + � Twisted coefficient �� = �� + �� = 0 • Fix � , homomorphism �: � � → ℤ.

• Choose � ∈ � Σ with � � = � ⋅ � � . • Define �� = #ℳ � �(⋅)� .

∈(,) � • (This is a module over � � , � .) • Notice that � = � . � � = 2� = 0 � � = 0 First relation: Hasse derivatives

∑ ∑ (⋅) • �� = ∈(,) #ℳ � � � .

• � ⋅ � = ∑ ∑ #ℳ � � ⋅ � � � = | �� ∈ ,

• = 0 over � . But there’s an analogue � of , called the Hasse derivative. (More generally, � is an analogue of .) ! • Proposition.[LS] � �, �, ⋯ , � = � | �� .

• Corollary [LS] �� (�) �� (�) �� ; Λ . The unrolled homology of (or ) is isomorphic to � ,] (so detects homologically essential �s). Second relation: Koszul duality

• Can view � as an � � , � -module where � acts as 1. • There is an isomorphism of algebras (or �-algebras) � [�] ⁄ (� ) ≅ �� (� , � ) � ,

• Proposition.[LS] There is an isomorphism of �-modules over � [�] ⁄ (� ) �� ≅ �� , � � ,

• Proof. See that tensoring with a free resolution of � leads to the formula with Hasse derivatives from the previous slide. The Ozsváth-Szabó spectral sequence respects the �-module structure

• Proposition.[LS] There is a filtered �-module � so that: 1. As an unfiltered �-module, � is quasi-isomorphic to �� Σ � . 2. The differential strictly increases the filtration. 3. There is an isomorphism of modules � ≅ � � taking filtration to homological grading. 4. To first order, the differential on � agrees with the Khovanov differential. 5. To zeroth order, � agrees with the action of � on � � . • Corollary.[LS] If the unrolled homology of the Khovanov complex is trivial then the unrolled homology of the �� Σ � is trivial. • In that case, Σ � has a homologically essential � so � is split. TFAE: 1. There is a 2-sphere separating � and �. 2. �ℎ (�) is a free �-module. Review of the proof 3. �(�) is quasi-free. 4. The unrolled homology of �(�) is trivial.