---
abstract: 'We explicitly write dowm integral formulas for solutions to Knizhnik-Zamolodchikov equations with coefficients in non-bounded – neither highest nor lowest weight – ${\mbox{\g sl}}_{n+1}$-modules. The formulas are closely related to WZNW model at a rational level.'
author:
- |
    Kenji Iohara[^1] , Feodor Malikov[^2] [^3]\
    Department of Mathematics, Kyoto University ,\
    Kyoto 606 Japan
date: 'Received: '
title:
-  
- '[ **Solutions to Knizhnik-Zamolodchikov equations with coefficients in non-bounded modules**]{}'
---

\[section\]

\[section\] \[theorem\][Example]{} \[theorem\][Examples]{}

\[theorem\][Remark]{} \[theorem\][Lemma]{}

[**Introduction**]{}
====================

Let ${\mbox{\g g}}$ be a finite-dimensional simple Lie algebra, ${\mbox{$\hat{{\mbox{\g g}}}$}}$ the corresponding non-twisted affine Lie algebra. Let $\lambda$ be a weight of ${\mbox{\g g}}$ , $M(\lambda,\,  k)$ ($M(\lambda,\, k)^{c}$ ) be the Verma ( contragredient Verma) module over ${\mbox{$\hat{{\mbox{\g g}}}$}}$ with the central charge $k$; for a ${\mbox{\g g}}-$module $V$ be denote by $V((z))$ the module of formal Laurent series in $z$ with coefficients in $V$, regarded as a ${\mbox{$\hat{{\mbox{\g g}}}$}}-$module with the central charge equal to 0.

Vertex operator is a ${\mbox{$\hat{{\mbox{\g g}}}$}}-$linear map $$\label{def_of_vert_op}
\Phi (z):\; M
(\lambda_{1},\,  k)\rightarrow
 M(\lambda_{2},\, k)^{c}\otimes V((z)).$$

If highest weights $(\lambda_{1},k),\cdots(\lambda_{N+1},k)$ are generic then and one may consider a product of vertex operators $\Phi_{N}(z_{N})\circ\cdots\circ\Phi_{1}(z_{1})$. Matrix element $\langle v_{\lambda_{N+1}}^{\ast},\,
\Phi_{N}(z_{N})\circ\cdots\circ\Phi_{1}(z_{1})
v_{\lambda_{1}}\rangle$ related to vacuum vectors is called a correlation function. One of the central results of conformal field theory ( see  [@kn_zam]) is that a correlation function satisifies a remarkable system of Knizhnik-Zamolodchikov equations. We prepare notations in order to write down the trigonometric form of Knizhnik-Zamolodchikov equations.

Let $${\mbox{\g g}}={\mbox{\g h}}\oplus\oplus_{\alpha\in\Delta}{\mbox{\g g}}_{\alpha}$$ be a root space decomposition. Fix an invariant inner product on ${\mbox{\g g}}$ and a basis $\{h_{i}\in{\mbox{\g h}},\;g_{\alpha}\in{\mbox{\g g}}_{\alpha}:\;1\leq i\leq
n,\;\alpha\in\Delta\}$ of ${\mbox{\g g}}$ so that $(h_{i},h_{j})=\delta_{i,j},\;(g_{\alpha},g_{\beta})=\delta_{\alpha,-\beta}$. For each $\mu\in{\mbox{\g h}}^{\ast}$ denote by $h_{\mu}$ an element of ${\mbox{\g h}}$ satisfying (and uniquely determined) by the condition $(h_{\mu},h)=\mu (h)$.

Set $$r=\frac{1}{2}\sum_{i=1}^{n}h_{i}\otimes
h_{i}+\sum_{\alpha\in\Delta_{+}}g_{\alpha}\otimes
g_{-\alpha}.$$ Being an element of $U({\mbox{\g g}})\otimes U({\mbox{\g g}})$ $r$ naturally acts on a tensor product of 2 ${\mbox{\g g}}-$modules. There are $N^{2}$ different ways to make it act on a tensor product of $N$ ${\mbox{\g g}}-$modules via the following $N^{2}$ embeddings of $U({\mbox{\g g}})^{\otimes 2}$ in $U({\mbox{\g g}})^{\otimes N}$: each of them is associated to a pair of numbers $1\leq
i,j\leq N$ and sends $$U({\mbox{\g g}})^{\otimes 2}\ni \omega\mapsto \omega_{ij}\in U({\mbox{\g g}})^{\otimes N},$$ so that $$\mbox{if } \omega =
\sum_{s}a_{s}\otimes b_{s}\mbox{ then }\omega_{ij}=\sum_{s}
\overbrace{\underbrace{1\otimes\cdots 1\otimes a_{s}}_{i}\otimes 1\otimes\cdots
\otimes 1\otimes
b_{s}}^{j}\otimes 1\otimes\cdots\otimes 1.$$

For a pair $1\leq i,j\leq N$ introduce the following function in 2 complex variables with values in $U({\mbox{\g g}})^{\otimes N}$: $$r(z_{i},z_{j})=\frac{r_{ij}z_{i}+r_{ji}z_{j}}{z_{i}-z_{j}}.$$

The correlation function $$\Psi (z)= \langle v_{\lambda_{N+1}}^{\ast}\,
\Phi_{N}(z_{N})\circ\cdots\circ\Phi_{1}(z_{1})
v_{\lambda_{1}}\rangle$$ satisfies the following system of differential equations

$$\begin{aligned}
\label{k_z_class}
(k+h^{\vee} )
z_{i}\frac{\partial\Psi}{\partial z_{i}}&=&
\{\sum_{j\neq
i}r_{ij}(z_{i},z_{j})-\frac{1}{2}(\lambda_{1}+\lambda_{N+1}+2\rho)^{(i)}\}\Psi,\\
1\leq &i&\leq N,\nonumber\end{aligned}$$

