Abstract
We conjecture explicit evolution formulas for Khovanov polynomials, which for any particular knot are Laurent polynomials of complex variables q and T, for pretzel knots of genus g in some regions in the space of winding parameters \(n_0, \dots , n_g\). Our description is exhaustive for genera 1 and 2. As previously observed Anokhina and Morozov (2018), Dunin-Barkowski et al. (2019), evolution at \(T\ne -1\) is not fully smooth: it switches abruptly at the boundaries between different regions. We reveal that this happens also at the boundary between thin and thick knots, moreover, the thick-knot domain is further stratified. For thin knots the two eigenvalues 1 and \(\lambda = q^2 T\), governing the evolution, are the standard T-deformation of the eigenvalues of the R-matrix 1 and \(-q^2\). However, in thick knots’ regions extra eigenvalues emerge, and they are powers of the “naive” \(\lambda \), namely, they are equal to \(\lambda ^2, \dots , \lambda ^g\). From point of view of frequencies, i.e. logarithms of eigenvalues, this is frequency doubling (more precisely, frequency multiplication) – a phenomenon typical for non-linear dynamics. Hence, our observation can signal a hidden non-linearity of superpolynomial evolution. To give this newly observed evolution a short name, note that when \(\lambda \) is pure phase the contributions of \(\lambda ^2, \dots , \lambda ^g\) oscillate “faster” than the one of \(\lambda \). Hence, we call this type of evolution “nimble”.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is well-known that HOMFLY-PT polynomials [1,2,3,4,5,6,7,8] possess evolution structure [9,10,11,12,13,14,15,16,17, 20, 21]. This has a simple explanation within the modernized Reshetikhin-Turaev (MRT) formalism [22,23,24,25,26,27], and the evolution eigenvalues are actually those of the \({\mathcal {R}}\)-matrix in the relevant representations. There is no known a priori reason to expect such structure in superpolynomials, defined in a very different way [28,29,30, 32,33,34,35,36,37] (see, however, [38, 41,42,43,44] and [45,46,47]). Still, in attempts to find a refined version of MRT, one can try to observe a similar structure for Khovanov polynomials empirically – and is immediately gratified: evolution was already proved to persist for the series of torus and twist knots [48,49,50,51]. For example, the n-dependence of reduced Khovanov invariant is of the form
and for positive odd n it is actually
i.e. an explicitly positive polynomial.
Switching to negative n makes this expression explicitly negative, and positivity is restored by insertion of additional overall factor \((-T)\). Additional simple modifications are needed for even n and for unreduced invariants, which might look like a minor issue and, indeed, in this particular example can be explained away by a simple requirement that invariants remain positive and minimal for all n. However, as one considers more and more general knot/link families it becomes increasingly clear that there is more to the story.
In this paper we look at a rather representative family of pretzel knots (see Sect. 2 for a definition), which includes the entire twist and double-twist series, but only 2-strand sub-family of torus knots. Their evolution at HOMFLY-PT and, partly, superpolynomial levels was described in detail in [9,10,11,12,13,14,15,16,17, 20, 21] and [52,53,54,55, 57]. Here we study the evolution of Khovanov polynomials for this family. We immediately see that parameter space has rich, even puzzling, chamber structure: transitions between the chambers (an analog of changing the sign or parity of evolution parameter in 2-strand torus case) cannot be fully explained by the positivity requirement (this line of thought, however, does not break completely, see Remarks 3.3 and 3.7). Before going into details we briefly outline what happens.
1.1 The problem
In the region where all winding parameters are positive, reduced Khovanov polynomials for pretzel knots (not links! – see Sect. 6) of genus g are given by the general formula
Here \(s = \sqrt{-T}\) and qt-numbers are \([n]_{qt} = \frac{(sq)^{n} - (sq)^{-n}}{sq - (sq)^{-1}}\sim \frac{1-(-q^2T)^n}{1+q^2T}\) (note that they are themselves not positive, but combine in an intricate way inside (1.3) to give a positive result – see Remarks 3.3 and 3.7). This formula, however, is too simple: modulo trivial normalization coefficient it can be obtained just by the change of variables \(q^2 \rightarrow (-T) \cdot q^2,\ A^2 \rightarrow (-T) \cdot q^4\) from the arborescent formula [52,53,54,55, 57,58,59,60,61] for the corresponding HOMFLY-PT polynomial – reflecting the fact that all knots in this region are homologically thin [62]. That is, the arborescent formula [58,59,60,61] survives in this case not only the generalization to superpolynomial, but also the reduction to Khovanov (\(N=2\)) polynomials, which are defined and calculated in an absolutely different way.
However, as one goes out of the positive octant, one immediately encounters discrepancies. The simplest example is provided by the pair of 3-strand torus knots, \(\text {Torus}[3,4]\) and \(\text {Torus}[3,5]\), which are still pretzels (there are no more torus pretzels except these two and the 2-strand series). Indeed, of the five terms in the reduced Khovanov polynomial
only three are reproduced by the formula (1.3), provided one multiplies it by an extra \((-T)\):
And, as a rule, the discrepancy gets worse and worse as one moves away from the positive octant – the presented example is by no means unique.
Taken in isolation, this is not so big a problem and not even a surprise. Indeed, Poincare polynomials of differential complexes, of which Khovanov polynomial is an example, usually behave much worse than corresponding Euler characteristics. But if one remembers the context, which exists on \(T = -1\) level, then discrepancy (1.5) is very important. Indeed, at \(T = -1\), the analog of (1.3) has deep representation theory connections; it is made of so-called Racah matrix [73,74,75,76,77,78,79]. This immediately allows one to generalize (1.3\(_{T = -1}\)) to the colored case, simultaneously revealing its connection to Chern-Simons [87, 88] theory.
If one ever hopes to have similarly rich context at \(T \ne -1\) level, then understanding, or at least taming, this naive breakdown of (1.3) is crucial, and this is precisely what we do in the present paper.
Another point of interest is that proper description of the \(T \ne -1\) structure may shed some light on the use of the topological string formalism to calculate refined knot polynomials. So far, this was understood only in the example of double Hopf link [89].
1.2 The main results
In this paper we look at Khovanov polynomials for low genus pretzel knotsFootnote 1 and find the following loosely related structures:
1.2.1 Nimble evolution in exceptional regions
The abovementioned \(\text {Pretzel}[3,3,-2]\) is near the tip of a special region in the parameter space
where reduced Khovanov polynomials receive unsymmetric correction term
in which \(n_g\) is distinguished and plays a special role. This term, of course, vanishes at \(T = -1\). There are a few regions, shaped similarly to (1.6), with more-or-less analogous kind of correction terms.
The most prominent feature of (1.7) is that the dependence on \(n_g\) is very different from dependence on other windings \(n_i\). \((q^2 T)^{n_g}\) occurs in each and every bracket. Cumulative effect of these extra eigenvalues in all the brackets is that in the preferred direction evolution occurs faster than would be naively expected. We call this phenomenon “nimble evolution”.
For arbitrary genus this is definitely not the whole story, but in Sect. 3 we present the details of what we understand so far.
For genera \(g=1\) and \(g=2\), however, this description of reduced Khovanov polynomials for knots is exhaustive and complete – the only deviation from (1.3) are correction terms (3.14) and (3.18), analogous to (1.7), appearing in “exceptional” regions, shaped by inequalities (3.15) and (3.17). Only in these exceptional regions does one encounter thick knots, i.e. such knots (as opposed to thin knots) whose Khovanov polynomial contains (q, T)-monomials that do not lie on the cricical diagonals of the Newton plane (see Sect. 1.1 in [70] and referenced therein). While for thin knots Khovanov polynomial can be obtained from the respective Jones polynomial by simple change of variables, for thick knots one cannot do it, and this is what makes thin-thick knot distinction so important.
1.2.2 Unreduced polynomials can be restored from reduced ones
For genus 2 the unreduced Khovanov polynomials can be recovered from reduced ones by adding simple corrections (see Sect. 4). They also change abruptly between strata, but inside each stratum they depend only on the planar diagram’s unorientability (see Sects. 4 and 5).
1.2.3 Link polynomials have similar structure
Unreduced Khovanov polynomials for links are not very much different from unreduced Khovanov polynomials for knots: they have simple extra correction terms that depend on the mutual linking numbers of the components and unorientability (see Sect. 5) of the planar diagram. Still, the structure of these terms is so different from arborescent structure (1.3) that joining links with different number of connected components into one evolution series (as was done in [51]) is more confusing than illuminating (see Sect. 6).
We completely leave the question of structures present in reduced Khovanov polynomials for links out of this paper. This is mainly because reduced Khovanov polynomials for links require a different point of view: to any given link one associates not just one, but the whole bunch of polynomials, one for each choice of marked connected component.
In this paper we present an interpretation of the extensive experimental data on Khovanov polynomials. Of course, what we really want in the future, is to do prediction: to write down formulas similar to (1.7) beforehand from some kind of guiding principle and then check that they indeed give Khovanov polynomials, calculated with help of their explicit definition.
We conclude by discussing the meaning and limitations of our results and pointing further directions in Sect. 8.
2 Pretzel knots
Recall that pretzel knot of genus g is a certain kind of knot that can be drawn on a genus g surface. It consists of \(g+1\) 2-strand braids, with winding numbers \(n_0\) through \(n_g\), respectively, which are joined, as shown on the picture.
In order to define framing (see Sect. 5), it is important to choose a particular planar projection, and for pretzel knots we always have in mind this one.
Depending on parities of windings \(n_i\), pretzel planar diagram (2.1) can be either a knot or a link. A diagram is a knot, when either:
one of the windings is even, and all the rest are odd
genus g is even and all the windings are odd
In the former case the “even” braid has to be antiparallel, while all “odd” braids are parallel. In the latter case all the braids are antiparallel
For the purposes of this paper we will call the former pretzel knots (that have exactly one antiparallel braid) charged and the latter pretzel knots neutral, since the former ones have non-zero unorientability (see Sect. 5), while the latter ones do not.
It is crucial to distinguish charged and neutral pretzel knots, since, as we shall see in Sect. 3, starting from genus \(g = 2\) in some regions evolution formulas for these two types of pretzel knots do differ.
3 Reduced Khovanov polynomials
In this section we present the evolution formulas for reduced Khovanov polynomials. We go incrementally, from the simpler formulas valid in some regions of the parameter space, to more and more complicated formulas.
Here, unless otherwise specified, index i runs from 0 to g, index J is some distinguised index (and in this case the region considered is the union of regions for all possible choices of J). Here, and in the following sections as well, \(\lambda \) is equal to \(q^2 T\):
The simplest possible formula is
which is valid in the region
The motivation behind the region’s name will become clear in a second. The formula (3.2) is straightforwardly obtained from the HOMFLY polynomial with help of change of variables \(q^2 \rightarrow (-T) \cdot q^2,\ A^2 \rightarrow (-T) \cdot q^4\). This is to be expected, since all the knots in this region are alternating and, hence, homologically thin (which precisely means they can be restored from respective HOMFLY with the substitution).
The formula (3.2) for sure cannot be true on the entire windings space, since, as one tries to apply it outside the \(\text {bulk}_g\) region, it stops giving positive answer (see Remarks 3.3 and 3.7).
The failure of positivity of (3.2) is, in fact, cured in a very easy way in a number of regions, which we denote \(\text {bulk}_a\), \(a = -g, -g + 2, \dots , g - 2, g\). The shape of these regions is, in general, complicated (at least so far we were unable to find a generic description of their shape by some inequalities), but one of the regions – \(\text {bulk}_{-g}\) – is the antipode of \(\text {bulk}_{g}\):
The correct formula in bulk-regions is
Remark 3.1
In \(g = 1\) case, there are just two regions \(\text {bulk}_1\) and \(\text {bulk}_{-1}\), which are larger than in general case, namely
i.e. they span the whole parameter space (the diagonal \(n_0 = n_1\) contains only links). Note that there is no separate restriction on \(n_0\) and \(n_1\) – just on their sum, because for \(g=1\) it is easy to rewrite (3.2) to depend manifestly only on \(n_0 + n_1\).
Remark 3.2
Note that the mirror symmetry, which is a fundamental property of the Khovanov polynomials, presents here in the form
where an extra factor of \(q^2\) is a due to the peculiarity of the definition of the reduced polynomials [63]. One can explicitly verify that (3.7) indeed relates the p and m versions of all our evolution formulas.
Remark 3.3
One can observe that all our evolution formulas are in fact assembled from the elementary factors of the three kinds,
These factors are (Laurent) polynomials in \(\lambda \) for any integer n. Moreover, \(F_n(\lambda )\) and \(f_n(\lambda )\) are positive (negative) polynomials for \(n>0\) (\(n<0\)), and \(g_n(\lambda )\) is a positive (negative) polynomials for \(n>1\) (\(n<-1\)). All these polynomials are almost proportional to ordinary quantum numbers \([n]_q\) with \(\lambda \) on the place of q (see the explicit examples in App. B). In addition, (3.8) satisfy certain relations (see App. A) that allow one to rewrite the evolution formulas as explicitly positive polynomials.
In particular, one can rewrite \(g=1\) answer (3.2) in the form
so that it depends only on \(n_0+n_1\) (as it should) and literally coincides with the standard Khovanov polynomial (under the considerations from the beginning of Sect. 1.2) of the knot \(\text {Torus}[2,n_1+n_0]\sim \text {Pretzel}(n_0,n_1)\) [50].
Similarly, algebraic manipulations with (3.2) allow one to rewrite it as
The last expression is an explicitly positive polynomial for \(n_0>1\), \(n_1>0\), and \(n_2>1\). Moreover, one can find several equivalent forms of (3.2) with their own domains of explicit positivity (or negativity), so that the union of these domains is exactly the union of all the \(\text {bulk}_a\) regions.
Analogues of (3.10) for other (not bulk-region) evolution formulas for \(g=2\) are presented below. The higher genera evolution formulas reveal very similar structures, but we postpone this for the upcoming work on systematic analysis of these cases.
For \(g > 1\) bulk-regions do not span the whole space, but they still do take a significant (say, greater than 1 / 2) fraction of its volume.
Remark 3.4
In the bulk-regions it doesn’t matter, whether knot is charged or neutral – formula (3.5) interpolates between both possibilities.
Formula (3.5) also does not provide correct answers on the whole parameter space. Already for \(g = 2\) one has torus knots \(\text {Torus}[3,4]\) and \(\text {Torus}[3,5]\) for which there is a discrepancy (typeset in bold)
We see that in case of \(\text {Torus}[3,5]\) the mismatch is more severe: the naive bulk answer does not give sign-definite polynomial at all!
Nevertheless, extra bold terms in both \(\text {Torus}[3,4]\) and \(\text {Torus}[3,5]\) are successfully accounted for by the following corrected formulas
and
The bold type indicates above the T powers that are different in the bulk and actual evolution formulas. These factors are responsible for the bold terms in (3.11) and for the cancellation of the negative term for \(\text {Torus}[3,5]\).
Generally, the evolution formulas
are valid, respectively, in positive exceptional charged region and negative exceptional charged region, whose shape is
That is, each of the exceptional charged regions consists of \(g+1\) subregions, corresponding to the choice of special direction \(J = 0 \dots g+1\). Moreover, all the knots in the region are charged, since \(n_J\) is even, justifying the name of these regions.
Remark 3.5
Crucial feature of the evolution formulas (3.14) (and of the formulas (3.18) below) is that eigenvalue \(\lambda \) corresponding to the chosen preferred direction J enters all the brackets of the correction term, while eigenvalues corresponding to other, non-preferred, directions each enter precisely one bracket. Hence, if we consider evolution w.r.t just \(n_J\), with other \(n_i\) fixed, then it occurs faster (resulting in extra terms in (3.11)) than would be naively guessed. We call this nimble evolution and hope to study in the future how it manifests itself in the regions of the parameter space we haven’t covered so far.
Remark 3.6
The positive polynomial decomposition over elementary factors (3.8) in the case of \(g=2\), e.g., for the first of formulas (3.14) is
Remarkably, bulk formula (3.2)\(\equiv \)(3.10) is recovered from (3.16) if one substitutes the bold \(\varvec{T}\) with \(-1\), just as we have seen in explicit Examples (3.12, 3.13).
The odd, or neutral, counterpart of the exceptional regions
requires for a more complicated description, which we present here only for \(g=2\),
On very shallow level, the structure of (3.18) is still similar to (3.14). That is, there is still one preferred direction J, and evolution in this direction is nimble. And the correction terms still vanish at \(T = -1\). But understanding the structure of (3.18) on a deeper level, as well as the systematic analysis of higher genera, is the subject for future research. In particular, for \(g > 2\) “bulk” and “exceptional” regions from above do not span the whole parameter space – there are additional regions, where the dependence of the Khovanov polynomial is still to be described.
Remark 3.7
Decomposition over positive polynomial (3.8), e.g., in the first case, is
Again, the substitution of \(-1\) for the bold \(\varvec{T}\) turns (3.19) into bulk formula (3.2)\(\equiv \)(3.10).
Remark 3.8
For \(g=2\) the regions \(\text {bulk}_{\pm 2}\), \(\text {bulk}_{0}\) and positive and negative exceptional charged and neutral regions span the entire space (the \(\text {bulk}_{0}\) is the complement of all other regions). Hence, for \(g=2\) formulas (3.5), (3.14) and (3.18) provide complete description for reduced Khovanov polynomials’ evolution.
Remark 3.9
The double-braid knots, instrumental in finding a relation between inclusive and exclusive Racah matrices [58,59,60,61, 72], are embedded into \(\text {bulk}_2\) region for \(g=2\) as \(\text {Pretzel}[n_0, -1, n_2]\). This is a weak hint that evolution formula (3.2) should be at the core of the (hypothetical) homological analog of the arborescent calculus.
Remark 3.10
While charged exceptional regions, indeed, contain only charged knots, the neutral exceptional regions contain both charged and neutral knots. Namely, they contain those charged knots for which the preferred direction J does not coincide with the direction, which has even winding. For instance, a charged pretzel knot \(\text {Pretzel}[5, -3, 4]\) belongs to positive exceptional neutral region with \(J = 1\) (the distinguished direction), while its only antiparallel braid corresponds to winding \(n_2 = 4\).
Remark 3.11
One may wonder whether choosing the preferred direction in exceptional regions is consistent with topological invariance. Note that topological invariance implies only invariance of the answers w.r.t cyclic permutation of the winding numbers, for example
That is, to reproduce these answers one needs to use formula (3.18) with different \(J = 1\), 2 and 0, respectively.
4 Relation between reduced and unreduced Khovanov polynomials
It turns out that in each stratum of the parameter space unreduced polynomials can be recovered from the reduced ones. For genus 2 the description below is exhaustive, while for higher genera we don’t yet know what happens in some of the regions.
The relation betwen reduced (\(\mathcal {X}\)) and unreduced (X) polynomials is particularly simple in bulk-regions
where \(\text {unorientability}\) is a simple combinatorial quantity associated to a planar diagram and is defined in Sect. 5.
In exceptional charged regions it is slightly more complicated, for instance,
Though each individual correction term is very simple, their generic structure is not clear at the moment: more research is needed to clarify the issue.
Since we, in any case, don’t have a generic description, this section is very sketchy, but from what we observe so far, the jumps in unreduced and reduced Khovanov homology occur together – chambers for reduced and unreduced polynomials are the same.
5 Unorientability and framing
Unorientability is defined as follows. Consider checkerboard coloring of the planar diagram (where we’ve denoted colored regions with black circles):
Out of the two possible choices we choose the one that doesn’t contain an infinite region. Now, contributions of different types of crossings to the unorientability are
Throughout the paper, we use a very particular choice of framing (with respect to Bar-Natan’s conventions). This is needed in order to restore the symmetry between different windings \(n_i\), even though some of them correspond to parallel braids and others correspond to antiparallel braids. Namely, the required framing factor is simply \((T q^3)\) to the power of unorientability, which for pretzel knots is equal to sum of windings of parallel-oriented braids:
6 Unreduced Khovanov polynomials for pretzel links
If we consider links, not just knots, and try to interpolate between different answers for unreduced Khovanov polynomials then for the \(\text {bulk}_g\) region we would get
It is clear that the answer changes abruptly when one changes the number of link components (i.e. the number of windings \(n_i\) that are even).
Namely, if we have an M-component link, then the correction w.r.t the naive arborescent answer is
where we’ve written it in the form that has a chance to generalize beyond the pretzel knots. Here unorientability of a planar diagram is as in Sect. 5, \(\text {lk}(C_i, C_j)\) is the linking number of the link components \(C_i\) and \(C_j\), and products \(\prod _{C_i < C_j}\) run over distinct pairs of link components.
Overall, we see that corrections (6.2) look very differently from the arborescent piece. Hence, rather than trying to find a formula that interpolates between knots and links (with varying number of components), it is much more fruitful to direct attention to formulas for links with fixed number of components. The main focus of the present paper was on knots, but, hopefully, this section shows that answers for links with other number of components are only a little bit more complicated.
7 Different approaches to similar problems
Here we briefly review different papers, that are in some way related to what we do in this paper.
7.1 Khovanov polynomials for genus 2 Prezel knots
An orthogonal research direction to our experimental approach consists in honest symbolic computation of Khovanov polynomials “by hands”, i.e. in honestly deriving formulas like (1.3) and (1.7), rather than getting them via interpolation.
The key point here is that the Khovanov’s complex for an open two strand braid has a simple and explicit description. Moreover, the complexes for the two strand braids can be multiplied (via the operation of so-called horizontal composition) so that a pretzel knot (or link) is obtained, and its Khovanov polynomial can be thus explicitly computed. This plan was gradually implemented for all genus two pretzel knots. Here are the relevant milestones.
Pioneering takes on the problem relied in an essential way on the exact skein sequence and the differential expansion (which substitute the skein relations and the quantum group structure, respectilely).
For quasi-alternating links, which constitute a large fraction of all links at genus two, this resulted in the general Theorem 4.5 of [90] for the unreduced polynomials.
The next step was the explicit computation of unreduced Khovanov polynomials for several infinite series of non-quasi-alternating genus 2 pretzel links [91,92,93]. All these polynomials proved to be homologically thin, and thus similar to the polynomials of the alternating links.
The remaining genus two pretzel links were captured in [69]. The paper contains the general answer for the unreduced polynomial of a pretzel link. In particular, this answer explicitly shows that some families of the genus 2 pretzel links are homolgically thick, i.e., the corresponding Khovanov polynomials are not fully defined by other invariants.
Hence, this cooperated research provides the complete list of the explicit formulas for the unreduced Khovanov polynomials for genus 2 pretzel links. Yet, the evolution formulas were never presented in a condensed and consice form in these papers, as we do in the present paper. This, we hope, is one of our main contributions to this development, and hopefully will give a clue on how to extend explicit description to higher genera.
7.2 Evolution formulas for Khovanov(-Rozansky) polynomials
The focused study of the evolution of Khovanov–Rozansky polynomials at finite N, to the best of our knowledge, was started in [50]. There, the authors concentrated their attention on the case of torus knots, which, on one hand, allowed them to study Khovanov–Rozansky polynomials, and not just Khovanov (\(N = 2\)) ones, but on the other hand, concealed the full generality of the chamber structure – there the chamber structure took the form of the breaking of the mirror symmetry.
A very interesting aspect of the paper [50] is that the main role is played not by the KR-polynomials themselves, but rather by finite difference equations, that these polynomials satisfy. In the present paper we do not comment on this approach at all, but this dual point of view is a potential source of many new insights.
7.3 Evolution formulas for double-braid knots
Fourth of all, the present paper is the development of [51]. There, also, evolution for Khovanov polynomials (i.e. \(N=2\)) was studied for a concrete family of knots – the double-braid knots (which authors called “figure-eight-like”). The richness of the chamber structure for Khovanov polynomials was already observed there, moreover, answers were proven, not just guessed from computer experiments, as in the present paper. Pretzel knots, considered in the present paper, contain double braid ones, for example, as \(\text {Pretzel}[a,b,1]\). An interesting feature of [51] is that evolution formulas are written for knots and links jointly, which results in appearance of extra eigenvalue. Now, our analysis in Sect. 6 suggests that this point of view is more confusing that it is fruitful – it is much more instructive to consider links with different number of components as different evolution series.
7.4 Superpolynomials of torus knots
Other but closely related objects are superpolynomials for torus knots, studied in [38, 41,42,43,44].
Superpolynomials are, roughly speaking, “stable component” of the Khovanov–Rozansky polynomials. Namely, if one studies Khovanov–Rozansky polynomials for any given knot for different ranks N of the group, for \(N > N^*\) (where \(N^*\) depends on the knot) the dependence on N becomes analytic – polynomial stabilizes. In particular, at the level of superpolynomials evolution method works perfectly, what was further confirmed in the case of twist knots in [10, 11]. Chambers with abrupt changes between them appeared in these considerations, but these changes could be easily ignored in [10, 11] by saying that evolution smoothly connects pure positive polynomials with pure negative ones – what is true in the twist and torus cases. For the first time the seriousness of the chamber problem for superpolynomials was realized in the study of satellite knots in [71]. As we explain in the present paper, the problem is indeed very general, just in the case of pretzels it fully manifests itself for finite N. Thus chamber dependence can be considered as a kind of pronounced
non-perturbative phenomenon, which is strengthened beyond the large-N (loop) expansion – and this is what we study in the present paper.
There are, of course, many more papers that are related to the present work in one way or another. We do not pretend to make a comprehensive review here – we only mention results, which directly affected the motivations and content of the present paper.
8 Conclusion and further directions
In this paper we analyzed the explicit expressions for Khovanov polynomials for pretzel knots of low genera, obtained from computer experiments with the help of [65] (with our custom set of wrappers, which make our life more convenient, but are not necessarily easy to read [66]), and, partly, from direct computations of [70].
We were mainly interested in the fate of the evolution formulas. We observed that chamber structure is very rich for this family of knots. While for some knots (alternating and quasi-alternating) evolution is very simple and just follows from evolution for HOMFLY-PT polynomials, for other knots (the thick pretzel knots) there are non-trivial corrections. But, perhaps, the main surprise and good news is that our suggested formulas (3.14) and (3.18) are still of the shape that is comparable to naive answer (3.2). This gives a hope that some homological generalization of MRT-formalism, or even arborescent calculus, is, indeed, possible. Before, the only multiparametric family of knots, for which such generalization was constructed (on the level of superpolynomials [38, 41,42,43,44]) were torus knots, i.e. generalized was the celebrated Rosso-Jones formula [80,81,82,83,84,85,86].
Apart from generalizing our formulas to higher genera, another obvious research route would be to understand their quadruply-graded homology analogues [94, 95].
Finally, the study of (q,t)-deformed pretzel formulas may be helpful in developing explicit formulas for the Racah matrices (quantum 6j-symbols) themselves. So far even at \(T = -1\) their description is far from being complete (see [96, 97] for current state of art) and it well may be that some aspects become clearer as one goes to \(T \ne -1\).
So far the picture we present is complete only for genera 1 and 2, while already for genus 3 there are regions, where the form of the evolution is still obscure, hence, we can not insist that corrections are always as tame as (3.14) or (3.18). Something more wild is still not excluded. Our work is continuing in these directions.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Reduced Khovanov polynomials for concrete knots, which play the central role in the paper, are straightforwardly computable in reasonable time with help of Dror Bar-Natan’s program augmented with our set of wrappers (the git-repository is referenced in the main text). Hence, there is no need to provide them in form of tables, or otherwise.]
Notes
We do concrete calculations with the help of wonderful programs by Dror Bar-Natan and his collaborators [63,64,65], with our own set of wrappers [66]. We also changed \(q \rightarrow 1/q\), \(T \rightarrow 1/T\) and chose a very specific framing (see Sect. 5) in which the symmetry between different winding parameters \(n_i\) in (1.3) is manifest.
References
J.W. Alexander, Trans. Amer. Math. Soc. 30(2), 275–306 (1928)
V.F.R. Jones, Invent. Math. 72, 1 (1983)
V.F.R. Jones, Bull. AMS 12, 103 (1985)
V.F.R. Jones, Ann. Math. 126, 335 (1987)
L. Kauffman, Topology 26, 395 (1987)
P. Freyd, D. Yetter, J. Hoste, W.B.R. Lickorish, K. Millet, A. Ocneanu, Bull. AMS. 12, 239 (1985)
J.H. Przytycki, K.P. Traczyk, Kobe. J. Math. 4, 115–139 (1987)
A. Morozov, Theor. Math. Phys. 187, 447–454 (2016). arXiv:1509.04928
H. Itoyama, A. Mironov, A. Morozov, An Morozov, JHEP 2012, 131 (2012). arXiv:1203.5978
A. Mironov, A. Morozov, An Morozov, AIP Conf. Proc. 1562, 123 (2013). arXiv:1306.3197
A. Mironov, A. Morozov, An Morozov, Mod. Phys. Lett. A 29, 1450183 (2014). arXiv:1408.3076
S. Arthamonov, A. Mironov, A. Morozov, Theor.Math.Phys. 179, 509-542 (2014) (Teor.Mat.Fiz. 179 (2014) 147-188), arXiv:1306.5682
A. Morozov, Nucl. Phys. B 911, 582–605 (2016). arXiv:1605.09728
A. Morozov, JHEP 1609, 135 (2016). arXiv:1606.06015 v8
A. Morozov, Mod. Phys. Lett. A 33(12), 1850062 (2018). arXiv:1612.00422
A. Morozov, Phys. Lett. B 766, 291–300 (2017). arXiv:1701.00359
A. Morozov, Phys.Lett. B 778, 426-434 (2018), arXiv:1711.09277
A. Morozov, Phys.Lett. B 778, 426-434 (2018), arXiv:1902.04140
A. Morozov, Phys.Lett. B 778, 426-434 (2018), arXiv:1903.00259
Ya. Kononov, A. Morozov, Mod. Phys. Lett. A 31(38), 1650223 (2016). arXiv:1610.04778
M. Kameyama, S. Nawata, R. Tao, H. D. Zhang, arXiv:1902.02275
N. Reshetikhin, V. Turaev, Comm. Math. Phys. 127, 1–26 (1990)
E.Guadagnini, M.Martellini, M.Mintchev, Clausthal 1989, Procs. 307-317
E. Guadagnini, M. Martellini, M. Mintchev, Phys. Lett. B 235, 275 (1990)
A. Mironov, A. Morozov, An. Morozov, in Strings, Gauge Fields, and the Geometry Behind: The Legacy of Maximilian Kreuzer, WS pub. 101-118, (2013) arXiv:1112.5754
A. Mironov, A. Morozov, An Morozov, JHEP 1203, 034 (2012). arXiv:1112.2654
A. Mironov, A. Morozov, An Morozov, JHEP 1809, 128 (2018). arXiv:1804.07278
M. Khovanov, Duke Math. J. 101(3), 359426 (2000). arXiv:math/9908171
M. Khovanov, L. Rozansky, Fund. Math. 199(1), 191 (2008). arXiv:math/0401268
M. Khovanov, L. Rozansky, Geom.Topol. 12, no. 3, 13871425 (2008), arXiv:math/0505056
M. Khovanov, L. Rozansky, Geom.Topol. 12, no. 3, 13871425 (2008), arXiv:math/0701333
N. Carqueville, D. Murfet, arXiv:1108.1081
S. Gukov, A. Schwarz, C. Vafa, Lett. Math. Phys. 74, 53–74 (2005). arXiv:hep-th/0412243
N. M. Dunfield, S. Gukov, J. Rasmussen, arXiv:math/0505662
I. Cherednik, I. Danilenko, arXiv:1408.4348
S. Nawata, A. Oblomkov, arXiv:1510.01795
S. Gukov, S. Nawata, I. Saberi, M. Stosic, P. Sulkowski, arXiv:1512.07883
M. Aganagic, S. Shakirov, arXiv:1105.5117
M. Aganagic, S. Shakirov, arXiv:1202.2489
M. Aganagic, S. Shakirov, arXiv:1210.2733
P. Dunin-Barkowski, A. Mironov, A. Morozov, A. Sleptsov, A. Smirnov, JHEP 03, 021 (2013). arXiv:1106.4305
I. Cherednik, arXiv:1111.6195
E. Gorsky, S. Gukov, M. Stosic, arXiv:1304.3481
S. Arthamonov, S. Shakirov, Sel. Math. vol.25 iss.2 (2017), arXiv:1704.02947
V. Dolotin, A. Morozov, Nucl. Phys. B 878, 12–81 (2014). arXiv:1308.5759
A. Anokhina, A. Morozov, JHEP 07, 063 (2014). arXiv:1403.8087
Ya. Kononov, A. Morozov, Theor. Math. Phys. 193, 1630–1646 (2017). arXiv:1609.00143
V. Dolotin, A. Morozov, JHEP 1301, 065 (2013). arXiv:1208.4994
V. Dolotin, A. Morozov, J. Phys. 411, 012013, arXiv:1209.5109
A. Anokhina, A. Morozov, JHEP 1804, 066 (2018). arXiv:1802.09383
P. Dunin-Barkowski, A. Popolitov, S. Popolitova, arXiv:1812.00858
D. Galakhov, D. Melnikov, A. Mironov, A. Morozov, A. Sleptsov, Phys. Lett. B 743, 71 (2015). arXiv:1412.2616
A. Mironov, A. Morozov, A. Sleptsov, JHEP 07, 069 (2015). arXiv:1412.8432
D. Galakhov, D. Melnikov, A. Mironov, A. Morozov, Nucl. Phys. B 899, 194–228 (2015). arXiv:1502.02621
A. Mironov, A. Morozov, A. Morozov, A. Sleptsov, JETP Lett. 104, 56-61 (2016)
A. Mironov, A. Morozov, A. Morozov, A. Sleptsov, Pisma Zh.Eksp.Teor.Fiz. 104, 52-57 (2016), arXiv:1605.03098
S. Shakirov, A. Sleptsov, arXiv:1611.03797
A. Mironov, A. Morozov, An Morozov, P. Ramadevi, V.K. Singh, JHEP 1507, 109 (2015). arXiv:1504.00371
S. Nawata, P. Ramadevi, V. K. Singh, arXiv:1504.00364
A. Mironov, A. Morozov, Phys. Lett. B 755, 47–57 (2016). arXiv:1511.09077
A. Mironov, A. Morozov, An Morozov, P. Ramadevi, V.K. Singh, A. Sleptsov, J. Phys. A 50, 085201 (2017). arXiv:1601.04199
D. Bar-Natan et al. http://www.katlas.org
D. Bar-Natan, Algebr. Geom. Topol. 2, 337–370 (2002). arXiv:math/0201043
D. Bar-Natan, arXiv:math/0606318
http://katlas.org/wiki/The_Mathematica_Package_KnotTheory%60
Y. Kononov, A. Morozov, JETP Lett. 101, 831–834 (2015)
Y. Kononov, A. Morozov, Pis’ma v ZhETF 101, 931-934 (2015), arXiv:1504.07146
A. Manion, The rational Khovanov homology of 3-strand pretzel links J. Knot Theory Ramifications 23 (2014); arXiv:1110.2239
A. Manion, The Khovanov homology of 3-strand pretzels, revisited. New York J. Math 24, 1076–1100 (2018). arXiv:1303.3303
A. Morozov, Phys. Lett. B 782, 104–111 (2018). arXiv:1801.02407
A. Mironov, A. Morozov, An Morozov, A. Sleptsov, Racah matrices and hidden integrability in evolution of knots. Phys. Lett. B. 760, 45–58 (2016). arXiv:1605.04881
G. Racah, Phys. Rev. 62, 438–462 (1942)
E.P. Wigner, On the matrices which reduce the Kronecker Products of Representations of S. R. Group (1940, unpublished), in Quantum Theory of Angular Momentum, ed. by L.C. Biedenharn, H.van Dam, (Academic Press, New York, 1965), pp. 87–133
E.P. Wigner, Group theory and its application to the quantum mechanics of atomic spectra (Acad. Press, New York, 1959)
L.D. Landau, E.M. Lifshitz, Quantum mechanics: non-relativistic theory (Pergamon Press, Oxford, 1977)
J.Scott Carter, D.E. Flath, M. Saito, The classical and quantum 6j-symbols (Princeton Univ.Press, Princeton, 1995)
S. Nawata, P. Ramadevi, Zodinmawia, Lett. Math. Phys. 103, 1389–1398 (2013). arXiv:1302.5143
A. Mironov, A. Morozov, A. Sleptsov, JHEP 07, 069 (2015). arXiv:1412.8432
M. Rosso, V.F.R. Jones, J. Knot Theory Ramifications 2, 97–112 (1993)
M. Tierz, Mod. Phys. Lett. A 19, 1365–1378 (2004). arXiv:hep-th/0212128
A. Brini, B. Eynard, M. Marino, Annales Henri Poincare, 13:8 (2012) SP Birkhauser, arXiv:1105.2012
S. Shakirov, arXiv:1111.7035
A. Mironov, A. Morozov, A. Sleptsov, Eur. Phys. J. C 73, 2492 (2013). arXiv:1304.7499
A. Alexandrov, A. Mironov, An Morozov, A. Morozov, JETP Lett. 100, 271–278 (2014). arXiv:1407.3754
P. Dunin-Barkowski, A. Popolitov, S. Shadrin, A. Sleptsov, arXiv:1712.08614
S. Chern, J. Simons, Ann. Math. 99, 48–69 (1974)
E. Witten, Comm. Math. Phys. 121, 351–399 (1989)
A. Mironov, A. Morozov, JETP Lett. 107, 728–735 (2018). arXiv:1804.10231
E.S. Lee, An endomorphism of the Khovanov invariant. Adv. Math. 197(2), 554–586 (2005). arXiv:math/0210213
R. Suzuki, Khovanov homology and Rasmussen’s s-invariants for pretzel knots arXiv:math/0610913
L. Starkson, The Khovanov homology of (p, -p, q) pretzel knots arXiv:0909.1853
Kh Qazaqzeh, The Khovanov homology of a family of three-column pretzel links. Comm. Cont. Math. 13(05), 813–825 (2011)
E. Gorsky, S. Gukov, M. Stosic, Quadruply-graded colored homology of knots. Fundam. Math. 243, 209–299 (2018). arXiv:1304.3481
S. Nawata, A. Oblomkov, Lectures on knot homology. Contemp. Math. 680, 137 (2016). arXiv:1510.01795
A. Mironov, A. Morozov, A. Sleptsov, Pis’ma v ZhETF 106, 607 (2017). arXiv:1709.02290
Chuan-Tsung Chan, A. Mironov, A. Morozov, A. Sleptsov, Rev. Math. Phys. 30(6), 1840005 (2018). arXiv:1712.03155
Acknowledgements
This work was funded by the Russian Science Foundation (Grant No.16-12-10344).
Author information
Authors and Affiliations
Corresponding author
Appendices
Elementary constituents of pretzel Khovanov polynomials
Here we discuss elementary building blocks (3.8) of the Pretzel Khovanov polynomials in little more details. We repeat the definition for the sake of convenience,
These factors satisfy there are the sum formulas that extend similar formulas for the quantum numbers look like
Relations between different factors (A.1), together with sum formulas (A.5), allow one to derive positive polynomials decompositions (3.9,3.10,3.16,3.19), as well as similar decompositions in other cases, including the higher genera evolution formulas. In particular, formulas for the Pretzel subfamilies in App. B are obtained just in this way.
Formulas (3.8,A.5) are valid for any integer n, \(n_1\), \(n_2\). Unlike them, the Laurent polynomials in z obtained for particular values of n look differently depending on the n sign. Namely,
I.e., (3.8) are fully positive or negative polynomials for the most positive or negative values of the integer n, respectively. One should treat separately the exceptional cases, when the factors are zero or sign indefinite,
In all cases, \(f_n(z)\), \(F_n(z)\) and \(g_{-n}(z)\) contain only negative powers of z if \(n\ge 0\), and the \(z^{-1}\) term followed by only positive powers of z if \(n\le 0\).
Explicit form of the unreduced Khovanov polynomials for the particular subfamilies of the genus 2 pretzel knots
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Anokhina, A., Morozov, A. & Popolitov, A. Nimble evolution for pretzel Khovanov polynomials. Eur. Phys. J. C 79, 867 (2019). https://doi.org/10.1140/epjc/s10052-019-7303-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-7303-5