## Lectures on affine Knizhnik-Zamolodchikov equations, quantum many body problems, Hecke algebras, and Macdonald theory

Last update: 28 April 2014

## Notes and References

This is an excerpt of the paper Lectures on affine Knizhnik-Zamolodchikov equations, quantum many body problems, Hecke algebras, and Macdonald theory by Ivan Cherednik, in collaboration with Etsuro Date, Kenji Iohara, Michio Jimbo, Masaki Kashiwara, Tetsuji Miwa, Masatoshi Noumi, and Yoshihisa Saito.

## Isomorphism theorems for the AKZ equation

We introduce the affine Hecke algebra ${ℋ}_{\mathrm{\Sigma }}^{t}$ and connect them with the degenerate affine Hecke algebra ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ using the monodromy of the AKZ equation. We also establish an isomorphism between the solution space of the AKZ equation and that of a quantum many body problem.

### Representations of ${ℋ}_{\mathrm{\Sigma }}^{\prime }$

In this section we define induced representations of ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{.}$

For $\lambda =\left({\lambda }_{1},\dots ,{\lambda }_{n}\right)\in {ℂ}^{n},$ the character of $ℂ\left[{x}_{1},\dots ,{x}_{n}\right]$ (i.e. a ring homomorphism $ℂ\left[{x}_{1},\dots ,{x}_{n}\right]\in ℂ\text{)}$ is an assignment ${x}_{i}↦{\lambda }_{i}\text{.}$ We denote it by $\lambda \text{.}$

Definition 3.1. We define an ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{-module}$ ${I}_{\lambda }$ as the representation induced from $\lambda \text{:}$ $Iλ= Indℂ[x1,…,xn]ℋΣ′ (λ)=ℋΣ′ ⊗ℂ[x1,…,xn] ℂλ. (3.1)$ Here ${ℂ}_{\lambda }$ is endowed with the $ℂ\left[{x}_{1},\dots ,{x}_{n}\right]\text{-module}$ structure by the character $\lambda \text{.}$

We have the Poincaré-Birkhoff-Witt type theorem for ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{.}$ Namely any $h\in {ℋ}_{\mathrm{\Sigma }}^{\prime }$ is expressed uniquely in either of the following ways: $h=∑w∈Wpw (x)w=∑w∈W wqw(x) (3.2)$ with ${p}_{w},{q}_{w}\in ℂ\left[{x}_{1},\dots ,{x}_{n}\right]\text{.}$ The existence results from the relations (2.32)-(2.34) in ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{.}$ Hence $Iλ=ℂ[W]= ⊕w∈Wℂw. (3.3)$ Thus ${I}_{\lambda }$ is $ℂ\left[W\right]$ as a $W\text{-module,}$ where the action of ${x}_{i}$ is determined by ${x}_{i}\left(e\right)={\lambda }_{i}e$ for the identity $e\in W\text{.}$ The action of ${x}_{i}$ on other elements of $ℂ\left[W\right]$ have to be determined using the defining relation (similar to the calculations in the Fock representation).

We also need another construction. Let $J$ be induced from the trivial character $+:W⟶ℂ,$ $w\to 1\text{.}$ Then $J=Indℂ[W]ℋΣ′ (+), (3.4)$ is isomorphic to $ℂ\left[{x}_{1},\dots ,{x}_{n}\right]$ as a vector space and moreover as a $ℂ\left[{x}_{1},\dots ,{x}_{n}\right]\text{-module.}$ To get finite-dimensional representations from $J,$ we use the coincidence of the center of ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ with the algebra of $W\text{-invariant}$ polynomials in ${x}_{i}\text{.}$ This theorem is due to Bernstein. The procedure is as follows. Let us fix an element $\lambda =\left({\lambda }_{1},\dots ,{\lambda }_{n}\right)\in {ℂ}^{n}$ and introduce the ideal ${L}_{\lambda }$ in $ℂ\left[{x}_{1},\dots ,{x}_{n}\right]$ generated by $p\left(x\right)-p\left(\lambda \right)$ for all $W\text{-invariant}$ polynomials $p\text{.}$ Set ${J}_{\lambda }=J/{L}_{\lambda }\text{.}$ Then ${J}_{\lambda }$ has a structure of ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{-module}$ by virtue of the Bernstein theorem.

We will also use the anti-involution $˚$ on ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{:}$ $xi∘=xi, si∘=si, (ab)∘=b∘ a∘,k∘=k. (3.5)$ Since the relations of ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ are self-dual it is well-defined. For an ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{-module}$ $V,$ we consider its dual ${\text{Hom}}_{ℂ}\left(V,ℂ\right)\text{.}$ The dual has an anti-action (a right action) of ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{.}$ Composing it with the anti-automorphism $˚,$ we get a natural (left) action of ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{.}$ We denote the resulting module by ${V}^{\circ }\text{.}$

We write ${\lambda }_{b}=\sum {k}_{i}{\lambda }_{i}$ for $b=\sum {k}_{i}{b}_{i}\text{.}$

Theorem 3.1.

 (a) ${I}_{\lambda }$ is irreducible if and only if ${\lambda }_{{\alpha }^{\vee }}\ne ±k$ for any $\alpha \in {\mathrm{\Sigma }}_{+}\text{.}$ (b) There exists a permutation $\lambda \prime$ of $\lambda$ (i.e. $\lambda \prime =w\left(\lambda \right)$ for $w\in W\text{)}$ such that ${\lambda }_{{\alpha }^{\vee }}^{\prime }\ne -k$  for any $\alpha \in {\mathrm{\Sigma }}_{+}\text{.}$ Then $Jλ≃Iλ′. (3.6)$ (c) For the longest element ${w}_{0}$ in $W,$ $Iλ∘= Iw0(λ) (3.7)$

A key lemma in proving Theorem 3.1 is

Lemma 3.2. ${I}_{\left(0,\dots ,0\right)}$ is irreducible.

The proof from [Che1995-2] is based on the intertwining operators of degenerate affine Hecke algebras (to be defined below). See also [KLu0862716, Kat1981, Rog1985] and the references therein (the non-degenerate case).

Definition 3.2. For $1\le i\le n$ we set $fi=fsi= si-kxai. (3.8)$ For $w\in W$ with a reduced decomposition $w={s}_{{i}_{n}}\cdots {s}_{{i}_{1}},$ ${f}_{w}={f}_{{i}_{n}}\cdots {f}_{{i}_{1}}\text{.}$ We call the elements ${f}_{w}$ intertwiners.

The elements ${f}_{w}$ belong to the localization of the degenerate affine Hecke algebra ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ by the $W\text{-invariant}$ polynomials. They give a certain 'baxterization' of $w,$ and are closely related to the Yang's $R\text{-matrix.}$ Let us show that ${f}_{w}$ does not depend on the choice of the reduced decomposition of $w\text{.}$

