1: \documentclass[hyper]{JHEP3}
2: \usepackage{amsmath,amssymb,amsfonts,epic,epsfig,psfrag,simplewick,time}
3: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4: \DeclareMathAlphabet{\mathW}{OT1}{pnc}{m}{n}
5: \DeclareMathAlphabet{\mathsfsl}{OMS}{pplcm}{b}{n}
6: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7: \author{V.~A.~Fateev$^{1,2}$ and A.~V.~Litvinov$^{1,3}$\\
8: $^1$~Landau Institute for Theoretical Physics, 142432 Chernogolovka, Russia.\\
9: $^2$~Laboratoire de Physique Th\'eorique et Astroparticules, UMR5207 CNRS-UM2, Universit\'e
10: Montpellier~II, Pl.~E.~Bataillon, 34095 Montpellier, France\\
11: $^3$~NHETC, Department of Physics and Astronomy, Rutgers University,\\ Piscataway, NJ 08855-0849, USA,\\
12: E-mail: \email{Vladimir.FATEEV@lpta.univ-montp2.fr},\email{litvinov@itp.ac.ru}}
13: \abstract{This is the second part of the paper \cite{Fateev:2007ab}. Here we show that three-point correlation function with one semi-degenerate field in Toda field theory as well as four-point correlation function with one completely degenerate and one semi-degenerate field can be represented by the finite dimensional integrals.}
14: %\JHEP{00(2007)000}
15: \title{Correlation functions in conformal Toda field theory II}
16: \preprint{PTA/051\\RUNHETC-2008-16}
17: \dedicated{To the memory of Alyosha Zamolodchikov}
18: \keywords{Integrable Field Theories, Conformal and W Symmetry}
19: %\received{\today}
20: %\accepted{\today}
21: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
22: \begin{document}
23: \section{Introduction}
24: In this paper we continue our study of conformal field theories with extended symmetry which was started in the papers \cite{Fateev:2007ab,Fateev:2005gs} where $\mathfrak{sl}(n)$ Toda field theory was considered. This theory is given by the Lagrangian density
25: \begin{equation}\label{Lagrangian}
26: \mathcal{L}=\frac{1}{8\pi}(\partial_a\varphi)^2+
27: \mu\sum_{k=1}^{n-1} e^{b(e_k,\varphi)},
28: \end{equation}
29: 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)$. Quantum field theory defined by the Lagrangian \eqref{Lagrangian} is known to be conformally invariant theory with additional symmetry ($W$-symmetry) generated by higher spin currents. Namely, there are $(n-1)$ holomorphic currents $\mathbf{W^{k}}(z)$ which form closed $\mathW{W_n}$ algebra\footnote{There are different possible choices of the basis of holomorphic currents. In the paper \cite{Fateev:1987zh} this basis was defined from the Miura transformation, the advantage of this basis is that all commutation relations are bilinear. In some cases it is more convenient to have currents defined in such a way that they are primary with respect to stress-energy tensor. However this basis is not unique and some freedom in definition of higher currents is still remains. This freedom has to be fixed by additional requirements \cite{Bauer:1991ai}.}, which contains as subalgebra the Virasoro algebra with the central charge
30: \begin{equation}
31: c=n-1+12Q^2=(n-1)(1+n(n+1)(b+b^{-1})^2).
32: \end{equation}
33: Basic objects of conformal Toda field theory are the exponential fields parameterized by a $(n-1)$ component vector parameter $\alpha$
34: \begin{equation}\label{field}
35: V_{\alpha}=e^{(\alpha,\varphi)},
36: \end{equation}
37: which are the spinless primary fields. Important property of conformal Toda field theory is that two fields $V_{\alpha}$ and $V_{Q+\hat{s}(\alpha-Q)}$, where $\hat{s}$ is the element of Weyl group of the Lie algebra $\mathfrak{sl}(3)$ represent the same quantum field:
38: \begin{equation}\label{R_s}
39: V_{Q+\hat{s}(\alpha-Q)}=R_{\hat{s}}(\alpha)V_{\alpha}\,,
40: \end{equation}
41: where $R_{\hat{s}}(\alpha)$ is the reflection amplitude, which was found in \cite{Fateev:2001mj}
42: \begin{equation}\label{ReflAmp}
43: \begin{gathered}
44: R_{\hat{s}}(\alpha)=A(\alpha)/A(Q+\hat{s}(\alpha-Q)),\\
45: A(\alpha)=(\pi\mu\gamma(b^2))^{\frac{(\alpha-Q,\rho)}{b}}
46: \prod_{e>0}\Gamma(1-b(\alpha-Q,e))
47: \Gamma(-b^{-1}(\alpha-Q,e)).
48: \end{gathered}
49: \end{equation}
50: In eq \eqref{ReflAmp} the product goes over all positive roots. Other fields in the theory appear in the operator product of primary fields \eqref{field} with holomorphic currents $\mathbf{W^{k}}(z)$ and called descendant fields. Most important problem in conformal Toda field theory is to constract the whole set of multipoint correlation functions (of primary fields as well as of descendant fields). In order to solve this problem using the ideas of the operator algebra one has to find its structure constants of operator product expansion. In CFT with only Virasoro symmetry the properties of the operator algebra are significantly simplified and structure constants containing descendant fields can be obtained from the structure constants containing only primary fields \cite{Belavin:1984vu}. From this fact it follows immediately that in order to solve the theory completely one has to find structure constants for primary fields only or what is the same to find three-point correlation functions of primary fields. This statement in general is no longer true for the theories with additional symmetries ($\mathfrak{sl}(n)$ Toda field theory with $n>2$ for example), however it is still important problem to find three-point correlation functions of primary fields in these theories. Three-point function has universal coordinate behavior
51: \begin{equation}\label{Ctotal}
52: \langle V_{\alpha_1}(z_1,\bar{z}_1)
53: V_{\alpha_2}(z_2,\bar{z}_2)V_{\alpha_3}(z_3,\bar{z}_3)\rangle=\frac
54: {C(\alpha_1,\alpha_2,\alpha_3)}
55: {\vert z_{12}\vert^{2(\Delta_1+\Delta_2-\Delta_3)}
56: \vert z_{13}\vert^{2(\Delta_1+\Delta_3-\Delta_2)}
57: \vert z_{23}\vert^{2(\Delta_2+\Delta_3-\Delta_1)}}.
58: \end{equation}
59: Non-trivial component of \eqref{Ctotal} is constant $C(\alpha_1,\alpha_2,\alpha_3)$ which supposed to be very complicated function of parameters $\alpha_k$. It was shown in refs \cite{Fateev:2007ab,Fateev:2005gs} that function $C(\alpha_1,\alpha_2,\alpha_3)$ has clear analytical structure and can be expressed in terms of $\Upsilon$-function which was defined in \cite{Zamolodchikov:1995aa} by the integral representation
60: \begin{equation}
61: \log\Upsilon(x)=\int_{0}^{\infty}\frac{dt}{t}
62: \left[\left(\frac{b+b^{-1}}{2}-x\right)^2e^{-t}-\frac
63: {\sinh^2\left(\frac{b+b^{-1}}{2}-x\right)\frac{t}{2}}
64: {\sinh\frac{bt}{2}\sinh\frac{t}{2b}}
65: \right],
66: \end{equation}
67: if one of the parameters $\alpha_k$ takes the special values (so called semi-degenerate fields). For example, if (up to Weyl transformation)
68: \begin{equation}
69: \alpha_3=\varkappa\omega_{n-1}\qquad(\text{or}\quad\alpha_3=\varkappa\omega_{1}),
70: \end{equation}
71: where $\omega_{n-1}$ is the last fundamental weight of $\mathfrak{sl}(n)$ and $\varkappa$ is some numerical constant, then function $C(\alpha_1,\alpha_2,\varkappa\omega_{n-1})$ is given by the simple expression
72: \begin{multline}\label{C}
73: C(\alpha_1,\alpha_2,\varkappa\omega_{n-1})=
74: \left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^
75: {\frac{(2Q-\sum\alpha_i,\rho)}{b}}\times\\\times
76: \frac{\left(\Upsilon(b)\right)^{n-1}\Upsilon(\varkappa)
77: \prod\limits_{e>0}\Upsilon\Bigl((Q-\alpha_1,e)\Bigr)
78: \Upsilon\Bigl((Q-\alpha_2,e)\Bigr)}
79: {\prod\limits_{ij}\Upsilon\Bigl(\frac{\varkappa}{n}+
80: (\alpha_1-Q,h_i)+(\alpha_2-Q,h_j)\Bigr)}.
81: \end{multline}
82: The product in the numerator runs over all positive roots and in the denominator over the weights $h_k$ of the first fundamental representation $\pi_1$ of the Lie algebra $\mathfrak{sl}(n)$ with the highest weight $\omega_{1}$ (first fundamental weight)
83: \begin{equation}
84: h_{k}=\omega_{1}-e_{1}-\dots-e_{k-1}.
85: \end{equation}
86: The same is true for $\alpha_3=\varkappa\omega_1$, in this case expression for three-point correlation function is given by \eqref{C} but with $h_k\rightarrow -h_{k}$. More general structure constants have rather complicated analytical structure and are not known at the moment in general form. In the paper \cite{Fateev:2007ab} we also considered three-point correlation function \eqref{Ctotal} in semiclassical limit $b\rightarrow0$ with
87: "light" parameters
88: \begin{equation}
89: \alpha_k=b\eta_k,
90: \end{equation}
91: and in minisuperspace approximation with
92: \begin{equation}
93: \alpha_1=Q+ibP_1,\qquad\alpha_2=Q+ibP_2\quad\text{and}\quad\alpha_3=bs.
94: \end{equation}
95: In both cases we showed that three-point correlation function can be expressed in terms of finite-dimensional Barnes-like integral. It was shown that if one of the fields is semi-degenerate then in both cases these integrals can be performed. In this paper we describe more general structure constants which can be written in terms of finite dimensional Coulomb-like integrals. For simplicity we consider $\mathfrak{sl}(3)$ case. We find structure constant with arbitrary $\alpha_1$ and $\alpha_2$ and with $\alpha_3=\varkappa\omega_2-mb\omega_1$ corresponding to semi-degenerate field where $m$ is non-negative integer number\footnote{The representation of the $W$-algebra corresponding to the semi-degenerate field with parameters $\alpha_3=\varkappa\omega_2-mb\omega_1$ contains only one null-vector at the level $m+1$ contrary to the completely degenerate field (see below) which contains at least two independent null-vectors in the corresponding representation.} and show that this three-point correlation function can be written in terms of Coulomb integral of dimension $4m$.
96:
97: Another interesting object is four-point correlation function with one completely degenerate field (the simplest completely degenerate field is $V_{-b\omega_1}$)
98: \begin{equation}\label{4point-definition}
99: \langle V_{-b\omega_1}(z,\bar{z})V_{\alpha_1}(z_1,\bar{z}_1)
100: V_{\alpha_2}(z_2,\bar{z}_2)V_{\alpha_3}(z_3,\bar{z}_3)\rangle.
101: \end{equation}
102: Contrary to the $\mathfrak{sl}(2)$ case this function does not satisfy Fuchsian differential equation of the order $n$ \cite{Fateev:2005gs,Bowcock:1993wq} and it seems that it cannot be a solution of Fuchsian differential equation of any finite order. This obstruction is a principal difference between Liouville and Toda field theories. The point is that $W$-conformal block is not fixed completely by $W$-invariance contrary to Liouville case. In the paper \cite{Fateev:2007ab} we considered Toda field theory in semiclassical limit $b\rightarrow0$ with "heavy" parameters
103: \begin{equation}
104: \alpha_k=\frac{\eta_k}{b}.
105: \end{equation}
106: In this case semiclassical limit of four-point correlation function \eqref{4point-definition} satisfies differential equation of the order $n$ but this equation contains accessory parameters which have to be determined from the condition that four-point correlation function is single-valued. This condition gives transcendent equations for these parameters. Numerical analysis which was done for $\mathfrak{sl}(3)$ case in the collaboration with Enrico Onofri and will be published elsewhere shows that solution to these equations is unique only in special domain of parameters $\eta_1$, $\eta_2$ and $\eta_3$ (see ref \cite{Fateev:2007ab}). In this paper we show that in $\mathfrak{sl}(3)$ case if one of the fields is semi-degenerate (for example $\alpha_3=\varkappa\omega_2-mb\omega_1$)
107: then quantum four-point correlation function can be expressed in terms of $(4m+4)$-dimensional Coulomb integral. For $m=0$ this integral is a solution of differential equation of the third order which is related with higher hypergeometric equation and can be expressed in terms of hypergeometric function $_3F(x)_2$ \cite{Fateev:2007ab}.
108:
109: The plan of the paper is as follows. In section \ref{SL3-Lagrangian} we define basic notations concerning $\mathfrak{sl}(3)$ Toda field theory. In section \ref{3xtochka} we consider three-point correlation function and derive integral representation in the case when one of the fields is semi-degenerate (see eq \eqref{C-m}). We also prove identities for structure constants with degenerate fields announced in \cite{Fateev:2007ab}. In section \ref{4xtochka} we consider four-point correlation function with one degenerate field and one semi-degenerate field and also derive integral representation for this function (eq \eqref{4point-final}). In section \ref{Conclusion} we make concluding remarks and in the appendices we collect useful integral identities used in this paper.
110: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
111: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
112: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
113: \section{$\mathfrak{sl}(3)$ Toda field theory}\label{SL3-Lagrangian}
114: In this section and further in this paper we will consider $\mathfrak{sl}(3)$ Toda field theory. This theory on a surface with metric $\hat{g}_{ab}$ is described by the action
115: \begin{equation}\label{SL3_Action}
116: S_{T}=\int\left(
117: \frac{1}{8\pi}\hat{g}^{ab}(\partial_a\varphi,\partial_b\varphi)+
118: \frac{(Q,\varphi)}{4\pi}\hat{R}+
119: \mu\sum_{k=1,2}e^{b(e_k,\varphi)}
120: \right)\sqrt{\hat{g}}\;d^2x,
121: \end{equation}
122: here $\hat{R}$ is the scalar curvature of the background metric, $\varphi$ is two-component quantum field $\varphi=(\varphi_1,\varphi_2)$. Vectors $e_1$ and $e_2$ are the simple roots with the matrix of scalar products $K_{ij}=(e_i,e_j)$:
123: \begin{equation}
124: K_{ij}=
125: \begin{pmatrix}
126: 2&-1\\
127: -1&2
128: \end{pmatrix}.
129: \end{equation}
130: Theory defined by the action \eqref{SL3_Action} can be viewed as a generalization of Liouville field theory widely considered in the literature due to its connection with strings in non-critical dimension \cite{Polyakov:1981rd}. Liouville field theory which is non-rational conformal field theory is governed by the Virasoro algebra. $\mathfrak{sl}(3)$ Toda field theory is governed by more involved symmetry algebra. Namely, the chiral part of the symmetry algebra of the theory contains two currents of the spin two and three
131: \begin{equation}\label{currents}
132: \mathbf{W^2}(z)=T(z)=
133: \sum_{n=-\infty}^{\infty}\frac{L_n}{z^{n+2}}\qquad
134: \text{and}\qquad
135: \mathbf{W^3}(z)=W(z)=
136: \sum_{n=-\infty}^{\infty}\frac{W_n}{z^{n+3}}.
137: \end{equation}
138: The Laurent componets $L_k$ and $W_k$ form closed Zamolodchikov's $\mathW{W_3}$ algebra with the commutation relations \cite{Zamolodchikov:1985wn,Fateev:1987vh}
139: \begin{subequations}\label{W3algebra}
140: \begin{equation}\label{LunderL}
141: \left[L_n,L_m\right]=(n-m)L_{n+m}+\frac{c}{12}(n^3-n)
142: \delta_{n,-m},
143: \end{equation}
144: \begin{equation}\label{WunderL}
145: \left[L_n,W_m\right]=(2n-m)W_{n+m},
146: \end{equation}
147: \begin{multline}\label{WunderW}
148: \left[W_n,W_m\right]=\frac{c}{3\cdot5!}(n^2-1)(n^2-4)n
149: \delta_{n,-m}+\frac{16}{22+5c}(n-m)\Lambda_{n+m}+\\+
150: (n-m)\left(\frac{1}{15}(n+m+2)(n+m+3)-\frac{1}{6}(n+2)(m+2)
151: \right)
152: L_{n+m},
153: \end{multline}
154: \end{subequations}
155: here
156: \begin{equation*}
157: \Lambda_n=\sum_{k=-\infty}^{\infty}:L_kL_{n-k}:+\frac{1}{5}x_n
158: L_n,
159: \end{equation*}
160: \begin{equation*}
161: x_{2l}=(1+l)(1-l)\qquad x_{2l+1}=(2+l)(1-l).
162: \end{equation*}
163: $\mathW{W_3}$ algebra defined by commutation relations \eqref{W3algebra} contains as subalgebra Virasoro algebra with central charge
164: \begin{equation}\label{C_T}
165: c=2+24\left(b+\frac{1}{b}\right)^2.
166: \end{equation}
167: Primary fields of the theory $V_{\alpha}=e^{(\alpha,\varphi)}$ are the highest weight fields of $W$-algebra
168: \begin{equation}
169: L_0V_{\alpha}=\Delta(\alpha)V_{\alpha},\qquad W_0V_{\alpha}=w(\alpha)V_{\alpha},
170: \qquad L_{n}V_{\alpha}=W_{n}V_{\alpha}=0\qquad\text{for}\qquad n>0,
171: \end{equation}
172: where
173: \begin{subequations}
174: \begin{equation}\label{delta}
175: \Delta(\alpha)=\frac{(2Q-\alpha,\alpha)}{2}
176: \end{equation}
177: is the conformal dimension and
178: \begin{equation}\label{omega}
179: w(\alpha)=i\sqrt{\frac{48}{22+5c}}\;
180: (\alpha-Q,h_1)(\alpha-Q,h_2)(\alpha-Q,h_3)
181: \end{equation}
182: \end{subequations}
183: is the quantum number associated to the $W(z)$ current. Other generators of the algebra $L_{-n}$ and $W_{-n}$ with $n>0$ create new fields which called descendant fields. The quantum numbers \eqref{delta} and \eqref{omega} possess the symmetry under the action of the Weyl group $\mathsfsl{W}$ of the Lie algebra $\mathfrak{sl}(3)$ \cite{Fateev:1987zh}. This group is generated by the elements $\boldsymbol{\sigma_1}$ and $\boldsymbol{\sigma_2}$ which are reflections in the hyperplanes orthogonal to the simple roots $e_1$ and $e_2$
184: \begin{equation}\label{Sigma_k}
185: \begin{aligned}
186: &\boldsymbol{\sigma_1}(\alpha)=\alpha-(\alpha-Q,e_1)e_1,\\
187: &\boldsymbol{\sigma_2}(\alpha)=\alpha-(\alpha-Q,e_2)e_2.
188: \end{aligned}
189: \end{equation}
190:
191: Quantum field theory defined by action \eqref{SL3_Action} despite its wide symmetry algebra is still very complicated, but some information about correlation functions can be obtained from the "zero-mode integration method" developed in ref \cite{Goulian:1990qr}. To proceed we consider the geometry of a sphere and fix metric $\hat{g}_{ab}=\delta_{ab}$ everywhere except the north pole $z=\infty$ where the curvature will be collected. Correlation functions of exponential fields $V_{\alpha}$ are defined as follows
192: \begin{equation}\label{n-point-functional-integral}
193: \langle V_{\alpha_1}(z_1)\dots V_{\alpha_n}(z_n)\rangle_T=
194: \int\left[\mathcal{D}\varphi\right]e^{-S_T[\varphi]}e^{(\alpha_1,\varphi(z_1))}
195: \dots e^{(\alpha_n,\varphi(z_n))},
196: \end{equation}
197: where action is written in a fixed metric
198: \begin{equation}
199: S_T[\varphi]=\int
200: \left(\frac{1}{8\pi}(\partial_a\varphi)^2+\mu e^{b(e_1,\varphi)}+\mu e^{b(e_2,\varphi)}+
201: \frac{1}{4\pi}R(Q,\varphi)\right)
202: d^2\xi.
203: \end{equation}
204: We define the components $\varphi_1$ and $\varphi_2$ of the field $\varphi$ in the basis of fundamental weights $\omega_1$ and $\omega_2$ of the Lie algebra $\mathfrak{sl}(3)$
205: \begin{equation}
206: \varphi=\varphi_1\omega_1+\varphi_2\omega_2
207: \end{equation}
208: and change variables for the future convenience
209: \begin{equation}
210: \varphi_1=\phi\sqrt{3}-\Phi,\qquad \varphi_2=2\Phi.
211: \end{equation}
212: Our goal is to make integration in correlation function \eqref{n-point-functional-integral} over zero-mode $\phi_0$ of the field $\phi$
213: \begin{equation}
214: \phi=\phi_0+\tilde{\phi}.
215: \end{equation}
216: As a result of integration we obtain
217: \begin{multline}\label{n-point-after-GL}
218: \langle V_{\alpha_1}(z_1)\dots V_{\alpha_n}(z_n)\rangle_T=
219: \frac{\mu^s\Gamma(-s)}{b}\times\\
220: \int e^{-S_L[\Phi]}e^{-S_0[\tilde{\phi}]}
221: \left(\int e^{b\sqrt{3}\tilde{\phi}-b\Phi}\right)^s
222: e^{(\alpha_1,e_2)\Phi(z_1)+(\alpha_1,\omega_1)\sqrt{3}\tilde{\phi}(z_1)}\hspace{-2.51pt}
223: \dots e^{(\alpha_n,e_2)\Phi(z_n)+(\alpha_n,\omega_1)\sqrt{3}\tilde{\phi}(z_n)},
224: \end{multline}
225: where
226: \begin{equation}
227: s=\frac{(2Q-\sum\alpha_k,\omega_1)}{b}.
228: \end{equation}
229: In eq \eqref{n-point-after-GL}
230: \begin{equation}\label{Liouville-action}
231: S_L[\Phi]=\int\left(\frac{1}{4\pi}(\partial_a\Phi)^2+
232: \mu e^{2b\Phi}+\frac{1}{4\pi}(b+b^{-1})\Phi R\right)d^2\xi
233: \end{equation}
234: is Liouville action with central charge
235: \begin{equation}\label{QL}
236: c_L=1+6Q_L^2
237: \end{equation}
238: where $Q_L=b+b^{-1}$ and
239: \begin{equation}\label{Free-action}
240: S_0[\tilde{\phi}]=\int\left(\frac{1}{4\pi}(\partial_a\tilde{\phi})^2+
241: \frac{\sqrt{3}}{4\pi}(b+b^{-1})\tilde{\phi}R\right)d^2\xi
242: \end{equation}
243: is free action with central charge $c_{\text{\tiny{FREE}}}=1+18Q_L^2$. Equality \eqref{n-point-after-GL} has no clear meaning if parameter $s$ is general, but for integer values of $s$ it relates residue of correlation function in Toda field theory with multiple integral containing special correlation function in Liouville field theory
244: \begin{multline}\label{Toda-Liouville-GL-relation}
245: \text{Res}\Bigl|_{s=m}\langle V_{\alpha_1}(z_1)\dots V_{\alpha_n}(z_n)\rangle_T=(-\pi\mu)^m
246: \prod_{i<j}^n|z_i-z_j|^{-3(\alpha_i,\omega_1)(\alpha_j,\omega_1)}\times\\
247: \hspace*{-2.9pt}\int\prod_{i,j}^{m,n}|t_i-z_j|^{-3b(\alpha_j,\omega_1)}\prod_{i<j}^m|t_i-t_j|^{-3b^2}
248: \hspace*{-2pt}\langle V_{-\frac{b}{2}}(t_1)...V_{-\frac{b}{2}}(t_m)
249: V_{\frac{(\alpha_1,e_2)}{2}}(z_1)...V_{\frac{(\alpha_n,e_2)}{2}}(z_n)\rangle_L
250: d\mu_m(t),
251: \end{multline}
252: where
253: \begin{equation}\label{dmu}
254: d\mu_m(t)=\frac{1}{\pi^mm!}\prod_{j=1}^md^2t_j.
255: \end{equation}
256: Deriving equation \eqref{Toda-Liouville-GL-relation} we calculated the part of correlation function coming from the free theory with the action \eqref{Free-action} using standart Wick rules
257: \begin{equation}
258: \acontraction{}{\phi}{(x)}{\phi}
259: \phi(x)\phi(y)=-\log|x-y|.
260: \end{equation}
261: The non-trivial part of correlation function in the r.h.s. of \eqref{Toda-Liouville-GL-relation} labeled as $\langle\dots\rangle_L$ is calculated in the theory with Liouville action \eqref{Liouville-action}\footnote{Here we use a little bit missleading notations for the Liouville exponential fields. Namely, we define exponential field as $V_{\alpha}(z)=e^{2\alpha\Phi(z)}$ with conformal dimension $\Delta=\alpha(Q_L-\alpha)$ with $Q_L$ given by \eqref{QL}.}.
262:
263: Integral relation \eqref{Toda-Liouville-GL-relation} will be widely used in the following calculations for the case of three-point function. In this case in the r.h.s. of \eqref{Toda-Liouville-GL-relation} we have Liouville correlation function with three arbitrary and $m$-degenerate fields. Such correlation function was studied in ref \cite{Fateev:2007qn} where the explicit integral representation for this correlation function was derived:
264: \begin{multline}\label{m-point}
265: \langle V_{-\frac{b}{2}}(t_1)\dots
266: V_{-\frac{b}{2}}(t_m)V_{\frac{(\alpha_1,e_2)}{2}}(0)V_{\frac{(\alpha_2,e_2)}{2}}(1)
267: V_{\frac{(\alpha_3,e_2)}{2}}(\infty)\rangle_L=\\=
268: \Omega_m\left(\frac{(\alpha_1,e_2)}{2},\frac{(\alpha_2,e_2)}{2},\frac{(\alpha_3,e_2)}{2}\right)
269: \prod_{k=1}^m\vert t_k\vert^{b(\alpha_1,e_2)}\vert t_k-1\vert^{b(\alpha_2,e_2)}
270: \prod_{i<j}|t_i-t_j|^{-b^2}\times\\\times
271: \int\prod_{k=1}^m\vert s_k\vert^{2A}\vert s_k-1\vert^{2B}K_m^{\boldsymbol{\Delta}}(s_1,..,s_m|t_1,..,t_m)
272: \prod_{i<j}|s_i-s_j|^{-4b^2}\,d\mu_m(s)
273: \end{multline}
274: where
275: \begin{equation}\label{A-B-Delta}
276: \begin{gathered}
277: A=\frac{b}{2}\left((\alpha_2+\alpha_3-\alpha_1,e_2)+(m-2)b\right)-1,\quad
278: B=\frac{b}{2}\left((\alpha_1+\alpha_2-\alpha_2,e_2)+(m-2)b\right)-1,\\
279: \boldsymbol{\Delta}=\frac{b}{2}\left((\alpha_1+\alpha_2+\alpha_3,e_2)+(m-4)b\right)-1,
280: \end{gathered}
281: \end{equation}
282: and normalization factor $\Omega_m(\lambda_1,\lambda_2,\lambda_3)$ is given by
283: \begin{multline}\label{O_m}
284: \Omega_m(\lambda_1,\lambda_2,\lambda_3)=
285: (-\pi\mu)^m
286: \Bigl[\pi\mu\gamma(b^2)b^{2-2b^2}\Bigr]^{\frac{(Q-\lambda-mb/2)}{b}}\times\\\times
287: \frac{\Upsilon'(-mb)\prod_{k=1}^3\Upsilon(2\lambda_k)}
288: {\Upsilon(\lambda-Q-\frac{mb}{2})\prod_{k=1}^3\Upsilon(\lambda-2\lambda_k+\frac{mb}{2})},
289: \end{multline}
290: where $\lambda=\sum\lambda_k$. Function $K_m^{\boldsymbol{\Delta}}(s_1,..,s_m|t_1,..,t_m)$ was defined in the paper \cite{Fateev:2007qn} (see also definition of this function in the appendix \ref{Kernel}). Finally we obtain that
291: \begin{multline}
292: \text{Res}\Bigl|_{(2Q-\alpha,\omega_1)=mb}
293: \langle V_{\alpha_1}(0)V_{\alpha_2}(1)V_{\alpha_3}(\infty)\rangle_T=\\=
294: (-\pi\mu)^{m}\,
295: \Omega_m\left(\frac{(\alpha_1,e_2)}{2},\frac{(\alpha_2,e_2)}{2},\frac{(\alpha_3,e_2)}{2}\right)
296: \mathfrak{I}_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\right),
297: \end{multline}
298: were function $\mathfrak{I}_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\right)$
299: defined by the integral \eqref{5-parametric-integral}, parameters $A$, $B$ and $\boldsymbol{\Delta}$ are given by eq \eqref{A-B-Delta} and parameters $A'$ and $B'$ are given by
300: \begin{equation}
301: A'=-b(\alpha_1,e_1),\;\;B'=-b(\alpha_2,e_1).
302: \end{equation}
303:
304: Before proceed let us say few words about the structure of poles of correlation functions in TFT.
305: Namely, performing integration over zero-mode of the field $\varphi$ one gets that any multipoint correlation function of primary fields $\langle V_{\alpha_1}(z_1)\dots V_{\alpha_N}(z_N)\rangle$
306: exhibits a simple pole in variable $\alpha=\alpha_1+\dots+\alpha_N$ for the values
307: \begin{equation}\label{Scr-cond}
308: (\alpha-2Q,\omega_1)=-mb\quad\text{or}\quad(\alpha-2Q,\omega_2)=-nb.
309: \end{equation}
310: Non-negative integer numbers $m$ and $n$ are called "the numbers of screening charges". If both conditions are satisfied the residue in the double pole\footnote{When both screening conditions \eqref{Scr-cond} are satisfied the correlation function has a poles in variables $(\alpha-2Q,\omega_1)$ and $(\alpha-2Q,\omega_2)$.} can be expressed in terms of free-field correlation functions
311: \begin{multline}\label{GoulLieFormula}
312: \text{Res}_{(\alpha-2Q,\omega_1)=-mb}\text{Res}_{(\alpha-2Q,\omega_2)=-nb}
313: \langle V_{\alpha_1}(z_1)\dots V_{\alpha_N}(z_N)\rangle_T=\\=
314: \frac{(-\mu)^{m+n}}{m!\,n!}
315: \langle V_{\alpha_1}(z_1)\dots V_{\alpha_N}(z_N)\mathcal{Q}_1^{m}\mathcal{Q}_{2}^{n}\rangle_0.
316: \end{multline}
317: In eq \eqref{GoulLieFormula} we have introduced notations for the so called screening charges
318: \begin{equation}\label{screening}
319: \mathcal{Q}_{k}=\int e^{b(e_k,\varphi_k)}d^2\xi,\;\;k=1,2.
320: \end{equation}
321: In principle, due to symmetry of the theory under the change $b\rightarrow\frac{1}{b}$ correlation function $\langle V_{\alpha_1}(z_1)\dots V_{\alpha_N}(z_N)\rangle$ has poles in more general points
322: \begin{equation}\label{general-poles}
323: (\alpha-2Q,\omega_1)=-mb-kb^{-1},\qquad (\alpha-2Q,\omega_2)=-nb-lb^{-1}.
324: \end{equation}
325: where non-negative integer numbers $k$ and $l$ represent the numbers of dual screening charges
326: \begin{equation}\label{dual-screening}
327: \tilde{\mathcal{Q}}_{k}=\int e^{b^{-1}(e_k,\varphi_k)}d^2\xi,\;\;k=1,2.
328: \end{equation}
329: This symmetry is a deep property of the theory originating from the fact that central charge \eqref{C_T} as well as quantum numbers of primary field \eqref{delta} and \eqref{omega} posses it.
330: In fact the theory is symmetric under the change $b\rightarrow\frac{1}{b}$ and cosmological constant $\mu$ being replaced with
331: \begin{equation}
332: \tilde{\mu}=\frac{1}{\pi\gamma(1/b^2)}\left(
333: \pi\mu\gamma(b^2)\right)^{1/b^2}.
334: \end{equation}
335: This symmetry can be verified in all cases when the exact answer is known. Poles \eqref{general-poles} are not predicted from the classical Lagrangian description of the theory. Residue in the poles with $k$ and $l$ being both non-negative integers can be expressed in terms of more general Coulomb integrals which are more involved and usually defined by the contour integrals (see \cite{Dotsenko:1984nm,Dotsenko:1984ad}). Below to simplify the equations we will consider only the poles of the type \eqref{Scr-cond}.
336: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
337: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
338: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
339: \section{Three-point correlation function}\label{3xtochka}
340: Now let us consider first non-trivial case -- three-point correlation function \eqref{Ctotal}
341: \begin{equation}\label{3point}
342: \langle V_{\alpha_1}(0)V_{\alpha_2}(1)V_{\alpha_3}(\infty)\rangle_T=C(\alpha_1,\alpha_2,\alpha_3).
343: \end{equation}
344: This function has simple poles when one of the conditions \eqref{general-poles} is satisfied.
345: It is natural to suppose, that these poles are the only simple poles of this function modulo Weyl transformation. For the future convenience we define a new function
346: \begin{multline}\label{C-improved}
347: \mathfrak{C}(\alpha_1,\alpha_2,\alpha_3)=\\=
348: \left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^{\frac{(\sum\alpha_i-2Q,\rho)}{b}}
349: \frac{C(\alpha_1,\alpha_2,\alpha_3)}
350: {\prod_{e>0}\Upsilon\bigl((Q-\alpha_1,e)\bigr)\Upsilon\bigl((Q-\alpha_2,e)\bigr)
351: \Upsilon\bigl((Q-\alpha_3,e)\bigr)}.
352: \end{multline}
353: We note that function
354: \begin{equation}
355: Y(\alpha)=
356: \left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^{\frac{(-\alpha,\rho)}{b}}
357: \prod_{e>0}\Upsilon\bigl((Q-\alpha,e)
358: \end{equation}
359: satisfies reflection relations \eqref{R_s}
360: \begin{equation}
361: Y(Q+\hat{s}(\alpha-Q))=R_{\hat{s}}(\alpha)Y(\alpha),
362: \end{equation}
363: where $R_{\hat{s}}(\alpha)$ is given by \eqref{ReflAmp} for $\mathfrak{sl}(3)$.
364:
365: Function $\mathfrak{C}(\alpha_1,\alpha_2,\alpha_3)$ is symmetric and Weyl invariant function of variables $\alpha_1$, $\alpha_2$ and $\alpha_3$ which does not depend on cosmological constant $\mu$. It satisfies non-trivial functional relations (see appendix \ref{App-Integrals} for proof)
366: \begin{subequations}\label{Transformation2}
367: \begin{equation}
368: \mathfrak{C}(\alpha_1,\alpha_2,\alpha_3)=
369: \mathfrak{C}(\tilde{\alpha_1},\tilde{\alpha_2},\tilde{\alpha_3}),
370: \end{equation}
371: where
372: \begin{equation}\label{Transformation2.1}
373: \tilde{\alpha_1}=\alpha_1-\varsigma_{ijk}h_i,\qquad
374: \tilde{\alpha_2}=\alpha_2-\varsigma_{ijk}h_j,\qquad
375: \tilde{\alpha_3}=\alpha_3-\varsigma_{ijk}h_k
376: \end{equation}
377: with
378: \begin{equation}\label{sigma_{ijk}}
379: \varsigma_{ijk}=(\alpha_1-Q,h_i)+(\alpha_2-Q,h_j)+(\alpha_3-Q,h_k),
380: \end{equation}
381: \end{subequations}
382: where $h_i$ are the weights of the first fundamental representation of Lie algebra $\mathfrak{sl}(3)$.
383: These relations allow us to simplify three-point correlation function in many cases. In particular, starting from the function
384: \begin{equation}
385: \mathfrak{C}(\alpha_1,\alpha_2,\varkappa\omega_2-mb\omega_1+\varepsilon\omega_1),
386: \end{equation}
387: where $\varepsilon$ is some infinitesimal number and applying transformation \eqref{Transformation2} with $i=1$, $j=1$ and $k=2$ we obtain that
388: \begin{equation}
389: \mathfrak{C}(\alpha_1,\alpha_2,\varkappa\omega_2-mb\omega_1+\varepsilon\omega_1)=
390: \mathfrak{C}(\tilde{\alpha}_1,\tilde{\alpha}_2,\tilde{\alpha_3}),
391: \end{equation}
392: where
393: \begin{equation}\label{tilde(alpha_k)-1}
394: \begin{aligned}
395: &\tilde{\alpha}_1=\alpha_1-\left((\alpha_1-Q,h_1)+(\alpha_2-Q,h_1)+
396: \frac{(\varkappa+mb-\varepsilon)}{3}\right)h_1,\\
397: &\tilde{\alpha}_2=\alpha_2-\left((\alpha_1-Q,h_1)+(\alpha_2-Q,h_1)+
398: \frac{(\varkappa+mb-\varepsilon)}{3}\right)h_1,\\
399: &\tilde{\alpha}_3=\varkappa\omega_2-mb\omega_1+\varepsilon\omega_1
400: -\left((\alpha_1-Q,h_1)+(\alpha_2-Q,h_1)+\frac{(\varkappa+mb-\varepsilon)}{3}\right)h_2.
401: \end{aligned}
402: \end{equation}
403: One can easily check that in the limit $\varepsilon\rightarrow0$
404: \begin{equation}
405: (\tilde{\alpha_1}+\tilde{\alpha_2}+\tilde{\alpha_3}-2Q,\omega_1)=-mb,
406: \end{equation}
407: so we meet the situation which is described by eq \eqref{Toda-Liouville-GL-relation}, i.e. function $\mathfrak{C}(\tilde{\alpha}_1,\tilde{\alpha}_2,\tilde{\alpha_3})$ with $\tilde{\alpha}_k$ given by \eqref{tilde(alpha_k)-1} has a pole with residue expressed in terms of integral with Liouville correlation function containing $m$ degenerate fields.
408: From the other side function $\mathfrak{C}(\alpha_1,\alpha_2,\varkappa\omega_2-mb\omega_1+\varepsilon\omega_1)$ due to the factor $\Upsilon^{-1}((Q-\alpha_3,e_1))$ also has a pole at $\varepsilon\rightarrow0$
409: \begin{multline}
410: \mathfrak{C}(\alpha_1,\alpha_2,\varkappa\omega_2-mb\omega_1+\varepsilon\omega_1)=
411: \left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^
412: {\frac{(\alpha_1+\alpha_2+\varkappa\omega_2-mb\omega_1-2Q,\rho)}{b}}\times\\\times
413: \frac{1}{\varepsilon}\,
414: \frac{1}{\Upsilon'(-mb)}
415: \frac{C(\alpha_1,\alpha_2,\varkappa\omega_2-mb\omega_1)}
416: {\Upsilon(\varkappa)\Upsilon((m+2)b+2b^{-1}-\varkappa)\prod_{e>0}
417: \Upsilon\bigl((Q-\alpha_1,e)\bigr)\Upsilon\bigl((Q-\alpha_2,e)\bigr)}+O(1).
418: \end{multline}
419: Applying now eqs \eqref{Toda-Liouville-GL-relation}-\eqref{m-point} we obtain that correlation function with semi-degenerate field has a finite limit and can be expressed as
420: \begin{equation}\label{C-m}
421: C(\alpha_1,\alpha_2,\varkappa\omega_2-mb\omega_1)=\Xi_m(\alpha_1,\alpha_2|\varkappa)\,\,
422: \mathfrak{I}_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\right),
423: \end{equation}
424: where integral $\mathfrak{I}_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\right)$ is given by the eq \eqref{5-parametric-integral} with
425: \begin{equation}
426: A=\varrho_{32}^m,\;\;
427: B=\varrho_{23}^m,\;\;
428: A'=\varrho_{21}^m,\;\;
429: B'=\varrho_{12}^m,\;\;
430: \boldsymbol{\Delta}=1+\varrho_{22}^m,
431: \end{equation}
432: here parameters $\varrho_{ij}^m$ are given by
433: \begin{equation}\label{varrho_{ij}^m}
434: \varrho_{ij}^m=-1-b^2+b\left(\frac{\varkappa+mb}{3}+(\alpha_1-Q,h_i)+(\alpha_2-Q,h_j)\right),
435: \end{equation}
436: and numerical factor $\Xi_m(\alpha_1,\alpha_2|\varkappa)$ by
437: \begin{multline}\label{Xi-m}
438: \Xi_m(\alpha_1,\alpha_2|\varkappa)=(\pi\mu)^{2m}\left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^
439: {\frac{(2Q-\alpha_1-\alpha_2-\varkappa\omega_2-mb\omega_1,\rho)}{b}}\times\\\times
440: \frac{\Upsilon'(-mb)^2\Upsilon(\varkappa)\prod_{e>0}
441: \Upsilon\bigl((Q-\alpha_1,e)\bigr)\Upsilon\bigl((Q-\alpha_2,e)\bigr)}
442: {\prod_{ij}\Upsilon\Bigl(\frac{\varkappa+mb}{3}+(\alpha_1-Q,h_i)+(\alpha_2-Q,h_j)-mb\delta_{ij}\Bigr)}.
443: \end{multline}
444: Equation \eqref{C-m} is one of the main results of this paper. Using integral identities proved in the appendix \ref{Kernel} it can be shown that function $\mathfrak{I}_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\right)$ can be reduced to the Coulomb integral of dimension $4m$\footnote{For $m=1$ this integral was explicitly calculated in \cite{Fateev:2007ab}}.
445:
446: One of the important sets of fields in TFT is formed by 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}(3)$ and correspond to the value of the parameter $\alpha$ (up to Weyl transformation)
447: \begin{equation}\label{Completely_degenerate}
448: \alpha=-b\Omega_1-\frac{1}{b}\Omega_2.
449: \end{equation}
450: These fields form closed operator algebra and 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
451: \begin{equation}\label{Fusion_completely_degenerate}
452: V_{-b\Omega_1-b^{-1}\Omega_2}V_{\alpha}=
453: \sum_{s,p}C_{-b\Omega_1-b^{-1}\Omega_2,\alpha}^
454: {\alpha'_{sp}}
455: \left[V_{\alpha'_{sp}}\right],
456: \end{equation}
457: here by square brackets we denote the contribution of the descendant fields and introduce the parameter $\alpha'_{sp}$ as
458: \begin{equation}\label{Fusion_completely_degenerate-def}
459: \alpha'_{sp}=\alpha-bh_s^{\Omega_1}-b^{-1}h_p^{\Omega_2}.
460: \end{equation}
461: 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. For simplicity we consider the case $\Omega_2=0$. Then we define structure constants for the field $V_{-b\Omega_1}$ with $\Omega_1=mb\omega_1+nb\omega_2$ with arbitrary field $V_{\alpha}$
462: \begin{equation}\label{Structure_Constant_light}
463: \mathbb{C}_{m,\,n}^{k,\,l}(\alpha)=
464: C_{-mb\omega_1-nb\omega_2,\alpha}^{\alpha-bh_{mn}^{kl}}.
465: \end{equation}
466: where
467: \begin{equation}\label{h-mn-kl}
468: h_{mn}^{kl}=m\omega_1+n\omega_2-ke_1-le_2,
469: \end{equation}
470: and numbers $(k,l)$ lay inside a domain
471: \begin{equation}\label{Cond-nonzeros}
472: k\geq0;\;\;l\geq0;\;\;\;\;\;\;m+n\geq k;\;\;m+n\geq l;\;\;\;\;\;\;
473: n+k\geq l;\;\;m+l\geq k.
474: \end{equation}
475: This structure constant is given by the Coulomb integral
476: \begin{equation}
477: \mathbb{C}_{m,\,n}^{k,\,l}(\alpha)=(-\pi\mu)^{k+l}
478: \int\,
479: \mathcal{I}_{kl}
480: \left(\genfrac{}{}{0pt}{1}{-b(\alpha,e_1),\;\;-mg}{\hspace{-2pt}-b(\alpha,e_2),\;\;-ng}
481: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)\,d\mu_k(t)\,d\mu_l(s),
482: \end{equation}
483: here and later we will use the following notation for the integrand
484: \begin{equation}
485: \mathcal{I}_{kl}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1}{A_2,\;\;B_2}
486: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)=
487: \prod_{i=1}^k|t_i|^{2A_1}|t_i-1|^{2B_1}\mathcal{D}_k^{2g}(t)
488: \prod_{j=1}^l|s_j|^{2A_2}|s_j-1|^{2B_2}\mathcal{D}_l^{2g}(s)
489: \prod_{ij}|t_i-s_j|^{-2g},
490: \end{equation}
491: where $g=-b^2$, $d\mu_k(t)$ defined by eq \eqref{dmu} and
492: \begin{equation}
493: \mathcal{D}_k(t)=\prod_{i<j=1}^k|t_i-t_j|^2.
494: \end{equation}
495: Using relation \eqref{Transformation2} one can show that function
496: \begin{multline}\label{StrConst-krasivaya}
497: \Sigma_{m,\,n}^{k,\,l}(\alpha)=
498: \frac{\left[\pi\mu\gamma(b^2)b^{2-2b^2}\right]^{-k-l}}
499: {\Upsilon'(-mb)\Upsilon'(-nb)\Upsilon'(2b^{-1}+(m+n+2)b)}\times\\\times
500: \frac{1}{\prod_{e>0}\Upsilon((Q-\alpha,e))\Upsilon((\alpha-bh_{mn}^{kl}-Q,e))}
501: \,\mathbb{C}_{m,\,n}^{k,\,l}(\alpha)
502: \end{multline}
503: satisfies relations
504: \begin{equation}\label{Sigma-relations}
505: \Sigma_{m,\,n}^{k,\,l}(\alpha)=\Sigma_{n,\,m}^{l,\,k}(\alpha)=
506: \Sigma_{k,\,m+n-k}^{m,\,m+l-k}(\alpha-(m-k)bh_1)
507: =\Sigma_{m+l-k,\,n+k-l}^{l,\,k}(\alpha-(l-k)bh_2).
508: \end{equation}
509: Using these relations one can always put index $N$ in \eqref{StrConst-krasivaya} instead of index $m$, where $N$ is the minimum of numbers $m$, $n$, $k$, $l$, $(m+n-k)$, $(m+n-l)$, $(m+l-k)$ and $(n+k-l)$. As follows from the results of this section this structure constant can be always represented as an integral of dimension $4N$. We note that multiplicity of the weight $h_{mn}^{kl}$ equals to $N+1$. It means that the number of integration in correlation function depends on multiplicities.
510: Relations \eqref{Sigma-relations} was discovered in \cite{Fateev:2007ab} in the light semiclassical level, where they were rather non-trivial.
511: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
512: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
513: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
514: \section{Four-point correlation function}\label{4xtochka}
515: In this section we consider four-point correlation function with one degenerate field. The importance of this object manifested itself already in the Liouville field theory where it was very effective tool for the solution of the associativity condition of the operator algebra. Namely, four-point correlation function with one degenerate field
516: \begin{equation}\label{SL2-4point}
517: \xi(x,\bar{x})=
518: \langle V_{-\frac{b}{2}}(x,\bar{x})V_{\alpha_1}(0)V_{\alpha_2}(1)V_{\alpha_3}(\infty)\rangle_L
519: \end{equation}
520: satisfies Fuchsian differential equations of the second order with three singular points in both variables $x$ and $\bar{x}$
521: \begin{equation}\label{DIFF2}
522: \begin{aligned}
523: &\left(\partial_x^2+\dots\right)\xi(x,\bar{x})=0,\\
524: &\left(\partial_{\bar{x}}^2+\dots\right)\xi(x,\bar{x})=0.
525: \end{aligned}
526: \end{equation}
527: Solutions of \eqref{DIFF2} are in general multi-valued function on a plane with three marked points $0$, $1$ and $\infty$ and one should find appropriate bilinear combination of solutions $\xi_i(x)$ and $\bar{\xi}_j(\bar{x})$
528: \begin{equation}
529: \xi(x,\bar{x})=\sum_{ij}M_{ij}\xi_i(x)\bar{\xi}_j(\bar{x}),
530: \end{equation}
531: which is single-valued function. This condition fixes constants $M_{ij}$ up to normalization and in fact gives simple functional equation on the three-point correlation function (see for example ref \cite{Teschner:1995yf}). An expression for correlation function \eqref{SL2-4point} is given due to eqs \eqref{m-point} and \eqref{K1} by the two-dimensional Coulomb integral.
532:
533: A naive idea to generalize these arguments fails because corresponding correlation function in $\mathfrak{sl}(3)$ Toda theory
534: \begin{equation}\label{4-point-SL3}
535: \langle V_{-b\omega_1}(x,\bar{x})V_{\alpha_1}(0)V_{\alpha_2}(1)V_{\alpha_3}(\infty)\rangle_T
536: \end{equation}
537: does no longer satisfy Fuchsian differential equation of the third order \cite{Fateev:2005gs,Bowcock:1993wq} and there is not known integral representation for this function in general case. Here we consider four-point function \eqref{4-point-SL3} with one semi-degenerate field $V_{\alpha_3}$, i.e. with $\alpha_3=\varkappa\omega_2-mb\omega_1$ and show that this function finally can be represented by the $4m+4$ dimensional integral. The case $m=0$ was considered in the first part of this paper \cite{Fateev:2007ab} and it was shown that correlation function
538: \begin{equation}\label{4-point-SL3-m=0}
539: \langle V_{-b\omega_1}(x,\bar{x})V_{\alpha_1}(0)V_{\alpha_2}(1)V_{\varkappa\omega_2}(\infty)\rangle_T
540: \end{equation}
541: can be represented by $4$ dimensional integral which is a solution of differential equation of the third order and can be expressed in terms of hypergeometric function $_{3}F_{2}(x)$.
542:
543: For convenience we define function $\Psi_{\alpha_1\alpha_2\alpha_3}(x,\bar{x})$ which is related with four-point correlation function with one completely degenerate field as
544: \begin{multline}\label{4point}
545: \Psi_{\alpha_1\alpha_2\alpha_3}(x)=\bigl[\pi\mu\gamma(b^2)b^{2-2b^2}\bigr]^
546: {\frac{(\alpha-b\omega_1-2Q,\rho)}{b}}\times\\\times
547: \frac{\langle V_{-b\omega_1}(x)V_{\alpha_1}(0)V_{\alpha_2}(1)V_{\alpha_3}(\infty)\rangle_T}
548: {\prod_{e>0}\Upsilon\bigl((Q-\alpha_1,e)\bigr)\Upsilon\bigl((Q-\alpha_2,e)\bigr)
549: \Upsilon\bigl((Q-\alpha_3,e)\bigr)}.
550: \end{multline}
551: This function is again symmetric, Weyl invariant and $\mu$ independent function of variables $\alpha_1$, $\alpha_2$ and $\alpha_3$. Using integral relations proved in appendix one can show that function $\Psi_{\alpha_1\alpha_2\alpha_3}(x)$ satisfies integral relation reminding relations \eqref{Transformation2}
552: \begin{subequations}\label{Transformation3}
553: \begin{equation}
554: \Psi_{\alpha_1\alpha_2\alpha_3}(x,\bar{x})=\int
555: \Psi_{\tilde{\alpha_1}\tilde{\alpha_2}\tilde{\alpha_3}}(y,\bar{y})\mathfrak{G}_{ijk}(x|y)\,d^2y,
556: \end{equation}
557: where
558: \begin{multline}
559: \mathfrak{G}_{ijk}(x|y)=\frac{1}{\gamma(b\varsigma_{ijk}-\frac{b^2}{3})}\\
560: \frac{|x|^{2+2b^2+2b(\alpha_1-Q,h_i)}|x-1|^{2+2b^2+2b(\alpha_2-Q,h_j)}}
561: {|y|^{2+2b^2+2b(\tilde{\alpha}_1-Q,h_i)}|y-1|^{2+2b^2+2b(\tilde{\alpha}_2-Q,h_j)}}
562: |x-y|^{-2-2b\varsigma_{ijk}+\frac{2b^2}{3}},
563: \end{multline}
564: with
565: \begin{equation}
566: \tilde{\alpha_1}=\alpha_1-\left(\varsigma_{ijk}+\frac{b}{3}\right)h_i,\qquad
567: \tilde{\alpha_2}=\alpha_2-\left(\varsigma_{ijk}+\frac{b}{3}\right)h_j,\qquad
568: \tilde{\alpha_3}=\alpha_3-\left(\varsigma_{ijk}+\frac{b}{3}\right)h_k
569: \end{equation}
570: \end{subequations}
571: with $\varsigma_{ijk}$ given by \eqref{sigma_{ijk}}. These relations give us again very useful tool to simplify four-point function in many cases. In particular, we can consider correlation function
572: \begin{equation}\label{Psi-xi112}
573: \Psi_{\alpha_1,\alpha_2,\varkappa\omega_2-mb\omega_1+\varepsilon\omega_1}(x,\bar{x})=\int
574: \Psi_{\tilde{\alpha_1}\tilde{\alpha_2}\tilde{\alpha_3}}(y,\bar{y})\mathfrak{G}_{112}(x|y)\,d^2y
575: \end{equation}
576: with
577: \begin{equation}
578: \begin{aligned}
579: &\tilde{\alpha}_1=\alpha_1-\left((\alpha_1-Q,h_1)+(\alpha_2-Q,h_1)+
580: \frac{(\varkappa+(m+1)b-\varepsilon)}{3}\right)h_1,\\
581: &\tilde{\alpha}_2=\alpha_2-\left((\alpha_1-Q,h_1)+(\alpha_2-Q,h_1)+
582: \frac{(\varkappa+(m+1)b-\varepsilon)}{3}\right)h_1,\\
583: &\tilde{\alpha}_3=\varkappa\omega_2-mb\omega_1+\varepsilon\omega_1
584: -\left((\alpha_1-Q,h_1)+(\alpha_2-Q,h_1)+\frac{(\varkappa+(m+1)b-\varepsilon)}{3}\right)h_2.
585: \end{aligned}
586: \end{equation}
587: In the limit $\varepsilon\rightarrow0$ we obtain
588: \begin{equation}
589: (-b\omega_1+\tilde{\alpha_1}+\tilde{\alpha_2}+\tilde{\alpha_3}-2Q,\omega_1)=-(m+1)b,
590: \end{equation}
591: so we meet exactly the situation which is described by eq \eqref{Toda-Liouville-GL-relation}, i.e correlation function has a pole with residue given in terms of integral with Liouville correlation function. Namely, function $\Psi_{\tilde{\alpha_1}\tilde{\alpha_2}\tilde{\alpha_3}}(y,\bar{y})$ which enters in the r.h.s. of \eqref{Psi-xi112} exhibits a pole when $\varepsilon\rightarrow0$ with residue\footnote{Field depending on the point $y$ does not appear in Liouville correlation function due to condition $(\omega_1,e_2)=0$.}
592: \begin{multline}
593: \text{Res}\Bigl|_{\varepsilon=0}
594: \Psi_{\tilde{\alpha_1}\tilde{\alpha_2}\tilde{\alpha_3}}(y,\bar{y})=
595: \frac{\bigl[\pi\mu\gamma(b^2)b^{2-2b^2}\bigr]^{\frac{(\alpha-b\omega_1-2Q,\rho)}{b}}}
596: {\prod_{e>0}\Upsilon\bigl((Q-\tilde{\alpha}_1,e)\bigr)\Upsilon\bigl((Q-\tilde{\alpha}_2,e)\bigr)
597: \Upsilon\bigl((Q-\tilde{\alpha}_3,e)\bigr)}\times\\
598: (-\pi\mu)^{m+1}\,|y|^{2b(\alpha_1,\omega_1)}\,|y-1|^{2b(\alpha_2,\omega_1)}
599: \hspace*{-2.2pt}\int\prod_{i=1}^{m+1}|t_i|^{-3b(\alpha_1,\omega_1)}|t_i-1|^{-3b(\alpha_1,\omega_1)}
600: |t_i-y|^{2b^2}\prod_{i<j}|t_i-t_j|^{-3b^2}\\\times
601: \langle V_{-\frac{b}{2}}(t_1)\dots V_{-\frac{b}{2}}(t_{m+1})V_{\frac{(\tilde{\alpha}_1,e_2)}{2}}(0)
602: V_{\frac{(\tilde{\alpha}_2,e_2)}{2}}(1)V_{\frac{(\tilde{\alpha}_3,e_2)}{2}}(\infty)\rangle_L\,
603: d\mu_{m+1}(t).
604: \end{multline}
605: From the other side function $\Psi_{\alpha_1,\alpha_2,\varkappa\omega_2-mb\omega_1}(x,\bar{x})$ also has a simple pole due to the function $\Upsilon^{-1}((Q-\alpha_3,e_1))$ in its definition. Using integral representation for Liouville correlation function \eqref{m-point} we obtain for four-point correlation function in TFT with one semi-degenerate field the following expression
606: \begin{multline}\label{4point-final}
607: \langle V_{-b\omega_1}(x,\bar{x})V_{\alpha_1}(0)V_{\alpha_2}(1)
608: V_{\varkappa\omega_2-mb\omega_1}(\infty)\rangle_T=\Xi_{m+1}(\alpha_1,\alpha_2|\varkappa)
609: \pi\frac{\gamma(1+\delta)\gamma((m+1)g)}{\gamma(\delta+(m+1)g)}\times\\\times
610: |x|^{2b(\alpha_1,\omega_1)}\,|x-1|^{2b(\alpha_2,\omega_1)}\,
611: \int |y-x|^{-2-2\delta}\boldsymbol{\mathfrak{S}}_{m+1}
612: \left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\bigl|y\right)\,d^2y,
613: \end{multline}
614: where function $\boldsymbol{\mathfrak{S}}_{m+1}\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\bigl|x\right)$ is given by eq \eqref{5-parametric-integral-x}, the factor $\Xi_{m+1}(\alpha_1,\alpha_2|\varkappa)$ is defined by eq \eqref{Xi-m} and
615: \begin{equation}
616: A=\varrho_{32}^{m+1},\;\;
617: B=\varrho_{23}^{m+1},\;\;
618: A'=\varrho_{21}^{m+1},\;\;
619: B'=\varrho_{12}^{m+1},\;\;
620: \boldsymbol{\Delta}=1+\varrho_{22}^{m+1},
621: \end{equation}
622: here parameters $\varrho_{ij}^{m+1}$ are given by eq \eqref{varrho_{ij}^m} and
623: \begin{equation}
624: \delta=b(\alpha_1-Q,\omega_1)+b(\alpha_2-Q,\omega_1)+\frac{b(\varkappa+(m+1)b)}{3}.
625: \end{equation}
626: Applying relation \eqref{5parametric-reccurent} one can perform integration over variable $y$ and reduce four-point correlation function \eqref{4point-final} to $4(m+1)$ dimensional integral.
627: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
628: \section{Concluding remarks}\label{Conclusion}
629: As was mentioned in the section \ref{SL3-Lagrangian} three-point function $C(\alpha_1,\alpha_2,\alpha_3)$ considered as a function of $\alpha=\alpha_1+\alpha_2+\alpha_3$ has poles in the points
630: \begin{equation}\label{general-poles-1}
631: (\alpha-2Q,\omega_1)=-mb-m'b^{-1},\qquad
632: (\alpha-2Q,\omega_2)=-nb-n'b^{-1},
633: \end{equation}
634: where $m$, $n$, $m'$ and $n'$ are some non-negative integers. Due to Weyl symmetry it follows from \eqref{general-poles-1} that three-point function has also poles in the points
635: \begin{equation}\label{general-poles-2}
636: Q_L+\varsigma_{ijk}=-mb-m'b^{-1},\qquad
637: Q_L-\varsigma_{ijk}=-nb-n'b^{-1},
638: \end{equation}
639: where $\varsigma_{ijk}$ is given by eq \eqref{sigma_{ijk}} and $Q_L$ by \eqref{QL}. We define function
640: \begin{equation}
641: \boldsymbol{\mathfrak{Z}}(x)=\boldsymbol{G}(Q_L-x)\boldsymbol{G}(Q_L+x),
642: \end{equation}
643: where we introduce a self-dual entire function $\mathbf{G}(x)$ which contains only zeroes at the points $x=-nb-m/b$, $m,n=0,1,2,\ldots$ and enjoys the following shift relations
644: \begin{equation}
645: \begin{aligned}
646: &{\mathbf{G}}(x+b)=\frac{b^{1/2-bx}}{\sqrt{2\pi}}\Gamma(bx){\mathbf{G}}(x),\\
647: &{\mathbf{G}}(x+1/b)=\frac{b^{x/b-1/2}}{\sqrt{2\pi}}\Gamma(x/b){\mathbf{G}}(x).
648: \end{aligned}
649: \end{equation}
650: Evidently that function $\prod_{ijk}\boldsymbol{\mathfrak{Z}}^{-1}(\varsigma_{ijk})$ contains information about all poles \eqref{general-poles-2}. So, it is natural to consider the function
651: \begin{equation}
652: \mathfrak{F}(\alpha_1,\alpha_2,\alpha_3)=
653: C(\alpha_1,\alpha_2,\alpha_3)\prod_{ijk}\boldsymbol{\mathfrak{Z}}(\varsigma_{ijk})
654: \end{equation}
655: which is entire function\footnote{This statement has been checked in the case $\alpha_3=\varkappa\omega_2-mb\omega_1$, where this function is given by the integral representation.}.
656: In Liouville field theory the similar product of three-point correlation function with eight $\mathbf{G}$ functions corresponding to Weyl transformed screening condition gives us the self-dual entire function which up to standard factor depending on $\mu$ is equal to $\Upsilon(2\alpha_1)\Upsilon(2\alpha_2)\Upsilon(2\alpha_3)$ where $\alpha_k$ are the parameters of the Liouville fields. In Toda theory function $\mathfrak{F}(\alpha_1,\alpha_2,\alpha_3)$ is very complicated entire function. The consideration of this function in the "light" semiclassical region and in the minisuperspace approximation (see ref \cite{Fateev:2007ab}) gives us the reasons to think that Weyl invariant function $\mathfrak{C}(\alpha_1,\alpha_2,\alpha_3)$ defined by eq \eqref{C-improved} has a simple poles only in the cases when up to Weyl transformation one of screening conditions \eqref{general-poles-2} is satisfied or if one of the exponential fields is semidegenerate. The remarkable property \eqref{Transformation2} of the function $\mathfrak{C}(\alpha_1,\alpha_2,\alpha_3)$ relates the residues in the poles appearing from the screening condition with those coming from semidegenerate field. This property permits us to derive explicit integral representation for the three-point correlation function with one semidegenerate field. To go further in calculation of three-point function in TFT we need more information about analytical structure of entire function $\mathfrak{F}(\alpha_1,\alpha_2,\alpha_3)$. We suppose to return to the analysis of this function beyond semiclassical and minisuperspace approximations in near future.
657: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
658: \acknowledgments
659: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
660: This work was supported, in part, by RBRF-CNRS grant PICS-09-02-91064. Work of A.~L. was supported by DOE grant DE-FG02-96ER40949, by RBRF grant 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". 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. V.~F. is very grateful to E.~Onofri for the numerical tests of the statements conjectured in the first part of this paper \cite{Fateev:2007ab}.
661: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
662: \appendix
663: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
664: \section{Proof of the relations \protect\eqref{Transformation2} and \protect\eqref{Transformation3}.}\label{App-Integrals}
665: Both relations will be proved by using the same method. Namely, we assume for both correlation functions that screening condition is satisfied, i.e.
666: \begin{equation}
667: \sum_k\alpha_k+mbe_1+nbe_2=2Q.
668: \end{equation}
669: In this case correlation function has a double pole with residue given by the $\mathfrak{sl}(3)$ Coulomb integral of dimension $2m+2n$. Using different identities we transform this integral to another $\mathfrak{sl}(3)$ integral and consider new one again as a residue of some correlation function. After that we assume that proved identity holds not only for the residues but also for the entire correlation functions\footnote{Genrally this identity contains also some multiples of gamma functions, but hopfully these multiples always can be represented as a fraction of $\Upsilon$-functions.}. Of course, this is not a rigorous proof from the mathematical point of view and all statements proved in this manner have to be checked by another methods. All possible checks that we were able to make support the statements that are done in this appendix.
670: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
671: \subsection*{Proof of the relations \protect\eqref{Transformation2}}
672: Basic Coulomb integral for the three-point correlation function \eqref{3point} due to \eqref{GoulLieFormula} is
673: \begin{equation}\label{Basic-3point-integral}
674: \mathfrak{J}_{mn}(A_1,A_2,B_1,B_2|g)=
675: \int \mathcal{I}_{mn}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1}{A_2,\;\;B_2}
676: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_m(t)d\mu_n(s),
677: \end{equation}
678: where $A_k=-b(\alpha_1,e_k),\quad B_k=-b(\alpha_2,e_k),\quad g=-b^2$ and
679: \begin{equation}
680: \mathcal{D}_m(t)=\prod_{i<j=1}^m|t_i-t_j|^2\qquad\text{and}\qquad
681: d\mu_m(t)=\frac{1}{\pi^mm!}\prod_{k=1}^md^2t_k,
682: \end{equation}
683: and integrand is given by
684: \begin{equation}\label{Imn}
685: \mathcal{I}_{mn}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1}{A_2,\;\;B_2}
686: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)=
687: \prod_{i=1}^m|t_i|^{2A_1}|t_i-1|^{2B_1}\mathcal{D}_m^{2g}(t)
688: \prod_{j=1}^n|s_j|^{2A_2}|s_j-1|^{2B_2}\mathcal{D}_n^{2g}(s)
689: \prod_{ij}|t_i-s_j|^{-2g},
690: \end{equation}
691: For the future purposes we prove basic property of this integral ("cross legs property"):
692: \begin{multline}\label{Nogi}
693: \int \mathcal{I}_{m,\,n}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1}{A_2,\;\;B_2}
694: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_m(t)d\mu_n(s)=\Lambda_k(A_j,B_j)\times\\\times
695: \int \prod_{j=1}^k|w_j|^{-4-2A_{12}-2(k-2)g}|w_j-1|^{-4-2B_{12}-2(k-2)g}\prod_{ij}|s_i-w_j|^{-2g}
696: \mathcal{D}_{k}^{2g}(w)\cdot\\\cdot
697: \mathcal{I}_{m-k,\,n}\left(\genfrac{}{}{0pt}{1}{A_1+kg,\;\;B_1+kg}{A_2,\;\;B_2}
698: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_{m-k}(t)\,d\mu_n(s)\,d\mu_k(w),
699: \end{multline}
700: where $A_{12}=A_1+A_2$, $B_{12}=B_1+B_2$ and
701: \begin{multline}
702: \Lambda_k(A_j,B_j)=
703: \prod_{j=0}^{k-1}\Biggl[\frac{\gamma((m-j)g)}{\gamma((j+1)g)}\times\\\times
704: \frac{\gamma(1+A_1+jg)\gamma(1+B_1+jg)\gamma(2+A_{12}+(j-1)g)\gamma(2+B_{12}+(j-1)g)}
705: {\gamma(2+A_1+B_1+(m-n-1+j)g)\gamma(3+A_{12}+B_{12}+(n-2+j)g)}\Biggr].
706: \end{multline}
707: This property allows to "move" part of the variables $t$ in the integral through variables $s$ (see figure \ref{fig:nogi}).
708: \begin{figure}
709: \psfrag{t}{$t$}\psfrag{s}{$s$}\psfrag{w}{$w$}\psfrag{m}{$m$}\psfrag{n}{$n$}\psfrag{k}{\hspace{10pt}$k$}
710: \psfrag{mk}{\hspace{-10pt}$m-k$}\psfrag{R}{\eqref{Nogi}}
711: \centering
712: \includegraphics[width=.9\textwidth]{fig1.eps}
713: \caption{This picture represents integral property \protect\eqref{Nogi}.
714: In the l.h.s. we have a stack which consists of $m$ variables $t$
715: and stack of $n$ variables $s$ with Coulomb interaction between
716: them associated with Cartan matrix of the Lie algebra $\mathfrak{sl}(3)$. In the r.h.s. we have
717: three stacks of variables: $m-k$ variables $t$, $n$
718: variables $s$ and $k$ variables $w$ with Coulomb interaction associated
719: with the Lie algebra $\mathfrak{sl}(4)$.}
720: \label{fig:nogi}
721: \end{figure}
722: To prove this property we will use integral relation which was proposed in the paper \cite{Baseilhac:1998eq}
723: \begin{multline}\label{Bazeyaka}
724: \int\mathcal{D}_n(y)\prod_{i=1}^n\prod_{j=1}^{n+m+1}|y_i-t_j|^{2p_j}
725: \,d\mu_n(y)=\\=
726: \frac{\prod_j\gamma(1+p_j)}{\gamma(1+n+\sum_jp_j)}
727: \prod_{i<j}|t_i-t_j|^{2+2p_i+2p_j}%\times\\\times
728: \int\mathcal{D}_m(u)\prod_{i=1}^m\prod_{j=1}^{n+m+1}|u_i-t_j|^{-2-2p_j}
729: \,d\mu_m(u).
730: \end{multline}
731: The idea how to use this relation is rather simple and was explored widely in the paper \cite{Fateev:2007qn}. Namely, we start with the integral \eqref{Imn} and represent for example $\mathcal{D}_m^{2g}(t)$ as
732: \begin{equation}\label{Start_Bazeyaka}
733: \mathcal{D}^{2g}_m(t)=\mathcal{D}_m(t)
734: \frac{\gamma(mg)}{\gamma^m(g)}
735: \int\mathcal{D}_{m-1}(y)\prod_{i=1}^{m-1}\prod_{j=1}^{m}|y_i-t_j|^{-2+2g}d\mu_{m-1}(y).
736: \end{equation}
737: For simplicity in this appendix we will neglect further all numerical factors having in mind that all equations are valid up to these factors, which will be reconstructed in final expression.
738: After applying relation \eqref{Start_Bazeyaka} integral over variables $t$ is ready to be done again using relation \eqref{Bazeyaka}
739: \begin{multline}\label{Nogi-2step}
740: \int\prod_{j=1}^m|t_j|^{2A_1}|t_j-1|^{2B_1}
741: \prod_{i=1}^{m-1}|t_j-y_i|^{-2+2g}\prod_{k=1}^{n}|t_j-s_k|^{-2g}\mathcal{D}_{m}(t)\,d\mu_{m}(t)
742: =\\=
743: \prod_{i=1}^{m-1}|y_i|^{2(A_1+g)}\,|y_i-1|^{2(B_1+g)}\,\mathcal{D}_{m-1}^{2g-1}(y)\,
744: \prod_{k=1}^{n}|s_k|^{2+2A_1-2g}\,|s_k-1|^{2+2B_1-2g}\,\mathcal{D}_n^{1-2g}(s)\times\\\times
745: \int\prod_{j=1}^n|\nu_j|^{-2-2A_1}\,|\nu_j-1|^{-2-2B_1}
746: \prod_{i=1}^{m-1}|\nu_j-y_i|^{-2g}\prod_{k=1}^n|\nu_j-s_k|^{-2+2g}
747: \mathcal{D}_n(\nu)\,d\mu_n(\nu).
748: \end{multline}
749: We see that due to the factor $\mathcal{D}_n^{1-2g}(s)$ in \eqref{Nogi-2step} which combines with the factor $\mathcal{D}_n^{2g}(s)$ in \eqref{Imn} we can perform now integration over variables $s$ using again relation \eqref{Bazeyaka}
750: \begin{multline}
751: \int\prod_{j=1}^n|s_j|^{2+2A_{12}-2g}|s_j-1|^{2+2B_{12}-2g}
752: \prod_{i=1}^n|s_j-\nu_i|^{-2+2g}
753: \mathcal{D}_n(s)\,d\mu_n(s)=\mathcal{D}_{n}^{2g-1}(\nu)\times\\\times
754: \prod_{j=1}^n|\nu_j|^{2+2A_{12}}|\nu_j-1|^{2+2B_{12}}
755: %\times\\\times
756: \int|w|^{-4-2A_{12}+2g}\,|w-1|^{-4-2B_{12}+2g}
757: \prod_{i=1}^n|w-\nu_i|^{-2g}\,d\mu_1(w).
758: \end{multline}
759: Collecting all factors together finally we prove relation \eqref{Nogi} for the case $k=1$. Repeating similar steps we can prove \eqref{Nogi} for $k=2$ and so on. For us will be important identity \eqref{Nogi} with $k=m$. If we suppose that this identity also holds "away" from the screening contition it gives functional relation for function $\mathfrak{C}(\alpha_1,\alpha_2,\alpha_3)$ defined by eq \eqref{C-improved}
760: \begin{equation}
761: \mathfrak{C}(\alpha_1,\alpha_2,\alpha_3)=
762: \mathfrak{C}(\tilde{\alpha}_1,\tilde{\alpha}_2,\tilde{\alpha}_3),
763: \end{equation}
764: where
765: \begin{equation}\label{App-tilde-alpha}
766: \tilde{\alpha}_k=\alpha_k^{*}+(\alpha-3\alpha_k,\omega_1)\omega_2
767: \end{equation}
768: with parameter $\alpha_k^{*}$ defined by relation $(\alpha_k^{*},e_k)=(\alpha_k,e_{3-k})$.
769: Now if one applies Weyl reflection $\boldsymbol{\sigma_1}\boldsymbol{\sigma_2}$ to each $\tilde{\alpha_k}$ one gets
770: \begin{equation}
771: \boldsymbol{\sigma_1}\boldsymbol{\sigma_2}(\tilde{\alpha}_k)=\alpha_k-\varsigma_{111}h_1,
772: \end{equation}
773: where $\varsigma_{111}$ is given by \eqref{sigma_{ijk}}. Other relation for arbitrary $i$, $j$ and $k$ can be obtained from this one by Weyl reflections.
774:
775: Here we also give without a proof another "cross legs property" of the integral \eqref{Basic-3point-integral} which also gives very useful tool for studying properties of correlation functions in TFT
776: \begin{multline}\label{Nogi-shifted}
777: \int \mathcal{I}_{m,\,n}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1}{A_2,\;\;B_2}
778: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_m(t)d\mu_n(s)=\tilde{\Lambda}_k(A_j,B_j)\times\\\times
779: \int \prod_{j=1}^k|w_j|^{-4-2A_{12}-2(m-2)g}|w_j-1|^{-4-2B_{12}-2(k-2)g}\prod_{ij}|s_i-w_j|^{-2g}
780: \mathcal{D}_{k}^{2g}(w)\cdot\\\cdot
781: \mathcal{I}_{m-k,\,n}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1+kg}{A_2,\;\;B_2}
782: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_{m-k}(t)\,d\mu_n(s)\,d\mu_k(w),
783: \end{multline}
784: where $\tilde{\Lambda}_k(A_1,A_2,B_1,B_2)\overset{\text{def}}{=}\Lambda_k(A_1+(m-k)g,A_2,B_1,B_2)$. We note that for $k=m$ transformation coincide with \eqref{Nogi}. We see also that \eqref{Nogi-shifted} is not symmetric with respect of exchange of points $0$ and $1$. Of course there is another relation similar to \eqref{Nogi-shifted} but with substitution $0\rightarrow1$.
785: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
786: \subsection*{Proof of the relations \protect\eqref{Transformation3}}
787: Basic integral for the four-point correlation function with one degenerate field
788: $$\langle V_{-b\omega_1}(x,\bar{x})V_{\alpha_1}(0)V_{\alpha_2}(1)V_{\alpha_3}(\infty)\rangle$$ is
789: \begin{equation}
790: \int \prod_{j=1}^m|t_j-x|^{-2g}\,
791: \mathcal{I}_{mn}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1}{A_2,\;\;B_2}
792: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_m(t)d\mu_n(s).
793: \end{equation}
794: One can prove "cross legs" property for this integral:
795: \begin{multline}\label{Nogi-4point}
796: \int\prod_{j=1}^m|t_j-x|^{-2g}\,
797: \mathcal{I}_{m,\,n}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1}{A_2,\;\;B_2}
798: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_m(t)d\mu_n(s)=\Lambda_{m-1}(A_j,B_j)\times\\\times
799: \int \prod_{j=1}^{m-1}|w_j|^{-4-2A_{12}-2(m-3)g}|w_j-1|^{-4-2B_{12}-2(m-3)g}\prod_{ij}|s_i-w_j|^{-2g}
800: \mathcal{D}_{m-1}^{2g}(w)\cdot\\\cdot
801: |t-x|^{-2mg}
802: \mathcal{I}_{1,\,n}\left(\genfrac{}{}{0pt}{1}{A_1+(m-1)g,\;\;B_1+(m-1)g}{A_2,\;\;B_2}
803: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_{1}(t)\,d\mu_n(s)\,d\mu_{m-1}(w),
804: \end{multline}
805: We see that in the case of four-point correlation function one can "move" only $(m-1)$ variables $t$ but not arbitrary number as it was in the case of three-point function. This identity can be proved using the same technique but the proof is a little bit more involved. To make the calculations more transparent we consider the case $m=2$. The general case follows the same steps but calculations are more involved. So, we consider integral
806: \begin{equation}\label{App-4point-m=2}
807: \int \prod_{j=1}^2|t_j-x|^{-2g}\,
808: \mathcal{I}_{2,\,n}\left(\genfrac{}{}{0pt}{1}{A_1,\;\;B_1}{A_2,\;\;B_2}
809: \Bigl|\genfrac{}{}{0pt}{1}{t}{s}\right)d\mu_2(t)d\mu_n(s)
810: \end{equation}
811: As usual we start by representing
812: \begin{equation}
813: \mathcal{D}_{2}^{2g}(t)=\mathcal{D}_{2}(t)\int\prod_{i=1,2}|\xi-t_i|^{-2+2g}\,d\mu_1(\xi),
814: \end{equation}
815: and after that we perform integration over variables $t$ with a result
816: \begin{multline}\label{int-step2}
817: \int\prod_{j=1}^2|t_j|^{2A_1}\,|t_j-1|^{2B_1}\,|t_j-x|^{-2g}
818: |t_j-\xi|^{-2+2g}\prod_{i=1}^n|t_j-s_i|^{-2g}\mathcal{D}_2(t)\,d\mu_2(t)=\mathcal{D}_{n}^{1-2g}(s)
819: \times\\\prod_{i=1}^n|s|^{2+2A_1-2g}|s_i-1|^{2+2B_1-2g}|s_i-x|^{2-4g}
820: |x|^{2+2A_1-2g}|x-1|^{2+2B_1-2g}|\xi|^{2A_1+2g}|\xi-1|^{2B_1+2g}%\times\\\times
821: \\%\times
822: \int\prod_{j=1}^{n+1}|\eta_j|^{-2-2A_1}\,|\eta_j|^{-2-2B_1}\,
823: |\eta_j-x|^{-2+2g}\,|\eta_j-\xi|^{-2g}
824: \prod_{i=1}^n|\eta_j-s_i|^{-2+2g}\mathcal{D}_{n+1}(\eta)\,d\mu_{n+1}(\eta).
825: \end{multline}
826: We see that again factor $\mathcal{D}_{n}^{1-2g}(s)$ in \eqref{int-step2} permits us to perform integration over variables $s$:
827: \begin{multline}
828: \int\prod_{j=1}^n|s_j|^{2+2A_{12}-2g}\,|s_j-1|^{2+2B_{12}-2g}\,
829: |s_j-x|^{2-4g}\prod_{i=1}^{n+1}|s_j-\eta_i|^{-2+2g}\mathcal{D}_n(s)\,d\mu_n(s)
830: =\\=
831: |x|^{6+2A_{12}-6g}\,|x-1|^{6+2B_{12}-6g}%\times\\\times
832: \prod_{j=1}^{n+1}|\eta_j|^{2+2A_{12}}
833: |\eta_j-1|^{2+2B_{12}}\,|\eta_j-x|^{2-2g}\,\mathcal{D}_{n+1}^{2g-1}(\eta)
834: \times\\\times
835: \int\prod_{i=1}^3|w_i|^{-4-2A_{12}+2g}|w_i-1|^{-4-2B_{12}+2g}\,|w_i-x|^{-4+4g}
836: \prod_{j=1}^{n+1}|w_i-\eta_j|^{-2g}
837: \mathcal{D}_{3}(w)\,d\mu_3(w).
838: \end{multline}
839: At this point we have integrated over all variables $t$ and $s$ of the original integral \eqref{App-4point-m=2}. So we proved that integral \eqref{App-4point-m=2} equals to
840: \begin{multline}
841: |x|^{8+4A_1+2A_2-8g}\,|x-1|^{8+4B_1+2B_2-8g}
842: \int\mathcal{I}_{1,\,n+1}\left(\genfrac{}{}{0pt}{1}{A_1+g,\;\;B_1+g}{A_2,\;\;B_2}
843: \Bigl|\genfrac{}{}{0pt}{1}{\xi}{\eta}\right)\\\hspace*{-5pt}\prod_{j=1}^3\hspace*{-2pt}
844: |w_j|^{-4-2A_{12}+2g}|w_j-1|^{-4-2B_{12}+2g}|w_j-x|^{-4+4g}\hspace*{-3pt}
845: \prod_{i=1}^{n+1}|w_j-\eta_i|^{-2g}\mathcal{D}_{3}(w)d\mu_1(\xi)d\mu_n(\eta)d\mu_3(w)
846: \end{multline}
847: The second step is again to integrate over all new variables $\xi$, $\eta$ and $w$. First we integrate over variables $\xi$
848: \begin{multline}
849: \int|\xi|^{2A_1+2g}\,|\xi-1|^{2B_1+2g}\prod_{j=1}^{n+1}|\xi-\eta_j|^{-2g}\,d\mu_{1}(\xi)=
850: \prod_{j=1}^{n+1}|\eta_j|^{2+2A_1}\,|\eta_j-1|^{2+2B_1}\,\mathcal{D}_{n+1}^{1-2g}(\eta)
851: \times\\\times
852: \int
853: \prod_{i=1}^{n+1}|\nu_i|^{-2-2A_1-2g}\,|\nu_i-1|^{-2-2B_1-2g}
854: \prod_{j=1}^{n+1}|\nu_i-\eta_j|^{-2+2g}\mathcal{D}_{n+1}(\nu)\,d\mu_{n+1}(\nu),
855: \end{multline}
856: and after that we perform integration over variables $\eta$
857: \begin{multline}\label{int-step3}
858: \int\prod_{j=1}^{n+1}|\eta_j|^{2+2A_{12}}\,|\eta_j-1|^{2+2B_{12}}
859: \prod_{i=1}^{n+1}|\eta_j-\nu_i|^{-2+2g}
860: \prod_{k=1}^3|\eta_j-w_k|^{-2g}\mathcal{D}_{n+1}(\eta)\,d\mu_{n+1}(\eta)
861: =\\=\prod_{i=1}^{n+1}|\nu_i|^{2+2A_{12}+2g}\,|\nu_i-1|^{2+2B_{12}+2g}\,\mathcal{D}_{n+1}^{2g-1}(\nu)\,
862: \prod_{k=1}^3|w_k|^{4+2A_{12}-2g}\,|w_k-1|^{4+2B_{12}-2g}\,\mathcal{D}_{3}^{1-2g}(w)\\\times
863: \int\prod_{j=1}^4|\tau_j|^{-4-2A_{12}}\,|\tau_j-1|^{-4-2B_{12}}\,
864: \prod_{i=1}^{n+1}|\tau_j-\nu_i|^{-2g}\prod_{k=1}^3|\tau_j-w_k|^{-2+2g}
865: \mathcal{D}_4(\tau)\,d\mu_4(\tau).
866: \end{multline}
867: At this moment we meet first obstruction with the integral over variables $w$ which is not of the type we met before
868: \begin{equation}\label{App-Int-Phi13-Phi12x4}
869: J(x,\tau_i|g)=\int\prod_{j=1}^3|w_j-x|^{-4+4g}\prod_{k=1}^4|w_j-\tau_i|^{-2+2g}\mathcal{D}_3^{2-2g}(w)
870: d\mu_3(w),
871: \end{equation}
872: one can show that this integral equals to one dimensional integral\footnote{This integral identity reflects the fact that correlation function of degenerate fields in Liouville CFT can be represented by integrals with different number of screening charges. In eqs \eqref{App-Int-Phi13-Phi12x4} and \eqref{App-Int-Phi13-Phi12x4-Identity} the coupling constant is given by $b^2=g-1$.}
873: \begin{equation}\label{App-Int-Phi13-Phi12x4-Identity}
874: J(x,\tau_i|g)=\frac{\gamma^3(g)(1-3g)^2}{\gamma(3g)(1-2g)^2}
875: \prod_{j=1}^4|\tau_j-x|^{-4+6g}
876: \int|\rho-x|^{4-8g}\prod_{j=1}^4|\rho-\tau_j|^{-2+2g}d\mu_1(\rho).
877: \end{equation}
878: Now we can perform integral over variables $\tau$:
879: \begin{multline}
880: \int\prod_{j=1}^4|\tau_j|^{-4-2A_{12}}|\tau_j-1|^{-4-2B_{12}}\,|\tau_j-x|^{-4+6g}\,
881: \prod_{i=1}^{n+1}|\tau_j-\nu_i|^{-2g}\,|\tau_j-\rho|^{-2+2g}\mathcal{D}_4(\tau)\,d\mu_4(\tau)
882: =\\|x|^{-6-2A_{12}+6g}\,|x-1|^{-6-2B_{12}+6g}\,
883: \prod_{i=1}^{n+1}|\nu_i|^{-2-2A_{12}-2g}\,|\nu_i-1|^{-2-2B_{12}-2g}
884: \,|\nu_i-x|^{-2+4g}\mathcal{D}_{n+1}^{1-2g}(\nu)\times\\\times
885: |\rho|^{-4-2A_{12}+2g}\,|\rho-1|^{-4-2B_{12}+2g}\,|\rho-x|^{-4+8g}\times\\\times
886: \int\prod_{j=1}^n|\lambda_j|^{2+2A_{12}}\,|\lambda_j-1|^{2+2B_{12}}\,|\lambda_j-x|^{2-6g}
887: \prod_{i=1}^{n+1}|\lambda_j-\nu_i|^{-2+2g}\,|\lambda_j-\rho|^{-2g}\mathcal{D}_n(\lambda)d\mu_n(\lambda),
888: \end{multline}
889: It follows from eqs \eqref{int-step3}, \eqref{App-Int-Phi13-Phi12x4} and \eqref{App-Int-Phi13-Phi12x4-Identity} that factor $\mathcal{D}_{n+1}(\nu)$ appears in the first power and we can perform integral over variables $\nu$:
890: \begin{multline}
891: \int\prod_{j=1}^{n+1}|\nu_j|^{-2-2A_1-2g}|\nu_j-1|^{-2-2B_1-2g}|\nu_j-x|^{-2+4g}
892: \prod_{i=1}^n|\nu_j-\lambda_i|^{-2+2g}\mathcal{D}_{n+1}(\nu)d\mu_{n+1}(\lambda)=\\=
893: |x|^{-2-2A_1+2g}\,|x-1|^{-2-2B_1+2g}
894: \prod_{j=1}^n|\lambda_j|^{-2-2A_1}|\lambda_j-1|^{-2-2B_1}|\lambda_j-x|^{-2+6g}
895: \mathcal{D}_{n}^{2g-1}(\lambda)\times\\\times
896: \int|\zeta|^{2A_1+2g}|\zeta-1|^{2B_1+2g}|\zeta-x|^{-4g}\prod_{j=1}^n|\zeta-\lambda_j|^{-2g}
897: d\mu_1(\zeta).
898: \end{multline}
899: Collecting now all missing factors we obtain \eqref{Nogi-4point} for $m=2$. In a similar way using identities like \eqref{App-Int-Phi13-Phi12x4-Identity} we can prove \eqref{Nogi-4point} for arbitrary $m$.
900: Relation \eqref{Nogi-4point} being analytically continued to the non-integer number of screenings gives functional equation for function $\Psi_{\alpha_1\alpha_2\alpha_3}(x,\bar{x})$ defined by eq \eqref{4point}
901: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
902: \section{Properties of the kernel}\label{Kernel}
903: In this appendix we define function $K_m^{\Delta}(t|y)$ which enters in the integral representation for the Liouville correlation function \eqref{m-point}. This function was defined in ref \cite{Fateev:2007qn}. It is symmetric function of variables $t_k$ and $y_k$ which does not change under the permutation $t_k\leftrightarrow y_k$. The last two properties are not evident from the explicit form of the function $K_m^{\Delta}(t|y)$, but they can be proved. This function is given by the $m(m-1)$-dimensional Coulomb integral and can be derived from the recurrent equation\footnote{To make sense of this formula we set $K_0^{\Delta}=1$.}
904: \begin{multline}\label{Kernel-recurrent}
905: K_m^{\boldsymbol{\Delta}}(t_1,..,t_m|y_1,..,y_m)=
906: \frac{\gamma(mg)}{\gamma^m(g)}\,\mathcal{D}_m^{1-2g}(t)\;
907: \prod_{k=1}^m|t_k-y_1|^{-2\boldsymbol{\Delta}}
908: \times\\\times
909: \int\mathcal{D}_{m-1}(\tau)\prod_{j=1}^{m-1}|\tau_j-y_1|^{2(\boldsymbol{\Delta}-g)}
910: \prod_{k=1}^{m}|\tau_j-t_k|^{-2+2g}
911: K_{m-1}^{\boldsymbol{\Delta}+g}(\tau_1,..,\tau_{m-1}|y_2,..,y_m)\,d\mu_{m-1}(\tau).
912: \end{multline}
913: The simplest example of the kernel is the case $m=1$:
914: \begin{equation}\label{K1}
915: K_1(t|y)=|t-y|^{-2\boldsymbol{\Delta}}.
916: \end{equation}
917:
918: We consider basic integral which appears in eq \eqref{C-m} and has a form
919: \begin{multline}\label{5-parametric-integral}
920: \mathfrak{I}_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\right)=\\=
921: \int \prod_{k=1}^m|t_k|^{2A}|t_k-1|^{2B}|s_k|^{2A'}|s_k-1|^{2B'}
922: K_m^{\boldsymbol{\Delta}}(t|s)\mathcal{D}_m^{2g}(t)\mathcal{D}_m^{2g}(s)
923: d\mu_m(t)\,d\mu_m(s).
924: \end{multline}
925: The simplest case $m=1$
926: \begin{equation}\label{5-parametric-integral-m=1}
927: \mathfrak{I}_1\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\,\boldsymbol{\Delta}\right)=
928: \int|t|^{2A}|t-1|^{2B}|s|^{2A'}|s-1|^{2B'}|t-s|^{-2\boldsymbol{\Delta}}
929: d^2t\,d^2s.
930: \end{equation}
931: This integral can be calculated exactly and expressed in terms of hypergeometric function ${}_3F_2(1)$\footnote{This integral is particular case corresponding to $n=3$ of more general Coulomb integral associated with Lie algebra $\mathfrak{sl}(n)$ calculated in \cite{Fateev:2007ab}.}. Another important integral with function $K_m^{\Delta}(t_1,..,t_m|y_1,..,y_m)$ which appears in eq \eqref{4point-final} has a form
932: \begin{multline}\label{5-parametric-integral-x}
933: \boldsymbol{\mathfrak{S}}_{m}\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\Bigl|
934: \boldsymbol{\Delta},x\right)=\\
935: \int \prod_{k=1}^m|t_k|^{2A}|t_k-1|^{2B}|s_k|^{2A'}|s_k-1|^{2B'}|t_k-x|^{-2g}
936: K_m^{\boldsymbol{\Delta}}(t|s)\mathcal{D}_m^{2g}(t)\mathcal{D}_m^{2g}(s)
937: d\mu_m(t)\,d\mu_m(s).
938: \end{multline}
939: Using factorization property (B.3) from ref \cite{Fateev:2007qn} and using relation \eqref{Nogi-4point} we can prove that it satisfies an important recurrent identity
940: \begin{multline}\label{5parametric-reccurent}
941: \boldsymbol{\mathfrak{S}}_{m+1}\left(\genfrac{}{}{0pt}{1}{A\;\;B}{\,A'\:B'}\,
942: \boldsymbol{\Delta}\Bigl|x\right)=\Theta_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{\,A'\:B'}\,
943: \boldsymbol{\Delta}\right)\times\\\times
944: \int |t|^{2(A+mg)}|t-1|^{2(B+mg)}\,|y|^{2(A'+mg)}|y-1|^{2(B'+mg)}\,
945: |t-y|^{-2(\boldsymbol{\Delta}+mg)}\,|t-x|^{-2(m+1)g}\cdot\\\cdot
946: \boldsymbol{\mathfrak{S}}_{m}\left(\genfrac{}{}{0pt}{1}
947: {\,\,\tilde{A}'\:\tilde{B}'}{\tilde{A}\;\,\tilde{B}}\,
948: \tilde{\boldsymbol{\Delta}}\Bigl|y\right)d^2t\,d^2y
949: \end{multline}
950: where
951: \begin{equation}
952: \begin{gathered}
953: \begin{aligned}
954: &\tilde{A}=-1-A-(m-1)g,&\qquad &\tilde{B}=-1-B-(m-1)g,\\
955: &\tilde{A}'=-1-A'-(m-1)g,&\qquad &\tilde{B}'=-1-B'-(m-1)g,
956: \end{aligned}\\
957: \tilde{\boldsymbol{\Delta}}=-1-\boldsymbol{\Delta}-(m-1)g
958: \end{gathered}
959: \end{equation}
960: and
961: \begin{multline}
962: \Theta_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{\,A'\:B'}\,\boldsymbol{\Delta}\right)=\\
963: =\prod_{j=0}^{m-1}
964: \frac{\gamma(1+A+jg)\gamma(1+B+jg)\gamma(1+A'+jg)\gamma(1+A'+jg)\gamma(1-\boldsymbol{\Delta}-jg)}
965: {\gamma(2+A+B-\boldsymbol{\Delta}+jg)\gamma(2+A'+B'-\boldsymbol{\Delta}+(1-j)g)}\times\\\times
966: \frac{\gamma(2+A+A'-\boldsymbol{\Delta}+jg)\gamma(2+B+B'-\boldsymbol{\Delta}+jg)}
967: {\gamma(3+A+B+A'+B'-\boldsymbol{\Delta}+(j+1)g)}.
968: \end{multline}
969: We note, that we can apply relation \eqref{5parametric-reccurent} to function $\boldsymbol{\mathfrak{S}}_{m}\left(\genfrac{}{}{0pt}{1}{\,\,\tilde{A}'\:\tilde{B}'}{\tilde{A}\;\,\tilde{B}}\,\tilde{\boldsymbol{\Delta}}\Bigl|y\right)$ again and finally reduce integral \eqref{5-parametric-integral-x} to $4m$-dimensional integral. It is easy to see that due to eq \eqref{5parametric-reccurent} the dependence of the integral \eqref{5-parametric-integral-x} on variable $x$ is simple and it permits us to perform integration in \eqref{4point-final}.
970:
971: Integral \eqref{5-parametric-integral} can be obtained from the integral \eqref{5-parametric-integral-x} by considering the limit at $x\rightarrow\infty$
972: \begin{equation}\label{limit}
973: \lim_{x\rightarrow\infty}|x|^{2mg}
974: \boldsymbol{\mathfrak{S}}_{m}\left(\genfrac{}{}{0pt}{1}{A\;\;B}{\,A'\:B'}\,
975: \boldsymbol{\Delta}\Bigl|x\right)=
976: \mathfrak{I}_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\biggl|\boldsymbol{\Delta}\right).
977: \end{equation}
978: Taking the limit \eqref{limit} in both sides of \eqref{5parametric-reccurent} we obtain
979: \begin{multline}\label{5parametric-reccurent-1}
980: \mathfrak{I}_{m+1}\left(\genfrac{}{}{0pt}{1}{A\;\;B}{\,A'\:B'}\,
981: \boldsymbol{\Delta}\right)=\Theta_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{\,A'\:B'}\,
982: \boldsymbol{\Delta}\right)\times\\\times
983: \int |t|^{2(A+mg)}|t-1|^{2(B+mg)}\,|y|^{2(A'+mg)}|y-1|^{2(B'+mg)}\,
984: |t-y|^{-2(\boldsymbol{\Delta}+mg)}\cdot\\\cdot
985: \boldsymbol{\mathfrak{S}}_{m}\left(\genfrac{}{}{0pt}{1}
986: {\,\,\tilde{A}'\:\tilde{B}'}{\tilde{A}\;\,\tilde{B}}\,
987: \tilde{\boldsymbol{\Delta}}\Bigl|y\right)d^2t\,d^2y.
988: \end{multline}
989: Now we can apply recurrent relation \eqref{5parametric-reccurent} to the r.h.s. of \eqref{5parametric-reccurent-1} and finally we reduce integral $\mathfrak{I}_m\left(\genfrac{}{}{0pt}{1}{A\;\;B}{A'\:B'}\biggl|\boldsymbol{\Delta}\right)$ defined by eq \eqref{5-parametric-integral} to $4m$-dimensional integral.
990: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
991: \bibliographystyle{JHEP}
992: \bibliography{MyBib}
993: \end{document}
994: