Abstract
In this paper we compute a q-hypergeometric expression for the cyclotomic expansion of the colored Jones polynomial for the left-handed torus knot (2,2t+1). We use this to define a family of q-series, the simplest case of which is the generating function for strongly unimodal sequences. Special cases of these q-series are quantum modular forms, and at roots of unity, these are dual to the generalized Kontsevich-Zagier series introduced by the first author. This duality generalizes a result of Bryson, Pitman, Ono, and Rhoades. We also compute Hecke-type expansions for our family of q-series.
2010 MSC:11F37; 33D15; 57M27
Similar content being viewed by others
Introduction and statement of results
Several years ago, Zagier introduced quantum modular forms [30]. These are functions defined for \(z \in \mathbb {Q}\) (or equivalently, for q a root of unity, where q:=e 2πiz) which behave like modular forms. For g(z) to be quantum modular means that instead of requiring that \(g(z) - \chi (\gamma) \,(cz+d)^{-k} g\left (\frac {az+b}{cz+d}\right) = 0\) for \(\gamma = \left (\begin {smallmatrix} a & b \\ c & d \end {smallmatrix} \right) \in SL_{2}(\mathbb {Z})\)as with classical modular forms, we only ask that \(g(z) - \chi (\gamma) \, (cz+d)^{-k} g\left (\frac {az+b}{cz+d}\right)\) have ‘nice’ properties such as continuity or analyticity. The word quantum refers to the fact that these functions have ‘the ‘feel’ of the objects in perturbative quantum field theory’ (p. 659 of [30]). A celebrated example is the Kontsevich-Zagier series [29]
where we use the standard notation,
Note that F(q) does not converge on any open subset of , but it is well-defined at any root of unity.
Bryson et al. [9] recently established a relationship between F(q) and the generating function for strongly unimodal sequences,
Precisely, U(−1;q) is dual to F(q) at any root of unity ζ N =e2πi/N,
Note that, contrary to the Kontsevich-Zagier series F(q), the function U(x;q) converges for generic |q|<1. It should be remarked that the function U(−1;q) also plays a crucial role in studying a radial limit of a mock theta function of Ramanujan [11].
For other recent studies and interesting examples of quantum modular forms in number theory, combinatorics, knot theory, and Lie algebras, see e.g., [6-8,10,11,17,19,26,30].
This article is based on the observation that the identity (1.4) can be interpreted in terms of quantum topology as follows. We use the N-colored Jones polynomial J N (K;q) for a knot K, which is based on the N-dimensional representation of U q (s ℓ 2) (see e.g., [21]). Throughout this article, we use a normalization J N (unknot;q)=1. It is known that
where K ∗ is a mirror image of K. The colored Jones polynomial for the right-handed trefoil T (2,3) and the left-handed trefoil \(T_{(2,3)}^{*}\) may be, respectively, written as (see e.g., [12,20,24])
(Note that the series defining J N (T (2,3);q) and \(J_{N}\!\left (T_{(2,3)}^{*}; q\right)\) are in fact finite sums, terminating at n=N). Letting q=ζ N in (1.7) and \(q=\zeta _{N}^{-1}\) in (1.6) and appealing to (1.5), one finds the duality in (1.4).
Based on the colored Jones polynomial for the torus knot T (2,2t+1) at roots of unity, the first author [14] introduced a family of quantum modular forms generalizing F(q) (1.1),
Here \(\left [\!\begin {array}{c} n \\ k \end {array}\!\right ]_{q}\) is the usual q-binomial coefficient,
Note that when t=1, we recover the Kontsevich-Zagier series, F 1(q)=q F(q). Our purpose in this article is to use the perspective of quantum invariants to generalize U(x;q) and (1.4). As a dual to F t (q), we make the following definition.
Definition 1.1.
The generalized U-function U t (x;q) is defined by
This function is well-defined for |q|<1. When x=−1, it is also defined when q is a root of unity. Our first main result is the following generalization of (1.4).
Theorem 1.2.
Our second main result is a Hecke-type expansion for U t (x;q). (The case t=1 and x=−1 appears in [9].)
Theorem 1.3.
We have
The paper is constructed as follows. In the section ‘Bailey pairs and the colored Jones polynomial’, we review Bailey pairs and their relation to the colored Jones polynomial. In the section ‘The colored Jones polynomial for torus knots’, we study the colored Jones polynomial for the torus knot T (2,2t+1). In particular, we use the Bailey pair machinery to compute the coefficients of the cyclotomic expansion of \(J_{N}\!\left (T^{*}_{(2,2t+1)};q\right)\), which leads to Theorem 1.2. In the section ‘Hecke-type formulae’, we prove Theorem 1.3, again by using the Bailey machinery. In the section ‘The vector-valued case’, we extend Theorems 1.2 and 1.3 to the vector-valued setting. We close with some suggestions for future research and an appendix containing some examples.
Bailey pairs and the colored Jones polynomial
In this section, we review facts about Bailey pairs and their relation to the colored Jones polynomial.
First recall [2] that two sequences (α n ,β n ) form a Bailey pair relative to a if
or equivalently,
The Bailey lemma [2] states that if (α n ,β n ) is a Bailey pair relative to a then so is (α n′,β n′), where
and
In particular, if b,c→∞ then we have
and
Inserting (2.3) and (2.4) back in Definition (2.1) and letting n→∞, we have
Next, recall the cyclotomic expansion of the colored Jones polynomial due to Habiro [13]
where we have
The colored Jones polynomial J N (K;q) and the coefficients C n (K;q) defined in (2.8) can be regarded as a Bailey pair (α n ,β n ) relative to q 2. Namely, comparing Equations (2.8) and (2.2) we have (see also [13,16])
Equation (2.1) gives the inverse transform
The colored Jones polynomial for torus knots
For some knots K, explicit forms of J N (K;q) and/or C N (K;q) are known in the literature. For instance, when K is the right-handed torus knot T (s,t), where s and t are coprime positive integers, the colored Jones polynomial is given by [25,27]
Using difference equations, the first author [14] constructed a q-hypergeometric expression for J N (T (s,t);q) when s=2,
(See [18] for similar expressions for some other torus knots.) Comparing this with the generalized Kontsevich-Zagier series (1.8), we find that J N (T (2,2t+1);q) and F t (q) agree at roots of unity,
With (1.5) and (2.8) in mind, we see that to discover Definition 1.1 and prove Theorem 1.2, we need to compute the cyclotomic expansion of the colored Jones polynomial of the left-handed torus knot \(T_{(2,2t+1)}^{*}\). Recalling that the colored Jones polynomial for the mirror image K ∗ is given from that for K (1.5), we find from (3.1) that
Then, the coefficients C n in the cyclotomic expansion (2.8) are given from the inverse transform (2.11) as
In the following proposition, we give a q-hypergeometric expression for the coefficients \(C_{n}\!\left (T_{(2,2t+1)}^{*} ; q\right)\). We use the usual characteristic function
Proposition 3.1.
We have
Proof.
In light of Equations (3.5) and (2.1), we need to find β n′ such that (α n′,β n′) form a Bailey pair relative to 1, where
We require a result of the second author. Namely, in part (ii) of Theorem 1.1 of [23], let k=K=t, ℓ=t−1, and m=0. Then, (α n ,β n ) form a Bailey pair relative to 1, where
and
Let α n =−α n′+α n″= (3.9) + (3.10). To find β n″, we start with Equations (3.9) and (3.10) of [23], which state that
and
form a Bailey pair relative to 1. Using this Bailey pair with k=t and
we iterate Equations (2.5) and (2.6) t times. Then, \(\alpha _{n}^{*}\) becomes α n″ and
Taking β n′′−β n gives the expression for \(-q^{t-n}C_{n-1}\!\left (T_{(2,2t+1)}^{*}\right)\).
While the above proposition does furnish an attractive q-hypergeometric expression for \(C_{n}\!\left (T^{*}_{(2,2t+1)};q\right)\), it is not apparent that these coefficients are Laurent polynomials in q, as guaranteed by (2.9). This is made clear with the next proposition.
Proposition 3.2.
We have
Proof.
We recall the classical q-binomial identity,
Letting z=−z q a, N=b−a, and shifting n to n−a, we have the identity
Using this identity, we also have, for arbitrary c,
We may use the two identities (3.17) and (3.18) to transform (3.6) into (3.14) as follows. First, if n t+1=n t−1 then the sum in (3.6) vanishes, so we may assume n t+1>n t−1. The sum over n t is
and the second part of identity (3.18) then enables us to evaluate this sum, giving
We then set n t+1=n t−1+k 1, with k 1≥1. The sum over n t−1 is
and (3.17) allows us to evaluate this sum, resulting in
We continue in the same manner, next setting n t+2=n t−2+k 2, with k 2≥k 1, and we may then take the sum over n t−2 using (3.17). Iterating this process (taking the sum over n t−a after setting n t+a =n t−a +k a ), we arrive at (3.14). The expression in Equation (3.15) follows from the fact that
We are now prepared to prove the duality in Theorem 1.2.
Proof of Theorem 1.2. Comparing Equations (3.14) and (1.10), we see that
Therefore, by (2.8), U t (x;q) gives the colored Jones polynomial for \(T_{(2,2t+1)}^{*}\) when x=q N,
Combining (3.22) with (3.3) and (1.5) gives the statement of the theorem. \(\square \)
Hecke-type formulae
In this section, we prove Theorem 1.3 as well as a simpler formula when t=1.
Proof of Theorem 1.3. In Equations (2.5) and (2.6), we let a=1, b=1/c=x and apply α n′ and β n′=−q t−n C n−1 from the proof of Proposition 3.1. Recalling (3.21), we obtain
Letting n=(r+s+1)/2 and k=(r−s−1)/2 in each of the two final sums leads to the expression in (1.12). The expression in (1.13) follows upon expanding the term 1/(1−x q (r+s+1)/2) in (1.12) as a geometric series. \(\square \)
When t=1, we have the following Hecke-type double sum.
Theorem 4.1.
Proof.
To see this, we use the Bailey pair relative to q (Lemma 6 of [3]),
and
together with the fact that if (α n ,β n ) is a Bailey pair relative to a, then by Corollary 1.3 of [22] we have
This gives
Using (1−x 2r+1) to split the right-hand side into two sums and then replacing (r,n) by (−r−1,−n−1) in the second sum yields the result.
The vector-valued case
The first author [15] introduced and studied the modular properties of a family of q-series \(F_{t}^{(m)}(q)\), defined for 1≤m≤t by
The case m=1 corresponds to (1.8), \(F_{t}(q)=F_{t}^{(1)}(q)\).
He showed [15] that at the N-th root of unity we have
where the Bernoulli polynomial is \(B_{2}(x)=x^{2}-x+\frac {1}{6}\), and the periodic function is
This is a limiting value of the Eichler integral of a vector-valued modular form \(\Phi _{t}^{(m)}(\tau)\) with weight 1/2,
where as usual q=e2πiτ and (a,b,⋯ ;q) ∞ =(a) ∞ (b) ∞ ⋯. Note that these q-series appeared in the Andrews-Gordon identities [1], the t=2 case of which corresponds to the Rogers-Ramanujan identities. The quantum modularity of \(F_{t}^{(m)}(q)\) is given by
where \(z\in \mathbb {Q}\) and \(\phi _{t}^{(m)}(\tau) := q^{-t + \frac {(2t+1-2m)^{2}}{8(2t+1)}} \, F_{t}^{(m)}(q)\). See [15] for details.
In this section, we define q-series \(U_{t}^{(m)}(q)\) so that \(F_{t}^{(m)}\!\left (\zeta _{N}^{~-1}\right) = U_{t}^{(m)}(-1; \zeta _{N})\) (see Theorem 5.5) and we find the Hecke-type formulae for \(U_{t}^{(m)}(q)\) (see Theorem 5.6). We begin by defining an analogue of the colored Jones polynomial,
When m=1, this coincides with the colored Jones polynomial \(J_{N}^{(t,1)}(q)=J_{N}\!\left (T_{(2,2t+1)}^{*};q\right)\).
Proposition 5.1.
Proof.
The function \(J_{N}^{(t,m)}(q)\) is also written by use of the periodic function (5.3) as
At q→ζ N , we have
Using (5.3), the sum \(\sum _{k=0}^{2(2t+1)N}\) may be replaced with \(\frac {1}{2}\sum _{k=-2(2t+1)N}^{2(2t+1)N}\). Then the right-hand side is written as
Since \(\chi _{8t+4}^{(m)}(k-2(2t+1)) = - \chi _{8t+4}^{(m)}(k)\), we obtain
Recalling (5.2), the statement follows.
Next, we study a cyclotomic expansion for \(J_{N}^{(t,m)}(q)\),
Equation (2.11) shows that we have
We note that \(C_{n}^{(t,1)}(q) = C_{n}\!\left (T_{(2,2t+1)}^{*} ; q\right)\).
The next two propositions are generalizations of Propositions 3.1 and 3.2, respectively.
Proposition 5.2.
We have
Proof.
In light of Equation (5.10) and the definition of a Bailey pair (2.1), we need to find β n′ such that
The proof of this Bailey pair is exactly as in the proof of Proposition 3.1 but with ℓ=t−m instead of t−1.
Proposition 5.3.
We have
Proof.
The proof is similar to that of Proposition 3.2. We begin by treating the sum over n t , which is
Assuming for the moment that n t+1>n t−1, the second part of identity (3.18) enables us to evaluate this sum, giving
The rest of the proof is the same as the proof of Proposition 3.2. The only difference between Equations (3.19) and (5.16) is that the latter contains the term \(q^{-\sum _{i=1}^{t-m} n_{i}}\) instead of the term \(q^{-\sum _{i=1}^{t-1} n_{i}}\), which results in (5.13) instead of (3.14).
Now, suppose that n t+1=n t−1. The sum (5.15) on n t is trivial and reduces to
This corresponds to k 1=0, and the sum on n t−1 is then
If n t−2=n t+2 then we collapse the sum again and obtain k 2=0, continuing in this way until n t+a >n t−a , and then applying (3.17) and arguing as usual. Note that if n t+m =n t−m then the sum vanishes, so we have k m ≥1.
Using the expression for \(C_{n}^{(t,m)}(q)\), we are now prepared to generalize Definition 1.1.
Definition 5.4.
The generalized U-function \(U_{t}^{(m)}(x;q)\) is defined by
By construction, \(U_{t}^{(m)}(-1;q)\) is dual to \(F_{t}^{(m)}(q)\) as follows.
Theorem 5.5.
Proof.
We have \(J_{N}^{(t,m)}(q) = U_{t}^{(m)}(-q^{N}; q)\) from (5.9); thus, we get
With the help of (5.7), we get (5.20).
We end this section with the Hecke-type formula for \(U_{t}^{(m)}(x;q)\). These follow just as those for U t (x;q) in Theorem 1.3, using the Bailey pair in Proposition 5.2 in place of the Bailey pair in Proposition 3.1.
Theorem 5.6.
Concluding remarks
In this paper, we have studied a family of quantum modular forms U t (−1;q) based on the colored Jones polynomial for the torus knot T (2,2t+1). We have extended the duality between U 1(−1;q) and F 1(q) to general t and determined a Hecke-type expansion for U t (x;q). We have further generalized these results to the vector-valued setting.
We close with two remarks.
First, in [4,9] the modular transformation formula was given for U 1(−1;q) for a generic q, based on an expression for U 1(x;q) in terms of the Appell-Lerch series in [4]. The expression in terms of the Appell-Lerch series also shows that U 1(x;q) is a mixed mock-modular form for generic roots of unity x≠−1 and a mock theta function when x=±i. Similar results may hold in the general case, and it is to be hoped that the Hecke series expansions established in this paper will turn out to be useful for determining modular transformation formulae for \(U_{t}^{(m)}(x;q)\) for a generic q and for x a root of unity. For now, we only know that by Theorem 5.5, \(U_{t}^{(m)}(-1;q)\) fulfills (5.5) when q is a root of unity.
Second, both U 1(x;q) and F 1(q) are interesting combinatorial generating functions. The two-variable function U 1(x;q) can be interpreted in terms of strongly unimodal sequences and their ranks [7,9], while F 1(1−q) is the generating function for certain linearized chord diagrams [29] (as well as a number of other objects - see A022493 of [28] for an overview with references.) Moreover, there are many nice congruences for the coefficients of F 1(1−q) [5] and U 1(1;q) [9]. The generalized \(U_{t}^{(m)}(x;q)\) and \(F_{t}^{(m)}(1-q)\) may have interesting combinatorial interpretations and congruence properties as well.
Appendix
A Examples: t=2 and 3
Here, we record the set of generalized Kontsevich-Zagier series \(F_{t}^{(m)}(q)\) and generalized U-functions \(U_{t}^{(m)}(x;q)\) for t=2 and 3.
When t=2, the set of generalized Kontsevich-Zagier series is
The dual U-functions, satisfying \(F_{2}^{(m)}\!\left (\zeta _{N}^{~ -1}\right)= U_{2}^{(m)}(-1; \zeta _{N})\), are given by
When t=3, the set of generalized Kontsevich-Zagier series is
The dual U-functions, satisfying \(F_{3}^{(m)}\!\left (\zeta _{N}^{~ -1}\right)= U_{3}^{(m)}(-1; \zeta _{N})\), are given by
References
Andrews, GE: An analytic generalization of the Rogers-Ramanujan identities for odd moduli. Proc. Natl. Acad. Sci. USA. 71, 4082–4085 (1974).
Andrews, GE: Multiple series Rogers-Ramanujan type identities. Pacific J. Math. 114, 267–283 (1984).
Andrews, GE: Bailey chains and generalized Lambert series: I. Four identities of Ramanujan. Illinois J. Math. 36, 251–274 (1992).
Andrews, GE, Rhoades, RC, Zwegers, SP: Modularity of the concave composition generating function. Algebra Number Theory 7, 2103–2139 (2013).
Andrews, GE, Sellers, JA: Congruences for the Fishburn numbers. J. Number Theory. to appear.
Bringmann, K, Creutzig, T, Rolen, L: Negative index Jacobi forms and quantum modular forms. Res. Math. Sci. to appear. arXiv:1401.7189 [math.NT].
Bringmann, K, Folsom, A, Rhoades, R: Unimodal sequences and “strange” functions: a family of quantum modular forms. Pacific J. Math. to appear.
Bringmann, K, Rolen, L: Half-integral weight Eichler integrals and quantum modular forms. preprint, arXiv:1409.3781 [math.NT].
Bryson, J, Ono, K, Pitman, S, Rhoades, RC: Unimodal sequences and quantum and mock modular forms. Proc. Natl. Acad. Sci. 109, 16063–16067 (2012).
Choi, D, Lim, S, Rhoades, RC: Mock modular forms and quantum modular forms (2014). preprint.
Folsom, A, Ono, K, Rhoades, RC: Mock theta functions and quantum modular forms. Forum Math. Pi 1, 27 (2013).
Habiro, K: On the colored Jones polynomial of some simple links. RIMS Kokyuroku 1172, 34–43 (2000).
Habiro, K: A unified Witten–Reshetikhin–Turaev invariant for integral homology sphere. Invent. Math. 171, 1–81 (2008). arXiv:math/0605314.
Hikami, K: Difference equation of the colored Jones polynomial for the torus knot. Int. J. Math. 15, 959–965 (2004). arXiv:math/0403224.
Hikami, K: q-series and L-functions related to half-derivatives of the Andrews–Gordon identity. Ramanujan J. 11, 175–197 (2006). arXiv:math/0303250.
Hikami, K: Hecke type formula for unified Witten–Reshetikhin–Turaev invariant as higher order mock theta functions. Int. Math. Res. Not. IMRN 2007, rnm022–32 (2007).
Hikami, K, Kirillov, AN: Torus knot and minimal model. Phys. Lett. B 575, 343–348 (2003). arXiv:hep-th/0308152.
Hikami, K, Kirillov, AN: Hypergeometric generating function of L-function, Slater’s identities, and quantum knot invariant. Algebra i Analiz 17, 190–208 (2005). arXiv:math-ph/0406042.
Lawrence, R, Zagier, D: Modular forms and quantum invariants of 3-manifolds. Asian J. Math. 3, 93–107 (1999).
Le, TTQ: Quantum invariants of 3-manifolds: integrality, splitting, and perturbative expansion. Topology Appl. 127, 125–152 (2003). arXiv:math/0004099.
Lickorish, WBR: An Introduction to Knot Theory, vol. 175 of Graduate Texts in Mathematics. Springer, New York (1997).
Lovejoy, J: Ramanujan-type partial theta identities and conjugate Bailey pairs. Ramanujan J. 29, 51–67 (2012).
Lovejoy, J: Bailey pairs and indefinite quadratic forms. J. Math. Anal. Appl. 410, 1002–1013 (2014).
Masbaum, G: Skein-theoretical derivation of some formulas of Habiro. Algebraic Geometric Topology 3, 537–556 (2003).
Morton, HR: The coloured Jones function and Alexander polynomial for torus knots. Proc. Cambridge Philos. Soc. 117, 129–135 (1995).
Ngo, TH, Rhoades, RC: Integer partitions, probabilities and quantum modular forms (2014). preprint.
Rosso, M, Jones, V: On the invariants of torus knots derived from quantum groups. J. Knot Theory Ramifications 2, 97–112 (1993).
Sloane, NJA: The On-Line Encyclopedia of Integers Sequences. http://oeis.org. Accessed on 27/11/2014.
Zagier, D: Vassiliev invariants and a strange identity related to the Dedekind eta-function. Topology 40, 945–960 (2001).
Zagier, D: Quantum modular forms. In: Blanchard, E, Ellwood, D, Khalkhali, M, Marcolli, M, Moscovici, H, Popa, S (eds.)Quanta of Maths, vol. 11 of Clay Mathematics Proceedings, pp. 659–675. Amer. Math. Soc., Providence (2010).
Acknowledgements
KH thanks S. Zwegers for discussions. He also thanks the organizers of ‘Lectures on q-Series and Modular Forms’ (KIAS, July 2013), ‘Modular Functions and Quadratic Forms - number theoretic delights’ (Osaka University, December 2013), ‘Low Dimensional Topology and Number Theory’ (MFO, August 2014). The work of KH is supported in part by JSPS KAKENHI Grant Number 23340115, 24654041, 26400079.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that there are no competing interests.
Authors’ contributions
Both KH and JL carried out the research and wrote the manuscript. Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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.
About this article
Cite this article
Hikami, K., Lovejoy, J. Torus knots and quantum modular forms. Res Math Sci 2, 2 (2015). https://doi.org/10.1186/s40687-014-0016-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40687-014-0016-3