We have $fsixb= xsi(b) fsi, (3.9) fwxb= xw(b) fw. (3.10)$ Indeed, $(si-kxαi) xb=xsi(b) (si-kxαi), (3.11)$ which can be rewritten as follows: $sixb- xsi(b) si=-k xsi(b)-xbxαi. (3.12)$ Using the definition of ${x}_{b}$ (2.36), the right hand side of (3.12) is $k\left(b,{\alpha }_{i}\right)\text{.}$ So we come to (2.37). The relations (3.10) fix ${f}_{w}$ uniquely up to the multiplication on the right by functions in $x\text{.}$ The leading terms of ${f}_{w}$ being $w,$ they coincide for any reduced decompositions.

To demonstrate the role of intertwiners, let us check the irreducibility of ${I}_{\lambda }$ for generic $\lambda \text{.}$ First note that the vectors $\left\{{f}_{w}\left(e\right)\in {I}_{\lambda }\right\}$ are common eigenvectors of ${x}_{b},$ because $xbfw(e)= fwxw-1(b) (e)=λw-1(b) fw(e),$ For a generic $\lambda$ the eigenvalues are simple, hence these vectors are linearly independent. Now, any nonzero ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{-submodule}$ $A$ of ${I}_{\lambda }$ contains at least one eigenvector of ${x}_{b}\text{.}$ By the simplicity of eigenvalues, such an eigenvector must be in the form ${f}_{w}\left(e\right)$ for some $w\in W\text{.}$ On the other hand ${f}_{w}$ are invertible elements. Indeed, $fi-1= (1-k2xαi2)-1 fi.$ Therefore $e\in A\text{.}$ Since ${I}_{\lambda }$ is generated by $e,$ we conclude that $A={I}_{\lambda }\text{.}$

Actually this very reasoning leads to the proof of the Theorem (a),(b). However if $\lambda$ is arbitrary one must operate with the intertwiners much more carefully. It is necessary to multiply them by the denominators and remember that the invertibility does not hold for special $\lambda \text{.}$

Remark 3.1. The $ℋ\prime \text{-quotients}$ $A$ of ${J}_{\lambda }^{\circ }$ will be interpreted below as certain quotients of the $D\text{-module}$ representing the quantum many-body eigenvalue problem. A solution of the AKZ in ${J}_{\lambda }^{\circ }$ induces solutions in any of its $ℋ\prime \text{-quotients}$ (if $I$ is reducible). It gives a one-to-one correspondence between the $ℋ\prime \text{-submodules}$ (quotients, constituents) of $J$ and those of the $D\text{-modules}$ representing the quantum many-body eigenvalue problem. The description of the latter is an analytical problem. The classification of the former is a difficult question in the representation theory of Hecke algebras. For instance, the multiplicities of the irreducible constituents are described in terms of the Kazhdan-Lusztig polynomials. It is very interesting to combine the two approaches together.

### The monodromy of the AKZ equation

In this section we discuss the monodromy of the AKZ equation, which is a key ingredient in establishing the isomorphism between the AKZ equation in the representation ${J}_{\lambda }^{\circ }$ and the quantum many-body problem (QMBP) with the eigenvalue $\lambda \text{.}$

Let $U\prime$ be the open subset of ${ℂ}^{n}$ given by $U′= { u∈ℂn | ∏α∈Σ+ (euα-1) ≠0 } . (3.13)$ The lattice generated by ${b}_{1},\dots ,{b}_{n}$ will be denoted by $B\text{.}$ It is isomorphic to ${ℤ}^{n}$ and acts on ${ℂ}^{n}$ by translations. Namely, $b\left(u\right)=u+2\pi \sqrt{-1}b,$ where $b\in B\text{.}$ The semi-direct product $\stackrel{\sim }{W}=W⋉B$ is the so-called extended affine Weyl group, acting on ${ℂ}^{n}$ and leaving $U\prime$ invariant. Picking ${u}^{0}\in U\prime ,$ we set $π1=π1 (U′/W∼,u0).$ The group structure of ${\pi }_{1}$ is described as follows. Given an element $w\in \stackrel{\sim }{W},$ let ${\gamma }_{w}$ be a path from ${u}^{0}$ to ${w}^{-1}\left({u}^{0}\right)$ in $U\prime \text{.}$ For elements ${w}_{1},{w}_{2}\in \stackrel{\sim }{W},$ we define the composition ${\gamma }_{{w}_{2}}\circ {\gamma }_{{w}_{1}}$ of ${\gamma }_{{w}_{1}}$ and ${\gamma }_{{w}_{2}}$ as the path composed of ${\gamma }_{{w}_{1}}$ and the path ${\gamma }_{{w}_{2}}$ mapped by ${w}_{1}^{-1}$ (see Fig.5). The class of $\gamma$ will be denoted by $\stackrel{‾}{\gamma }\text{.}$ The map ${\stackrel{‾}{\gamma }}_{w}\to w$ is a homomorphism onto $\stackrel{\sim }{W}\text{.}$

It is convenient to choose ${u}^{0}$ and the generators of ${\pi }_{1}$ as follows. Set $\Re =\text{Re},$ $\Im =\text{Im},$ $C=(-1ℝ)n\ { u∈(-1ℝ)n | 0<ℑuα <2π for every α∈ Σ+ } .$ Then ${ℂ}^{n}\C$ is a simply connected open subset of $U\prime \text{.}$ Let us take ${u}^{0}\in {ℂ}^{n}$ such that $\Re {u}_{\alpha }^{0}\gg 0$ for $\alpha \in {\mathrm{\Sigma }}_{+}\text{.}$ For any element $w\in \stackrel{\sim }{W},$ we denote a path from ${u}^{0}$ to ${w}^{-1}\left({u}^{0}\right)$ in ${ℂ}^{n}\C$ by ${\gamma }_{w}\text{.}$ This condition simply means that whenever ${u}_{\alpha }\in iℝ$ intersects the imaginary axis it must go through the 'window' $0<\Im {u}_{\alpha }<2\pi \text{.}$ ${u}^{0} {\gamma }_{{w}_{1}} {w}_{1}^{-1}\left({u}^{0}\right) {\gamma }_{{w}_{2}} {w}_{1}^{-1} {w}_{2}^{-1}\left({u}^{0}\right) {w}_{1}^{-1}{w}_{2}^{-1}\left({u}^{0}\right) Figure. 5. Composition of paths$