where $
h^{\vee}$ is the dual Coxeter number of ${\mbox{\g g}}$ and for each $\mu
\in{\mbox{\g h}}^{\ast}$ $\mu^{(i)}$ stands for the operator acting on $V_{1}\otimes\cdots\otimes V_{N}$ as $h_{\mu}$ applied to the $i-$th factor of $V_{1}\otimes\cdots\otimes V_{N}$.

To keep track of the parameters we will be referring to (\[k\_z\_class\]) as $KZ(\lambda_{N+1},\lambda_{1})$.

The deep theory of KZ equations has been developed by several authors (see e.g.  [@ts_kan; @sch_1; @sch_varch_1; @sch_varch_2] ) in the case when $V_{i}$ are highest weight modules. It has also been realized that this theory is relevant to physics applications in the case when $(\lambda_{i},k)$ is either integral or generic.Indeed, if conflicting with the above assumptions, some of $M(\lambda_{i},k)$ are reducible then the product $\Phi_{N}(z_{N})\circ\cdots\circ\Phi_{1}(z_{1})$ does not exist unless each of the operators $\Phi_{i}(z_{i})$ can be pushed down to a map $$\label{pushed_down_vert_op}
\Phi_{i} (z_{i}):\; L
(\lambda_{i},\,  k)\rightarrow
 L(\lambda_{i+1},\, k)\otimes V_{i}((z_{i})),$$ where $L(\lambda,k)$ stands for an irreducible highest weight module with the highest weight $(\lambda,k)$. In the case when $(\lambda,k)$ is an admissible weight (for example, dominant integral weight)  [@kac_wak] the last condition reduces to the [*singular vector decoupling condition*]{}: matrix elements of $\Phi_{i}(z_{i})$ related to singular vectors of $M(\lambda_{i})$ vanish. It is known  [@feig_sch_varch] that if each $(\lambda_{i},k)$ is dominant integral then everything goes through nicely, in particular, the Schechtman-Varchenko integral solutions to (\[k\_z\_class\]) come from products of vertex operators (\[pushed\_down\_vert\_op\]). However if the central charge is not integral it has been realized ( [@awata], see also  [@f_g_p_p_1; @f_g_p_p_2]) that the singular vector decoupling condition implies that $V_{i}$ is neither highest nor lowest weight module. Though some results for such models were obtained in  [@f_g_p_p_1; @f_g_p_p_2], where in particular the connection to quantum hamiltonian reduction was revealed, not much is known about KZ equations in this case.

In  [@feig_mal] a new method of constructing solutions to (\[k\_z\_class\]) was proposed which seems to be relevant to the problem. Let $G$ be a complex Lie group related to ${\mbox{\g g}}$, $F=G/B$ be a flag manifold and $F^{0}\subset F$ be the big cell. There is a family of embeddings of ${\mbox{\g g}}$ into the algebra of order 1 differential operators on $F^{0}$ $$\pi_{\mu}:{\mbox{\g g}}\rightarrow Diff^{1}(F^{0}),\;\mu\in{\mbox{\g h}}^{\ast}.$$ This makes the space of analytic functions on $F^{0}$ into a huge ${\mbox{\g g}}-$module. Different ${\mbox{\g g}}-$closed subspaces give realization of different ${\mbox{\g g}}-$modules. For example, contragredient Verma modules are realized in the space of polynomials on $F^{0}$, $\mu$ being the highest weight and a constant function being a highest weight vector; this observation has been extensively used recently with regards to Wakimoto modules  [@feig_fren_0; @bowkn; @aw_ts_yam]. The spaces of multi-valued functions give modules with quite different properties, the simplest example being that of ${\mbox{\g sl}}_{2}$: in this case the big cell is ${\mbox{${\bf C}$}}$, contragredient Verma modules are realized in ${\mbox{${\bf C}$}}[x]$; the space $x^{\nu}{\mbox{${\bf C}$}}[x,x^{-1}],\;\nu\in{\mbox{${\bf C}$}}$ is also closed under the action of ${\mbox{\g sl}}_{2}$ and the embedding $\pi_{\mu},\;\mu\in{\mbox{${\bf C}$}}$ makes it into generically irreducible ${\mbox{\g sl}}_{2}-$module. This module is transparently neither highest nor lowest weight one.

Regarding $V$ in (\[def\_of\_vert\_op\]) as a ${\mbox{\g g}}-$ module realized in functions on the big cell one identifies elements of $V((z))$ with functions of 2 groups of variables: $x$ and $z$, where $x$ stands for a ( vector ) coordinate on the big cell and $z$ is a coordinate on ${\mbox{${\bf C}$}}$. Likewise, the correlation function $$\Psi (z)= \langle v_{\lambda_{N+1}}^{\ast},\,
\Phi_{N}(z_{N})\circ\cdots\circ\Phi_{1}(z_{1})
v_{\lambda_{1}}\rangle$$ is identified with a function of $x^{(1)},\ldots,x^{(N)};z_{1},\ldots,z_{N}$ where $x^{(i)}$ is a coordinate on the $i-$th copy of the big cell, $z_{i}\in{\mbox{${\bf C}$}},\;1\leq i\leq N$. One of the advantages of this functional realization is that the emebedding $\pi_{\lambda}:{\mbox{\g g}}\rightarrow Diff^{1}(F^{0})$ lifts to the mapping of the group $G$: for $g\in{\mbox{\g g}}$ the exponent $\exp (-tg)$ is a well-defined operator.

