The Khovanov homology of (p,-p,q) pretzel knots
In this paper, we compute the Khovanov homology over for pretzel knots for , odd, and arbitrarily large . We provide a conjecture for the general form of the Khovanov homology of pretzel knots. These computations reveal that these knots have thin Khovanov homology (over or ). Because Greene has shown that these knots are not quasi-alternating, this provides an infinite class of non-quasi-alternating knots with thin Khovanov homology.
In , Khovanov introduced his categorification of the Jones polynomial, a graded homology theory, which is a powerful link invariant. As with the Jones polynomial, there is a finite way to compute the Khovanov homology of a link given a diagram with finitely many crossings. A number of programs have been written to compute the Khovanov homology of a link. The programs by Bar-Natan and Green can be implemented in Mathematica . A faster program called KhoHo was written by Shumakovitch . Of course, one must have a finite description of the knot or link, in order to use these programs to obtain its Khovanov homology.
We set out to find the Khovanov homology of infinite classes of knots, in particular infinite classes of pretzel knots. Lee proves in  that the Khovanov homology of alternating links (over rational coefficients) is completely determined by the Jones polynomial and knot signature. Ozsváth and Szabó defined a larger class of knots they call quasi-alternating links  and Manolescu and Ozsváth extended Lee’s results to this class in . In  the quasi-alternating status of pretzel links was explored by Champanerkar and Kofman. They classify many pretzel links as either quasi-alternating, or not, leaving open the status of only classes of column pretzel links: and . Greene completes this classification in , and finds that the knots are not quasi-alternating, when thus their Khovanov homology is not necessarily determined by their Jones polynomial and signature.
We look at the Khovanov homology of the knots (, odd). We utilize the simplicity of the diagrams resulting from resolving one of the crossings in the third column, to make an inductive argument in terms of , which is completed using the fact that these are slice knots. Thus, given a satisfactory base case for some odd value of , we can provide a formula for the Khovanov homology of all knots for sufficiently high. We show the explicit proof for the case, which applies in exactly the same manner for other values of once we compute a base case meeting certain criteria. We have already verified that such base cases exist for all odd values .
Acknowledgements: Many thanks to Peter Kronheimer for his guidance and advice throughout this project. Thank you also to Joshua Greene for the information on the quasi-alternating status of these knots.
2. Khovanov Homology
2.1. Graded Modules
Let be the free graded module generated by two elements, and over a ring . We assign a quantum grading to so that the copy of generated by has quantum grading and the copy of generated by has quantum grading . This induces a quantum grading on where the copy of generated by has quantum grading equal to the sum of the quantum gradings of through .
We will denote quantum gradings by subscripts in parentheses. For example . Let denote a quantum grading shift up by . So .
We can turn into a bialgebra by defining a multiplication, , a comultiplication, , a unit, and a counit. We will only be concerned with and here but Khovanov defines the others in .
2.2. -cube of smoothings
For any given crossing there are two ways to resolve the crossing to eliminate it. We call these the -smoothing and the -smoothing according to the convention in Figure 1.
Given a knot or link diagram , with crossings, there are different total resolutions of the diagram. Each total resolution is a collection of simple closed curves. Additionally, each resolution corresponds to an -tuple of s and s. Fixing an ordering of the crossings, thus gives an identification of the collection of total resolutions of with the vertices of the unit -cube. See Figure 2 for an example.
To each vertex , the weight of the corresponding smoothing, is given by (i.e. the number of -smoothings). Each of the edges of the -cube corresponds to a change of one crossing from a -smoothing to a -smoothing. We label this edge with a map. The map is labeled if two circles in the -smoothing merge to one circle in the -smoothing, and if one circle in the -smoothing divides into two in the -smoothing. We add in signs so that each square anti-commutes.
We then translate the diagram of smoothings into an algebraic diagram of free modules with a functor . Each complete smoothing translates to where is the number of closed curves in the smoothing. The maps and translate to the multiplication and comultiplication on the copies of corresponding to the circles that are merging or dividing.
The resulting diagram for the trefoil is
2.3. Khovanov Complex
From the -cube of modules, we obtain a chain complex for the diagram, in the following manner.
In other words, if we align the vertices of the -cube such that vertices of the same weight are in the same column as above, we simply take the direct sum down each column. The differentials are given by the sums of the maps in the cube from smoothings of weight to smoothings of weight . Because each square anticommutes, .
We let denote a shift up by in the homological grading (). Let be the number of crossings and be the number of crossings according to the convention in figure 3.
Let . Let and be the cohomologies of and respectively. is Khovanov’s link invariant. is specific to the particular diagram in the sense that it depends on the number of and crossings in the diagram.
2.4. A Long Exact Sequence
Suppose we start with a diagram , and resolve only one crossing. Let the diagrams with the -resolution and -resolution of this crossing be denoted and respectively. It is clear from the construction that and are disjoint subcomplexes of , except that has its homological and quantum gradings shifted up by in . Additionally their union consists of all the vertices of and is the total complex of . Therefore we get a short exact sequence of complexes:
This induces a long exact sequence on the homology:
3. Lee’s variant of Khovanov Homology and Rasmussen’s s-invariant
3.1. Lee’s Invariant
Lee considered a similar construction in . Her complex comes from the same -cube of smoothings, and the modules associated to the vertices are the same as Khovanov’s, although Lee takes the coefficient ring to be the rational numbers. The main difference is that the maps and are slightly modified. In Lee’s construction she uses the following maps as the multiplication and comultiplication on .
Let be the analogous complex to that constructed in section , but replacing and by and respectively. With the grading shifts included, Khovanov’s original maps and were constructed so that the differentials preserve quantum grading. (Each map or decreases quantum grading by , but as the weight increases by , there is a quantum grading shift by which cancels out the decrease in quantum grading by the or map.)
However, Lee’s differentials do not preserve quantum grading, and does not even have a homogeneous quantum grading. However each monomial in the image of some monomial under a differential map has quantum grading greater than or equal to the quantum grading of . Let denote the quantum grading of . Then the differential respects the following filtration:
This filtration together with the homological grading induces a spectral sequence whose term is . The differential on the page, is the part of Lee’s differential that preserves quantum grading. This is exactly Khovanov’s original differential, so the page is given by .
Important Note: While it is typical in writing the spectral sequence for a filtered differential graded module to use notation such that and the differential has bidegree it is more natural in this context to let . Using this indexing, the differential has bidegree (homological degree increases by and filtration degree increases by ).
Lee proves that the rank of is simply determined by the number of components of the link, . If has components the rank of is . Therefore if is a knot, has rank .
3.2. Rasmussen’s -invariant
In  Rasmussen asks, what are the quantum gradings of these two remaining copies of in the page of the spectral sequence described above? He proves that the difference between the two quantum gradings is exactly and then defines an invariant to be the average of these two quantum gradings. Furthermore he proves that provides a lower bound on the slice genus of the knot:
4. Main Result
We compute the Khovanov homology for the class of pretzel knots. This same proof can be used to compute knots once an appropriate base case for the induction can be found.
Let , the 3-stranded pretzel knot where . Then
and for all other values of .
We proceed by induction on . The case for can be verified computationally .
For we consider the following 3 diagrams.
Notice that is the diagram with the last crossing in the last column resolved in the -smoothing. Likewise is with the crossing resolved in the -smoothing. Therefore the long exact sequence (1) gives
We observe that is a diagram for the -component unlink. Therefore
Whichever orientation we put on , and . Therefore
Inserting these values into the long exact sequence (1) we get the following
for all . This implies that for .
Noticing that is a diagram for the pretzel knot, we can use the inductive hypothesis to get its Khovanov Homology. Noticing that for , and the unnormalized Khovanov homology for is given by the column on the left below. The right hand column shifts the gradings by , to give the appropriate isomorphisms.
After we shift the gradings back to get , we find that we have proven the result for for all . We are left to find and (which normalize to and under the grading shifts). We have the following exact sequence from the long exact sequence
Since and preserve quantum grading, basic linear algebra implies that
Since is injective, therefore
This results in possibilities for the isomorphism class of . Using the exact sequence (2), we can determine the isomorphism class of corresponding to each of these four possibilities:
After normalization these four possibilities are:
We aim to show that the first of these four possibilities is correct.
We now utilize the results of Lee and Rasmussen, described in section 3. In particular we recall Rasmussen’s invariant, and its relation to the slice genus.
and thus .
We observe that there is a cobordism between and the two component unlink. We may resolve one crossing of to obtain a diagram of a link in the isotopy class of the two component unlink. Resolving the crossing amounts to adding in a band splitting the knot into two components. (See Figure 4).
We may then cap off the unlink end with 2 discs to obtain a disc bounding . Therefore is a slice knot (). Therefore so .
We now complete the proof. Because , the remaining copies of in the page of Lee’s spectral sequence must be in quantum gradings and . The only copies of in those gradings in the term are in the zeroeth homological grading (Table 1). Therefore all differentials on these two copies of must be trivial so that they survive to the page. All other copies of on the page must not survive to the page.
Recall that the differential goes up and over , because of an indexing that differs from the standard indexing for a spectral sequence induced by a filtration. (See the note in section 3.1 for further explanation). Let denote the differential on the page from to . We know that and acts trivially on one copy of for every based on the value of . Because the row corresponding to the second homological grading has only zeros, , for all . Thus if , an additional copy of will survive in , contradicting Lee’s result that there can only be two copies of on the page. Therefore and for all . Because the row corresponding to the first homological grading has zeros in quantum gradings greater than , for all . Therefore if , an additional copy of will survive in , again contradicting Lee’s result. Therefore , and the Khovanov homology of is as stated in the theorem. ∎
5. Coefficients in
While Lee’s spectral sequence only applies to Khovanov homology with coefficients in , the long exact sequence applies with arbitrary coefficients. We can compute a base case over using  or . Then we obtain isomorphisms as in the previous section for which determines the values of in homological degree . The values in homological degree or are completely determined by the base case. We note that support of the Khovanov homology in these homological degrees lies in the two main diagonals. The values in homological degree are determined by . Given our results over combined with the “interesting” part of the long exact sequence, we find that has a copy of in each of the and gradings and is either only or has some torsion contained in the two main diagonals. We illustrate this process in tables 3 and 3, indicating where the inductive step allows for one torsion factor with the marking . Here, indicates the value of for which that torsion factor first appeared in the Khovanov homology of the pretzel knot. In fact in these particular cases (verifiable by computation).
Based on computations of the cases for small values of , one expects that these torsion factors will all be zero.
Note that the rest of the Khovanov homology is fully determined. There are only two places where the long exact sequence allows new torsion to occur at each stage: in the first homological grading at the first and third quantum gradings and this torsion will persist only within the two diagonals, so the homology over coefficients remains thin.
The pretzel knots for have thin Khovanov homology over .
Combining this with Greene’s result that these knots are not quasi-alternating , we find that we have an infinite class of non-quasi-alternating knots with thin Khovanov homology. We generalize this result in the next section to other odd values of . Note that for even values of , the Khovanov homology of the link can have torsion off the main diagonals and thus is not always thin.
6. Pretzel Knots
We can make the same argument to compute the Khovanov homology of other pretzel knots, providing we have a base case knot that satisfies the following conditions
(Alternatively we could have and for which is the case for the mirror images of these knots).
The other nontrivial groups will determine the formula for the Khovanov homology of the knots. Namely, all knots with greater than or equal to the value of in the base case, will have , then for where is some constant determined by the base case. The subsequent groups will be shifted versions of the higher nontrivial groups in the base case.
Homological thinness over coefficients will also follow in the same way as for from homological thinness of the base case over , though additional torsion could theoretically show up within the main diagonals as in the previous case.
We have computationally verified that we have base cases satisfying the three required conditions for odd values . In particular the base case for these values of always occurs in the knot. (Recall that in the case , the base case is .) We suspect that in general the knot will provide the appropriate base case. Furthermore, after examining the first few cases, a clear pattern seems to arise. We can therefore extend the result slightly
For and any , the Khovanov homology for over rational coefficients is
The formula in theorem 3 holds for for all odd values of and .
When is even, is a two or three component link (depending on the parity of ) and the computation is considerably more complicated. There can be nontrivial homology outside of the main diagonals when is even so the Khovanov homology is not thin. For example, the Khovanov homology over of , ( in Rolfsen notation) has two copies of off the main diagonal. Because we can work easily only with odd values of , establishing the base cases via induction on would require a way to jump from the computation of to , where the total number of crossings increases by . Thus a different method of induction than the long exact sequence used for theorem 1 would be required for the full generalization to arbitrary odd values of .
- D. Bar-Natan, On Khovanov’s categorification of the Jones polynomial. Alg. Geom. Top., 2:337–370, 2002.
- D. Bar-Natan, The Knot Atlas. katlas.math.toronto.edu/wiki/Main_Page
- A. Champanerkar and I. Kofman, Twisting quasi-alternating links. Proc. Amer. Math. Soc. 137:2451–2458, 2009.
- J. Greene, Homologically thin, non-quasi-alternating links. Math. Res. Lett. 17(1):39–49, 2010.
- M. Khovanov, A categorification of the Jones polynomial. Duke Math. J. 101(3):359–426, 2000.
- E.S. Lee, An endomorphism of the Khovanov invariant. Adv. Math. 197(2):554–586, 2005.
- C. Manolescu and P. Osváth, On the Khovanov and knot Floer homologies of quasi-alternating links. Proceedings of Gökova Geometry-Topology Conference 2007, Gökova Geometry/Topology Conference (GGT), Gökova:60–61, 2008.
- P. Ozsváth and Z. Szabó On the Heegaard Floer homology of branched double covers. Adv. Math. 195(1):1–33, 2005.
- J. Rasmussen, Khovanov homology and the slice genus. Invent. Math. 182(2):419–447, 2010.
- A. Shumakovitch, KhoHo: a program for computing Khovanov homology. www.geometrie.ch/KhoHo