For any element $w\in \stackrel{\sim }{W}$ we define an element ${\stackrel{‾}{\gamma }}_{w}$ of ${\pi }_{1}$ to be the image of ${\gamma }_{w}\text{.}$ Since ${ℂ}^{n}\C$ is simply connected, ${\stackrel{‾}{\gamma }}_{w}$ depends only on $w\text{.}$ We set ${\tau }_{i}={\gamma }_{{s}_{i}}$ and choose ${\chi }_{i}$ to be a path from ${u}^{0}$ to the point $u\prime$ with the same coordinates ${u}_{j}^{\prime }={u}_{j}^{0}$ for $j\ne i$ and ${u}_{i}^{\prime }={u}_{i}^{0}+2\pi \sqrt{-1}\text{.}$ The structure of ${\pi }_{1}$ is described in the following theorem from [Lek1981].

Theorem 3.3. $π1= ⟨ τ‾1,…, τ‾n, χ‾1,…, χ‾n ⟩ , (3.14) τ‾i satisfy the Coxeter relations, (3.15) [χ‾i,χ‾j]= [τ‾i,χ‾j]=0 (i≠j). (3.16) τ‾i-1 χ‾i τ‾i-1 =χ‾si(bi). (3.17)$ Here for $b=\sum _{i=1}^{n}{k}_{i}{b}_{i}$ we put $χ‾b= ∏i=1n χ‾iki. (3.18)$

Fig.6 proves the relation (3.17). It shows the ${u}_{i}\text{-coordinate}$ only, which is sufficient for this relation.

Let us introduce the affine Hecke algebra ${ℋ}_{\mathrm{\Sigma }}^{t}$ associated with a root system $\mathrm{\Sigma }$ as a quotient of the group algebra of ${\pi }_{1}$ by the quadratic relations.

Definition 3.3. The affine Hecke algebra associated with a root system $\mathrm{\Sigma }$ is an associative $ℂ\text{-algebra}$ generated by $1,$ ${T}_{1},\dots ,{T}_{n},$ ${X}_{1},\dots ,{X}_{n}$ with the following relations: $Ti satisfy the Coxeter relations. (3.19) [Xi,Xj]= [Ti,Xj]=0 i≠j, (3.20) Ti-1Xi Ti-1= Xsi(bi), (3.21) (Ti-t) (Ti+t-1) =0. (3.22)$ $0 2\pi \sqrt{-1} {\chi }_{{s}_{i}\left({b}_{i}\right)} {\chi }_{i} {s}_{i}\left({u}^{0}\right) {u}^{0} {\tau }_{i} {\tau }_{i} {s}_{i}\left({u}^{0}\right)+2\pi \sqrt{-1}{b}_{i} {u}^{0}+2\pi \sqrt{-1}{b}_{i} Figure. 6. Proof of the relation (3.17)$ The monomials ${X}_{b}$ are defined as in (3.18), $t\in {ℂ}^{*}\text{.}$ Here and above we mean the homogeneous Coxeter relations: ${T}_{i}{T}_{j}{T}_{i}\dots ={T}_{j}{T}_{i}{T}_{j}\dots ,$ ${m}_{ij}$ factors on each side, where ${m}_{ij}=2,3,4$ whenever the corresponding vertices in the Dynkin diagram are connected by $0,1,2$ laces.

Let $\mathrm{\Phi }$ be an invertible solution of the AKZ equation associated with $\mathrm{\Sigma },$ defined in a neighborhood of ${u}^{0}\text{.}$ Then, for $w\in \stackrel{\sim }{W},$ ${w}^{-1}\left(\mathrm{\Phi }\right)$ is defined near ${w}^{-1}\left({u}^{0}\right)$ (see (2.30)). Let $\gamma$ be a path in $U\prime$ from ${u}^{0}$ to ${w}^{-1}\left({u}^{0}\right)\text{.}$ Denote by ${\left({w}^{-1}\left(\mathrm{\Phi }\right)\right)}_{\stackrel{‾}{\gamma }}$ the analytic continuation of ${w}^{-1}\left(\mathrm{\Phi }\right)$ back to ${u}^{0}$ along the path $\gamma ,$ where $\stackrel{‾}{\gamma }$ denotes the class of $\gamma$ in the fundamental group ${\pi }_{1}\text{.}$ We will also use the projection homomorphism $\stackrel{\sim }{W}\to W$ sending $w=\stackrel{‾}{w}b$ to $\stackrel{‾}{w}$ for $b\in B,$ $\stackrel{‾}{w}\in W\text{.}$ Using this homomorphism we can extend the action of $W$ from (2.30) to $\stackrel{\sim }{W},$ multiplying $\mathrm{\Phi }$ on the left by $\stackrel{‾}{w}\text{.}$

Let us define the monodromy ${T}_{\stackrel{‾}{\gamma }}$ to be the ratio $Tγ‾= (w-1(Φ))γ‾-1 Φ=(Φ(w(u)))γ‾-1 ·w‾·Φ. (3.23)$ Here dot means the product in ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{.}$ Since $\mathrm{\Phi }$ and ${w}^{-1}\left(\mathrm{\Phi }\right)$ both satisfy the same AKZ equation, ${T}_{\stackrel{‾}{\gamma }}$ does not depend on $u\text{.}$ So it is an invariant of the homotopy class of $\gamma$ and is always invertible. If we choose ${u}^{0}$ and the paths ${\gamma }_{w}$ in ${ℂ}^{n}\C$ as above, then ${T}_{w}$ for $w\in \stackrel{\sim }{W}$ are well-defined. The monodromy is a homomorphism from ${\pi }_{1}$ (but not from $\stackrel{\sim }{W}\text{),}$ which readily results from the definition.

As a preparation for an explicit computation of $\left\{{T}_{w}\right\}$ in the next section, we shall introduce a special class of solutions $\mathrm{\Phi }\text{.}$

Proposition 3.4. For generic $\lambda ,$ there exists a unique solution ${\mathrm{\Phi }}_{\text{as}}\left(u\right)$ of the AKZ equation such that $Φas(u) = Φˆ(u) e∑i=1nuixi for (3.24) Φˆ(u) = 1+∑m=(m1,…,mn),mi≥0,m≠0 Φme-∑i=1nmiui, (3.25)$ where $\Re u⟶\infty ,$ and ${\mathrm{\Phi }}_{m}$ are independent of $u\text{.}$

We call the solution in the proposition the asymptotically free solution. To be more exact, we need either to complete ${ℋ}_{\mathrm{\Sigma }}^{\prime },$ or restrict ourselves with finite-dimensional representations of this algebra. Then establishing the the (local) convergence is easy. In these notes we will follow the second way. We give general formulas, which are quite rigorous in finite-dimensional representations (say, in the induced representations).

