Abstract
We show that the Virasoro fusion kernel is equal to Ruijsenaars’ hypergeometric function up to normalization. More precisely, we prove that the Virasoro fusion kernel is a joint eigenfunction of four difference operators. We find a renormalized version of this kernel for which the four difference operators are mapped to four versions of the quantum relativistic hyperbolic Calogero–Moser Hamiltonian tied with the root system \(BC_1\). We consequently prove that the renormalized Virasoro fusion kernel and the corresponding quantum eigenfunction, the (renormalized) Ruijsenaars hypergeometric function, are equal.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
Two-dimensional conformal field theories (CFTs) have been intensively studied since the seminal work of Belavin et al. [3]. In addition to their broad range of physical applications in, for example, condensed matter theory and string theory, they possess rich underlying mathematical structures.
The infinite-dimensional symmetry algebra of 2D CFTs determines the structure of their correlation functions. The operator product expansion makes it possible to decompose N-point correlators on the Riemann sphere into combinations of three-point structure constants and universal quantities called Virasoro conformal blocks. In particular, there are three ways to decompose the four-point correlation function. The universal parts of each decomposition are called s-, t- and u-channel conformal blocks. Since each decomposition must lead to the same four-point function, the three kinds of conformal blocks are related by duality transformations.
In particular, the s- and t-channel conformal blocks are related by an integral transform called fusion transformation. Such a transformation was conjectured in [21] and established in [36]. The corresponding kernel, the Virasoro fusion kernel, was constructed by Ponsot and Teschner [21, 22] and revisited in [38] as b-6j symbols for the modular double of \(\mathcal {U}_q(sl_2(\mathbb {R}))\). This terminology comes from the fact that b, which is related to the central charge of the Virasoro algebra by \(c=1+6(b+b^{-1})^2\), is associated with two unimodular parameters \(q=e^{i\pi b^2}\) and \(\tilde{q}=e^{i\pi b^{-2}}\). The Virasoro fusion kernel also appears in quantum Teichmüller theory [20] and in 3d supersymmetric gauge theories [38, 39], and recent physical applications were found in [6, 7, 12].
The Virasoro fusion kernel is denoted \(F\left( b,{\varvec{\theta }},\sigma _s,\sigma _t \right) \). Here, \({\varvec{\theta }}\) is a set of four external conformal dimensions associated with the fields entering the four-point correlation function, while \(\sigma _s\) and \(\sigma _t\) are two internal conformal dimensions associated with the s- and t-channel decompositions of the four-point function.
The Ponsot–Teschner formula [21] for F is recalled in (4.1). It is given by a contour integral whose integrand involves a special function \(s_b(z)\). The \(s_b\)-function appears in several different contexts. It was introduced under the names of “Quantum Dilogarithm function,” “Hyperbolic Gamma function” and “Quantum Exponential function” in [9, 25, 41], respectively.Footnote 1 In particular, F is proportional to a hyperbolic Barnes integral which is a hyperbolic generalization of the Barnes representation for the Gauss hypergeometric function. Such an integral was constructed in [5] as a degeneration limit of the hyperbolic hypergeometric function, and it also arises as a limit of Spiridonov’s elliptic hypergeometric V-function [32, 38]. Finally, the Virasoro fusion kernel is a joint eigenfunction of four difference operators [17, 21].
On the other hand, Calogero–Moser (CM) models are systems of particles living on the real line or the circle and interacting with a rational, trigonometric/hyperbolic or elliptic potential. Their relativistic deformations were found by Ruijsenaars and Schneider at the classical level [31]. Quantum relativistic CM systems tied with the root system \(A_{N-1}\) were found by Ruijsenaars [30], and their \(BC_N\) generalization by van Diejen [40]. Therefore, we will refer to quantum relativistic \(BC_N\) CM systems as quantum Ruijsenaars–van Diejen (RvD) systems. In this article, only the case \(N=1\) of the latter system will be considered.
The rank N quantum trigonometric RvD system is solved by the Koornwinder N-variable polynomials [13]. However, in the hyperbolic case the eigenfunctions are non-polynomial and are only known in the rank one. The corresponding eigenfunction, the Ruijsenaars hypergeometric function, was introduced in [24] and studied in greater detail in [26,27,28]. This function is denoted \(R(a_-,a_+,\varvec{\gamma },v,\hat{v})\); here, \(a_-\) and \(a_+\) are associated with two unimodular quantum deformation parameters \(q=e^{i\pi a_-/a_+}\) and \(\tilde{q}=e^{i \pi a_+/a_-}\), while \({\varvec{\gamma }}\) is a set of four external couplings constants. Finally, v and \(\hat{v}\) are viewed as geometric and spectral variables, respectively.
Of particular importance is the renormalized R-function, denoted \(R_\text {ren}(a_-,a_+,\varvec{\gamma },v,\hat{v})\), which was defined in [26]. The definition (2.3) and the properties of the function \(R_\text {ren}\) resemble those of the Virasoro fusion kernel. First of all, \(R_\text {ren}\) is defined as a contour integral whose integrand involves the hyperbolic gamma function \(G(a_-,a_+,z)\). The functions G and \(s_b\) are simply related by
\(R_\text {ren}\) is also proportional to a hyperbolic Barnes integral [5]. Moreover, it is a joint eigenfunction of four difference operators which are four versions of the rank one quantum hyperbolic RvD Hamiltonian. Let us finally mention that the function \(R_\text {ren}\) was related to the modular double of \(\mathcal {U}_q(sl_2(\mathbb {R}))\) in [4].
The discussion above suggests that the Virasoro fusion kernel and the Ruijsenaars hypergeometric function are closely related. The aim of this article is to show that the two functions are equal up to normalization (see Theorem 1). The identification procedure can be summarized as follows. We prove in Propositions 4.3 and 4.4 that the Virasoro fusion kernel is a joint eigenfunction of four difference operators. We provide the Ruijsenaars/CFT parameters identification in Sect. 5.1. We define in (5.14) a renormalized version \(F_\text {ren}\) of F, and we show in Proposition 5.3 that both \(R_\text {ren}\) and \(F_\text {ren}\) satisfy the same four difference equations. Therefore, the two functions are proportional. We finally show in Theorem 1 that they are actually equal: The proof is rather simple and follows from the identity (B.4) satisfied by the hyperbolic Barnes integral.
1.1 Organization of the paper
The Ruijsenaars hypergeometric function and various of its properties are recalled in Sect. 2. Section 3 reviews some properties of the four-point Virasoro conformal blocks and introduces the Virasoro fusion kernel in this context. In Sect. 4, we study various symmetry and eigenfunction properties of F. Finally, our main result—the identification of F with \(R_\text {ren}\)—is presented in Sect. 5.
2 Ruijsenaars’ hypergeometric function
This section is a brief overview of the (renormalized) Ruijsenaars hypergeometric function following [26]. We recall several of its properties which we will need to relate it to the Virasoro fusion kernel.
2.1 Definition
Define two sets of external couplings constants \({\varvec{\gamma }}\) and \(\hat{\varvec{\gamma }}\) by
where J is a matrix satisfying \(J^2=\mathcal {I}_4\) and is defined by
The renormalized R-function denoted \(R_\text {ren}(a_-,a_+,\varvec{\gamma },v,\hat{v})\) is given by a contour integral whose integrand involves the hyperbolic gamma function \(G(a_-,a_+,z)\). The definition of G and its properties can be found in Appendix A. Its dependence on \(a_-\) and \(a_+\) will be omitted for simplicity. Following [26], the function \(R_\text {ren}\) is defined for \((a_-,a_+,\varvec{\gamma }) \in \text {RHP}^2 \times \mathbb {C}^4\), where RHP denotes the open right-half plane, such that
and where \(a=(a_++a_-)/2\). The function G has sequences of poles and zeros given in (A.4) and (A.5), respectively. Therefore, for instance, when \(a_+,a_->0\) the integrand in (2.3) has eight semi-infinite lines of poles, four of them increasing and the other ones decreasing. The integration contour \(\mathsf {R}\) runs from \(-\infty \) to \(+\infty \) separating the increasing and decreasing sequences of poles. Moreover, for fixed values of \(a_-,a_+\) and \(\varvec{\gamma }\), the function \(R_\text {ren}\) is meromorphic in v and \(\hat{v}\).
Finally, it was shown in [5, Proposition 4.20] that the function \(R_\text {ren}\) is proportional to a hyperbolic Barnes integral \(\mathcal {B}_h(a_-,a_+,\varvec{u})\) whose definition is recalled in Appendix B. \(\mathcal {B}_h(a_-,a_+,\varvec{u})\) is one possible degeneration of the hyperbolic hypergeometric function, and other types of degenerations led the authors of [5] to find other representations for \(R_\text {ren}\).
2.2 Symmetry properties
The function \(R_\text {ren}\) possesses various discrete symmetries which follow from the representation (2.3). In view of the property (A.6) of the hyperbolic gamma function, \(R_\text {ren}\) is scale invariant:
Moreover, because of the fact that \(G(a_-,a_+,z)=G(a_+,a_-,z)\), the following identity holds:
It can also be verified that \(R_\text {ren}\) satisfies
Finally, the function \(R_\text {ren}\) is even in \(v,\hat{v}\) and is symmetric under permutations of \(\gamma _1,\gamma _2,\gamma _3\). It was shown in [27, Theorem 1.1] that a similarity transformed version of \(R_\text {ren}\) has an extended \(D_4\)-symmetry in \(\varvec{\gamma }\). More precisely, define the function \(\mathcal {E}_\text {ren}\) by
where the function \(\delta \) is given by
The function \(\mathcal {E}_\text {ren}\) is invariant under all permutations of \(\gamma _0,\gamma _1,\gamma _2,\gamma _3\) and under flipping the sign of any pair of \(\gamma _\mu \)’s. The resulting invariance group is the Weyl group of the Lie algebra \(D_4\).
2.3 Eigenfunction properties
Define a translation operator \(e^{\pm i a_- \partial _x}\) which formally acts on meromorphic functions f(x) as \(e^{\pm i a_- \partial _x} f(x)=f(x\pm i a_-)\). The quantum relativistic Calogero–Moser Hamiltonian tied with the root system \(BC_1\) and with a hyperbolic interaction was defined in [40]. As mentioned in the introduction, it will be referred to as the Ruijsenaars–van Diejen (RvD) Hamiltonian. It is a difference operator of the form
where
and where the potential V is defined by
The function \(R_\text {ren}\) is a joint eigenfunction of four versions of this Hamiltonian [26, Theorem 3.1]. More precisely, for \((a_-,a_+,\varvec{\gamma },v,\hat{v})\in \text {RHP}^2\times \mathbb {C}^6\) the following eigenvalue equations hold:
It can be noted that (2.12a) implies (2.12b), (2.12c) and (2.12d) thanks to the properties (2.5) and (2.6) of \(R_\text {ren}\).
3 Four-point Virasoro conformal blocks
In this section, we briefly review the four-point Virasoro conformal blocks and recall how the Virasoro fusion kernel arises in this context. A more complete overview of the subject can be found in [23, 35, 36].
3.1 Highest-weight representations of the Virasoro algebra
The Virasoro algebra is the symmetry algebra of two-dimensional conformal field theories. It has generators \(L_n\), \(n\in \mathbb {Z}\) and relations
where c is a central element in the algebra called central charge. Highest-weight representations \(\mathcal {V}_\theta \) of the Virasoro algebra are generated from vectors \(|\theta>\) which satisfy
where a Liouville-type parameterization of \(\Delta \) and c is used:
The representations \(\mathcal {V}_\theta \) decompose as follows:
where \(L_0 v = (\Delta (\theta )+n) v\) for all \(v \in \mathcal {V}_\theta ^{(n)}\). A chiral vertex operator \(V^{\Delta (\theta _0)}_{\Delta (\theta _2),\Delta (\theta _1)}(z)\) is a map \(V^{\Delta (\theta _0)}_{\Delta (\theta _2),\Delta (\theta _1)} : \mathcal {V}_{\theta _1}\rightarrow \mathcal {V}_{\theta _2}\). It is defined by the following commutation relations:
In particular, it admits the following formal series expansion:
where \(v_n \in \mathcal {V}_{\theta _2}\) and \(v_0=| \theta _2>\). We emphasize that the expansion (3.6) can be renormalized by an arbitrary factor \(N(\theta _2,\theta _0,\theta _1)\). Such a factor will be introduced in Sect. 5.
3.2 Four-point Virasoro conformal blocks
We now define a set of external conformal dimensions \(\varvec{\theta }\) by
The four-point Virasoro conformal block is defined by the expectation value of a composition of two chiral vertex operators as follows:
The parameters \(\varvec{\theta }\) and \(\sigma _s\) will be referred to as external and internal momenta. The block \(\mathcal F\) admits a series expansion in z which can be computed recursively using (3.1), (3.5) and (3.6):
The discovery of the AGT relation [2] between two-dimensional conformal field theories and four-dimensional supersymmetric gauge theories led to a closed-form expression for all the coefficients \(c_k\). In our notation, the complete expansion of (3.9) can be found in [15, Eq. (3.1)]. Several conjectures exist for the analytic properties of four-point Virasoro conformal blocks. The series in (3.9) is believed to be convergent inside the unit disk \(|z|<1\). Moreover, the only singularities of the conformal blocks as a function of z are expected to be branch points at \(0,1,\infty \) [10, 42]. Under this assumption, conformal blocks are naturally defined for \(z \in \mathbb {C} \setminus ((-\infty ,0 ] \cup [1,\infty ))\). Finally, they are believed to be analytic in \(\varvec{\theta }\) and meromorphic in \(\sigma _s\), with the only possible poles located at \(\pm \sigma _s^{(m,n)}=-\frac{i}{2}(m b+n b^{-1})\) for \(m,n \in \mathbb {Z}_{>0}\).
Let us finally mention that \(\mathcal F\) admits another representation called Zamolodchikov’s recursion [42]. This representation is a power series of the nome
where \(_2F_1(a,b,c,z)\) is the hypergeometric function. Whereas the representation (3.9) is expected to converge for \(|z|<1\), Zamolodchikov’s recursion converges faster than (3.9) and for all \(z\in \mathbb {C} \backslash \{1\}\).
3.3 Crossing transformations
The linear span (3.9) of four-point Virasoro conformal blocks with different internal dimensions \(\sigma _s\) forms an infinite-dimensional representation of \(\Gamma (\Sigma _{0,4})=\text {PSL}_2(\mathbb {Z})\), the mapping class group of the four-puncture Riemann sphere. It is generated by the braiding B and fusion F moves, such that \(F^2=(BF)^3=1\). The three ways of splitting four points on \(\mathbb {C}\mathbb {P}^1\) into two pairs define the s-, t- and u-channel bases for the space of conformal blocks. The cross-ratio argument of conformal blocks in these channels is chosen from \(\{z,\frac{z}{z-1}\}\),\(\{1-z,\frac{z-1}{z}\}\), and \(\{\frac{1}{z},\frac{1}{1-z}\}\), respectively. The braiding move B acts on the s-channel conformal blocks as follows:
where \(\tilde{\varvec{\theta }}\) is obtained by performing the permutation \(\theta _1 \leftrightarrow \theta _\infty \) on \(\varvec{\theta }\). On the other hand, the fusion move was conjectured in [21] and established in [36]. It is represented by the integral transform
where \(\hat{\varvec{\theta }}\) is obtained by performing the permutation \(\theta _0 \leftrightarrow \theta _1\) on \(\varvec{\theta }\). It will be convenient to explicitly write \(\hat{\varvec{\theta }}\) as
Finally, the kernel \(F\left( b,\varvec{\theta },\sigma _s,\sigma _t \right) \) of the fusion move is the Virasoro fusion kernel.
4 The Virasoro fusion kernel
In this section, we recall the Ponsot–Teschner formula [21] for the Virasoro fusion kernel. Let us also note that other representations for F were found in [38]. Moreover, we describe various symmetry and eigenfunction properties of F which will be useful in its identification with the Ruijsenaars hypergeometric function (2.3).
4.1 Definition
The Virasoro fusion kernel is defined by a contour integral involving two special functions \(s_b(x)=g_b(x)/g_b(-x)\) and \(g_b(x)\) which are closely related to the hyperbolic gamma function \(G(a_-,a_+,x)=E(a_-,a_+,x)/E(a_-,a_+,-x)\) and \(E(a_-,a_+,x)\), respectively. The exact relations are given in (A.9). The Ponsot–Teschner formula reads
When \(b>0\), the integrand in (4.1) has eight vertical semi-infinite lines of poles, four of them increasing and the other four decreasing; the integration contour \(\mathsf {F}\) runs from \(-\infty \) to \(+\infty \), separating the increasing and decreasing sequences of poles. More generally, the fusion kernel (4.1) can be extended to a meromorphic function of all of its parameters provided that \(c \in \mathbb {C} \setminus \mathbb {R}_{\le 1}\), which corresponds to \(b\notin i \mathbb {R}\).
4.2 Symmetry properties
We now present various symmetry properties of the Virasoro fusion kernel. First, because the Virasoro conformal block (3.9) is a function of the conformal dimensions \(\Delta (x)=\frac{Q^2}{4}+x^2\), it follows that it is even in \(\varvec{\theta }\) and \(\sigma _s\). Therefore, the fusion transformation (3.11) implies that the Virasoro fusion kernel \(F\left( b,\varvec{\theta },\sigma _s,\sigma _t \right) \) is even in \(\varvec{\theta }\) and \(\sigma _s,\sigma _t\). Second, because \(s_b(x)=s_{b^{-1}}(x)\) and \(g_b(x)=g_{b^{-1}}(x)\), F has the following symmetry:
We now describe a duality transformation exchanging the internal momenta \(\sigma _s\) and \(\sigma _t\).
Proposition 4.1
The Virasoro fusion kernel given in (4.1) satisfies
where \(\hat{\varvec{\theta }}\) is related to \(\varvec{\theta }\) as in (3.12) and
Proof
The proof relies on the fact that the contour integral in (4.1) is a hyperbolic Barnes integral \(\mathcal {B}_h\) (see (B.2) for its definition). In particular, \(\mathcal {B}_h\) satisfies the remarkable identity (B.4) which is crucial for the proof.
Following the definition (B.2) and the relation \(s_b(z)=G(b,b^{-1},z)\), it is easy to verify that the contour integral in (4.1) takes the form
where \(\varvec{u} \in \mathcal {G}_{iQ}\) and \(\mathcal {G}_k\) is defined by (B.1). Various choices for the eight parameters \(\varvec{u}\) lead to the same contour integral. Here, we choose
We are now going to apply the identity (B.4) satisfied by the hyperbolic Barnes integral. First, from (B.3) the action of \(\omega \) on \(\varvec{u} \in \mathcal {G}_{iQ}\) is given by
Second, a straightforward application of the identity (B.4) yields
Recalling (4.5) and using \(s_b(z)=g_b(z)/g_b(-z)\), substitution of (4.8) into (4.1) leads to
where
On the other hand, using the representation (4.1) and taking \(x \rightarrow x+\theta _t\), it can be verified that we also have
where \(\hat{\varvec{\theta }}\) is given in (3.12), \(I=\text {diag}(1,-1,1,1)\), and
Since the Virasoro fusion kernel is even in the external momenta, we have \(F\left( b,I\hat{\varvec{\theta }},\sigma _t,\sigma _s \right) =F\left( b,\hat{\varvec{\theta }},\sigma _t,\sigma _s \right) \). We deduce from (4.9) and (4.11) that the following identity holds:
and a direct computation shows that
where \(\alpha \) is given in (4.4). Hence, the identity (4.3) is obtained. \(\square \)
4.3 Difference equations
We now show that the Virasoro fusion kernel is a joint eigenfunction of four difference operators, the first two acting on the internal momentum \(\sigma _s\) and the remaining two acting on its dual \(\sigma _t\).
4.3.1 First pair of difference equations
Define the difference operator \(H_F\left( b,\varvec{\theta },\sigma _s\right) \) by
where
and
In the CFT literature, the operator \(H_F\) represents the action of a Verlinde loop operator denoted \(L_{\gamma _t}\) on the s-channel conformal blocks (3.8). Such an operator is obtained by computing a delicate quantum monodromy operation on the s-channel blocks (3.8) along a certain closed curve \(\gamma _t\) on the four-point Riemann sphere. The computation leading to \(H_F\) was explicitly realized in [1, Eq. (5.37)]. It was also performed in [8, Eq. (5.31)] in a different normalization for the conformal blocks.
We now present a direct proof of the fact that the Virasoro fusion kernel (4.1) is an eigenfunction of \(H_F\). In order to provide rigorous proofs, in the remainder of this article we will need the following assumption on the parameters:
Assumption 4.2
(Restriction on the parameters) We assume that
Assumption 4.2 implies that the integration contour \(\mathsf {F}\) in the Virasoro fusion kernel (4.1) is any curve going from \(-\infty \) to \(+\infty \) lying in the strip \(\text {Im} \,x\in ]-\tfrac{Q}{2},0[\). Moreover, Assumption 4.2 is made primarily for simplicity; we expect all the results of this article to admit an analytic continuation to more general values of the parameters, such as \(b\in \mathbb {C}\backslash i\mathbb {R},~ {\varvec{\theta }} \in \mathbb {C}^4\) and \((\sigma _s,\sigma _t) \in \mathbb {C}^2\).
Proposition 4.3
The Virasoro fusion kernel satisfies the following pair of difference equations:
Although the pair of difference Eq. (4.19) is known, we are not aware of a direct proof of it. More precisely, Eq. (4.19) are special cases of the pentagon equation which is one relation of the Moore–Seiberg groupoid [16, 17, 21]. They also arise from the fact that the fusion transformation (3.11) diagonalizes the Verlinde loop operator \(L_{\gamma _t}\) [37]. We now present a direct proof of (4.19).Footnote 2
Proof
We only need to prove (4.19a) thanks to the symmetry (4.2) of F. It will be convenient to rewrite the definition (4.1) of F as follows:
where the dependence of \(X_F(x,\sigma _t), Y_F(x,\sigma _s)\) and \(Z_F(x)\) on b and \({\varvec{\theta }}\) is omitted for simplicity, and
The proof relies on the following non-trivial identity for the action of the difference operator (4.15) on the block \(X_F\):
where
Let us prove the identity (4.22). Recalling that the translation operators \(e^{\pm ib\partial _{\sigma _s}}\) act on \(X_F(x,\sigma _s)\) as \(e^{\pm ib\partial _{\sigma _s}} X_F(x,\sigma _s)=X_F(x,\sigma _s\pm ib)\), the left-hand side of (4.22) takes the form
Using the identities (A.10) and (A.11) satisfied by the functions \(g_b\) and \(s_b\) together with the reflection equation \(\Gamma (1-z)\Gamma (z)=\pi /{\text {sin}}{(\pi z)}\) of the (Euler) Gamma function, we obtain
where \(H_F^0\) is given in (4.17) and
Hence, the proof of (4.22) is equivalent to proving the identity \(f_1(\sigma _s)=f_2(\sigma _s)\) where
We proceed as follows: Both \(f_1(\sigma _s)\) and \(f_2(\sigma _s)\) are meromorphic functions of \(\sigma _s\). It can also be easily be checked that they are even and \(i b^{-1}\)-periodic in \(\sigma _s\). Moreover, we have the following asymptotics:
which entail the asymptotics
We now show that \(f_1(\sigma _s)\) and \(f_2(\sigma _s)\) have equal \(\sigma _s\)-residues in a horizontal period strip \(\text {Im} \,\sigma _s \in [0,b^{-1}]\). It can first be verified that \(f_2(\sigma _s)\) has vanishing residues at \(\sigma _s=\pm \tfrac{ib}{2},0\). However, it has nonzero residues at \(\sigma _s=\pm (ib+\theta _\infty +x)\) which are equal to
On the other hand, the only residues of \(f_1(\sigma _s)\) are located at \(\sigma _s=\pm (ib+\theta _\infty +x)\) and straightforward computations show that they are also equal to the right-hand side of (4.30). Hence, we have shown that the function \(f_1(\sigma _s)-f_2(\sigma _s)\) is bounded and holomorphic in a horizontal period strip \(\text {Im} \,\sigma _s \in [0,b^{-1}]\). These properties extend to the whole complex plane by \(ib^{-1}\)-periodicity in \(\sigma _s\). Therefore, Liouville theorem ensures that the function \(f_1(\sigma _s)-f_2(\sigma _s)\) is constant everywhere. By evaluation at \(\text {Re}(\sigma _s)=+\infty \) using (4.29), we deduce that \(f_1(\sigma _s)=f_2(\sigma _s)\). Hence, the identity (4.22) is proved.
We now let the difference operator \(H_F\) defined in (4.15) act on the Virasoro fusion kernel (4.20). Using (4.22), we have
The next step of the proof utilizes the following identity:
We now perform a contour shift together with \(x\rightarrow x-ib\) in the first line of (4.31), and we use (4.32). Assumption 4.2 ensures that the contour does not cross any pole. We obtain
Finally, the identity
implies that the last two lines in (4.33) cancel, and that the first line in (4.33) yields the desired result. \(\square \)
4.3.2 Second pair of difference equations
The duality transformation (4.3) exchanging the internal momenta \(\sigma _s\) and \(\sigma _t\) implies that the Virasoro fusion kernel (4.1) satisfies another pair of difference equations where the difference operators act on \(\sigma _t\). We introduce the dual operator \(\tilde{H}_F\) by
where \(H_F^0\) is given in (4.17), \(\hat{{\varvec{\theta }}}\) is defined by (3.12) and
We next show that the Virasoro fusion kernel is also an eigenfunction of this difference operator.
Proposition 4.4
The Virasoro fusion kernel satisfies the dual pair of difference equations
Proof
Again, we only need to prove (4.37a) thanks to the symmetry (4.2) of F. Let us first apply the duality transformation \({\varvec{\theta }} \rightarrow \hat{{\varvec{\theta }}}\) and \(\sigma _s \leftrightarrow \sigma _t\) to Eq. (4.19a):
where \(H_F\) is given in (4.15). Substituting the identity (4.3) into (4.38), we obtain
where for the sake of brevity we denoted \(f(a,\pm b)=f(a,b)f(a,-b)\). The operator on the left-hand side of (4.39) takes the form
A tedious but straightforward computation using the properties (A.10) and (A.11) of the functions \(g_b\) and \(s_b\) shows that for \(k=\pm 1\), we have
which finally implies the identity
In view of (4.39), this completes the proof. \(\square \)
In summary, we have shown that the Virasoro fusion kernel satisfies two pairs of difference equations given in (4.19) and (4.37).
5 Main result
The renormalized Ruijsenaars hypergeometric function (2.3) and the Virasoro fusion kernel (4.1) were studied in Sects. 2 and 4, respectively. Although they appear in different contexts, the two functions resemble each other. Both of them are proportional to a hyperbolic Barnes integral (B.2) and are joint eigenfunctions of four difference operators. The main result of this section is Theorem 1. It shows that F and \(R_\text {ren}\) are the same function up to normalization.
The key to the identification of F and \(R_\text {ren}\) will be to compare and match the four difference equations that they satisfy. Let us first compare the difference operators \(H_F\) defined by (4.15) and \(H_{RvD}\) given in (2.9). \(H_F\) and \(H_{RvD}\) appear in the left-hand sides of the difference Eqs. (4.19a) and (2.12a) satisfied by F and \(R_\text {ren}\), respectively. Of particular importance are the “potentials” \(H_F^0\) defined by (4.17) and V given in (2.11), because they remain invariant under any change of normalization. The first step in the identification of F and \(R_\text {ren}\) is to show that \(H_F^0\) and V are equal under a certain parameter correspondence.
5.1 Ruijsenaars/CFT parameter correspondence
We now provide a parameter correspondence between the Virasoro fusion kernel \(F\left( b,{\varvec{\theta }},\sigma _s,\sigma _t\right) \) and the Ruijsenaars hypergeometric function \(R_\text {ren}(a_-,a_+,\varvec{\gamma },v,\hat{v})\). First of all, we have
The second relation between the pairs \((v,\hat{v})\) and \((\sigma _s,\sigma _t)\) is simply given by
Moreover, the couplings \(\varvec{\gamma }\) defined by (2.1) and the external momenta \({\varvec{\theta }}\) given in (3.7) are related by
where the matrix L reads
Finally, the dual sets of parameters \(\hat{\varvec{\gamma }}\) and \(\hat{\varvec{\theta }}\), respectively, given in (2.1) and (3.12) can be related as follows. It is straightforward to verify that the matrices J defined by (2.2), K given in (3.12) and L satisfy
which implies
We emphasize that the parameter correspondence described above can be rescaled thanks to the property (2.4) of the function \(R_\text {ren}\).
It can now be verified that the potentials \(H_F^0\) defined by (4.17) and V given in (2.11) are equal:
This identification suggests that the difference operator \(H_{RvD}\) defined in (2.9) can be obtained from \(H_F\) given in (4.15) after a proper change of normalization. It also suggests that the difference Eq. (4.19a) satisfied by F can be mapped to the difference Eq. (2.12a) satisfied by \(R_\text {ren}\).
5.2 Renormalized fusion kernel \(F_{\text {ren}}\)
5.2.1 Some requirements
The second step in the identification of F and \(R_\text {ren}\) is to find a renormalized version \(F_{\text {ren}}\) of F which satisfies a difference equation of the form (2.12a), but also three other equations of the form (2.12b), (2.12c), (2.12d). This requirement can be reformulated as follows. The difference Eq. (2.12a) satisfied by the function \(R_\text {ren}\) implies the three remaining Eqs. (2.12b), (2.12c) and (2.12d) because \(R_\text {ren}\) satisfies the identities (2.5) and (2.6). Moreover, using the parameter correspondence of Sect. 5.1, the self-duality (2.6) of \(R_\text {ren}\) becomes
This equation can be compared to the property (4.3) of the Virasoro fusion kernel: The function \(R_\text {ren}\) is self-dual, while F is not. We deduce that the key to the identification of F and \(R_\text {ren}\) is to find a renormalized version \(F_\text {ren}\) of F which (i) satisfies a difference equation of the type (2.12a), (ii) is invariant under \(b\rightarrow b^{-1}\), and (iii) is self-dual.
5.2.2 Definition of \(F_{\text {ren}}\)
We now present a renormalized version \(F_{\text {ren}}\) of F which satisfies the three properties (i)–(iii). First, we define renormalized conformal blocks \(\mathcal {F}_\text {ren}\) by
where \(\mathcal F\) is given in (3.8), and where the normalization factor N is
We are now going to rewrite the fusion transformation (3.11) in terms of \(\mathcal {F}_\text {ren}\). We first introduce a weight functionFootnote 3
where
The fusion transformation (3.11) can now be rewritten as
where the renormalized Virasoro fusion kernel \(F_{\text {ren}}\) is defined by
and where F is defined in (4.1). In the next three propositions, we show that \(F_{\text {ren}}\) satisfies the desired three properties (i)–(iii).
Proposition 5.1
The following identity holds:
Proof
Equation (5.15) follows from the symmetries \(s_b(x)=s_{b^{-1}}(x)\) and \(g_b(x)=g_{b^{-1}}(x)\). \(\square \)
We now prove that \(F_{\text {ren}}\) is self-dual.
Proposition 5.2
The renormalized Virasoro fusion kernel \(F_{\text {ren}}\) satisfies
Proof
The proof consists of writing an explicit relation between \(F_{\text {ren}}\left( b,{\varvec{\theta }},\sigma _s,\sigma _t\right) \) and \(F_{\text {ren}}\left( b,\hat{{\varvec{\theta }}},\sigma _t,\sigma _s\right) \) using the definition (5.14) and the identity (4.3). First, from (5.14) we have
Substituting the identity (4.3) into (5.17), we have
where \(\alpha \) is given in (4.4). Using once again the definition (5.14), we obtain
Finally, a direct computation using \(s_b(x)=g_b(x)/g_b(-x)\) shows that all the prefactors in the right-hand side of (5.19) cancel out. Therefore, the identity (5.16) is obtained. \(\square \)
5.3 Difference equations for \(F_{\text {ren}}\)
We now show that the renormalized Virasoro fusion kernel and the renormalized Ruijsenaars hypergeometric function satisfy the same four difference equations.
Proposition 5.3
The renormalized fusion kernel \(F_{\text {ren}}\) defined by (5.14) satisfies the following difference equations:
where the matrix L is given in (5.4) and \(H_{RvD}\) is defined by (2.9).
Proof
We only need to prove (5.20a) thanks to the symmetries (5.15) and (5.16) of \(F_\text {ren}\). Moreover, it will be convenient to rewrite (5.14) as \(F=(P(\sigma _t)/Q(\sigma _s))F_{\text {ren}}\), where
Substituting \(F=(P(\sigma _t)/Q(\sigma _s))F_{\text {ren}}\) into the difference Eq. (4.19a) satisfied by F, we obtain
The factors \(P(\sigma _t)\) in the left-hand side of (5.22) cancel out, since the difference operator \(H_F\left( b,{\varvec{\theta }},\sigma _s\right) \) acts on the variable \(\sigma _s\). Therefore, the proof of (5.20a) consists of verifying the following identity:
where \(H_F\) and \(H_{RvD}\) are, respectively, defined by (4.15) and (2.9). We have
where \(H_F^+\) is given in (4.16). Using the identity (A.10) satisfied by the \(g_b\)-function, it is straightforward to verify that the following identities hold for \(k=\pm 1\):
We now substitute (5.25) into (5.24), and we use the reflection equation \(\Gamma (1-z)\Gamma (z)=\pi /{\text {sin}}{(\pi z)}\). For \(k=\pm 1\), we obtain
where C is defined by (2.10). It finally remains to use the identification (5.7) of the potentials V and \(H_F^0\) to obtain (5.23). \(\square \)
5.4 \(F_{\text {ren}}=R_{\text {ren}}\)
We have shown that the renormalized Virasoro fusion kernel (5.14) and the renormalized Ruijsenaars hypergeometric function (2.3) satisfy the same four difference equations. Therefore, the two functions are proportional. We now present the main result of this article.
Theorem 1
The renormalized fusion kernel \(F_{\text {ren}}\) given in (5.14) and the renormalized Ruijsenaars hypergeometric function defined by (2.3) are equal:
where the matrix L is given in (5.4).
Proof
The equality is not immediate and follows from the identity (B.4) satisfied by the hyperbolic Barnes integral. Let us first rewrite \(F_{\text {ren}}\) using (5.14) and the representation (4.1). It will also be convenient to perform a shift \(x\rightarrow x-\tfrac{iQ}{2}\) in the integrand. This amounts to lifting up all poles of the integrand by \(\tfrac{iQ}{2}\). Because of Assumption 4.2, this shift maps the contour \(\mathsf {F}\) to a contour \(\mathsf {F}'\) which runs from \(-\infty \) and \(+\infty \) and lies in the strip \(\text {Im} \,x \in ]0,\tfrac{Q}{2}[\). It is now straightforward to verify that \(F_{\text {ren}}\) can be written as
On the other hand, the function \(R_\text {ren}\) defined in (2.3) satisfies
where the contour \(\mathsf {R}\) runs from \(-\infty \) to \(+\infty \) lying in the strip \(\text {Im} \,z \in ]-\tfrac{Q}{2},0[\). Therefore, the proof of Theorem 1 consists of proving that the functions (5.28) and (5.29) are equal. Recalling the definition (B.2) of the hyperbolic Barnes integral and using the identity \(s_b(z)=G(b,b^{-1},z)\), the contour integral in (5.28) takes the form
Several choices of \(\varvec{v}\in \mathcal {G}_{iQ}\) lead to the same contour integral. Here, we choose
From (B.3), we have \(s=\frac{\theta _0-\theta _1+\theta _\infty -\theta _t}{2}\), and the action of \(\omega \) on the parameters \(\varvec{v}\in \mathcal {G}_{iQ}\) yields
Finally, the equality between the functions (5.28) and (5.29) is found after applying the identity (B.4) on (5.30), performing the change of variable \(x=-z-\frac{\theta _1}{2}-\frac{\theta _0}{2}-\frac{\theta _\infty }{2}-\frac{3\theta _t}{2}\) which maps the contour \(\mathsf {F}'\) to \(\mathsf {R}\), and using the identity \(s_b(z)=s_b(-z)^{-1}\). \(\square \)
6 Conclusion and perspectives
In this article, we have proved that the Virasoro fusion kernel is a joint eigenfunction of four difference operators. We have found a normalization of the conformal blocks for which the four difference operators are mapped to four versions of the quantum relativistic hyperbolic \(BC_1\) Calogero–Moser Hamiltonian. We have consequently proved that the Virasoro fusion kernel and the Ruijsenaars hypergeometric function coincide up to normalization and are the quantum eigenfunction of this integrable system. We now mention a list of perspectives related to this work.
-
(1)
It would be interesting to understand the role played by the four-point Virasoro conformal blocks in the context of the present integrable system. In view of (5.13) and Theorem 1, the function \(R_\text {ren}\) is the kernel of the fusion transformation relating the s- and t-channel renormalized conformal blocks. On the other hand, in [28] a unitary Hilbert space transform associated with the function \(R_\text {ren}\) was constructed for special values of the couplings. We believe that this Hilbert space is in fact spanned by the four-point Virasoro conformal blocks.
-
(2)
The quantum eigenfunction of the \(A_1\) relativistic hyperbolic CM system is a one-coupling specialization of the Ruijsenaars hypergeometric function [29]. It would be interesting to compare this limit to the transition limit from the Virasoro fusion kernel to the Virasoro modular kernel [11]. The latter describes how conformal blocks associated with the one-point torus transform under a mapping class group action [18].
-
(3)
A natural question is to find higher rank generalizations of our result. The \(BC_N\), \(N>1\) generalization of the function \(R_\text {ren}\) has not yet been constructed. Higher rank analogs of the Virasoro fusion kernel are associated with \(\mathcal {W}\)-type algebras and also remain to be found. However, the framework developed in [33, 34] allows us, in principle, to construct such a generalization from a quantum group perspective.
-
(4)
What is the meaning of the classical and/or non-relativistic limits in the conformal blocks setting?
-
(5)
The R-function reduces to the celebrated Askey–Wilson polynomials in a limit where one of \(v, \hat{v}\) is discretized [26]. What does this limit mean from the conformal blocks viewpoint?
-
(6)
The Askey–Wilson polynomials can be studied using representation theory of the double affine Hecke algebra and the Askey–Wilson algebra [14, 19]. An interesting program would be to generalize this algebraic study to the case of \(R_\text {ren}\). We believe that Virasoro conformal blocks and their quantum monodromies provide the correct framework for such a study.
-
(7)
Various confluent limits of the Virasoro fusion kernel were constructed in [15]. It would be interesting to understand these limits from an integrable system point of view.
-
(8)
An interesting project motivated by the WZW SL(2, R) model would be to construct the fusion kernel of the affine Lie algebra \(\hat{sl}_2\) and to find a connection to integrable systems.
-
(9)
Due to the role played by the Virasoro fusion kernel in the bootstrap approach to Liouville theory [21, 23], we hope that the present work can provide new insights on the role of integrability in two-dimensional CFTs.
Notes
The proof is mostly inspired from the proof of [26, Theorem 3.1].
The weight function \(\omega \) was introduced by Ruijsenaars in [28, Eq. (1.15)] in order to construct a unitary eigenfunction transform associated with the function \(R_\text {ren}\).
A similar identity using a degeneration limit of the Spiridonov’s V-function was obtained in [38].
References
Alday, L.F., Gaiotto, D., Gukov, S., Tachikawa, Y., Verlinde, H.: Loop and surface operators in N=2 gauge theory and Liouville modular geometry. J. High Energy Phys. 2010, 113 (2010)
Alday, L.F., Gaiotto, D., Tachikawa, Y.: Liouville correlation functions from four-dimensional gauge theories. Lett. Math. Phys. 91, 167–197 (2010)
Belavin, A.A., Polyakov, A.M., Zamolodchikov, A.B.: Infinite conformal symmetry in two-dimensional quantum field theory. Nucl. Phys. B 241, 333–380 (1984)
van de Bult, F.J.: Ruijsenaars’ hypergeometric function and the modular double of \(U_q(sl(2, C))\). Adv. Math. 204, 53971 (2006)
van de Bult, F.J., Rains, E.M., Stokman, J.V.: Properties of generalized univariate hypergeometric functions. Commun. Math. Phys. 275, 3795 (2007)
Collier, S., Gobeil, Y., Maxfiel, H., Perlmutter, E.: Quantum Regge trajectories and the Virasoro analytic bootstrap. J. High Energy Phys. 2019, 212 (2019)
Chang, C.M., Lin, Y.H.: Bootstrap, universality and horizons. J. High Energy Phys. 2016, 68 (2016)
Drukker, N., Gomis, J., Okuda, T., Teschner, J.: Gauge theory loop operators and liouville theory. J. High Energy Phys. 2010, 57 (2010)
Faddeev, L., Kashaev, R.: Quantum dilogarithm. Mod. Phys. Lett. 9, 265–282 (1994)
Hadasz, L., Jaskolski, Z., Piatek, M.: Analytic continuation formulae for the BPZ conformal blocks. Acta Phys. Polon. B 36, 845–864 (2005)
Hadasz, L., Jaskólski, Z., Suchanek, P.: Modular bootstrap in Liouville field theory. Phys. Lett. B 685, 79 (2010)
Kusuki, Y.: Light cone bootstrap in general 2D CFTs and entanglement from light cone singularity. J. High Energy Phys. 2019, 25 (2019)
Koornwinder, T.H.: Askey–Wilson polynomials for root systems of type \(BC\), in: Hypergeometric functions on domains of positivity, Jack polynomials, and applications (Tampa, FL, 1991), 189 204, Contemp. Math., 138, Am. Math. Soc., Providence, RI (1992)
Koornwinder, T.H., Mazzocco, M.: Dualities in the q-Askey scheme and degenerate DAHA. Stud. Appl. Math. 141, 424473 (2018)
Lenells, J., Roussillon, J.: Confluent conformal blocks of the second kind. J. High Energy Phys. 2020, 133 (2020)
Moore, G., Seiberg, N.: Classical and quantum conformal field theory. Commun. Math. Phys. 123, 177–254 (1989)
Nemkov, N.A.: Fusion transformations in Liouville theory. Theo. Math. Phys. 189, 1574–1591 (2016)
Nemkov, N.A.: On modular transformations of toric conformal blocks. J. High Energy Phys. 2015, 39 (2015)
Noumi, M., Stokman, J.V.: Askey–Wilson polynomials: an affine Hecke algebra approach, Laredo Lectures on Orthogonal Polynomials and Special Functions, Adv. Theory Spec. Funct. Orthogonal Polynomials, Nova Science Publication, Hauppauge, NY, 2004, pp. 111144. MR 2085854 (2005h:42057)
Nidaiev, I., Teschner, J.: On the relation between the modular double of \(U_q(sl(2,R))\) and the quantum Teichmüller theory. arXiv:1302.3454 [math-ph]
Ponsot, B., Teschner, J.: Liouville bootstrap via harmonic analysis on a noncompact quantum group. arXiv:hep-th/9911110
Ponsot, B., Teschner, J.: Clebsch–Gordan and Racah–Wigner coefficients for a continuous series of representations of \(\cal{U}_q(\mathfrak{sl}(2,\mathbb{R}))\). Commun. Math. Phys. 224, 613–655 (2001)
Ribault, S.: Conformal field theory on the plane. arXiv:1406.4290v5 [hep-th]
Ruijsenaars, S.: Systems of Calogero-Moser type, Particles and fields, 251–352
Ruijsenaars, S.: First order analytic difference equations and integrable quantum systems. J. Math. Phys. 38, 1069 (1997)
Ruijsenaars, S.: A generalized hypergeometric function satisfying four analytic difference equations of Askey–Wilson type. Commun. Math. Phys. 206, 639–690 (1999)
Ruijsenaars, S.: A generalized hypergeometric function II. Asymptotics and D4 Symmetry, Commun. Math. Phys. 243, 389412 (2003)
Ruijsenaars, S.: A generalized hypergeometric function III. Associated Hilbert Space Transform, Commun. Math. Phys. 243, 413448 (2003)
Ruijsenaars, S.: A relativistic conical function and its Whittaker Limits, SIGMA 7 (2011), 101, 54 pages
Ruijsenaars, S.N.M.: Complete integrability of relativistic Calogero-Moser systems and elliptic function identities. Commun. Math. Phys. 110, 191213 (1987)
Ruijsenaars, S.N.M., Schneider, H.: A new class of integrable systems and its relation to solitons. Ann. Phys. (NY) 170, 370405 (1986)
Spiridonov, V.P.: Theta hypergeometric integrals. Algebra i Analiz 15(6), 161–215 (2003) (St. Petersburg Math. J. 15(6), 929–967 (2004))
Schrader, G., Shapiro, A.: Continuous tensor categories from quantum groups I: algebraic aspects. arXiv:1708.08107 [math.RT]
Schrader, G., Shapiro, A.: On b-Whittaker functions. arXiv:1806.00747 [math-ph]
Teschner, J.: Liouville theory revisited, Class. Quant. Grav. 18, R153R222 (2001)
Teschner, J.: A lecture on Liouville vertex operators, Int. J. Mod. Phys. A 19S2, 436458 (2004)
Teschner, J., Vartanov, G.: Supersymmetric gauge theories, Quantization of \(\cal{M} _{\text{flat}}\), and conformal field theory. arXiv:1302.3778 [hep-th]
Teschner, J., Vartanov, G.: 6j symbols for the modular double, quantum hyperbolic geometry, and supersymmetric gauge theories. Lett. Math. Phys. 104, 527551 (2014)
Terashima, Y., Yamazaki, M.: SL(2,\(\mathbb{R}\)) Chern–Simons, Liouville, and gauge theory on duality walls. J. High Energy Phys. 2011, 135 (2011)
van Diejen, J.F.: Integrability of difference Calogero-Moser systems. J. Math. Phys. 35, 2983 (1994)
Woronowicz, S.L.: Quantum exponential function. Rev. Math. Phys. 12, 873–920 (2000)
Al, B. Zamolodchikov.: Conformal symmetry in two-dimensional space: Recursion representation of conformal block, TMF 73, : 103–110. Theor. Math. Phys. 73(1987), 1088–1093 (1987)
Acknowledgements
The author would like to thank P. Baseilhac, E. Langmann, S. Ribault and S. Ruijsenaars for valuable discussions and encouragements. The author is also grateful to O. Lisovyy for many helpful discussions and for his comments on a first version of the manuscript. Finally, the author is indebted to J. Lenells for his encouragements and his careful checks on the latest version of this paper. Support is acknowledged from the European Research Council, Grant Agreement No. 682537. The author states that there is no conflict of interest.
Funding
Open Access funding provided by Royal Institute of Technology
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. Special functions
Equation (2.3) expresses the renormalized Ruijsenaars hypergeometric function in terms of the hyperbolic gamma function \(G(a_-,a_+,z)=E(a_-,a_+,z)/E(a_-,a_+,-z)\). Let us omit the dependence of G and E on \(a_-\) and \(a_+\) for simplicity. Following [26], the two functions are defined by
and
where \(a=(a_++a_-)/2\). The functions G and E are obviously invariant under the exchange of \(a_-\) and \(a_+\). Moreover, G satisfies the difference equations
As long as the ratio \(a_-/a_+\) stays in the subset \(\mathbb {C} \setminus (-\infty , 0]\), the function G extends to a meromorphic function with poles and zeros given by
Finally, the function G is scale invariant:
The function E satisfies the difference equation
and the difference equation obtained by exchanging \(a_-\) and \(a_+\) in (A.7). The function E is holomorphic as long as \(a_-/a_+ \in \mathbb {C} \setminus (-\infty , 0]\). Moreover, E has zeros located at
On the other hand, the Virasoro fusion kernel (4.1) is defined in terms of two special functions \(s_b(z)\) and \(g_b(z)\) such that \(s_b(z)=g_b(z)/g_b(-z)\). They are related to the functions G and E as follows:
The properties of \(s_b\) and \(g_b\) can be deduced from the ones of G and E. Both \(s_b\) and \(g_b\) are obviously invariant under the exchange of b and \(b^{-1}\). Most importantly, the function \(g_b(z)\) satisfies the difference equations
Finally, the \(s_b\) function satisfies
Appendix B. Hyperbolic Barnes integral
In this appendix, we define the hyperbolic Barnes integral \(\mathcal B_h(a_-,a_+,\varvec{u})\) following [5]. We describe one of its symmetry properties which is the key to the proofs of Proposition 4.1 and Theorem 1.
Define the complex hyperplane \(\mathcal {G}_k\) such that
The hyperbolic Barnes integral \(\mathcal B_h(a_-,a_+,\varvec{u})\) is defined for \(\varvec{u} \in \mathcal {G}_{2ia}\) and \(a=\tfrac{a_-+a_+}{2}\) by
where the contour \(\mathcal {C}\) goes from \(-\infty \) and \(+\infty \), passing in between the upper and lower sequences of poles of the integrand.
Lemma B.1
[5, Proposition 4.7] Let \(\omega \) be an operator acting on \(\varvec{u} \in \mathcal {G}_{2ia}\) as
The hyperbolic Barnes integral \(B_h(a_-,a_+,\varvec{u})\), \(\varvec{u} \in \mathcal {G}_{2ia}\) is invariant under permutations of \((u_1, u_2, u_7,u_8)\) and of \((u_3,u_4,u_5,u_6)\), and it satisfiesFootnote 4
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
Roussillon, J. The Virasoro fusion kernel and Ruijsenaars’ hypergeometric function. Lett Math Phys 111, 7 (2021). https://doi.org/10.1007/s11005-020-01351-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-020-01351-4