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 �ℎG (�) 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 �K ∖ � separating � and � if and only if �ℎG (�) 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 R R R R ⋯ ← �∗ ← �∗ ← �∗ ← ⋯ 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. �ℎG (�) is a free �-module. 3. �STU(�) is quasi-free. 4. The unrolled homology of �STU(�) is trivial. Overview of the proof TFAE: 1. There is a 2-sphere separating � and �. 2. �ℎG (�) is a free �-module. Ingredients 3. �STU(�) is quasi-free. 4. The unrolled homology of �STU(�) is trivial. • Freeness. [Shumakovitch ’03] �ℎ(�) (unreduced) is a free R = : �: � /(� )-module. • Also follows from an argument in odd Khovanov homology (Ozsváth-Rasmussen- Szabó). TU • Basepoint independence. Up to quasi-isomorphism over �, �S (�) Sarkar, depends only on � and which components contain �, �. Hedden-Ni + � • Spectral sequence �ℎG � ⇒ . The Ozsváth-Szabó spectral sequence Ozsváth-Szabó, ��W Σ � respects the (�") �-module structure. Hedden-Ni + � • Unrolled ��W . The unrolled homology of ��W � is isomorphic to the Novikov twisted Heegaard Floer homology ��W �; Λ] . : • Sphere detection. ��W �; Λ] detects homologically essential � s. Ni, Hedden-Ni, : : Alishahi-L Specifically, ��W �; Λ] = 0 if and only if there is an � with �, � ≠ 0. TFAE: 1. There is a 2-sphere separating � and �. 2. �ℎG (�) is a free �-module. Steps 3. �STU(�) is quasi-free. 4. The unrolled homology of �STU(�) 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 �ℎG (�). R R R R • Consider the filtration on ⋯ ← �∗ ← �∗ ← �∗ ← ⋯ from grading on �∗. • 4 ⇒ 1: • Spectral sequence: Unrolled homology of �STU(�) trivial implies unrolled homology of ��W Σ � trivial. • Unrolled homology: this is equivalent to ��W Σ(�); Λ] = 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 ⊗g �<fg: � ⊗ � → � satisfying some compatibility conditions. : • For R = �: � /(� ) (and � strictly unital) these are maps �<fg ⋅, �, ⋯ , � : � → � l �<fm ∘ �<fn = 0 mfnog • The operation �< is a differential on �. • A chain complex of �-modules gives an �"-module with �<fg = 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. �ℎG (�) is a free �-module. 3. �STU(�) is quasi-free. Unrolled complex of an �"-module 4. The unrolled homology of �STU(�) is trivial. u< • The unrolled complex of � is � ⊗�s �:[� , �]] with differential m mfg � � ⊗ � = l �<fg �, �, … , � � . g �{ �{ �z �z �K �K �K �K � � � � � ⋯ : � : � : � : � : ⋯ �< �< �< �< • Clearly invariant under �" homotopy equivalence. So, by homological perturbation lemma, unrolled complex of �ℎG (�) and �STU(�) 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 �TU(�) with structure of a : : : : �: � ⁄(� ) , �: � ⁄(� ) -bimodule (or �: �, � ⁄(� , � )-module). • Theorem. [Hedden-Ni; LS] Up to quasi-isomorphism, the differential bimodule �TU(�) depends only on the components containing �, �. • Corollary. Up to quasi-isomorphism, the module structure on �STU(�) and �"-module structure on �ℎ(�) and �ℎG (�) 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 K • Fix � , homomorphism �: �: � → ℤ. • Ozsváth-Szabó construct: ∗ : ∗ • An action of Λ �: = �: � /(� ) on (untwisted) ��W (�). (More generally, a Λ (�< (�)/����)-action.) u< u< • Twisted ��W (�; Λ]), a module over �: � , � or �: � , �] : : • Ni, Hedden-Ni, Alishahi-L: ��W (�; Λ]) vanishes if and only if � has an � with � � ≠ 0. W : • Hedden-Ni, LS: The spectral sequence �ℎ � ⇒ ��W Σ � respects the �: � /(� )-action. • ��W � s ��W �; Λ ƒ„ Goal: relate �s R /(R ) and ] �s ‚ ,‚] . • (cf. earlier work of Sarkar, work of Zemke.) The �</�������-action � � = 2� = 0 � � = 0 • Differential on ��W (Σ, �, �, �): �� = l l #ℳ � � ‰ Š∈‹s(Œ,‰) g• Š o~ Ž Š o< � • Action of � ∈ �<(�): � ⋅ � = l l #ℳ � (� ⋅ �”�)� ‰ Š∈‹s(Œ,‰) g• Š o~ � ⋅ � = � Ž Š o< y ⋅ � = 0 The �" �</�������-action � � = 2� = 0 � � = 0 • Action of � ∈ �<(�): � ⋅ � = l l #ℳ � (� ⋅ �”�)� ‰ Š∈‹s(Œ,‰) g• Š o~ Ž Š o< � • Equivalently, � ⋅ � counts disks u: 0,1 ×ℝ → ���™ Σ with � 1,0 ∈ �×���™u<(Σ). • 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 � ⋅ � = l l #ℳ � (� ⋅ �”�)� ‰ Š∈‹s(Œ,‰) g• Š o~ Ž Š o< • Equivalently, � ⋅ � counts disks u: 0,1 ×ℝ → ���™ Σ ∖ � � with � 1,0 ∈ �×���™u<(Σ). • At the level of homology, � ⋅ � ⋅ � = 0 by considering 1D moduli space of � with � 1,0 ∈ �, � 1, � ∈ �′ for some � > 0 (�œ a pushoff of �). • Define �K(�, �, �) by counting 0D moduli space of this � ⋅ � = � + 2� + � + 2� = � + � form. b ⋅ � = � c ⋅ � = 0 • Define � (�, �, … , �), � > 3, similarly. g d ⋅ � = 0 �K �, �, � = � + 2� + 2� = � �K � � , �, � + � �K �, �, � = 0 + � Twisted coefficient ��W � � = �<� + �~� K � � = 0 • Fix � , homomorphism �: �: � → ℤ. • Choose � ∈ �< Σ with � � = � ⋅ �” � . • Define �� = l l #ℳ � �(¢⋅£¤Š)� . ‰ Š∈‹s(Œ,‰) g• Š o~ � Ž Š o< u< • (This is a module over �: � , � .) • Notice that � = � ¥ . ‚o< � � = 2� = 0 � � = 0 First relation: Hasse derivatives ∑ ∑ (¢⋅£¤Š) • �� = ‰ Š∈‹s(Œ,‰) #ℳ � � � . g• Š o~ Ž