Abstract
We consider the matrix model of U(N) refined Chern–Simons theory on \(S^3\) for the unknot. We derive a q-difference operator whose insertion in the matrix integral reproduces an infinite set of Ward identities which we interpret as q-Virasoro constraints. The constraints are rewritten as difference equations for the generating function of Wilson loop expectation values which we solve as a recursion for the correlators of the model. The solution is repackaged in the form of superintegrability formulas for Macdonald polynomials. Additionally, we derive an equivalent q-difference operator for a similar refinement of ABJ theory and show that the corresponding q-Virasoro constraints are equal to those of refined Chern–Simons for a gauge super-group U(N|M). Our equations and solutions are manifestly symmetric under Langlands duality \(q\leftrightarrow t^{-1}\) which correctly reproduces 3d Seiberg duality when q is a specific root of unity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the seminal paper [1], Witten gave a gauge field theory construction of the celebrated Jones polynomials for knots and links in three dimensions using the path integral of Chern–Simons (CS) theory. Since then many generalizations of this important result have been worked out, both from the mathematical side, by defining knot (co)homologies that give categorifications of the knot polynomials, and also from the physics side where people have been able to compute exactly some BPS observables in certain supersymmetric versions of CS theory by using localization techniques.
Aganagic and Shakirov [2] used a deformation of the Verlinde ring of \({\widehat{su}}(N)_k\) to give a new physical interpretation for certain refined knot invariants that were previously constructed using homological methods in [3]. More specifically, using M-theory they conjectured a new type of “refined” gauge theory in 3 dimensions whose Wilson-loop observables can be identified with the Poincaré polynomials of Khovanov–Rozansky HOMFLY homology [4, 5]. Their new theory can be seen as a deformation of CS gauge theory known as refined Chern–Simons (rCS) which depends on two parameters q and t that appear in the definition of the modular S and T matrices. In the case of usual CS these matrices are written in terms of characters of the gauge group, which in the case of U(N) are Schur symmetric polynomials. In the refined theory one substitutes Schur polynomials with their q, t deformation known as Macdonald polynomials which are known to play an important role in the theory of symmetric functions and in representation theory as well.
In their paper they also gave a matrix model definition of the partition function of rCS on \(S^3\) arguing that (unknot) Wilson-loop observables are given by averages of Macdonald functions inside of the matrix integral. This matrix model falls into the category of q, t-deformed matrix models for which it was shown there exists an action of the deformed Virasoro algebra [6] in the form of Ward identities known as q-Virasoro constraints [7].
In this paper we explicitly derive the q-Virasoro constraints for the matrix model of rCS theory on \(S^3\) by making use of insertions of certain finite difference operators acting on the integration variables of the matrix integral. The constraints that we derive can be rewritten as a system of infinitely many linear relations between the correlators of the model which in turn can be packaged into some difference equations for the generating function of the matrix model expectation values.
An explicit analysis of these equations reveals that they can be integrated completely to give a full solution of the model in terms of normalized correlation functions, which is equivalent to the statement that the relations between these correlators form a recursion which is determined uniquely by the initial data provided by the empty correlator, which is identified with the partition function itself. Computing the solution up to some finite order we are able to conjecture a closed formula for the average of Macdonald characters, and we find that it can be nicely written in terms of the same characters evaluated at some specific locus. This shows that rCS matrix model enjoys a property know as superintegrability similarly to what was shown to happen for other q, t-deformed matrix models [8].
Similarly to the case of ordinary unitary gauge groups U(N), one can also define CS theory for unitary super-groups U(N|M) and in fact there exists a refinement deformation of this super-group gauge theory as well. This theory coincides with the refinement of the ABJ theory of [9, 10]. The corresponding matrix model is therefore the supersymmetric generalization of the rCS one and we show that it also admits an action of the q-Virasoro algebra. Moreover, we show that the constraints can be written in the same way as those of rCS once we substitute the rank N with the effective rank \(N-\tfrac{\log q}{\log t}M\). By using this observation, it follows that the constraints in the two cases have essentially the same solution up to the choice of overall normalization and rank.
Finally, we show that the refined matrix model representation of the q-Virasoro algebra admits a non-trivial involution which exchanges \(q\leftrightarrow t^{-1}\) known under the name of quantum q-geometric Langlands duality, and it acts non-trivially on the correlators in such a way that the full (normalized) generating function is left invariant. The physical interpretation of such a symmetry can be traced back to a 3d version of Seiberg duality which for pure CS reduces to the well-known level-rank duality of the representation ring of \({\widehat{u}}(N)_k\).
2 Refined Chern–Simons matrix model
We start by recalling the definition of the refined CS matrix model as given in [2, 11]. The refinement is obtained by introducing a specific \(\beta \)-deformation of the standard CS matrix model of [12, 13] on the 3-sphere.
2.1 The partition function
The theory is described by the following data: the CS level \(k\in {\mathbb {Z}}\), the gauge group which in our case we take to be U(N) so that the rank and the dual Coxeter number are both N. Additionally one can consider introducing a Fayet–Iliopoulos (FI) term \(\nu \) for the U(1) center of the gauge group.
The unknot partition function of unrefined CS is given by the Stieltjes–Wigert matrix integral
where in the second line we adopted the change of variables \(z_i=\log x_i\). The matrix integral depends explicitly on the rank N of the matrices but also on a complex parameter q which appears in the denominator of the potential function. In order to identify the matrix model partition function with the gauge theory partition function, one usually assumes that q is of the form
however, we observe that the matrix integral, when convergent, can be regarded as a well-defined function over the complex plane and not just at roots of unity.
The refinement of CS theory corresponds to a specific type of deformation of the matrix integral (2.1), where one substitutes the classical Vandermonde measure with a q, t-analogue of it, i.e. the function
where \((x;q)_\infty = \prod _{n=0}^\infty (1-q^n x)\) is the q-Pochhammer symbol. The refined partition function can then be written as
where the potential V(x) is given by the function
which now also includes an arbitrary FI term proportional to \(\log x_i\). When \(t=q\) (i.e. \(\beta =1\)) the function \(\Delta _{q,t}(x)\) reduces to the CS measure \(\prod _{i\ne j}(1-x_i/x_j)\) and the partition function in that limit can be identified with the integral in (2.1) provided we choose the FI parameter as \(\nu =-N\). For later convenience we also introduce the additional parameters
The matrix integral (2.4) depends now on the parameters q and t (and r) which we regard as arbitrary complex numbers. As before, the identification with the refined gauge theory requires that we choose specific values for these parameters compatible with the fact that the S and T matrices provide a unitary representation of \(SL(2,{\mathbb {Z}})\) on the Hilbert space of a 2-torus. This happens when q and t are given by
which is the refinement of the relation (2.2); however, we remark that the matrix model itself does make sense for arbitrary q and t.
Remark
The partition function \(Z_N^{{\mathrm {rCS}}}(q,t)\) is a convergent integral over the positive real line provided \(|q| > 1\). This can be seen most easily in the variables \(z_i=\log x_i\) in which case we have a convergent real Gaussian integral over the contour \({\mathcal {C}}={\mathbb {R}}\). For \(|q|\le 1\) the integrand does not fall-off at infinity on the real line; however, one can make the integral convergent by modifying the integration contour. For instance, for \(|q|=1\) one should rotate the contour slightly off the real axis while for \(|q|<1\) one can take \({\mathcal {C}}={{\,\mathrm{i}\,}}{\mathbb {R}}\). Furthermore, one can even substitute the Riemann integral \(\int {{\,\mathrm{d}\,}}x_i\) with the discrete Jackson integral \(\int {{\,\mathrm{d}\,}}_q x_i\) without affecting the derivation of the q-Virasoro constraints as discussed in [14]; however, we do not have intuition for a physical theory that would give rise to such a “discrete” matrix model.
The partition function of the refined matrix model computes the vacuum matrix element of the product TST
where S and T are Macdonald deformations of the Kac–Peterson modular matrices, first introduced in [15, 16]. This matrix element corresponds to the path integral of rCS theory on \(S^3\) with no Wilson loops.
As argued in [2, 11], given a representation \(R_\lambda \) of the gauge group U(N) one can compute the insertion of the corresponding unknot Wilson loop operator by inserting the corresponding character in the matrix integral in (2.4). In the unrefined case, the U(N) characters are given by Schur polynomials in the integration variables \(\{x_i\}\), while in the refined case these are substituted by Macdonald symmetric polynomials \({{\,\mathrm{McdP}\,}}_\lambda (x;q,t)\) or \({{\,\mathrm{McdQ}\,}}_\lambda (x;q,t)\) (see “Appendix A). The corresponding entry of the modular TST-matrix then computes the Macdonald expectation value
and similarly for \({{\,\mathrm{McdQ}\,}}_\lambda \) using (A.15). Observe that the Wilson loop wraps around the non-contractible cycle of one of the two solid tori that glue to give the 3-sphere. Moreover, one can interpret the action of the T-matrix as shifting the framing of the unknot by 1 unit.
Similarly, one can compute the rCS path integral of an Hopf link by evaluating the expectation value of the product of two Macdonald polynomials; however, in this paper we will mostly focus on the unknot partition function.
2.2 Generating function of correlators
The correlation functions of the matrix model are the expectation values of products of power-sums \(p_n(x)=\sum _{i=1}^N x_i^n\) (see “Appendix A”),
where \(\lambda =[\lambda _1,\dots ,\lambda _N]\) is an integer partition of length at most N. It is useful to repackage all the correlators \(c_\lambda \) into a generating function. A natural way to do this is to take the expectation value of the generating function of all power-sums
with
and \(z_\lambda (q,t)\) defined as in (A.13). The function \(\Pi (x,\mathbf{t},q,t)\) is a formal power series in the auxiliary variables \(\mathbf{t}=\{t_1,t_2,\dots \}\) which are usually called higher times. If we regard the higher times \(t_n\) as the power-sums of a second set of independent variables, then \(\Pi (x,\mathbf{t},q,t)\) can be interpreted as the reproducing kernel for the Macdonald inner product \((\cdot ,\cdot )_{q,t}\) on the ring of symmetric functions \(\Lambda _{q,t}\).
The generating function of all correlators is defined as
Observe that because \(\Pi (x,\mathbf{t};q,t)\) is a reproducing kernel, then the following identity holds
where \(t_n^\perp \) is the adjoint of multiplication by \(t_n\), defined by
With these definitions we can then write all correlators as
Moreover, the operators of multiplication by times \(t_n\) and their adjoints \(t_n^\perp \) form an Heisenberg algebra with generators
and commutation relations
2.3 q-Virasoro constraints
The q-Virasoro constraints for the matrix model in (2.4) can be obtained by introducing an appropriate finite difference operator in the integral of the generating function. As in the case of the classical Virasoro constraints, the insertion of the difference operator leads to a vanishing integral even though the integrand itself is not identically zero. Rewriting the integral as a linear combination of correlators gives a non-trivial set of relations between these functions.
In order to define the difference operator appropriate for the rCS matrix model we first introduce the shift operator
which acts by rescaling the variable \(x_i\) by the factor q. Next we define the q-derivative by
and finally we can define our difference operator as
where
is an auxiliary functionFootnote 1 that satisfies
The \(q\)-Virasoro constraint is obtained by inserting the q-difference operator \({\mathcal {D}}_m\) inside the integral in (2.4). A generalization of Stokes’ theorem then states that the integral of a total q-derivative vanishes (provided there are no boundary contributions). The resulting equation can be written as
Here we define the operator \({\mathbb {D}}_m^V\) by
This is a discrete family of deformations of the Macdonald operator \(D^1_N=\sum _{i=1}^N A_i(x;t)T_{q,x_i}\) (also known as the Hamiltonian of the trigonometric Ruijsenaars–Schneider system), which depends non-trivially on the choice of potential V(x). As a special case, when V(x) is q-constant then we have
However, the physically interesting case is when the potential is of the form (2.5) so that
which is equivalent to the statement that the potential function \({{\,\mathrm{e}\,}}^{-V(x)}\) can be thought of as a meromorphic section of a line bundle of degree 1 over the elliptic curve \({\mathbb {C}}^\times /q^{\mathbb {Z}}\).
If the difference operator \({\mathbb {D}}^V_m\) acts on the kernel \(\Pi (x,\mathbf{t};q,t)\) as multiplication by a symmetric function in the \(\{x_i\}\), then one can use the identity (2.14) to define a formal adjoint of \({\mathbb {D}}^V_m\). This is indeed possible for \(m>0\), in which case we define the formal adjoint of \({\mathbb {D}}^V_m\) as the differential operator in times given byFootnote 2
The q-Virasoro constraints then can be rewritten as a set of linear differential equations for the generating function \(Z^{{\mathrm {rCS}}}_N(\mathbf{t};q,t)\), namely
for all \(m>0\). The integrand in (2.28) can be identified with the generating function of all the constraints and it is closely related to the generating current T(z) of q-Virasoro. We refer the reader to Appendix C of [8] for a detailed discussion on the relation between the q-Virasoro constraint generators \(({\mathbb {D}}_m^V)^\perp \) and the generators of the q-Virasoro algebra.
Observe that the factor of z appearing in the beginning of the second line of (2.28) is due to the variation of the CS potential (2.27) and it induces a shift in degree in the power series expansion in z. More explicitly, after taking the residue in z, the operator \({\mathbb {D}}^V_m\) becomes the sum of two pieces: the first is a differential operator of degree m while the second is of degree \(m-1\) in the higher times. This shift in degree is precisely what will allow us in the next section to establish a recursion on the correlators \(c_\lambda \).
2.4 Recursive solution
In this section we set out to solve the constraints in (2.29). The first step is to evaluate explicitly the contour integral in (2.28),
where \(h_m\) and \(e_m\) are the complete homogeneous and elementary symmetric functions of degree m, respectively, which we think of as polynomials in the power-sums \(p_n\) as in (A.9).
Assuming the series expansion of \(Z_N^{\mathrm {rCS}}(\mathbf{t};q,t)\) as in (2.13), we can let all the differential operators \(t^\perp _n\) act on the monomials in times and the constraint becomes a linear system for the coefficients \(c_\lambda \). In particular, this system is triangular w.r.t. a certain ordering on the partitions and the solution is unique up to overall normalization specified by the initial data \(c_{\emptyset } := \langle 1\rangle = Z_N^{{\mathrm {rCS}}}(0;q,t)\), i.e., the empty correlator. The proof goes along the lines of the one described in [8].
Solving the recursion explicitly in degree 1 and 2 we get the following values for the correlators
Similarly one can plug (2.30) into a computer algebra system and compute all correlators \(c_\lambda \) up to arbitrarily high degree of the partition \(\lambda \). While this solution is fully explicit and straightforward to compute, it is not very illuminating. In Sect. 2.5 we discuss a more systematic way to express the solution to the constraints.
2.5 Averages of Macdonald polynomials
By using the explicit solution derived in Sect. 2.4 we can now ask what is the expectation value of a Macdonald polynomial in representation \(R_\lambda \). Using the fact that Macdonald symmetric functions admit an expansion into power-sums we can easily rewrite any Macdonald expectation value as a linear combination of the correlators \(c_\lambda \) that we already computed. Computer experiments then suggest that the following formula should hold
which we checked for all partitions up to \(|\lambda |\le 6\). This is a special case of a property of certain matrix models called superintegrability first observed in [18,19,20,21]. Superintegrability for q, t-deformed matrix models was later conjectured in [22] and in [8] its was explicitly checked (up to some finite order) using the solution of the corresponding q-Virasoro constraints.
The last factor on the right of (2.32) is the well-known Macdonald dimension of the representation \(R_\lambda \),
where
is the Weyl vector of U(N) and we can write
where \(\alpha >0\) are the positive roots of U(N) and \(\alpha \cdot \lambda \) is the inner product defined in (A.7). Observe that the second equality in (2.35) only makes sense for \(\beta \in {\mathbb {N}}\).
The fractional term on the right of (2.32) is instead a power of q which for q a root of unity is just a complex phase. More precisely, a direct computation shows that (2.32) becomes
Fixing the FI parameter as \(r=t^{-N}p^{-1}\) we precisely obtain that the overall phase corresponds to a framing factor of 1 unit
where \(T_\lambda \) is the eigenvalue of the modular T-matrix corresponding to the representation \(R_\lambda \).
Fixing instead \(r=t^{-N}q^{-1}\) we get the identity
where the r.h.s. now matches with the result of [2] (\({\varvec{\delta }}\) is the staircase partition of (A.4)).
Because Macdonald polynomials are a complete basis of the ring of symmetric functions in the \(\{x_i\}\), we can use formula (2.32) to compute expectation values of all possible observables of the model. In particular, we can give a full solution for the generating function by expanding in Macdonald polynomials (as opposed to power-sum polynomials) as
where we used the Cauchy–Littlewood identity (A.17). This is usually referred to as character expansion of the generating function.
As a last application of the superintegrability formula (2.32) we compute a closed formula for the generating function of averages of symmetric Macdonald polynomials. If we set \(t_n=y^n\) for some formal variable y, we obtain that the kernel \(\Pi (x,\mathbf{t};q,t)\) reduces to the generating function of symmetric Macdonald polynomials
therefore
which is the unique solution (up to normalization) to the q-difference equation
Observe that the previous equation at \(r=p^{-1}t^{-N}\) (i.e., framing 1) matches the quantum mirror curve equation of the resolved conifold (see [23, 24])
for
which is expected by arguments of large N dualities with Gromov–Witten theory. Because Eq. (2.42) is a corollary of the q-Virasoro constraints, this seems to suggest an interpretation of the constraints in terms of topological recursion formulas as well.
2.6 Symmetries of the constraints
We now consider the operators (2.28) and study their symmetries which will imply symmetries of the solution.
2.6.1 Langlands duality
It is well known that q, t-deformed models enjoy a non-perturbative symmetry associated with the exchange of q and \(t^{-1}\) which is known as “quantum q-geometric” Langlands duality [25,26,27]. To show that our q-Virasoro constraints satisfy this symmetry we define the involution \({{}^{\mathrm {L}}\omega }\) as
and one can check that \(({{}^{\mathrm {L}}\omega })^2={{\,\mathrm{Id}\,}}\). We can extend the action of the involution to the full generating function by imposing that the times transform as well, with the rule
so that the q-Virasoro operators become invariant under Langlands duality,
This implies that the normalized solution to the constraints must also be invariant under the duality.Footnote 3 More precisely, we can write
Observe that for arbitrary complex values of \(\beta \), the dual theory has rank \(-\beta N\) which generically is not a positive integer. Clearly the matrix model of this theory is not well-defined since the rank should correspond to the number of eigenvalues \(x_i\). Nevertheless, the q-Virasoro constraints are well-defined for any complex value of the rank; hence, the generating function in the r.h.s. of (2.48) does make sense as a formal power series solution to the constraints. In other words, one can compute the correlators for integer values of the rank and then analytically continue their expression over the whole complex plane.
Remark
As a special case of the identity (2.48), we can choose the \(\beta \)-parameter in such a way that the rank of the model on the right becomes 1. Namely, we can fix the value of \(\beta \) as
so that we obtain the “universal” relation
Moreover, in rank \(N=1\) the solution is particularly simple,
where we can evaluate the momentum \(\langle x^m\rangle \) explicitly by the integral
2.6.2 Duality at root of unity
Another interpretation of the symmetry of the operators \(({\mathbb {D}}^V_m)^\perp \) comes from restricting to the physical region of parameters where q, t are roots of unity as defined in (2.7). It is known that the q-Virasoro algebra at root of unity degenerates to a simpler algebra related to parafermions [28,29,30,31]. We do not pursue this avenue here; however, we remark that in this region of parameters the Langlands duality reduces to 3d Seiberg duality for pure CS theories, which also coincides with level-rank duality (see [32] for a discussion of dualities in unrefined CS). The identification holds provided we assume the identityFootnote 4
which follows from (2.7). For this choice of parameters we have
so that formally we can modify the involution to act as
therefore, Langlands duality maps refined CS theories as
From (2.53) it also follows that rCS theory has an additional discrete \({\mathbb {Z}}\)-symmetry corresponding to shifts of the rank N of the form
with
It would be interesting to find a physical motivation that might explain this discrete symmetry, perhaps via some string/M-theory construction.
2.7 Harer–Zagier formulas
Matrix models that possess the superintegrability property described in Sect. 2.5 often have simple formulas that express the expectation value of single trace operators. In our language, these are the correlators whose partition is of length one, i.e., those of the form \(c_{[n]}=\langle p_n\rangle \). Knowledge of a closed formula for such correlators can be very important because they are the coefficients of the series expansion of the 1-point resolvent of the model. It is believed that in models that exhibit superintegrability the (Laplace transforms of) single-trace correlators \(c_{[n]}\) are rational functions with zeroes and poles at powers of q [34, 35], and these formulas are usually called Harer–Zagier (HZ) formulas [36].
While giving an analytic derivation of such HZ formulas can be quite complicated, guessing the actual form of the result can be done more easily. In this section we conjecture a formula of HZ-type for the CS matrix model when the refinement parameter \(\beta \) is set to 1 (i.e. \(t=q\)). First, we conjecture the following closed formula for 1-point correlators (see also Proposition 1.1 of [37])
where \({\mathcal {P}}_n^{(\alpha ,\beta )}(z;q)\) is a little q-Jacobi polynomial defined as
The appearance of basic hypergeometric series is not surprising as we already noticed that symmetric correlators do re-sum into a generalized basic hypergeometric series as in (2.41).
It is then useful to consider the discrete Laplace transform of this formula w.r.t. the rank N. The transform takes the form of a generating functionFootnote 5
where now we can observe that the r.h.s. is indeed a rational function of \(\lambda \) with zeroes and poles at integer powers of q. It would be interesting to derive a similar formula for the refined correlators at \(t\ne q\).
3 Refined ABJ matrix model
The ABJ matrix model of [10, 38, 39] admits a similar refinement deformation as that of the CS matrix model. The partition function of ABJ theory can be expressed as a matrix integral over two sets of independent variables \(\{x_i\}_{i=1}^N\) and \(\{y_a\}_{a=1}^M\) which can be interpreted as the eigenvalues of an Hermitean super-matrix in the Lie super-algebra of U(N|M). The usual Vandermonde determinant in the measure is first substituted by the Cauchy determinant and then q, t-deformed to the function (see [40,41,42])
The potential of the model is also modified in order to account for the second set of \(\{y_a\}\) variables and we write it as
so that the first set of eigenvalues \(x_i\) has coupling \(\log q\) while the eigenvalues \(y_a\) have coupling \(\log t^{-1}\). (The FI parameters are also related in such a way as to preserve symmetry under Langlands duality.) Observe that this is the refinement deformation of the usual statement that, if we regard ABJ theory as a quiver gauge theory with two nodes U(N) and U(M), then the two CS levels must be opposite to each other.Footnote 6
Expectation values of gauge invariant operators are given by averages of symmetric functions in the eigenvalues \(\{x_i\}\) and \(\{y_a\}\). In the following we restrict ourselves to those symmetric functions which can be written as polynomials in the deformed power-sums of [41] (see also [44]), defined as
The reproducing kernel which gives the generating function of such deformed power-sums is the function
which can be obtained from (2.11) by substituting \(p_n(x)\) with \(p_n(x,y)\). It follows that
Finally, we can write down the generating function of the rABJ matrix model as
As already mentioned, in the unrefined limit \(t=q\) the measure \(\Delta _{q,t}(x,y)\) reduces to a Cauchy determinant and one ends up with the usual matrix model for the ABJ theory which is the super-group version of (2.1) (see [39] for details). Moreover, it is evident from the definitions that the rABJ matrix model contains rCS as the special case \(M=0\), i.e.
Remark
Convergence of the matrix integral for the rABJ partition function requires a careful choice of contour of integration depending on the values of the parameters q and t. In the following we assume that such a choice of contour always exists; however, we do not write down the definition of the contour explicitly as it is known that q-Virasoro constraints are independent of such choice. Moreover, as for the case of rCS, one could even define a discrete version of the rABJ model using the substitutions \(\int {{\,\mathrm{d}\,}}x_i \mapsto \int {{\,\mathrm{d}\,}}_q x_i\) and \(\int {{\,\mathrm{d}\,}}y_a \mapsto \int {{\,\mathrm{d}\,}}_{t^{-1}}y_a\), which would satisfy the same set of q-Virasoro constraints.
3.1 q-Virasoro constraints
In order to derive the appropriate q-Virasoro constraints for the rABJ model we need to find a generalization of the difference operator \({\mathcal {D}}_m\) in (2.21) which acts both on the \(x_i\) variables and on the \(y_a\) variables. The fact that these two sets of variables have different couplings q and \(t^{-1}\), respectively, suggests that their shifts should also be different. By using the symmetry under the exchange of \(x_i\leftrightarrow y_a\) and \(q\leftrightarrow t^{-1}\) we are lead to define the operators
where
We now show that this are the correct difference operators to derive the rABJ generalization of the q-Virasoro constraints. First, we observe that the functions \(A_i(x,y;q,t)\) and \(B_a(x,y;q,t)\) satisfy
and
With some straightforward algebraic manipulations we can rewrite the constraints as
where
which reduces to (2.25) when \(M=0\). One should also notice that for \(m=0\) and V(x, y) constant under \(x_i\rightarrow qx_i\) and \(y_a\rightarrow t^{-1}y_a\), the operator \({\mathbb {D}}_0^V\) can be written in terms of the deformed Macdonald–Ruijsenaars operator of [45].
The last step of the derivation consists in computing the formal adjoint of the operators \({\mathbb {D}}_m^V\) using (3.5), and we find
so that the constraints become
A couple of observations are in order. First, we remark that the operator in (3.15) can formally be obtained from (2.28) via the substitution
so that we can use the q-Virasoro constraints to argue that there exists an equivalence between rABJ theory for the super-group U(N|M) and rCS for \(U(N-\frac{1}{\beta }M)\). The precise statement of this equivalence is given by the identity
between normalized rCS and rABJ generating functions. Because the q-Virasoro constraints in rCS are completely solvable (up to overall normalization), it follows that the rABJ generating function is also uniquely defined by q-Virasoro. Moreover, because the operators (3.15) and (2.28) coincide up to redefinition of the rank, it follows that they satisfy the same algebraic relations, i.e. those given by the q-Virasoro algebra.
As a second observation we can ask the following question: given some specific values of \(\beta \) and \(N_{\mathrm {eff}}\), are there two integers \(N,M\) such that \(N_{\mathrm {eff}}=N-\frac{1}{\beta }M\)? If this is the case, then we can use the correspondence in (3.18) to define rCS theory for non-integer rank \(N_{\mathrm {eff}}\) (which does not make sense as an honest matrix model) by instead computing the generating function of rABJ theory with integer ranks N, M as in the r.h.s. of (3.17).
We will now provide a full answer to this question in the case that \(\beta \in {\mathbb {Q}}\). Let \(\beta =-\frac{\epsilon _2}{\epsilon _1}\) where \(\epsilon _1,\epsilon _2\in {\mathbb {Z}}\) and we can assume without loss of generality that \(\gcd (\epsilon _1,\epsilon _2)=1\). We want to find \(N,M\in {\mathbb {Z}}\) such that
If \(N_{\mathrm {eff}}\in {\mathbb {Z}}\) we can just take \(N=N_{\mathrm {eff}}\) and \(M=0\). If \(N_{\mathrm {eff}}\) is not integer then the previous equation implies that it must be a rational number. We can then assume that \(N_{\mathrm {eff}}=\frac{a}{b}\) for some coprime integers \(a,b\). With these assumptions the equation we need to solve becomes
This linear Diophantine equation admits an integer solution iff there exists an integer \(e\) such that
If \(N_{\mathrm {eff}}\) has this specific form, then we can use Bézout’s lemma to find two integers n, m that solve the equation
It then follows that
therefore we can take \(N=en\) and \(M=em\) as integer solutions to the problem.
As a final remark, we observe that the choice of rational \(\beta \) has a physical interpretation in terms of Virasoro minimal models. More precisely, the Virasoro central charge of a minimal model is parametrized by two integers \(\epsilon _1,\epsilon _2\) as
This suggests that there might be a connection between rABJ theories at rational \(\beta \) and Virasoro minimal models, or rather their q-deformations, which could be explained by the BPS/CFT correspondence.
3.2 Langlands duality
The “quantum q-geometric” Langlands duality observed for the rCS matrix model generalizesFootnote 7 to the case of refined ABJ, where the action of the involution \({{}^{\mathrm {L}}\omega }\) is much more obvious in that it now exchanges the degrees of freedom \(\{x_i\}\) with the \(\{y_a\}\) while also exchanging \(q\leftrightarrow t^{-1}\) as well as \(N\leftrightarrow M\). More specifically, by using
we observe that not just the operators \({\mathbb {D}}^V_m\) and its adjoint are manifestly invariant under \({{}^{\mathrm {L}}\omega }\) but also the actual generating function in (3.6),
where the first equality follows from the definition of the involution \({{}^{\mathrm {L}}\omega }\) while the second equality follows from the definition of the generating function \({Z^{\mathrm {rABJ}}_{N,M}(\mathbf{t};q,t)}\). Notice that this is not the case for the generating function of rCS, where the symmetry is not manifest at the level of the integral but it becomes so only when the q-Virasoro solution is normalized by the partition function.
Moreover, we can use this improved understanding of Langlands duality in rABJ theory to explain the action of \({{}^{\mathrm {L}}\omega }\) in rCS. To do so, we use the identification (3.7) to which we apply \({{}^{\mathrm {L}}\omega }\) to obtain
where in the last equality we used (3.18). This provides a better explanation for the transformation rule of the rCS matrix model.
3.3 Averages of super-Macdonald polynomials
Similarly to the case of rCS, we can study superintegrability of characters for rABJ theory. If we regard rABJ as the super-group version of rCS we can in principle consider expectation values of any irreducible character of U(N|M). These correspond to insertions of unknot Wilson loop in irreducible representations of the super-group, and these were already considered in [43, 46] for the unrefined case. There it was argued that on \(S^3\) the U(N|M) theory can be Higgsed down to \(U(N-M)\) so that the expectation value of a Wilson loop labeled by a maximally atypical representation of the super-group is equal to the expectation value of the corresponding Wilson loop for the bosonic theory at the effective rank \(N-M\). We argue that this symmetry breaking phenomenon should admit a refinement which is the physical manifestation of the correspondence in (3.18).
In this paper we do not consider arbitrary irreducible representations of U(N|M), but we restrict to those whose characters can be written as polynomial combinations of the deformed power-sums in (3.3). These characters belong to the ring of symmetric function in the variables \(\{x_i\}\) and \(\{y_a\}\), which is known to be generated by a basis of super-Macdonald polynomials \({{\,\mathrm{SMcdP}\,}}_\lambda (x,y)\) defined in [41, 44]. These polynomials are obtained from the usual Macdonald functions by specializing the power-sums \(p_n\) to the deformed power-sums \(p_n(x,y)\), i.e.,
Now, using that
we can immediately generalize the superintegrability formula (2.32) by substituting the rank N with the effective rank \(N-\tfrac{1}{\beta }M\) to give
The rABJ generating function admits a similar character expansion to that in (2.39); therefore, knowledge of the expectation value of Super-Macdonald polynomials implies full knowledge of the function \(Z^{{\mathrm {rABJ}}}_{N,M}(\mathbf{t};q,t)\).
4 Conclusions and discussion
In this paper we considered matrix models for a refinement of CS theory and ABJ theory and we showed that there is an action of the q-Virasoro algebra on their generating functions of observables. Moreover, we argued that the condition that such generating functions are annihilated by all positive q-Virasoro generators provides an infinite set of homogeneous constraints which admit a unique solution in the space of formal power series in higher times. We derived such solutions both by recursion on the correlation functions and also as character expansion formulas in terms of Macdonald averages. Our methods provide an alternative point of view on the results of [2, 11] for rCS while they give new interesting predictions for the less-studied refinement of ABJ theory (and ABJM when \(N=M\)).
Here we list some related questions and future research directions.
-
The first and perhaps most obvious question one can ask is whether the results of this paper can be extended to the case of CS theory in the presence of matter fields. In the series of papers [8, 14, 47] the case of 3d \({\mathcal {N}}=2\) Yang-Mills with an adjoint matter field and \(N_f\) fundamental (anti-)chirals was considered and q-Virasoro constraints were derived and solved. However, a strong technical requirement for the complete solvability of the equations was that the effective CS level be set to zero. In the present paper the situation is somewhat reversed in the sense that the level can be chosen arbitrarily but there are no matter fields. It is not clear to us if these are just some technical difficulties or whether there is a deeper relation between uniqueness of the solution of the constraints and the specific choice of parameters and field content of the 3d gauge theory.
-
Another natural extension of our results would be that of considering q-Virasoro constraints in matrix models for more general knots, such as the torus knot matrix models. Even though the approach of [2, 11] using the explicit form of the Kac–Peterson modular matrices has been successful in computing refined knot invariants for torus knots, it is still not clear how to write down a refined matrix model in that case. We leave the investigation of q-Virasoro for torus knots matrix models for future projects, however we do make some remarks of the relation between torus knot invariants and unknot invariants in “Appendix B”, alas, for the unrefined case.
-
In [48] an elliptic deformation of the fusion ring of \({\widehat{su}}(N)_k\) was introduced and the corresponding elliptic deformations of the modular S and T matrices were also computed. This deformation is known to reproduce trigonometric/Macdonald deformation when the elliptic parameter is set to zero. It would be interesting to investigate whether there exists an elliptic Virasoro [49] version of the constraints for the corresponding elliptic deformation of CS matrix model and whether those constraints are uniquely solvable as in the case of the present paper.
-
Finally, a central question raised by our results is whether there exists a wider class of potentials V(x) such that the q-Virasoro constraints can be solved fully and uniquely in terms of correlators or averages of characters. Namely, in [8, 14] it was shown that potentials of the form \(V(x) = \sum _{k=1}^{N_f}{{\,\mathrm{Li}\,}}_2(u_k x;q)\) satisfying
$$\begin{aligned} {{\,\mathrm{e}\,}}^{V(x)-V(qx)} = \prod _{k=1}^{N_f}(1-u_k x)^{-1} \end{aligned}$$lead to a full solution of the constraints for \(N_f=1,2\), where \(N_f\) is the step of the recursion. For higher \(N_f\) it was shown that the constraints cannot fix all correlators but only a subset and that the remaining correlators do depend on additional non-canonical choices of initial data for the recursion. In this paper we instead argue that there is another potential which also leads to constraints that have a unique solution only depending on a choice of normalization. The q-shift transformation of the rCS potential \(V(x) = \tfrac{\log ^2 x}{2\log q}\) is
$$\begin{aligned} {{\,\mathrm{e}\,}}^{V(x)-V(qx)} = q^{-\frac{1}{2}}x^{-1} \end{aligned}$$and it induces a recursion of step 1. It appears from this discussion that whenever
$$\begin{aligned} {{\,\mathrm{e}\,}}^{V(x)-V(qx)} = (\text {polynomial in}\;x\;\text {of degree}\;d)^{-1} \end{aligned}$$then the q-Virasoro constraints can be written as recursion relations between correlators of order m and correlators of order \(m-d\), which appear to be uniquely solvable only for \(d=1\) and \(d=2\). It is not clear to us whether these are the only cases for which the solution of the constraints is unique.
Notes
This is the same function that appears in Chapter VI of Macdonald’s book [17].
For \(m\le 0\), \({\mathbb {D}}^V_m\Pi (x,\mathbf{t};q,t)\) is not polynomial in the \(x_i\) but also contains negative powers. For this reason one cannot take the adjoint of those operators.
Observe that this is not true for the partition function, in fact
$$\begin{aligned} {{}^{\mathrm {L}}\omega }(Z^{\mathrm {rCS}}_{N}(0;q,t))\ne Z^{\mathrm {rCS}}_{N}(0;q,t). \end{aligned}$$This constraint on q and t is reminiscent of the so-called wheel condition of [33]; however, it is not clear to us how exactly the two concepts are related.
One should regard this formula as a special case of the HZ formula for torus knots in Section 6 of [35].
In the case of the ABJ theory, supersymmetry prevents the CS level to receive quantum corrections from the dual Coxeter number. Therefore, one has \(q={{\,\mathrm{e}\,}}^{{2\pi {{\,\mathrm{i}\,}}}/{k}}\) instead of (2.7). A similar conclusion was reached in [43] in the case of super-group CS theory.
To the best of our knowledge there is no interpretation of Langlands duality for super-CS theories in terms of level-rank duality.
See [54] for earlier attempts of using classical Virasoro constraints to compute correlators in unrefined torus knot matrix models.
References
Witten, E.: Quantum field theory and the Jones polynomial. Commun. Math. Phys. 121, 351–399 (1989). https://doi.org/10.1007/BF01217730
Aganagic, M., Shakirov, S.: Knot homology and refined Chern–Simons index. Commun. Math. Phys. 333(1), 187–228 (2015). https://doi.org/10.1007/s00220-014-2197-4. arXiv:1105.5117 [hep-th]
Dunfield, N.M., Gukov, S., Rasmussen, J.: The Superpolynomial for knot homologies. arXiv:math/0505662
Khovanov, M.: A categorification of the Jones polynomial. Duke Math. J. 101, 359–426 (2000). https://doi.org/10.1215/S0012-7094-00-10131-7. arXiv:math/9908171 [math.QA]
Khovanov, M., Rozansky, L.: Matrix factorizations and link homology II. Geom. Topol. 12, 1387–1425 (2008). https://doi.org/10.2140/gt.2008.12.1387. arXiv:math/0505056 [math.QA]
Shiraishi, J., Kubo, H., Awata, H., Odake, S.: A Quantum deformation of the Virasoro algebra and the Macdonald symmetric functions. Lett. Math. Phys. 38, 33–51 (1996). https://doi.org/10.1007/BF00398297. arXiv:q-alg/9507034
Nedelin, A., Zabzine, M.: q-Virasoro constraints in matrix models. JHEP 03, 098 (2017). https://doi.org/10.1007/JHEP03(2017)098. arXiv:1511.03471 [hep-th]
Cassia, L., Lodin, R., Zabzine, M.: On matrix models and their \(q\)-deformations. JHEP 10, 126 (2020). https://doi.org/10.1007/JHEP10(2020)126. arXiv:2007.10354 [hep-th]
Aharony, O., Bergman, O., Jafferis, D.L., Maldacena, J.: N=6 superconformal Chern–Simons-matter theories, M2-branes and their gravity duals. JHEP 10, 091 (2008). https://doi.org/10.1088/1126-6708/2008/10/091. arXiv:0806.1218 [hep-th]
Aharony, O., Bergman, O., Jafferis, D.L.: Fractional M2-branes. JHEP 11, 043 (2008). https://doi.org/10.1088/1126-6708/2008/11/043. arXiv:0807.4924 [hep-th]
Aganagic, M., Shakirov, S.: Refined Chern–Simons theory and knot homology. Proc. Symp. Pure Math. 85, 3–32 (2012). https://doi.org/10.1090/pspum/085/1372. arXiv:1202.2489 [hep-th]
Marino, M.: Chern–Simons theory, matrix integrals, and perturbative three manifold invariants. Commun. Math. Phys. 253, 25–49 (2004). https://doi.org/10.1007/s00220-004-1194-4. arXiv:hep-th/0207096
Aganagic, M., Klemm, A., Marino, M., Vafa, C.: Matrix model as a mirror of Chern–Simons theory. JHEP 02, 010 (2004). https://doi.org/10.1088/1126-6708/2004/02/010. arXiv:hep-th/0211098
Lodin, R., Popolitov, A., Shakirov, S., Zabzine, M.: Solving q-Virasoro constraints. Lett. Math. Phys. 110(1), 179–210 (2020). https://doi.org/10.1007/s11005-019-01216-5. arXiv:1810.00761 [hep-th]
Kirillov, A.: On inner product in modular tensor categories. I. J. Am. Math. Soc. 9, 1135–1169 (1996). https://doi.org/10.1090/S0894-0347-96-00210-X. arXiv:q-alg/9508017 [math.QA]
Cherednik, I.: Macdonald’s evaluation conjectures and difference Fourier transform. Inventiones Mathematicae 122, 119–145 (1995). https://doi.org/10.1007/bf01231441. arXiv:q-alg/9412016 [math.QA]
Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs, 2nd edn. Oxford University Press, USA (1995)
Mironov, A., Morozov, A.: On the complete perturbative solution of one-matrix models. Phys. Lett. B 771, 503–507 (2017). https://doi.org/10.1016/j.physletb.2017.05.094. arXiv:1705.00976 [hep-th]
Mironov, A., Morozov, A.: Correlators in tensor models from character calculus. Phys. Lett. B 774, 210–216 (2017). https://doi.org/10.1016/j.physletb.2017.09.063. arXiv:1706.03667 [hep-th]
Mironov, A., Morozov, A.: Sum rules for characters from character-preservation property of matrix models. JHEP 08, 163 (2018). https://doi.org/10.1007/JHEP08(2018)163. arXiv:1807.02409 [hep-th]
Natanzon, S.M., Orlov, A.Y.: Hurwitz numbers and BKP hierarchy. arXiv:1407.8323 [nlin.SI]
Morozov, A., Popolitov, A., Shakirov, S.: On (\(q, t\))-deformation of Gaussian matrix model. Phys. Lett. B 784, 342–344 (2018). https://doi.org/10.1016/j.physletb.2018.08.006. arXiv:1803.11401 [hep-th]
Gukov, S., Sulkowski, P.: A-polynomial, B-model, and Quantization. JHEP 02, 070 (2012). https://doi.org/10.1007/JHEP02(2012)070. arXiv:1108.0002 [hep-th]
Bouchard, V., Sulkowski, P.: Topological recursion and mirror curves. Adv. Theor. Math. Phys. 16(5), 1443–1483 (2012). https://doi.org/10.4310/ATMP.2012.v16.n5.a3. arXiv:1105.2052 [hep-th]
Frenkel, E., Reshetikhin, N.: Deformations of \({\cal{W}}\)-algebras associated to simple Lie algebras. Commun. Math. Phys. 197, 1–32 (1998). https://doi.org/10.1007/BF02099206. arXiv:q-alg/9708006 [math.QA]
Frenkel, E., Hernandez, D.: Langlands duality for finite-dimensional representations of quantum affine algebras. Lett. Math. Phys. 96, 217–261 (2011). https://doi.org/10.1007/s11005-010-0426-0. arXiv:0902.0447 [math.QA]
Aganagic, M., Frenkel, E., Okounkov, A.: Quantum \(q\)-Langlands correspondence. Trans. Moscow Math. Soc. 79, 1–83 (2018). https://doi.org/10.1090/mosc/278. arXiv:1701.03146 [hep-th]
Bouwknegt, P., Pilch, K.: The deformed Virasoro algebra at roots of unity. Commun. Math. Phys. 196, 249–288 (1998). https://doi.org/10.1007/s002200050421. arXiv:q-alg/9710026 [math.QA]
Nigro, A.: A q-Virasoro algebra at roots of unity, free fermions and Temperley Lieb hamiltonians. J. Math. Phys. 57(4), 041702 (2016). https://doi.org/10.1063/1.4945084. arXiv:1211.1067 [math-ph]
Itoyama, H., Oota, T., Yoshioka, R.: 2d–4d Connection between \(q\)-Virasoro/W block at root of unity limit and instanton partition function on ALE space. Nucl. Phys. B 877, 506–537 (2013). https://doi.org/10.1016/j.nuclphysb.2013.10.012. arXiv:1308.2068 [hep-th]
Itoyama, H., Oota, T., Yoshioka, R.: \(q\)-Virasoro/W algebra at root of unity and parafermions. Nucl. Phys. B 889, 25–35 (2014). https://doi.org/10.1016/j.nuclphysb.2014.10.006. arXiv:1408.4216 [hep-th]
Kapustin, A., Willett, B.: Wilson loops in supersymmetric Chern–Simons-matter theories and duality. arXiv:1302.2164 [hep-th]
Feigin, B., Jimbo, M., Miwa, T., Mukhin, E.: Symmetric polynomials vanishing on the shifted diagonals and Macdonald polynomials. Int. Math. Res. Not. 2003(18), 1015–1034 (2003). https://doi.org/10.1155/S1073792803209119. arXiv:math/0209042 [math.QA]
Morozov, A., Popolitov, A., Shakirov, S.: Quantization of Harer–Zagier formulas. Phys. Lett. B 811, 135932 (2020). https://doi.org/10.1016/j.physletb.2020.135932. arXiv:2008.09577 [hep-th]
Morozov, A., Popolitov, A., Shakirov, S.: Harer–Zagier formulas for knot matrix models. Phys. Lett. B 818, 136370 (2021). https://doi.org/10.1016/j.physletb.2021.136370. arXiv:2102.11187 [hep-th]
Harer, J., Zagier, D.: The Euler characteristic of the moduli space of curves. Inventiones Mathematicae 85, 457–485 (1986). https://doi.org/10.1007/BF01390325
Forrester, P.J.: Global and local scaling limits for the \(\beta = 2\) Stieltjes–Wigert random matrix ensemble. arXiv:2011.11783 [math-ph]
Drukker, N., Trancanelli, D.: A supermatrix model for \(N=6\) super Chern–Simons-matter theory. JHEP 02, 058 (2010). https://doi.org/10.1007/JHEP02(2010)058. arXiv:0912.3006 [hep-th]
Eynard, B., Kimura, T.: Toward \({\rm U}(N|M)\) knot invariant from ABJM theory. Lett. Math. Phys. 107(6), 1027–1063 (2017). https://doi.org/10.1007/s11005-017-0936-0. arXiv:1408.0010 [hep-th]
Nieri, F., Pan, Y., Zabzine, M.: 3d Expansions of 5d instanton partition functions. JHEP 04, 092 (2018). https://doi.org/10.1007/JHEP04(2018)092. arXiv:1711.06150 [hep-th]
Atai, F., Hallnäs, M., Langmann, E.: Super-Macdonald polynomials: orthogonality and Hilbert space interpretation. Commun. Math. Phys. 388(1), 435–468 (2021). https://doi.org/10.1007/s00220-021-04166-z. arXiv:2103.07400 [math.QA]
Kimura, T., Nieri, F.: Intersecting defects and supergroup gauge theory. J. Phys. A 54(43), 435401 (2021). https://doi.org/10.1088/1751-8121/ac2716. arXiv:2105.02776 [hep-th]
Mikhaylov, V., Witten, E.: Branes and supergroups. Commun. Math. Phys. 340(2), 699–832 (2015). https://doi.org/10.1007/s00220-015-2449-y. arXiv:1410.1175 [hep-th]
Sergeev, A.N., Veselov, A.P.: Deformed Macdonald–Ruijsenaars operators and super Macdonald polynomials. Commun. Math. Phys. 288, 653–675 (2009). https://doi.org/10.1007/s00220-009-0779-3. arXiv:0707.3129 [math.QA]
Sergeev, A.N., Veselov, A.P.: Deformed quantum Calogero-Moser problems and Lie superalgebras. Commun. Math. Phys. 245, 249–278 (2004). https://doi.org/10.1007/s00220-003-1012-4. arXiv:math-ph/0303025 [math-ph]
Mikhaylov, V.: Analytic torsion, 3d mirror symmetry and supergroup Chern–Simons theories. arXiv:1505.03130 [hep-th]
Cassia, L., Lodin, R., Popolitov, A., Zabzine, M.: Exact SUSY Wilson loops on S\(^{3}\) from \(q\)-Virasoro constraints. JHEP 12, 121 (2019). https://doi.org/10.1007/JHEP12(2019)121. arXiv:1909.10352 [hep-th]
van Diejen, J.F., Görbe, T.: Elliptic Ruijsenaars difference operators, symmetric polynomials, and Wess–Zumino–Witten fusion rings. arXiv:2106.14919 [math.QA]
Nieri, F.: An elliptic Virasoro symmetry in 6d. Lett. Math. Phys. 107(11), 2147–2187 (2017). https://doi.org/10.1007/s11005-017-0986-3. arXiv:1511.00574 [hep-th]
Lawrence, R., Rozansky, L.: Witten–Reshetikhin–Turaev invariants of Seifert manifolds. Commun. Math. Phys. 205, 1432–0916 (1999). https://doi.org/10.1007/s002200050678
Beasley, C.: Localization for Wilson loops in Chern–Simons theory. Adv. Theor. Math. Phys. 17(1), 1–240 (2013). https://doi.org/10.4310/ATMP.2013.v17.n1.a1. arXiv:0911.2687 [hep-th]
Kallen, J.: Cohomological localization of Chern–Simons theory. JHEP 08, 008 (2011). https://doi.org/10.1007/JHEP08(2011)008. arXiv:1104.5353 [hep-th]
Brini, A., Eynard, B., Marino, M.: Torus knots and mirror symmetry. Ann. Henri Poincare 13, 1873–1910 (2012). https://doi.org/10.1007/s00023-012-0171-2. arXiv:1105.2012 [hep-th]
Dubinkin, O.: On the Virasoro constraints for torus knots. J. Phys. A 47(48), 485203 (2014). https://doi.org/10.1088/1751-8113/47/48/485203. arXiv:1307.7909 [hep-th]
Cassia, L., Lodin, R., Zabzine, M.: Virasoro Constraints Revisited. Commun. Math. Phys. 387(3), 1729–1755 (2021). https://doi.org/10.1007/s00220-021-04138-3. arXiv:2102.05682 [hep-th]
Okuda, T., Takayanagi, T.: Ghost D-branes. JHEP 03, 062 (2006). https://doi.org/10.1088/1126-6708/2006/03/062. arXiv:hep-th/0601024
Vafa, C.: Non-unitary holography. arXiv:1409.1603 [hep-th]
Acknowledgements
The authors would like to thank the anonymous referees for carefully reading the manuscript and providing many interesting suggestions. All authors are supported in part by the grant “Geometry and Physics” from the Knut and Alice Wallenberg foundation.
Funding
Open access funding provided by Uppsala University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Symmetric functions
For completeness we collect some basic notions on the theory of symmetric functions. See [17] for more details and proofs of the statements in this section.
We start by recalling some definitions about partitions. An integer partition \(\lambda \) is a sequence of non-increasing integer numbers
with a finite number of nonzero terms. We denote by \(\ell (\lambda )\) the length of the partition, defined as
and we denote \(|\lambda |\) the weight or size or degree of the partition,
and we say that \(\lambda \vdash n\) if \(|\lambda |=n\). The conjugate partition to \(\lambda \) is denoted by \(\lambda '\). For later convenience we also introduce the staircase partition \({\varvec{\delta }}\) defined as
We define \({{\,\mathrm{Aut}\,}}(\lambda )\) as the group of automorphisms of a given partition, and its cardinality can be computed as
It is also useful to define the function
Additionally we define a scalar product on partitions as
Symmetric functions are elements of the ring \(\Lambda \) defined as the inverse limit of the graded ring \(\Lambda _N={\mathbb {Q}}[x_1,\dots ,x_N]^{S_N}\) of symmetric polynomials in N variables with respect to the projections \(\Lambda _{M}\rightarrow \Lambda _{N}\) for \(M\ge N\). The ring \(\Lambda \) has many bases, among which the elementary symmetric functions \(e_n\), the complete homogeneous symmetric functions \(h_n\), the power-sums symmetric functions \(p_n\) and the Schur symmetric functions \({{\,\mathrm{Schur}\,}}_\lambda \). Upon defining the power-sums as
we can obtain all other basis via polynomial combinations, e.g.,
Moreover, there exists an inner product on symmetric functions defined by the relations
or equivalently
Let \(\Lambda _{q,t}=\Lambda \otimes {\mathbb {F}}_{q,t}\) with \({\mathbb {F}}_{q,t}\) the field of rational functions in q and t. Then there exists a deformed inner product defined by
Macdonald functions are defined as the q, t-deformation of Schur symmetric functions which are orthogonal w.r.t. the inner product \((\cdot ,\cdot )_{q,t}\). More precisely, there are two dual basis of Macdonald functions, \({{\,\mathrm{McdP}\,}}_\lambda \) and \({{\,\mathrm{McdQ}\,}}_\mu \) with
where \({{\,\mathrm{McdP}\,}}_\lambda \) and \({{\,\mathrm{McdQ}\,}}_\lambda \) are related by
so that they are essentially the same symmetric function up to an overall combinatorial factor of q and t.
For \(f\in \Lambda _{q,t}\) we use the plethystic notation \(f(\{p_n\})\) to indicate that it is a symmetric function written as a polynomial in the power-sums, while we use the notation \(f(x)\equiv f(x_1,x_2,\dots )\) to indicate that it is an actual symmetric polynomial in the variables \(\{x_i\}\).
Given two sets of independent variables \(\{x_i\}\) and \(\{y_j\}\), one defines the Macdonald reproducing kernel
then one can rewrite the kernel in the following equivalent ways
which is the celebrated Cauchy–Littlewood identity for Macdonald functions.
Appendix B: Remarks on torus knots
In the main part of the paper we considered matrix models for unknot Wilson loops. In this section we provide some remarks for the case of torus knots. This is the only other class of knots for which a matrix model description has been derived [50,51,52,53], unfortunately no refinement of this matrix model has been worked out yet. The general expectation is that there should be a matrix model computing knot polynomials for any kind of knot, and perhaps each of such matrix model should admit a refinement.
It would be interesting to ask whether there exists a q-Virasoro action on the generating function of Wilson loop expectation values in all of these matrix models.Footnote 8 For the case of torus knots matrix models the q-difference operator in (2.21) at \(t=q\) does not seem to give rise to recursion equations that can be solved uniquely. A more subtle modification of that operator is needed and we leave that for future investigations. Here we make some observations on how to employ the solution to q-Virasoro constraints derived in sect. 2.3 to make predictions about torus knots expectation values.
The (P, Q)-torus knot generating function is
where \(P,Q\) are positive integers defining the knot and
is the Vandermonde determinant (with \({\varvec{\delta }}\) as in (A.4)). Using the identity
which follows from Weyl’s character formula for Schur polynomials, we can write
where in the last line we rewrote the torus knot generating function as the action of two adjoint Schur polynomials on the generating function of (unrefined) CS matrix model at the coupling \(q^{\frac{1}{PQ}}\). The times of the two generating functions are identified using the fact that
where \(\delta _{n|PQ}\) is 1 if n is a multiple of PQ and 0 otherwise.
Since q-Virasoro constraints give a full solution for \(Z_N^{\mathrm {CS}}(\mathbf{u};q^{\frac{1}{PQ}})\), then we also have a combinatorially explicit way to compute \(Z^{(P,Q)}_{N}(\mathbf{t};q)\) just by acting with an appropriate differential operator of finite degree in times.
While it is tempting to conjecture the form of refined CS matrix model for torus knots by deforming Schur polynomials in (B.4) to Macdonald polynomials, we must observe that the identity (B.3) does not generalize to the Macdonald level and therefore some other techniques are required in order to treat the refined model.
Appendix C: Convergence issues in ABJ theories and validity of formula (3.30)
The rABJ generating function is defined by the matrix integral
As it stands the integral is not convergent over the domain of integration \({\mathbb {R}}^{N+M}_+\) because of vanishing terms \((x_i-\sqrt{t/q}\,y_a)\) and \((y_a-\sqrt{t/q}\,x_i)\) in the denominator of the function \(\Delta _{q,t}(x,y)\). A prescription therefore needs to be given to specify how to avoid such divergencies and make the integral well-defined. Analytical issues in q, t-deformed matrix integrals are usually hard to study, for this reason we restrict ourselves to the unrefined case \(t=q\). This simplified version of the theory is already complex enough that we can use it as a toy model to explain the role of analytics in the definitions of the theory. The matrix integral then simplifies to
where \({\mathcal {C}}\) is a contour to be determined and
Clearly, the choice of contour \({\mathcal {C}}\) depends on the behavior of the potential V(z) but also on the poles in the denominator of the Cauchy determinant. Finding a contour compatible with a given choice of potential is not too hard however dealing with the poles can be subtle. For this reason we will assume that V(z) is a generic potential for which a prescription for a contour \({\mathcal {C}}\) exists and we study how to modify such contour in such a way to avoid the poles while keeping the integral convergent.
In order to avoid divergencies along the contour \({\mathcal {C}}\) there are a couple of possibilities. One possibility is to regularize the divergent integral by cutting out a small region of the integration domain around the singularity. This type of regularization introduces boundaries in the integration domain which in turn are known to give rise to boundary terms in the (q-)Virasoro constraints [55]. Since, the constraint equations are no longer homogeneous one cannot expect the solution found in Sect. 3 to apply to this case. For this reason this type if regularization is not well-suited to our discussion.
Another possibility is to deform the original contour to some middle dimensional locus in \({\mathbb {C}}^{N+M}\) which picks up some of the poles in the integrand according to some prescription.
Example C.1
Consider \(U(N+1|1)\) ABJ-like partition function
with \({\mathcal {C}}\) defined in the following way: The integrals are ordered in such a way that we first take the residue at \(y=x_{N+1}\), then the residue at \(x_{N+1}=x_1\) and then all the other integrations in the variables \(x_1,\dots ,x_N\) along some contour \({\mathcal {C}}'\) which is middle-dimensional in \({\mathbb {C}}^N\). The y and \(x_{N+1}\) integrations can be carried out independently from all the others by using the identity
hence
which we recognize as the Hermitian matrix model partition function in rank N. Here \({\mathcal {C}}'\) can be chosen as usual by analyzing the potential V(x), e.g., for \(V(x)=x^2/2\) we can just take \({\mathcal {C}}'={\mathbb {R}}^N\).
The argument in the previous example can be generalized to any U(N|M) and it provides evidence that indeed there is an equivalence with the bosonic matrix model for \(U(N-M)\) as argued in Sect. 3 via q-Virasoro constraints. This correspondence was already noticed in [55, 56] where classical Virasoro constraints were used to provide a proof of the equivalence of the supersymmetric and bosonic Gaussian matrix models.
In [57] it was argued that this correspondence holds true at the “perturbative” level in the large \(N_{\mathrm {eff}}\) limit however it should break down at finite \(N_{\mathrm {eff}}\) due to “non-perturbative” corrections. More explicitly, it was argued that the correlation functions of certain operators that vanish identically in the \(U(N-M)\) model, do not vanish in the U(N|M) dual, but rather they are of order \(O({{\,\mathrm{e}\,}}^{-a N_{\mathrm {eff}}})\). In the following we will show that the argument of [57] does not apply to the integrals of the type (C.2) when the contour \({\mathcal {C}}\) is appropriately defined.
For concreteness we consider the case of the duality between \(U(N+1|1)\) and U(N). The operators considered in [57] are multiples of the function
which is identically zero in the U(N) theory by the definition of the elementary symmetric functions (\(e_{k}(x_1,\dots ,x_N)=0\) for \(k>N\)). Clearly, its matrix model expectation value will also be zero. The duality then implies that
where, similarly to (3.28), \(se_{N+1}\) is the supersymmetric version of \(e_{N+1}\),
Therefore, we need to show that even though \(e_{N+1}(x_1,\dots ,x_{N+1},y)\) is generically not zero, its expectation value is indeed zero. By definition, we can compute the expectation value as
where we notice that the insertion reduces the degree of all the poles. Then, because of our choice of contour \({\mathcal {C}}\) as in Example C.1 the integral vanishes. Observe that any other contour prescription will pick up some of the poles in the denominator of the measure, so that the argument still applies.
Similarly, we argue that insertions of \(se_{N+1}(x_1,\dots ,x_{N+1},y)^2\) also must vanish. The expectation value is given by
so that the integral factorizes into two Hermitian integrals of rank \(N+1\) and 1, respectively, and naively one would say that the expectation value is nonzero; however, upon closer inspection one realizes that the residues in y and in \(x_{N+1}\) both give zero because the poles that they were previously picking up have been canceled by the insertion of the operator \(se_{N+1}^2\). This concludes our proof and shows that the correspondence between U(N|M) and \(U(N-M)\) matrix models holds exactly and not just “perturbatively” once a prescription for the choice of contour is given.
A thorough analysis of the refined case is beyond the scope of this paper; however, we expect that the general ideas outlined in this section will still hold. It then follows that the formula in (3.30) is to be regarded as exact and does not receive non-perturbative corrections provided that the integral is appropriately regularized.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cassia, L., Zabzine, M. On refined Chern–Simons and refined ABJ matrix models. Lett Math Phys 112, 21 (2022). https://doi.org/10.1007/s11005-022-01518-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-022-01518-1