Let us examine the condition necessary for the existence of the asymptotically free solutions in the case of ${A}_{1}\text{.}$ A general consideration follows the same lines. In this case, $Φas(u)= (1+∑m>0Φme-mu) eux=Φˆ (u)eux. (3.26)$ The equation (2.39) leads to $∂Φˆ(u)∂u =kseu-1Φˆ (u)+[x,Φˆ(u)]. (3.27)$ Comparing the coefficients of ${e}^{-mu}\text{:}$ $-mΦm= [x,Φm]+ (terms with Φj,j>m). (3.28)$ Given a representation of ${ℋ}_{\mathrm{\Sigma }}^{\prime },$ we find ${\mathrm{\Phi }}_{m}$ assuming that $m+\text{ad}\left(x\right)$ is invertible for any $m>0$ in this representation. Therefore, setting $\text{Spec}\left(x\right)=\left\{{\mu }_{j}\right\},$ the conditions $m+{\mu }_{i}-{\mu }_{j}\ne 0,$ $m=1,2,\dots ,$ ensure the existence of the asymptotically free solutions. The convergence estimates are straightforward. These conditions are fulfilled in generic induced representations.

### Lusztig's isomorphisms via the monodromy

In this section we establish an isomorphism between ${ℋ}_{\mathrm{\Sigma }}^{t}$ and ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ using the monodromy of the AKZ equation.

Let us fix an invertible solution $\mathrm{\Phi }\left(u\right)$ of the AKZ system in a neighborhood of ${u}^{0}\in {U}^{*}={ℂ}^{n}\C\subset U\prime \text{.}$ The functions $\mathrm{\Phi }\left(w\left(u\right)\right)$ will be extended to ${u}^{0}$ through ${U}^{*}\text{.}$ Since ${ℋ}_{\mathrm{\Sigma }}$ is infinite-dimensional, we have to consider all formulas in finite dimensional representations. Once we get the final expressions it is not difficult to find a proper completion of the degenerate Hecke algebra for them.

Theorem 3.5 ([Che1991-4]). There exists a homomorphism from ${ℋ}_{\mathrm{\Sigma }}^{t}$ to ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ given by $Tj⟼Tj′, Xj⟼Xj′,$ where $Tj′=Φ (sj(u))-1 sjΦ(u), Xj′=Φ (u-2π-1bj)-1 Φ(u).$ If $t=\text{exp}\left(\pi \sqrt{-1}k\right)$ is sufficiently general (say, not a root of unity), then it is an isomorphism at the level of finite dimensional representations or after a proper completion.

Under the notation (3.23), ${T}_{j}^{\prime }={T}_{{\stackrel{‾}{\tau }}_{j}}$ and ${X}_{j}^{\prime }={T}_{{\stackrel{‾}{\chi }}_{j}}\text{.}$ Hence the relations (3.19)-(3.21) result from Theorem 3.3, and only the quadratic relations (3.22) need to be proved. We skip a simple direct proof since these relations follow from the exact formulas below.

Let us find the formulas for ${T}_{j}^{\prime }$ and ${X}_{j}^{\prime }$ for the asymptotically free solution ${\mathrm{\Phi }}_{\text{as}}\left(u\right)\text{.}$ Given $b\in B,$ we set $Xb=∏j=1n Xjkjfor b= ∑j=1nkjbj,$ and define ${X}_{b}^{\prime }$ analogously.

Theorem 3.6 ([Che1991-3]). Let us choose the asymptotically free solution ${\mathrm{\Phi }}_{\text{as}}\left(u\right)$ as $\mathrm{\Phi }\left(u\right)\text{.}$ Then

 (a) ${X}_{j}^{\prime }=\text{exp}\left(2\pi \sqrt{-1}{x}_{j}\right),$ (b) ${s}_{i}-\frac{k}{{x}_{{\alpha }_{i}}}=g\left({x}_{{\alpha }_{i}}\right)\left({T}_{i}^{\prime }+\frac{t-{t}^{-1}}{{{X}_{a}^{\prime }}^{-1}-1}\right),$
where the function $g\left(v\right)$ is defined by $g(v)= Γ(1+v)2 Γ(1+k+v) Γ(1-k+v) ,$ and (b) is in fact a formula for ${T}_{i}^{\prime }$ in terms of $\left\{s,x\right\}\text{.}$

We will give a sketch of the proof of Theorem 3.6. The statement (a) is immediate, since $Φas(u-2π-1bj) =Φˆ(u) e∑uixi-2π-1xj =Φas(u) e-2π-1xj.$ To prove the statement (b), we reduce the problem to the ${A}_{1}$ case. Let us fix the index $i$ $\text{(}1\le i\le n\text{).}$ Set $E\left(u\right)={e}^{\sum _{i=1}^{n}{u}_{i}{x}_{i}},$ so that ${\mathrm{\Phi }}_{\text{as}}\left(u\right)=\stackrel{ˆ}{\mathrm{\Phi }}\left(u\right)E\left(u\right)\text{.}$ Let us define ${\mathrm{\Phi }}^{\left(i\right)}\left(u\right)$ as follows: $Φ(i)(u)= Φ∞(i) (ui)E(u),$ where ${\mathrm{\Phi }}^{\infty \left(i\right)}\left({u}_{i}\right)=\underset{\Re {u}_{j}\to +\infty \left(j\ne i\right)}{\text{lim}}\stackrel{ˆ}{\mathrm{\Phi }}\left(u\right)\text{.}$ The AKZ system for ${\mathrm{\Phi }}^{\left(i\right)}\left(u\right)$ reads: $∂Φ(i)∂ui = (ksieui-1+xi) Φ(i), (3.29) ∂Φ(i)∂uj = xjΦ(i) (j≠i). (3.30)$ Reduction procedure. Since the monodromy ${T}_{i}^{\prime }$ does not depend on $u,$ the point ${u}^{0}$ and the path connecting ${u}^{0}$ and ${s}_{i}\left({u}^{0}\right)$ may be replaced by any deformations in $U\prime$ or their limits. Provided the existence, the resulting monodromy coincides with ${T}_{i}^{\prime }\text{.}$ For instance, ${T}_{i}^{\prime }$ equals $Ti(i)= (Φ(i)(si(u)))-1 siΦ(i)(u).$

Indeed, the latter is the limiting monodromy for a path with $\Re {u}_{j}$ $\text{(}j\ne i\text{)}$ approaching the infinity. We note that $\Re {u}_{j}\left({s}_{i}\left({u}^{0}\right)\right)\to +\infty$ if $\Re {u}_{j}\left({u}^{0}\right)$ does.

