1: \documentclass[paper]{JHEP3}
2: \usepackage{amsmath,amssymb,amsfonts,epic,epsfig,psfrag}
3: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4: %\oddsidemargin 32pt\evensidemargin 122pt
5: %Nastroiki dlya pechati psnup -s0.83 -m-60 -2 w.ps ww.ps
6: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7: \DeclareMathAlphabet{\mathW}{OT1}{pnc}{m}{n}
8: \DeclareMathAlphabet{\mathsfsl}{OMS}{pplcm}{b}{n}
9: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10: \author{V.~A.~Fateev$^{1,2}$ and A.~V.~Litvinov$^{1,3}$\\
11: $^1$~Landau Institute for Theoretical Physics, 142432 Chernogolovka, Russia.\\
12: $^2$~Laboratoire de Physique Th\'eorique et Astroparticules, UMR5207 CNRS-UM2, Universit\'e
13: Montpellier~II, Pl.~E.~Bataillon, 34095 Montpellier, France\\
14: $^3$~NHETC, Department of Physics and Astronomy, Rutgers University,\\ Piscataway, NJ 08855-0849, USA}
15: \abstract{Two-dimensional $\mathfrak{sl}(n)$ quantum Toda field theory on a sphere is considered. This theory provides an important example of conformal field theory with higher spin symmetry. We derive the three-point correlation functions of the exponential fields if one of the three fields has a special form. In this case it is possible to write down and solve explicitly the differential equation for the four-point correlation function if the fourth field is completely degenerate. We give also expressions for the three-point correlation functions in the cases, when they can be expressed in terms of known functions. The semiclassical and minisuperspace approaches in the conformal Toda field theory are studied and the results coming from these approaches are compared with the proposed analytical expression for the three-point correlation function. We show, that in the framework of semiclassical and minisuperspace approaches general three-point correlation function can be reduced to the finite-dimensional integral.}
16: %\JHEP{00(2007)000}
17: \title{Correlation functions in conformal Toda field theory I}
18: \preprint{RUNHETC-2007-16\\PTA/07-42}
19: \dedicated{September 24, 2007}
20: \keywords{Integrable Field Theories, Conformal and W Symmetry}
21: %\received{\today}
22: %\revised{\today}
23: %\accepted{\today}
24: \begin{document}
25: \section*{Introduction}\addcontentsline{toc}{section}{Introduction}
26: It is well known, that the problem of integrating over all metrics modulo diffeomorphism on a two-dimensional surface can be reduced to studying the quantum Liouville field theory \cite{Polyakov:1981rd}. First attempts to solve this theory were transformed into a beautiful and complete theory known as the two-dimensional conformal field theory \cite{Belavin:1984vu}. This theory is exactly solvable because the algebra of generators of the conformal symmetry in two dimensions, which governs the theory, is infinite dimensional. It coincides with the Virasoro algebra, which is the central extension of the algebra of vector fields on a circle. It is well known, that Virasoro algebra can be obtained as a quantum Drinfeld-Sokolov reduction of the affine $\mathfrak{\hat{sl}}(2)$ algebra. The same construction can be generalized to the case of general affine simple Lie algebra $\mathfrak{\hat{g}}$. As a result, after reduction one obtains associative algebra ($\mathW{W}$ algebra), as an additional infinite dimensional symmetry consistent with conformal symmetry, i.~e. as a direct extension of the Virasoro algebra \cite{Zamolodchikov:1985wn}. Two-dimensional Toda field theory (TFT) associated with simple Lie algebra $\mathfrak{g}$ generalizes Liouville field theory in a similar sense. The algebra of the generators of the symmetry, which governs TFT dynamics, coincides with $\mathW{W}$ algebra (associated with the corresponding Lie algebra $\mathfrak{g}$).
27:
28: Due to its geometric interpretation \cite{Gervais:1993yh,Razumov:1993pv}, TFT is relevant in the investigation of the $W$ strings and $W$ gravity (see for example Refs \cite{Pope:1992mi,West:1993np}). It also provides an important example of non-rational conformal field theory with higher spin symmetry and hence has its own interest. This higher spin symmetry manifests itself also in rational conformal field theories, which describe the critical behavior of many interesting statistical systems, like for example $Z_n$ Ising models (parafermionic CFT \cite{Fateev:1985mm}), tricritical Ising and $Z_3$ Potts models, Ashkin-Teller models and also in the large variety of integrable statistical systems studied and solved in Refs \cite{Date:1987vf,Jimbo:1987ra}. The results derived in conformal Toda field theory can be applied to study of the short-distance asymptotics of the correlation functions in the massive integrable quantum field theory, which is known as affine Toda field theory, as well as to calculation of the vacuum expectation values of the exponential fields in this theory (see for example Refs \cite{Ahn:1999dz,Ahn:2000ki,Fateev:2000pi}). As conformal TFTs appear by the quantum Hamiltonian reduction of the WZNW models (see for example \cite{Feher:1992yx}), they can be also applied to study WZNW models with non-compact Lie algebras.
29:
30: There has been much progress in understanding Liouville field theory ($\mathfrak{sl}(2)$ TFT) and hence in the conformal field theory itself in the middle of 90's. In particular, the three-point correlation function was found explicitly for arbitrary exponential fields \cite{Dorn:1992at,Dorn:1994xn,Zamolodchikov:1995aa,Teschner:2003en}. Known three-point correlation functions, together with the fact, that conformal blocks are completely determined by the conformal symmetry, solve the conformal bootstrap problem in Liouville field theory.
31:
32: Conformal Toda field theory is much more complicated than the Liouville field theory. One of the main reasons is that in TFT we need in general case more data to solve the conformal bootstrap problem \cite{Bowcock:1993wq}. In particular, this difficulty manifests itself in the fact that contrary to the Liouville field theory it is impossible to write down the differential equation for the four-point correlation function, which contains one completely degenerate and three arbitrary fields \cite{Bowcock:1993wq,Fateev:2005gs}. In Liouville field theory it allows to write down functional relation for the general three-point correlation function, which in some domain of parameters has a unique solution (see for example \cite{Teschner:1995yf}). In TFT this procedure fails (see section \ref{DIFF_EQN} for details). It means that other methods should be applied. It is interesting, that the difficulty of such a type appears already at the classical level, where the problem of finding the solution to the $\mathfrak{sl}(n)$ classical Toda equation for $n>2$ with three singular points (which determines so called "heavy" semiclassical limit of the three-point correlation function) reduces to the problem of studying Fuchsian ordinary differential equation with accessory parameters (see section \ref{CL-heavy}). Accessory parameters are absent in the Liouville case ($\mathfrak{sl}(2)$ TFT) and this is the reason why this theory is rather simpler.
33:
34: This paper is the first of two papers, devoted to study the correlation functions in the $\mathfrak{sl}(n)$ TFT, which can be found analytically (may be in terms of finite dimensional integrals). It is organized as follows: in section \ref{TFT} we briefly remind some basic facts about conformal TFT and propose an analytical expression for the three-point correlation function of the exponential fields in the case, when parameters of one of the field take the special values (see Eq \eqref{C}). We give also several another examples of correlation functions, which can be expressed in terms of known functions. In section \ref{DIFF_EQN} we present the derivation of the proposed three-point correlation function \eqref{C} by using the special properties of the operator algebra of degenerate fields. In sections \ref{CL-heavy} and \ref{CL-light} the semiclassical analysis of the theory is developed. In the section \ref{CL-heavy} we study the case, when all exponential fields in correlation function are "heavy" (i.~e. have parameters proportional to the opposite coupling constant) and in the section \ref{CL-light} we study the case, when all exponential fields are "light" (i.~e. have parameters proportional to the coupling constant). In section \ref{MSSL} we study the minisuperspace approach to the $\mathfrak{sl}(n)$ TFT. We show, that in the case of light exponential fields, as well as in the minisuperspace limit, three-point correlation function can be expressed in terms of finite dimensional integrals. In both cases, semiclassical and minisuperspace asymptotic is in complete agreement with the proposed quantum results. The calculation details and useful formulae are given in the appendices.
35:
36: In the second part of this paper \cite{Part-Deux} we will give more detailed description of the correlation functions in conformal TFT, which can be expressed in terms of finite dimensional Coulomb integrals.
37: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
38: \section{Toda Field Theory}\label{TFT}
39: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
40: We start by recalling some basic facts and notions.
41: The Lagrangian of the $\mathfrak{sl}(n)$ conformal TFT has the form
42: \begin{equation}\label{Lagrangian}
43: \mathcal{L}=\frac{1}{8\pi}(\partial_a\varphi)^2+
44: \mu\sum_{k=1}^{n-1} e^{b(e_k,\varphi)},
45: \end{equation}
46: here $\varphi$ is the two-dimensional $(n-1)$ component scalar field $\varphi=(\varphi_1\dots\varphi_{n-1})$, $b$ is the dimensionless coupling constant, $\mu$ is the scale parameter called the cosmological constant and $(e_k,\varphi)$ denotes the scalar product, where vectors $e_k$ are the simple roots of the Lie algebra $\mathfrak{sl}(n)$ with the matrix of the scalar products $K_{ij}=(e_i,e_j)$ (Cartan matrix)
47: \begin{equation}\label{K}
48: K_{ij}=
49: \begin{pmatrix}
50: \;2 & -1 & 0 & \hdotsfor{2} & 0\\
51: -1 & \;2 & -1 & \hdotsfor{2} & 0\\
52: 0 & -1 & \hdotsfor{4}\\
53: \hdotsfor{4} & -1 & 0\\
54: 0 & \hdotsfor{2} & -1 & \;2 & -1\\
55: 0 & \hdotsfor{2} & 0 & -1 & \;2
56: \end{pmatrix}.
57: \end{equation}
58: In the following we will use standart for the two-dimensional physics complex notations:
59: \begin{equation}
60: z=x_1+ix_2,\;\;\bar{z}=x_1-ix_2,\;\;\;\;\partial=\frac{\partial}{\partial z}
61: ,\;\;\bar{\partial}=\frac{\partial}{\partial\bar{z}}
62: \end{equation}
63: and introduce the notation for the measure
64: \begin{equation}
65: d^2z=dx_1dx_2.
66: \end{equation}
67: Total normalization of the Lagrangian \eqref{Lagrangian} is chosen in such a way, that
68: \begin{equation}
69: \varphi_i(z,\bar{z})\varphi_j(0,0)=
70: -\delta_{ij}\log\vert z\vert^2+\dots\quad
71: \text{at}\;z\rightarrow 0.
72: \end{equation}
73: In is useful to write TFT action explicitly in reference metric $\hat{g}_{ab}$ on a surface
74: \begin{equation}\label{TFT_Action}
75: \mathcal{A}_{TFT}=\int\left(
76: \frac{1}{8\pi}\hat{g}^{ab}(\partial_a\varphi,\partial_b\varphi)+
77: \frac{(Q,\varphi)}{4\pi}\hat{R}+
78: \mu\sum_{k=1}^{n-1} e^{b(e_k,\varphi)}
79: \right)\sqrt{\hat{g}}\;d^2x,
80: \end{equation}
81: here $\hat{R}$ is the scalar curvature of the background metric.\footnote{Bellow we consider mainly the case of sphere, in order to avoid the problem with moduli. It is useful to choose the metric $\hat{g}_{ab}=\delta_{ab}$ everywhere except the north pole ($z=\infty$), where the curvature is located. Such a choice prescribes the asymptotic $\varphi=-Q\log\vert z\vert+\dots$ at $z\rightarrow\infty$.}
82: If the background charge $Q$ is related with the parameter $b$ as
83: \begin{equation}\label{Qandb}
84: Q=\left(b+\frac{1}{b}\right)\rho
85: \end{equation}
86: with $\rho$ being a Weyl vector (half of the sum of all positive roots), then the theory \eqref{TFT_Action} is conformaly invariant.\footnote{More strictly, it becomes to be invariant under the combined Weyl transformation: $\hat{g}_{ab}\rightarrow\Omega(x)\hat{g}_{ab}$ and $\varphi\rightarrow\varphi-Q\log\Omega(x)$.} Moreover it ensures higher-spin symmetry: there are $n-1$ holomorphic currents $\mathbf{W^k}(z)$ with the spins $k=2,3,\dots,n$, which are expressed through the field $\varphi$ via the Miura transformation \cite{Fateev:1987zh}
87: \begin{equation}\label{WCurrents}
88: \prod\limits_{i=0}^{n-1}(q\partial+(h_{n-i},\partial\varphi)
89: )=\sum_{k=0}^{n}\mathbf{W^{n-k}}(z)(q\partial)^{k},
90: \end{equation}
91: where
92: \begin{equation}
93: q=b+1/b
94: \end{equation}
95: and vectors $h_{k}$ are the weights of the first fundamental representation $\pi _{1}$ of the Lie algebra $\mathfrak{sl}(n)$ with the highest weight $\omega_{1}$ (first fundamental weight)
96: \begin{equation}
97: h_{k}=\omega_{1}-e_{1}-\dots-e_{k-1}.
98: \end{equation}
99: In particular, it follows from Eq \eqref{WCurrents}, that the currents $\mathbf{W^{0}}(z)=1,\;\mathbf{W^1}(z)=0$ and the current
100: \begin{equation*}
101: \mathbf{W^2}(z)=T(z)=-
102: \frac{1}{2}(\partial\varphi)^{2}+(Q,\partial^2\varphi)
103: \end{equation*}
104: is the stress-energy tensor of the theory, which ensures local conformal invariance of TFT. The currents $\mathbf{W^k}(z)$ form closed $\mathW{W_n}$ algebra, which contains as subalgebra the Virasoro algebra with the central charge
105: \begin{equation}
106: c=n-1+12Q^2=(n-1)(1+n(n+1)(b+b^{-1})^2).
107: \end{equation}
108: This $\mathW{W_n}$ algebra represents only the chiral part of the algebra of generators of the symmetry, which governs the theory. Total algebra is a tensor product of the both holomorphic and antiholomorphic algebras
109: $\mathW{W_n}\otimes\overline{\mathW{W}}_{\mathW{n}}$.
110:
111: Basic objects of conformal Toda field theory are the exponential fields parameterized by a $(n-1)$ component vector parameter $\alpha$
112: \begin{equation}\label{field}
113: V_{\alpha}=e^{(\alpha,\varphi)},
114: \end{equation}
115: which are the spinless primary fields. They have the simple operator product expansion (OPE) with the currents $\mathbf{W^k}(\xi)$. Namely,
116: \begin{equation}
117: \mathbf{W^k}(\xi)V_{\alpha}(z,\bar{z})=
118: \frac{w^{(k)}(\alpha)V_{\alpha}(z,\bar{z})}{(\xi-z)^k}+\dots,
119: \end{equation}
120: here $\dots$ means the contribution of less singular terms. Similar OPE's with antiholomorphic currents
121: $\overline{\mathbf{W}}^{\mathbf{k}}(\bar{\xi})$ are also valid. The quantum numbers $w^{(k)}(\alpha)$ possess the symmetry under the action of the Weyl group $\mathsfsl{W}$ of the Lie algebra $\mathfrak{sl}(n)$ (which is generated by reflections in the hyperplanes perpendicular to the simple roots $e_k$) \cite{Fateev:1987zh}
122: \begin{equation}\label{WeylSymmetry}
123: w^{(k)}(\alpha)=w^{(k)}_{\hat{s}}(\alpha)\equiv
124: w^{(k)}(Q+\hat{s}(\alpha-Q)),\quad\hat{s}\in\mathsfsl{W}.
125: \end{equation}
126: In particular,
127: \begin{equation}
128: w^{(2)}(\alpha)=\Delta(\alpha)=\frac{(\alpha,2Q-\alpha)}{2}
129: \end{equation}
130: is the conformal dimension of the field $V_{\alpha}$. Equation \eqref{WeylSymmetry} suggests the idea, that the fields related via the action of the Weyl group should coincide up to a multiplicative factor. One of the important properties of TFT is that it is really true
131: \begin{equation}\label{R_s}
132: V_{Q+\hat{s}(\alpha-Q)}=R_{\hat{s}}(\alpha)V_{\alpha}\,,
133: \end{equation}
134: where $R_{\hat{s}}(\alpha)$ is the reflection amplitude, which was found in \cite{Fateev:2001mj}
135: \begin{equation}\label{ReflAmp}
136: \begin{gathered}
137: R_{\hat{s}}(\alpha)=A(Q+\hat{s}(\alpha-Q))/A(\alpha),\\
138: A(\alpha)=(\pi\mu\gamma(b^2))^{\frac{(\alpha-Q,\rho)}{b}}
139: \prod_{e>0}\Gamma(1-b(\alpha-Q,e))
140: \Gamma(-b^{-1}(\alpha-Q,e)).
141: \end{gathered}
142: \end{equation}
143: In Eq \eqref{ReflAmp} the product goes over all positive roots.
144:
145: Multipoint correlation functions of the exponential fields
146: \begin{equation}\label{CorrFunc}
147: \langle V_{\alpha_1}(z_1,\bar{z}_1)
148: \dots V_{\alpha_l}(z_l,\bar{z}_l)\rangle=
149: \int[\mathcal{D}\varphi]e^{-\mathcal{A}_{TFT}}
150: V_{\alpha_{1}}(z_1,\bar{z}_1)\dots V_{\alpha_l}(z_l,\bar{z}_l)
151: \end{equation}
152: are the main objects of the theory. One of the most important problems in TFT is to find these quantities. This problem is nontrivial due to the exponential interaction term in the Lagrangian \eqref{Lagrangian}. One can try naively to explore perturbation theory in cosmological constant $\mu$. However, pertubatively, correlation functions \eqref{CorrFunc} are equal to zero unless the "on-shell" condition
153: \begin{equation}\label{on-shell}
154: \sum_{j=1}^l\alpha_j+b\sum_{k=1}^{n-1}s_ke_k=2Q
155: \end{equation}
156: with some non-negative integers $s_k$ is satisfied. Alternatively, one can perform zero mode integration \cite{Goulian:1990qr}. Namely, let us define a zero mode $\varphi_0$ of the field $\varphi$:
157: \begin{math}
158: \varphi=\varphi_0+\tilde{\varphi}
159: \end{math}
160: with the condition that
161: \begin{math}
162: \int d^2\,x\;\tilde{\varphi}=0.
163: \end{math}
164: The integral in Eq \eqref{CorrFunc} over the zero mode $\varphi_0$ can be transformed to the Euler integral. As a result, after integration we obtain
165: \begin{multline}\label{GoulLieFormula}
166: \langle V_{\alpha_1}(z_1,\bar{z}_1)\dots V_{\alpha_l}(z_l,\bar{z}_l)\rangle=\\=
167: \frac{1}{b^{n-1}}
168: \int[\mathcal{D}\tilde{\varphi}]e^{-S_0}
169: \left[\,\prod_{k=1}^{n-1}\Gamma(-s_k)
170: \left(\mu\int e^{b(e_k,\tilde{\varphi})}\right)^{s_k}\right]
171: V_{\alpha_1}(z_1,\bar{z}_1)\dots V_{\alpha_l}(z_l,\bar{z}_l),
172: \end{multline}
173: with
174: \begin{equation*}
175: s_k=\frac{(2Q-\sum\alpha_j,\omega_k)}{b}.
176: \end{equation*}
177: Here vectors $\omega_k$ are the fundamental weights of the Lie algebra $\mathfrak{sl}(n)$\footnote{They are defined as a dual basis to the simple roots $(e_i,\omega_j)=\delta_{ij}$.}. Integration in Eq \eqref{GoulLieFormula} is performed in the theory of a free massless $(n-1)$ component scalar field with the action
178: \begin{equation*}
179: S_0=\frac{1}{8\pi}\int(\partial_a\varphi)^2d^2x.
180: \end{equation*}
181: Equation \eqref{GoulLieFormula} has no meaning if all numbers $s_k$ are general. However in the resonance situation, when all numbers $s_k$ are non-negative integers, the gamma functions in the right hand side of Eq \eqref{GoulLieFormula} have simple poles in each of the variables $(2Q-\sum\alpha_j,\omega_k)$ for $k=1,\dots,n-1$ and we can treat the main residue in these poles (the residue in each of these poles) as the corresponding free field integrals. Namely
182: \begin{multline}\label{GoulLieFormula1}
183: \underset{(2Q-\sum\alpha_j,\omega_1)=bs_1}{\text{res}}\dots
184: \underset{(2Q-\sum\alpha_j,\omega_{n-1})=bs_{n-1}}{\text{res}}
185: \langle V_{\alpha_1}(z_1,\bar{z}_1)\dots
186: V_{\alpha_l}(z_l,\bar{z}_l)\rangle=\\=
187: \frac{(-\mu)^{s_1+\dots s_{n-1}}}{s_1!\dots s_{n-1}!}
188: \langle V_{\alpha_1}(z_1,\bar{z}_1)\dots
189: V_{\alpha_l}(z_l,\bar{z}_l)
190: (\mathcal{Q}_1)^{s_1}\dots (\mathcal{Q}_{n-1})^{s_{n-1}}\rangle_0,
191: \end{multline}
192: here $\langle\dots\rangle_0$ means average over the free massless fields.
193: In Eq \eqref{GoulLieFormula1} we have introduced the notations for the so called screening charges
194: \begin{equation}\label{screening}
195: \mathcal{Q}_{k}=\int e^{b(e_k,\varphi_k)}d^2\xi,\;\;k=1,\dots,n-1.
196: \end{equation}
197: Correlation function in the r.~h.~s. of Eq \eqref{GoulLieFormula1} can be calculated using the Wick rules in the free field theory together with integration over the position of all screening fields $e^{b(e_k,\varphi)}$.
198:
199: Equation \eqref{GoulLieFormula1}, which was obtained from the classical arguments, modifies in quantum case. Namely, if the screening conditions
200: \begin{equation}\label{General-Scr}
201: (2Q-\sum_{j=1}^l\alpha_j,\omega_k)=bs_k+b^{-1}\tilde{s}_k
202: \end{equation}
203: are satisfied for any two sets $(s_1,\dots,s_{n-1})$ and $(\tilde{s}_1,\dots,\tilde{s}_{n-1})$ of non-negative integers, then the correlation function \eqref{CorrFunc} admits a pole in each of the variable $(2Q-\sum\alpha,\omega_k)$ with the main residue being expressed in terms of free field correlation function
204: \begin{multline}\label{General-GL}
205: \underset{(2Q-\sum\alpha_i,\omega_1)=bs_1+b^{-1}\tilde{s}_1}{\text{res}}\dots
206: \underset{(2Q-\sum\alpha_i,\omega_{n-1})=bs_{n-1}+b^{-1}\tilde{s}_{n-1}}{\text{res}}
207: \langle V_{\alpha_1}(z_1,\bar{z}_1)\dots
208: V_{\alpha_l}(z_l,\bar{z}_l)\rangle=\\=
209: \frac{(-\mu)^{s_1+\dots s_{n-1}}}{s_1!\dots s_{n-1}!}
210: \frac{(-\tilde{\mu})^{\tilde{s}_1+\dots\tilde{s}_{n-1}}}{\tilde{s}_1!\dots\tilde{s}_{n-1}!}
211: \times\\\times
212: \langle V_{\alpha_1}(z_1,\bar{z}_1)\dots
213: V_{\alpha_l}(z_l,\bar{z}_l)
214: (\mathcal{Q}_1)^{s_1}\dots (\mathcal{Q}_{n-1})^{s_{n-1}}
215: (\tilde{\mathcal{Q}}_1)^{\tilde{s}_1}\dots (\tilde{\mathcal{Q}}_{n-1})^{\tilde{s}_{n-1}}\rangle_0.
216: \end{multline}
217: In Eq \eqref{General-GL} we have introduced the notation for the dual screening charges
218: \begin{equation}
219: \tilde{\mathcal{Q}}_{k}=\int e^{b^{-1}(e_k,\varphi_k)}d^2\xi
220: \end{equation}
221: and for the dual cosmological constant
222: \begin{equation}\label{mu-dual}
223: \tilde{\mu}=\frac{1}{\pi\gamma(1/b^2)}\left(
224: \pi\mu\gamma(b^2)\right)^{1/b^2}.
225: \end{equation}
226: Operators $\mathcal{Q}_k$ and $\tilde{\mathcal{Q}}_k$ have an important property, that they commute with
227: all generators of the both holomorphic and antiholomorphic $\mathW{W}$ algebras. In this paper we will consider for simplicity the case, when all numbers $\tilde{s}_k=0$. It is reasonable to suppose, that the screening condition \eqref{General-Scr} defines up to the Weyl transformation \eqref{WeylSymmetry} all possible poles of the correlation function \eqref{CorrFunc}, as a function of the parameters $\alpha_k$. One should emphasize, that a simple pole in the correlation function \eqref{CorrFunc} appears if at least one screening condition \eqref{General-Scr} is satisfied.
228:
229: Knowledge of two-point and three-point correlation functions of the primary fields $V_{\alpha}$ is the first step for the calculation of the higher multipoint correlation functions of the theory. In the $\mathfrak{sl}(2)$ case (Liouville field theory), this knowledge together with the statement, that conformal blocks are completely determined by the conformal symmetry, allows us, in principle, to compute any multipoint correlation functions in this theory \cite{Belavin:1984vu}. In the $\mathfrak{sl}(n)$ TFT case for $n>2$ the situation is more complicated and we need more data (see for example \cite{Bowcock:1993wq}).
230:
231: Two-point correlation function in TFT normalized by the condition
232: \begin{equation}
233: \langle V_{\alpha}(z)V_{2Q-\alpha}(0)\rangle=|z|^{-4\Delta(\alpha)}.
234: \end{equation}
235: All other non-zero two-point correlation functions can be obtained from this correlation function by the Weyl reflection \eqref{R_s}. For example
236: \begin{equation}\label{MaxRefl-def}
237: \langle V_{\alpha}(z)V_{\alpha^{*}}(0)\rangle=\frac{R^{-1}(\alpha)}{|z|^{4\Delta(\alpha)}},
238: \end{equation}
239: here $R(\alpha)$ is the maximal refrection amplitude defined as
240: \begin{equation}\label{MaxRefl}
241: R(\alpha)=\frac{A(2Q-\alpha)}{A(\alpha)}
242: \end{equation}
243: with $A(\alpha)$ given by Eq \eqref{ReflAmp} and conjugated vector parameter $\alpha^{*}$ defined as
244: \begin{equation}\label{Conj-charge}
245: (\alpha,e_k)=(\alpha^{*},e_{n-k}).
246: \end{equation}
247:
248:
249: Much more complicated object -- three-point correlation function has standart coordinate dependence due to the conformal invariance of the theory
250: \begin{equation}\label{Ctotal}
251: \langle V_{\alpha_1}(z_1,\bar{z}_1)
252: V_{\alpha_2}(z_2,\bar{z}_2)V_{\alpha_3}(z_3,\bar{z}_3)\rangle=\frac
253: {C(\alpha_1,\alpha_2,\alpha_3)}
254: {\vert z_{12}\vert^{2(\Delta_1+\Delta_2-\Delta_3)}
255: \vert z_{13}\vert^{2(\Delta_1+\Delta_3-\Delta_2)}
256: \vert z_{23}\vert^{2(\Delta_2+\Delta_3-\Delta_1)}}.
257: \end{equation}
258: All non-trivial information about the operator algebra of the primary fields $V_{\alpha}$ of the model is encoded in the constants $C(\alpha_1,\alpha_2,\alpha_3)$. According to Eq \eqref{GoulLieFormula1} if the parameters $\alpha_1$, $\alpha_2$ and $\alpha_3$ satisfy the screening condition
259: \begin{equation*}
260: \alpha_1+\alpha_2+\alpha_3+bs_1e_1+\dots+bs_{n-1}e_{n-1}=2Q,
261: \end{equation*}
262: function $C(\alpha_1,\alpha_2,\alpha_3)$ will have a pole in each of the variables $(2Q-\alpha_1-\alpha_2-\alpha_3,\omega_k)$ and
263: we can define the main residue in these poles in terms of Coulomb integral\footnote{In the integral \eqref{GoulLieFormula1} we can set using the projective invariance $z_1=0$, $z_2=1$ and $z_3=\infty$.}
264: \begin{multline}\label{ResCond}
265: \underset{(2Q-\sum\alpha_i,\omega_1)=bs_1}{\text{res}}\dots
266: \underset{(2Q-\sum\alpha_i,\omega_{n-1})=bs_{n-1}}{\text{res}}
267: C(\alpha_1,\alpha_2,\alpha_3)=\\=
268: (-\pi\mu)^{s_1+\dots+s_{n-1}}I_{s_1\dots s_{n-1}}(\alpha_1,\alpha_2,\alpha_3)
269: \end{multline}
270: with
271: \begin{multline}\label{I}
272: I_{s_1\dots s_{n-1}}(\alpha_1,\alpha_2,\alpha_3)=
273: \int d\mu_{s_1}(t_1)\dots\,d\mu_{s_{n-1}}(t_{n-1})
274: \times\\\times
275: \prod_{k=1}^{n-1}\mathcal{D}_{s_k}^{-2b^2}(t_k)\prod_{j=1}^{s_k}
276: \vert t_k^{(j)}\vert^{-2b(\alpha_1,e_k)}
277: \vert t_k^{(j)}-1\vert^{-2b(\alpha_2,e_k)}
278: \prod_{l=1}^{n-2}\mathcal{A}_{s_ls_{l+1}}^{b^2}(t_l,t_{l+1}),
279: \end{multline}
280: here $t_k^{(j)}$ is the coordinate of the $j$-th screening field $e^{b(e_k,\varphi)}$
281: and quantities $\mathcal{D}_{s_k}(t_k)$ and $\mathcal{A}_{s_ls_m}(t_l,t_m)$ for $l\neq m$ are defined as
282: \begin{equation}\label{D-A}
283: \mathcal{D}_{s_k}(t_k)=\prod_{i<i'}^{s_k}|t_k^{(i)}-t_k^{(i')}|^{2}\qquad\text{and}\qquad
284: \mathcal{A}_{s_ls_m}(t_l,t_m)=\prod_{i=1}^{s_l}\prod_{i'=1}^{s_m}|t_l^{(i)}-t_m^{(i')}|^2.
285: \end{equation}
286: Throughout this paper we use the notation for the measure of integration
287: \begin{equation}
288: d\mu_{s_k}(t_k)=\frac{1}{\pi^{s_k}s_k!}\prod_{i=1}^{s_k}d^2t_k^{(i)}.
289: \end{equation}
290:
291: In the case of algebra $\mathfrak{sl}(2)$ Coulomb integral \eqref{I} is known also as two-dimensional generalization of Selberg integral. It can be calculated explicitly in terms of $\Gamma$-functions \cite{Selberg,Dotsenko:1984nm,Dotsenko:1984ad} (see also Refs \cite{Fateev:2006:JETP,Fateev:2007:TMPH}). Unfortunately, it is not clear how to calculate integral $I_{s_1\dots s_{n-1}}(\alpha_1,\alpha_2,\alpha_3)$ for arbitrary parameters $\alpha_k$ in the case of general $n>2$, but if one of the parameters $\alpha_k$ satisfy the special condition, for example
292: \begin{equation}\label{CrucialCondition}
293: \alpha_3=\varkappa\omega_{n-1},
294: \end{equation}
295: then the integral \eqref{I} can be carried out explicitly in terms of $\Gamma$-functions (see appendix \ref{AppIntegrals}). Namely, the integral $I_{s_1\dots s_{n-1}}(\alpha_1,\alpha_2,\varkappa\omega_{n-1})$ is non-zero only if $s_1\leq s_2\leq\dots\leq s_{n-1}$.
296: In order to write down an answer we define an auxiliary function
297: \begin{equation*}
298: R_k^l=\prod_{i=1}^{l}\gamma(-ib^2)\prod_{j>k}^n
299: \gamma(b(Q-\alpha_1,h_j-h_k)-ib^2)
300: \gamma(b(Q-\alpha_2,h_j-h_k)-ib^2),
301: \end{equation*}
302: with
303: \begin{equation}
304: \gamma(x)=\frac{\Gamma(x)}{\Gamma(1-x)}.
305: \end{equation}
306: Integral \eqref{I} equals in this case (one has to remember, that parameters $\alpha_1$, $\alpha_2$ and $\varkappa$ are subject to the condition $\alpha_1+\alpha_2+\varkappa\omega_{n-1}=2Q-bs_1e_1-\dots-bs_{n-1}e_{n-1}$)
307: \begin{multline}\label{I-equals}
308: I_{s_1\dots s_{n-1}}(\alpha_1,\alpha_2,\varkappa\omega_{n-1})=\\=
309: \left[\frac{-1}{\gamma(-b^2)}\right]^{s_1+\dots+s_{n-1}}
310: \prod_{j=0}^{s_{n-1}}\left[\frac{1}{\gamma(b\varkappa+jb^2)}\right]
311: R_1^{s_1}R_2^{s_2-s_1}\dots R_{n-1}^{s_{n-1}-s_{n-2}}.
312: \end{multline}
313: It is easy to check, that function
314: \begin{multline}\label{C}
315: C(\alpha_1,\alpha_2,\varkappa\omega_{n-1})=
316: \left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^
317: {\frac{(2Q-\sum\alpha_i,\rho)}{b}}\times\\\times
318: \frac{\left(\Upsilon(b)\right)^{n-1}\Upsilon(\varkappa)
319: \prod\limits_{e>0}\Upsilon\Bigl((Q-\alpha_1,e)\Bigr)
320: \Upsilon\Bigl((Q-\alpha_2,e)\Bigr)}
321: {\prod\limits_{ij}\Upsilon\Bigl(\frac{\varkappa}{n}+
322: (\alpha_1-Q,h_i)+(\alpha_2-Q,h_j)\Bigr)},
323: \end{multline}
324: which was proposed in \cite{Fateev:2005gs}, satisfies the condition \eqref{ResCond} at this special case. Here $\Upsilon(x)$ is the entire selfdual function (with respect to transformation $b\rightarrow1/b$), which was defined in \cite{Zamolodchikov:1995aa} by the integral representation
325: \begin{equation}
326: \log\Upsilon(x)=\int_{0}^{\infty}\frac{dt}{t}
327: \left[\left(\frac{b+b^{-1}}{2}-x\right)^2e^{-t}-\frac
328: {\sinh^2\left(\frac{b+b^{-1}}{2}-x\right)\frac{t}{2}}
329: {\sinh\frac{bt}{2}\sinh\frac{t}{2b}}
330: \right].
331: \end{equation}
332: This function satisfies functional relations
333: \begin{equation}
334: \begin{aligned}
335: &\Upsilon(x+b)=\gamma(bx)b^{1-2bx}\Upsilon(x),\\
336: &\Upsilon(x+1/b)=\gamma(x/b)b^{2x/b-1}\Upsilon(x).
337: \end{aligned}
338: \end{equation}
339: and in fact is completely determined by them for the general real values of the parameter $b$ up to a multiplicative constant, which is fixed by the condition
340: \begin{equation*}
341: \Upsilon\left(\frac{b+b^{-1}}{2}\right)=1.
342: \end{equation*}
343: This function was firstly introduced by Barnes \cite{Barnes}, as a generalization of ordinary Gamma function and in the semiclassical limit ($b\rightarrow0$) it has an asymptotic
344: \begin{equation}
345: \frac{\Upsilon(by)}{\Upsilon(b)}\rightarrow\frac{b^{1-y}}{\Gamma(y)}\;\;
346: \text{as}\;\;b\rightarrow0.
347: \end{equation}
348: One can easily check, that the correlation function \eqref{C} is consistent with the reflection identification of the exponential fields \eqref{R_s}. Due to the symmetry reason, formula similar to \eqref{C}, but with $\alpha_3=\varkappa\omega_1$ is also valid\footnote{One has to change $h_k\rightarrow h_k^{*}=-h_{n+1-k}$ in \eqref{C}.}. Note that the condition \eqref{CrucialCondition} is crucial at this point and the general formula for the three-point correlation function is much more complicated.
349:
350: One of the important sets of fields in TFT form so called completely degenerate fields \cite{Fateev:1987zh}. Completely degenerate fields $V_{\alpha}$ in TFT are parameterized by two highest weights $\Omega_1$ and $\Omega_2$ of the finite dimensional representations of the Lie algebra $\mathfrak{sl}(n)$ and correspond to the value of the parameter $\alpha$ (up to Weyl transformation \eqref{WeylSymmetry})
351: \begin{equation}\label{Completely_degenerate}
352: \alpha=-b\Omega_1-\frac{1}{b}\Omega_2.
353: \end{equation}
354: These fields posses an important property that in their operator product expansion with general primary field $V_{\alpha}$ appear only a finite number of primary fields $V_{\alpha'}$ with their descendant fields
355: \begin{equation}\label{Fusion_completely_degenerate}
356: V_{-b\Omega_1-b^{-1}\Omega_2}V_{\alpha}=
357: \sum_{s,p}C_{-b\Omega_1-b^{-1}\Omega_2,\alpha}^
358: {\alpha'_{sp}}
359: \left[V_{\alpha'_{sp}}\right],
360: \end{equation}
361: here by square brackets we denote the contribution of the descendant fields and introduce the parameter $\alpha'_{sp}$ as
362: \begin{equation}\label{Fusion_completely_degenerate-def}
363: \alpha'_{sp}=\alpha-bh_s^{\Omega_1}-b^{-1}h_p^{\Omega_2}.
364: \end{equation}
365: In Eq \eqref{Fusion_completely_degenerate-def} $h_s^{\Omega}$ are the weights of the representation $\Omega$ and $C_{-b\Omega_1-b^{-1}\Omega_2,\alpha}^{\alpha'_{sp}}$ denotes the structure constant of the operator algebra. During this paper we will consider for simplicity the case $\Omega_2=0$.
366:
367: General structure constant of OPE $C_{\alpha_1,\alpha_2}^{\alpha_3}$
368: defined as
369: \begin{equation}\label{Structure_Constant}
370: C_{\alpha_1,\alpha_2}^{\alpha_3}\overset{\text{def}}{=}C(\alpha_1,\alpha_2,2Q-\alpha_3)=
371: R(\alpha_3)C(\alpha_1,\alpha_2,\alpha_3^{*}),
372: \end{equation}
373: where $R(\alpha_3)$ is the maximal reflection amplitude given by Eq \eqref{MaxRefl} and conjugated parameter $\alpha_3^{*}$ is defined by Eq \eqref{Conj-charge}\footnote{We remind, that parameters $\alpha^{*}$ and $2Q-\alpha$ are connected via Weyl transformation \eqref{MaxRefl}.}.
374: Strictly speaking, structure constant with completely degenerate field defined by Eq \eqref{Structure_Constant} as
375: \begin{equation}\label{Structure_Constant-1}
376: C_{-b\Omega_1,\alpha}^{\alpha-bh_s^{\Omega_1}}=C(-b\Omega_1,\alpha,2Q-\alpha+bh_s^{\Omega_1})
377: \end{equation}
378: will be infinite because general weight $h_s^{\Omega_1}$ of the representation $\Omega_1$ has a form
379: \begin{equation}
380: h_s^{\Omega_1}=\Omega_1-\sum_{j=1}^{n-1}s_je_j
381: \end{equation}
382: with some non-negative integers $s_j$ and hence the sum of all parameters in the three-point correlation function in the r.~h.~s. of Eq \eqref{Structure_Constant-1} satisfies the screening condition \eqref{on-shell}. In this case one should treat the structure constant $C_{-b\Omega_1,\alpha}^{\alpha-bh_s^{\Omega_1}}$ as the main residue of the corresponding three-point correlation function. This residue is given by the Coulomb integral \eqref{I}. Namely
383: \begin{equation}\label{Structure_Constant_degenerate}
384: C_{-b\Omega_1,\alpha}^{\alpha-bh_s^{\Omega_1}}=(-\pi\mu)^{s_1+\dots+s_{n-1}}I_{s_1\dots s_{n-1}}
385: (-b\Omega_1,\alpha,2Q-\alpha+bh_s^{\Omega_1}).
386: \end{equation}
387: The complexity of these structure constants\footnote{We study these structure constants in more details in forthcoming paper \cite{Part-Deux}.} depend drastically on the multiplicities of the corresponding weights $h_s^{\Omega_1}$.
388:
389: To illustrate this fact we give here some basic structure constants, which can be expressed in terms of known functions. Let us consider, for example, the case $\Omega_1=\omega_k$ corresponding to the $k$-th fundamental representation of the Lie algebra $\mathfrak{sl}(n)$. We denote as $H_k$ the set of weights $h_s^{(k)}$ of the fundamental representation $\pi_k$ with highest weight $\omega_k$ ($h_s^{(k)}\in H_k$). Then the operator product expansion of the field $V_{-b\omega_k}$ with arbitrary field $V_{\alpha}$ due to Eq \eqref{Fusion_completely_degenerate} has a form
390: \begin{equation}\label{Fusion_completely_degenerate-k}
391: V_{-b\omega_k}V_{\alpha}=\sum_{s}C_{-b\omega_k,\alpha}^{\alpha-bh_s^{(k)}}
392: \left[ V_{\alpha-bh_{s}^{(k)}}\right].
393: \end{equation}
394: To describe the structure constants $C_{-b\omega_k,\alpha}^{\alpha-bh_s^{(k)}}$ in this expansion
395: we denote as $\mathcal{R}_{s}^{k}$ the set of positive roots $e$ such that $e+h_{s}^{(k)}$ $\in H_{k}.$ Then
396: \begin{equation}\label{StrConst_k}
397: C_{-b\omega_k,\alpha}^{\alpha-bh_s^{(k)}}=
398: \left(-\frac{\pi \mu }{\gamma (-b^{2})}\right)
399: ^{(\omega_k-h_s^{(k)},\rho)}
400: \prod\limits_{e\in
401: \mathcal{R}_{s}^{k}}\frac{\gamma\bigl(b(\alpha-Q,e)\bigr)}
402: {\gamma\bigl(1+b^2+b(\alpha-Q,e)\bigr)}.
403: \end{equation}
404: This result has been derived from the free field integral \eqref{Structure_Constant_degenerate} using the same technique, which was used in appendix \ref{AppIntegrals} to derive Eq \eqref{I}.
405:
406: Another interesting situation, when the integral \eqref{I} can be calculated exactly is the structure constants with degenerate field $V_{-be_{0}}$ (\begin{math}e_{0}=\sum_{k=1}^{n-1}e_k\end{math} is the maximal root corresponding to highest weight of adjoint representation). This operators plays a role of integrable perturbation of the theory, which moves conformal TFT to the massive affine TFT. The operator product expansion of the field $V_{-be_{0}}$ with general primary field $V_{\alpha}$ has a form
407: \begin{equation}\label{OPE_adj}
408: V_{-be_{0}}V_{\alpha}=C_{-be_0,\alpha}^{\alpha}\left[ V_{\alpha}\right]
409: +\sum_{e}C_{-be_0,\alpha}^{\alpha-be}\left[ V_{\alpha-be}\right],
410: \end{equation}
411: where the sum goes over all roots of $\mathfrak{sl}(n)$.
412: The diagonal structure constant $C_{-be_0,\alpha}^{\alpha}$ can be represented as
413: \begin{equation}\label{DiagStrConst}
414: C_{-be_0,\alpha}^{\alpha}=\sum_{i=1}^{n}
415: \prod\limits_{j\neq i}^{n}\frac{\pi\mu\gamma
416: \bigl(b(\alpha-Q,h_j-h_i)\bigr)}{\gamma (-b^{2})\gamma
417: \bigl(1+b^2+b(\alpha-Q,h_j-h_i)\bigr)}\mathcal{F}_{i}^{2}(\alpha),
418: \end{equation}
419: where functions $\mathcal{F}_{i}(\alpha)$ can be expressed through the higher hypergeometric functions at unity $_{n}F_{n-1}(1)$ as
420: \begin{equation}
421: \mathcal{F}_{i}(\alpha)=1+\sum_{k=1}^{\infty}
422: \prod\limits_{j=1}^{n}
423: \frac{(b(Q-\alpha,h_j-h_i)-b^2)_{k}}
424: {(1+b(Q-\alpha,h_j-h_i))_{k}},
425: \end{equation}
426: where
427: \begin{equation}
428: (x)_{k}=x(x+1)...(x+k-1).
429: \end{equation}
430: For the positive roots $e=h_j-h_i$ with $i>j$ the structure constant $C_{-be_0,\alpha}^{\alpha-be}$ is
431: given by the product of $\gamma$-functions
432: \begin{multline}\label{Str-positive}
433: C_{-be_0,\alpha}^{\alpha-be}=\left(\frac{-\pi\mu}
434: {\gamma(-b^{2})}\right)^{(n-i+j-1)}\times\\\times
435: \prod_{k=1}^{j-1}\frac{\gamma\bigl(b(Q-\alpha,h_k-h_j)-b^2\bigr)}
436: {\gamma\bigl(1+b(Q-\alpha,h_k-h_j)\bigr)}
437: \prod_{k=i+1}^{n-1}\frac{\gamma\bigl(b(Q-\alpha,h_i-h_k)-b^2\bigr)}
438: {\gamma\bigl(1+b(Q-\alpha,h_i-h_k)\bigr)}.
439: \end{multline}
440: While the structure constants for the negative roots can be expressed through the structure constants for the positive roots \eqref{Str-positive} as
441: \begin{equation}
442: C_{-be_0,\alpha}^{\alpha+be}=R^{-1}(\alpha)R(\alpha+be)C_{-be_0,\alpha'}^{\alpha'-be},
443: \end{equation}
444: where $R(\alpha)$ is the maximal reflection amplitude \eqref{MaxRefl} and $\alpha'=\alpha+be$.
445:
446: An important point should be emphasized here. It follows from Eq \eqref{DiagStrConst}, that the structure constant $C_{-be_0,\alpha}^{\alpha}$ is expressed in terms of higher hypergeometric functions $_{n}F_{n-1}$ at unity \eqref{DiagStrConst}, while the structure constants $C_{-be_0,\alpha}^{\alpha-be}$ have more simple form and are expressed in terms of product of $\gamma$-functions \eqref{Str-positive}. The difference between these two cases is related with the fact that field with zero weight in the adjoint representation with highest weight $e_0$ appears with multiplicity $(n-1)$, while the weights corresponding to the roots $e$ appear with multiplicity equal to $1$. The same is true for the fundamental representation with the highest weight $\omega_k$, where all weights $h_s^k$ of this representation also appear with multiplicity $1$ and as a result the structure constants \eqref{StrConst_k} are expressed in terms of $\gamma$-functions. We see, that the fact that some weights have multiplicity more than one makes the situation more difficult. In the $\mathfrak{sl}(2)$ case (Liouville field theory) it does not happen because all weights appear with multiplicity one.
447: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
448: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
449: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
450: \section{Differential equation}\label{DIFF_EQN}
451: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
452: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
453: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
454: Three-point correlation function \eqref{C}, which was derived in section \ref{TFT} by the calculation of the Coulomb integrals, can be obtained also from rather different arguments. The idea is to explore the associativity condition of the operator algebra and to use the special properties of degenerate fields. This approach was proposed in Ref \cite{Teschner:1995yf} in order to find the structure constants in the Liouville field theory ($\mathfrak{sl}(2)$ TFT). Here we will consider in details the case of $\mathfrak{sl}(3)$ TFT, as the next step of complexity.
455:
456: The chiral part of the algebra of symmetries in this case consists of two currents of the spin two and three\footnote{This basis of currents is slightly differs from the basis defined by Miura transformation \eqref{WCurrents}. Basis \eqref{WCurrents} is more convenient, because commutation relations of the $W$ algebra are bilinear. In Eq \eqref{currents} the current $W$ is primary field with respect to Virasoro algebra and differs from the corresponding current in Eq \eqref{WCurrents} by adding term proportional to $T'$.}
457: \begin{equation}\label{currents}
458: \mathbf{W^2}(z)=T(z)=
459: \sum_{n=-\infty}^{\infty}\frac{L_n}{z^{n+2}}\qquad
460: \text{and}\qquad
461: \mathbf{W^3}(z)=W(z)=
462: \sum_{n=-\infty}^{\infty}\frac{W_n}{z^{n+3}}.
463: \end{equation}
464: The Laurent componets $L_k$ and $W_k$ form closed $\mathW{W_3}$ algebra with the commutation relations \cite{Zamolodchikov:1985wn,Fateev:1987vh}
465: \begin{subequations}\label{W3algebra}
466: \begin{equation}\label{LunderL}
467: \left[L_n,L_m\right]=(n-m)L_{n+m}+\frac{c}{12}(n^3-n)
468: \delta_{n,-m},
469: \end{equation}
470: \begin{equation}\label{WunderL}
471: \left[L_n,W_m\right]=(2n-m)W_{n+m},
472: \end{equation}
473: \begin{multline}\label{WunderW}
474: \left[W_n,W_m\right]=\frac{c}{3\cdot5!}(n^2-1)(n^2-4)n
475: \delta_{n,-m}+\frac{16}{22+5c}(n-m)\Lambda_{n+m}+\\+
476: (n-m)\left(\frac{1}{15}(n+m+2)(n+m+3)-\frac{1}{6}(n+2)(m+2)
477: \right)
478: L_{n+m},
479: \end{multline}
480: \end{subequations}
481: here
482: \begin{equation*}
483: \Lambda_n=\sum_{k=-\infty}^{\infty}:L_kL_{n-k}:+\frac{1}{5}x_n
484: L_n,
485: \end{equation*}
486: \begin{equation*}
487: x_{2l}=(1+l)(1-l)\qquad x_{2l+1}=(2+l)(1-l).
488: \end{equation*}
489: This algebra is not Lie algebra due to the quadratic terms in the r.~h.~s. of Eq \eqref{WunderW}, however, as was noticed by A. Zamolodchikov \cite{Zamolodchikov:1985wn}, the Jacoby identities are satisfied.
490:
491: The operator product expansions of the holomorphic currents \eqref{currents} with the primary fields $V_{\alpha}$ has the form
492: \begin{equation}\label{OPE}
493: \begin{aligned}
494: &T(\xi)V_{\alpha}(z)=\frac{\Delta(\alpha)V_{\alpha}(z)}
495: {(\xi-z)^2}+
496: \frac{\partial V_{\alpha}(z)}{(\xi-z)}+\dots\\
497: &W(\xi)V_{\alpha}(z)=\frac{w(\alpha)V_{\alpha}(z)}{(\xi-z)^3}+
498: \frac{W_{-1}V_{\alpha}(z)}{(\xi-z)^2}+
499: \frac{W_{-2}V_{\alpha}(z)}{(\xi-z)}+\dots
500: \end{aligned}
501: \end{equation}
502: here\addtocounter{equation}{-1}
503: \begin{subequations}
504: \begin{equation}\label{delta}
505: \Delta(\alpha)=\frac{(2Q-\alpha,\alpha)}{2}
506: \end{equation}
507: is the conformal dimension and
508: \begin{equation}\label{omega}
509: w(\alpha)=i\sqrt{\frac{48}{22+5c}}\;
510: (\alpha-Q,h_1)(\alpha-Q,h_2)(\alpha-Q,h_3)
511: \end{equation}
512: \end{subequations}
513: is the quantum number associated to the $W(z)$ current. Along this section we omit sometimes (where it is not important) the $\bar{z}$ dependence of the fields $V_{\alpha}$. In Eq \eqref{OPE} we introduce the notations $W_{-1}V_{\alpha}(z)$ and $W_{-2}V_{\alpha}(z)$ for the $W$ descendant fields. Using Eq \eqref{OPE} one can obtain Ward identities
514: \begin{subequations}
515: \begin{align}\label{LWard}
516: &\langle T(z)V_1(z_1)
517: \dots V_N(z_N)\rangle=\sum_{k=1}^N
518: \left(\frac{\Delta_k}{(z-z_k)^2}+\frac{\partial_k}{(z-z_k)}
519: \right)
520: \langle V_1(z_1)\dots V_N(z_N)\rangle,\\\label{WWard}
521: &\langle W(z)V_1(z_1)\dots V_N(z_N)\rangle=\sum_{k=1}^N
522: \left(\frac{w_k}{(z-z_k)^3}+\frac{W_{-1}^{(k)}}{(z-z_k)^2}+
523: \frac{W_{-2}^{(k)}}{(z-z_k)}\right)
524: \langle V_1(z_1)\dots V_N(z_N)\rangle.
525: \end{align}
526: \end{subequations}
527: Let us explain our notations. For example
528: \begin{equation*}
529: W_{-1}^{(k)}\langle V_1(z_1)\dots V_N(z_N)\rangle
530: \stackrel{\text{def}}{=}
531: \langle V_1(z_1)\dots W_{-1}V_k(z_k)\dots V_N(z_N)\rangle.
532: \end{equation*}
533: One should emphasize, that contrary to the Virasoro generators operators $W_{-k}$ generally speaking do not act on correlation functions as some differential operators. This important difference explains the essential complication, which appear in the analysis of the $\mathfrak{sl}(n)$ conformal TFT for $n>2$.
534:
535: The transformation laws for the currents $T(z)$ and $W(z)$ under the holomorphic substitution $z\rightarrow f(z)$ have a form \footnote{$T(z)$ does not transform like a tensor, but is shifted by the Schwartz derivative, which is defined as $\{f,z\}=f'''/f'-3/2(f''/f')^2$, while $W(z)$ is really a tensor as follows from Eq \eqref{WunderL}. In the case of $\mathfrak{sl}(n)$ algebra for $n>3$ it is also possible to choose currents $\mathbf{W^{k}}(z)$ is such a way, that they will be primary with respect to stress-energy tensor, i.~e. will transform like a tensors under the change of variables.}
536: \begin{equation}\label{TrLaw}
537: T(z)\rightarrow\left(\frac{df}{dz}\right)^2T(f)+
538: \frac{c}{12}\{f,z\},
539: \qquad
540: W(z)\rightarrow\left(\frac{df}{dz}\right)^3W(f).
541: \end{equation}
542: The condition, that infinity is a regular point leads to the following asymptotic condition for the
543: currents $T(z)$ and $W(z)$
544: \begin{subequations}
545: \begin{align}
546: &T(z)\sim\frac{1}{z^4}\quad\text{at}\quad z\rightarrow\infty
547: \label{DecreaseLawL}\\
548: \intertext{and}
549: &W(z)\sim\frac{1}{z^6}\quad\text{at}\quad z\rightarrow\infty.
550: \label{DecreaseLawW}
551: \end{align}
552: \end{subequations}
553: It follows from the asymptotic \eqref{DecreaseLawL} of the current $T(z)$, that correlation functions of the primary fields satisfy certain set of differential equations, which restrict their possible coordinate dependence \cite{Belavin:1984vu}. In the particular cases of two and three points, correlation functions are completely determined by them up to a numerical factor. For the case of two-point correlation function
554: these differential equations put the limitation on it. Namely, two-point correlation function
555: is non-zero only if the dimensions of two fields are equal. One can consider the asymptotic \eqref{DecreaseLawW} of the current $W(z)$ in a similar way. Applying \eqref{DecreaseLawW} to the Ward identity \eqref{WWard}, we obtain five algebraic equations, which also restrict possible form of the correlation functions. Let us illustrate, how does it work in the case of two-point correlation function. These five algebraic equations connect different correlation functions, which enter in Ward identity \eqref{WWard}. Namely, we obtain a system of equations
556: \begin{equation}
557: \left(%
558: \begin{array}{ccccc}
559: 0 & 0 & 0 & 1 & 1 \\
560: 0 & 1 & 1 & z_1 & z_2 \\
561: w_1+w_2 & 2z_1 & 2z_2 & z_1^2 & z_2^2 \\
562: 3(w_1z_1+w_2z_2) & 3z_1^2 & 3z_2^2 & z_1^3 & z_2^3 \\
563: 6(w_1z_1^2+w_2z_2^2) & 4z_1^3 & 4z_2^3 & z_1^4 & z_2^4 \\
564: \end{array}%
565: \right)
566: \left(%
567: \begin{array}{c}
568: \langle V_1(z_1)\;V_2(z_2)\rangle \\
569: \langle W_{-1}V_1(z_1)\;V_2(z_2)\rangle \\
570: \langle V_1(z_1)\;W_{-1}V_2(z_2)\rangle \\
571: \langle W_{-2}V_1(z_1)\;V_2(z_2)\rangle \\
572: \langle V_1(z_1)\;W_{-2}V_2(z_2)\rangle \\
573: \end{array}%
574: \right)=0\;.
575: \end{equation}
576: This algebraic system has a non-zero solution if the determinant of the matrix above equals to zero for any points $z_1$ and $z_2$. A simple calculation leads to
577: \begin{equation}
578: \det=-(w_1+w_2)(z_{12})^6.
579: \end{equation}
580: It means that the correlation function $\langle V_1(z_1)\;V_2(z_2)\rangle$ is zero unless $w_1=-w_2$. As a result, we obtain the following form of the two-point correlation function
581: \begin{equation}\label{2point}
582: \langle V_1(z_1,\bar{z}_1)V_2(z_2,\bar{z}_2)\rangle\sim
583: \frac{\delta_{\Delta_1,\Delta_2}\delta_{w_1,-w_2}}{|z_{12}|^{4\Delta_1}}
584: \end{equation}
585: Omitted multiplicative constant in \eqref{2point} depends only on the particular normalization of the fields.
586:
587: To extract the information about the fusion rules it is reasonable to study completely degenerate representations of the $\mathW{W_3}$ algebra \eqref{W3algebra}. Namely, if parameters $(\Delta(\alpha),w(\alpha))$ corresponding to the field $V_{\alpha}$ take one of the four values
588: \begin{subequations}
589: \begin{equation}\label{deg1}
590: \Delta=-\frac{4b^2}{3}-1\qquad
591: w^2=-\frac{2\Delta^2}{27}\frac{5b+\frac{3}{b}}{3b+\frac{5}{b}},
592: \end{equation}
593: \begin{equation}\label{deg2}
594: \Delta=-\frac{4}{3b^2}-1\qquad
595: w^2=-\frac{2\Delta^2}{27}\frac{3b+\frac{5}{b}}{5b+\frac{3}{b}},
596: \end{equation}
597: \end{subequations}
598: or in terms of parameter $\alpha$ (modulo Weyl transformation \eqref{WeylSymmetry})
599: \begin{equation}\label{Alpha_deg}
600: \alpha=-b\omega_k\qquad\text{or}\qquad
601: \alpha=-\frac{1}{b}\omega_k\qquad\qquad
602: k=1,2.
603: \end{equation}
604: Then this field exhibits three null-vectors \cite{Fateev:1987vh,Bajnok:1992nj,Bowcock:1992gt}
605: \begin{subequations}\label{null}
606: \begin{equation}\label{1null}
607: \chi_1= \left(W_{-1}-\frac{3w}{2\Delta}L_{-1}\right)V_{\alpha}=0,
608: \end{equation}
609: \begin{equation}\label{2null}
610: \chi_2=\left(W_{-2}-\frac{12w}{\Delta(5\Delta+1)}L_{-1}^2+
611: \frac{6w(\Delta+1)}{\Delta(5\Delta+1)}L_{-2}\right)V_{\alpha}=0,
612: \end{equation}
613: \begin{equation}\label{3null}
614: \chi_3=\left(W_{-3}-\frac{16w}{\Delta(\Delta+1)(5\Delta+1)}
615: L_{-1}^3+\frac{12w}{\Delta(5\Delta+1)}L_{-1}L_{-2}+
616: \frac{3w}{2\Delta}\frac{(\Delta-3)}{(5\Delta+1)}L_{-3}\right)
617: V_{\alpha}=0.
618: \end{equation}
619: \end{subequations}
620: The next natural step is to investigate, how equations \eqref{1null}, \eqref{2null} and \eqref{3null} put the limitations on the three-point correlation functions, i.~e. we want to define the fusion rules. Let us consider three-point correlation function $\langle V(z)V_1(z_1)V_2(z_2)\rangle$, where field $V(z)$ is degenerate field with parameter \eqref{Alpha_deg} and fields $V_1(z_1)$ and $V_2(z_2)$ are some arbitrary primary fields. In the Ward identity \eqref{WWard} for this case participate seven functions:
621: \begin{equation}
622: \langle V(z,\bar{z}) V_1 (z_1,\bar{z}_1)V_2(z_2,\bar{z}_2)\rangle
623: \end{equation}
624: and also six functions, which can be obtained by the application of the operators $W_{-1}$ and $W_{-2}$ to the fields $V$, $V_1$ and $V_2$. Due to conformal invariance, the coordinate dependence of the three-point correlation function is known explicitly
625: \begin{equation}\label{3}
626: \langle V(z) V_1 (z_1)V_2 (z_2)\rangle\sim
627: (z-z_1)^{(\Delta_2-\Delta_1-\Delta)}(z-z_2)^{(\Delta_1-
628: \Delta_2-\Delta)}
629: (z_1-z_2)^{(\Delta_1+\Delta_2-\Delta)}.
630: \end{equation}
631: Applying equations \eqref{1null} and \eqref{2null} to Eq \eqref{3} we can express correlation functions
632: $\langle W_{-1}V(z) V_1 (z_1)V_2(z_2)\rangle$ and $\langle W_{-2}V(z) V_1 (z_1)V_2(z_2)\rangle$ as
633: \begin{subequations}
634: \begin{equation}
635: \langle W_{-1}V(z) V_1 (z_1)V_2
636: (z_2)\rangle=-\frac{3w}{2\Delta}
637: \left(\frac{\Delta+\Delta_1-\Delta_2}{(z-z_1)}+
638: \frac{\Delta+\Delta_2-\Delta_1}{(z-z_2)}\right)\langle V(z)
639: V_1 (z_1)V_2 (z_2)\rangle
640: \end{equation}
641: and
642: \begin{multline}
643: \langle W_{-2}V(z) V_1 (z_1)V_2
644: (z_2)\rangle=\left[\frac{12w}{\Delta(5\Delta+1)}
645: \left(\frac{(\Delta+\Delta_1-\Delta_2)(\Delta+\Delta_1-
646: \Delta_2+1)}
647: {(z-z_1)^2}\right.\right.+\\\left.+
648: \frac{2(\Delta+\Delta_1-\Delta_2)(\Delta+\Delta_2-\Delta_1)}
649: {(z-z_1)(z-z_2)}+\frac{(\Delta+\Delta_2-\Delta_1)
650: (\Delta+\Delta_2-\Delta_1+1)}
651: {(z-z_2)^2}\right)-\\-\left.
652: \frac{6w(\Delta+1)}{\Delta(5\Delta+1)}
653: \left(\frac{(2\Delta_1+\Delta-\Delta_2)}{(z-z_1)^2}+
654: \frac{(2\Delta_2+\Delta-\Delta_1)}{(z-z_2)^2}-
655: \frac{(\Delta_1+\Delta_2-\Delta)}{(z-z_1)(z-z_2)}\right)
656: \right]\times\\\times
657: \langle V(z) V_1 (z_1)V_2 (z_2)\rangle.
658: \end{multline}
659: \end{subequations}
660: Similar to the case of two-point correlation function we obtain five
661: equations, which follow from the asymptotic condition \eqref{DecreaseLawW}. The determinant of the corresponding matrix should be zero for any points $z$, $z_1$ and $z_2$. It gives the equation
662: \begin{equation}\label{fusion1}
663: 12w(\Delta_1-\Delta_2)^2-3w(\Delta+1)(\Delta_1+\Delta_2)
664: +\Delta(5\Delta+1)(w_1+w_2)-4w\Delta(\Delta-1)=0
665: \end{equation}
666: We should take also into a account Eq \eqref{3null} and put $\langle\chi_3(z) V_1(z_1)V_2(z_2)\rangle=0$. As a result, we obtain the second algebraic equation
667: \begin{multline}\label{fusion2}
668: 32w(\Delta_1-\Delta_2)^3-12w(\Delta+1)(\Delta_1^2-\Delta_2^2)-
669: w(15\Delta^2-18\Delta-1)
670: (\Delta_1-\Delta_2)+\\
671: +\Delta(\Delta+1)(5\Delta+1)(w_1-w_2)=0
672: \end{multline}
673: The equations \eqref{fusion1} and \eqref{fusion2} define the fusion rules in our model (one should fix parameters $(\Delta_1,w_1)$ and find admissible parameters $(\Delta_2,w_2)$) after that. If we parameterize $(\Delta_1,w_1)=(\Delta(\alpha),w(\alpha))$ and $(\Delta,w)=(\Delta(-b\omega_1),w(-b\omega_1))$, then three solutions to the equations \eqref{fusion1} and
674: \eqref{fusion2} are
675: \begin{equation}\label{Fusion}
676: \Delta_2=\Delta(\alpha_1-bh_j)\qquad
677: w_2=-w(\alpha_1-bh_j)\qquad
678: j=1,2,3,
679: \end{equation}
680: where $\Delta(\alpha)$ and $w(\alpha)$ are defined by Eqs \eqref{delta} and \eqref{omega}.
681: There are analogous formulae for the other completely degenerate fields. We see, that these fusion rules coincide with those obtained in \cite{Fateev:1987zh,Fateev:1987vh,Bowcock:1992gt} and coincide with the fusion rules \eqref{Fusion_completely_degenerate-k} for the Lie algebra $\mathfrak{sl}(3)$ (see section \ref{TFT}).
682:
683: Having such rather simple fusion rules \eqref{Fusion} one can hope that the four-point correlation function, which contains completely degenerate field, will satisfy differential equation of the third order. Unfortunately, this is not the case. Consider, for example, the correlation function
684: \begin{equation}\label{FourPoint}
685: \langle V(z,\bar{z})V_{\alpha_1}(z_1,\bar{z}_1)
686: V_{\alpha_2}(z_2,\bar{z}_2)V_{\alpha_3}(z_3,\bar{z}_3)\rangle.
687: \end{equation}
688: Here $V(z)$ is the degenerate field with the parameter $\alpha=-b\omega_1$. Firstly, one should notice that the number of equations in this case is not enough to write down the differential equation. Really: in this case the number of correlation functions in the Ward identity \eqref{WWard} is nine. These nine correlation functions satisfy five projective Ward equations plus three equations \eqref{1null}, \eqref{2null} and \eqref{3null}, which arise in the case, when one of the four fields is completely degenerate. Total number of equations is eight. Hence, these equations allow us only to express all correlation functions in terms of only one correlation function, but not to write down the differential equation for this function. Therefore we need at least one more additional condition, which connects different correlation functions in Eq \eqref{WWard} together.
689:
690: Let us suppose that one of the fields $V_{\alpha_1}$, $V_{\alpha_2}$ or $V_{\alpha_3}$ in correlation function \eqref{FourPoint} is partially degenerate. For example we suppose, that quantum numbers $\Delta_3$ and $w_3$ of the field $V_{\alpha_3}$ satisfy the relation
691: \begin{equation}
692: 9w_3^2=2\Delta_3^2\left(\frac{32}{22+5c}\Bigl(\Delta_3+\frac{1}{5}\Bigr)-
693: \frac{1}{5}\right),
694: \end{equation}
695: which can be written, as a condition on the vector parameter $\alpha_3$ (modulo Weyl transformation)
696: \begin{equation}\label{alpha3}
697: \alpha_3=\varkappa\omega_2
698: \end{equation}
699: with arbitrary coefficient $\varkappa$. Corresponding field $V_{\varkappa\omega_{2}}$ satisfies the null vector condition at the first level
700: \begin{equation}\label{Cond_for_alpha_3}
701: \left(W_{-1}-\frac{3w_3}{2\Delta_3}L_{-1}\right)V_{\varkappa\omega_2}=0.
702: \end{equation}
703: Under this assumption, correlation function \eqref{FourPoint} satisfies differential equation of the third order. In order to write it explicitly, we define function $G(x,\bar{x})$ as
704: \begin{equation}
705: \langle V(z,\bar{z})V_{\alpha_1}(z_1,\bar{z}_1)V_{\alpha_2}(z_2,\bar{z}_2)
706: V_{\varkappa\omega_2}(z_3,\bar{z}_3)\rangle\sim
707: |x|^{2b(\alpha_1,h_1)}|1-x|^{\frac{2b\varkappa}{3}}
708: \frac{G(x,\bar{x})}{|z-z_2|^{4\Delta}},
709: \end{equation}
710: with $x$ being the projective invariant of four points
711: \begin{math}
712: x=\frac{z_{23}}{z_{13}}\frac{(z-z_1)}{(z-z_2)}
713: \end{math}
714: and sign ~$\sim$ ~means that we have omitted factors independent on the coordinate $z$.
715: We derive from Eqs \eqref{null} and \eqref{Cond_for_alpha_3} that function $G(x,\bar{x})$ satisfies generalized Pochgamer hypergeometric differential equation of the type $(3,2)$\footnote{Of course, the same differential equation with $x$ being replaced with $\bar{x}$ is also valid.}
716: \begin{multline}\label{DiffEqn}
717: \left[x\left(x\frac{d}{dx}+A_1\right)
718: \left(x\frac{d}{dx}+A_2\right)
719: \left(x\frac{d}{dx}+A_3\right)-\right.\\-\left.
720: \left(x\frac{d}{dx}+B_1-1\right)
721: \left(x\frac{d}{dx}+B_2-1\right)x\frac{d}{dx}\right]G(x,\bar{x})=0
722: \end{multline}
723: with
724: \begin{equation}
725: A_k=\frac{b\varkappa}{3}-\frac{2}{3}b^2+b(\alpha_1-Q,h_1)+b(\alpha_2-Q,h_k),
726: \end{equation}
727: and
728: \begin{equation}
729: \begin{aligned}
730: &B_1=1+b(\alpha_1-Q,e_1),\\
731: &B_2=1+b(\alpha_1-Q,e_1+e_2).
732: \end{aligned}
733: \end{equation}
734: Three linearly independent solutions to Eq \eqref{DiffEqn} with the diagonal monodromy around the point $x=0$ have a form
735: \begin{subequations}\label{Basis1}
736: \begin{equation}
737: G_1(x)=F\left(\genfrac{}{}{0pt}{1}{A_1\:A_2\:A_3}{B_1\:B_2}
738: \biggl|x\right),
739: \end{equation}
740: \begin{equation}
741: G_2(x)=x^{1-B_1}F\left(\genfrac{}{}{0pt}{1}{1-B_1+A_1\:1-
742: B_1+A_2\:1-B_1+A_3}{2-B_1\:1-B_1+B_2}\biggl|x\right),
743: \end{equation}
744: and
745: \begin{equation}
746: G_3(x)=x^{1-B_2}F\left(\genfrac{}{}{0pt}{1}{1-B_2+A_1\:1-
747: B_2+A_2\:1-B_2+A_3}{1-B_2+B_1\:2-B_2}\biggl|x\right),
748: \end{equation}
749: \end{subequations}
750: here
751: \begin{equation}
752: F\left(\genfrac{}{}{0pt}{1}{A_1\:A_2\:A_3}{B_1\:B_2}
753: \biggl|x\right)=1+\frac{A_1A_2A_3}{B_1B_2}x+
754: \frac{A_1(A_1+1)A_2(A_2+1)A_3(A_3+1)}{B_1(B_1+1)B_2(B_2+1)}\frac{x^2}{2!}+\dots
755: \end{equation}
756: is the hypergeometric function of the type $(3,2)$.
757:
758: Let us take now into account the antiholomorphic part of the correlation function \eqref{FourPoint}. We wish our correlation function be invariant with respect to moving point $x$ around point $0$. The invariant combination $G(x,\bar{x})$, which defines the four-point correlation function \eqref{FourPoint} has a form
759: \begin{equation}\label{Sfusion}
760: G(x,\bar{x})=\sum_{j=1}^3C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_j}
761: C(\alpha_1-bh_j,\,\alpha_2,\,\varkappa\omega_2)G_j(x)G_j(\bar{x})
762: \end{equation}
763: with $C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_j}$ being the structure constants of the operator algebra. Now we should impose the condition that this correlation function remains invariant, if we move point $x$ around points $\infty$ and $1$. Evidently, it is sufficient to provide this invariance around point $\infty$, because contour surrounding points $1$ and $\infty$ can be transformed to contour surrounding point $0$.
764:
765: There is another set of solutions to the equation \eqref{DiffEqn}, which have diagonal monodromy around the point $x=\infty$.
766: \begin{subequations}\label{Basis2}
767: \begin{equation}
768: H_1(x)=x^{-A_1}
769: F\left(\genfrac{}{}{0pt}{1}{A_1\:1+A_1-B_1\:1+A_1-B_2}
770: {1+A_1-A_2\:1+A_1-A_3}\biggl|\frac{1}{x}\right),
771: \end{equation}
772: \begin{equation}
773: H_2(x)=x^{-A_2}
774: F\left(\genfrac{}{}{0pt}{1}{1+A_2-B_1\:A_2\:1+A_2-B_2}
775: {1+A_2-A_1\:1+A_2-A_3}\biggl|\frac{1}{x}\right),
776: \end{equation}
777: and
778: \begin{equation}
779: H_3(x)=x^{-A_3}
780: F\left(\genfrac{}{}{0pt}{1}{1+A_3-B_1\:1+A_3-B_2\:A_3}
781: {1+A_3-A_1\:1+A_3-A_2}\biggl|\frac{1}{x}\right).
782: \end{equation}
783: \end{subequations}
784: Of course, these two bases \eqref{Basis1} and \eqref{Basis2} of the solutions to Eq \eqref{DiffEqn} are linearly connected. Using Mellin-Barnes representation for the generalized hypergeometric function one can obtain the relation between them. For example
785: \begin{multline}\label{MellinBarnes}
786: \frac{\Gamma(A_1)\Gamma(A_2)\Gamma(A_3)}{\Gamma(B_1)\Gamma(B_2)}
787: F\left(\genfrac{}{}{0pt}{1}{A_1\:A_2\:A_3}{B_1\:B_2}
788: \biggl|x\right)=\\
789: =(-x)^{-A_1}
790: \frac{\Gamma(A_1)\Gamma(A_2-A_1)\Gamma(A_3-A_1)}{\Gamma(B_1-A_1)
791: \Gamma(B_2-A_1)}
792: F\left(\genfrac{}{}{0pt}{1}{A_1\:1+A_1-B_1\:1+A_1-B_2}
793: {1+A_1-A_2\:1+A_1-A_3}\biggl|\frac{1}{x}\right)+
794: \\+
795: (-x)^{-A_2}
796: \frac{\Gamma(A_2)\Gamma(A_1-A_2)\Gamma(A_3-A_2)}{\Gamma(B_1-A_2)
797: \Gamma(B_2-A_2)}
798: F\left(\genfrac{}{}{0pt}{1}{1+A_2-B_1\:A_2\:1+A_2-B_2}{1+A_2-A_1
799: \:1+A_2-A_3}\biggl|\frac{1}{x}\right)+
800: \\+
801: (-x)^{-A_3}
802: \frac{\Gamma(A_3)\Gamma(A_1-A_3)\Gamma(A_2-A_3)}{\Gamma(B_1-A_3)
803: \Gamma(B_2-A_3)}
804: F\left(\genfrac{}{}{0pt}{1}{1+A_3-B_1\:1+A_3-B_2\:A_3}{1+A_3-A_1
805: \:1+A_3-A_2}\biggl|\frac{1}{x}\right).
806: \end{multline}
807: Our correlation function has to be also single valued at the point $x=\infty$. Hence it must be represented by the diagonal bilinear form
808: \begin{equation}\label{Tfusion}
809: G(x,\bar{x})=\sum_{j=1}^3
810: C_{-b\omega_1,\,\alpha_2}^
811: {\alpha_2-bh_j}
812: C(\alpha_1,\,\alpha_2-bh_j,\,\varkappa\omega_2)H_j(x)H_j(\bar{x}).
813: \end{equation}
814: The necessary conditions of the validity of the both s-channel
815: \eqref{Sfusion} and t-channel \eqref{Tfusion} decompositions are
816: \begin{equation}\label{Func-Relat-3}
817: \begin{aligned}
818: &\frac{C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_1}
819: C(\alpha_1-bh_1,\,\alpha_2,\,\varkappa\omega_2)}
820: {C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_2}
821: C(\alpha_1-bh_2,\,\alpha_2,\,\varkappa\omega_2)}=
822: \frac{\prod_{k=1}^3\gamma(A_k)\gamma(B_1-A_k)}{\gamma(B_1)
823: \gamma(B_2)}
824: \frac{\gamma(1-B_1+B_2)}{\gamma(B_1-1)},\\
825: &\frac{C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_1}
826: C(\alpha_1-bh_1,\,\alpha_2,\,\varkappa\omega_2)}
827: {C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_3}
828: C(\alpha_1-bh_3,\,\alpha_2,\,\varkappa\omega_2)}=
829: \frac{\prod_{k=1}^3\gamma(A_k)\gamma(B_2-A_k)}{\gamma(B_1)
830: \gamma(B_2)}
831: \frac{\gamma(1-B_2+B_1)}{\gamma(B_2-1)}.
832: \end{aligned}
833: \end{equation}
834: Of course, functional equations similar to \eqref{Func-Relat-3} with $\alpha_1$ being replaced by $\alpha_2$ are also valid.
835:
836: One can expect, that differential equation similar to \eqref{DiffEqn} will take place in the $\mathfrak{sl}(n)$ case too\footnote{We do not give here the strict algebraic proof of this fact for $\mathfrak{sl}(n)$ with $n>3$, but the generalization is very straightforward.}.
837: The condition \eqref{alpha3} undergoes natural modification
838: \begin{equation}
839: \alpha_3=\varkappa\omega_{n-1}.
840: \end{equation}
841: Let us consider correlation function
842: \begin{equation}\label{4-point-first}
843: \langle V_{-b\omega_1}(x,\bar{x})V_{\alpha_1}(0)
844: V_{\alpha_2}(\infty)V_{\varkappa\omega_{n-1}}(1)\rangle=
845: |x|^{2b(\alpha_1,h_1)}|1-x|^{\frac{2b\varkappa}{n}}G(x,\bar{x}).
846: \end{equation}
847: Function $G(x,\bar{x})$ satisfies generalized Pochgamer hypergeometric differential equation of the type $(n,n-1)$ in each of the variables $x$ and $\bar{x}$
848: \begin{multline}\label{DiffEqnN}
849: \Bigl[x\left(x\frac{d}{dx}+A_1\right)\dots
850: \left(x\frac{d}{dx}+A_n\right)-\\-
851: \left(x\frac{d}{dx}+B_1-1\right)
852: \dots\left(x\frac{d}{dx}+B_{n-1}-1\right)
853: x\frac{d}{dx}\Bigr]G(x,\bar{x})=0
854: \end{multline}
855: with
856: \begin{equation}\label{A_k}
857: A_k=\frac{b\varkappa}{n}-\frac{(n-1)}{n}b^2+b(\alpha_1-Q,h_1)+
858: b(\alpha_2-Q,h_k),
859: \end{equation}
860: and
861: \begin{equation}\label{B_k}
862: B_k=1+b(\alpha_1-Q,e_1+\dots+e_k).
863: \end{equation}
864: The basis of the solutions to differential equation \eqref{DiffEqnN} with diagonal monodromy around the point $x=0$ has a form
865: \begin{subequations}\label{Basis1-n}
866: \begin{equation}
867: G_1(x)=F\left(\genfrac{}{}{0pt}{1}{A_1\dots\:A_n}{B_1\dots B_{n-1}}
868: \biggl|x\right),
869: \end{equation}
870: \begin{equation*}
871: \dots
872: \end{equation*}
873: \begin{equation}
874: G_{k+1}(x)=x^{1-B_k}F
875: \left(\genfrac{}{}{0pt}{1}{1-B_k+A_1\dots1-B_k+A_n}{1-B_k+B_1\dots2-B_k\dots1-B_k+B_{n-1}}\biggl|x\right)
876: \quad\text{for}\quad k\geq1,
877: \end{equation}
878: \end{subequations}
879: while the dual basis of the solutions with diagonal monodromy around the point $x=\infty$ can by represented by the functions
880: \begin{equation}\label{Basis2-n}
881: H_k(x)=x^{-A_k}
882: F\left(\genfrac{}{}{0pt}{1}{1+A_k-B_1\dots A_k\dots1+A_k-B_{n-1}}
883: {1+A_k-A_1\dots1+A_k-A_{k-1}\:1+A_k-A_{k+1}\dots1+A_k-A_n}\biggl|\frac{1}{x}\right),
884: \end{equation}
885: where $F\left(\genfrac{}{}{0pt}{1}{A_1\dots\:A_n}{B_1\dots B_{n-1}}\biggl|x\right)$ is the hypergeometric function of the type $(n,n-1)$. Four-point correlation function \eqref{4-point-first} should be single valued function of the variables $x$ and $\bar{x}$. It means, that it should be represented simultaneously as
886: \begin{equation}\label{t-chanel-n}
887: G(x,\bar{x})=\sum_{j=1}^nC_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_j}
888: C(\alpha_1-bh_j,\,\alpha_2,\,\varkappa\omega_{n-1})G_j(x)G_j(\bar{x})
889: \end{equation}
890: and as
891: \begin{equation}\label{s-chanel-n}
892: G(x,\bar{x})=\sum_{j=1}^nC_{-b\omega_1,\,\alpha_2}^{\alpha_2-bh_j}
893: C(\alpha_1,\,\alpha_2-bh_j,\,\varkappa\omega_{n-1})H_j(x)H_j(\bar{x}),
894: \end{equation}
895: where functions $G_j(x)$ are given by Eqs \eqref{Basis1-n} and functions $H_j(x)$ are given by Eqs \eqref{Basis2-n}. Using formula naturally generalizing Eq \eqref{MellinBarnes} for $n>3$, we can connect two bases $G_j(x)$ and $H_j(x)$. As a result, we obtain that the condition of the validity of the both $t-$ and $s-$ channel decompositions \eqref{t-chanel-n} and \eqref{s-chanel-n} for the correlation function \eqref{4-point-first} has a form
896: \begin{equation}\label{FunkRelat}
897: \frac{C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_1}
898: C(\alpha_1-bh_1,\,\alpha_2,\,\varkappa\omega_{n-1})}
899: {C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_k}
900: C(\alpha_1-bh_k,\,\alpha_2,\,\varkappa\omega_{n-1})}=
901: \frac{\prod_{j=1}^{n}\gamma(A_j)\gamma(B_{k-1}-A_j)}
902: {\prod_{j=1}^{n-1}\gamma(B_j)}
903: \frac{\prod_{j\neq k-1}^{n-1}\gamma(1+B_j-B_{k-1})}{\gamma(B_{k-1}-1)},
904: \end{equation}
905: where $k=2,\dots,n$.
906:
907: The structure constants $C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_k}$ admit the free-field representation \cite{Fateev:2000ik}
908: \begin{equation}\label{FreeField}
909: C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_k}=
910: (-\mu)^{k-1}
911: \int\langle V_{-b\omega_1}(0)V_{\alpha_1}(1)
912: V_{2Q-\alpha_1+bh_k}(\infty)\prod_{i=1}^{k-1}
913: V_{be_i}(z_i,\bar{z}_i)\,d^2z_i\rangle_{0}.
914: \end{equation}
915: The expectation value in Eq \eqref{FreeField} is taken using the Wick rules in the theory of a free massless scalar field. This integral, as was pointed out in section \ref{TFT}, can be calculated explicitly. The answer follows from Eq \eqref{StrConst_k}
916: \begin{equation}\label{StrConst}
917: C_{-b\omega_1,\,\alpha_1}^{\alpha_1-bh_k}=
918: \left(-\frac{\pi\mu}{\gamma(-b^2)}\right)^{k-1}
919: \prod_{i=1}^{k-1}
920: \frac{\gamma(b(\alpha_1-Q,h_i-h_k))}
921: {\gamma(1+b^2+b(\alpha_1-Q,h_i-h_k))}.
922: \end{equation}
923: Therefore, we obtain from Eqs \eqref{FunkRelat} and \eqref{StrConst} the system of $(n-1)$ functional relations. There is another dual set of functional relations with parameter $b$ being replaced with $b^{-1}$ and cosmological constant $\mu$ being replaced with dual cosmological constant $\tilde{\mu}$ defined by Eq \eqref{mu-dual}. If parameter $b^2$ real and irrational, then the solution to the both systems of equations is unique up to a multiplicative constant, which depends only on the parameter $\varkappa$. It is easy to check that proposed in section \ref{TFT} three-point correlation function \eqref{C} satisfies both of these systems of equations.
924:
925: In conclusion of this section, we present the exact expression for the four-point correlation function \eqref{4-point-first}. This correlation function can be expressed in terms of Coulomb integral
926: \begin{multline}\label{4-point}
927: \langle V_{-b\omega_1}(x,\bar{x})V_{\alpha_1}(0)
928: V_{\alpha_2}(\infty)V_{\varkappa\omega_{n-1}}(1)\rangle=\\=
929: \left(\frac{b}{\pi}\right)^{n-1}
930: \left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^
931: {\frac{(2Q-\alpha,\rho)}{b}}
932: \frac{\left(\Upsilon(b)\right)^{n-1}\Upsilon(\varkappa)
933: \prod\limits_{e>0}\Upsilon\Bigl((Q-\alpha_1,e)\Bigr)
934: \Upsilon\Bigl((Q-\alpha_2,e)\Bigr)}
935: {\prod\limits_{ij}\Upsilon\Bigl(\frac{\varkappa+b}{n}+
936: (\alpha_1-Q,h_i)+(\alpha_2-Q,h_j)-b\delta_{ij}\Bigr)}\times\\\times
937: |x|^{2b(\alpha_1,h_1)}|1-x|^{\frac{2b\varkappa}{n}}
938: \int\prod_{k=1}^{n-1}d^2t_k\,|t_k|^{2(A_k-B_k)}|t_k-t_{k+1}|^{2(B_k-A_{k+1}-1)}
939: |t_1-x|^{-2A_1},
940: \end{multline}
941: where $t_n\equiv1$, $\alpha=-b\omega_1+\alpha_1+\alpha_2+\varkappa\omega_{n-1}$ and parameters $A_k$ and $B_k$ are given by Eqs \eqref{A_k}--\eqref{B_k}. This expression for the correlation function can be derived by the analytical continuation to the non-integer values of numbers $s_k$ in Eq \eqref{GoulLieFormula1}\footnote{It can be also proved, that integral in Eq \eqref{4-point} satisfies holomorphic (and antiholomorphic) differential equation \eqref{DiffEqnN}.}, which permits also to find expressions for more general correlation functions (see also \cite{Fateev:2006:JETP,Fateev:2007:TMPH}). In principle, it is possible to write down explicit expressions for the correlation functions
942: $$
943: \langle V_{-mb\omega_1}(x,\bar{x})V_{\alpha_1}(0)V_{\alpha_2}(\infty)V_{\varkappa\omega_{n-1}}(1)\rangle
944: $$
945: in terms of finite dimensional integral for $m>1$, but the result will have more tedious form. We plan to consider these and more general correlation functions in the forthcoming paper \cite{Part-Deux}.
946:
947: If we consider the operator product expansion of the field $V_{-b\omega_1}$ with the field $V_{\varkappa\omega_{n-1}}$ in the correlation function \eqref{4-point}, we find that the coefficient before singularity $(1-x)^{b\varkappa/3}$ defines the three-point correlation function $C(\alpha_1,\alpha_2,\varkappa\omega_{n-1}-b\omega_1)$, which is given by the expression
948: \begin{multline}\label{C-shifted}
949: C(\alpha_1,\alpha_2,\varkappa\omega_{n-1}-b\omega_1)=\\=
950: \left(\frac{b}{\pi}\right)^{n-1}
951: \left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^
952: {\frac{(2Q-\alpha,\rho)}{b}}
953: \frac{\left(\Upsilon(b)\right)^{n-1}\Upsilon(\varkappa)
954: \prod\limits_{e>0}\Upsilon\Bigl((Q-\alpha_1,e)\Bigr)
955: \Upsilon\Bigl((Q-\alpha_2,e)\Bigr)}
956: {\prod\limits_{ij}\Upsilon\Bigl(\frac{\varkappa+b}{n}+
957: (\alpha_1-Q,h_i)+(\alpha_2-Q,h_j)+b\delta_{ij}\Bigr)}\times\\\times
958: \int\prod_{k=1}^{n-1}d^2t_k\,|t_k|^{2(A_k-B_k)}|t_k-t_{k+1}|^{2(B_k-A_{k+1}-1)}
959: |t_1-1|^{-2A_1}.
960: \end{multline}
961: where $t_n\equiv1$. Integral in Eq \eqref{C-shifted} can be calculated in many different ways. The simplest one is to combine Eqs \eqref{4-point-first}, \eqref{4-point} and \eqref{t-chanel-n} and express it in terms of hypergeometric functions of the type $(n,n-1)$. As a result we obtain that
962: \begin{multline}\label{C-shifted-1}
963: \int\prod_{k=1}^{n-1}d^2t_k\,|t_k|^{2(A_k-B_k)}|t_k-t_{k+1}|^{2(B_k-A_{k+1}-1)}
964: |t_1-1|^{-2A_1}=
965: \pi^{n-1}\frac{\prod_{j=1}^{n-1}\gamma(B_j-A_{j+1})}
966: {\gamma(A_1)}\times\\\times
967: \Biggl[\mathfrak{G}\left(\genfrac{}{}{0pt}{1}{A_1\:\:\dots\:A_n}{B_1\:\:\dots\:B_{n-1}}
968: \right)
969: +\sum_{k=1}^{n-1}
970: \mathfrak{G}\left(\genfrac{}{}{0pt}{1}{1-B_k+A_1\:\dots\:1-B_k+A_n}
971: {1-B_k+B_1\:\dots,2-B_k,\dots\:1-B_k+B_{n-1}}
972: \right)\Biggr],
973: \end{multline}
974: where
975: \begin{equation}
976: \mathfrak{G}\left(\genfrac{}{}{0pt}{1}{A_1\:\:\dots\:A_n}{B_1\:\:\dots\:B_{n-1}}
977: \right)\overset{\text{def}}{=}\frac{\gamma(A_1)\dots\gamma(A_n)}{\gamma(B_1)\dots\gamma(B_{n-1})}
978: F\left(\genfrac{}{}{0pt}{1}{A_1\:\:\dots\:A_n}{B_1\:\:\dots\:B_{n-1}}\bigl|1\right)^2.
979: \end{equation}
980:
981: As we see from the above, the four-point correlation function in $\mathfrak{sl}(n)$ TFT, which contains completely degenerate field, satisfies differential equation, only if at least one of the other fields is special. Namely, if field $V_{\alpha_3}$ is degenerate at the first level (parameter $\alpha_3$ takes the special value $\alpha_3=\varkappa\omega_{n-1}$), then the four-point correlation function satisfies Fuchsian differential equation of the order $n$, which can be reduced to the generalized Pochgamer differential equation \eqref{DiffEqnN} and, hence, it can be represented by the Coulomb integral \eqref{4-point}. Without such a condition, the four-point correlation function seems to be more complicated object. One can prove, that for $n>2$ it can not be a solution to the ordinary Fuchsian differential equation of the order $n$ \cite{Fateev:2005gs}. However, if the field $V_{\alpha_3}$ is degenerate (but not completely degenerate) at the higher levels $m_k+1$, $k=1,\dots,n-2$, i.~e. parameter $\alpha_3$ takes the special values
982: \begin{equation}
983: \alpha_3=\varkappa\omega_{n-1}-\sum_{k=1}^{n-2}m_kb\omega_k
984: \end{equation}
985: with non-negative integers $m_k$, then the four-point correlation function can be represented by the Coulomb integral of the finite order \footnote{We will show it for the case of $\mathfrak{sl}(3)$ TFT in Ref \cite{Part-Deux}.}.
986: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
987: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
988: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
989: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
990: \section{Classical limit (heavy exponential fields)}\label{CL-heavy}
991: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
992: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
993: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
994: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
995: In this section we consider the semi-classical limit $b\rightarrow 0$ of the conformal TFT.
996: Let us define classical field as
997: \begin{equation}
998: \phi=b\varphi.
999: \end{equation}
1000: Its dynamics is described by the classical action
1001: \begin{equation}\label{Sclass}
1002: S_{class}=\frac{1}{8\pi b^2}\int\left[
1003: (\partial\phi)^2+8\pi\mu b^2\sum_{k=1}^{n-1}e^{(e_k,\phi)}\right].
1004: \end{equation}
1005: In this limit the leading asymptotic of the correlation functions (saddle point asymptotic) is governed by the classical action calculated on some specific solution to the equations of motion, which follow from the action \eqref{Sclass}.
1006:
1007: We will consider here the case of $\mathfrak{sl}(3)$ TFT, as an example ($\mathfrak{sl}(2)$ case corresponding to Liouville field theory was considered in \cite{Zamolodchikov:1995aa}), which is already non-trivial. The main asymptotic at $b\rightarrow0$ of the correlation functions
1008: $\langle V_{\alpha_1}(z_1,\bar{z}_1)\dots V_{\alpha_N}(z_N,\bar{z}_N)\rangle$ of heavy operators with parameters
1009: \begin{equation}
1010: \alpha_k=\frac{\eta_k}{b}
1011: \end{equation}
1012: is given by the regularized action\footnote{The divergences arise from the vicinity of sources corresponding to the insertion of the operators $V_{\alpha}$. To obtain finite answer one should re-normalize them. See \cite{Zamolodchikov:1995aa,Seiberg:1990eb} for the regularization prescription.}
1013: \begin{equation}
1014: \langle V_{\alpha_1}(z_1,\bar{z}_1)\dots V_{\alpha_N}(z_N,\bar{z}_N)\rangle\sim
1015: \exp\Bigl(-S_{class}^{reg}\left[
1016: \phi(\eta_1\dots\eta_N\vert z_1,\bar{z}_1\dots z_N,\bar{z}_N)\right]\Bigr),
1017: \end{equation}
1018: here $\phi(\eta_1\dots\eta_N\vert z_1,\bar{z}_1\dots z_N,\bar{z}_N)$ -- real single-valued solution to the Toda equation
1019: \begin{subequations}\label{Toda3}
1020: \begin{align}\label{Toda31}
1021: &\partial\bar{\partial}\phi=\pi\mu b^2\left(
1022: e_1e^{(e_1,\phi)}+e_2e^{(e_2,\phi)}\right)\\
1023: \intertext{with the asymptotic conditions}\label{AssOfFields1}
1024: &\phi=-4\rho\log |z|+\dots\quad\text{at}\quad |z|
1025: \rightarrow\infty,\\
1026: &\phi=-2\eta_j\log |z-z_j|+X_j+\dots\quad\text{at}
1027: \quad z\rightarrow z_j.\label{AssOfFields2}
1028: \end{align}
1029: \end{subequations}
1030: In Eq \eqref{AssOfFields2} $X_j$ is a $z$ independent term.
1031: The solution to the boundary problem \eqref{Toda3} with positive cosmological constant $\mu$ exists if
1032: \begin{equation}\label{condition_for_class_solution}
1033: \sum_{i=1}^N(\eta_i,\omega_k)-2>0\qquad k=1,2.
1034: \end{equation}
1035: The regularized action $S_{class}^{reg}$ on this solution can be calculated as follows \cite{Zamolodchikov:1995aa}. By definition of the classical regularized action its differential is related with parameters $X_j$ defined by Eq \eqref{AssOfFields2} in a simple way
1036: \begin{equation}\label{trick}
1037: dS_{class}^{reg}=-\sum_{j=1}^N\left(X_j,d\eta_j\right).
1038: \end{equation}
1039: The constant of integration in Eq \eqref{trick} can be fixed by the condition\footnote{In quantum case this condition means, that correlation function $\langle V_{\alpha_1}(z_1,\bar{z}_1)\dots V_{\alpha_N}(z_N,\bar{z}_N)$ is trivial in the case, then $\sum\alpha_k=2Q$. Namely, correlation function has a multiple pole under this condition with residue expressed in terms of free field correlation function without screening fields (see Eq \eqref{GoulLieFormula1}).}
1040: \begin{equation}\label{trick-condition}
1041: S_{class}^{reg}\Bigl\vert_{\sum_{i}(\eta_i,\omega_k)=2}=
1042: \sum_{i<j}^N\left(\eta_i,\eta_j\right)\log\vert z_i-z_j\vert^2.
1043: \end{equation}
1044: In the case of $\mathfrak{sl}(3)$ TFT it is convenient to introduce the projection of the field $\phi$ on the fundamental weights $\omega_k$, $k=1,2$:
1045: \begin{equation}
1046: \Phi_k=(\phi,\omega_k).
1047: \end{equation}
1048: In terms of fields $\Phi_k$ equation \eqref{Toda31} has a form
1049: \begin{subequations}\label{TodaEq-normal}
1050: \begin{align}\label{TodaEq-normal-1}
1051: &\partial\bar{\partial}\Phi_1=\pi\mu b^2e^{2\Phi_1-\Phi_2},\\\label{TodaEq-normal-2}
1052: &\partial\bar{\partial}\Phi_2=\pi\mu b^2e^{2\Phi_2-\Phi_1}.
1053: \end{align}
1054: \end{subequations}
1055:
1056: General solution to the system of equations \eqref{TodaEq-normal} can be obtained by introducing
1057: the holomorphic currents
1058: \begin{equation}\label{Tclass}
1059: \mathsf{T}=(\partial\Phi_1)^2+(\partial\Phi_2)^2-
1060: \partial\Phi_1\partial\Phi_2-\partial^2\Phi_1-\partial^2\Phi_2
1061: \end{equation}
1062: and
1063: \begin{multline}\label{Wclass}
1064: \mathsf{W}=\left(\partial\Phi_1(\partial\Phi_2)^2+
1065: \partial\Phi_1\partial^2\Phi_1
1066: -\frac{1}{2}\partial\Phi_1\partial^2\Phi_2-
1067: \frac{1}{2}\partial^3\Phi_1\right)
1068: -\\-
1069: \left(\partial\Phi_2(\partial\Phi_1)^2+
1070: \partial\Phi_2\partial^2\Phi_2
1071: -\frac{1}{2}\partial\Phi_2\partial^2\Phi_1-
1072: \frac{1}{2}\partial^3\Phi_2\right).
1073: \end{multline}
1074: Using Eq \eqref{TodaEq-normal}, one can easily verify that $\bar{\partial}\mathsf{T}=\bar{\partial}\mathsf{W}=0$. In a similar way, if we change $\partial\rightarrow\bar{\partial}$ in \eqref{Tclass} and \eqref{Wclass}, we obtain anti-holomorphic currents $\bar{\mathsf{T}}$ and $\bar{\mathsf{W}}$. It follows from the explicit form of the currents $\mathsf{T}$ and $\mathsf{W}$, that field $e^{-\Phi_1}$ satisfies both holomorphic and anti-holomorphic linear differential equations of the third order
1075: \begin{subequations}\label{HolomorphicEquation}
1076: \begin{align}\label{HolomorphicEquation1}
1077: &\left(-\partial^3+\frac{1}{2}
1078: \partial\mathsf{T}+\mathsf{T}\partial+
1079: \mathsf{W}\right)e^{-\Phi_1}=0,\\
1080: \label{HolomorphicEquation2}
1081: &\left(-\bar{\partial}^3+\frac{1}{2}
1082: \bar{\partial}\bar{\mathsf{T}}+
1083: \bar{\mathsf{T}}\bar{\partial}+
1084: \bar{\mathsf{W}}\right)e^{-\Phi_1}=0\,.
1085: \end{align}
1086: \end{subequations}
1087: Similar equations for $e^{-\Phi_2}$ with changed sign before $\mathsf{W}$ and $\bar{\mathsf{W}}$ are also valid\footnote{It is evident because current $\mathsf{T}(z)$ is symmetric and current $\mathsf{W}(z)$ is antisymmetric under the substitution $1\leftrightarrow2$.}. Differential equations \eqref{HolomorphicEquation} will play an important role in the following.
1088:
1089: From the other hand, equations \eqref{HolomorphicEquation1} and \eqref{HolomorphicEquation2}, being viewed as a system of linear holomorphic and anti-holomorphic differential equations with arbitrary functions $\mathsf{T}(z)$, $\bar{\mathsf{T}}(\bar{z})$, $\mathsf{W}(z)$ and $\bar{\mathsf{W}}(\bar{z})$ can be used to solve the system \eqref{TodaEq-normal}. Namely, let $\Psi_k=\Psi_k(z)$ are three linearly independent solutions to Eq \eqref{HolomorphicEquation1} and $\bar{\Psi}_k=\bar{\Psi}_k(\bar{z})$ are three linearly independent solutions to Eq \eqref{HolomorphicEquation2}\footnote{Generally speaking functions $\Psi_k$ and $\bar{\Psi}_k$ do not complex conjugated to each other.}. Then we can express the field $e^{-\Phi_1}$, as a bilinear combination
1090: \begin{equation}
1091: e^{-\Phi_1}=\sum_{k=1}^3\Psi_k\bar{\Psi}_k.
1092: \end{equation}
1093: After that we find the field $e^{-\Phi_2}$ from the equation \eqref{TodaEq-normal-1}
1094: \begin{equation}
1095: e^{-\Phi_2}=-(\pi\mu b^2)^{-1}\sum_{i<j=1}^3(\Psi_i\partial\Psi_j-\Psi_j\partial\Psi_i)
1096: (\bar{\Psi}_i\bar{\partial}\bar{\Psi}_j-\bar{\Psi}_j\bar{\partial}\bar{\Psi}_i).
1097: \end{equation}
1098: Second equation \eqref{TodaEq-normal-2} is satisfied only if
1099: \begin{equation}\label{Wronskian}
1100: \mathbb{W}\left[\Psi_1,\Psi_2,\Psi_3\right]
1101: \mathbb{W}\left[\bar{\Psi}_1,\bar{\Psi}_2,\bar{\Psi}_3\right]=
1102: -\left(\pi\mu b^2\right)^3,
1103: \end{equation}
1104: here $\mathbb{W}\left[\Psi_1,\Psi_2,\Psi_3\right]$ is Wronskian. Henceworth, the solution to the system \eqref{TodaEq-normal} can be build up from the solutions of any pair of holomorphic and anti-holomorphic linear differential equations of the third order with the condition \eqref{Wronskian}.
1105:
1106: In our case, we should solve Eq \eqref{Toda31} with boundary conditions \eqref{AssOfFields1} and \eqref{AssOfFields2}. It puts the limitations on the possible form of the currents $\mathsf{T}(z)$ and $\mathsf{W}(z)$. As a consequence of Eq \eqref{AssOfFields1}, the
1107: currents $\mathsf{T}(z)$ and $\mathsf{W}(z)$ have asymptotic at infinity
1108: \begin{equation}\label{AssOfCurrents}
1109: \mathsf{T}(z)\sim\frac{1}{z^4}\quad
1110: \mathsf{W}(z)\sim\frac{1}{z^6}\quad\text{at}
1111: \quad z\rightarrow\infty
1112: \end{equation}
1113: and due to \eqref{AssOfFields2} are in fact the rational functions
1114: \begin{equation}\label{Currents_rational}
1115: \begin{aligned}
1116: &\mathsf{T}(z)=\sum_{k=1}^N\left(\frac{\delta_k}{(z-z_k)^2}+
1117: \frac{C_k}{(z-z_k)}\right),\\
1118: &\mathsf{W}(z)=\sum_{k=1}^N\left(\frac{\mathsf{w}_k}{(z-z_k)^3}+
1119: \frac{D_k}{(z-z_k)^2}+
1120: \frac{E_k}{(z-z_k)}\right),
1121: \end{aligned}
1122: \end{equation}
1123: here parameters $\delta_k$ and $\mathsf{w}_k$ are expressed in terms of vector parameters $\eta_k$ as
1124: \begin{equation}\label{TandW}
1125: \begin{aligned}
1126: &\delta_k=\frac{(\eta_k,\eta_k)}{2}-(\eta_k,\rho)\\
1127: &\mathsf{w}_k=\bigl((\eta_k,\omega_1)-(\eta_k,\omega_2)\bigr)
1128: \bigl((\eta_k,\omega_1)-1\bigr)\bigl((\eta_k,\omega_2)-1\bigr)
1129: \end{aligned}
1130: \end{equation}
1131: and coincide up to a sign with semiclassical limit of the quantum numbers \eqref{delta} and \eqref{omega}.
1132: The parameters $C_k$, $D_k$ and $E_k$ are not defined from the main asymptotic \eqref{AssOfFields2} at $z\rightarrow z_k$, but contain information about next subleading terms. In fact, they are not linearly independent, but satisfy linear algebraic relations, which follow from the asymptotic \eqref{AssOfCurrents} (analog of Ward identities \eqref{LWard} and \eqref{WWard} in quantum case).
1133:
1134: First interesting case is the case of three singular points, which corresponds to the semiclassical limit of the three-point correlation function. Let us consider it in more details. In this case the number of equations, which follow from the asymptotic of the current $\mathsf{T}(z)$, is enough to find parameters $C_k$. Really, we have three parameters $C_1$, $C_2$ and $C_3$ and three conditions, which follow from the asymptotic of the current $\mathsf{T}(z)$ at infinity. Unfortunately, this is not true for the asymptotic of the current $\mathsf{W}$. In this case, we have six parameters $D_k$ and $E_k$ and only five equations, which appear from the asymptotic $\mathsf{W}(z)\sim\frac{1}{z^6}$. Therefore one parameter remains free. Evidently, it corresponds to the possibility to add to the current $\mathsf{W}(z)$ the term
1135: \begin{equation*}
1136: \frac{1}{(z-z_1)^2(z-z_2)^2(z-z_3)^2}
1137: \end{equation*}
1138: with arbitrary coefficient. In order to emphasize this one-parameter freedom, let us fix first non-vanishing term of the asymptotic of the current $\mathsf{W}(z)$ at infinity as
1139: \begin{multline}\label{Lambda-definition}
1140: \mathsf{W}(z)=\frac{1}{2z^6}\Bigl[\mathsf{w}_1z_{12}z_{13}(z_{12}+
1141: z_{13})+\mathsf{w}_2z_{21}z_{23}(z_{21}+z_{23})+\\+
1142: \mathsf{w}_3z_{31}z_{32}(z_{31}+z_{32})+
1143: 2\Lambda z_{12}z_{13}z_{23}\Bigr]+
1144: O\left(\frac{1}{z^7}\right).
1145: \end{multline}
1146: The parameter $\Lambda$, which we call accessory parameter, is not known a priori. Here we arrive at the main difference with $\mathfrak{sl}(2)$ case, where the accessory parameters do not appear in the case of three singular points \cite{Zograf}. This difference explains at the classical level why the three-point correlation function is much more complicated object in higher Toda systems. As we will show below, the parameter $\Lambda$ can be found, in principle, from rather different arguments, which resemble the conformal bootstrap program.
1147:
1148: Using projective invariance of Eqs \eqref{HolomorphicEquation}\footnote{One can show, that differential equation
1149: \begin{equation*}
1150: \left(-\partial^3+\frac{1}{2}\partial\mathsf{T}+\mathsf{T}\partial+\mathsf{W}\right)\Psi=0
1151: \end{equation*}
1152: is invariant under the substitution
1153: $z\rightarrow w(z)$, $\Psi(z)\rightarrow \left(\frac{dw}{dz}\right)^{-1}\Psi(w)$,
1154: $\mathsf{T}(z)\rightarrow\left(\frac{dw}{dz}\right)^{2}\mathsf{T}(w)-2\{w,z\}$ and
1155: $\mathsf{W}(z)\rightarrow \left(\frac{dw}{dz}\right)^{3}\mathsf{W}(w)$,
1156: where $\{w,z\}$ is Schwartz derivative.} one can rewrite them through the invariants of four points
1157: \begin{equation*}
1158: x=\frac{(z-z_1)(z_2-z_3)}{(z-z_3)(z_2-z_1)}\;\;\;\;\;\text{and}\;\;\;\;\;
1159: \bar{x}=\frac{(\bar{z}-\bar{z}_1)(\bar{z}_2-\bar{z}_3)}{(\bar{z}-\bar{z}_3)(\bar{z}_2-\bar{z}_1)}.
1160: \end{equation*}
1161: For example, Eq \eqref{HolomorphicEquation1} will have a form
1162: \begin{equation}\label{Fuchsian-3}
1163: \left(-\partial_x^3+\frac{1}{2}\partial_x\mathsf{T}(x)+\mathsf{T}(x)\partial_x+\mathsf{W}(x)\right)
1164: \Psi(x)=0
1165: \end{equation}
1166: with
1167: \begin{equation}
1168: \begin{aligned}
1169: &\mathsf{T}(x)=\frac{\delta_1}{x^2}+\frac{\delta_2}{(x-1)^2}+
1170: \frac{\delta_3-\delta_1-\delta_2}{x(x-1)},\\
1171: &\mathsf{W}(x)=\frac{\mathsf{w}_1}{x^3}+\frac{\mathsf{w}_2}{(x-1)^3}
1172: +\frac{1}{2}(\mathsf{w}_1+\mathsf{w}_2+\mathsf{w}_3)\Bigl(\frac{1}{x^2}-\frac{1}{(x-1)^2}\Bigr)+
1173: \frac{(\mathsf{w}_1-\mathsf{w}_2+\Lambda)}{x^2(x-1)^2}.
1174: \end{aligned}
1175: \end{equation}
1176: Equation \eqref{Fuchsian-3} is the most general Fuchsian differential equation of the third order with three singular points $0$, $1$ and $\infty$ modulo "gauge" transformation $\Psi(x)\rightarrow x^{\alpha}(x-1)^{\beta}\Psi(x)$. The "gauge" is fixed by the condition, that term with second derivative
1177: $\partial^2_x\Psi(x)$ is absent in Eq \eqref{Fuchsian-3}.
1178:
1179: In order to solve the problem \eqref{Toda3}, one should find real single valued solution to Eqs \eqref{HolomorphicEquation}. The last requirement is not trivial, because the general solution to Eqs
1180: \eqref{HolomorphicEquation} does not satisfy this property. Let $\psi_k$ be the basis of the solutions to Eq \eqref{HolomorphicEquation1} with diagonal monodromy around point $z=z_1$
1181: \begin{equation}
1182: \psi_k=(z-z_1)^{1+(\eta_1-\rho,h_k)}\left(1+O(z-z_1)\right)
1183: \qquad k=1,2,3
1184: \end{equation}
1185: \begin{figure}
1186: \psfrag{z1}{$z_1$}\psfrag{z2}{$z_2$}\psfrag{z3}{$z_3$}
1187: \psfrag{c1}{$C_1$}\psfrag{c2}{$C_2$}\psfrag{c3}{$C_3$}
1188: \begin{center}
1189: \epsfig{figure=contur.eps,width=.514\textwidth}
1190: \caption{Basic monodromy contours for the equation
1191: \protect\eqref{HolomorphicEquation} in the case of three singular points.}
1192: \label{fig:contur}
1193: \end{center}
1194: \end{figure}
1195: If we write a diagonal bilinear combination
1196: \begin{equation}\label{AssosRelat1}
1197: e^{-\Phi_1}=\lambda_1|\psi_1|^2+\lambda_2|\psi_2|^2+
1198: \lambda_3|\psi_3|^2,
1199: \end{equation}
1200: such a solution is evidently invariant if we move point $z$ around point $z_1$ (contour $C_1$ on figure \ref{fig:contur}). But we need also such an invariance around points $z_2$ and $z_3$ (contour $C_2$ and $C_3$ on figure \ref{fig:contur} respectively). Let $\chi_k$ be the basis of the solutions to Eq \eqref{HolomorphicEquation1} with diagonal monodromy around point $z=z_2$
1201: \begin{equation}
1202: \chi_k=(z-z_2)^{1+(\eta_2-\rho,h_k)}\left(1+O(z-z_2)\right)
1203: \qquad k=1,2,3.
1204: \end{equation}
1205: The following formula also should be valid
1206: \begin{equation}\label{AssosRelat2}
1207: e^{-\Phi_1}=\tilde{\lambda}_1|\chi_1|^2+
1208: \tilde{\lambda}_2|\chi_2|^2+\tilde{\lambda}_3|\chi_3|^2
1209: \end{equation}
1210: with some other constants $\tilde{\lambda}_k$. If the solution $e^{-\Phi_1}$ can be represented simultaneously as \eqref{AssosRelat1} and as \eqref{AssosRelat2} it becomes single-valued on a total sphere, because the contour surrounding point $z_3$ can be transformed to the contour surrounding points $z_1$ and $z_2$, as guaranteed by the condition \eqref{AssOfCurrents}. As functions $\psi_k$ and $\chi_k$ satisfy the same differential equation, they are linearly connected
1211: \begin{equation}\label{Assos}
1212: \psi_i=M_{ij}\chi_j.
1213: \end{equation}
1214: Entries of the matrix $M_{ij}$ are believed to be meromorphic functions of the parameters $\delta_k$, $\mathsf{w}_k$ and the accessory parameter $\Lambda$ (for the real values of the parameters $\delta_k$, $\mathsf{w}_k$ and $\Lambda$ matrix $M_{ij}$ is real). If we substitute relation \eqref{Assos} into Eq \eqref{AssosRelat1}, we obtain unwanted cross terms like $\chi_1\bar{\chi}_2$ destroying the property \eqref{AssosRelat2}, which guarantees that solution is single-valued. So, one should set all coefficients before such terms equal to zero. As a result, we arrive to the system of equations
1215: \begin{equation}
1216: \begin{pmatrix}
1217: M_{11}M_{12} & M_{11}M_{13} & M_{12}M_{13} \\
1218: M_{21}M_{22} & M_{21}M_{23} & M_{22}M_{23} \\
1219: M_{31}M_{32} & M_{31}M_{33} & M_{32}M_{33}
1220: \end{pmatrix}
1221: \begin{pmatrix}
1222: \lambda_1\\
1223: \lambda_2 \\
1224: \lambda_3
1225: \end{pmatrix}=0.
1226: \end{equation}
1227: The determinant of the corresponding matrix should be zero
1228: \begin{equation}\label{det}
1229: \det \begin{pmatrix}
1230: M_{11}M_{12} & M_{11}M_{13} & M_{12}M_{13} \\
1231: M_{21}M_{22} & M_{21}M_{23} & M_{22}M_{23} \\
1232: M_{31}M_{32} & M_{31}M_{33} & M_{32}M_{33}
1233: \end{pmatrix}=0.
1234: \end{equation}
1235: The condition \eqref{det} can be viewed as an equation on accessory parameter $\Lambda$. Each accessory parameter $\Lambda$, which solves equation \eqref{det} gives single-valued solution to the boundary Toda problem \eqref{Toda3}.
1236:
1237:
1238: Let us try to find a solution to this equation in a special situation, which corresponds to the classical limit of three-point correlation function \eqref{C}. Namely, we suppose that
1239: \begin{equation}\label{ClassCond}
1240: \eta_3=\kappa\omega_2.
1241: \end{equation}
1242: In this case one can guess accessory parameter $\Lambda$, which solves equation \eqref{det}:
1243: \begin{equation}\label{Lambda}
1244: \Lambda=\left(\frac{\kappa}{3}-\frac{1}{2}\right)
1245: \left(\delta_1-\delta_2\right)-\frac{1}{2}\left(\mathsf{w}_1-\mathsf{w}_2\right)
1246: \end{equation}
1247: from the rather simple reasoning. The logic is the following: if the condition \eqref{ClassCond} is satisfied, the equations \eqref{HolomorphicEquation} have the same behavior near the singular points as a hypergeometric equation of the type $(3,2)$, but do not coincide with it if parameter $\Lambda$ is general. So, we select such special value of the parameter $\Lambda$ defined by Eq \eqref{Lambda}, that these equations are identical. One can easily check that the equation \eqref{det} is satisfied in this case. The solution to the boundary problem \eqref{Toda3} can be obtained in this case in a simple way: expression for the field $e^{-\Phi_1}$ can be derived by semiclassical limit of four-point correlation function \eqref{4-point} for $n=3$, while expression for the field $e^{-\Phi_2}$ can be obtained from Eq \eqref{TodaEq-normal-1}. Both of them can be expressed in terms of Coulomb integrals (for simplicity we set $z_1=0$, $z_2=\infty$, $z_3=1$ and $z=x$)
1248: \begin{equation}\label{Coulomb-for-hypergeom}
1249: \begin{aligned}
1250: &e^{-\Phi_1}=\mathfrak{C}\;
1251: |x|^{2(\eta_1,\omega_1)}|x-1|^{\frac{2\kappa}{3}}
1252: \int d^2t\,d^2y \;
1253: |t-x|^{2\mathfrak{b}_1}|t-y|^{2\mathfrak{b}_2}|y-1|^{2\mathfrak{b}_3}
1254: \;|t|^{2\mathfrak{a}_1}|y|^{2\mathfrak{a}_2},\\
1255: &e^{-\Phi_2}=\tilde{\mathfrak{C}}\;
1256: |x|^{2(\eta_1,\omega_2)}|x-1|^{2-\frac{2\kappa}{3}}
1257: \int d^2t\,d^2y\;
1258: |t-x|^{2\tilde{\mathfrak{b}}_1}|t-y|^{2\tilde{\mathfrak{b}_2}}|y-1|^{2\tilde{\mathfrak{b}}_3}
1259: \;|t|^{2\tilde{\mathfrak{a}}_1}|y|^{2\tilde{\mathfrak{a}}_2},
1260: \end{aligned}
1261: \end{equation}
1262: with
1263: \begin{equation}
1264: \begin{aligned}
1265: &\mathfrak{a}_k=-1+\frac{\kappa}{3}+(\eta_1-\rho,h_{k+1})+(\eta_2-\rho,h_{k}),\;
1266: &&\mathfrak{b}_k=-\frac{\kappa}{3}-(\eta_1-\rho,h_{k})-(\eta_2-\rho,h_{k}),\\
1267: &\tilde{\mathfrak{a}}_k=-\frac{\kappa}{3}+(\eta_1-\rho,h_{k+1}^{*})+(\eta_2-\rho,h_k^{*}),\;
1268: &&\tilde{\mathfrak{b}}_k=-1+\frac{\kappa}{3}-(\eta_1-\rho,h_k^{*})-(\eta_2-\rho,h_k^{*}),
1269: \end{aligned}
1270: \end{equation}
1271: where $h_k^{*}=-h_{4-k}$ and
1272: \begin{equation}
1273: \begin{aligned}
1274: &\mathfrak{C}=\frac{\mu b^2}{\pi}\frac
1275: {\prod_{k=1}^3\gamma(\frac{\kappa}{3}+(\eta_1-\rho,h_k)+(\eta_2-\rho,h_k))}
1276: {\prod_{i=1}^3\prod_{j=1}^3\left[\gamma(\frac{\kappa}{3}+(\eta_1-\rho,h_i)+(\eta_2-\rho,h_j))\right]
1277: ^{\frac{1}{3}}},\\
1278: &\tilde{\mathfrak{C}}=\frac{\mu b^2}{\pi}\frac
1279: {\prod_{i=1}^3\prod_{j=1}^3\left[\gamma(\frac{\kappa}{3}+(\eta_1-\rho,h_i)+(\eta_2-\rho,h_j))\right]
1280: ^{\frac{1}{3}}}
1281: {\prod_{k=1}^3\gamma(\frac{\kappa}{3}+(\eta_1-\rho,h_k)+(\eta_2-\rho,h_k))}.
1282: \end{aligned}
1283: \end{equation}
1284: This solution can be also written through the hypergeometric function of the type $(3,2)$.
1285: The regularized classical action on this solution $S_{class}^{reg}$ can be easily found using Eqs \eqref{trick} and \eqref{trick-condition} and has a form
1286: \begin{multline}\label{ClassAssym}
1287: S_{class}^{reg}=\left((\eta_1+\eta_2,\rho)+\kappa-4\right)
1288: \log(\pi\mu b^2)+F(\kappa)+
1289: \sum_{e>0}F((\rho-\eta_1,e))+
1290: \sum_{e>0}F((\rho-\eta_2,e))-\\-
1291: \sum_{ij}F\left(\frac{\kappa}{3}+(\eta_1-\rho,h_i)
1292: +(\eta_2-\rho,h_i)\right)-F^2(0)
1293: \end{multline}
1294: with
1295: \begin{equation}
1296: F(x)=\int_{\frac{1}{2}}^{x}\log\gamma(t)dt.
1297: \end{equation}
1298: We see that the classical limit of the proposed three-point correlation function \eqref{C} is in complete agreement with expression \eqref{ClassAssym}.
1299:
1300: We have found a solution to the boundary Toda problem \eqref{Toda3} and an explicit expression for the accessory parameter $\Lambda$ in the case of five-parametric family (vector parameter $\eta_3$ restricted by the condition $\eta_3=\kappa\omega_2$). In general case boundary problem \eqref{Toda3} is rather complicated, because it corresponds to the most general differential equation of the third order with three singular points of the Fuchsian type (by projective invariance this equation can be transformed to equation \eqref{Fuchsian-3}). It is interesting to notice, that to the same type belongs differential equation for the four-point correlation function $\langle V_{-b}(z)V_{\alpha_1}(z_1)V_{\alpha_2}(z_2)V_{\alpha_3}(z_3)\rangle$ in the Liouville field theory \cite{Belavin:1984vu} ($\mathfrak{sl}(2)$ TFT)\footnote{Here we use standart for the Liouville field theory (LFT) notations, which differ from those used in this paper. Namely central charge in LFT equals $c_L=1+6(b+b^{-1})^2$ and exponential fields $V_{\alpha}$ have conformal dimensions $\Delta_L(\alpha)=\alpha(b+b^{-1}-\alpha)$. One should emphasize, that parameter $b$ here is formal parameter, which does not goes to zero.}. It can be transformed to the differential equation \eqref{Fuchsian-3} with parameters (one should take into account projective invariance)
1301: \begin{equation}\label{DiffEq-Phi13}
1302: \delta_k=-\frac{2}{3}b^2(6\Delta_L(\alpha_k)-3-2b^2),\;\;
1303: \mathsf{w}_k=-\frac{2}{27}b^2(36b^2\Delta_L(\alpha_k)-8b^4-18b^2-9),\;\;
1304: \Lambda=0.
1305: \end{equation}
1306: If we introduce auxiliary parameter $g=-b^2$, then the numbers $\delta_k$ and $\mathsf{w}_k$ are subject the condition
1307: \begin{equation}
1308: \delta_k-\frac{\mathsf{3w}_k}{2g}=\frac{4g^2}{9}-1,
1309: \end{equation}
1310: which can be parameterized in terms of vector parameter $\eta_k$, which enter in Eq \eqref{TandW}, as
1311: \begin{equation}\label{eta_for_Liouville}
1312: \eta_k=\lambda_k\omega_1+(\lambda_k-2g)\omega_2\;\;\;\;k=1,2,3,
1313: \end{equation}
1314: where $\omega_1$ and $\omega_2$ are the fundamental weights of the Lie algebra $\mathfrak{sl}(3)$ and $\lambda_k$ are auxiliary scalar parameters. Simultaneous single valued solution to equation \eqref{Fuchsian-3} and to corresponding antiholomorphic equation can be written in terms of Coulomb integral \cite{Fateev:2006:JETP,Fateev:2007:TMPH} (this solution coinsides up to multiplicative constant with the field $e^{-\Phi_1}$)
1315: \begin{equation}\label{Coulomb-for-Phi13}
1316: e^{-\Phi_1}=\mathfrak{D}
1317: |x|^{2\lambda_1-4g/3}|x-1|^{2\lambda_2-4g/3}
1318: \int \prod_{k=1}^2|t_k|^{2A}|t_k-1|^{2B}|t_k-x|^{2C}\mathcal{D}_2^{2g}(t)\;d^2t_1\,d^2t_2,
1319: \end{equation}
1320: where $\mathcal{D}_2(t)=|t_1-t_2|^2$ and
1321: \begin{equation}
1322: A=-\lambda_1-C,\;\;B=-\lambda_2-C,\;\;C=1+g-\frac{1}{2}(\lambda_1+\lambda_2+\lambda_3).
1323: \end{equation}
1324: The dual solution to the differential equation \eqref{Fuchsian-3} with changed sign before current $W(x)$ (this solution corresponds to the field $e^{-\Phi_2}$) has a form
1325: \begin{equation}\label{Coulomb-for-Phi13-1}
1326: e^{-\Phi_2}=\mathfrak{D}'
1327: |x|^{2\lambda_1-8g/3}|x-1|^{2\lambda_2-8g/3}
1328: \int \prod_{k=1}^2|t_k|^{2A'}|t_k-1|^{2B'}|t_k-x|^{2C'}\mathcal{D}_2^{2g'}(t)\;d^2t_1\,d^2t_2
1329: \end{equation}
1330: with
1331: \begin{equation*}
1332: A'=A+g,\;\;\;\;B'=B+g,\;\;\;\;C'=C+g,\;\;\;\;g'=-g.
1333: \end{equation*}
1334: Functions $e^{-\Phi_1}$ and $e^{-\Phi_2}$ given by Eqs \eqref{Coulomb-for-Phi13} and
1335: \eqref{Coulomb-for-Phi13-1} define modulo numerical factors the solution to the Toda boundary problem \eqref{Toda3} with three singular points $0$, $1$ and $\infty$ and parameters $\eta_k$ given by Eq \eqref{eta_for_Liouville}. We do not give here explicit expressions for the numerical constants $\mathfrak{D}$ and $\mathfrak{D}'$ before integrals \eqref{Coulomb-for-Phi13} and \eqref{Coulomb-for-Phi13-1} and for the action calculated on this solution, because in this paper we do not suppose to quantize it.
1336:
1337: The results of this section show, that the boundary problem \eqref{Toda3} for the $\mathfrak{sl}(3)$ Toda equation is much more complicated than the corresponding boundary problem for Liouville equation. Even in the case of three singular points one should deal with accessory parameters. Boundary problem \eqref{Toda3} can be reduced to the problem to finding single valued solution to the holomorphic and antiholomorphic Fuchsian differential equations of the third order with given behavior near the singular points \footnote{The most general such equation with three singular points $0$, $1$ and $\infty$ is given by Eq \eqref{Fuchsian-3}.}. We have shown that it can be reduced to the problem of finding values of accessory parameter $\Lambda$ which solves equation \eqref{det}. We suppose, that in the domain \eqref{condition_for_class_solution} the solution to this equation is unique.
1338:
1339: An interesting question how to find parameter $\Lambda$. We have found it in two different cases. First case is when one of the parameters $\eta_k$ is proportional to the fundamental weight (for example $\eta_3=\kappa\omega_2$). In this case accessory parameter $\Lambda$ is given by Eq \eqref{Lambda}. Another interesting case, which corresponds to the differential equation for the quantum field $V_{-b}$ in Liouville field theory gives the value of the parameter $\Lambda=0$. One has to notice, that in both cases the solution to Eq \eqref{Fuchsian-3} is given in terms of Coulomb integrals over a plane (Eqs \eqref{Coulomb-for-hypergeom} and \eqref{Coulomb-for-Phi13} respectively), so these solutions are evidently single valued. An important problem remains unsolved: how to find parameter $\Lambda$ in general case? It is difficult to expect, that solution to Eq \eqref{Fuchsian-3} in general case can be expressed in terms of finite dimensional integral. Because of that we do not have a efficient procedure to find matrix $M_{ij}$ defined by Eq \eqref{Assos}. We suppose to develop the effective numerical method to solve this problem in a future publication.
1340: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1341: \section{Classical limit (light exponential fields)}\label{CL-light}
1342: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1343: In this section we consider the semiclassical limit of $\mathfrak{sl}(3)$ TFT in the opposite case of light exponential fields $V_{\alpha_k}$ with parameters
1344: \begin{equation}
1345: \alpha_k=b\eta_k.
1346: \end{equation}
1347: The solution to the Toda equation \eqref{Toda31} with positive cosmological constant $\mu$ in this case does not exist, because the condition \eqref{condition_for_class_solution} does not satisfied. In order to have a solution, it is useful to perform analytical continuation $\mu\rightarrow-\mu$\footnote{Alternatively, one can consider the correlation functions with the fixed "area". See Ref \cite{Zamolodchikov:1995aa} for details.}. The leading asymptotic behavior of correlation functions at $b\rightarrow0$ is now governed by the solution to the Toda equation with the opposite sign in the r.~h.~s.
1348: \begin{equation}\label{Toda3-}
1349: \partial\bar{\partial}\phi=-\pi\mu b^2\left(e_1e^{(e_1,\phi)}
1350: +e_2e^{(e_2,\phi)}\right).
1351: \end{equation}
1352: It is evident, that light exponential fields $V_{b\eta_k}$ do not affect on dynamics, it means, that in this case one has to set
1353: \begin{equation}
1354: \mathsf{T}=\mathsf{W}=\bar{\mathsf{T}}=\bar{\mathsf{W}}=0
1355: \end{equation}
1356: in Eqs \eqref{HolomorphicEquation}. General solution to Eq \eqref{Toda3-} expressed in terms of solutions to Eqs \eqref{HolomorphicEquation}, which in this case are the polynomials of degree $2$. It is convenient to parameterize these polynomials by nine complex parameters $a_k$, $b_k$ and $c_k$ ($k=1,2,3$) as follows
1357: \begin{equation}\label{Polynom}
1358: p_k=a_k+b_kz+\frac{c_k}{2}z^2.
1359: \end{equation}
1360: The solution to the Toda equation \eqref{Toda3-} is given by
1361: \begin{equation}\label{Phi-unitary}
1362: \phi^0(z,\bar{z})=-\rho\log(\pi\mu b^2)+e_1\Phi_1^0(z,\bar{z})+e_2\Phi_2^0(z,\bar{z})
1363: \end{equation}
1364: with $\rho$ being the Weyl vector and
1365: \begin{equation}\label{Phi-unitary-1}
1366: \Phi_1^0(z,\bar{z})=-\log
1367: \left(\vert p_1\vert^2+\vert p_2\vert^2+\vert p_3\vert^2\right),\;\;\;\;
1368: \Phi_2^0(z,\bar{z})=-\log\left(\vert\tilde{p}_1\vert^2+\vert\tilde{p}_2\vert^2+\vert
1369: \tilde{p}_3\vert^2\right),
1370: \end{equation}
1371: where the dual polynomials $\tilde{p}_i$ are defined as
1372: \begin{equation}\label{Polynom-dual}
1373: \tilde{p}_1=p_2p_3'-p_3p_2',\qquad
1374: \tilde{p}_2=p_1p_3'-p_3p_1',\qquad
1375: \tilde{p}_3=p_1p_2'-p_2p_1'.
1376: \end{equation}
1377: Due to Eq \eqref{Wronskian} nine complex parameters $a_k$, $b_k$ and $c_k$ are subject to the $SL(3,C)$ constraint
1378: \begin{equation}\label{SL(3)-constraint}
1379: \det \begin{pmatrix}
1380: a_1 & b_1 & c_1 \\
1381: a_2 & b_2 & c_2 \\
1382: a_3 & b_3 & c_3
1383: \end{pmatrix}=1.
1384: \end{equation}
1385: The difference with the semiclassical limit of the correlation function of ~"heavy" exponential fields considered in section \ref{CL-heavy} is that the saddle point now is not unique. The action is minimazed on any function $\phi^0(z,\bar{z})$ defined by Eq \eqref{Phi-unitary}. So, in order to obtain the semiclassical expression for the correlation function of the light operators $V_{b\eta_k}$ one should integrate over the space of all polynomials \eqref{Polynom} restricted by the condition \eqref{SL(3)-constraint}. Namely, the semiclassical limit of the $N$-point correlation function is given by the integral
1386: \begin{equation}\label{ClassInt}
1387: \frac{1}{Z_0}\langle V_{b\eta_1}(z_1,\bar{z}_1)
1388: \dots V_{b\eta_N}(z_N,\bar{z}_N)\rangle\underset{b\rightarrow0}{\longrightarrow}
1389: \int\prod_{k=1}^N e^{(\eta_k,\phi^0(z_k,\bar{z}_k))}d\Omega(a_k,b_k,c_k),
1390: \end{equation}
1391: where $Z_0$ is TFT partition function and $d\Omega(a_k,b_k,c_k)$ is the $SL(3,C)$ invariant measure.
1392:
1393: It is evident from Eq \eqref{Phi-unitary-1}, that fields $\Phi_1^0(z,\bar{z})$, $\Phi_2^0(z,\bar{z})$ and the integral \eqref{ClassInt} have $SU(3)$ invariance. Hence, the integral \eqref{ClassInt} is just proportional to the volume of $SU(3)$. We use Iwasawa decomposition for the $SL(3,C)$ to fix the gauge. Namely, each $SL(3,C)$ matrix can be represented, as a product of $SU(3)$ matrix and uppertriangle matrix with unit determinant:
1394: \begin{equation}\label{Iwasawa}
1395: SL(3,C)=SU(3)\times
1396: \begin{pmatrix}
1397: \varrho &a &b\\
1398: 0 &\nu &c\\
1399: 0 &0 &\tau
1400: \end{pmatrix}
1401: \end{equation}
1402: here $a$, $b$ and $c$ are the complex numbers and $\varrho$, $\nu$ and $\tau$ are the real numbers with the condition $\varrho\nu\tau=1$. In this gauge polynomials $p_k$ and $\tilde{p}_k$ defined by Eqs \eqref{Polynom} and \eqref{Polynom-dual} will have the following form
1403: \begin{equation}\label{Polynom-fixed}
1404: \begin{aligned}
1405: &p_1=\frac{\varrho z^2}{2}+az+b,&\;\;\;\;&p_2=\nu z+c,&\;\;\;\;&p_3=\tau,\\
1406: &\tilde{p}_1=\nu\tau,&\;\;\;&\tilde{p}_2=\tau(\varrho z+a),&\;\;\;
1407: &\tilde{p}_3=\frac{\varrho\nu z^2}{2}+c\varrho z+ac-b\nu.
1408: \end{aligned}
1409: \end{equation}
1410: The measure will transform to
1411: \begin{equation}
1412: d\Omega(a_k,b_k,c_k)=d\Theta\;d^2a\;d^2b\;d^2c\;
1413: \varrho^3d\varrho\;\nu d\nu,
1414: \end{equation}
1415: where $d\Theta$ is $SU(3)$ invariant measure.
1416:
1417: In the case of three-point correlation function it is convenient to introduce the notations
1418: \begin{equation}\label{eta->lambda}
1419: (\eta_1,e_j)=\lambda_j;\;\;
1420: (\eta_2,e_j)=\kappa_j;\;\;
1421: (\eta_3,e_j)=\sigma_j;\;\;j=1,2.
1422: \end{equation}
1423: The semiclassical limit of three-point correlation function has a form
1424: \begin{multline}\label{ClassInt-3point-def}
1425: \frac{1}{Z_0}\langle V_{b\eta_1}(z_1,\bar{z}_1)V_{b\eta_2}(z_2,\bar{z}_2)
1426: V_{b\eta_3}(z_3,\bar{z}_3)\rangle\underset{b\rightarrow0}{\longrightarrow}
1427: \left(\pi\mu b^2\right)^{-\lambda_1-\lambda_2-\kappa_1-\kappa_2-\sigma_1-\sigma_2}
1428: \times\\\times
1429: J(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2|z_1,\bar{z}_1,z_2,\bar{z}_2,z_3,\bar{z}_3),
1430: \end{multline}
1431: with
1432: \begin{multline}\label{ClassInt-3point}
1433: J(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2|z_1,\bar{z}_1,z_2,\bar{z}_2,z_3,\bar{z}_3)
1434: =\\=\int \exp\left(\sum_{k=1}^2\left(
1435: \lambda_k\Phi^0_k(z_1,\bar{z}_1)+\kappa_k\Phi^0_k(z_2,\bar{z}_2)+
1436: \sigma_k\Phi^0_k(z_3,\bar{z}_3)\right)\right)
1437: d^2a\;d^2b\;d^2c\;\varrho^3d\varrho\;\nu d\nu,
1438: \end{multline}
1439: where functions $\Phi^0_k(z)$ are given by Eq \eqref{Phi-unitary-1} with polynomials $p_k$ and $\tilde{p}_k$ defined by Eqs \eqref{Polynom-fixed}. The coordinate dependence of the integral \eqref{ClassInt-3point} is fixed by the projective invariance and we can set $z_1=0$, $z_2=1$ and $z_3=\infty$. More exactly we consider the limit of the integral \eqref{ClassInt-3point}
1440: \begin{equation}\label{ClassInt-3}
1441: \mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2)=
1442: \lim_{z_3\rightarrow\infty}
1443: |z_3|^{4(\sigma_1+\sigma_2)}J(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2|0,1,z_3).
1444: \end{equation}
1445: Function $\mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2)$, which defines the semiclassical limit of three-point correlation function, will be the main object of this section.
1446: For convenience, it is better to renormalize parameters $a,b,c,\varrho$ and $\nu$
1447: \begin{equation}
1448: \begin{gathered}
1449: a\rightarrow\nu a;\;\;b\rightarrow\tau b;\;\;c\rightarrow\tau c,\\
1450: \varrho\rightarrow\tau\varrho;\;\;\nu\rightarrow\tau\nu
1451: \end{gathered}
1452: \end{equation}
1453: and take into account the condition $\tau\nu\varrho=1$. Then function $\mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2)$ can be represented by the eight-dimensional integral
1454: \begin{equation}\label{Iwasawa1}
1455: \mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2)=4^{\sigma_1+\sigma_2}\,
1456: \int\frac{\varrho^{2\delta}\nu^{2\Delta}}
1457: {Z_1^{\lambda_1}Z_2^{\lambda_2}Z_3^{\kappa_1}Z_4^{\kappa_2}}\;\frac{d\varrho}{\varrho}
1458: \frac{d\nu}{\nu}\;d^2a\,d^2b\,d^2c
1459: \end{equation}
1460: with
1461: \addtocounter{equation}{-1}
1462: \begin{subequations}
1463: \begin{equation}\label{Zk}
1464: \begin{aligned}
1465: &Z_1=1+|b|^2+|c|^2,\qquad&&Z_3=1+|c+\nu|^2+\Bigl|b+\nu a+\frac{\varrho}{2}\Bigr|^2,\\
1466: &Z_2=1+|a|^2+|ac-b|^2,\qquad&&Z_4=1+\Bigl|a+\frac{\varrho}{\nu}\Bigr|^2+
1467: \Bigl|\frac{\varrho}{2}+\frac{c\varrho}{\nu}+ac-b\Bigr|^2
1468: \end{aligned}
1469: \end{equation}
1470: and
1471: \begin{equation}\label{delta-Delta}
1472: \begin{aligned}
1473: &\delta=\frac{1}{3}\left(\lambda_1+2\lambda_2+\kappa_1+2\kappa_2-2\sigma_1-\sigma_2\right),\\
1474: &\Delta=\frac{1}{3}\left(\lambda_1-\lambda_2+\kappa_1-\kappa_2+\sigma_1-\sigma_2\right).
1475: \end{aligned}
1476: \end{equation}
1477: \end{subequations}
1478: After non-trivial transformations (see appendix \ref{Eval_Iwasawa} for details), integral \eqref{Iwasawa1} can be reduced to the three dimensional Barnes like integral
1479: \begin{multline}\label{3_Fold_Int}
1480: \mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2)=
1481: 4^{\lambda_1+\kappa_1+\sigma_1-\Delta}
1482: \times\\\times
1483: \frac{\Gamma\bigl(\lambda_1+\kappa_1+\sigma_1-\Delta-2\bigr)
1484: \Gamma\bigl(\lambda_2+\kappa_2+\sigma_2+\Delta-2\bigr)}
1485: {\Gamma(\lambda_1)\Gamma(\lambda_2)\Gamma(\lambda_1+\lambda_2-1)
1486: \Gamma(\kappa_1)\Gamma(\kappa_2)\Gamma(\kappa_1+\kappa_2-1)
1487: \Gamma(\sigma_1)\Gamma(\sigma_2)\Gamma(\sigma_1+\sigma_2-1)}
1488: \times\\\times\frac{1}{(2\pi i)^3}\int\,du\,ds\,dy\,\,4^{-u}\,
1489: \Gamma(y)\Gamma(s)\Gamma(u)\Gamma(\sigma_1-u-s)\Gamma(\lambda_2+\Delta-u-s)
1490: \Gamma(\sigma_1-\kappa_2-\Delta+y)\cdot\\
1491: \Gamma(\sigma_1-\kappa_2+\lambda_1-\Delta-u-s)\Gamma(\kappa_1+\kappa_2-1-y)
1492: \Gamma(\kappa_1+\lambda_1-\Delta-1-y)\Gamma(\kappa_2+\sigma_2+\Delta-1-y)\cdot\\
1493: \Gamma(\lambda_2-\kappa_1+\Delta+y)
1494: \frac{\Gamma(\kappa_1-\lambda_2-\Delta+s)\Gamma(\kappa_2+\Delta-\sigma_1+s)
1495: \Gamma(u-\Delta)}{\Gamma(s+y)\Gamma(\lambda_1+\kappa_1+\sigma_1-\Delta-1-u-s-y)},
1496: \end{multline}
1497: where the integral over variables $u$, $s$ and $y$ goes along imaginary axis. Integral \eqref{3_Fold_Int} is convergent in the domain
1498: \begin{equation}
1499: \begin{aligned}
1500: &1+(\eta_1-\rho,h_i)+(\eta_2-\rho,h_j)+(\eta_3-\rho,h_k)>0\;\;\;
1501: \text{if}\;\;\;(h_i+h_j+h_k,\rho)>-1,\\
1502: &1+(\eta_1-\rho,h_i)+(\eta_2-\rho,h_j)+(\eta_3-\rho,h_k)<0
1503: \;\;\;\text{if}\;\;\;(h_i+h_j+h_k,\rho)\leq-1,
1504: \end{aligned}
1505: \end{equation}
1506: where vector parameters $\eta_1$, $\eta_2$ and $\eta_3$ are related with parameters $\lambda_k$, $\kappa_k$ and $\sigma_k$ by Eq \eqref{eta->lambda}. By definition, the integral \eqref{ClassInt} and hence the integral \eqref{3_Fold_Int} should be symmetric with respect to substitution $\lambda\rightarrow\kappa\rightarrow\sigma$ and also with respect to substitution $1\rightarrow2$, but these symmetries are not evident from it explicit form. We were not able to represent this integral in terms of the finite sum of the known functions. Another alternative expression for the function $\mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2)$ in terms of three-dimensional integral of Tricomi functions is given in the appendix \ref{Eval_Iwasawa}.
1507: We see, that the integral \eqref{3_Fold_Int}, which is semiclassical limit of the three-point correlation function, is already rather nontrivial object. Henceworth, it is difficult to expect that quantum expression will have a simple form.
1508:
1509: Integral in Eq \eqref{3_Fold_Int} simplifies drastically if one of the parameters $\lambda_k$, $\kappa_k$ or $\sigma_k$ equals to zero. For example, let us consider the limit $\sigma_1\rightarrow0$. We see, that due to the factor $\Gamma(s)\Gamma(u)\Gamma(\sigma_1-u-s)$ in the integrand in \eqref{3_Fold_Int} in this case integral \eqref{3_Fold_Int} develops a pole, when we pinch points $u$ and $s$ near the point $u=s=0$. This pole cancelles with a zero coming from function $\Gamma(\sigma_1)^{-1}$ in the prefactor of \eqref{3_Fold_Int} and remaining integral over the variable $y$ can be performed using the first Barnes lemma \eqref{Barnes1}. As a result we obtain a simple expression for the function \eqref{3_Fold_Int}
1510: \begin{multline}\label{Semiclass}
1511: \mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;0,\sigma_2)=
1512: 4^{\frac{\sigma_2}{3}+(\eta_1+\eta_2,\rho)}\times\\\times
1513: \frac{\prod_{ij}\Theta_{ij}}
1514: {\Gamma(\sigma_2)\prod_{e>0}\Gamma(1+(\eta_1-\rho,e))
1515: \Gamma(1+(\eta_2-\rho,e))},
1516: \end{multline}
1517: where vectors $\eta_k$ are given by Eq \eqref{eta->lambda} and
1518: \begin{equation*}
1519: \Theta_{ij}=\Biggl\{
1520: \begin{array}{ll}
1521: \Gamma(\frac{\sigma_2}{3}+(\eta_1-\rho,h_i)+
1522: (\eta_2-\rho,h_j))&\text{if}\;\;(h_i+h_j,\rho)>-1\\
1523: \Gamma(1-\frac{\sigma_2}{3}-(\eta_1-\rho,h_i)-
1524: (\eta_2-\rho,h_j))&\text{if}\;\;(h_i+h_j,\rho)\leqslant-1
1525: \end{array}
1526: \end{equation*}
1527: The result \eqref{Semiclass} agrees with the corresponding limit of the three-point correlation function \eqref{C}, where $\alpha_1=b\eta_1$, $\alpha_2=b\eta_2$ and $\varkappa=b\sigma_2$. If all vectors $\eta_k$ are general, the integral \eqref{3_Fold_Int} is much more involved object and we plan to study its analytical properties in a future publication.
1528:
1529: Another interesting point, where the integral \eqref{3_Fold_Int} can be calculated exactly, is defined by the condition $\sigma_1=-m$ with integer $m$, i.~e. $\eta_3=\sigma_2\omega_2-m\omega_1$\footnote{In quantum case field $V_{\alpha}$ with parameter $\alpha=\sigma_2\omega_2-mb\omega_1$ is partially degenerate (it has a null-vector at the level $m+1$). The three-point correlation function with such a field can be expressed in terms of finite dimensional Coulomb integral, as it will be shown in Ref \cite{Part-Deux}, and generalizes the answer \eqref{C-shifted} for the case of Lie algebra $\mathfrak{sl}(3)$.}. In this case function \eqref{3_Fold_Int} can be given by triple finite sum, which in general contains
1530: \begin{equation}\label{N(m)}
1531: N(m)=\frac{(m+1)(m+2)(m+3)}{6}
1532: \end{equation}
1533: terms and has a form
1534: \begin{multline}\label{3_Fold_Int-m}
1535: \mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;-m,\sigma_2)=
1536: 4^{\lambda_1+\kappa_1-\Delta}\Gamma(\lambda_1+\kappa_1-2-m-\Delta)\Gamma(-m-\Delta)
1537: \Gamma(\lambda_1-\kappa_2-m-\Delta)\\\Gamma(\kappa_1-\lambda_2-m-\Delta)
1538: \Gamma(\lambda_2+\kappa_2+\Delta-1)\times\\\times
1539: \frac{\Gamma(\lambda_1-(m+1)-\Delta)\Gamma(\kappa_1-(m+1)-\Delta)
1540: \Gamma(\lambda_2+\Delta)\Gamma(\kappa_2+\Delta)}
1541: {\Gamma(\lambda_1)\Gamma(\lambda_2)\Gamma(\kappa_1)\Gamma(\kappa_2)\Gamma(\sigma_2)
1542: \Gamma(\lambda_1+\lambda_2-1)\Gamma(\kappa_1+\kappa_2-1)}\\
1543: \sum_{s_1,s_2,s_3=0}^m\frac{(-4)^{-s_1-s_2-s_3}(-m)_{s_1+s_2+s_3}(-\Delta-m)_{s_1+s_2+s_3}
1544: (1-\Delta-m-\sigma_2+s_1+s_2+s_3)_{s_1}}
1545: {s_1!s_2!s_3!}\\\times
1546: (\lambda_1-\kappa_2-m-\Delta)_{m-s_1-s_3}(\kappa_1-\lambda_2-m-\Delta)_{m-s_1-s_2}
1547: (\lambda_1-(m+1)-\Delta)_{s_3}(\kappa_1-(m+1)-\Delta)_{s_2}\\
1548: (\lambda_2+\Delta)_{m-s_3}(\kappa_2+\Delta)_{m-s_2}(\sigma_2-(m+1))_{s_2+s_3}
1549: (3-\Delta-\sigma_2-\lambda_2-\kappa_2)_{m-s_2-s_3}
1550: \end{multline}
1551: where
1552: \begin{equation*}
1553: (x)_k=x(x+1)\dots(x+k-1)
1554: \end{equation*}
1555: and $\Delta$ is defined by Eq \eqref{delta-Delta} with $\sigma_1=-m$.
1556:
1557: It is interesting to consider Eq \eqref{3_Fold_Int-m} in the limit $\sigma_2\rightarrow-n$ (corresponding quantum field will have parameter $\alpha=-mb\omega_1-nb\omega_2$ and will be completely degenerate). If we substitute $\sigma_2=-n$ in Eq \eqref{3_Fold_Int-m}, then for general parameters $\lambda_k$ and $\kappa_k$ function $\mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;-m,-n)$ will be zero due to the factor $1/\Gamma(\sigma_2)$. This represents the fact, that the quantum three-point correlation function $C(-mb\omega_1-nb\omega_2,\alpha_1,\alpha_2)$ (where $\alpha_k=b\eta_k$) with completely degenerate field and two arbitrary fields equals to zero. However, if one tunes the parameter $\alpha_2$ for the fixed value of the parameter $\alpha_1$ in a special way (there are only finite number of such possibilities), then this correlation function will be infinite, namely, it will have a double pole in this limit. In this case, as was explained in section \ref{TFT}, it is reasonable to study the structure constants of OPE, which are defined as the main residues of three-point correlation function. At semiclassical level it means, that one should fix parameters $\lambda_1$ and $\lambda_2$ and for given value of the parameter $\sigma_1=-m$ find such values of the parameters $\kappa_1$ and $\kappa_2$, that function \eqref{3_Fold_Int-m} has a double pole in the limit $\sigma_2\rightarrow-n$. Namely, if parameters $\kappa_1$ and $\kappa_2$ approach to the values
1558: \begin{equation}\label{kappas}
1559: \kappa_1=\lambda_2-n+2l-k;\;\;\kappa_2=\lambda_1-m+2k-l,
1560: \end{equation}
1561: i.~e. $\eta_2\rightarrow\eta_1^{*}-n\omega_1-m\omega_2+le_1+ke_2$,
1562: then the double pole appears for integer $k$ and $l$ restricted by the conditions
1563: \begin{equation}\label{zone-1}
1564: k\geq0;\;\;l\leq m+n;\;\;l\geq k-m.
1565: \end{equation}
1566: From the quantum point of view, it means, that correlation function
1567: \begin{equation}
1568: C(-mb\omega_1-(nb+\epsilon)\omega_2,\alpha_1,\alpha_1^{*}-nb\omega_1-mb\omega_2+lbe_1+kbe_2)
1569: \sim\frac{1}{\epsilon^2}
1570: \end{equation}
1571: becomes infinite in the limit $\epsilon\rightarrow0$. It follows from the fact, that this correlation function coinsides up to Weyl transformation with correlation function
1572: \begin{multline}\label{C-light}
1573: C(-mb\omega_1-(nb+\epsilon)\omega_2,\alpha_1,\alpha^{*}_1-b\tilde{h}_{mn}^{kl})=\\=
1574: R^{-1}(\alpha_1-bh_{mn}^{kl})
1575: C(-mb\omega_1-(nb+\epsilon)\omega_2,\alpha_1,2Q-\alpha_1+bh_{mn}^{kl}),
1576: \end{multline}
1577: where
1578: \begin{equation}\label{h-mn-kl}
1579: h_{mn}^{kl}=m\omega_1+n\omega_2-ke_1-le_2,\quad
1580: \tilde{h}_{mn}^{kl}=m\omega_2+n\omega_1-ke_2-le_1
1581: \end{equation}
1582: and $R(\alpha)$ is the maximal reflection amplitude defined by Eq \eqref{MaxRefl}. Correlation function in the r.~h.~s. of Eq \eqref{C-light} has a double pole, because the sum of all parameters satisfies the screening condition in the limit $\epsilon\rightarrow0$
1583: \begin{equation}
1584: -mb\omega_1-nb\omega_2+\alpha_1+2Q-\alpha_1+bh_{mn}^{kl}=2Q-kbe_1-lbe_2.
1585: \end{equation}
1586: The main residue in this pole should be associated with structure constant
1587: \begin{equation}\label{Structure_Constant_light}
1588: C(-mb\omega_1-(nb+\epsilon)\omega_2,\alpha_1,2Q-\alpha_1+bh_{mn}^{kl})=
1589: \frac{1}{\epsilon^2}C_{-mb\omega_1-nb\omega_2,\alpha_1}^{\alpha_1-bh_{mn}^{kl}}.
1590: \end{equation}
1591: So, in this case it is reasonable to consider the semiclassical limit of this structure constant. Maximal reflection amplitude $R(b\eta)$, which due to Eq \eqref{MaxRefl-def} coinsides with inverse two-point correlation function, has the following semiclassical limit (here $\eta=\kappa_1\omega_1+\kappa_2\omega_2$)
1592: \begin{equation}\label{R-semiclass}
1593: Z_0R(b\eta)\underset{b\rightarrow0}{\longrightarrow}
1594: \left(\frac{\pi\mu b^2}{2}\right)^{2\kappa_1+2\kappa_2}
1595: (\kappa_1-1)(\kappa_2-1)(\kappa_1+\kappa_2-2).
1596: \end{equation}
1597: Semiclassical limit of the structure constant \eqref{Structure_Constant_light} can be obtained by multiplying Eqs \eqref{3_Fold_Int-m} and \eqref{R-semiclass}, substituting \eqref{kappas}, taking the limit $\sigma_2\rightarrow-n$ and finding the main residue in this limit (one should take also into account the factor $(\pi\mu b^2)^{-\lambda_1-\lambda_2-\kappa_1-\kappa_2-\sigma_1-\sigma_2}$ in Eq \eqref{ClassInt-3point-def}, which relates function \eqref{Semiclass} with the semiclassical limit of the three-point correlation function). We see from Eqs \eqref{ClassInt-3point-def}, \eqref{C-light} and \eqref{R-semiclass}, that the structure constant defined by Eq \eqref{Structure_Constant_light} has a smooth semiclassical limit independent on partition function $Z_0$. If we parameterize $\alpha=b\lambda_1\omega_1+b\lambda_2\omega_2$, then the semiclassical limit of the structure constant $C_{-mb\omega_1-nb\omega_2,\alpha}^{\alpha-bh_{mn}^{kl}}$ defined by the relation
1598: \begin{equation}
1599: C_{-mb\omega_1-nb\omega_2,\alpha}^{\alpha-bh_{mn}^{kl}}
1600: \underset{b\rightarrow0}{\longrightarrow}\mathbb{C}_{mn}^{kl}(\lambda_1,\lambda_2)
1601: \end{equation}
1602: can be written in a form
1603: \begin{multline}\label{Classical_Fusion_Rules}
1604: \mathbb{C}_{mn}^{kl}(\lambda_1,\lambda_2)=\left(\frac{\pi\mu b^2}{2}\right)^{k+l}
1605: \frac{m!\,n!}
1606: {\Gamma(\lambda_1)\Gamma(\lambda_2)\Gamma(\lambda_1+\lambda_2-1)}\times\\\times
1607: \frac{\Sigma_{m,n}^{k,l}(\lambda_1,\lambda_2)}
1608: {\Gamma(\lambda_1-m+2k-l-1)\Gamma(\lambda_2-n+2l-k-1)\Gamma(\lambda_1+\lambda_2-m-n+k+l-2)}
1609: \end{multline}
1610: with function $\Sigma_{m,n}^{k,l}(\lambda_1,\lambda_2)$ defined as
1611: \begin{multline}\label{Sigma_mn^kl}
1612: \Sigma_{m,n}^{k,l}(\lambda_1,\lambda_2)=
1613: \frac{(-1)^k2^{l-k}4^m}{m!\,k!\,(m+l-k)!\,(m+n-l)!}
1614: \Gamma(\lambda_1-m+k)\Gamma(\lambda_2+l-k)\times\\\times
1615: \Gamma(\lambda_1+\lambda_2-m+k-1)
1616: \Gamma(\lambda_1-m+k-l-1)\Gamma(\lambda_2-m-n+l-1)\Gamma(\lambda_1+\lambda_2-m-n+l-2)
1617: \times\\\times
1618: \sum_{s_1,s_2,s_3=0}^m\biggl[\frac{(-4)^{-s_1-s_2-s_3}}{s_1!s_2!s_3!}\,
1619: (1-l+k-m+n+s_1+s_2+s_3)_{s_1}\,(k-l-m)_{s_1+s_2+s_3}\,(-k)_{m-s_1-s_3}\times\\\times
1620: (-m)_{s_1+s_2+s_3}
1621: (l-m-n)_{m-s_1-s_2}\,(-1-m-n)_{s_2+s_3}\,(\lambda_1+k-m-l-1)_{s_3}\,(\lambda_2+l-m-n-1)_{s_2}\,
1622: \times\\\times
1623: (\lambda_1-m+k)_{m-s_2}\,(\lambda_2+l-k)_{m-s_3}\,
1624: (3-k+m+n-\lambda_1-\lambda_2)_{m-s_2-s_3}\biggr].
1625: \end{multline}
1626: From the explicit form of the function $\Sigma_{m,n}^{k,l}(\lambda_1,\lambda_2)$ it can be shown, that
1627: it is non-zero only if numbers $k$ and $l$, besides inequalities \eqref{zone-1}, are restricted by the conditions\footnote{These conditions follow also evidently from the functional relations \eqref{Sigma-Relat} (see below).}
1628: \begin{equation}\label{zone-2}
1629: l\geq0,\quad k\leq m+n,\quad k\geq l-n.
1630: \end{equation}
1631: It is convenient to picture admissible pairs $(k,l)$ (they are defined by the conditions \eqref{zone-1} and \eqref{zone-2}), as a set of points on a plane. Namely, function \eqref{Classical_Fusion_Rules} is non-zero only if points $(k,l)$ lay inside of a hexagon
1632: \begin{equation}\label{Cond-nonzeros}
1633: k\geq0;\;\;l\geq0;\;\;\;\;\;\;m+n\geq k;\;\;m+n\geq l;\;\;\;\;\;\;
1634: n+k\geq l;\;\;m+l\geq k.
1635: \end{equation}
1636: An example of fusion rules for the completely degenerate field specified by the highest weight $\Omega=m\omega_1+n\omega_2$ with $(m,n)=(7,3)$ is shown on a fig. \ref{fig:fusion}.
1637: \begin{figure}
1638: \begin{center}
1639: \epsfig{figure=Fusion.eps,width=.68\textwidth}
1640: \caption{Fusion rules for the completely degenerate field specified by the highest weight
1641: $\Omega=m\omega_1+n\omega_2$ with $(m,n)=(7,3)$. Each point corresponds to
1642: admissible pair $(k,l)$ in Eq \eqref{Classical_Fusion_Rules}. Points on the boundary correspond to the
1643: weights $h_{mn}^{kl}$ with multiplicity one, points on the next layer boundary (which are shown by
1644: circles) correspond to the weights $h_{mn}^{kl}$ with multiplicity two, points, shown by crosses,
1645: correspond to multiplicity three and points, shown by stars (hexagon is degenerate into triangle),
1646: correspond to multiplicity four. Total number of points (including multiplicities) coincides with
1647: dimension of the representation $(7,3)$: $(m+1)(n+1)(m+n+2)/2=192$.}
1648: \label{fig:fusion}
1649: \end{center}
1650: \end{figure}
1651: We note also, that these fusion rules coinside exactly with quantum fusion rules, which were defined in section \ref{TFT}.
1652:
1653: The sum in \eqref{Sigma_mn^kl} can be reduced to a simple product for all points $(k,l)$, which have multiplicity one (i.~e. for points on the boundary of the hexagon). It follows from the fact, that function $\Sigma_{mn}^{kl}(\lambda_1,\lambda_2)$ satisfies remarkable functional relations\footnote{We suppose to give a proof of quantum version of relations \eqref{Sigma-Relat} in Ref \cite{Part-Deux}.}. Namely,
1654: \begin{multline}\label{Sigma-Relat}
1655: \Sigma_{m,n}^{k,l}(\lambda_1,\lambda_2)=\Sigma_{n,m}^{l,k}(\lambda_2,\lambda_1)=\\=
1656: (-1)^{m-k}\Sigma_{k,m+n-k}^{m,m+l-k}(\lambda_1+k-m,\lambda_2)
1657: =\Sigma_{m+l-k,n+k-l}^{l,k}(\lambda_1-l+k,\lambda_2-k+l).
1658: \end{multline}
1659: In quantum case the structure constant, which corresponds to the weight $h_{mn}^{kl}$ with multiplicity 1, as was noticed in section \ref{TFT}, can be represented as a product of $\gamma-$functions.
1660:
1661: Using functional relations \eqref{Sigma-Relat} it can be shown, that the number of terms in the sum \eqref{Sigma_mn^kl} can be reduced to the minimum of numbers
1662: \begin{equation}
1663: N(m),\;N(n),\;N(k),\;N(l),\;N(m+n-k),\;N(m+n-l),\;N(m+l-k),\;N(n+k-l),
1664: \end{equation}
1665: where $N(m)$ is given by Eq \eqref{N(m)}. It is evident from the figure \ref{fig:fusion} that this number
1666: depends only on the multiplicity $\mathfrak{h}$ of the corresponding weight $h_{mn}^{kl}$ of the representation with highest weight $m\omega_1+n\omega_2$. In quantum case expression for the structure constant \eqref{C-light} for completely degenerate field can be reduced to the $4(\mathfrak{h}-1)$-dimensional Coulomb integral \cite{Part-Deux}. For $\mathfrak{h}=1$ this correlation function can be given, as a product of $\gamma$-functions. For $\mathfrak{h}=2$ it can be expressed in terms of hypergeometric function of the type $(3,2)$ at unity, while for $\mathfrak{h}>2$ it has more complicated structure. This fact clarifies the statement, which was done in section \ref{TFT}, that the complexity of the structure constant depends drastically on the multiplicity of the corresponding weight.
1667:
1668: We note also, that due to Eq \eqref{Structure_Constant_degenerate} structure constant \eqref{Structure_Constant_light} coinsides up to multiplicative factor with Coulomb integral
1669: \begin{equation}
1670: C_{-mb\omega_1-nb\omega_2,\alpha}^{\alpha-bh_{mn}^{kl}}=
1671: (-\pi\mu)^{k+l}I_{k,l}
1672: (-mb\omega_1-nb\omega_2,\alpha,2Q-\alpha+mb\omega_1+nb\omega_2-kbe_1-lbe_2),
1673: \end{equation}
1674: where integral $I_{k,l}(-mb\omega_1-nb\omega_2,\alpha,2Q-\alpha+mb\omega_1+nb\omega_2-kbe_1-lbe_2)$ is defined by Eq \eqref{I} for the case $n=3$, which is studied in details in appendix \ref{SL(3)-Int-def}. Using the notations of the appendix \ref{SL(3)-Int-def} this integral equals
1675: \begin{multline}
1676: I_{k,l}(-mb\omega_1-nb\omega_2,\alpha,2Q-\alpha+mb\omega_1+nb\omega_2-kbe_1-lbe_2)=\\=
1677: \frac{k!l!}{\pi^{k+l}}\,\mathcal{I}_{kl}(-b^2\lambda_1,-b^2\lambda_2,-mb^2,-nb^2),
1678: \end{multline}
1679: where the integral $\mathcal{I}_{kl}(-b^2\lambda_1,-b^2\lambda_2,-mb^2,-nb^2)$ is given by Eq \eqref{SL(3)-Int}.
1680: Using asymptotic \eqref{SL(3)-Int-ass1} for this integral, we can obtain additional representation for the semiclassical limit of the structure constant \eqref{Structure_Constant_light}.
1681:
1682: Let us say few words about the semiclassical limit of general $\mathfrak{sl}(n)$ TFT. This limit is governed by the classical equation\footnote{In Eq \eqref{sl(n)toda} we have set for shortness $\pi\mu b^2=1$.}
1683: \begin{equation}\label{sl(n)toda}
1684: \partial\bar{\partial}\phi+\sum_{k=1}^{n-1}e_ke^{(e_k,\phi)}=0.
1685: \end{equation}
1686: One can show, that as consequence of Eq \eqref{sl(n)toda}, field $e^{-(\omega_1,\phi)}$ satisfies holomorphic and antiholomorphic differential equations of the order $n$
1687: \begin{equation}\label{sl(n)holomorphic}
1688: \begin{aligned}
1689: &(-\partial^n+\mathsf{T}\partial^{n-2}+\dots)e^{-(\omega_1,\phi)}=0\\
1690: &(-\bar{\partial}^n+\bar{\mathsf{T}}\bar{\partial}^{n-2}+\dots)e^{-(\omega_1,\phi)}=0
1691: \end{aligned}
1692: \end{equation}
1693: where by $\dots$ denoted terms with derivatives of the smaller order. As a consequence of Eq \eqref{sl(n)holomorphic} field $e^{-\Phi_1}$ can be presented as a bilinear combination of the holomorphic and antiholomorphic solutions to \eqref{sl(n)holomorphic}
1694: \begin{equation}
1695: e^{-(\omega_1,\phi)}=\sum_{k=1}^n\Psi_k\bar{\Psi}_k.
1696: \end{equation}
1697: It follows from Eq \eqref{sl(n)toda} that fields $e^{-(\omega_k,\phi)}$ with $k\neq 1$ have a form
1698: \begin{equation}\label{Small_Wron}
1699: e^{-(\omega_k,\phi)}=%\\=
1700: \hspace*{-15pt}\sum_{j_1<j_2<\dots<j_k}^{n}
1701: \begin{vmatrix}
1702: \Psi_{j_1} & \Psi_{j_2} & \dots & \Psi_{j_k}\\
1703: \partial\Psi_{j_1} & \partial\Psi_{j_2} & \dots & \partial\Psi_{j_k}\\
1704: \dots&\hdotsfor{2}&\dots\\
1705: \dots&\hdotsfor{2}&\dots\\
1706: \partial^{k-1}\Psi_{j_1} & \partial^{k-1}\Psi_{j_2} & \dots & \partial^{k-1}\Psi_{j_k}
1707: \end{vmatrix}
1708: \begin{vmatrix}
1709: \bar{\Psi}_{j_1} & \bar{\Psi}_{j_2} & \dots & \bar{\Psi}_{j_k}\\
1710: \bar{\partial}\bar{\Psi}_{j_1} &
1711: \bar{\partial}\bar{\Psi}_{j_2} & \dots & \bar{\partial}\bar{\Psi}_{j_k}\\
1712: \dots&\hdotsfor{2}&\dots\\
1713: \dots&\hdotsfor{2}&\dots\\
1714: \bar{\partial}^{k-1}\bar{\Psi}_{j_1} &
1715: \bar{\partial}^{k-1}\bar{\Psi}_{j_2} & \dots & \bar{\partial}^{k-1}\bar{\Psi}_{j_k}
1716: \end{vmatrix}.
1717: \end{equation}
1718: The consistency condition is that the product of Wronskians of holomorphic and antiholomorphic solutions equals to unity
1719: \begin{equation}\label{Big_Wron}
1720: \mathbb{W}[\Psi_1,\dots,\Psi_n]\mathbb{W}[\bar{\Psi}_1,\dots,\bar{\Psi}_n]=1.
1721: \end{equation}
1722: In the case of light exponentials, all currents in Eq \eqref{sl(n)holomorphic} are equal to zero. In this case functions $\Psi_k$ will be the polynomial of degree $n-1$
1723: \begin{equation}
1724: \Psi_k=a_k^{(1)}+a_k^{(2)}z+\frac{a_k^{(3)}z^2}{2}+\dots+\frac{a_k^{(n)}z^{n-1}}{n-1}.
1725: \end{equation}
1726: The condition \eqref{Big_Wron} transforms to $SL(n,C)$ constraint for the matrix $a_k^{(j)}$
1727: \begin{equation}
1728: \det
1729: \begin{pmatrix}
1730: a_1^{(1)} & a_1^{(2)} & \dots & a_1^{(n)}\\
1731: a_2^{(1)} & a_2^{(2)} & \dots & a_2^{(n)} \\
1732: \dots&\hdotsfor{2}&\dots\\
1733: \dots&\hdotsfor{2}&\dots\\
1734: a_n^{(1)} & a_n^{(2)} & \dots & a_n^{(n)}
1735: \end{pmatrix}=1
1736: \end{equation}
1737: Semiclassical limit of the correlation function of the light exponentials described by the integral
1738: \begin{equation}
1739: \frac{1}{Z_0}\langle V_{b\eta_1}(z_1,\bar{z}_1)
1740: \dots V_{b\eta_N}(z_N,\bar{z}_N)\rangle\rightarrow
1741: \int\prod_{k=1}^N
1742: e^{(\eta_k,\phi(z_k,\bar{z}_k))}
1743: d\Omega(a_k^{(j)}),
1744: \end{equation}
1745: here $d\Omega(a_k^{(j)})$ is $SL(n,C)$ invariant measure.
1746: We suppose to consider semiclassical calculations, which were done here, for $n>3$ in other publication.
1747: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1748: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1749: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1750: \section{Minisuperspace limit}\label{MSSL}
1751: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1752: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1753: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1754: It is interesting to consider another limit of $\mathfrak{sl}(n)$ TFT at $b\rightarrow 0$. In this limit in the Hamiltonian picture, associated with radial quantization\footnote{One should take the geometry of semi-infinite cylinder of circumference $\sigma\in[0,2\pi]$ (fig. \ref{fig:msp}) and consider the states on the circle.}, we take into account only the zero mode dynamics (minisuperspace approach).
1755: \begin{figure}
1756: \begin{center}
1757: \epsfig{figure=msp.eps,width=.6\textwidth}
1758: \caption{Cylinder used for minisuperspace approximation.}
1759: \label{fig:msp}
1760: \end{center}
1761: \end{figure}
1762: In this approximation the state created by the operator $V_{Q+iP_j}$ corresponds to the wave function
1763: \begin{equation*}
1764: V_{Q+iP_j}\rightarrow \Psi^{(n)}_{P_j}(x),
1765: \end{equation*}
1766: where $x$ is a zero mode of the field $\varphi$. The function $\Psi^{(n)}_{P}(x)$ ($\mathfrak{sl}(n)$ Whittaker function) satisfies Scr\"odinger equation
1767: \begin{equation}\label{mspShrodinger}
1768: \left(-\nabla_{x}^{2}+2\pi\mu\sum_{i=1}^{n-1} e^{b(e_{i}x)}\right)
1769: \Psi^{(n)}_{P}(x)=P^{2}\Psi^{(n)}_{P}(x),
1770: \end{equation}
1771: and in the region $(e_i,x)<0$ (Weyl chamber) possesses the asymptotic
1772: \begin{equation}\label{mspAss}
1773: \Psi^{(n)}_{P}(x)\sim\exp
1774: (i(P,x))+\sum_{\hat{s}\in\mathcal{W}}S_{\hat{s}}(P)\exp (i(\hat{s}(P),x)),
1775: \end{equation}
1776: where the sum runs over all elements of the Weyl group $\mathcal{W}$ besides identical. The coefficients $S_{\hat{s}}(P)$ are known exactly \cite{Olshanetsky:1981dk} and can be obtained from the reflection amplitude \eqref{ReflAmp} in semiclassical limit $b\rightarrow 0$
1777: \begin{equation*}
1778: S_{\hat{s}}(P)=\prod_{e>0}\left(\frac{\pi\mu}{b^2}
1779: \right)^{\frac{i}{2b}(\hat{s}(P)-P,e)}
1780: \frac{\Gamma\left(-\frac{i(\hat{s}(P),e)}{b}\right)}
1781: {\Gamma\left(-\frac{i(P,e)}{b}\right)}\;.
1782: \end{equation*}
1783: One can show, that conditions \eqref{mspShrodinger} and \eqref{mspAss} determine the Whittaker function unambiguously. The minisuperspace approximation is valid if $P_j/b$ are fixed at the limit $b\rightarrow0$. If we take $\alpha_3=ibq$ and $P_k=bp_k$ for $k=1,2$, then the minisuperspace limit of the three-point correlation function \eqref{Ctotal} can be represented by the integral
1784: \begin{equation}\label{mspLimit}
1785: C(Q+ibp_1,Q+ibp_2,ibq)\longrightarrow
1786: \int d\vec{x}\,\Psi^{(n)}_{bp_{1}}(x)\Psi^{(n)}_{bp_{2}}(x)e^
1787: {ib(q,x)}\;.
1788: \end{equation}
1789:
1790: The theory of the $\mathfrak{sl}(n)$ Whittaker functions has some long history \cite{Kostant}. In particular, different explicit integral representations for these functions exist \cite{Kharchev:2000ug,Stade:1990} (we will use here representation, which can be extracted from the paper \cite{Stade:1990}). All these functions are build from the Macdonald function $K_{\nu}(y)$ (which can be given by the integral \eqref{Kint}) by the recursive integral representation. To make sense the future statements we define $\Psi^{(0)}_{P}(x)=\Psi^{(1)}_{P}(x)=1$. It is useful also to introduce the variables
1791: \begin{equation}
1792: y_k=b^{-1}\sqrt{\pi\mu}e^{b(e_k,x)/2},
1793: \end{equation}
1794: and new function $\widetilde{\Psi}_P^{(n)}(y_1,\dots,y_{n-1})$ through the relation
1795: \begin{equation}
1796: \Psi^{(n)}_{P}(x)=\frac{2^{n(n-1)/2}}
1797: {\prod\limits_{e>0}\Gamma(-ib^{-1}(P,e))}
1798: \left(\frac{\pi\mu}{b^2}\right)^{-i\frac{(P,\rho)}{b}}\;
1799: \prod_{k=1}^{n-1}\left(\frac{y_k}{y_{n-k}}\right)^
1800: {\frac{i(P,\omega_k-\omega_{n-k})}{2b}}\;
1801: \widetilde{\Psi}_P^{(n)}(y_1,\dots,y_{n-1}).
1802: \end{equation}
1803: The recursive relation connects function $\widetilde{\Psi}^{(n)}_{P}$ with function $\widetilde{\Psi}^{(n-2)}_{P'}$
1804: \begin{multline}\label{Int_Rec_Relat}
1805: \widetilde{\Psi}^{(n)}_{P}(y_1,\dots,y_{n-1})=\\=
1806: \int_0^{\infty}\dots\int_0^{\infty}\;
1807: \widetilde{\Psi}^{(n-2)}_{P'}\left(
1808: y_2\frac{t_1}{t_2},y_3\frac{t_2}{t_3},\dots,
1809: y_{n-2}\frac{t_{n-3}}{t_{n-2}}\right)
1810: K_{\frac{i(P,e_0)}{b}}\left(2y_{n-1}
1811: \sqrt{(1+t_{n-2}^2)}\right)
1812: \times\\\times
1813: \prod_{k=1}^{n-2}\left[\;
1814: t_k^{ib^{-1}\sum_{j=1}^k(P,e_{n-j}-e_j)}
1815: K_{\frac{i(P,e_0)}{b}}\left(2y_k
1816: \sqrt{(1+t_{k-1}^2)(1+t_k^{-2})}\right)\;\right]
1817: \frac{dt_1}{t_1}\dots\frac{dt_{n-2}}{t_{n-2}}\;,
1818: \end{multline}
1819: where by definition $t_0=0$. Vector $P'$ in Eq \eqref{Int_Rec_Relat} defined in a following way. If vector $P$ has a components $P_1,P_2,\dots,P_{n-1}$ in the basis of fundamental weights of the Lie algebra $\mathfrak{sl}(n)$ (i.~e. $(P,e_k)=P_k$, where $e_k$ are the simple roots of $\mathfrak{sl}(n)$), then vector $P'$ has components $P_2,P_3,\dots,P_{n-2}$ in the basis of fundamental weights of the Lie algebra $\mathfrak{sl}(n-2)$ (i.~e. $(P',e_k)=P_{k+1}$, where $e_k$ are the simple roots of $\mathfrak{sl}(n-2)$). To clarify Eq \eqref{Int_Rec_Relat} and definition of the vector $P'$ we give an expression for the function $\widetilde{\Psi}^{(4)}_{P}(y_1,y_2,y_3)$ in the appendix \ref{Ex-Rec-Relat} (Eq \eqref{Psi4}).
1820:
1821: It is useful to introduce also Whittaker function in the momentum representation
1822: \begin{equation}
1823: \hat{\Psi}_P^{(n)}(q)=\int\Psi_P^{(n)}(x)
1824: e^{i(q,x)}\,d\vec{x}.
1825: \end{equation}
1826: The integral \eqref{mspLimit} describing the asymptotic of three-point correlation function transforms to
1827: \begin{equation}
1828: C(Q+ibp_1,Q+ibp_2,ibq)\rightarrow
1829: \frac{1}{(2\pi)^{n-1}}\int\,d\vec{q'}\,
1830: \hat{\Psi}^{(n)}_{bp_{1}}(q')\hat{\Psi}^{(n)}_{bp_2}(q-q').
1831: \end{equation}
1832:
1833: Let us consider the simplest examples of $\mathfrak{sl}(2)$ and $\mathfrak{sl}(3)$ TFT here. For the $\mathfrak{sl}(2)$ case (Liouville theory) we derive from Eq \eqref{Int_Rec_Relat}
1834: \begin{subequations}
1835: \begin{align}
1836: &\Psi^{(2)}_{bp}(x)=\frac{2}{\Gamma(-ip\sqrt{2})}
1837: \left(\frac{\pi\mu}{b^2}\right)^{-\frac{ip}{\sqrt{2}}}
1838: K_{ip\sqrt{2}}\left(
1839: 2b^{-1}\sqrt{\pi\mu}e^{\frac{bx}{\sqrt{2}}}\right),\\
1840: \intertext{
1841: Fourier-transformed Whittaker function can be easily find using Eq \eqref{KInt}}
1842: &\hat{\Psi}^{(2)}_{bp}(bq)=\frac{1}{b\sqrt{2}}
1843: \left(\frac{\pi\mu}{b^2}\right)^{-\frac{i(p+q)}{\sqrt{2}}}
1844: \frac{\Gamma\left(\frac{i}{\sqrt{2}}(q+p)\right)
1845: \Gamma\left(\frac{i}{\sqrt{2}}(q-p)\right)}
1846: {\Gamma\left(-ip\sqrt{2}\right)}
1847: \end{align}
1848: \end{subequations}
1849: The integral \eqref{mspLimit} in this case can be evaluated using the formula \eqref{KKInt}
1850: \begin{multline}\label{sl2xsl2}
1851: \int dx\;\Psi^{(2)}_{bp_{1}}(x)\Psi^{(2)}_{bp_{2}}(x)
1852: e^{ibs/\sqrt{2}x}=\\=
1853: \frac{4\sqrt{2}b^{-1}}
1854: {\Gamma(-ip_1\sqrt{2})\Gamma(-ip_1\sqrt{2})}
1855: \left(\frac{\pi\mu}{b^2}\right)^
1856: {-i\left(\frac{p_1+p_2}{\sqrt{2}}\right)-is}
1857: \int_0^{\infty}y^{is}K_{ip_1\sqrt{2}}(2y)K_{ip_2\sqrt{2}}(2y)
1858: \;\frac{dy}{y}=\\=\frac{1}{b}
1859: \left(\frac{\pi\mu}{b^2}\right)^
1860: {-i\left(\frac{p_1+p_2}{\sqrt{2}}\right)-is}
1861: \frac{\prod_{\varepsilon_1=\pm}\prod_{\varepsilon_2=\pm}
1862: \Gamma\left(\frac{is}{2}+\varepsilon_1\frac{ip_1}{\sqrt{2}}+\varepsilon_2
1863: \frac{ip_2}{\sqrt{2}}\right)}
1864: {\Gamma(is)\Gamma(-ip_1\sqrt{2})\Gamma(-ip_2\sqrt{2})}\;.
1865: \end{multline}
1866: This function coincides with minisuperspace limit of the three-point correlation function for the $\mathfrak{sl}(2)$ TFT.
1867:
1868: In the $\mathfrak{sl}(3)$ case we obtain from Eq \eqref{Int_Rec_Relat} the expression for Whittaker function\footnote{This function was firstly derived in Ref \cite{Takh-Vin}.}
1869: \begin{subequations}
1870: \begin{multline}
1871: \Psi_{bp}^{(3)}(x)=\frac{8\left(
1872: \frac{\pi\mu}{b^2}\right)^{-i(p,\rho)}}
1873: {\prod_{e>0}\Gamma(-i(p,e))}\left(\frac{y_1}{y_2}\right)^
1874: {i(p,\omega_1-\omega_2)}\times\\\times
1875: \int_0^{\infty}\frac{dt}{t}\;t^{i(p,e_2-e_1)}
1876: K_{i(p,e_0)}\left(2y_1\sqrt{1+1/t^2}\right)
1877: K_{i(p,e_0)}\left(2y_2\sqrt{1+t^2}\right)
1878: \end{multline}
1879: Fourier-transformed Whittaker function can be easily found using Eqs \eqref{KInt} and \eqref{Int(t)}. The result is expressed again in terms of gamma-functions \cite{Olshanetsky:1981dk}
1880: \begin{equation}
1881: \hat{\Psi}^{(3)}_{bp}(bq)=\frac{1}{b^2\sqrt{3}}
1882: \frac{\left(\frac{\pi\mu}{b^2}\right)^{-i(p+q,\rho)}}
1883: {\prod_{e>0}\Gamma\bigl(-i(p,e)\bigr)}\;
1884: \frac{\prod_{k=1}^3\Gamma\bigl(i(q,\omega_1)+i(p,h_k)\bigr)
1885: \Gamma\bigl(i(q,\omega_2)-i(p,h_k)\bigr)}
1886: {\Gamma\bigl(i(q,\rho)\bigr)}
1887: \end{equation}
1888: \end{subequations}
1889: The integral \eqref{mspLimit} is much more complicated in this case. It is better to write it in the momentum representation. As a result, for the asymptotic of the three-point correlation function in $\mathfrak{sl}(3)$ TFT we obtain Barnes-like integral
1890: \begin{multline}
1891: C(Q+ibp_1,Q+ibp_2,ibq)\longrightarrow
1892: \frac{1}{6\pi^2b^2}\frac{\left(\frac{\pi\mu}{b^2}\right)^
1893: {-i(p_1+p_2+q,\rho)}}
1894: {\prod_{e>0}\Gamma\bigl(-i(p_1,e)\bigr)\Gamma\bigl(-i(p_2,e)\bigr)}\times\\\times
1895: \int\frac{d^2q'}
1896: {\Gamma\bigl(i(q',\rho)\bigr)\Gamma\bigl(i(q-q',\rho)\bigr)}
1897: %\times\\\times
1898: \prod_{k=1}^3\Bigl[\Gamma\bigl(i(q',\omega_1)+i(p_1,h_k)\bigr)
1899: \Gamma\bigl(i(q',\omega_2)-i(p_1,h_k)\bigr)
1900: \times\\\times
1901: \Gamma\bigl(i(q-q',\omega_1)+i(p_2,h_k)\bigr)
1902: \Gamma\bigl(i(q-q',\omega_2)-i(p_2,h_k)\bigr)\Bigr].
1903: \end{multline}
1904: This integral can be calculated exactly in terms of gamma functions if $q=s\omega_1$ or $q=s\omega_2$, as was first noticed in \cite{Stade:1993}.
1905:
1906: In the case of higher $n$, Whittaker function is more involved object. The problem of finding the Fourier transform of the product of two Whittaker functions was considered in \cite{Stade:2002}. The most general situation, when the answer can be expressed in terms of Gamma functions, is $q=s\omega_1$ or $q=s\omega_{n-1}$.
1907: The generalization of the explicit $\mathfrak{sl}(2)$ formula \eqref{sl2xsl2} for the case of general $n$
1908: has a form
1909: \begin{multline}\label{slnxsln}
1910: \int d\vec{x}\;\Psi^{(n)}_{bp_{1}}(x)\Psi^{(n)}_{bp_{2}}(x)
1911: e^{ibs(\omega_{n-1},x)}=\\=
1912: \frac{1}{b^{n-1}}
1913: \left(\frac{\pi\mu}{b^2}\right)^
1914: {-i\left(s\frac{n-1}{2}+(p_1+p_2,\rho)\right)}
1915: \frac{\prod\limits_{ij}
1916: \Gamma\left(\frac{is}{n}+i(p_1,h_i)+i(p_2,h_j)\right)}
1917: {\Gamma(is)\prod\limits_{e>0}\Gamma\bigl(-i(p_1,e)\bigr)
1918: \Gamma\bigl(-i(p_2,e)\bigr)}\;.
1919: \end{multline}
1920: We note that expression \eqref{slnxsln} coincides exactly with the minisuperspace limit of the three-point function \eqref{C}.
1921: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1922: \section*{Conclusion}\addcontentsline{toc}{section}{Conclusion}
1923: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1924: In this paper we have considered in details particular examples of three-point correlation functions $\langle V_{\alpha_1}(z_1,\bar{z}_1)V_{\alpha_2}(z_2,\bar{z}_2)V_{\alpha_3}(z_3,\bar{z}_3)\rangle$ in $\mathfrak{sl}(n)$ conformal Toda field theory, which can be expressed in terms of known in mathematics special functions. If any vector parameter $\alpha_1$, $\alpha_2$ or $\alpha_3$ is proportional to the first or to the last fundamental weights ($\omega_1$ or $\omega_{n-1}$) of the Lie algebra $\mathfrak{sl}(n)$, for example $\alpha_3=\varkappa\omega_{n-1}$, then three-point correlation function can be expressed in terms product of so called $\Upsilon$-functions (see Eq \eqref{C}). Unfortunately, general situation is much more complicated. For example, if one shifts slightly parameter $\varkappa\omega_{n-1}\rightarrow\varkappa\omega_{n-1}-b\omega_1$ then corresponding three-point correlation function can be expressed only in terms of Coulomb integral (see Eq \eqref{C-shifted}) or equivalently in terms of higher hypergeometric functions \eqref{C-shifted-1}. It is difficult to expect that general three-point correlation function can be expressed in terms of known functions.
1925:
1926: As we see from the results of sections \ref{CL-heavy}, \ref{CL-light} and \ref{MSSL}, where the semiclassical and minisuperspace approaches to TFT were considered, three-point correlation function is already nontrivial in these cases. For example, in "heavy" semiclassical limit, developed in section \ref{CL-heavy}, a problem of finding it is rather difficult due to the presence of accessory parameters. These accessory parameters disappear only for the case of the Lie algebra $\mathfrak{sl}(2)$, which corresponds to the Liouville field theory. This is one of the reasons why the three-point correlation function can be found in quantum LFT exactly. For $\mathfrak{sl}(n)$ TFT with $n>2$ there is no (to our knowledge) simple regular procedure to obtain accessory parameters. In the "light" semiclassical limit (section \ref{CL-light}) and in the minisuperspace limit (section \ref{MSSL}) it is possible to derive the expression for the three-point correlation function in terms of finite dimensional integrals. Generally speaking it is not evident, that in quantum case it is also true. The only thing, which can be done, is to find all cases when the quantum three-point correlation function can be expressed in terms of finite dimensional integrals. We will study this problem in the second part of this paper \cite{Part-Deux}.
1927: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1928: %\section*{Acknowledgment}
1929: \acknowledgments
1930: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1931: This work was supported, in part, by Russian Foundation for Basic Research under the grant RBRF 07-02-00799-a, by Russian Ministry of Science and Technology under the Scientific Schools grant 2044.2003.2 and by RAS program "Elementary particles and the fundamental nuclear physics". Work of V.~F. was supported also by the European Committee under contract EUCLID HRPN-CT-2002-00325. Work of A.~L. was supported by DOE grant DE-FG02-96ER40949.
1932: An important part of this paper has been made during the visits of A.~L. at the Laboratoire de Physique Th\'eorique et Astroparticules Universit\'e Montpellier~II within ENS-LANDAU program. A.~L. acknowledges also the Abdus Salam International Centre for Theoretical Physics and specially professor S.~Randjbar-Daemi for the hospitality during the visit the center in August 2007, where this paper was meanwhile finished.
1933: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1934: \appendix
1935: \section{The Coulomb integrals}\label{AppIntegrals}
1936: Here we will discuss the problem of calculation of the $\mathfrak{sl}(n)$ Coulomb integrals. They appear in the theory of massless $n-1$ component scalar field $\varphi$, as expressions for the correlation functions of the exponential fields $V_{\alpha}=e^{(\alpha,\varphi)}$. We will concentrate ourself on three-point correlation functions
1937: \begin{equation}\label{Coulomb1}
1938: I_{s_1\dots s_{n-1}}(\alpha_1,\alpha_2,\alpha_3)=
1939: \Bigl\langle V_{\alpha_1}(\infty)V_{\alpha_2}(1)V_{\alpha_3}(0)\prod_{k=1}^{n-1}\mathcal{Q}_k^{s_k}
1940: \Bigr\rangle,
1941: \end{equation}
1942: here $\mathcal{Q}_k$ is a screening field $\mathcal{Q}_k=\int e^{b(e_k,\varphi)}d^2z$ and $s_k$ are some non-negative integers. Correlation function \eqref{Coulomb1} is non-zero only if the screening condition
1943: \begin{equation*}
1944: \alpha_1+\alpha_2+\alpha_3+b\sum_{k=1}^{n-1}s_ke_k=2Q
1945: \end{equation*}
1946: is satisfied. In this case correlation function \eqref{Coulomb1} can be rewritten using the Wick rules
1947: \begin{multline}\label{Coulomb-I}
1948: I_{s_1\dots s_{n-1}}(\alpha_1,\alpha_2,\alpha_3)=\\=
1949: \int
1950: \prod_{k=1}^{n-1}d\mu_{s_k}(t_k)\vert\vec{t}_k\vert^{-2b(\alpha_1,e_k)}
1951: \vert\vec{t}_k-1\vert^{-2b(\alpha_2,e_k)}\mathcal{D}_{s_k}^{-2b^2}(t_k)
1952: \prod_{l=1}^{n-2}\vert\vec{t}_l-\vec{t}_{l+1}\vert^{2b^2},
1953: \end{multline}
1954: where $\mathcal{D}_{s_k}(t_k)$ is defined by
1955: \begin{equation}\label{D-A-2}
1956: \mathcal{D}_{s_k}(t_k)=\prod_{i<j}^{s_k}|t_k^{(i)}-t_k^{(j)}|^2.
1957: \end{equation}
1958: In Eq \eqref{Coulomb-I} we have used the notations $\vec{t}_k=(t_k^{(1)},\dots,t_k^{(s_k)})$ with $t_k^{(j)}$ being the coordinate of the $j$-th screening $e^{b(e_k,\varphi)}$ and we denote
1959: \begin{equation}\label{measure}
1960: \begin{gathered}
1961: |\vec{t}_k|=\prod_{j=1}^{s_k}|t_k^{(j)}|;\;\;\;
1962: |\vec{t}_k-1|=\prod_{j=1}^{s_k}|t_k^{(j)}-1|;\;\;\;
1963: d\mu_{s_k}(t_k)=\frac{1}{\pi^{s_k}s_k!}\prod_{j=1}^{s_k}d^2t_k^{(j)};\\
1964: |\vec{t}_k-\vec{t}_l|=
1965: \prod_{i=1}^{s_k}\prod_{j=1}^{s_l}|t_k^{(i)}-t_l^{(j)}|\;\;\text{if}\;k\neq l
1966: \end{gathered}
1967: \end{equation}
1968: We will study particular case of the integral \eqref{Coulomb-I}, which corresponds to the value of parameter $\alpha_3=\varkappa\omega_{n-1}$
1969: \begin{multline}\label{Japp}
1970: J_{s_1\dots s_{n-1}}(a_1\dots a_{n-1}\vert c)=\\=
1971: \int d\mu_{s_1}(t_1)\dots d\mu_{s_{n-1}}(t_{n-1})\;
1972: \vert\vec{t}_{n-1}\vert^{2c}
1973: \prod_{k=1}^{n-1}\vert\vec{t}_k-1\vert^{2a_k}\mathcal{D}_{s_k}^{-2b^2}(t_k)
1974: \prod_{l=1}^{n-2}\vert\vec{t}_l-\vec{t}_{l+1}\vert^{2b^2}
1975: \end{multline}
1976: with
1977: \begin{equation}\label{c-a_k->alpha}
1978: c=-b\varkappa,\quad a_k=-b(\alpha_2,e_k).
1979: \end{equation}
1980: This integral can be calculated using the following identity between integrals of the dimension $2m$ and $2n$ \cite{Baseilhac:1998eq,Fateev:2006:JETP,Fateev:2007:TMPH}
1981: \begin{multline}\label{Fateev_Identity}
1982: \int d\mu_n(w)\mathcal{D}_n(w)\prod_{i=1}^n\prod_{j=1}^{n+m+1}
1983: \vert w_i-x_j\vert^{2p_j}=\\=
1984: \frac{\prod\limits_{i=1}^{n+m+1}\gamma(1+p_i)}
1985: {\gamma(1+n+\sum\limits_{i}p_i)}
1986: \prod_{i<j}\vert x_i-x_j\vert^{2+2p_i+2p_j}
1987: \int d\mu_m(u)\mathcal{D}_m(u)\prod_{i=1}^m\prod_{j=1}^{n+m+1}
1988: \vert u_i-x_j\vert^{-2p_j-2},
1989: \end{multline}
1990: where $\mathcal{D}_n(t)$ is defined similar to Eq \eqref{D-A-2} and equals
1991: \begin{equation}
1992: \mathcal{D}_n(t)=\prod_{i<j}|t_i-t_j|^2.
1993: \end{equation}
1994: Measure of integration is defined similar to Eq \eqref{measure} and equal $d\mu_n(w)=\frac{1}{\pi^nn!}\prod_{j=1}^nd^2w_j$.
1995:
1996: Below we list the main steps of calculation. Using integral relation \eqref{Fateev_Identity} function \eqref{Japp} can be calculated as follows
1997: \begin{itemize}
1998: \item First, it is convenient to represent the factor $\mathcal{D}_{s_1}^{-2b^2}(t_1)$
1999: in Eq \eqref{Japp} as
2000: $$\mathcal{D}_{s_1}^{-2b^2}(t_1)=\mathcal{D}_{s_1}(t_1)\mathcal{D}_{s_1}^{-1-2b^2}(t_1)$$
2001: and substitute the factor $\mathcal{D}_{s_1}^{-1-2b^2}(t_1)$ using Eq \eqref{Fateev_Identity}
2002: with $n=s_1-1$ and $m=0$
2003: \begin{equation}\label{Bazeyaka-1}
2004: \mathcal{D}_{s_1}^{-1-2b^2}(t_1)=
2005: \frac{\gamma(-s_1b^2)}{\gamma^{s_1}(-b^2)}
2006: \int\;\mathcal{D}_{s_1-1}(y_1)\;
2007: \vert\vec{y}_1-\vec{t}_1\vert^{-2b^2-2}d\mu_{s_1-1}(y_1).
2008: \end{equation}
2009: Note that the number of variables $\vec{y}_1$ is equal to $s_1-1$.
2010: \end{itemize}
2011: \begin{itemize}
2012: \item Second, the integral over variables $\vec{t}_1$ should be converted
2013: using Eq \eqref{Fateev_Identity} to the form
2014: \begin{multline}\label{Third-step}
2015: \int\mathcal{D}_{s_1}(t_1)\;
2016: \vert\vec{t}_1-1\vert^{2a_1}\;
2017: \vert\vec{t}_1-\vec{y}_1\vert^{-2b^2-2}\;
2018: \vert\vec{t}_1-\vec{t}_2\vert^{2b^2}d\mu_{s_1}(t_1)=\\=
2019: \frac{\gamma^{s_1-s_2-1}(-b^2)\gamma(1+a_1)}
2020: {\gamma(2+(s_2-s_1+1)b^2+a_1)}\;
2021: \vert\vec{y}_1-1\vert^{-2b^2+2a_1}
2022: \vert\vec{t}_2-1\vert^{2+2b^2+2a_1}
2023: \;\mathcal{D}_{s_2}^{1+2b^2}(t_2)\times\\\times
2024: \mathcal{D}_{s_1-1}^{-1-2b^2}(y_1)
2025: \int\mathcal{D}_{s_2-1}(y_2)\;
2026: \vert\vec{y}_2-1\vert^{-2a_1-2}\;
2027: \vert\vec{y}_1-\vec{y}_2\vert^{2b^2}\;
2028: \vert\vec{y}_2-\vec{t}_2\vert^{-2b^2-2}d\mu_{s_2-1}(y_2).
2029: \end{multline}
2030: The number of integrations over variables $\vec{y}_2$ is equal to $s_2-1$.
2031: We note that factor $\mathcal{D}_{s_1-1}^{-1-2b^2}(y_1)$ in the r.~h.~s. of Eq \eqref{Third-step}
2032: combines with a factor $\mathcal{D}_{s_1-1}(y_1)$ in Eq \eqref{Bazeyaka-1} to the standart
2033: combination $\mathcal{D}_{s_1-1}^{-2b^2}(y_1)$ and interaction between $s_1-1$ points $\vec{y}_1$
2034: and $s_2-1$ points $\vec{y}_2$ has a standart form $|\vec{y}_1-\vec{y}_2|^{2b^2}$.
2035: \end{itemize}
2036: \begin{itemize}
2037: \item Third, we note that the factor $\mathcal{D}_{s_2}^{1+2b^2}(t_2)$, appearing after the
2038: second step, combines with the factor $\mathcal{D}_{s_2}^{-2b^2}(t_2)$ in Eq \eqref{Japp}.
2039: Hence we can take the integral over variables $\vec{t}_2$ in a way
2040: similar to the second step
2041: \begin{multline}
2042: \int\mathcal{D}_{s_2}(t_2)\;
2043: \vert\vec{t}_2-1\vert^{2+2b^2+2a_1+2a_2}\;
2044: \vert\vec{t}_2-\vec{y}_2\vert^{-2b^2-2}\;
2045: \vert\vec{t}_2-\vec{t}_3\vert^{2b^2}d\mu_{s_2}(t_2)=\\=
2046: \frac{\gamma^{s_2-s_3-1}(-b^2)\gamma(2+b^2+a_1+a_2)}
2047: {\gamma(3+(s_3-s_2+2)b^2+a_1+a_2)}\;
2048: \vert\vec{y}_2-1\vert^{2+2a_1+2a_2}
2049: \vert\vec{t}_3-1\vert^{4+4b^2+2a_1+2a_2}
2050: \;\mathcal{D}_{s_3}^{1+2b^2}(t_3)\\
2051: \mathcal{D}_{s_2-1}^{-1-2b^2}(y_2)
2052: \int\mathcal{D}_{s_3-1}(y_3)\;
2053: \vert\vec{y}_3-1\vert^{-2a_1-2a_2-2b^2-4}\;
2054: \vert\vec{y}_2-\vec{y}_3\vert^{2b^2}\;
2055: \vert\vec{y}_3-\vec{t}_3\vert^{-2b^2-2}d\mu_{s_3-1}(y_3).
2056: \end{multline}
2057: \end{itemize}
2058: \begin{itemize}
2059: \item Repeating this procedure we will lower the number
2060: of integrations at every step. The last integral over variables $\vec{t}_{n-1}$ will
2061: be different from the integrals appearing at the previous steps. Namely,
2062: \begin{multline}
2063: \int\mathcal{D}_{s_{n-1}}(t_{n-1})\;
2064: \vert \vec{t}_{n-1}\vert^{2c}\;
2065: \vert\vec{t}_{n-1}-1\vert^{2(n-2)(1+b^2)+2\sum a_k}\;
2066: \vert\vec{t}_{n-1}-\vec{y}_{n-1}\vert^{-2b^2-2}d\mu_{s_{n-1}}(t_{n-1})\\=
2067: \gamma^{s_{n-1}-1}(-b^2)\;
2068: \frac{\gamma(1+c)\gamma(n-1+(n-2)b^2+a_1+\dots+a_{n-1})}
2069: {\gamma(n+c+a_1+\dots+a_{n-1}+(n-1-s_{n-1})b^2)}\times\\\times
2070: \mathcal{D}_{s_{n-1}}^{-1-2b^2}(y_{n-1})
2071: |\vec{y}_{n-1}|^{2c-2b^2}|\vec{y}_{n-1}-1|^{2+2(n-3)(1+b^2)+2(a_1+\dots+a_{n-1})}
2072: \end{multline}
2073: \end{itemize}
2074: \begin{itemize}
2075: \item As result, we obtain the recurrent relation
2076: \begin{multline}\label{FateevIdentity2}
2077: J_{s_1,\dots, s_{n-1}}(a_1,a_2,\dots, a_{n-1}\vert c)=\\=
2078: K(a_1,a_2,\dots, a_{n-1}\vert c)\;
2079: J_{s_1-1,\dots, s_{n-1}-1}
2080: (a_1-b^2,a_2\dots a_{n-1}\vert c-b^2)
2081: \end{multline}
2082: with
2083: \begin{multline*}
2084: K(a_1,a_2,\dots, a_{n-1}\vert c)=\frac{\gamma(-s_1b^2)}{\gamma^{n-1}(-b^2)}%\times\\\times
2085: \frac{\gamma(1+c)\gamma(n-1+a_1+\dots+a_{n-1}+(n-2)b^2)}
2086: {\gamma(n+c+a_1+\dots+a_{n-1}+(n-1-s_{n-1})b^2)}
2087: \\\times\prod_{j=1}^{n-2}
2088: \frac{\gamma(j+a_1+\dots+a_{j}+(j-1)b^2)}
2089: {\gamma(1+j+a_1+\dots+a_j+(s_{j+1}-s_{j}+j)b^2)}
2090: \end{multline*}
2091: \end{itemize}
2092: We note, that if we substitute parameters $a_k$ and $c$ from Eq \eqref{c-a_k->alpha}, then the solution to the recurrent relation \eqref{FateevIdentity2} gives the expression for the integral \eqref{I-equals}.
2093: We note also, that recurrent relation \eqref{FateevIdentity2} can be used to continue integral
2094: $J_{s_1,\dots, s_{n-1}}(a_1,a_2,\dots, a_{n-1}\vert c)$ to the non-integer values $s_k$ (it gives the expression for the three-point correlation \eqref{C}).
2095: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2096: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2097: \section{Simplification of the integral \protect\eqref{Iwasawa1}}\label{Eval_Iwasawa}
2098: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2099: We start with the integral \eqref{Iwasawa1}
2100: \begin{equation}\label{Semiclass_Int}
2101: \mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2)=4^{\sigma_1+\sigma_2}
2102: \int\frac{\varrho^{2\delta}\nu^{2\Delta}}
2103: {Z_1^{\lambda_1}Z_2^{\lambda_2}Z_3^{\kappa_1}Z_4^{\kappa_2}}\;
2104: \frac{d\varrho}{\varrho}\frac{d\nu}{\nu}\,d^2a\,d^2b\,d^2c,
2105: \end{equation}
2106: where $Z_k$ is given by Eq \eqref{Zk}. First, we use Feinman representation
2107: \begin{equation}
2108: \frac{1}{Z_1^{\lambda_1}Z_2^{\lambda_2}Z_3^{\kappa_1}Z_4^{\kappa_2}}=
2109: \frac{\Gamma(\upsilon)}
2110: {\Gamma(\lambda_1)\Gamma(\lambda_2)\Gamma(\kappa_1)\Gamma(\kappa_2)}\int
2111: \frac{\tau^{\lambda_1}\xi^{\lambda_2}t^{\kappa_1}}
2112: {(Z_4+Z_3t+Z_2\xi+Z_1\tau)^{\upsilon}}
2113: \frac{d\tau}{\tau}\frac{d\xi}{\xi}\frac{dt}{t}
2114: \end{equation}
2115: with
2116: \begin{equation*}
2117: \upsilon=\lambda_1+\lambda_2+\kappa_1+\kappa_2.
2118: \end{equation*}
2119: After that, we can calculate integral over $d^2a$, $d^2b$ and over $d\varrho$ with the result
2120: \begin{equation}\label{Semiclass-1}
2121: \pi^24^{\sigma_1+\sigma_2}\frac{\Gamma(\delta)\Gamma(\upsilon-\delta-2)}
2122: {\Gamma(\lambda_1)\Gamma(\lambda_2)\Gamma(\kappa_1)\Gamma(\kappa_2)}\int
2123: \frac{r^{2+\delta-\upsilon}\bar{r}^{\delta-1}}{P^{\delta}}\,\,
2124: \nu^{2\Delta}\tau^{\lambda_1}\xi^{\lambda_2}t^{\kappa_1}\,\,
2125: d^2c\,\frac{d\nu}{\nu}\,
2126: \frac{d\tau}{\tau}\,\frac{d\xi}{\xi}\,\frac{dt}{t}
2127: \end{equation}
2128: with
2129: \begin{equation*}
2130: \begin{gathered}
2131: r=1+t+\tau+\xi+\tau|c|^2+t|c+\nu|^2,\;\;\;\bar{r}=(1+\xi)r+t\tau\nu^2;\\
2132: P=\frac{\tau}{4}\Bigl(1+t\bigl(1+|c+\nu|^2\bigr)\Bigr)+
2133: \frac{t\xi}{4}\Bigl(\xi+\tau\bigl(1+|c|^2\bigr)\Bigr)+
2134: \frac{r\xi}{\nu^2}\Bigl(1+|c+\frac{\nu}{2}|^2\Bigr).
2135: \end{gathered}
2136: \end{equation*}
2137: The problem is that the quantity $P$ is not quadratic in the variable $c$. In order to proceed simplification, we use the following trick. We can multiply our expression
2138: \eqref{Semiclass-1} by
2139: \begin{equation}\label{Identity}
2140: 1=\frac{1}{2\pi}\int_{-\infty}^{\infty}\frac{ds}{s}\,\int_{-\infty}^{\infty}dp\,s^{ip}=
2141: \int_{-\infty}^{\infty} ds\,\delta(s-1)
2142: \end{equation}
2143: and insert $s$ somewhere into \eqref{Semiclass-1}. More exactly, we will need to do that four times. We just show the places of insertion of different $s_k$
2144: \begin{equation*}
2145: \begin{gathered}
2146: r\rightarrow s_4\Bigl(\xi+\tau(1+|c|^2)\Bigr)+\Bigl(1+t(1+|c+\nu|^2)\Bigr),
2147: \;\;\;\bar{r}\rightarrow(1+\xi)r+s_2t\tau\nu^2;\\
2148: P\rightarrow s_1\biggl(\frac{\tau}{4}\Bigl(1+t\bigl(1+|c+\nu|^2\bigr)\Bigr)+
2149: s_3\frac{t\xi}{4}\Bigl(\xi+\tau\bigl(1+|c|^2\bigr)\Bigr)\biggr)+
2150: \frac{r\xi}{\nu^2}\Bigl(1+|c+\frac{\nu}{2}|^2\Bigr).
2151: \end{gathered}
2152: \end{equation*}
2153: The integrals over $s_k$ can be calculated exactly (first over $s_1$, second over $s_2$ etc). After that, the integrals over $t$, $\tau$ and $\xi$ will be of the type \eqref{Int(t)} and also can be calculated. The remaining integral over $d\nu$ and $d^2c$ will be
2154: \begin{equation}\label{dc_dnu}
2155: \int \nu^{2(\delta+\Delta-s_1-s_2)}\bigl(1+|c|^2\bigr)^{s_1+s_2-s_3-\lambda_1}
2156: \bigl(1+|c+\nu|^2\bigr)^{s_2+s_3-\kappa_1}
2157: \Bigl(1+\bigl|c+\frac{\nu}{2}\bigr|^2\Bigr)^{s_1-\delta}\,\,
2158: \frac{d\nu}{\nu}\,d^2c.
2159: \end{equation}
2160: Using technique, described above, one can reduce integral \eqref{dc_dnu} to one dimensional integral. As result, the integral \eqref{Semiclass_Int} can be reduced to five dimensional Barnes-like integral. By using the first and the second Barnes lemmas \eqref{Barnes1} and \eqref{Barnes2}, one can reduce it to three dimensional integral \eqref{3_Fold_Int}.
2161:
2162: The integral \eqref{3_Fold_Int} can be also rewritten in a different form in terms of Tricomi functions, which are defined by the integral representation
2163: \begin{equation}
2164: \Psi(a,c|x)=\frac{1}{\Gamma(a)}\int_0^{\infty}\,dt\,e^{-xt}t^{a-1}(1+t)^{c-a-1}.
2165: \end{equation}
2166: This function can be expressed through the confluent hypergeometric function
2167: \begin{equation}
2168: \Phi(a,c|x)=1+\frac{a}{c}x+\frac{1}{2!}\frac{a(a+1)}{c(c+1)}x^2+\dots
2169: \end{equation}
2170: as
2171: \begin{equation}
2172: \Psi(a,c|x)=\frac{\Gamma(1-c)}{\Gamma(a-c+1)}\,\Phi(a,c|x)+
2173: \frac{\Gamma(c-1)}{\Gamma(a)}x^{1-c}\,\Phi(a-c+1,2-c|x)
2174: \end{equation}
2175: with $\Psi(a,c;0)=\frac{\Gamma(1-c)}{\Gamma(a-c+1)}$. Tricomi function satisfies the following relation
2176: \begin{equation}
2177: \Psi(a,c|x)=x^{1-c}\,\Psi(a-c+1,2-c|x).
2178: \end{equation}
2179: The integral \eqref{3_Fold_Int} can be rewritten as
2180: \begin{multline}
2181: \mathfrak{J}(\lambda_1,\lambda_2;\kappa_1,\kappa_2;\sigma_1,\sigma_2)=
2182: 4^{\lambda_1+\kappa_1+\sigma_1-\Delta}
2183: \times\\\times
2184: \frac{\Gamma(\lambda_1+\kappa_1+\sigma_1-\Delta-2)
2185: \Gamma(\lambda_2+\kappa_2+\sigma_2+\Delta-2)}
2186: {\Gamma(\lambda_1)\Gamma(\lambda_2)\Gamma(\lambda_1+\lambda_2-1)
2187: \Gamma(\kappa_1)\Gamma(\kappa_2)\Gamma(\kappa_1+\kappa_2-1)
2188: \Gamma(\sigma_1)\Gamma(\sigma_2)\Gamma(\sigma_1+\sigma_2-1)}
2189: \times\\\times\int\,du\,ds\,dy\,\,t^{\lambda_1-1}(1-t)^{\kappa_1-1}\,
2190: u^{\lambda_1+\kappa_1-\Delta-2}(1-u)^{\lambda_2+\kappa_2+\Delta-2}\,
2191: e^{-s}s^{\lambda_1+\kappa_1-\sigma_2-\Delta-1}\times\\\times
2192: F_1(4t(1-t)s)\,F_2(sut)\,F_3(su(1-t)),
2193: \end{multline}
2194: where
2195: \begin{equation}
2196: \begin{aligned}
2197: &F_1(x)=\Gamma(\sigma_2)\Gamma(\sigma_2+\Delta)\,\Psi(\sigma_2+\Delta,1+\Delta|x),\\
2198: &F_2(x)=\Gamma(\kappa_1+\kappa_2-1)\Gamma(\sigma_1+\kappa_1-\Delta-1)\,
2199: \Psi(\kappa_1+\kappa_2-1,1-\sigma_1+\kappa_2+\Delta|x),\\
2200: &F_3(x)=\Gamma(\lambda_1+\lambda_2-1)\Gamma(\sigma_1+\lambda_1-\Delta-1)\,
2201: \Psi(\lambda_1+\lambda_2-1,1-\sigma_1+\lambda_2+\Delta|x).
2202: \end{aligned}
2203: \end{equation}
2204: This form of the integral \eqref{Iwasawa1} is very convenient to obtain its limit at $\sigma_1\rightarrow-m$ and $\sigma_2\rightarrow-n$ considered in section \ref{CL-light}.
2205: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2206: \section{Properties of the $\mathfrak{sl}(3)$ Coulomb integral}\label{SL(3)-Int-def}
2207: In this appendix we study the properties of the $\mathfrak{sl}(3)$ integral
2208: \begin{multline}\label{SL(3)-Int}
2209: \mathcal{I}_{k,l}(\alpha_1,\alpha_2,\beta_1,\beta_2)=\\=
2210: \int\prod_{i=1}^k\prod_{j=1}^l|t_i-s_j|^{2b^2}
2211: \mathcal{D}^{-2b^2}_k(t)\mathcal{D}^{-2b^2}_l(s)
2212: \prod_{i=1}^k |t_i|^{2\alpha_1}
2213: |t_i-1|^{2\beta_1}d^2t_i\prod_{j=1}^l|s_j|^{2\alpha_2}|s_j-1|^{2\beta_2}d^2s_j,
2214: \end{multline}
2215: where $\mathcal{D}_k(t)$ is defined by Eq \eqref{D-A-2}.
2216: Using the integral identity \eqref{Fateev_Identity} one can show, that function $\mathcal{I}_{k,l}(\alpha_1,\alpha_2,\beta_1,\beta_2)$ satisfies the set of functional relations, which are generated by two basic relations (we suppose, that $l\geq k$):
2217: \begin{equation}\label{Int-Relat1}
2218: \mathcal{I}_{k,l}(\alpha_1,\alpha_2,\beta_1,\beta_2)=\Xi_{k,l}^{(1)}(\alpha_1,\alpha_2,\beta_1,\beta_2)
2219: \mathcal{I}_{k,l}(\alpha_1,\tilde{\beta}_1,\tilde{\alpha}_2,\beta_2),
2220: \end{equation}
2221: where $\tilde{\beta}_1=\beta_1+(l-k)b^2$, $\tilde{\alpha}_2=\alpha_2-(l-k)b^2$ and
2222: \begin{multline*}
2223: \Xi^{(1)}_{k,l}(\alpha_1,\alpha_2,\beta_1,\beta_2)=
2224: \prod_{j=0}^{l-k-1}\frac{\gamma(1+\alpha_2-jb^2)}
2225: {\gamma(1+\tilde{\beta}_1-jb^2)}\times\\\times
2226: \prod_{j=0}^{k-1}\frac{\gamma(2+\alpha_1+\alpha_2-(j-1)b^2)}
2227: {\gamma(2+\alpha_1+\tilde{\beta}_1-(j-1)b^2)}
2228: \prod_{j=0}^{l-1}\frac{\gamma(2+\beta_1+\beta_2-(j-1)b^2)}
2229: {\gamma(2+\tilde{\alpha}_2+\beta_2-(j-1)b^2)}
2230: \end{multline*}
2231: and by the relation
2232: \begin{multline}\label{Int-Relat2}
2233: \mathcal{I}_{k,l}(\alpha_1,\alpha_2,\beta_1,\beta_2)=
2234: \Xi^{(2)}_{k,l}(\alpha_1,\alpha_2,\beta_1,\beta_2)\times\\\times
2235: \mathcal{I}_{k,l}(\alpha_1,-2-\alpha_1-\alpha_2+(l-2)b^2,\beta_1,-2-\beta_1-\beta_2+(l-2)b^2)
2236: \end{multline}
2237: with
2238: \begin{multline*}
2239: \Xi^{(2)}_{k,l}(\alpha_1,\alpha_2,\beta_1,\beta_2)=\\
2240: \prod_{j=0}^{l-1}
2241: \frac{\gamma(1+\alpha_1-jb^2)\gamma(1+\beta_1-jb^2)\gamma(2+\alpha_1+\alpha_2-(j-1)b^2)
2242: \gamma(2+\beta_1+\beta_2-(j-1)b^2)}
2243: {\gamma(2+\alpha_1+\beta_1-(l-k-1+j)b^2)\gamma(3+\alpha_1+\alpha_2+\beta_1+\beta_2-(k-2+j)b^2)}.
2244: \end{multline*}
2245: Relations \eqref{Int-Relat1} and \eqref{Int-Relat2} can be used for the analytical continuation and sometimes for the simplification of the integral \eqref{SL(3)-Int}.
2246:
2247: Integral \eqref{SL(3)-Int} can be calculated exactly if $k=0$ or $l=0$ and also if one of the parameters $\alpha_k$ or $\beta_k$ equals to zero (see Appendix \ref{AppIntegrals}). In the case $k=1$ (or $l=1$) it also can be reduced to known functions. To show it we apply integral relation \cite{Fateev:2006:JETP,Fateev:2007:TMPH}
2248: \begin{multline}\label{n->1}
2249: \frac{1}{\pi^ll!}
2250: \int\prod_{j=1}^l |s_j|^{2\alpha_2}|s_j-1|^{2\beta_2}|s_j-t|^{2b^2}\mathcal{D}_l^{-2b^2}(s)d^2s_1\dots
2251: d^2s_l=\\=
2252: \prod_{j=0}^{l-2}\frac{\gamma(-(j+2)b^2)}{\gamma(-b^2)}
2253: \frac{\gamma(1+\alpha_2-jb^2)\gamma(1+\beta_2-jb^2)}{\gamma(2+\alpha_2+\beta_2-(l-1+j)b^2)}
2254: \times\\\times\frac{1}{\pi}
2255: \int|u|^{2\alpha_2-2(l-1)b^2}|u-1|^{2\beta_2-2(l-1)b^2}|u-t|^{2lb^2}d^2u.
2256: \end{multline}
2257: Relation \eqref{n->1} allows to reduce integral \eqref{SL(3)-Int} to the four-dimensional integral
2258: \begin{equation*}
2259: \int|t|^{2\alpha_1}|t-1|^{2\beta_1}
2260: |u|^{2\alpha_2-2(l-1)b^2}|u-1|^{2\beta_2-2(l-1)b^2}|u-s|^{2lb^2}
2261: \,d^2u\,d^2s,
2262: \end{equation*}
2263: which can be expressed in terms hypergeometric function of the type $(3,2)$ using Eq \eqref{C-shifted-1}.
2264: For $k>1$ integral \eqref{SL(3)-Int} can be reduced to $4k$-dimensional Coulomb integral. We will give the explicit expression for this integral in Ref \cite{Part-Deux}. Here we give two different asymptotics at $b\rightarrow0$ of the meromorphic function defined by the integral \eqref{SL(3)-Int}.
2265: First asymptotic is (we assume that $l\geq k$)
2266: \begin{multline}\label{SL(3)-Int-ass1}
2267: \mathcal{I}_{k,l}(-\lambda_1b^2,-\lambda_2b^2,-\kappa_1b^2,-\kappa_2b^2)
2268: \underset{b\rightarrow0}{\longrightarrow}
2269: (-\pi b^2)^{k+l}\times\\\times
2270: \frac{(-1)^k(\lambda_2)_{l-k}(\kappa_2)_{l-k}}
2271: {(\lambda_1+\lambda_2+\kappa_1+\kappa_2+l-2)_{k}(\lambda_1+\kappa_1+k-l-1)_{k}
2272: (\lambda_2+\kappa_2+l-k-1)_{l}}\times\\\times
2273: \sum_{s_1,s_2,s_3\geq 0}^k4^{-s_1-s_2-s_3}
2274: \frac{(-k)_{s_1+s_2+s_3}(-l)_{s_1+s_2+s_3}(1-2k-\lambda_1-\kappa_1+s_1+s_2+s_3)_{s_1}}
2275: {s_1!s_2!s_3!}\times\\\times
2276: (\lambda_1)_{k-s_1-s_3}(\kappa_1)_{k-s_1-s_2}(\lambda_1+\kappa_1+k-l-1)_{s_2+s_3}
2277: (3-\lambda_1-\lambda_2-\kappa_1-\kappa_2-k)_{k-s_2-s_3}\times\\\times
2278: (\kappa_1+\kappa_2-1)_{s_2}(\lambda_1+\lambda_2-1)_{s_3}(l-k+\lambda_2)_{k-s_2}(l-k+\kappa_2)_{k-s_3}.
2279: \end{multline}
2280: Second asymptotic is
2281: \begin{multline}
2282: \mathcal{I}_{k,l}(-1-\lambda_1b^2,-1-\lambda_2b^2,-1-\kappa_1b^2,-1-\kappa_2b^2)
2283: \underset{b\rightarrow0}{\longrightarrow}
2284: \left(-\frac{\pi}{b^2}\right)^{k+l}\times\\\times
2285: \sum_{s_1=0}^k\sum_{s_2=0}^l C_{k}^{s_1}C_{l}^{s_2}\;
2286: \frac{(-1+\lambda_1+\lambda_2+l-s_2)_{k-s_1}}
2287: {(\lambda_1)_{k-s_1}(\lambda_2)_{l-s_2}(\lambda_1+\lambda_2-1)_{k-s_1}}\;
2288: \frac{(-1+\kappa_1+\kappa_2+s_1)_{s_2}}
2289: {(\kappa_1)_{s_1}(\kappa_2)_{s_2}(\kappa_1+\kappa_2-1)_{s_2}},
2290: \end{multline}
2291: where $C_k^j$ are the binomial coefficients.
2292: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2293: \section{Useful formulae}\label{KBessel}
2294: Here we collect some basic facts concerning Macdonald function $K_{\nu}(y)$
2295: \begin{itemize}
2296: \item Integral representation
2297: \begin{equation}\label{Kint}
2298: K_{\nu}(y)=\frac{1}{2}\int_{0}^{\infty}\frac{dt}{t}\;
2299: t^{\nu}\exp(-y(t+1/t)/2).
2300: \end{equation}
2301: \item Asymptotic formula
2302: \begin{equation}
2303: K_{\nu}(2y)\rightarrow\frac{1}{2}
2304: \left(\Gamma(-\nu)y^{\nu}+\Gamma(\nu)y^{-\nu}\right)\quad
2305: \text{at}\quad y\rightarrow 0
2306: \end{equation}
2307: \item Mellin transformation of single Macdonald function
2308: \begin{equation}\label{KInt}
2309: \int_0^{\infty}y^{\mu}K_{\nu}(2ay)\;\frac{dy}{y}=\frac{1}{4a^{\mu}}\;
2310: \Gamma\left(\frac{\mu+\nu}{2}\right)
2311: \Gamma\left(\frac{\mu-\nu}{2}\right)
2312: \end{equation}
2313: \item Mellin transformation of the product of two Macdonald functions
2314: \begin{multline}\label{KKInt}
2315: \int_0^{\infty}y^{\lambda}K_{\mu}(2ay)K_{\nu}(2cy)\;\frac{dy}{y}=
2316: \frac{c^{\nu}}{8a^{\nu+\lambda}\Gamma(\lambda)}\;
2317: \Gamma\left(\frac{\lambda+\mu+\nu}{2}\right)
2318: \Gamma\left(\frac{\lambda+\mu-\nu}{2}\right)\times\\\times
2319: \Gamma\left(\frac{\lambda-\mu+\nu}{2}\right)
2320: \Gamma\left(\frac{\lambda-\mu-\nu}{2}\right)
2321: F\left(\genfrac{}{}{0pt}{1}{\frac{\lambda+\mu+\nu}{2}
2322: \:\frac{\lambda-\mu+\nu}{2}}
2323: {\lambda}\biggl|1-\frac{c^2}{a^2}\right).
2324: \end{multline}
2325: here $F$ denotes the hypergeometric function of the type $(2,1)$.
2326: \end{itemize}
2327: Beta-like integral
2328: \begin{equation}\label{Int(t)}
2329: \int_0^{\infty}\;\frac{dt}{t}\;t^{A}\;(1+t^2)^B=
2330: \frac{1}{2}\;\frac{\Gamma\left(\frac{A}{2}\right)
2331: \Gamma\left(-B-\frac{A}{2}\right)}{\Gamma(-B)}\;.
2332: \end{equation}
2333: Barnes first lemma
2334: \begin{equation}\label{Barnes1}
2335: \frac{1}{2\pi i}
2336: \int_{-i\infty}^{i\infty}\Gamma(\alpha+s)\Gamma(\beta+s)
2337: \Gamma(\gamma-s)\Gamma(\delta-s)=
2338: \frac{\Gamma(\alpha+\gamma)\Gamma(\alpha+\delta)
2339: \Gamma(\beta+\gamma)\Gamma(\beta+\delta)}
2340: {\Gamma(\alpha+\beta+\gamma+\delta)}.
2341: \end{equation}
2342: Barnes second lemma states that
2343: \begin{multline}\label{Barnes2}
2344: \frac{1}{2\pi i}\int\frac{\Gamma(\alpha_1+s)
2345: \Gamma(\alpha_2+s)\Gamma(\alpha_3+s)\Gamma(1-\beta_1-s)
2346: \Gamma(-s)ds}{\Gamma(\beta_2+s)}=\\=
2347: \frac{\Gamma(\alpha_1)\Gamma(\alpha_2)\Gamma(\alpha_3)
2348: \Gamma(1-\beta_1+\alpha_1)\Gamma(1-\beta_1+\alpha_2)
2349: \Gamma(1-\beta_1+\alpha_3)}{\Gamma(\beta_2-\alpha_1)
2350: \Gamma(\beta_2-\alpha_2)\Gamma(\beta_2-\alpha_3)}
2351: \end{multline}
2352: provided that $\beta_1+\beta_2=\alpha_1+\alpha_2+\alpha_3+1$.
2353: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2354: \section{Example of application of the recursive relation \protect\eqref{Int_Rec_Relat}}\label{Ex-Rec-Relat}
2355: In this appendix we explain how to use recursive relation \eqref{Int_Rec_Relat}. For example, using Eq \eqref{Int_Rec_Relat} one obtains for function $\widetilde{\Psi}^{(4)}_{P}(y_1,y_2,y_3)$ exact expression
2356: \begin{multline}\label{Psi4}
2357: \widetilde{\Psi}^{(4)}_{P}(y_1,y_2,y_3)=\int_{0}^{\infty}\int_{0}^{\infty}
2358: t_1^{ib^{-1}(P,e_3-e_1)}t_2^{ib^{-1}(P,e_3-e_1)}\times\\\times
2359: K_{\frac{i(P,e_2)}{b}}\left(2y_{2}\frac{t_1}{t_2}\right)
2360: K_{\frac{i(P,e_0)}{b}}\left(2y_{1}\sqrt{(1+t_{1}^{-2})}\right)\times\\\times
2361: K_{\frac{i(P,e_0)}{b}}\left(2y_{2}\sqrt{(1+t_{1}^2)(1+t_{2}^{-2})}\right)
2362: K_{\frac{i(P,e_0)}{b}}\left(2y_{3}\sqrt{(1+t_{2}^{2})}\right)\;
2363: \frac{dt_1}{t_1}\,\frac{dt_2}{t_2}.
2364: \end{multline}
2365: In Eq \eqref{Psi4} we substitute
2366: \begin{equation}\label{Psi4-Explain}
2367: \widetilde{\Psi}^{(2)}_{P'}\left(y_2\frac{t_1}{t_2}\right)=
2368: K_{\frac{i(P,e_2)}{b}}\left(2y_{2}\frac{t_1}{t_2}\right).
2369: \end{equation}
2370: As we see from Eq \eqref{Psi4-Explain}, it is convenient to think that $P'=P$, but vector $P'$ lives on a lattice with cutted-off ends. Symbolically it can be pictured as
2371: \begin{equation*}
2372: \setlength{\unitlength}{1.18pt}
2373: \begin{picture}(362,22)(-15,-1)
2374: \thicklines
2375: \matrixput(0,0)(20,0){3}(0,0){2}{\circle*{3}}
2376: \matrixput(0,0)(20,0){2}(0,0){1}{\line(1,0){30}}
2377: \matrixput(80,0)(20,0){3}(0,0){2}{\circle*{3}}
2378: \matrixput(70,0)(20,0){2}(0,0){1}{\line(1,0){30}}
2379: \matrixput(55,0)(5,0){3}(0,0){2}{\circle*{1}}
2380: \put(-2,-7){\makebox{\small{$e_1$}}}
2381: \put(18,-7){\makebox{\small{$e_2$}}}
2382: \put(38,-7){\makebox{\small{$e_3$}}}
2383: \put(78,-7){\makebox{\small{$e_{n-3}$}}}
2384: \put(98,-7){\makebox{\small{$e_{n-2}$}}}
2385: \put(118,-7){\makebox{\small{$e_{n-1}$}}}
2386: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2387: \put(150,0){\vector(1,0){60}}
2388: %\put(168,10){\mbox{\small{\eqref{Int_Rec_Relat}}}}
2389: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2390: \matrixput(240,0)(20,0){2}(0,0){2}{\circle*{3}}
2391: \matrixput(240,0)(20,0){1}(0,0){1}{\line(1,0){30}}
2392: \matrixput(300,0)(20,0){2}(0,0){2}{\circle*{3}}
2393: \matrixput(290,0)(20,0){1}(0,0){1}{\line(1,0){30}}
2394: \matrixput(275,0)(5,0){3}(0,0){2}{\circle*{1}}
2395: \put(238,-7){\makebox{\small{$e_2$}}}
2396: \put(258,-7){\makebox{\small{$e_3$}}}
2397: \put(298,-7){\makebox{\small{$e_{n-3}$}}}
2398: \put(318,-7){\makebox{\small{$e_{n-2}$}}}
2399: \end{picture}
2400: \vspace*{12pt}
2401: \end{equation*}
2402: Using function \eqref{Psi4} we can reconstract function $\widetilde{\Psi}^{(6)}_{P}(y_1,y_2,y_3,y_4,y_5)$ and so on.
2403: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2404: \begin{thebibliography}{99}
2405: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2406: %\cite{Polyakov:1981rd}
2407: \bibitem{Polyakov:1981rd}
2408: A.~M.~Polyakov,
2409: Quantum geometry of bosonic strings,
2410: Phys.\ Lett.\ B {\bf 103}, 207 (1981).
2411: %%CITATION = PHLTA,B103,207;%%
2412: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2413: %\cite{Belavin:1984vu}
2414: \bibitem{Belavin:1984vu}
2415: A.~A.~Belavin, A.~M.~Polyakov and A.~B.~Zamolodchikov,
2416: Infinite conformal symmetry in two-dimensional quantum field theory,
2417: Nucl.\ Phys.\ B {\bf 241} (1984) 333.
2418: %%CITATION = NUPHA,B241,333;%%
2419: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2420: %\cite{Zamolodchikov:1985wn}
2421: \bibitem{Zamolodchikov:1985wn}
2422: A.~B.~Zamolodchikov,
2423: Infinite additional symmetries in two-dimensional conformal quantum
2424: field theory,
2425: Theor.\ Math.\ Phys.\ {\bf 65} (1985) 1205
2426: [Teor.\ Mat.\ Fiz.\ {\bf 65} (1985) 347].
2427: %%CITATION = TMPHA,65,1205;%%
2428: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2429: %\cite{Gervais:1993yh}
2430: \bibitem{Gervais:1993yh}
2431: J.~L.~Gervais,
2432: Introduction to differential W geometry, Published in Strings 1993:0397-415,
2433: arXiv:hep-th/9310116.
2434: %%CITATION = HEP-TH 9310116;%%
2435: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2436: %\cite{Razumov:1993pv}
2437: \bibitem{Razumov:1993pv}
2438: A.~V.~Razumov and M.~V.~Saveliev,
2439: Differential geometry of Toda systems,
2440: Commun.\ Anal.\ Geom.\ {\bf 2} (1994) 461
2441: [arXiv:hep-th/9311167].
2442: %%CITATION = HEP-TH 9311167;%%
2443: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2444: %\cite{Pope:1992mi}
2445: \bibitem{Pope:1992mi}
2446: C.~N.~Pope,
2447: A Review of W strings, Contribution to Proc. of Int. Symp. on Black Holes, Worm Holes,
2448: Membranes and Superstrings, Woodlands, TX, Jan 16-18, 1992,
2449: arXiv:hep-th/9204093.
2450: %%CITATION = HEP-TH 9204093;%%
2451: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2452: %\cite{West:1993np}
2453: \bibitem{West:1993np}
2454: P.~C.~West,
2455: A Review of W strings, Published in Salamfest 1993:0451-477,
2456: arXiv:hep-th/9309095.
2457: %%CITATION = HEP-TH 9309095;%%
2458: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2459: %\cite{Fateev:1985mm}
2460: \bibitem{Fateev:1985mm}
2461: V.~A.~Fateev and A.~B.~Zamolodchikov,
2462: Parafermionic currents in the two-dimensional conformal quantum field
2463: theory and selfdual critical points in Z(N) invariant
2464: statistical systems,
2465: Sov.\ Phys.\ JETP {\bf 62}, 215 (1985)
2466: [Zh.\ Eksp.\ Teor.\ Fiz.\ {\bf 89}, 380 (1985)].
2467: %%CITATION = SPHJA,62,215;%%
2468: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2469: %\cite{Date:1987vf}
2470: \bibitem{Date:1987vf}
2471: E.~Date, M.~Jimbo, T.~Miwa and M.~Okado,
2472: Solvable Lattice Models,
2473: Invited lectures delivered at the AMS Summer Institute on Theta Functions, July 1987.
2474: %%CITATION = RIMS-590;%%
2475: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2476: %\cite{Jimbo:1987ra}
2477: \bibitem{Jimbo:1987ra}
2478: M.~Jimbo, T.~Miwa and M.~Okado,
2479: Solvable Lattice Models Related To The Vector Representation Of Classical
2480: Simple Lie Algebras,
2481: Commun.\ Math.\ Phys.\ {\bf 116}, 507 (1988).
2482: %%CITATION = CMPHA,116,507;%%
2483: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2484: %\cite{Ahn:1999dz}
2485: \bibitem{Ahn:1999dz}
2486: C.~r.~Ahn, V.~A.~Fateev, C.~j.~Kim, C.~Rim and B.~Yang,
2487: Reflection amplitudes of ADE Toda theories and thermodynamic Bethe
2488: ansatz,
2489: Nucl.\ Phys.\ B {\bf 565}, 611 (2000)
2490: [arXiv:hep-th/9907072].
2491: %%CITATION = NUPHA,B565,611;%%
2492: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2493: %\cite{Ahn:2000ki}
2494: \bibitem{Ahn:2000ki}
2495: C.~r.~Ahn, P.~Baseilhac, V.~A.~Fateev, C.~j.~Kim and C.~Rim,
2496: Reflection amplitudes in non-simply laced Toda theories and thermodynamic
2497: Bethe ansatz,
2498: Phys.\ Lett.\ B {\bf 481}, 114 (2000)
2499: [arXiv:hep-th/0002213].
2500: %%CITATION = PHLTA,B481,114;%%
2501: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2502: %\cite{Fateev:2000pi}
2503: \bibitem{Fateev:2000pi}
2504: V.~A.~Fateev,
2505: Normalization factors in conformal field theory and their applications,
2506: Mod.\ Phys.\ Lett.\ A {\bf 15}, 259 (2000).
2507: %%CITATION = MPLAE,A15,259;%%
2508: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2509: %\cite{Feher:1992yx}
2510: \bibitem{Feher:1992yx}
2511: L.~Feher, L.~O'Raifeartaigh, P.~Ruelle, I.~Tsutsui and A.~Wipf,
2512: On Hamiltonian reductions of the Wess-Zumino-Novikov-Witten theories,
2513: Phys.\ Rept.\ {\bf 222} (1992) 1.
2514: %%CITATION = PRPLC,222,1;%%
2515: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2516: %\cite{Dorn:1992at}
2517: \bibitem{Dorn:1992at}
2518: H.~Dorn and H.~J.~Otto,
2519: On correlation functions for noncritical strings with $c\leq 1$ but $d\geq1$,
2520: Phys.\ Lett.\ B {\bf 291} (1992) 39
2521: [arXiv:hep-th/9206053].
2522: %%CITATION = HEP-TH 9206053;%%
2523: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2524: %\cite{Dorn:1994xn}
2525: \bibitem{Dorn:1994xn}
2526: H.~Dorn and H.~J.~Otto,
2527: Two and three point functions in Liouville theory,
2528: Nucl.\ Phys.\ B {\bf 429} (1994) 375
2529: [arXiv:hep-th/9403141].
2530: %%CITATION = HEP-TH 9403141;%%
2531: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2532: %\cite{Zamolodchikov:1995aa}
2533: \bibitem{Zamolodchikov:1995aa}
2534: A.~B.~Zamolodchikov and Al.~B.~Zamolodchikov,
2535: Structure constants and conformal bootstrap in Liouville
2536: field theory,
2537: Nucl.\ Phys.\ B {\bf 477} (1996) 577
2538: [arXiv:hep-th/9506136].
2539: %%CITATION = HEP-TH 9506136;%%
2540: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2541: %\cite{Teschner:2003en}
2542: \bibitem{Teschner:2003en}
2543: J.~Teschner,
2544: A lecture on the Liouville vertex operators,
2545: Int.\ J.\ Mod.\ Phys.\ A {\bf 19S2} (2004) 436
2546: [arXiv:hep-th/0303150].
2547: %%CITATION = IMPAE,A19S2,436;%%
2548: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2549: %\cite{Bowcock:1993wq}
2550: \bibitem{Bowcock:1993wq}
2551: P.~Bowcock and G.~M.~T.~Watts,
2552: Null vectors, three point and four point functions in conformal field
2553: theory,
2554: Theor.\ Math.\ Phys.\ {\bf 98} (1994) 350
2555: [Teor.\ Mat.\ Fiz.\ {\bf 98} (1994) 500]
2556: [arXiv:hep-th/9309146].
2557: %%CITATION = HEP-TH 9309146;%%
2558: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2559: %\cite{Fateev:2005gs}
2560: \bibitem{Fateev:2005gs}
2561: V.~A.~Fateev and A.~V.~Litvinov,
2562: On differential equation on four-point correlation function in the
2563: conformal Toda field theory,
2564: JETP Lett.\ {\bf 81} (2005) 594
2565: [Pisma Zh.\ Eksp.\ Teor.\ Fiz.\ {\bf 81} (2005) 728]
2566: [arXiv:hep-th/0505120].
2567: %%CITATION = HEP-TH 0505120;%%
2568: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2569: %\cite{Teschner:1995yf}
2570: \bibitem{Teschner:1995yf}
2571: J.~Teschner,
2572: On the Liouville three point function,
2573: Phys.\ Lett.\ B {\bf 363} (1995) 65
2574: [arXiv:hep-th/9507109].
2575: %%CITATION = HEP-TH 9507109;%%
2576: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2577: \bibitem{Part-Deux}
2578: V.~A.~Fateev and A.~V.~Litvinov,
2579: Correlation functions in conformal Toda field theory II, in preparation.
2580: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2581: %\cite{Fateev:1987zh}
2582: \bibitem{Fateev:1987zh}
2583: V.~A.~Fateev and S.~L.~Lukyanov,
2584: The models of two-dimensional conformal quantum field theory with Z(N)
2585: symmetry,
2586: Int.\ J.\ Mod.\ Phys.\ A {\bf 3}, 507 (1988).
2587: %%CITATION = IMPAE,A3,507;%%
2588: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2589: %\cite{Fateev:2001mj}
2590: \bibitem{Fateev:2001mj}
2591: V.~A.~Fateev,
2592: Normalization factors, reflection amplitudes and integrable systems,
2593: arXiv:hep-th/0103014.
2594: %%CITATION = HEP-TH 0103014;%%
2595: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2596: %\cite{Goulian:1990qr}
2597: \bibitem{Goulian:1990qr}
2598: M.~Goulian and M.~Li,
2599: Correlation functions in Liouville theory,
2600: Phys.\ Rev.\ Lett.\ {\bf 66} (1991) 2051.
2601: %%CITATION = PRLTA,66,2051;%%
2602: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2603: %\cite{Selberg}
2604: \bibitem{Selberg}
2605: A.~Selberg,
2606: Bemerkninger om et multiplet integral,
2607: Norsk Mat.\ Tidsskr.\ \textbf{26} (1944) 71-78.
2608: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2609: %\cite{Dotsenko:1984nm}
2610: \bibitem{Dotsenko:1984nm}
2611: V.~S.~Dotsenko and V.~A.~Fateev,
2612: Conformal algebra and multipoint correlation functions in 2D statistical
2613: models,
2614: Nucl.\ Phys.\ B {\bf 240} (1984) 312.
2615: %%CITATION = NUPHA,B240,312;%%
2616: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2617: %\cite{Dotsenko:1984ad}
2618: \bibitem{Dotsenko:1984ad}
2619: V.~S.~Dotsenko and V.~A.~Fateev,
2620: Four point correlation functions and the operator algebra in the
2621: two-dimensional conformal invariant theories with the central
2622: charge $c<1$,
2623: Nucl.\ Phys.\ B {\bf 251} (1985) 691.
2624: %%CITATION = NUPHA,B251,691;%%
2625: %%Cited 499 times in SPIRES-HEP
2626: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2627: \bibitem{Fateev:2006:JETP}
2628: V.~A.~Fateev and A.~V.~Litvinov,
2629: Coulomb integrals in Liouville theory and Liouville gravity,
2630: JETP Lett.\ {\bf 84}, 531 (2007)
2631: [Pisma Zh.\ Eksp.\ Teor.\ Fiz.\ {\bf 84} (2006) 625].
2632: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2633: \bibitem{Fateev:2007:TMPH}
2634: V.~A.~Fateev and A.~V.~Litvinov,
2635: Multipoint correlation functions in Liouville field theory and minimal Liouville gravity,
2636: Contribution to the proceedings of the International Workshop on Classical and Quantum Integrable
2637: Systems, Dubna, Russia, January 22--25, 2007, arXiv:0707.1664 [hep-th].
2638: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2639: \bibitem{Barnes}
2640: E.~W.~Barnes, The genesis of the double gamma function, Proc.~London.~Math.~Soc., \textbf{31} 358 (1899),
2641: The theory of the double gamma function, Phil.~Trans.~Roy.~Soc., \textbf{A196} 265 (1901).
2642: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2643: %\cite{Fateev:1987vh}
2644: \bibitem{Fateev:1987vh}
2645: V.~A.~Fateev and A.~B.~Zamolodchikov,
2646: Conformal quantum field theory models in two-dimensions having Z(3)
2647: symmetry,
2648: Nucl.\ Phys.\ B {\bf 280} (1987) 644.
2649: %%CITATION = NUPHA,B280,644;%%
2650: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2651: %\cite{Bajnok:1992nj}
2652: \bibitem{Bajnok:1992nj}
2653: Z.~Bajnok, L.~Palla and G.~Takacs,
2654: A(2) Toda theory in reduced WZNW framework and the representations of the W
2655: algebra,
2656: Nucl.\ Phys.\ B {\bf 385}, 329 (1992)
2657: [arXiv:hep-th/9206075].
2658: %%CITATION = NUPHA,B385,329;%%
2659: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2660: %\cite{Bowcock:1992gt}
2661: \bibitem{Bowcock:1992gt}
2662: P.~Bowcock and G.~M.~T.~Watts,
2663: Null vectors of the W(3) algebra,
2664: Phys.\ Lett.\ B {\bf 297}, 282 (1992)
2665: [arXiv:hep-th/9209105].
2666: %%CITATION = PHLTA,B297,282;%%
2667: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2668: %\cite{Fateev:2000ik}
2669: \bibitem{Fateev:2000ik}
2670: V.~Fateev, A.~B.~Zamolodchikov and A.~B.~Zamolodchikov,
2671: Boundary Liouville field theory. I: Boundary state and boundary
2672: two-point function,
2673: arXiv:hep-th/0001012.
2674: %%CITATION = HEP-TH 0001012;%%
2675: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2676: %\cite{Seiberg:1990eb}
2677: \bibitem{Seiberg:1990eb}
2678: N.~Seiberg,
2679: Notes on quantum Liouville theory and quantum gravity,
2680: Prog.\ Theor.\ Phys.\ Suppl.\ {\bf 102} (1990) 319.
2681: %%CITATION = PTPSA,102,319;%%
2682: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2683: \bibitem{Zograf}
2684: P.~Zograf and L.~Takhtajan,
2685: Action of the Liouville equation is a generating function for the accessory parameters and the potential of the Weil-Petersson metric on the Teichm\"uller space,
2686: Funct.\ Anal.\ Appl. \textbf{19} (1986) 219.
2687: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2688: %\cite{Olshanetsky:1981dk}
2689: \bibitem{Olshanetsky:1981dk}
2690: M.~A.~Olshanetsky and A.~M.~Perelomov,
2691: Classical integrable finite dimensional systems related to
2692: Lie algebras,
2693: Phys.\ Rept.\ {\bf 71}, 313 (1981).
2694: %%CITATION = PRPLC,71,313;%%
2695: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2696: \bibitem{Kostant}
2697: B.~Kostant,
2698: The Solution to a Generalized Toda Lattice and Representation Theory, Adv.\ in Math.\ {\bf34}, 195 (1979).
2699: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2700: %\cite{Kharchev:2000ug}
2701: \bibitem{Kharchev:2000ug}
2702: S.~Kharchev and D.~Lebedev,
2703: Eigenfunctions of $GL(N,R)$ Toda chain: The Mellin-Barnes
2704: representation,
2705: Pisma Zh.\ Eksp.\ Teor.\ Fiz.\ {\bf 71}, 338 (2000)
2706: [JETP Lett.\ {\bf 71}, 235 (2000)]
2707: [arXiv:hep-th/0004065].
2708: %%CITATION = HEP-TH 0004065;%%
2709: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2710: %\cite{Stade:1990}
2711: \bibitem{Stade:1990}
2712: E.~Stade, On explicit integral formulas for $\mathfrak{gl}(n)$
2713: Whittaker functions,
2714: Duke.\ Math.\ J. {\bf 60}, 313 (1990).
2715: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2716: \bibitem{Takh-Vin}
2717: L.~Takhtajan and A.~Vinogradov, Theory of the Eisenstein series for the group $SL(3,R)$ and its application to the binary problem I, Notes of the LOMI seminars, \textbf{76} 5 (1978).
2718: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2719: %\cite{Stade:1993}
2720: \bibitem{Stade:1993}
2721: E.~Stade, Hypergeometric series and Euler factor at infinity for
2722: $L$-functions on $\mathfrak{gl}(3)\times
2723: \mathfrak{gl}(3)$,
2724: Am.\ J.\ Math {\bf 115}, 371 (1993).
2725: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2726: %\cite{Stade:2002}
2727: \bibitem{Stade:2002}
2728: E.~Stade, Archimedean $L$-factor on
2729: $\mathfrak{gl}(n)\times\mathfrak{gl}(n)$ and generalized Barnes
2730: integrals,
2731: Isr.\ J.\ Math {\bf 127}, 201 (2002).
2732: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2733: %\cite{Baseilhac:1998eq}
2734: \bibitem{Baseilhac:1998eq}
2735: P.~Baseilhac and V.~A.~Fateev,
2736: Expectation values of local fields for a two-parameter family of
2737: integrable models and related perturbed conformal field theories,
2738: Nucl.\ Phys.\ B {\bf 532} (1998) 567
2739: [arXiv:hep-th/9906010].
2740: %%CITATION = HEP-TH 9906010;%%
2741: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2742: \end{thebibliography}
2743: \end{document}
2744: