arxiv: v1 [math.gt] 11 Oct 2018

Transcription

1 KHOVANOV HOMOLOGY DETECTS THE HOPF LINKS JOHN A. BALDWIN, STEVEN SIVEK, AND YI XIE arxiv: v1 [math.gt] 11 Oct 2018 Abstract. We prove that any link in S 3 whose Khovanovhomology is the same as that of a Hopf link must be isotopic to that Hopf link. This holds for both uced and unuced Khovanov homology, and with coefficients in either Z or Z/2Z. Khovanov homology [Kho00] associates to each link L S 3 a bigraded group Kh, (L), whose graded Euler characteristic recovers the Jones polynomial V L (q), as well as a uced variant Kh, (L) [Kho03]. It is known to detect the unknot [KM11], the n-component unlink for all n [BS15], and the trefoils [BS18]. In this note we prove the same for the Hopf links H ±, which are oriented so that the two components have linking number ±1. Then Kh(H + ;Z) = Z (0,0) Z (0,2) Z (2,4) Z (2,6) Kh(H ;Z) = Z (0,0) Z (0, 2) Z ( 2, 4) Z ( 2, 6) where Z (h,q) is a copy of Z in bigrading (h,q). The uced Khovanov homology of a link depends on a choice of distinguished component, which we generally suppress from the notation, but we have Kh (H + ;Z) = Z (0,1) Z (2,5) and Kh (H ;Z) = Z (0, 1) Z ( 2, 5) regardless of this choice. Theorem 1. Let L be a link in S 3 such that either Kh(L) = Kh(H ± ) or Kh (L) = Kh (H ± ) as bigraded groups, with coefficients in either Z or Z/2Z. Then L = H ±. Our proof makes use of a handful of spectral sequences involving Khovanov homology. Batson and Seed s link splitting spectral sequence [BS15], together with Kronheimer and Mrowka s spectral sequence converging to singular instanton knot homology [KM11], will tell us that such a link L must have exactly two unknotted components with linking number ±1. Once we know the module structure on Kh (L), we apply a refinement by the third author[xie18] of the latter spectral sequence to determine that the instanton knot homology KHI(L) of [KM10b] has rank at most 4. We will then determine the Alexander grading on KHI(L) to see that L has Seifert genus zero, and conclude that L must be a Hopf link. If L is a link with r components, then Kh, (L) is invariant as a module over the ring R r = Z[x 1,...,x r ]/ x 2 1,...,x 2 r [Kho03, HN13], in which each x i preserves the h ( homological ) grading while lowering the q ( quantum ) grading. If we define the uced Khovanov homology of L using the component which corresponds to x r, then Kh, (L) is a module over R r 1. We begin by determining this module structure. Proposition 2. Let L be a link in S 3, and let H be either H + or H. Let F = Z/2Z. Suppose that any one of the following is true as an isomorphism of bigraded groups: (1) Kh(L;Z) = Kh(H;Z). JAB was supported by NSF CAREER Grant DMS