In the reduced equations (3.29) and (3.30), we may diminish the values, considering the subalgebra of ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ generated by ${x}_{j}$ $\text{(}1\le j\le n\text{),}$ and ${s}_{i}\text{.}$ In this algebra, the following elements are central: $xj(j≠i), xi-12xαi.$ Hence, if we define ${E}^{\left(i\right)}\left(u\right)$ by $E(i)(u)= e∑j=1nujxj-uixαi/2,$ it enjoys the following properties:

 (i) ${E}^{\left(i\right)}\left(u\right)$ commutes with ${s}_{i},$ (ii) ${E}^{\left(i\right)}\left({s}_{i}\left(u\right)\right)={E}^{\left(i\right)}\left(u\right)\text{.}$
The second property can be verified directly: $∑j(si(u))j xj-12(si(u))i xαi=∑j (uj-(ai,αj)ui) xj+12uixai =∑jujxj-12ui xai.$ We have used that ${\left({s}_{i}\left(u\right)\right)}_{j}=\left({\alpha }_{j},{s}_{i}\left(u\right)\right)$ and $\sum _{j}\left({a}_{i},{\alpha }_{j}\right){x}_{j}={x}_{{a}_{i}}\text{.}$ Setting $Φ∼(i)(u)= Φ(i)(u)E(i) (u)-1,$ the system of equations (3.29),(3.30) becomes precisely the AKZ equation for ${\stackrel{\sim }{\mathrm{\Phi }}}^{\left(i\right)}\left(u\right)$ in the ${A}_{1}$ case: $∂Φ∼(i)(u)∂ui = ( ksieui-1 +12xai ) Φ∼(i)(u), (3.31) ∂Φ∼(i)(u)∂uj = 0(j≠i). (3.32)$ Because of the above properties of ${E}^{\left(i\right)}\left(u\right),$ the monodromy of ${\stackrel{\sim }{\mathrm{\Phi }}}^{\left(i\right)}\left(u\right)$ coincides with ${T}_{i}^{\prime }\text{.}$ However ${\stackrel{\sim }{\mathrm{\Phi }}}^{\left(i\right)}\left(u\right)$ can be expressed in terms of the hypergeometric function, which conclude the proof up to a straightforward calculation.

To explain the structure of the formula for $T\prime ,$ let us involve the intertwiners of ${ℋ}_{\mathrm{\Sigma }}^{t}\text{.}$ They are defined similar to those in the degenerate case: $fi=si-kxai for ℋΣ′, Fi=Ti+ t-t-1Xai-1-1 for ℋΣt.$

Lemma 3.7. ${F}_{i}{X}_{b}={X}_{{s}_{i}\left(b\right)}{F}_{i}\text{.}$

It readily results from the definition of ${ℋ}_{\mathrm{\Sigma }}^{t}$ (cf. 3.10).

The image ${F}_{i}^{\prime }$ of ${F}_{i}$ in ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ with respect to the homomorphism constructed in Theorem 3.5 can be represented as ${F}_{i}^{\prime }={g}_{i}\left(x\right){f}_{i}$ for a function ${g}_{i}$ of $x\text{.}$ Indeed, ${f}_{i}{X}_{b}^{\prime }={X}_{{s}_{i}\left(b\right)}^{\prime }{f}_{i},$ which gives the proportionality. Recall that ${X}_{b}^{\prime }=\text{exp}\left(2\pi \sqrt{-1}{x}_{b}\right)\text{.}$ Here ${g}_{i}\left(x\right)$ must be of the form $g\left({x}_{{a}_{i}}\right)$ for a function $g$ in one variable, and can be calculated using the hypergeometric equation (3.31). We omit the details (see [Che1991-3]).

We note, that the quadratic relations for ${T}_{i}^{\prime }$ can be made quite obvious using the same reduction (the exact formulas above are not necessary). Set $i=1$ to simplify the indices. We switch from (3.31) to (2.18) with two variables ${z}_{1},{z}_{2}$ and a parameter ${z}_{0}\text{:}$ $∂Φ′∂zj= [ k(s1zj-zk) +Ωjzj-z0 ] Φ′(j=1,2,k=3-j). (3.33)$ When ${z}_{0}=0$ the substitutions are as follows $2x1=Ω1-Ω2 +ks1,u1=log (z1/z2),Φ ′=Φ(1)(u1) (z1z2)-1/2(Ω1+Ω2+ks1).$ The monodromy corresponding to the transposition of ${z}_{1}$ and ${z}_{2}$ for ${z}_{0}=0$ coincides with ${T}_{1}^{\prime }\text{.}$ It does not depend on ${z}_{0}$ up to a conjugation (the same reduction argument applied to the KZ-equation with three variables). Sending ${z}_{0}$ to infinity we eliminate the $\mathrm{\Omega }\text{-terms.}$ The monodromy of the resulting equation can be calculated immediately. Since it is conjugated to ${T}_{1}^{\prime }$ we get the desired quadratic relations.

Heckman in [Hec1987] used a similar reduction approach when calculating the monodromy of the quantum many-body problem (also called the Heckman-Opdam system). Our next aim is establishing an isomorphism of AKZ and the latter. Combining Heckman's formulas and mine for the AKZ, which coincide since the representation of ${ℋ}^{t}$ is the same, we readily conclude that these equations are isomorphic for generic $\lambda \text{.}$ This will be made much more constructive below. We will also consider any $\lambda \text{.}$