Let $W$ be the Weyl group of $\widehat{{\mbox{\g g}}}$, $w=r_{m_{1}}r_{m_{2}}\cdots r_{m_{l}}\in W$ be a decomposition(not necessarily reduced),where $r_{m}$ denotes the reflection at the corresponding simple root. Set, $$\beta_{j}=\frac{2(r_{m_{l+2-j}}\cdots r_{m_{l}}\cdot
\lambda_{1},\alpha_{m_{l+1-j}})}
                  {(\alpha_{m_{l+1-j}},\alpha_{m_{l+1-j}})}+1,\;1\leq j \leq l
.$$

Given $$\Psi_{old} (z)= \langle v_{\lambda_{N+1}}^{\ast},\,
\Phi_{N}(z_{N})\circ\cdots\circ\Phi_{1}(z_{1})
v_{\lambda_{1}}\rangle,$$

set $$\label{our_solution_gener}
\Psi_{new}=\prod_{j=1}^{l}\Gamma(-\beta_{j})^{-1} \int
\{\exp(-t_{l}F_{m_{l}}) \cdots
\exp(-t_{1}F_{m_{1}})\Psi_{old}\}\prod_{j=1}^{l}t_{j}^{-\beta_{j}-1}\,
dt_{1}\cdots dt_{l},$$ where the integration is carried out over an arbitrary cycle of the highest homology group related to the multi-valued integrand. In (\[our\_solution\_gener\]) it is set that $E_{i},F_{i},H_{i},\;0\leq i\leq rk\,{\mbox{\g g}}$ are canonical Cartan generators of ${\mbox{$\hat{{\mbox{\g g}}}$}}$ and $E_{i},F_{i},H_{i},\;1\leq i\leq rk\,{\mbox{\g g}}$ are the ones coming from the inclusion ${\mbox{\g g}}\subset{\mbox{$\hat{{\mbox{\g g}}}$}}$.

$\Psi_{new}$ is a solution to $KZ(\lambda_{N+1},w\cdot\lambda_{1})$. \[our\_result\]

Theorem \[our\_result\] works as follows: given a solution to KZ it generates new ones labelled by elements of the affine Weyl group. In our notations the simplest solution to $KZ(\lambda_{N+1},\lambda_{1})$ is given by $$\begin{aligned}
\stackrel{\circ}{\Psi}_{old} =&\prod_{i<j}&(z_{i}-z_{j})^{2(\mu_{i},\mu_{j}) /
(k+h^{\vee})}(z_{i}z_{j}) ^{-(\mu_{i},\mu_{j}) / (k+h^{\vee})}\times\nonumber\\
&\prod_{i}&z_{i}^{(\lambda_{1}+\lambda_{N+1}+2\rho , \mu_{i}) /
2(k+h^{\vee})},\nonumber\end{aligned}$$ where $\mu_{i}$ is a highest weight of $V_{i}$, $1\leq i\leq N$. In particular, $\stackrel{\circ}{\Psi}_{old}$ is independent of $x'$s. The purpose of this paper is to explicitly write down the integral $$\begin{aligned}
& &\Psi_{new}=\stackrel{\circ}{\Psi}_{old}\times\nonumber\\
& &\prod_{j=1}^{l}\Gamma(-\beta_{j})^{-1} \int
\{\exp(-t_{l}F_{m_{l}}) \cdots
\exp(-t_{1}F_{m_{1}})1\}\prod_{j=1}^{l}t_{j}^{-\beta_{j}-1}\,
dt_{1}\cdots dt_{l},
\label{what_to_calc}\end{aligned}$$ for ${\mbox{\g g}}={\mbox{\g sl}}_{n+1}$, generalizing the calculation carried out in  [@feig_mal] for ${\mbox{\g sl}}_{2}$.

[**Remark.**]{} The integral representation of $\Psi_{new}$ in Theorem \[our\_result\] is nothing but the conventional definition of $F_{m_{l}}^{\beta_{l}}\cdots
F_{m_{1}}^{\beta_{1}}\cdot\Psi_{old}$. The latter comes from looking at the “matrix element” $$\langle v_{\lambda_{N+1}}^{\ast}\,
\Phi_{N}(z_{N})\circ\cdots\circ\Phi_{1}(z_{1})
F_{m_{1}}^{\beta_{1}}\cdots F_{m_{l}}^{\beta_{l}}
v_{\lambda_{1}}\rangle.$$ Though the expression $F_{m_{1}}^{\beta_{1}}\cdots F_{m_{l}}^{\beta_{l}}
v_{\lambda_{1}}$ is not understood as an element of $M(\lambda_{1},k)$, the powers are chosen in such a way that it formally satisfies the singular vector conditions  [@feig_mal; @malff], which makes the statement of Theorem \[our\_result\] almost obvious. One can similarly consider an expression $$\langle E_{m_{1}}^{\beta'_{1}}\cdots E_{m_{l}}^{\beta'_{l}}\cdot
 v_{\lambda_{N+1}}^{\ast}\, \Phi_{N}(z_{N})\circ\cdots\circ\Phi_{1}(z_{1})
v_{\lambda_{1}}\rangle,$$ for appropriate $\beta'_{1},\ldots\beta'_{l}$ and write down another solution in the form close to (\[our\_solution\_gener\]) but with $F'$s replaced with $E'$s or combine both methods or, finally, apply them to other solutions obtained in  [@sch_varch_1; @f_g_p_p_1; @f_g_p_p_2].

As to relation of our solution (\[our\_solution\_gener\]) to correlation functions, we have been able to verify in simplest cases that (\[our\_solution\_gener\]) indeed gives a matrix element of a product of vertex operators and hope that (\[our\_solution\_gener\]) will prove useful for investigation of other rational level models.

[**Acknowledgements.**]{} Our thanks are due to M.Jimbo for his interest in the work. Results of the work were announced when F.M. visited the National Laboratory for High Energy Physics in Tsukuba. F.M. is obliged to H.Awata and Y.Yamada for their hearty hospitality and interesting discussions.

[**Integral formulas for soilutions of $KZ(\lambda_{N+1},
\lambda_{1})$** ]{}
=========================================================