2 2 JOHN A. BALDWIN, STEVEN SIVEK, AND YI XIE (2) Kh(L;F) = Kh(H;F). (3) Kh (L;Z) = Kh (H;Z) for some choice of component of L. (4) Kh (L;F) = Kh (H;F) for some choice of component of L. Then L has exactly two components, which are both unknots, and if H = H ± then their linking number is ±1. Moreover, we have rankkh (L;Z) = 2, with { Kh (L;Q) Q (0,1) Q (2,5), H = H + = Q (0, 1) Q ( 2, 5), H = H, and the R 1 -action on Kh (L;Q) is trivial. Proof. Suppose that H = H + ; the case of H is identical. We first claim that each of conditions (1), (2), and (3) implies condition (4), and then use the latter to prove the rest of the proposition. Certainly (1) implies (2) and (3) implies (4) by the universal coefficient theorem. Moreover, (2) and (4) are equivalent by the identity Kh h,q (K;F) = Kh h,q 1 (K;F) Kh h,q+1 (K; F) where K is an arbitrary link [Shu14, Corollary 3.2.C], so this proves the claim. We suppose from now on that condition (4) holds; since this is equivalent to (2), we have Kh(L;F) = F (0,0) F (0,2) F (2,4) F (2,6) Kh (L;F) = F (0,1) F (2,5). If L were a knot, then the rank of Kh (L;F) would be congruent mod 2 to V L ( 1) = ±det(l) 1 (mod 2), so L must be a link, say L = K 1 K 2 K r with r 2. We apply the rank inequality [BS15, Corollary 1.6] derived from Batson and Seed s link splitting spectral sequence, namely that if K is any field then r (1) rankkh(l;k) rank Kh(K i ;K). For K = F, the left side is 4 while the right side is at least 2 r with equality if and only if K i is unknotted [KM11], so r = 2 and K 1 and K 2 are both unknotted. (See [BS15, Proposition 7.1].) In fact, this inequality respects the grading l = h q: if we let t = 2lk(K 1,K 2 ), then [BS15, Corollary 4.4] says that ( ) rank l Kh(L;F) rank l+t Kh(K i ;F) = rank l+t( ) 2. F (0, 1) F (0,1) i The left side has ranks 1,2,1 in l-gradings 0, 2, 4 respectively, and the right side has rank 2 when l+t = 0, so we must have 2+t = 0, or lk(k 1,K 2 ) = 1 2 t = 1. Finally, applying the inequality (1) with K = Q says that rankkh(l;q) 4, and there is an exact triangle i=1 Kh(L;Q) Kh (L;Q) Kh (L;Q)..., so we must have rankkh (L;Q) 2. Applying the universal coefficient theorem repeatedly, we determine first that rankkh (L;Z) 2, and that if this inequality is strict then rankkh (L;F) > 2 as well, which is false. Thus rankkh (L;Z) = 2 = rankkh (L;F),

3 KHOVANOV HOMOLOGY DETECTS THE HOPF LINKS 3 and so the Z summands of the former have the same bigrading as the F summands of the latter. We deduce from this that Kh (L;Q) = Q (0,1) Q (2,5). Now if we pick a distinguished component of L so that Kh (L;Q) is a module over R 1 = Z[x 1 ]/ x 2 1, then x 1 acts with square zero on each Kh h, (L;Q), which is either 0 or Q, and so it must act trivially as claimed. We will now make use of Kronheimer and Mrowka s instanton knot homology KHI, defined in [KM10b] and extended to links in [KM10a]. They showed in [KM11] that for any knot K, the complex vector space KHI(K) is isomorphic to the uced singular instanton knot homology I (K;C), and using a spectral sequence Kh(K) I (K) they deduced a rank inequality rankkh (K) rankkhi(k). Based onresultsin[km10b], thisproved thatkh hasrank1ifandonly ifk isunknotted. The third author [Xie18] extended this from knots to pointed links and incorporated the module structure on Khovanov homology to prove the following. Theorem 3 ([Xie18, Theorem 5.4]). Let L be a link of r components in S 3, and fix a base point on the rth component, equipping Kh (L;Z) with an R r 1 -module structure. Let X = (x 1,...,x r 1 ) R r 1 r 1. Then where K(X ) is the Koszul complex rankkhi(l) rankh (Kh (L;Z) Rr 1 K(X )), 0 R r 1 X Λ 1 R r 1 r 1 X Λ 2 R r 1 r 1 X... X Λ r 1 R r 1 r 1 0. Proposition 4. Let L S 3 be a link satisfying any of the hypotheses of Proposition 2. Then rankkhi(l) 4. Proof. Proposition 2 tells us that L is a 2-component link, and that Kh (L;Q) = Q 2 has a trivial action of R 1 = Z[x 1 ]/ x 2 1. In this case the Koszul complex K(X ) is x 0 R 1 1 R1 0, and Kh (L;Q) = (R 1 / x 1 Z Q) 2 as R 1 -modules. The complex (R 1 / x 1 Z Q) R1 K(X ) = ( 0 Q 0 Q 0 ) has cohomology Q 2, so we conclude that rankh (Kh (L;Z) R1 K(X )) = 4 and the proposition now follows from Theorem 3. For links in S 3 (and more generally for null-homologous links with a choice of Seifert surface), instanton knot homology is equipped with an Alexander grading KHI(L) = g 1+r j= g+1 r KHI(L,j),

4 4 JOHN A. BALDWIN, STEVEN SIVEK, AND YI XIE where L has r components and Seifert genus g. This grading is symmetric in the sense that KHI(L,j) = KHI(L, j) for all j. Each KHI(L,j) is canonically Z/2Z-graded, and the Euler characteristics of these summands determine the Alexander polynomial of L by (2) χ(khi(l,j))t j = (t 1/2 t 1/2 ) r 1 L (t). See [KM10a, Theorem 3.6] or [Lim10]. j Let L (t 1,t 2 ) denote the multivariable Alexander polynomial of a 2-component link L = K 1 K 2. This is related to the single-variable Alexander polynomial L (t) by L (t) = ±(t 1/2 t 1/2 ) L (t,t), see e.g. [Mil68, Lemma 10.1]. It follows from (2) that χ(khi(l,j))t j = ±(t 1/2 t 1/2 ) 2 L (t,t), and hence that the right side of (3) L (t,t) = ± j ( j χ(khi(l,j))tj t 2+t 1 must be a Laurent polynomial, i.e. that t 2+t 1 divides the numerator. Torres [Tor53] proved that L (t 1,t 2 ) also satisfies L (1,1) = ±lk(k 1,K 2 ). Proposition 5. Let L = K 1 K 2 be a two-component link with lk(k 1,K 2 ) = ±1. If rankkhi(l) 4, then KHI(L) = C 1 (C 2 ) 0 C 1, where the subscripts denote the Alexander grading, and L (t) = ±(t 1/2 t 1/2 ). Proof. We first claim that in fact KHI(L) is nonzero in at least three different Alexander gradings. If not, then (3) has the form ( c1 t e 1 +c 2 t e ) 2 L (t,t) = ± t 2+t 1 for some integers c 1,c 2 which are not both zero and some integers e 1 e 2. (The numerator cannot be identically zero because then L (t,t) = 0, contradicting L (1,1) = ±1.) The denominator has a double root at t = 1, so it cannot divide the numerator, which is either a monomial (and is thus nonzero when t = 1) or a binomial with only simple roots, and we have a contradiction. Next, we show that rankkhi(l) = 4. It is already at least three, since it has positive rank in each of at least three Alexander gradings. But the rank must be even, since it has the same parity as j χ(khi(l,j))( 1)j and this sum is equal to ±4 L ( 1, 1) 4Z by setting t = 1 in (3). Thus the total rank is 4 as claimed. We let m > k be the two largest Alexander gradings in which KHI(L) is nonzero. By symmetry m is the lowest such grading, so m < k < m; then KHI(L, k) 0 as well, so we must have had k 0. If k > 0 then KHI(L,j) has positive rank for each of j = ±m,±k, and its total rank is 4, so it must have rank exactly one in each of these gradings. Otherwise k = 0, and by symmetry we have rank(khi(l)) rank(khi(l,0)) (mod 2); the former )

5 KHOVANOV HOMOLOGY DETECTS THE HOPF LINKS 5 is even, so the latter is as well, and KHI(K,j) now has rank at least 1,2,1 for each of j = m,0, m and total rank 4. In either case we conclude that where m > k 0. KHI(L) = C m C k C k C m We do not know the Z/2Z grading of each summand, but from (3) there must be signs ǫ m,ǫ k,ǫ k,ǫ m {±1} such that ( ǫm t m +ǫ k t k +ǫ k t k +ǫ m t m ) L (t,t) = ± t 2+t 1. The numerator must be a multiple of (t 1) 2, so both it and its derivative are zero at t = 1, giving us the conditions ǫ m +ǫ k +ǫ k +ǫ m = 0, m(ǫ m ǫ m )+k(ǫ k ǫ k ) = 0. From the second equation we have ǫ m = ǫ m, or else the first term would have magnitude 2m and thus be strictly greater than k(ǫ k ǫ k ) 2k; and from ǫ j = 0 we now have ǫ k +ǫ k = 2ǫ m, so that ǫ k = ǫ k = ǫ m. We conclude that ( t m t k t k +t m ) L (t,t) = ± t 2+t 1. Finally, we use the fact that L (1,1) = ±1 to determine m and k. Given an equation involving Laurent polynomials of the form p(t) = t c (t 1) 2 q(t) we have q(1) = 1 2 p (1), and so taking p(t) = ±(t m t k t k +t m ) and q(t) = L (t,t) gives us L (1,1) = ± 1 d 2 2 dt 2(tm t k t k +t m ) = ±(m 2 k 2 ). t=1 Since m > k 0, this can only be equal to ±1 if m = 1 and k = 0. Thus KHI(L) is exactly as claimed, while L (t,t) = ±1 and L (t) = ±(t 1/2 t 1/2 ) L (t,t) = ±(t 1/2 t 1/2 ). We now know enough about any link L with the same Khovanov homology as a Hopf link H ± to determine its link type. Proof of Theorem 1. We have L = K 1 K 2, with both K i unknotted and lk(k 1,K 2 ) = ±1, by Proposition 2. Proposition 4 gives us the bound rankkhi(l) 4, so then KHI(L) = C 1 (C 2 ) 0 C 1 by Proposition 5, where again the subscripts denote the Alexander grading. We now claim that the Seifert genus of L is 0, as a consequence of the more general g(l)+r 1 = max{j KHI(L,j) 0} for r-component links in S 3 with irucible complement. This generalizes the case r = 1 of [KM10b, Proposition 7.16], and the proof is essentially the same. If Σ is a genus-g Seifert surface for L, then we identify the appropriate Alexander grading with a sutu instanton homology group, KHI(L,g +r 1) = SHI(S 3 (Σ)), where S 3 (Σ) is obtained by cutting open the complement of L (with a pair of meridional sutures on each component) along Σ. (The reason for the shift by r 1 is that the jth Alexander grading is the generalized 2j-eigenspace of an operator µ( Σ) on the instanton

6 6 JOHN A. BALDWIN, STEVEN SIVEK, AND YI XIE homology of some closed manifold, and the maximal real eigenvalue of µ( Σ) is 2g( Σ) 2 = 2(g +r 1), as in [KM10a, 2.5].) If Σ is genus-minimizing then S 3 (Σ) is a taut sutu manifold, so SHI(S 3 (Σ)) 0 by [KM10b, Theorem 7.12] and the claim follows. Thus L bounds an annulus A, and the core of A is isotopic to either of the unknots K i on its boundary. The boundary is in particular a cable of the unknot, and the only such 2-component links with linking number ±1 are the positive and negative Hopf links. References [BS15] Joshua Batson and Cotton Seed. A link-splitting spectral sequence in Khovanov homology. Duke Math. J., 164(5): , [BS18] John A. Baldwin and Steven Sivek. Khovanov homology detects the trefoils. arxiv: , [HN13] Matthew Hedden and Yi Ni. Khovanov module and the detection of unlinks. Geom. Topol., 17(5): , [Kho00] Mikhail Khovanov. A categorification of the Jones polynomial. Duke Math. J., 101(3): , [Kho03] Mikhail Khovanov. Patterns in knot cohomology. I. Experiment. Math., 12(3): , [KM10a] Peter Kronheimer and Tom Mrowka. Instanton Floer homology and the Alexander polynomial. Algebr. Geom. Topol., 10(3): , [KM10b] Peter Kronheimer and Tomasz Mrowka. Knots, sutures, and excision. J. Differential Geom., 84(2): , [KM11] P. B. Kronheimer and T. S. Mrowka. Khovanov homology is an unknot-detector. Publ. Math. Inst. Hautes Études Sci., (113):97 208, [Lim10] Yuhan Lim. Instanton homology and the Alexander polynomial. Proc. Amer. Math. Soc., 138(10): , [Mil68] John Milnor. Singular points of complex hypersurfaces. Annals of Mathematics Studies, No. 61. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, [Shu14] Alexander N. Shumakovitch. Torsion of Khovanov homology. Fund. Math., 225(1): , [Tor53] Guillermo Torres. On the Alexander polynomial. Ann. of Math. (2), 57:57 89, [Xie18] Yi Xie. Earrings, sutures and pointed links. arxiv: , address: john.baldwin@bc.edu Department of Mathematics, Boston College address: s.sivek@imperial.ac.uk Department of Mathematics, Imperial College London address: yxie@scgp.stonybrook.edu Simons Center for Geometry and Physics, State University of New York