Remark 3.2. Let us apply Theorem 3.6 to the standard rational KZ equation in the ${GL}_{n}$ case. We calculated the monodromy of $∂Φ∂vi= ( k∑j>i sijevi-vj-1 -k∑j Taking special ${y}_{i}=k\sum _{j=i+1}^{n}{s}_{ij}$ and substituting ${z}_{i}={e}^{{v}_{i}},$ we come to $∂Φ∂zi=k ∑j≠i sijzi-zj Φ(1≤i≤n).$ It corresponds to the simplest ${\mathrm{\Omega }}_{ij}=0$ in (2.18). By the way, these $\left\{y\right\}$ induce a homomorphism from ${ℋ}_{n}^{\prime }$ to $ℂ{𝕊}_{n+1}$ due to Drinfeld. Diagonalizing the commuting elements $\sum _{j>i}{s}_{ij}$ we recover the monodromy computed by Tsuchiya-Kanie [TKa1988]. It also gives an explicit example of the general results on the monodromy of the rational KZ over Lie algebras due to Drinfeld and Kohno (see [Koh1987]).

Remark 3.3. In Theorems 3.5 and 3.6, we established the isomorphism $ℋΣt≃ ℋΣ′, Xj⟼t2xj,$ where $t={e}^{\pi \sqrt{-1}k}$ and represented it as a relation between the intertwiners of the degenerate and non-degenerate affine Hecke algebras: $Fj=Tj+ t-t-1Xaj-1-1 ⟼g(xaj) (sj-kxaj).$ This construction can be naturally generalized. In fact we need only a very mild restriction on $g\left(x\right)$ to get such a homomorphism. Normalizing the intertwiners to make them 'unitary' $\text{(}{f}^{2}=1={F}^{2}\text{),}$ we come to the simplest possible map: $Xj⟼t2xj, Fjt+t-t-1Xaj-1-1 ⟼sj-kxaj1-kxaj.$

Actually here we have four formulas in one since we can put the denominators on the right and on the left. One of them was found by Lusztig in [Lus1989].

### The isomorphism of AKZ and QMBP

Here we present the isomorphism between the AKZ equation and the quantum many-body problem (QMBP). The latter will appear as a 'trace' of the first.

We will need a variant of the general notion of monodromy by A. Grothendieck. Let us fix the notations: $wΦ(u)= Φ(w-1(u)) ,w=w‾b∈W∼ =W⋉B,u∈ℂn.$

Given a finite union $C$ of affine real closed half-hyperplanes, we set $U={ℂ}^{n}\C$ assuming that

 (i) $U$ does not contain 'bad hyperplanes' $\prod _{\alpha \in {\mathrm{\Sigma }}_{+}}\left({e}^{{u}_{\alpha }}-1\right)=0,$ (ii) $U$ is simply connected, (iii) $\left({ℂ}^{n}\\underset{w\in \stackrel{\sim }{W}}{\cup }w\left(C\right)\right)/\stackrel{\sim }{W}$ is connected.
We shall refer to such $C$ as a system of cutoffs. In §3.2, a special system of cutoffs $\left({U}^{*}\right)$ has been already used in order to compute the monodromy.

Let us fix a system of cutoffs $C$ and $U\text{.}$ Then for each $w\in \stackrel{\sim }{W}$ there is a path ${\gamma }_{w}$ (unique up to homotopy) joining ${u}^{0}$ and ${w}^{-1}\left({u}^{0}\right)\text{.}$ So the choice of $C$ implies a choice of representatives ${\stackrel{‾}{\gamma }}_{w}$ in the fundamental group ${\pi }_{1}\left(U\prime /\stackrel{\sim }{W},{u}^{0}\right)\text{.}$ Here $U\prime$ is the complement of the union of 'bad hyperplanes' (3.13).

We pick a solution $\mathrm{\Phi }$ of the AKZ equation in $U$ and define the monodromy function ${𝒯}_{w}$ $\text{(}w\in \stackrel{\sim }{W}\text{)}$ $w‾Φ=w-1 Φ·𝒯ww=w‾ b∈W∼. (3.34)$ Here $\mathrm{\Phi }$ is invertible at least at one point and is extended analytically to the whole $U\text{.}$ The values are in the endomorphisms of any finite-dimensional representation of ${ℋ}_{\mathrm{\Sigma }}^{\prime }$ (we will apply the construction to the induced representations).

The monodromy ${\left\{{𝒯}_{w}\right\}}_{w\in \stackrel{\sim }{W}}$ satisfies the following:

 (a) (1-cocycle condition) ${}^{{v}^{-1}}\left({𝒯}_{w}\right){𝒯}_{v}={𝒯}_{wv}\phantom{\rule{1em}{0ex}}\forall w,v\in \stackrel{\sim }{W},$ (b) $\frac{\partial }{\partial {u}_{i}}{𝒯}_{w}=0,$ and hence ${𝒯}_{w}$ is locally constant.
The property (b) holds since both $\mathrm{\Phi }$ and $w\left(\mathrm{\Phi }\right)={\stackrel{‾}{w}}^{w}\mathrm{\Phi }$ satisfy the same differential equation of the first order (the AKZ equation). It readily results in the invertibility of ${𝒯}_{w}$ on ${ℂ}^{n}-\underset{w\in \stackrel{\sim }{W}}{\cup }w\left(C\right)\text{.}$ The latter set is not connected, so $𝒯$ is not just a constant.

Next let us introduce the operators ${\sigma }_{w},{\sigma }_{w}^{\prime }$ $\text{(}w\in \stackrel{\sim }{W}\text{),}$ acting on functions $F$ on $U\text{:}$ $(σwF)(u) = (w-1F) (u)=F(w(u)) ,σi=σsi, (σw′F)(u) = (w-1F) (u)𝒯w, σi′=σsi′.$ The relations for the operators ${\sigma }_{w}^{\prime }$ are the same as for the permutations ${\sigma }_{w}\text{:}$ $a)σw′ σv′= σvw′, b)σw′ ub=uw-1(b) σw′, c)σw′∂b= ∂w-1(b) σw′,∂b (uα)=(b,α). (3.35)$ Note that the property a) follows from the $1\text{-cocycle}$ condition for ${\left\{{𝒯}_{w}\right\}}_{w\in \stackrel{\sim }{W}}\text{.}$ Indeed, $(σw′σv′) (F) = σw′ (σv′(F)) = σw′(v-1F𝒯v) = w-1 (v-1F𝒯v) 𝒯w = w-1v-1F (w-1𝒯v) 𝒯w = (vw)-1 F𝒯vw = σvw′(F).$

Let ${𝒮\text{ol}}_{\text{AKZ}}$ be the space of solutions of the AKZ equation with values in ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{.}$ When we consider the AKZ equation on a finite-dimensional ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{-module}$ $V,$ we will denote the space of its solutions by ${𝒮\text{ol}}_{\text{AKZ}}\left(V\right)\text{.}$ Starting with AKZ let us go to QMBP. In what follows, $\mathrm{\Phi }\in {𝒮\text{ol}}_{\text{AKZ}}$ or $\mathrm{\Phi }\in {𝒮\text{ol}}_{\text{AKZ}}\left(\text{End}\left(V\right)\right)\text{.}$ In the latter case all operators act on $\text{End}\left(V\right)\text{-valued}$ functions.

 (1) Using ${s}_{\alpha }\mathrm{\Phi }={\sigma }_{{s}_{\alpha }}^{\prime }\mathrm{\Phi },$ we rewrite the AKZ equation: $xiΦ = ( ∂∂ui-k ∑α∈Σ+ ναi sαeuα-1 ) Φ = ( ∂∂ui-k ∑α∈Σ+ ναi (euα-1)-1 σsα′ ) Φ(1≤i≤n).$ Let us denote: $𝒟i′=∂∂ui -k∑α∈Σ+ ναi (euα-1)-1 σsα′.$ The local invertibility of $\mathrm{\Phi }$ and the relations ${𝒟}_{i}^{\prime }\mathrm{\Phi }={x}_{i}\mathrm{\Phi }$ result in the commutativity $[𝒟i′,𝒟j′] =0∀i,j.$ Here one can use that the commutators do not contain the derivatives, which readily results from the relations for $\sigma \prime \text{.}$ Moreover, the commutativity follows from these relations algebraically. It was proved in [Che1992] (see [Che1994-3] for a more conceptual proof based on the induced representations). It also follows from the corresponding difference theory, where this and similar statements are much simpler (and completely conceptual). (2) Since the multiplication by ${x}_{i}$ commutes with ${𝒟}_{j}^{\prime },$ we get $p(x1,…,xn) Φ=p(𝒟1′,…,𝒟n′) Φ$ for any polynomial $p\in ℂ\left[{x}_{1},\dots ,{x}_{n}\right]\text{.}$ (3) For $\lambda =\left({\lambda }_{1},\dots ,{\lambda }_{n}\right)\in {ℂ}^{n}$ let us take an ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{-module}$ ${V}_{\lambda }$ with the following properties: $(i) p(x1,…,xn)= p(λ1,…,λn) on Vλ for any p∈ℂ[x1,…,xn]W, (3.36) (ii) there exists a linear map tr:Vλ⟶ ℂ satisfying tr(wa)=tr(a) ∀w∈W,a∈Vλ. (3.37)$

