sign in sign up
<<
Home , Fibered knot, Khovanov homology

arXiv:2007.01269v1 [math.GT] 2 Jul 2020 le oooydetects Floer hr h usrp ( subscript the where hvnvhmlg sgvnby given is homology Khovanov 5 hoe 1. Theorem by oko le oooy[o1]t rv httefre lodetec also former the that prove 4 to [Dow18] eight homology Floer knot to [LX Li–Xie–Zhang [Mar20], Martin Xie [LS19], [BSX19], Lipshitz–Sarkar XZ20], Baldwin–Sivek–Xie [XZ19, unkno [BS15], are Batson–Seed components [HN13], whose r Hedden–Ni links additional of several detection only been regarding the recent) have were there these h though Khovanov now, homology, that Khovanov Until prove comb [BS18]. to Sivek trefoils topology and contact the d Baldwin from it 2018, ideas In with which theory [KM11]. pro is to invariant the theory detects knot gauge homology instanton a used Mrowka mos about and the ask Kronheimer of 2010, can One one mysterious. questions largely logical remain topology with connections dmninladi upre nasingle a in supported is and -dimensional eoepoigTerm1 ermr hti sa pnqeto whe question open an is it that remark we 1, Theorem proving Before Swsprilyspotdb S rn DMS-1854705. gran grant NSF NSF and by Fellowship supported Sloan partially a was by RS DMS-1806437. supported grant partially NSF was by TL DMS-1606421. supported grant partially NSF was DMS-1454865 by ASL grant supported CAREER partially NSF was by ND supported partially was JAB u antermi h olwn.I u ovnin,the conventions, our In following. the is theorem main Our nti oe eueDwi’ pcrlsqec rmrdcdKhov reduced from sequence spectral Dowlin’s use we note, this In ye and links, and knots of invariant powerful a is homology Khovanov (1) (2) HVNVHMLG EET H FIGURE-EIGHT THE DETECTS HOMOLOGY KHOVANOV ONA ADI,NTA OLN DMSMNLVN,TELIDMA TYE LEVINE, SIMON ADAM DOWLIN, NATHAN BALDWIN, A. JOHN uspstv ntwoebgae ntForhmlg over homology Floer knot bigraded whose knot quasipositive ota ftetrsknot torus the of that to If If ntForhmlg,w rv htrdcdKoao homolog Khovanov reduced that prove we homology, Floer knot Abstract. eet h gr-ih knot. figure-eight the detects d d Kh 0 6= 0 = 1 oeta h eue hvnvhmlg f4 of homology Khovanov reduced the that Note . Let (4 hn pt mirroring, to up then, , then , 1 ; K sn olnsseta eunefo hvnvhmlg to homology Khovanov from sequence spectral Dowlin’s Using Q ) ,h q, ⊂ = ∼ K S T niae unu grading quantum indicates ) Q stefiueegtknot. figure-eight the is 3 (2 ( N AML SAZDANOVIC RADMILA AND − eako hs eue hvnvhmlg over homology Khovanov reduced whose knot a be , 4 ) bev h olwn corollary: following the Observe 5). , − 2) δ T ⊕ = (2 Q , q/ KNOT 5) ( − 2 . 2 d − 1 , − 2 = 1) h δ -grading . ⊕ and Q (0 K , 0) knots d sagns2 brd strongly fibered, genus-2, a is q ⊕ Then: . n oooia grading homological and Q nw ob eetdby detected be to known (2 DMS-1709702. t , 1) . δ ⊕ gaigi reduced in -grading 1 Q sadteol;see trefoils; and ts (over y eta Khovanov that ve sls(otvery (most esults (over (4 mlg detects omology Q nvhomology anov , 2) sisomorphic is stefigure- the ts ai topo- basic t , t precise its t Q ndgauge ined Q tcs In etects. hrknot ther sgiven is ) ) Z20]. –Zhang N, Q h is . 2 J.A. BALDWIN, N. DOWLIN, A.S. LEVINE, T. LIDMAN, AND R. SAZDANOVIC

Corollary 2. If knot over Q detects T (2, 5), then so does reduced over Q.

The rest of this note is devoted to the proof of Theorem 1. From this point on, we will work solely with coefficients in Q since Dowlin’s spectral sequence requires working over a ring in which 2 is invertible.

Proof of Theorem 1. Suppose K ⊂ S3 is a knot whose reduced Khovanov homology Kh(K) is 5-dimensional and is supported in a single δ-grading d. We will first show via case analysis that K is either the figure-eight or, up to mirroring, a genus-2, fibered strongly quasipositive knot with the same knot Floer homology as T (2, 5). We will then conclude that d = 0 or 2, respectively, in these two cases. By [Dow18], there is a spectral sequence from Kh(K) to the knot Floer homology HFK[ (−K) which respects the relative δ-grading. Here, −K is the mirror of K, and the δ-grading on knot Floer homology is given by δ = m − a, where m and a are the Maslov and Alexander gradings, respectively. It follows that HFK[ (K) is also supported in a single δ-grading, and has total dimension 1, 3, or 5. If the dimension is1 or 3, then K is the unknot [OS04a, Theorem 1.2] or the trefoil [HW18, Corollary 8], respectively. (The trefoil detection result in [HW18] is stated with coefficients in Z/2Z, but it holds over Q as well.) In either case, the dimension of Kh(K) is not 5, a contradiction. Therefore, we must have that dim HFK[ (K) = 5. Since m [ a (1) X(−1) dim HFK m(K,a)t = ∆K (t) m,a and ∆K (1) = 1, we have that dim HFK[ (K, 0) is odd. Note that dim HFK[ (K, 0) 6= 5, since the knot Floer homology of the unknot is 1-dimensional and knot Floer homology detects the genus g(K) = max{a | HFK[ (K,a) 6=0} by [OS04a, Theorem 1.2]. We next consider the case that dim HFK[ (K, 0) = 3. From the symmetry of [OS04b, Equation 3]: HFK[ (K,a) =∼ HFK[ (K, −a), we see that there is exactly one positive Alexander grading i in which HFK[ (K,i) is nontrivial, and this group is necessarily 1-dimensional. First, suppose that i = 1. Then K is a genus one fibered knot [Ghi08, Juh08], which means that K is either a trefoil or the figure-eight. Since the trefoils have 3-dimensional knot Floer homology, K must be the figure-eight in this case. We now show that this Alexander grading i cannot be strictly greater than one. Suppose for a contradiction that i> 1. Then K is a fibered knot of genus g = i > 1 [Ghi08, Ni07, Juh08]. It then follows from work of Baldwin and Vela-Vick [BVV18] that HFK[ (K,g − 1) 6= 0 as well. (This result is stated in [BVV18] with coefficients in Z/2Z but also holds over Q.) But this implies that dim HFK[ (K) > 5, a contradiction. It remains to consider the case that dim HFK[ (K, 0) = 1. We would like to show in this case that, up to mirroring, K is a genus-2, fibered, strongly quasipositive KHOVANOV HOMOLOGY DETECTS THE FIGURE-EIGHT KNOT 3 knot. There are two subcases: dim HFK[ (K,g) = 2 or 1, where g is the genus of K. We consider these in turn below. First, suppose that dim HFK[ (K,g) = 2. Since HFK[ (K) is supported in a single δ-grading, the symmetry [ [ (2) HFK m(K,a) =∼ HFK m−2a(K, −a) [OS04b, Equation 3] implies that for some integer M, the bigraded knot Floer homology of K is given by [ 2 2 HFK (K)= Q(M,g) ⊕ Q(M−g,0) ⊕ Q(M−2g,−g), where the subscript (m,a) indicates Maslov grading m and Alexander grading a. It then follows from (1) that, up to sign, we have g −g ∆K (t)=2t ± 1+2t .

But this contradicts ∆K (1) = 1. Therefore, we cannot have dim HFK[ (K,g) = 2. Next, suppose that dim HFK[ (K,g) = 1. Then K is fibered, and we may assume that g ≥ 2 or else dim HFK[ (K) = 3, which would contradict our conclusion that dim HFK[ (K) = 5. Furthermore, we have that dim HFK[ (K,g − 1) 6= 0 by [BVV18], as above. In fact, since dim HFK[ (K) = 5, we must have that dim HFK[ (K,g −1) = 1. Taking into account the symmetry (2) and the fact that HFK[ (K) is supported in a single δ-grading, this implies that the bigraded knot Floer homology of K is given by [ HFK (K)= Q(M,g) ⊕ Q(M−1,g−1) ⊕ Q(M−g,0) ⊕ Q(M−2g+1,1−g) ⊕ Q(M−2g,−g).

Let x1,...,x5 be generators of these five summands, in order of decreasing Maslov grading. From here, we split the analysis into two cases: g = 2 and g > 2. For both cases, we recall that there is a differential ∂ on the HFK[ (K) which lowers the Maslov (homological) grading by 1, and preserves or lowers the Alexander grading, such that the resulting Alexander-filtered chain complex (HFK[ (K), ∂) is quasi-isomorphic to the Alexander-filtered complex CF (S3,K). In particular, the d homology of (HFK[ (K), ∂) computes the computes the Maslov-graded Heegaard Floer homology of S3, i.e. [ ∼ 3 ∼ H∗(HFK (K), ∂) = HF (S ) = Q(0). d First, let us consider the case that g = 2. Since ∂ lowers Maslov grading by 1, we may assume (up to multiplying the generators by units) that

∂(xi)= xi+1 or 0 for each i. If ∂(x1) = 0, then the fact that dim HF (S3)=1 d forces ∂(x2)= x3 and ∂(x4)= x5. This implies that τ(K) = 2. Since K is fibered of genus 2, work of Hedden [Hed10] then implies that K is strongly quasipositive. Likewise, if ∂(x4) = 0, then τ(K) = −2 and −K is strongly quasipositive by a similar argument. If neither ∂(x1) nor ∂(x4) is zero, then it must be the case that ∂(x1) = x2 and ∂(x4) = x5. We claim this cannot happen. Let us assume it does ∞ and derive a contradiction. For this, we attempt to reconstruct CFK (K) from 4 J.A. BALDWIN, N. DOWLIN, A.S. LEVINE, T. LIDMAN, AND R. SAZDANOVIC

x1

x2

x3

x4

x5

∞ Figure 1. The vertical and horizontal differentials in CFK (K) when dim HFK[ (K,a)=1 for −2 ≤ a ≤ 2 and τ(K) 6= ±2. the assumption on ∂. Recall that C{j =0} is filtered chain homotopy equivalent to C{i =0} [OS04b, Proposition 3.9]. The horizontal and vertical components of the ∞ differential in CFK (K) are therefore as shown in Figure 1, and there cannot be diagonal components since HFK[ (K) is supported in a single δ-grading. However, the differential in this figure does not square to zero, a contradiction. We have shown in the case g = 2 that, up to mirroring, K is a genus-2, fibered, strongly quasipositive knot with τ(K) = 2. Let us assume for the remainder of this paragraph that K (and not its mirror) is strongly quasipositive. The fact that the homology of the complex (HFK[ (K), ∂) is supported in Maslov grading 0 then implies that the generator x1 has Maslov grading M = 0. The bigraded knot Floer homology of K is therefore given by [ HFK (K)= Q(0,2) ⊕ Q(−1,1) ⊕ Q(−2,0) ⊕ Q(−3,−1) ⊕ Q(−4,−2), which agrees with that of T (2, 5), as claimed. Finally, let us consider the case that g > 2. In order for the dimension of 3 HF (S ) to be 1, we must have that ∂(x1) = x2, ∂(x3) = 0, and ∂(x4) = x5, by Maslovd grading considerations. The same argument as in the case g = 2 above then ∞ shows that the differential in CFK (K) does not square to zero, a contradiction. In summary, we have shown that K is either the figure eight or, up to mirroring, a genus-2, fibered, strongly quasipositive knot with the same knot Floer homology as T (2, 5). It remains to show that d = 0 in the first case and d = 2 in the second. KHOVANOV HOMOLOGY DETECTS THE FIGURE-EIGHT KNOT 5

The first is immediate from the formula for Kh(41) at the beginning. We show that d = 2 in the second case below. First, observe that d = s(K)/2, where s(K) is Rasmussen’s invariant. To see this, a theorem of Khovanov [Kho03, Proposition 3.6] implies that the unreduced invariant Kh(K) is thin, i.e. supported in two consecutive δ gradings, which with 1 our normalization must be d ± 2 . Thus, the nonzero summands of Kh(K) in homological grading 0 are in quantum gradings 2d ± 1, whence we deduce that s(K)=2d. In the case that K is a genus-2, fibered, strongly quasipositive knot, work of Plamenevskaya [Pla06, Proposition 4] and independently Shumakovitch [Shu07, Proposition 1.7] shows that

s(K)=2g4(K)=2g(K)=4, where the second equality comes from the fact that of a strongly quasi- positive knot is equal to the three-genus [Rud93]. So d = s(K)/2 = 2 in this case, as claimed. This completes the proof of Theorem 1. 

References

[BS15] Joshua Batson and Cotton Seed. A -splitting spectral sequence in Khovanov homol- ogy. Duke Math. J., 164(5):801–841, 2015. [BS18] John A. Baldwin and Steven Sivek. Khovanov homology detects the trefoils, 2018. arXiv:1801.07634. [BSX19] John A. Baldwin, Steven Sivek, and Yi Xie. Khovanov homology detects the Hopf links. Math. Res. Lett, 26(5):1281–1290, 2019. [BVV18] John A. Baldwin and David Shea Vela-Vick. A note on the knot Floer homology of fibered knots. Algebr. Geom. Topol., 18(6):3669–3690, 2018. [Dow18] Nathan Dowlin. A spectral sequence from Khovanov homology to knot Floer homology, 2018. arXiv:1811.07848. [Ghi08] Paolo Ghiggini. Knot Floer homology detects genus-one fibred knots. Amer. J. Math., 130(5):1151–1169, 2008. [Hed10] Matthew Hedden. Notions of positivity and the Ozsv´ath-Szab´oconcordance invariant. J. Ramifications, 19(5):617–629, 2010. [HN13] Matthew Hedden and Yi Ni. Khovanov module and the detection of . Geom. Topol., 17(5):3027–3076, 2013. [HW18] Matthew Hedden and Liam Watson. On the geography and botany of knot Floer ho- mology. Selecta Math. (N.S.), 24(2):997–1037, 2018. [Juh08] Andras Juh´asz. Floer homology and surface decompositions. Geom. Topol., 12:299–350, 2008. [Kho03] . Patterns in knot . I. Experiment. Math., 12(3):365–374, 2003. [KM11] P. B. Kronheimer and T. S. Mrowka. Khovanov homology is an unknot-detector. Publ. Math. Inst. Hautes Etudes´ Sci., (113):97–208, 2011. [LS19] Robert Lipshitz and . Khovanov homology also detects split links, 2019. arXiv:1910.04246. [LXZ20] Zhenkun Li, Yi Xie, and Boyu Zhang. Two detection results of Khovanov homology on links, 2020. arXiv:2005.05897. [Mar20] Gage Martin. Khovanov homology detects T (2, 6), 2020. arXiv:2005.02893. [Ni07] Yi Ni. Knot Floer homology detects fibred knots. Invent. Math., 170(3):577–608, 2007. [OS04a] Peter Ozsv´ath and Zolt´an Szab´o. Holomorphic disks and genus bounds. Geom. Topol., 8:311–334, 2004. [OS04b] Peter Ozsv´ath and Zolt´an Szab´o. Holomorphic disks and knot invariants. Adv. Math., 186(1):58–116, 2004. [Pla06] Olga Plamenevskaya. Transverse knots and Khovanov homology. Math. Res. Lett., 13(4):571–586, 2006. 6 J.A. BALDWIN, N. DOWLIN, A.S. LEVINE, T. LIDMAN, AND R. SAZDANOVIC

[Rud93] Lee Rudolph. Quasipositivity as an obstruction to sliceness. Bull. Amer. Math. Soc. (N.S.), 29(1):51–59, 1993. [Shu07] Alexander N. Shumakovitch. Rasmussen invariant, slice-Bennequin inequality, and slice- ness of knots. J. Knot Theory Ramifications, 16(10):1403–1412, 2007. [XZ19] Yi Xie and Boyu Zhang. Classification of links with Khovanov homology minimal rank, 2019. arXiv:1909.10032. [XZ20] Yi Xie and Boyu Zhang. On links with Khovanov homology of small ranks, 2020. arXiv:2005.04782.

Department of Mathematics, Boston College E-mail address: [email protected]

Department of Mathematics, Columbia University E-mail address: [email protected]

Department of Mathematics, Duke University E-mail address: [email protected]

Department of Mathematics, North Carolina State University E-mail address: [email protected]

Department of Mathematics, North Carolina State University E-mail address: [email protected]