[**Main result**]{}
-------------------

Here we are going to write down the integral (\[what\_to\_calc\]) in the case of ${\mbox{\g g}}={\mbox{\g sl}}_{n+1},\;
{\mbox{$\hat{{\mbox{\g g}}}$}}=\widehat{{\mbox{\g sl}}_{n+1}}$. In this case there are $3(n+1)$ Cartan generators $E_{i},F_{i},H_{i},\;0\leq i\leq n$, where $E_{i},F_{i},H_{i},\;1\leq i\leq n$ are the ones coming from the inclusion ${\mbox{\g g}}\subset{\mbox{$\hat{{\mbox{\g g}}}$}}$. Explicitly the generators are described as follows. If $e_{ij}=(a_{st})$ is an $(n+1)\times (n+1)$ matrix then $E_{i}=e_{ii+1},\;F_{i}=e_{i+1i},\;
H_{i}=e_{ii}-e_{i+1i+1}
,\; 1\leq i\leq n$ and $E_{0}=e_{n+11}\otimes z,\;F_{0}=e_{1n+1}\otimes z^{-1}$ ( see  [@kac_book] for details). The ${\mbox{\g g}}-$weight $\mu$ is considered as a vector $(\mu_{1},\ldots,
\mu_{n}),\;\mu_{i}=\mu(H_{i})$. The embedding $$\pi_{\mu}:\; {\mbox{\g sl}}_{n+1}\rightarrow Diff^{1}(F^{0}),\;\mu=(\mu_{1},\ldots,
\mu_{n})$$ is calculated in  [@feig_fren_0] (see also  [@bowkn]). To recall this result we choose coordinates of the big cell $F^{0}$ to be $\{x_{ij}:\,1\leq i<j\leq n\}$ identifying as usual the big cell with the subgroup of matrices $$\left( \begin{array}{lllll}
             1        & x_{11}  & \cdots & \cdots & x_{1 n} \\
                      & 1       & \ddots &        & \vdots  \\
                      &         & \ddots & \ddots & \vdots  \\
                      &         &        & \ddots & x_{n n} \\
             0        &         &        &        & 1       \\
         \end{array} \right).$$

For $1 \leq i \leq n$ set $$\partial_{x_{i j}}:=\frac{\partial}{\partial x_{ij}}.$$

Then $\pi_{\mu}$ acts on Cartan generators by $$E_{i}\mapsto -\partial_{x_{i i}}-
           \sum_{j=i+1}^{n}x_{i+1 j}\partial_{ x_{i j}} ,$$ $$F_{i}\mapsto x_{i i}\left(\sum_{j=1}^{i}x_{j i}\partial_{x_{j
i}}-\sum_{j=1}^{i-1}
          x_{j i-1}\partial_{x_{j i-1}}\right) -\sum_{j=i+1}^{n}x_{i
j}\partial_{x_{i+1,j}}
          +\sum_{j=1}^{i-1}x_{j i}\partial_{x_{j i-1}}+\mu_{i}x_{i i} .$$ Here $x_{i j}=0$ unless $1 \leq i \leq j \leq n$.

The matrix $e_{1n+1}$ may be written as $$e_{1n+1}:=[ \cdots [E_{1},E_{2}],
      \cdots ],E_{n}] .$$ Using the above formulas one proves the following

$$\pi_{\mu}( e_{1n+1})=-\partial_{x_{1 n}}$$

From now on till the end of this section we omit writing $\pi_{\mu}$ identifying Lie algebra elements with their images under $\pi_{\mu}$.

The action of the Lie algebra ${\mbox{$\hat{{\mbox{\g g}}}$}}$ on a function on $ F^{0}\times
{\mbox{${\bf C}$}}^{\ast}$ is determined by the evaluation map $g\otimes z^{k}\mapsto z^{k}g$. In particular

$$F_{0}=e_{1n+1}\otimes z^{-1}\mapsto -z^{-1}\partial_{x_{1 n}} .$$

The result of exponentiation of these formulas is given by

.

\[g-action\]

\(i) If $\mu = 0$ then $$\begin{array}{l}
   1) \exp (-tF_{0}):x_{k l} \longmapsto
    \left\{ \begin{array}{ll}
             z^{-1}t+x_{1 n} & \mbox{(k,l)=(1,n)} \\
             x_{k l}         & \mbox{otherwise}   \\
            \end{array} \right.\\
   2) \exp (-tF_{i}):x_{k l} \longmapsto
    \left\{ \begin{array}{ll}
             \frac{x_{k i}}{1+x_{i i}t} & \mbox{for $l=i$} \\
             -\left( x_{k i}-x_{k i-1}x_{i i} \right) t +x_{k i-1} & \mbox{for
$l=i-1$} \\
             x_{i l}t+x_{i+1 l} & \mbox{for $k=i+1$} \\
             x_{k l} & \mbox{otherwise} \end{array} \right. \\
  \end{array}$$

\(ii) Generically $$\exp(-tF_{i}).\psi(x)=(1+x_{i i}t)^{\mu_{i}}\psi(x'),\;1\leq i\leq n$$ where $x'$ is given by the substitution of the item (i) while action of $F_{0}$ is independent of $\mu$.

[**Proof**]{}

If $\mu =0$ then all $F$’s are vector fields. The problem of evaluating an exponent of a vector field is, actually, a problem of the theory of ordinary differential equations: the exponent of a vector field is an element of a 1-parametric family of diffeomorphisms generated by the vector field and, therefore, is given by a general solution to the corresponding system of o.d.e.’s. In our case the system and the solution are (resp.):

1): $$\dot{x}_{k l} =\delta_{k1}\delta_{ln}z^{-1}  \Longrightarrow  x_{1n}=z^{-1}t
+x_{1n};$$ 2): $$\begin{array}{lll}
     \dot{x}_{i i} = x_{i i}^2 & \Longrightarrow & x_{i i}=\frac{x_{i
i}(0)}{1-x_{i i}(0)t} \\
    \dot{x}_{j i} = x_{i i}x_{j i} & \Longrightarrow & x_{j i}=\frac{x_{j
i}(0)}{1-x_{i i}(0)t} \\
    \dot{x}_{j i-1} = x_{j i}-x_{j i-1}x_{i i} & \Longrightarrow
    & x_{j i-1}=\left( x_{j i}(0)-x_{j i-1}(0)x_{i i}(0) \right) t+x_{j i-1}(0)