Let $p\left({x}_{1},\dots ,{x}_{n}\right)$ be a polynomial. Using the commutation relations (3.35), we can write $p(𝒟1′,…,𝒟n′) =∑w∈W D′w(p) σw′,$ where ${𝒟\prime }_{w}^{\left(p\right)}$ are differential operators (they do not contain $\sigma \prime \text{).}$ They are scalar and commute with ${ℋ}_{\mathrm{\Sigma }}^{\prime }\text{.}$ Thus $p(x1,…,xn)Φ =∑w∈W𝒟′w(p) σw′Φ=∑w∈W 𝒟′w(p)wΦ.$ Now, we assume that $p$ is $W\text{-invariant.}$ Applying tr (see (3.36) and (3.37)), we come to $p(λ1,…,λn) ψ=Lp′ψ for Lp′=∑w∈W 𝒟′w(p),$ where $ψ(u)=tr(Φ(u))$ is a $ℂ\text{-valued}$ function. The differential operators ${L}_{p}^{\prime }$ are $W\text{-invariant,}$ which follows from the same construction (we will reprove this algebraically below).

Let us introduce the trigonometric Dunkl operators ${𝒟}_{i}$ $\text{(}1\le i\le n\text{)}$ replacing $\sigma \prime$ by $\sigma \text{:}$ $𝒟i=∂∂ui-k ∑α∈Σ+ ναi(euα-1)-1 σsα.$ Repeating the above construction, define ${𝒟}^{\left(p\right)}$ for a $W\text{-invariant}$ polynomial $p$ by $p(𝒟1,…,𝒟n)= ∑w∈W𝒟w(p) σw.$ Since in the construction of ${L}_{p}^{\prime }$ and ${L}_{p}$ we use only the commutation relations (3.35) for ${\sigma }_{w}^{\prime }$ and ${\sigma }_{i}$ these operators just coincide. The trigonometric Dunkl operators are from [Che1991-2]. Dunkl introduced their rational counterparts (see also [Che1994-3] and references therein). When defining my operators I also used [Hec1991]. Heckman's 'global Dunkl operators' are sufficient to introduce QMBP, but do not commute.

We are now in a position to introduce the QMBP with the eigenvalue $\lambda =\left({\lambda }_{1},\dots ,{\lambda }_{n}\right)\in {ℂ}^{n}\text{.}$ It is the following system of differential equations for a $ℂ\text{-valued}$ function $\psi \text{.}$ $Lpψ=p(λ1,…,λn) ψ(p∈ℂ[x1,…,xn]W).$ It is known [HOp1987] (and easy to see by looking at the leading terms of ${L}_{p}\text{)}$ that the dimension of the space of solutions $\psi$ is $|W|\text{.}$

Summarizing, we come to the theorem.

Theorem 3.8. Applying $\text{tr}$ we get a homomorphism $tr:𝒮olAKZ (Vλ)⟶ 𝒮olQMBP (λ).$ Here ${𝒮\text{ol}}_{\text{QMBP}}\left(\lambda \right)$ denotes the space of solutions to QMBP with the eigenvalue $\lambda \text{.}$

We can say more for concrete represenatations, especially for the induced representations ${J}_{\lambda }^{\circ }$ (see (3.4)). We define the 'trace' $tr:Jλ∘⟶ℂ$ as the map dual to the embedding $ℂ⟶Jλ=ℂ [x1,…,xn] /Lλ$ sending $1$ to $1\in ℂ\left[{x}_{1},\dots ,{x}_{n}\right]\text{.}$ Here ${L}_{\lambda }$ denotes the ideal generated by $p\left(x\right)-p\left(\lambda \right),$ $p\in ℂ{\left[{x}_{1},\dots ,{x}_{n}\right]}^{W}\text{.}$ One easily checks that tr satisfies the conditions (3.37).

Theorem 3.9 ([Che1991-4]) For any $\lambda \in {ℂ}^{n},$ $\text{tr}$ gives an isomorphism $tr:𝒮olAKZ (Jλ∘)⟶∼ 𝒮olQMBP(λ).$

 Proof. The key observation: $for any ℋΣ′ -submodule 0≠M⊂ Jλ∘, we have tr |M≠0. (3.38)$ Indeed, if $0\ne f\in M,$ then there exists a polynomial $p\left(x\right)\in ℂ\left[{x}_{1},\dots ,{x}_{n}\right]$ such that $f\left(p\right)\ne 0\text{.}$ However $f\left(p\right)=\text{tr}\left(p\left(f\right)\right)\in \text{tr}\left(M\right)\text{.}$ To prove Theorem 3.9, it is enough to show the injectivity of tr, since the surjectivity will then follow by comparing the dimensions of the solution spaces (both of them are $|W|\text{).}$ So let us suppose that for $\phi \left(u\right)\in {𝒮\text{ol}}_{\text{AKZ}}\left({J}_{\lambda }^{\circ }\right)$ identically $tr(φ)=0. (3.39)$ We will show that $tr(ℋΣ′φ) =0. (3.40)$ Differentiating (3.39), $0=tr(∂φ∂ui) =k∑α∈Σ+ ναitr(sαeuα-1φ) +tr(xiφ).$ By the $W\text{-invariance}$ of $\text{tr},$ $\text{tr}\left({s}_{\alpha }\phi \right)=\text{tr}\left(\phi \right)=0\text{.}$ Hence $tr(xiφ)=0. (3.41)$ Differentiating this equation by ${u}_{j}$ we have $0=k∑α∈Σ+ ναjtr (xisαeuα-1φ) +tr(xixjφ).$ Using the commutation relations of ${x}_{j}$ and ${s}_{\alpha },$ we deduce from (3.39), (3.41) that $tr(xixjφ)=0.$ Proceeding in the same way, we establish that $tr(xi1⋯xilφ)=0$ for any ${i}_{1},\dots ,{i}_{l}\text{.}$ Combining this with the $W\text{-invariance}$ of tr, we get (3.40). For each ${u}^{0},$ consider the submodule $M={ℋ}_{\mathrm{\Sigma }}^{\prime }\phi \left({u}^{0}\right)\subset {J}_{\lambda }^{\circ }\text{.}$ Then $\text{tr}{|}_{M}=0,$ and from the key observation above, we deduce that $M=0\text{.}$ This completes the proof of Theorem 3.9. $\square$

