Abstract
We study biorthogonal functions related to basic hypergeometric integrals with coupled continuous and discrete components. Such integrals appear as superconformal indices for three-dimensional quantum field theories and also in the context of solvable lattice models. We obtain explicit biorthogonal systems given by products of two of Rahman’s biorthogonal rational \({}_{10}W_9\)-functions or their degenerate cases. We also give new bilateral extensions of the Jackson and q-Saalschütz summation formulas and new continuous and discrete biorthogonality measures for Rahman’s functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
During its long history, the notion of classical orthogonal polynomials has gradually been expanded to include more general systems. The most restrictive definition includes only Jacobi, Laguerre, and Hermite polynomials (with special cases such as Chebyshev and Legendre polynomials). By Sonine’s theorem, these are precisely the orthogonal polynomials whose derivatives are again orthogonal. After the work of Hahn and others in the early twentieth century, it appeared natural to include also systems related to difference rather than differential equations. This development culminated in the Askey scheme of hypergeometric and basic hypergeometric orthogonal polynomials [18], consisting of Askey–Wilson and q-Racah polynomials together with numerous degenerate cases.
Jacobi polynomials are orthogonal with respect to the measure in Euler’s beta integral
More generally, the Askey scheme is related to a scheme of integral evaluations and summations, many of which are also called beta integrals. From this perspective, the Askey scheme appears to be incomplete. For instance, the q-Racah polynomials correspond to Rogers’ \({}_6W_5\)-summation [10, Eq. (II.21)], which is a degenerate case of Jackson’s \({}_8W_7\)-summation [10, Eq. (II.22)]. Thus, the top level in the Askey scheme corresponds to the next-to-top level in the scheme of beta integrals.
Mizan Rahman and Jim Wilson realized that to find the missing level in the Askey scheme, it is necessary to extend its scope from orthogonal polynomials to biorthogonal rational functions. To our knowledge, the earliest occurrence of hypergeometric biorthogonal rational functions is in Wilson’s thesis [38], which contains discrete biorthogonality relations for rational functions of hypergeometric type \({}_9F_8\). This system generalizes Racah polynomials. Rahman [20] independently discovered some degenerate cases of Wilson’s system. At the end of the paper, he remarks that Wilson had also found continuous biorthogonality relations; this piece of research seems never to have been published. Rahman [21] gave more general continuous biorthogonality relations for rational functions of type \({}_{10}W_9\), generalizing Askey–Wilson polynomials. The corresponding discrete system, generalizing q-Racah polynomials, was found by Wilson [39]. The complete extension of the Askey scheme to biorthogonal rational functions has been worked out (in the q-case) by van de Bult and Rains [2].
The work of Rahman and Wilson indicates that \({}_{10}W_9\) is the most general “classical” hypergeometric function. It must have been a great surprise to the special functions community when even more general functions turned up in the work of Date et al. [3] on solvable lattice models. Their elliptic 6j-symbols generalized \({}_{10}W_9\)-sums in a completely unexpected direction, providing the first known example of elliptic hypergeometric functions; see [27] for an introduction.
It took some time before the study of elliptic hypergeometric functions gained momentum. In one of the first papers on the subject, Spiridonov and Zhedanov [36] constructed a system of biorthogonal rational functions generalizing Wilson’s discrete \({}_{10}W_9\)-functions.
A first step towards elliptic extensions of Askey–Wilson polynomials was Spiridonov’s discovery of the elliptic beta integral [31]
Here, the integration is over a contour separating geometric sequences of poles going to infinity from sequences going to zero. The parameters satisfy the balancing condition \(t_1\cdots t_6=pq\), the elliptic gamma function is defined by [29]
and \((p;p)_\infty =\prod _{j=0}^\infty (1-p^{j+1})\).
In [32], Spiridonov introduced systems biorthogonal with respect to the measure in (1.1). As a direct extension of Rahman’s work, he found explicit functions \(Q_k\) and \(R_k\) satisfying a biorthogonality relation \(\mu (Q_kR_l)=C_k\delta _{kl}\), where
These functions are elliptic [in a multiplicative coordinate, namely, \(Q_k(pz)=Q_k(z)\) and \(R_k(pz)=R_k(z)\)] and invariant under \(z\mapsto z^{-1}\). It follows that they are rational after a change of variables. More generally, Spiridonov found that if \({\tilde{Q}}_k\) and \({\tilde{R}}_k\) denote the functions obtained from \(Q_k\) and \(R_k\) after interchanging p and q, then
This two-index biorthogonality for a one-variable integral is quite unusual. It is not a biorthogonality of rational functions as the functions involved are rational in two different variables.
An intriguing consequence of (1.2) is a property that we will call the decoupling phenomenon. We can write (1.2) as
where \(f=Q_{k_1}R_{l_1}\) and \(g={\tilde{Q}}_{k_2}{\tilde{R}}_{l_2}\). Taking linear combinations of these basis elements, it follows that (1.3) holds for any functions f and g satisfying appropriate conditions. In particular, f and g should be elliptic with distinct periods [\(f(pz)=f(z)\) and \(g(qz)=g(z)\)] and invariant under \(z\mapsto z^{-1}\). There are also restrictions on the location of their poles. In the present work, we will investigate other instances of the decoupling phenomenon.
Dolan and Osborn [4] discovered that (1.1) (and more general integral identities of Rains [24]) can be interpreted in terms of supersymmetric quantum field theories. It is believed that if two theories are dual in the sense of Seiberg [30], then their so-called superconformal indices [17, 25] agree. For a particular pair of dual theories, this gives (1.1). Exploiting this idea has led to long lists of elliptic hypergeometric identities, most of which still lack rigorous proof, see, e.g., [34, 35].
The quantum field theories related to elliptic hypergeometric integrals live on four-dimensional space-times. In a similar way, one can obtain basic hypergeometric integrals from three-dimensional theories [6, 7, 11, 12, 14, 19, 41]. Interestingly, the resulting integrals are not of a type considered in the classical literature but involve a mixture of continuous and discrete integration (this can also happen for four-dimensional theories [16, 33], but then with a finite rather than infinite discrete component). As an example, a top level integral of this type is [7]
valid for generic parameters \(b_j\) and integer parameters \(N_j\) subject to
and \(N_1+\dots +N_6=0\). The identity (1.4) and some related results can also be interpreted as star-triangle relations for solvable lattice models [5, 8, 15, 16, 40].
The main purpose of the present work is to investigate the “classical orthogonal polynomials” corresponding to the integral (1.4) and another integral from [7] [see (4.2) below]. It turns out that there is again a decoupling phenomenon such as (1.3), but with f a rational function of \(zq^{-x/2}\) and g a rational function of \(zq^{x/2}\) (subject to certain restrictions). We can then obtain two-index biorthogonal functions, which in the case of (1.4) are products of Rahman’s \({}_{10}W_9\)-functions. In the case of (4.2), there are biorthogonalities involving degenerate cases of Rahman’s functions due to Al-Salam and Ismail [1] and van de Bult and Rains [2]. An intriguing question is whether the decoupling phenomenon and the two-index biorthogonality have any relevance for physics, in the context of either quantum field theory or solvable lattice models.
The plan of our paper is as follows. In Sect. 2, we give two basic hypergeometric summation formulas, which provide bilateral extensions of the Jackson and q-Saalschütz summation. Although these follow easily from known results, they seem not to have been stated explicitly before. In Sect. 3, we discuss Rahman’s biorthogonal rational functions. We obtain some new results, in particular, new continuous and discrete biorthogonality measures. Finally, in Sect. 4, we study the decoupling phenomenon and related two-index biorthogonal systems for integrals arising as superconformal indices.
Throughout, q will be a fixed complex number with \(0<|q|<1\). We also fix a choice of square root \(q^{1/2}\). We follow the standard notation of [10], but suppress q from the notation. Thus, we write q-shifted factorials as
and
We will use the theta function
which satisfies the identity
Repeated arguments of shifted factorials and theta functions stand for products, for instance,
Finally, we recall the standard basic hypergeometric series
2 Bilateral Summations
2.1 A Bilateral Jackson Summation
Although it is a straightforward consequence of results that have been known since the 1950s, the following identity seems to fill a gap in the literature.
Proposition 2.1
If \(\lambda ,\mu ,b_1,\dots ,b_6\) are generic parameters subject to (1.5), then
Here, we are using the notation
If we let \(\lambda =b_6\) and \(\mu =b_1\) in (2.1), then both \({}_8\psi _8\)-series reduce to \({}_8W_7\)-series. The resulting identity can be written
which is the nonterminating Jackson summation [10, Eq. (II.25)]. Consequently, we call (2.1) the bilateral Jackson summation.
To prove Proposition 2.1, we start from Jackson’s transformation [13] (due to Margaret Jackson, not Frank Hilton Jackson of the Jackson summation)
which is a special case of Slater’s transformations for \({}_{2r}\psi _{2r}\)-series [10, Eq. (5.5.2)]. We will only need the case \(a=b_6\); that is,
Assuming (1.5), we may apply (2.3) to both \({}_8W_7\) series in (2.2), obtaining after simplification
The proof of (2.1) is now reduced to the theta function identity
which is a special case of [37, Ex. 20.53.3], see also [26, Lemma 6.4].
2.2 A Bilateral q-Saalschütz Summation
The analogue of Proposition 2.1 at the level of the Saalschütz summation combines three rather than two bilateral sums. We find it convenient to write the identity as a determinant evaluation.
Proposition 2.2
For generic parameters subject to
let
Then,
where
One may prove Proposition 2.2 in a similar way as Proposition 2.1, but we prefer to illustrate a different method (which can also be adapted to give an alternative proof of Proposition 2.1). We first observe that each of the three functions \(f_j\) satisfies \(f_j(q\lambda )=-f_j(\lambda )/qt\lambda ^3\). For \(f_1\) and \(f_2\), this follows from the quasi-periodicity \(\theta (qx)=-\theta (x)/x\), and for \(f_3\), it is easy to verify by shifting the summation index. It then follows from [28, Prop. 3.4] that (2.6) holds up to a factor independent of the variables \(\lambda _j\). Thus, it is enough to verify (2.6) for fixed values of these variables. We choose \(\lambda _2=b_2, \lambda _3=b_3\), so that \(f_1(\lambda _2)=f_1(\lambda _3)=0\). We may then cancel the factors involving \(\lambda _1\) and are left with the identity
which is the nonterminating q-Saalschütz summation [10, Eq. (II.24)]. This proves (2.6) and explains why we call it the bilateral q-Saalschütz summation.
3 Biorthogonal Rational Functions
3.1 The Rahman Functional
Let \(b_1,\dots ,b_6\) be complex numbers subject to the balancing condition (1.5). We assume that they are generic in the sense that
Let V denote the vector space of rational functions in the variable \((z+z^{-1})/2\) that are regular except for possible single poles at
We also require that the elements of V are regular at infinity; that is, their numerator does not have larger degree than their denominator.
Lemma 3.1
The space V is spanned by the rational functions
where \(k_j\) are integers such that
Proof
Given \(f\in V\), let \(n_j\) denote the largest positive integer such that f has a pole at \(z=b_jq^{-n_j}\); if there is no such pole, we let \(n_j=0\). Then,
with p a polynomial of degree at most \(N=n_1+\dots +n_6\). If we can expand
then
and we are done.
We claim that there is an expansion of the form (3.5) with \(l_3=\dots =l_6=0\). Indeed, assuming the condition (3.1), the polynomials
form a basis for the space of polynomials of degree at most N, see, e.g., [26, Lemma 3.1]. \(\square \)
We now recall Rahman’s integral evaluation
where (1.5) is assumed. The integration is over a positively oriented contour separating the poles at \(b_jq^{{{\mathbb {Z}}}_{\ge 0}}\) from their reciprocals. The identity (3.6) is a special case of an integral from [21] (see [10, Ex. 6.7]), which was explicitly stated in [22].
Let us replace \(b_j\) in (3.6) with \(b_jq^{k_j}\), where \(k_j\) are integers subject to (3.4). Using (1.6) and other elementary facts, the resulting identity can be expressed as
By Lemma 3.1, this proves the following result.
Proposition 3.2
There exists a functional \({\mathbf {J}}\) on the space V such that
For generic values of \(\lambda \), it is given by
where the integration is over a positively oriented contour encircling all poles of the integrand of the form \(z\in b_j q^{{{\mathbb {Z}}}}\) and no poles of the form \(z\in b_j^{-1} q^{{{\mathbb {Z}}}}\).
Note that the choice of contour in (3.8) depends on f. If \(n_j\) are defined as in the proof of Lemma 3.1, then the points \(z=b_jq^{k-n_j}, k\in {{\mathbb {Z}}}_{\ge 0}\), should be inside the contour of integration and their reciprocals outside. For fixed f, the existence of such a contour follows from (3.1), but no contour works for all f.
We will refer to \({\mathbf {J}}\) as Rahman’s functional. Rahman preferred to work with (3.8) in the special case \(\lambda =b_6\). This yields the more compact but less symmetric expression
We will also obtain expressions for \({\mathbf {J}}\) in terms of discrete measures. To this end, replace \(b_j\) in (2.1) by \(b_jq^{k_j}\), where, as before, we assume (3.4). The resulting identity can be written
This proves the following result.
Proposition 3.3
For generic values of \(\lambda \) and \(\mu \),
In contrast to (3.8), where the contour of integration depends on f, the identity (3.10) holds uniformly on the whole space V.
Assume for simplicity that \(f((z+z^{-1})/2)\) has no poles at \(z^\pm \in b_5q^{{{\mathbb {Z}}}_{<0}}\) or \(b_6q^{{{\mathbb {Z}}}_{<0}}\). Then, we may let \(\lambda =b_5\) and \(\mu =b_6\) in (3.10) and conclude that
For general functions in V, one obtains in the same way an expression involving also residues of f at points corresponding to \(x<0\). This is discussed in [2, Prop. 6.4], but the general case of (3.10) seems to be new.
Van de Bult and Rains [2] also found integral formulas for \({\mathbf {J}}\) that are nonsymmetric in the sense that the measure is not invariant under \(z\mapsto 1/z\). We will now give a more general result of this type.
Proposition 3.4
The functional \({\mathbf {J}}\) can be expressed as
where the integration is as above, \(\lambda _j\) are generic parameters subject to \(\lambda _1\cdots \lambda _6=q\), and
Proof
Symmetrizing the integral, we may write the right-hand side of (3.12) as
By (2.4), with \(\mu \) replaced with z and \(b_j\) with an appropriate permutation of \(\lambda _j\), the factor in brackets can be expressed as
As
we may then apply (3.8) to express the integral in terms of \({\mathbf {J}}\). \(\square \)
The nonsymmetric integral formulas given in [2] correspond to the special case of (3.12) when \(\lambda _j=b_j\) for \(j=1,\dots ,4\). In that case,
Since \(b_5b_6=\lambda _5\lambda _6\), we may apply Weierstrass’ identity (see, e.g., [27, §1.4]) to conclude that the factor in brackets equals
In the corresponding specialization of (3.12), we find it convenient to replace z with 1 / z and write \(\lambda =q/\lambda _5\). We then obtain
This is also contained in [2, Prop. 6.3]. As is discussed in [2], (3.11) can be obtained from (3.13) through shrinking the contour of integration to zero, picking up residues at the points \(b_5q^{{{\mathbb {Z}}}_{\ge 0}}\) and \(b_6q^{{{\mathbb {Z}}}_{\ge 0}}\).
3.2 Rahman’s Biorthogonal Functions
Rahman [21, 23] constructed rational functions that are biorthogonal with respect to the functional \({\mathbf {J}}\). To explain this, we introduce the subspace \(V_n^i\) of V consisting of rational functions having no poles except possibly at \(z^\pm =b_iq^{-k-1}\), where \(i=1,\dots ,6\) is fixed and \(0\le k\le n\). It is easy to see that \(\dim (V_n^i)=n+1\). If \(1\le i\ne j\le 6\), we may look for a function \(Q_n^{(i,j)}\in V_n^i\) such that \(I(Q_n^{(i,j)}f)=0\) for all \(f\in V_{n-1}^j\). As this is an n-dimensional condition on an \((n+1)\)-dimensional space, it is not surprising that for generic parameters the solution is unique up to normalization. We then have the biorthogonality relations \({\mathbf {J}}(Q_n^{(i,j)}Q_m^{(j,i)})=0\) for \(m\ne n\).
We may assume that \(i=5, j=6\). Then, \(Q_n^{(5,6)}\) is given by the function (our notation differs from that of Rahman)
It follows from Bailey’s \({}_{10}W_9\)-transformation [10, Eq. (III.28)] that \(Q_n\) is symmetric in the parameters \(b_1,\dots ,b_4\).
More precisely, Rahman proved that if
then
Rahman formulated this result with \({\mathbf {J}}\) given by (3.9) (and modifications, where the contour is deformed to the unit circle and then moved to an interval by a change of variables). Using instead (3.8), (3.10), or (3.12) gives new explicit forms of (3.15). Note, in particular, that (3.10) gives biorthogonality relations with respect to a fixed measure for all m and n, whereas in (3.8), (3.9), and (3.12), the integrals must be deformed (or discrete terms added) as m and n increase.
3.3 The Al-Salam–Ismail Functional
There are many interesting limit cases of Rahman’s biorthogonal functions [2]. From the perspective of superconformal indices (see Sect. 4), a particularly interesting case is when three of the parameters \(b_j\) tend to zero and the remaining three to infinity, while the variable z is scaled so that either \(zb_j\) or \(z/b_j\) is fixed for each j. To describe this limit, we make the substitutions
so that the balancing condition (1.5) becomes (2.5). We also replace z by cz. The possible poles (3.2) are then located at
together with additional poles tending to zero or infinity as c tends to zero.
More concretely, let \(f((z+z^{-1})/2)\) denote the spanning function (3.3). We replace \((k_1,\dots ,k_6)\) by \((k_1,k_2,k_3,l_1,l_2,l_3)\) and write
Then,
where
It is easy to see that, as \(k_j, l_j\), and T vary over integers subject to (3.17), the functions g span the space of rational functions in z that are regular everywhere (including at infinity) except for possible single poles at (3.16). We will denote this space by W. We also compute
where t is as in (2.7). Thus, \({\mathbf {J}}\) degenerates to a functional \({\mathbf {K}}\) on W, which acts on the spanning functions (3.18) as
As we explain in Sect. 3.4, Al-Salam and Ismail constructed explicit biorthogonal systems for the functional \({\mathbf {K}}\) [1]. For this reason, we call it the Al-Salam–Ismail functional.
The reader may find it puzzling that \({\mathbf {J}}\) and its degenerate case \({\mathbf {K}}\) seem to depend on the same number of parameters. The explanation is that we can simultaneously scale \(z, 1/a_j\), and \(b_j\) by the same constant without changing \({\mathbf {K}}\). This effectively reduces the number of parameters by one. We also mention the symmetry
where \({\tilde{g}}(z)=g(1/z)\) and \(\tilde{{\mathbf {K}}}\) is obtained from \({\mathbf {K}}\) after interchanging the parameters \(a_j\) and \(b_j\).
One may obtain an integral expression for \({\mathbf {K}}\) from Gasper’s identity [9], [10, Eq. (4.11.3)]
which holds for generic parameters subject to (2.5). More symmetric integral formulas arise from the following one-parameter extension of (3.21).
Proposition 3.5
For generic parameters subject to the relations
To prove Proposition 3.5, we will use (3.21) and the following fact. The proof is a standard elliptic function argument that we include for completeness.
Lemma 3.6
Let f be an analytic function on \({{\mathbb {C}}}{\setminus }\{0\}\) that satisfies
Moreover, let \(c_1\) and \(c_2\) be numbers such that \(c_1^2,\,c_2^2,c_1c_2,c_1/c_2\notin q^{{{\mathbb {Z}}}}\). Then, f is uniquely determined by the values \(f(c_1)\) and \(f(c_2)\).
Proof
Let
We claim that \(f(x)=g(x)\) for all x. This is clearly true for \(x=c_1\). Since g satisfies (3.24), it is more generally true for \(x^\pm \in c_1 q^{{{\mathbb {Z}}}}\). We also observe that (3.24) implies that f vanishes for \(x^2\in q^{{{\mathbb {Z}}}}\). Hence, the function
is analytic for \(x\ne 0\) and satisfies \(h(qx)=h(x)\). By Liouville’s theorem, h is constant. Since \(h(c_2)=0\), we arrive at the desired conclusion. \(\square \)
Proof of Proposition 3.5
We substitute \(\lambda _1=\lambda x\) and \(\lambda _2=\lambda /x\) in (3.23) and multiply the identity by \(x^{-1}\theta (x^2)\). Consider both sides as functions of x. It is easy to see that they satisfy (3.24) (as the contour of integration can be chosen independently of x, it is enough to consider the integrand). By Lemma 3.6, it then suffices to verify (3.23) for two generic values of \(\lambda _1\). Choosing \(\lambda _1=q/b_3\), (3.23) is reduced to (3.21). By symmetry, we may take \(\lambda _1=q/b_2\) as the other value. \(\square \)
Let us now replace \(a_j\) and \(b_j\) in (3.23) by \(a_jq^{k_j}\) and \(b_jq^{l_j}\), where \(k_j\) and \(l_j\) are integers subject to (3.17). In order to respect (3.22), we also replace \(\lambda _3\) by \(\lambda _3q^T\). The resulting identity can be expressed as
where g is as in (3.18). As these functions span W, we may draw the following conclusion.
Proposition 3.7
The functional \({\mathbf {K}}\) is given by the integral formula (3.25), where \(\lambda _j\) are generic parameters subject to (3.22).
The special case corresponding to (3.21) is
By (3.20), we may alternatively write
We also mention the further specialization \(\lambda =a_3\) of (3.26) (or \(\lambda =q/b_3\) of (3.27)),
To obtain discrete integral formulas for \({\mathbf {K}}\), we replace \(a_j\) by \(a_jq^{k_j}\) and \(b_j\) by \(b_jq^{l_j}\) in (2.6), where we still assume (3.17). This leads to the following result.
Proposition 3.8
For generic parameters \(\lambda _j\), the functional \({\mathbf {K}}\) can be expressed as
where
Note that, in contrast to Proposition 3.7, we are not assuming any balancing condition for the parameters \(\lambda _j\).
Analogously to (3.11), assuming that g has no poles at \(z\in b_1q^{{{\mathbb {Z}}}_{<0}}\) or \(b_2q^{{{\mathbb {Z}}}_{<0}}\), we may choose \(\lambda _1=b_1\) and \(\lambda _2=b_2\) in (3.29). This leads to the expression
which can alternatively be obtained from (3.26) by shrinking the contour to zero, picking up residues at the points \(b_1q^{{{\mathbb {Z}}}_{\ge 0}}\) and \(b_2q^{{{\mathbb {Z}}}_{\ge 0}}\). If one instead expands the contour in (3.27), or substitutes \(\lambda _1=1/a_1, \lambda _2=1/a_2\) in (3.29), one finds a similar identity involving values of g at \(a_jq^{{{\mathbb {Z}}}_{\le 0}}\).
3.4 Biorthogonal Rational Functions
Let us now consider the limit of Rahman’s biorthogonal functions corresponding to the functional \({\mathbf {K}}\). There are two essentially different cases, depending on whether the distinguished parameters \(b_5\) and \(b_6\) in (3.15) tend to the same or distinct limits in \(\{0,\infty \}\).
For the first case, we write
This function is symmetric in the parameters \((b_1,b_2,b_3)\). Though we label \(q_n\) by seven parameters (counting q), it is effectively a five-parameter system since (2.5) is assumed and we may scale \(z, a_j^{-1}\) and \(b_j\) by a fixed constant. If \(r_n\) denotes the function \(q_n\) with \(a_2\) and \(a_3\) interchanged, then it follows from (3.15) that
Applying (3.20), we also find that if
and \({\tilde{r}}_n\) denotes \({\tilde{q}}_n\) with \(b_2\) and \(b_3\) interchanged, then
For reasons that will be clear in Sect. 4, we think of this as a separate system, even though it is equivalent to \((q_n,r_n)\) by a change of parameters.
The biorthogonal system \((q_n,r_n)\) appears in the scheme of van de Bult and Rains [2] with the label 3100v2. The biorthogonality relations described there correspond to (3.26) and (3.30), possibly after permuting the parameters and applying the symmetry (3.20). Our expressions (3.25) and (3.29) unify and generalize these relations. Just as for Rahman’s functions, in the continuous case the contour of integration depends on m and n, whereas the discrete measures are fixed.
For the second case, we write
Again, these are effectively five-parameter systems. Both \(s_n\) and \(t_n\) are symmetric in the pairs \((a_1,a_2)\) and \((b_1,b_2)\). We obtain from (3.15) the biorthogonality
In this case, it is natural to use the expression (3.28) for \({\mathbf {K}}\), as the poles of \(s_m\) and \(t_n\) are then situated at zeroes of the biorthogonality measure, so that one may use the same contour of integration for all m and n. With the biorthogonality written in this form, (3.31) is due to Al-Salam and Ismail [1]. In the classification of [2], the system \((s_n,t_n)\) is denoted by 2200vv (in Appendix A.2 it appears with a typo as 2200vp). The expressions (3.25) and (3.29) for \({\mathbf {K}}\) generalize the biorthogonality measures found in [1] and [2].
4 Superconformal Indices
As was discussed in the introduction, when considering integral evaluations related to dualities for three-dimensional supersymmetric quantum field theories, (1.4) appears as a top level beta integral. As before, the integration is over a positively oriented contour separating the geometric sequences of poles tending to 0 from those tending to \(\infty \); note that the contour necessarily depends on x. Besides the quantum field theory interpretation, (1.4) also appears as the star-triangle relation for a solvable lattice model introduced in [8].
Let us replace \(b_j\) in (1.4) by \(b_jq^{k_j}\) and \(N_j\) by \(N_j+l_j-k_j\), where \(k_j\) and \(l_j\) are integers with \(k_1+\dots +k_6=l_1+\dots +l_6=0\). After simplification, this results in the identity
This can be interpreted in terms of the functional (3.7). Let V be the space introduced in Sect. 3.1 and \(V'\) the space obtained from V through replacing the parameters \(b_j\) with \(b_jq^{N_j}\). Denoting the Rahman functional on \(V'\) by \({\mathbf {J}}'\), we obtain the following result.
Proposition 4.1
For \(f\in V\) and \(g\in V'\),
We find it remarkable that the right-hand side of (4.1) factors, even though the variables of f and g on the left are coupled. We refer to this as the decoupling phenomenon. Just as for Spiridonov’s beta integral discussed in the introduction, it can be used to construct two-index biorthogonal systems. To this end, let \(Q_n\) and \(R_n\) be as in (3.14). Moreover, if \((c_1,\dots ,c_6)\) is any permutation of \((b_1q^{N_1},\dots ,b_6q^{N_6})\), let
Combining (3.15) and Proposition 4.1 then gives the following result.
Corollary 4.2
In the notation above,
Up to permutation of the parameters, there are three nonequivalent cases of Corollary 4.2, corresponding to whether none, one, or both of the numbers \(c_5,c_6\) are contained in \(\{b_5q^{N_5},b_6q^{N_6}\}\).
At the Saalschütz level, we have the superconformal index identity [7]
where the parameters satisfy (2.5), t is given by (2.7), and the integers \(M_j\) and \(N_j\) satisfy \(M_1+M_2+M_3=N_1+N_2+N_3=0\). In [7] this is stated under the additional assumption \(t=q^{1/2}\), but the general case follows immediately after rescaling z and the parameters.
We replace the parameters in (4.2) by \(a_j\mapsto a_jq^{k_j}, b_j\mapsto b_jq^{l_j}, M_j\mapsto M_j+m_j-k_j, N_j\mapsto N_j+n_j-l_j\), where the integral shifts satisfy
The resulting identity can be written
If we now let \({\mathbf {K}}\) and W be the functional and space of rational functions introduced in (3.19) and \({\mathbf {K}}', W'\) the objects obtained from these by replacing the parameters \(a_j\) by \(a_jq^{M_j}\) and \(b_j\) by \(b_jq^{N_j}\), we may draw the following conclusion.
Proposition 4.3
For \(f\in W\) and \(g\in W'\),
We can now use the results of Sect. 3.4 to construct corresponding biorthogonal systems. This can be done in many ways, since we may for each of the spaces W and \(W'\) work with the system \((q_n,r_n), ({\tilde{q}}_n,{\tilde{r}}_n)\), or \((s_n,t_n)\). Moreover, permuting the parameters gives cases when both, one, or none of the two functions chosen for W have poles at the same geometric sequences as the functions chosen for \(W'\). In total, this gives ten essentially nonequivalent possibilities. We refrain from writing these down explicitly.
References
Al-Salam, W.A., Ismail, M.E.H.: A \(q\)-beta integral on the unit circle and some biorthogonal rational functions. Proc. Am. Math. Soc. 121, 553–561 (1994)
van de Bult, F.J., Rains, E.M.: Limits of elliptic hypergeometric biorthogonal functions. J. Approx. Theory 193, 128–163 (2015)
Date, E., Jimbo, M., Kuniba, A., Miwa, T., Okado, M.: Exactly solvable SOS models II. Proof of the star-triangle relation and combinatorial identities. In: Jimbo, M., Miwa, T., Tsuchiya, A. (eds.) Conformal Field Theory and Solvable Lattice Models, pp. 17–122. Academic Press, Boston, MA (1988)
Dolan, F.A., Osborn, H.: Applications of the superconformal index for protected operators and \(q\)-hypergeometric identities to \(N=1\) dual theories. Nucl. Phys. B 818, 137–178 (2009)
Gahramanov, I., Kels, A.P.: The star-triangle relation, lens partition function, and hypergeometric sum/integrals. J. High Energy Phys. 2017, 40
Gahramanov, I., Rosengren, H.: A new pentagon identity for the tetrahedron index. J. High. Energy Phys. 2013, 128 (2013)
Gahramanov, I., Rosengren, H.: Basic hypergeometry of supersymmetric dualities. J. Nucl. Phys. B 913, 747–768 (2016)
Gahramanov, I., Spiridonov, V.P.: The star-triangle relation and 3d superconformal indices. J. High Energy Phys. 2015, 40 (2015)
Gasper, G.: \(q\)-extensions of Barnes’, Cauchy’s, and Euler’s beta integrals. In: Rassias, T.M. (eds.) Topics in Mathematical Analysis, pp. 294–314. World Scientific Publishing, Teaneck, NJ (1989)
Gasper, G., Rahman, M.: Basic Hypergeometric Series. Cambridge University Press, Cambridge (1990)
Hwang, C., Kim, H., Park, K.-J., Park, J.: Index computation for 3d Chern–Simons matter theory: test of Seiberg-like duality. J. High Energy Phys. 2011, 37 (2011)
Imamura, Y., Yokoyama, S.: Index for three dimensional superconformal field theories with general R-charge assignments. J. High Energy Phys. 2011, 7 (2011)
Jackson, M.: On well-poised bilateral hypergeometric series of the type \({}_8\psi _8\). Q. J. Math. 1, 63–68 (1950)
Kapustin, A., Willett, B.: Generalized superconformal index for three dimensional field theories. arXiv:1106.2484
Kels, A.P.: A new solution of the star-triangle relation. J. Phys. A 47, 055203 (2014)
Kels, A.P.: New solutions of the star-triangle relation with discrete and continuous spin variables. J. Phys. A 48, 435201 (2015)
Kinney, J., Maldacena, J., Minwalla, S., Raju, S.: An index for 4 dimensional super conformal theories. Commun. Math. Phys. 275, 209–254 (2007)
Koekoek, R., Swarttouw, R.F.: The Askey-Scheme of Hypergeometric Orthogonal Polynomials and Its \(q\)-Analogue, Delft University of Technology. http://homepage.tudelft.nl/11r49/askey/ (1998)
Krattenthaler, C., Spiridonov, V.P., Vartanov, G.S.: Superconformal indices of three-dimensional theories related by mirror symmetry. J. High Energy Phys. 2011, 8 (2011)
Rahman, M.: Families of biorthogonal rational functions in a discrete variable. SIAM J. Math. Anal. 12, 355–367 (1981)
Rahman, M.: An integral representation of a \({}_{10}\phi _9\) and continuous bi-orthogonal \({}_{10}\phi _9\) rational functions. Can. J. Math. 38, 605–618 (1986)
Rahman, M.: Some extensions of Askey–Wilson’s \(q\)-beta integral and the corresponding orthogonal systems. Can. Math. Bull. 31, 467–476 (1988)
Rahman, M.: Biorthogonality of a system of rational functions with respect to a positive measure on \([-1,1]\). SIAM J. Math. Anal. 22, 1430–1441 (1991)
Rains, E.M.: Transformations of elliptic hypergeometric integrals. Ann. Math. 171, 169–243 (2010)
Römelsberger, C.: Counting chiral primaries in \(N=1, d=4\) superconformal field theories. Nucl. Phys. B 747, 329–353 (2006)
Rosengren, H.: An elementary approach to \(6j\)-symbols (classical, quantum, rational, trigonometric, and elliptic). Ramanujan J. 13, 133–168 (2007)
Rosengren, H.: Elliptic hypergeometric functions. arXiv:1608.06161
Rosengren, H., Schlosser, M.: Elliptic determinant evaluations and the Macdonald identities for affine root systems. Compos. Math. 142, 937–961 (2006)
Ruijsenaars, S.N.M.: Complete integrability of relativistic Calogero-Moser systems and elliptic function identities. Commun. Math. Phys. 110, 191–213 (1987)
Seiberg, N.: Electric-magnetic duality in supersymmetric non-abelian gauge theories. Nuclear Phys. B 435, 129–146 (1995)
Spiridonov, V.P.: On the elliptic beta function. Russ. Math. Surv. 56, 185–186 (2001)
Spiridonov, V.P.: Theta hypergeometric integrals. St. Petersb. Math. J. 15, 929–967 (2004)
Spiridonov, V.P.: Rarefied elliptic hypergeometric functions. arXiv:1609.00715
Spiridonov, V.P., Vartanov, G.S.: Elliptic hypergeometry of supersymmetric dualities. Commun. Math. Phys. 304, 797–874 (2011)
Spiridonov, V.P., Vartanov, G.S.: Elliptic hypergeometry of supersymmetric dualities II. Orthogonal groups, knots, and vortices. Commun. Math. Phys. 325, 421–486 (2014)
Spiridonov, V., Zhedanov, A.: Spectral transformation chains and some new biorthogonal rational functions. Commun. Math. Phys. 210, 49–83 (2000)
Whittaker, E.T., Watson, G.N.: A Course of Modern Analysis. Cambridge University Press, Cambridge (1927)
Wilson, J.A.: Hypergeometric Series, Recurrence Relations and Some New Orthogonal Functions. University of Wisconsin, Madison (1978)
Wilson, J.A.: Orthogonal functions from gram determinants. SIAM J. Math. Anal. 22, 1147–1155 (1991)
Yamazaki, M.: New integrable models from the gauge/YBE correspondence. J. Stat. Phys. 154, 895–911 (2014)
Yokoyama, S.: Index for three dimensional superconformal field theories and its applications. J. Phys. Conf. Ser. 343, 012134 (2012)
Acknowledgements
This work is dedicated to the memory of Mizan Rahman, a gentle and generous mathematician whose unsurpassed mastery of q-series has been a great inspiration for me. I thank Ilmar Gahramanov for fruitful discussions on superconformal indices and Slava Spiridonov for encouraging me to finish the present paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Erik Koelink.
Dedicated to the memory of Mizan Rahman.
Supported by the Swedish Science Research Council (Vetenskapsrådet).
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.
About this article
Cite this article
Rosengren, H. Rahman’s Biorthogonal Rational Functions and Superconformal Indices. Constr Approx 47, 529–552 (2018). https://doi.org/10.1007/s00365-017-9393-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-017-9393-3
Keywords
- Biorthogonal rational function
- Basic hypergeometric series
- Basic hypergeometric integral
- Superconformal index