\\
    \dot{x}_{i+1 j}=-x_{i j} \; \dot{x_{i j}}=0 \; \mbox{for $j \geq i+1$}
    & \Longrightarrow & x_{i j}=x_{i j}(0) \\
     & \Longrightarrow & x_{i+1 j}=-x_{i j}(0)t+x_{i+1 j}(0) \\
   \end{array},$$ which completes proof of the item (i). As to the item (ii), one shows that any order 1 diffrential operator is conjugated to a vector field by the multiplication by a function it annihilates. This implies (ii) since $ F_{i}\cdot ( x_{ii}^{-\mu_{i}})=0$. [**Q.E.D.**]{}

Now by using all this one can calculate the integrand of (\[what\_to\_calc\]).But to formulate the result it is convenient to give some more notations.

Set $$T=(t_{i j}):= \left(\begin{array}{llll}
                   x_{1 1} & \cdots & \cdots & x_{1 n} \\
                      1    & \ddots &        & \vdots  \\
                           & \ddots & \ddots & \vdots  \\
                      0    &        &    1   & x_{n n} \\
                  \end{array} \right) ;$$ for $1\leq i_{k} \leq i_{k-1} \leq \cdots \leq i_{1} \leq j$ , $j+k\leq n+1$, $$I_{i_{1},i_{2},\cdots ,i_{k}}^{j}:=\{j+1-i_{1},j+2-i_{2},\cdots ,j+k-i_{k}\}$$ $$J_{k}^{j}:=\{j,j+1,\cdots ,j+k-1\}$$ $$T_{i_{1},i_{2},\cdots i_{k}}^{j}:=(t_{i j})_{i \in I_{i_{1},i_{2},\cdots
,i_{k}}^{j}
                                               ,j \in J_{k}^{j}}$$ $$Q_{i_{1},i_{2},\cdots i_{k}}^{j}:=\left\{\begin{array}{cl}
                           \det(T_{i_{1},i_{2},\cdots i_{k}}^{j}) & \mbox{for
$k>0$} \\
                                          1                       & \mbox{for
$k=0$} \\
                           \end{array} \right.$$

Introduce a collection of functions on the big cell along with an ordering on it.

[**Definition**]{} We write $$\begin{array}[t]{ll}
 & \begin{array}[t]{l}
     Q_{i_{1},i_{2}, \cdots ,i_{k}}^{j}  \stackrel{F_{l}}{\longrightarrow}Q'\\
    \stackrel{\rm def}{\Longleftrightarrow}
    \exp(-tF_{l})Q_{i_{1},i_{2},\cdots ,i_{k}}^{j}=\left\{\begin{array}{cl}
 \frac{1}{1+x_{j j}t}\left\{ Q't+Q_{i_{1},i_{2},\cdots ,i_{k}}^{j} \right\} &
\mbox{for $l=j$} \\
                             Q't+Q_{i_{1},i_{2},\cdots ,i_{k}}^{j}
&\mbox{for $l\neq j$}\\
                     \end{array} \right. \\
     \end{array}  \\

   \end{array}$$ In the definition it is assumed that $\mu =0$.

\[action\] $$\begin{array}{llllc}

1) & Q_{i_{1},i_{2},\cdots ,i_{k}}^{j} &
\stackrel{F_{j+r-1-i_{r}}}{\longrightarrow}
   & Q_{i_{1},i_{2},\cdots ,i_{r}+1,\cdots ,i_{k}}^{j} & \mbox{for $1\leq r
\leq k$} \\
2) & Q_{i_{1},i_{2},\cdots ,i_{k}}^{j} & \stackrel{F_{j+k}}{\longrightarrow}
   & Q_{i_{1},i_{2},\cdots ,i_{k},1}^{j} &\mbox{for $k\geq 0$} \\
3) & Q_{j,i_{2},\cdots ,i_{n+1-j}}^{j} & \stackrel{F_{0}}{\longrightarrow}
   & (-1)^{n-j}Q_{i_{2}-1,\cdots ,i_{k'}-1}^{j}z^{-1}
   & \mbox{where}  \\
   & & & &k'-1:=\sharp \{r:\;r>2,i_{r}>1\}\\
   \end{array}$$ $$\mbox{Otherwise,$Q \stackrel{F_{l}}{\longrightarrow}0$}$$

The proof of this lemma is a standard calculation of linear algebra using Lemma \[g-action\]; in particular we use Laplace expansion of a certain determinant to prove 2).

The above definition suggests to introduce the following $n+1-$colored graph $\Gamma$. The set of vertices of $\Gamma$ is the set of all $Q\neq 0$ such that $$1 \stackrel{F_{j_{1}}}{\longrightarrow} Q_{1}
\stackrel{F_{j_{2}}}{\longrightarrow} Q_{2}
      \longrightarrow \cdots \longrightarrow Q_{r-1}
\stackrel{F_{j_{r}}}{\longrightarrow}, Q$$ for some $j_{1},\ldots,j_{r}$. It follows from Lemma \[action\] that each vertex is of the form $(-1)^{(n-j)r}Q_{i_{1},i_{2},\cdots i_{k}}^{j}z^{-r}$. Define a function on the set of vertices by $$l((-1)^{(n-j)r}Q_{i_{1},i_{2},\cdots
i_{k}}^{j}z^{-r})=(n+1)r+\sum_{p=1}^{k}i_{p}.$$

Two vertices $P,Q$ are connected by an edge of the color $i$ if and only if $$P \stackrel{F_{i}}{\longrightarrow} Q.$$ With any vertex $Q\in \Gamma$ associate a set ${\mbox{${\cal P}$}}(Q)$ of all oriented paths connecting 1 and $Q$.

\[length\] All $\gamma\in{\mbox{${\cal P}$}}((-1)^{(n-j)r}Q_{i_{1},i_{2},\cdots i_{k}}^{j}z^{-r})$ are of the same length $ l((-1)^{(n-j)r}Q_{i_{1},i_{2},\cdots i_{k}}^{j}z^{-r}).$

[**Proof**]{}

Lemma \[action\] shows that if there is an edge going from $P$ to $Q$ then $l(Q)=l(P)+1$. The lemma now follows from the obvious remark that $l(1)=0$.

[**Q.E.D**]{}

We are in a position to write down the integral (\[what\_to\_calc\]). Recall that $W$ is the Weyl group of $\widehat{{\mbox{\g g}}}$ and $w=r_{m_{1}}r_{m_{2}}\cdots r_{m_{l}}\in W$ is a decomposition (not necessarily reduced),where $r_{m}$ denotes the reflection at the corresponding simple root $ (\alpha_{m}) $. $m$ can be viewed as a map from $I_{1}(=\{1,2,\cdots,l\})$ to $I_{2}(=\{0,1,\cdots ,n\})$.Therefore,$m^{-1}(j),\;j\in I_{2},$ is a subset of $I_{1}$. Set, $$\beta_{j}=\frac{2(r_{m_{l+2-j}}\cdots r_{m_{l}}\cdot
\lambda_{1},\alpha_{m_{l+1-j}})}
                  {(\alpha_{m_{l+1-j}},\alpha_{m_{l+1-j}})}+1,\;1\leq j\leq l$$ and $$K_{w}(t_{1},t_{2},\cdots
,t_{l})=\prod_{j=1}^{l}\Gamma(-\beta_{j})^{-1}\times
\{\exp(-t_{l}F_{m_{l}}) \cdots
\exp(-t_{1}F_{m_{1}})\prod_{j=1}^{l}t_{j}^{-\beta_{j}-1}1\},$$ where $1$ is viewed as an element of $ V_{1}\otimes\cdots\otimes V_{N}$ equal to the unit function on the product of $N$ copies of the flag manifold. With any path $$\gamma:\;1 \stackrel{F_{j_{1}}}{\longrightarrow} Q_{1}
\stackrel{F_{j_{2}}}{\longrightarrow} Q_{2}
      \longrightarrow \cdots \longrightarrow Q_{r-1}
\stackrel{F_{j_{r}}}{\longrightarrow}
Q,\;r=l(Q)$$ associate a polynomial in $t'$s: $$f_{\gamma}(t)=\sum_{p_{1}<\ldots <p_{r},p_{i}\in
m^{-1}(j_{i})}t_{p_{1}}t_{p_{2}}\cdots
t_{p_{r}}.$$ ( This is the only point where the decomposition $w=r_{m_{1}}r_{m_{2}}\cdots
r_{m_{l}}$ enters the calculation.) Denote by $\Gamma^{j}$ the subgraph of $\Gamma$ consisting of all vertices connected with $Q^{j}_{1}$ by an oriented path. It is equivalently defined as a subgraph generated by all vertices $(-1)^{(n-j)r}Q_{i_{1},i_{2},\cdots i_{k}}^{j}z^{-r}$ with the fixed superscript $j$. Set $$\label{form_kern_1}
 P_{w}^{j}(x,z;t_{1},t_{2},\cdots ,t_{l})=
   \sum_{l'=0}^{l}\;\sum_{Q\in\Gamma^{j}:l(Q)=l'}Q\sum_{\gamma\in
{\mbox{${\cal P}$}}(Q)}f_{\gamma}(t).$$