The map from Theorem 3.9 was found by Matsuo [Mat1992] for induced representations ${I}_{\lambda }\text{.}$ He proved his theorem algebraically (without the passage through the trigonometric Dunkl operators discussed above) using an explicit presentation for AKZ in ${I}_{\lambda }\text{.}$ The isomorphism for ${J}_{\lambda }^{\circ }$ (or for ${I}_{\lambda }$ with properly ordered $\lambda$ - (3.6)) was established independently and simultaneously by Matsuo and the author in [Che1994-3]. He proved that a certain determinant is non-zero for properly ordered $\lambda \text{.}$ I used the modules $J\text{.}$ Matsuo was the first to conjecture that the QMBP (the Heckman-Opdam system) and a certain specialization of the trigonometric KZ from [Che1989] are isomorphic. The affine KZ were defined in full generality a bit later (in [Che1991-3]).

Let us give the formula for the simplest ${L}_{p}\text{.}$

Example 3.1. Let ${p}_{2}\left({x}_{1},\dots ,{x}_{n}\right)=\sum _{i=1}^{n}{x}_{{\alpha }_{i}}{x}_{i}\text{.}$ Then we have $L2=Lp2= ∑i=1n∂αi ∂i+∑α∈Σ+ (α,α) k(1-k)(euα-e-uα)2 +const.$ It was studied in [OPe1983].

Remark 3.4. More generally, let $A$ be a $ℂ\left[W\right]\text{-module}$ and $VA,λ= (Indℂ[W]ℋΣ′(A)/Lλ)∘.$ As before, ${L}_{\lambda }$ is the ideal generated by $p\left(x\right)-p\left(\lambda \right),$ $p\in ℂ{\left[{x}_{1},\dots ,{x}_{n}\right]}^{W}\text{.}$ Then the following holds $𝒮olAKZ(VA,λ) ⟶∼𝒮olQMBPA (λ)$ where now the right hand side means a matrix version of QMBP (sometimes it is called spin-QMBP). It was introduced in [Che1994-3] for the first time. It is a ceratin unification of the Haldane-Shastry model and that by Calogero-Sutherland.

For example, the $L\text{-operator}$ corresponding to ${p}_{2}$ above reads $L2=∑i=1n ∂αi∂i+ ∑α∈Σ+ (α,α) k(sα*-k) (euα-e-uα)2 +const,$ where by ${s}_{\alpha }^{*}$ we mean the image of ${s}_{\alpha }$ in $\text{Aut}\left(A\right)\text{.}$

### The ${GL}_{n}$ case

Let us describe AKZ and QMBP in the ${GL}_{n}$ case.

In §2.4, we introduced the degenerate affine Hecke algebra of type ${GL}_{n}\text{.}$ It is the algebra $ℋn′= ⟨ℂ𝕊n,y1,…,yn⟩$ subject to the following relations: $siyi-yi+1 si=k,si yj=yjsi (i≠j,j+1), yiyj=yjyi (1≤i,j≤n).$ As in §2.4, we will use the coordinates ${v}_{i}\text{.}$

To prepare the passage to the difference case, we conjugate the AKZ for ${GL}_{n}$ by the function ${\mathrm{\Delta }}^{k}$ for A $\mathrm{\Delta }=\prod _{i The equation becomes as follows: $∂Φ∂vi= ( k ( ∑j(>i) sij-1evi-vj-1- ∑j( Only in this form it can be quantized (see §4.2). The system is consistent and ${𝕊}_{n}\text{-invariant.}$

The corresponding Dunkl operators are given by the formula $𝒟i=∂∂vi-k ( ∑j(>i) (evi-vj-1)-1 (σij-1)- ∑j( Here ${\sigma }_{ij}$ stands for the transpositions of the coordinates: $σijvi=vj σij.$ Similarly, ${\sigma }_{w}$ means the permutation of the coordinates corresponding to ${w}^{-1}\text{.}$

The main point of the theory is that they satisfy the relations from the degenerate Hecke algebra: $[𝒟i,𝒟j]=0= [𝒟i,yj], i≠j,σi i+1 𝒟i-𝒟i+1σi i+1 =k.$ It holds for any root systems. This statement is from [Che1994-3]. In these notes we will deduce these relations from the difference theory (where they are almost obvious). These relations readily give that $p\left({𝒟}_{1},\dots ,{𝒟}_{n}\right)$ and the corresponding ${L}_{p}$ are $W\text{-invariant}$ for the $W\text{-invariant}$ polynomials. Use the description of the center of $ℋ\prime$ to see this.

In the case of ${GL}_{n},$ given symmetric $p\in ℂ{\left[{x}_{1},\dots ,{x}_{n}\right]}^{{𝕊}_{n}},$ $p(𝒟1,…,𝒟n)= ∑w∈𝕊n Dw(p)σw,$ where ${D}_{w}^{\left(p\right)}$ are scalar differential operators, $Lp=p(𝒟1,…,𝒟n) |symm.poly.=∑w∈𝕊n Dw(p).$ Let us take the elementary symmetric polynomials: $ew(x)= ∑i1<⋯ as $p,$ setting ${L}_{m}={L}_{{e}_{m}}\text{.}$ Clearly $L1=∑i=1n ∂∂vi.$ The next operator is: $L2=∑i

When we replace ${e}_{2}$ by $p=\sum _{i}{x}_{i}^{2},$ the corresponding $L\text{-operator}$ is conjugated (by ${\mathrm{\Delta }}^{k}\text{)}$ to the original Sutherland operator up to a constant term [Sut1971]. For special values of the parameter $k,$ these operators are the radial parts of the Laplace operators on the symmetric spaces. A particular case was considered by Koornwinder. The rational counterpart is due to Calogero. It is equivalent to a rational variant of the AKZ (an extension of the rational $W\text{-valued}$ KZ from [Che1989] by the $x\text{-s).}$ Here the ${J}_{\lambda }\text{-modules}$ cannot be represented as ${I}_{\lambda },$ the theorem holds in terms of $J$ only (see [Che1994-3]).