\[th\_form\_kern\_2\] $$\label{form_kern_2}
 K_{w}(t_{1},t_{2},\cdots t_{l})=\prod_{j=1}^{l}\Gamma(-\beta_{j})^{-1}
   \prod_{p=1}^{N}\prod_{j=1}^{n}\{P_{w}^{j}(x^{(p)},z_{p};t_{1},t_{2},\cdots
,t_{l})\}^{\mu^{(p)}_{j}}
   \prod_{j=1}^{l}t_{j}^{-\beta_{j}-1},$$ where $\mu^{(p)}=(\mu^{(p)}_{1},\ldots,\mu^{(p)}_{n}),\;1\leq p\leq N$, is a highest weight of $V_{p}$ and $x^{(p)},\;1\leq p\leq N$, is a coordinate in the $p-$th copy of the flag manifold.

This theorem can be proved by induction on $l$ using Lemma\[action\] and Lemma\[length\].

Let ${\cal M}$ be the local system of continuous branches of $K_{w}(t_{1},\cdots ,t_{l})$ over the Domain of $K_{w}(t_{1},\cdots ,t_{l})$(say ${\cal D}$ ).Then finally we obtain

\[final\_theorem\_konec\] For any $\sigma \in H_{l}({\cal M},{\cal D})$,the integral $$\stackrel{\circ}{\Psi} \int_{\sigma}K_{w}(t_{1},t_{2},\cdots
,t_{l})dt_{1}dt_{2}\cdots dt_{l}$$ satisfies the system $ KZ(\lambda_{N+1},w\cdot \lambda_{1}) $

[**Remark.**]{} Theorem  \[final\_theorem\_konec\] gives solutions as an integral over a certain cycle depending on parameters $(x,z)$. These cycles belong to a homology group of a complement to a collection of hypersurfaces $K_{w}(t_{1},t_{2},\cdots ,t_{l})=0$ with coefficients in a local system defined over this complement. Note that generically ($l> 2$), and much unlike the case of Schechtman-Varchenko integral formulas, $K_{w}(t_{1},t_{2},\cdots
,t_{l})=0$ is a union of hypersurfaces not isomorphic to hyperplanes and, therefore, investigation of the integral cannot be carried out by usual methods. We have already encountered with the same phenomenon in a different but related framework. As we argued in the Introduction, our integral formulas are intimately related to ${\mbox{$\hat{{\mbox{\g g}}}$}}\mbox{ or }{\mbox{\g g}}-$modules extended by complex powers of a Lie algebra generators. Rigorous treatment of such modules requires consideration of a Lie algebra action on sections of a local system defined over a complement to – highly non-linear – set of “shifted” Schubert cells on a flag manifold; for details see  [@feig_mal].

Note also that if $l=1,2$ then $K_{w}(t_{1},t_{2},\cdots ,t_{l})=0$ is isomorphic to a union of affine hyperplanes and the number of cycles can be calculated using results of  [@sch_varch_2].

[**Some examples**]{}
---------------------

Theorem \[th\_form\_kern\_2\] produces rather an algorithm to write down the kernel of the integral ( \[what\_to\_calc\]) than a completely explicit formula for it: ( \[form\_kern\_2\]) relies on ( \[form\_kern\_1\]), while the latter is a linear combination of explicitly given polynomials $Q^{j}_{i_{1}\ldots i_{k}}z^{-r}$ with coefficients in the form $\sum_{p}t_{p_{1}}\cdots t_{p_{r}}$ determined by the combinatorial data. We have been able to “resolve” the combinatorial part of the formula in the cases ${\mbox{\g g}}={\mbox{\g sl}}_{2},\;{\mbox{\g sl}}_{3}$. Although the ${\mbox{\g sl}}_{2}-$case was treated in  [@malff], we discuss here both in a unified way for completeness.

[**The ${\mbox{\g sl}}_{2}-$case.**]{} In this case the flag manifold is ${\mbox{${\bf CP}$}}^{1}$, the big cell is ${\mbox{${\bf C}$}}\subset{\mbox{${\bf CP}$}}^{1}$. Fix a coordinate $x$ on ${\mbox{${\bf C}$}}$. Then the matrix $T$ ( via which the polynomials $
Q^{j}_{i_{1},\ldots,i_{k}}$ are defined) is given by $T=(x)$. The set of all $ Q^{j}_{i_{1},\ldots,i_{k}}$ consists of 2 elements: $Q^{1}=1,\;Q^{1}_{1}=x$. The vertices of the graph $\Gamma$ are all of the form: $A^{\epsilon}_{i}(x,z)=z^{-i}x^{\epsilon},\;\epsilon =0,1,\;i=0,1,2,3,\ldots$. Further, $\Gamma$ coincides with $\Gamma^{1}$ and is given by $$1\stackrel{F_{1}}{\longrightarrow}x\stackrel{F_{0}}{\longrightarrow}z^{-1}
\stackrel{F_{1}}{\longrightarrow}z^{-1}x
\stackrel{F_{0}}{\longrightarrow}z^{-2}
\stackrel{F_{1}}{\longrightarrow} z^{-2}x\cdots.$$

Observe that the Weyl group of $\widehat{{\mbox{\g sl}}}_{2}$ is a free group generated by 2 reflections $r_{0},\; r_{1}$ and, therefore, each element is uniquely expanded as either $$r_{0}r_{1}\cdots$$ or $$r_{1}r_{0}\cdots$$ the second one being relevant to our calculation. Setting $$w=\underbrace{r_{1}r_{0}\cdots r_{\epsilon}}_{l},$$

one obtains $$P_{w}(x,z;t_{1},\ldots ,t_{l})\;(=P_{w}^{1}(x,z;t_{1},\ldots
,t_{l}))\;=\sum_{\epsilon =0}^{1}
\sum_{i=0}^{l-\epsilon}z^{-i}x^{\epsilon}\sigma_{i+\epsilon}(t_{1},\ldots
,t_{l}),$$ $$\sigma_{j}(t_{1},\ldots ,t_{l})=
\sum_{0\leq i_{1} <i_{2}<\cdots <i_{j}< l/2} t_{2i_{1}+1}t_{2i_{2}+1}\cdots
t_{2i_{j}+1},$$ completing the ${\mbox{\g sl}}_{2}-$case.

[**The ${\mbox{\g sl}}_{3}-$case.**]{} The big cell is ${\mbox{${\bf C}$}}^{3}$ with coordinates $x_{1
1},x_{1 2},x_{2 2}$. The matrix T is given by $T=\left(\begin{array}{ll}
                                       x_{1 1} & x_{1 2} \\
                                           1   & x_{2 2} \end{array} \right)$. The set of all $Q_{i_{1},\cdots ,i_{k}}^{j}$ consists of 5 elements: $$Q^{1}=1,\; Q_1^{j}=x_{j j}(j=1,2) \; Q_{1 1}^{1}=x_{1 1}x_{2 2}-x_{1
2},Q_2^2=x_{1 2}$$.The graph $\Gamma$ and its subgraphs $\Gamma^{1},\;\Gamma^{2}$ are given by $$\begin{array}{lllllllllllll}
\Gamma_{1}: & & &Q_{1}^{1}& \stackrel{F_{2}}{\longrightarrow}&Q_{1 1}^{1}&
            \stackrel{F_{0}}{\longrightarrow} &
-z^{-1}&\stackrel{F_{1}}{\longrightarrow}&
               -z^{-1}Q_{1}^{1}&\stackrel{F_{2}}{\longrightarrow}&-z^{-1}Q_{1
1}^{1}&\cdots \\
            & &\stackrel{F_{1}}{\nearrow}& & & & & & & & & &\\
            &1&                          & & & & & & & & & &\\
            & &\stackrel{F_{2}}{\searrow}& & & & & & & & & &\\
\Gamma_{2}: & & &Q_{1}^{2}&
\stackrel{F_{1}}{\longrightarrow}&Q_{2}^{2}&\stackrel{F_{0}}{\longrightarrow}
            & z^{-1}&\stackrel{F_{2}}{\longrightarrow}&z^{-1}Q_{1}^{2}&
             \stackrel{F_{1}}{\longrightarrow}&z^{-1}Q_{2}^{2}&\cdots \\
\end{array}$$ The Weyl group $W$ of $ \widehat{{\mbox{\g sl}}_{3}} $ is realized as a group generated by reflections at a certain collection of affine lines on the plane ( see  [@kac_book] ). These lines produce a covering of the plane by triangles, called [*alcoves*]{}, which $W$ acts on effectively. Looking at this action one obtains a collection of elements of $W$ so that a reduced decomposition of any element of $W$ is contained in it:

Put $c:=r_{0}r_{1}r_{2}$($c$ is called a Coxeter element), then any $w\in W$ can be written as $w=sc^{k}tc^{-l}u$ where $s=e,r_{2},r_{1}r_{2}$ , $u=e,r_{2},r_{2}r_{1}$ ,$t=r_{0},r_{0}r_{1},r_{0}r_{1}r_{0}$ if $kl\neq 0$ and if $kl=0$, then $t$ can also be equal to $e$.

Further one obtains $$P^{j}_{w}(x,z;t_{1},t_{2},\cdots
,t_l)=\sum_{l'=0}^{l}A_{l'}^{j}f_{l'}^{j}(t),\;j=1,2,$$ where $$f_{l'}^{j}(t)=\sum_{p_1<p_2<\cdots <p_{l'},p_{i}\in m^{-1}((ji)_{3})}
                          t_{p_1}t_{p_2}\cdots t_{p_{l'}},$$ $(k)_{3}\in\{0,1,2\}$ signifies the residue of $k$ modulo 3 and $m:\;\{1,\ldots
l\}\rightarrow
\{0,1,2\}$ is a function determining a reduced decomposition of $w$, $$A_{l'}^{1}=\left\{\begin{array}{ccc } (-z)^{-q}&\mbox{ if }&l'=3q\\
(-z)^{-q}x_{11}&\mbox{ if }&l'=3q+1\\
(-z)^{-q}(x_{11}x_{22}-x_{12})&\mbox{ if }&l'=3q+2,
\end{array}\right.$$

$$A_{l'}^{2}=\left\{\begin{array}{ccc } z^{-q}&\mbox{ if }&l'=3q\\
z^{-q}x_{22}&\mbox{ if }&l'=3q+1\\
z^{-q}x_{12}&\mbox{ if }&l'=3q+2.
\end{array}\right.$$

[99]{}

Knizhnik V., Zamolodchikov A., [*Nucl.Phys.*]{} [**B 247**]{} (1984) 83 - 103

A.Tsuchiya, Y.Kanie, [*Adv. Stud. Pure Math.*]{} [**16**]{} 297-372

V.Schechtman, [*International Mathematics Research Notices*]{} [**3**]{} (1992), 39-49

V.Schechtman V., A.Varchenko, preprint, Max-Planck-Institut fur Mathematik MPI/89-51, 1989, [*Letters in Math. Phys.*]{} [**20**]{} 1990, 279-283

V.Schechtman , A.Varchenko, [*Invent.Math.*]{} [**106**]{}, 139-194

V.G.Kac, M. Wakimoto ,[*Proc. Nat’l Acad. Sci. USA*]{} [**85**]{} (1988) 4956-4960

B.Feigin, V.Schechtman, A.Varchenko, [*Letters in Math.Phys.*]{} [**20**]{} (1990), 291-297

Furlan P., Ganchev A.Ch., Paunov R., Petkova V.B., [*Phys.Letters*]{} [**267**]{} (1991) 63-70

Furlan P., Ganchev A.Ch., Paunov R., Petkova V.B., preprint CERN-TH.6289/91, accepted for publication in [*Nucl.Phys.B*]{}

Awata H.,Yamada Y., KEK-TH-316 KEK Preprint 91-209, January 1992

B.Feigin, F.Malikov, preprint RIMS-894 September 1992, to appear in [*Advances in Sov.Math.*]{}

B.Feigin , E.Frenkel , [*Usp.Math.Nauk*]{} (=[*Russ.Math.Surv.*]{}) [**43**]{} (1988) 227 - 228 ( in Russian )

P.Bowknegt, J.McCarthy, K.Pilch, [*Progress of Theoretical Physics*]{}, Supplement No.102 [**70**]{} (1988) 67-135

H.Awata, A.Tsuchiya, Y.Yamada, [*Nuclear Phys.*]{} [**B365**]{} (1991) 680-696

Malikov F.G., Feigin B.L., Fuchs D.B., [*Funkc.Anal.i ego Pril.*]{}(=[*Funct. Anal. Appl.*]{}) [**20**]{}(1988) 2, 25-37 (in Russian)

Kac V.G. [*Infinite-dimensional Lie algebras*]{},Cambridge University Press 1990

[^1]: e-mail address: iohara@kurims.kyoto-u.ac.jp

[^2]: Supported by the Japan Society for the Promotion of Science Post -Doctoral Fellowship for Foreign Researchers in Japan.

[^3]: Address after August, 1, 1993: Department of Mathematics Yale University New Haven CT 06520 USA; e-mail address: malikov@kusm.kyoto-u.ac.jp
