In Section 4, we introduce the Knizhnik-Zamolodchikov connection with coefficients in the degenerate GDAHA, and use it to construct the monodromy functor from the category of finite dimensional representations for the degenerate GDAHA to that for the nondegenerate one; this gives a large supply of finite dimensional representations of GDAHA in the affine case, by applying the monodromy functor to the representations from [EM, M, Ga] . This connection also allows us to construct a Riemann-Hilbert homomorphism between completions of the nondegenerate and the degenerate GDAHA, which gives another (more elementary) proof of the formal PBW theorem. We note however that although the formal PBW theorem for GDAHA is a purely algebraic statement, both proofs we give are based on the Riemann-Hilbert correspondence and therefore use complex analysis; we don't know a purely algebraic proof.

In Section 5, we study GDAHA in the case of affine $D$  . Unfortunately, outside of type ${\tilde{D}}_4$  , we are unable to establish any of the important properties of GDAHA (proved for usual DAHA of type A in [Ob1] ), and they are stated as conjectures. Basically, we expect that GDAHA are quantizations of spaces of Calogero-Moser type, which are (topologically trivial) deformations of Hilbert schemes of affine del Pezzo surfaces described above.

The main result of Section 5 is the construction of the parametrization of irreducible representations of GDAHA for $q=1$  by points of generalized relativistic Calogero-Moser spaces, which are defined as spaces of solutions of a certain multiplicative Deligne-Simpson problem. This parametrization is the non-degenerate analog of the parametrization in the degenerate case constructed in Section 2, and we conjecture it to be a bijection. With respect to these two parametrizations, the monodromy functor induces the usual Riemann-Hilbert map between solutions of the additive and multiplicative Deligne-Simpson problems (see e.g. [CB2] ).

We note that if $m$  is the number of “legs” of $D$  , then the monodromy maps discussed above depend on a choice of $m$  points ${\alpha }_1,...,{\alpha }_m$  on $\mathbb{C}{\mathbb{P}}^1$  , modulo fractional linear transformations. Thus, in the case ${\tilde{D}}_4$  , there is an essential parameter – the cross-ratio $\kappa$  (while in the other affine cases there is no such parameter). If one keeps the value of the monodromy fixed and varies $\kappa$  , one gets a flow on the space of solutions of the additive Deligne-Simpson problem (which is $2n$  -dimensional). In the case $n=1$  this is the Painlevé VI flow (see e.g. [EOR] , Section 7), so for $n>1$  this flow should be regarded as a higher rank analogue of Painlevé VI. Note that this flow for $n>1$  has an additional parameter (so it has 5 rather than 4 parameters); it would be interesting to study this flow in more detail, for instance write it down explicitly.

We expect that for any non-Dynkin graph there exist multiplicative analogs of the Gan-Ginzburg algebras ([GG] , Definition 1.2.3), which are higher rank generalizations of multiplicative preprojective algebras introduced in [CBS] .

Moreover, we expect that GDAHA are “spherical” subalgebras of the multiplicative Gan-Ginzburg algebras corresponding to the idempotent of the branching vertex. In the rank 1 case, this is shown by Crawley-Boevey and Shaw in the appendix to [EOR] .

Acknowledgments. The work of P.E. and A.O. was partially supported by the NSF grant DMS-9988796 the CRDF grant RM1-2545-MO-03. The work of W.L.G. was partially supported by the NSF grant DMS-0401509.

2 Rational GDAHA

2.1 Conventions

Throughout the paper, given an affine algebraic variety $X$  over $\mathbb{C}$  , a point $x\in X$  , and a module $M$  over $\mathbb{C}\left[X\right]$  , we will write $M\left(x\right)$  for the specialization of $M$  at $x$  .

Let $D$  be a star-like graph, i.e. a tree with one $m$  -valent vertex, called the node or the branching vertex, and the rest of the vertices 2and 1-valent (which form $m$  “legs” growing from the node). We will always assume that $D$  is not a finite Dynkin diagram. We label the legs of $D$  by numbers $1,...,m$  . Let $d_k$  be the number of vertices in the $k$  -th leg of $D$  , including the node. Let $I$  be the set of vertices of $D$  , and let $i_0\in I$  be the node. Let $i_1\left(k\right),\dots ,i_{d_k-1}\left(k\right)$  be the vertices of the $k$  -th leg of $D$  enumerated from the node.

Let $\gamma =\left({\gamma }_{kj}\right)$  , $k=1,...,m$  , $j=1,...,d_k$  , be a collection of variables, and $\nu$  an additional variable. It is easy to show that there exist unique ${\mu }_i={\mu }_i\left(\gamma \right)$  , $i\in I$  , and ${\xi }_k={\xi }_k\left(\gamma \right)$  , $k=1,...,m$  such that ${\xi }_1+...+{\xi }_m=0$  and

$$\begin{array}{c}{\gamma }_{kj}={\sum }_{p=1}^{j-1}{\mu }_{i_p}-\frac{{\mu }_{i_0}}{m}+{\xi }_k\end{array}$$

(2.1.1)

for all $j,k$  .

2.2 The definition of the rational GDAHA

Definition 2.2.1. The rational (or degenerate) generalized DAHA of rank $n$  attached to $D$  is the algebra $B_n$  generated over $\mathbb{C}[\gamma ,\nu ]$  by elements $Y_{i,k}$  (where $i=1,\dots ,n$  ; $k=1,\dots ,m$  ) and the symmetric group $S_n$  , with the following defining relations: for any $i,j,h\in [1,n]$  with $i\ne j$  , and $k,l\in [1,m]$  ,

$s_{ij}{Y}_{i,k}=Y_{j,k}{s}_{ij},s_{ij}{Y}_{h,k}=Y_{h,k}{s}_{ij}\text{if}h\ne i,j{,}^{d_k}{\prod }_{j=1}(Y_{i,k}-{\gamma }_{kj})=0,Y_{i,1}+Y_{i,2}+\cdots +Y_{i,m}=\nu {\sum }_{j\ne i}{s}_{ij},[Y_{i,k},Y_{j,k}]=\nu (Y_{i,k}-Y_{j,k})s_{ij},[Y_{i,k},Y_{j,l}]=0,k\ne l,$ 

where $s_{ij}\in S_n$  denotes the transposition $i\leftrightarrow j$  .

Remark 2.2.2. It is obvious that the algebra $B_n(\gamma ,\nu )$  does not change (up to an isomorphism) under the transformations of parameters ${\gamma }_{kj}\to {\gamma }_{kj}+{\sigma }_k$  , where ${\sigma }_k\in \mathbb{C}$  , ${\sigma }_1+...+{\sigma }_m=0$  (the required isomorphism is given by $Y_{i,k}\to Y_{i,k}+{\sigma }_k$  ). So the essential parameters of $B_n(\gamma ,\nu )$  are ${\mu }_i$  and $\nu$  , and there are $m$  “redundant” parameters ${\xi }_k$  . However, it is convenient to keep the redundant parameters to simplify the presentation. A similar remark applies to GDAHA defined in Section 3 below.

2.3 GDAHA and the Gan-Ginzburg algebras

We now recall some definitions from [GG] . Let $\mathbb{k}$  be a commutative ring.

Let $Q$  be a quiver, and denote by $I$  the set of vertices of $Q$  . The double $\overline{Q}$  of $Q$  is the quiver obtained from $Q$  by adding a reverse edge $\stackrel{a^{*}}{j\to i}$  for each edge $\stackrel{a}{i\to j}$  in $Q$  . If $\stackrel{a}{i\to j}$  is an edge in $\overline{Q}$  , we call $t\left(a\right):=i$  its tail, and $h\left(a\right):=j$  its head.

Let $R:={\oplus }_{i\in I}\mathbb{k}$  , and $E$  be the free $\mathbb{k}$  -module with basis formed by the set of edges $\{a\in \overline{Q}\}$  . Thus, $E$  is naturally a $R$  -bimodule and $E={\oplus }_{i,j\in I}{E}_{i,j}$  , where $E_{i,j}$  is spanned by the edges $a\in \overline{Q}$  with $h\left(a\right)=i$  and $t\left(a\right)=j$  . The path algebra of $\overline{Q}$  is $\mathbb{k}\overline{Q}:=T_{R}E={\oplus }_{n\ge 0}{T}_R^{n}E$  , where $T_R^{n}E=E{\otimes }_R\cdots {\otimes }_{R}E$  is the $n$  -fold tensor product. The trivial path for the vertex $i$  is denoted by $e_i$  , an idempotent in $R$  .

Let $n$  be a positive integer. Let $\mathsf{R}:=R^{\otimes n}$  . For any $\ell \in [1,n]$  , define the $\mathsf{R}$  -bimodules $${\mathsf{E}}_{\ell }:=R^{\otimes (\ell -1)}\otimes E\otimes R^{\otimes (n-\ell )}and\mathsf{E}:={\oplus }_{1\le \ell \le n}{\mathsf{E}}_{\ell }.$$  The natural inclusion ${\mathsf{E}}_{\ell }\hookrightarrow R^{\otimes (\ell -1)}\otimes T_{R}E\otimes R^{\otimes (n-\ell )}$  induces a canonical identification $T_{\mathsf{R}}{\mathsf{E}}_{\ell }=R^{\otimes (\ell -1)}\otimes T_{R}E\otimes R^{\otimes (n-\ell )}$  . Given two elements $\varepsilon \in {\mathsf{E}}_{\ell }$  and ${\varepsilon }^{\prime }\in {\mathsf{E}}_m$  of the form

$$\begin{array}{c}\varepsilon =e_{i_1}\otimes e_{i_2}\otimes \cdots \otimes a\otimes \cdots \otimes h\left(b\right)\otimes \cdots \otimes e_{i_n},\end{array}$$

(2.3.1)

$$\begin{array}{c}{\varepsilon }^{\prime }=e_{i_1}\otimes e_{i_2}\otimes \cdots \otimes t\left(a\right)\otimes \cdots \otimes b\otimes \cdots \otimes e_{i_n},\end{array}$$

(2.3.2)

where $\ell \ne m$  , $a,b\in \overline{Q}$  and $i_1,\dots ,i_n\in I$  , we define

$$\begin{array}{ccc}\lfloor \varepsilon ,{\varepsilon }^{\prime }\rfloor & :=& (e_{i_1}\otimes \cdots \otimes a\otimes \cdots \otimes h(b)\otimes \cdots \otimes e_{i_n})(e_{i_1}\otimes \cdots \otimes t(a)\otimes \cdots \otimes b\otimes \cdots \otimes e_{i_n})\end{array}$$

$$\begin{array}{ccc}& & -(e_{i_1}\otimes \cdots \otimes h(a)\otimes \cdots \otimes b\otimes \cdots \otimes e_{i_n})(e_{i_1}\otimes \cdots \otimes a\otimes \cdots \otimes t(b)\otimes \cdots \otimes e_{i_n}).\end{array}$$

Note that $\lfloor \varepsilon ,{\varepsilon }^{\prime }\rfloor$  is an element in $T_{\mathsf{R}}^2\mathsf{E}$  .

Definition 2.3.3 ([GG] , Defn. 1.2.3). For any $\mu =({\mu }_i{)}_{i\in I}$  , where ${\mu }_i\in \mathbb{k}$  , and $\nu \in \mathbb{k}$  , define the algebra ${\mathsf{A}}_n={\mathsf{A}}_{n,\mu ,\nu }$  to be the quotient of $T_{\mathsf{R}}\mathsf{E}\mathbb{\setminus }\mathbb{k}\left[S_n\right]$  by the following relations.

• $(\mathsf{i})$  For any $i_1,\dots ,i_n\in I$  and $\ell \in [1,n]$  :
  $$e_{i_1}\otimes \cdots \otimes \left({\sum }_{\{a\in Q|h\left(a\right)=i_{\ell }\}}a\cdot a^{*}-{\sum }_{\{a\in Q|t\left(a\right)=i_{\ell }\}}{a}^{*}\cdot a-{\mu }_{i_{\ell }}{e}_{i_{\ell }}\right)\otimes \cdots \otimes e_{i_n}=\nu {\sum }_{\{j\ne \ell |i_j=i_{\ell }\}}(e_{i_1}\otimes \cdots \otimes e_{i_{\ell }}\otimes \cdots \otimes e_{i_n})s_{j\ell }.$$ 
• $(\mathsf{i}\mathsf{i})$  For any $\varepsilon ,{\varepsilon }^{\prime }$  of the form ( 2.3.1 )–( 2.3.2 ): $\lfloor \varepsilon ,{\varepsilon }^{\prime }\rfloor =\{\begin{array}{cc}\nu (e_{i_1}\otimes \cdots \otimes h(a)\otimes \cdots \otimes t(a)\otimes \cdots \otimes e_{i_n})s_{\ell m}& \text{if}b\in Q\text{,}a=b^{*},\\ -\nu (e_{i_1}\otimes \cdots \otimes h(a)\otimes \cdots \otimes t(a)\otimes \cdots \otimes e_{i_n})s_{\ell m}& \text{if}a\in Q\text{,}b=a^{*},\\ 0& \text{else}.\end{array}$ 

Now, given a star-like graph $D$  , we let $Q=Q\left(D\right)$  be the quiver obtained from $D$  by assigning an orientation to the edges of $D$  so that they look away from the node. Let $e_i$  be the idempotent in ${\mathbb{C}}^I$  that corresponds to the vertex $i$  . Denote by ${\mathsf{A}}_n$  the algebra over $\mathbb{k}:=\mathbb{C}[\mu ,\nu ]$  associated to $Q$  defined Definition  2.3.3 .

Let $\xi =({\xi }_1,...,{\xi }_m)$  be a set of variables such that ${\xi }_1+...+{\xi }_m=0$  .

Proposition 2.3.4. There is a natural isomorphism $\phi :B_n\simeq e_{i_0}^{\otimes n}{\mathsf{A}}_n{e}_{i_0}^{\otimes n}\otimes \mathbb{C}\left[\xi \right]$  .

• Proof. In the case when $n=1$  and $D$  is affine, the proof is given in [Me] , see also [MOV] and [EOR,Prop.7.2] . In general, the proof is analogous.
  Namely, note that the algebra $B_n$  has a natural filtration defined by the condition $deg\left(Y_{i,k}\right)=2$  ; similarly ${\mathsf{A}}_n$  has a filtration defined by giving the edges of $\overline{Q}$  degree 1. Let $h_k$  be the edge of $\overline{Q}$  that starts at $i_0$  and goes along the $k$  -th leg of $\overline{Q}$  . Let $h_k^{*}$  be the edge of $\overline{Q}$  opposite to $h_k$  . Then we can define a filtration preserving homomorphism $\phi :B_n\to e_{i_0}^{\otimes n}{\mathsf{A}}_n{e}_{i_0}^{\otimes n}\otimes \mathbb{C}\left[\xi \right]$  by the formula $$\phi \left(Y_{i,k}\right)=e_{i_0}^{\otimes i-1}\otimes (h_k^{*}{h}_k+({\xi }_k-\frac{{\mu }_{i_0}}{m}\left)e_{i_0}\right)\otimes e_{i_0}^{\otimes n-i}$$  for all $i,k$  . It is clear that $gr\left(B_n\right)$  is a quotient of $B_n(0,0)[\gamma ,\nu ]$  , and it is shown in [GG] that $gr{\mathsf{A}}_n={\mathsf{A}}_n(0,0)[\mu ,\nu ]$  . Also, by Theorem 1 in [Me] , the specialization of $\phi$  at $(0,0)$  is an isomorphism. Thus $gr\phi$  is an isomorphism and hence $\phi$  is an isomorphism, and the proposition is proved. □

Proposition  2.3.4 and the results of [GG] imply the following corollary.

Corollary 2.3.5. The natural homomorphism $B_n(0,0)[\gamma ,\nu ]\to gr{B}_n$  is an isomorphism, and thus $B_n$  is a free $\mathbb{C}[\gamma ,\nu ]$  -module.

Assume now that $D$  is affine. Let $\mathsf{H}(\mathbf{\Gamma }n)$  be the symplectic reflection algebra associated (as in [EG] ) to the wreath product group $\mathbf{\Gamma }n=S_n\mathbb{⋉}{\Gamma }^n$  , where $\Gamma$  is the finite subgroup of $SL(2,\mathbb{C})$  corresponding to $D$  . Let $V_i$  be the representation of $\Gamma$  corresponding to the vertex $i\in I$  under the McKay correspondence, and let $e_i\in \mathbb{C}[\Gamma ]$  be a primitive idempotent of this representation. Let $p={\sum }_i{e}_i$  . Then $p^{\otimes n}\in \mathbb{C}[\mathbf{\Gamma }n]$  It is shown in [GG] that $p^{\otimes n}\mathsf{H}(\mathbf{\Gamma }n)p^{\otimes n}={\mathsf{A}}_n$  . This fact and Proposition  2.3.4 imply the following.

Corollary 2.3.6. There is a natural isomorphism $\psi :B_n\to e_{i_0}^{\otimes n}\mathsf{H}(\mathbf{\Gamma }n)e_{i_0}^{\otimes n}\otimes \mathbb{C}\left[\xi \right]$  .

2.4 The degenerate cyclotomic Hecke algebra

In this subsection we define the degenerate version of the Ariki-Koike cyclotomic Hecke algebra.

Let $\ell$  be a positive integer, and $\lambda =({\lambda }_1,...,{\lambda }_{\ell })$  be a collection of variables.

Definition 2.4.1. The degenerate cyclotomic Hecke algebra ${\mathbf{B}}_{n,\ell }$  is the algebra over $\mathbb{C}[\lambda ,\nu ]$  , generated by $S_n$  and additional generators $Y_1,...,Y_n$  , with defining relations

$s_{ij}{Y}_i=Y_j{s}_{ij},s_{ij}{Y}_h=Y_h{s}_{ij}\text{if}h\ne i,j,(Y_i-{\lambda }_1)\cdots (Y_i-{\lambda }_{\ell })=0,[Y_i,Y_j]=\nu (Y_i-Y_j)s_{ij}.$ 

Note that ${\mathbf{B}}_{n,\ell }(\lambda ,0)=\mathbb{C}\left[S_n\right]\mathbb{⋉}{R}_{\lambda }^{\otimes n}$  , where $R_{\lambda }=\mathbb{C}\left[Y\right]/(\prod (Y-{\lambda }_j\left)\right)$  .

For each $k=1,...,m$  , we have a homomorphism ${\eta }_k:{\mathbf{B}}_{n,d_k}\to B_n$  , such that ${\eta }_k\left(\lambda \right)={\gamma }_k$  , where $({\gamma }_k{)}_j:={\gamma }_{kj}$  , and ${\eta }_k\left(\nu \right)=\nu$  . This homomorphism is given by the formulas ${\eta }_k\left(Y_i\right)=Y_{i,k}$  , ${\eta }_k\left(s_{ij}\right)=s_{ij}$  . It is easy to check that the specialization of ${\eta }_k$  at $(0,0)$  is injective. By Corollary  2.3.5 , this implies that the natural map ${\mathbf{B}}_{n,\ell }(0,0)[\lambda ,\nu ]\to gr{\mathbf{B}}_{n,\ell }$  is an isomorphism, and hence ${\mathbf{B}}_{n,\ell }$  is a free module over $\mathbb{C}[\lambda ,\nu ]$  of rank $n!{\ell }^n$  . Thus ${\mathbf{B}}_{n,\ell }(\lambda ,\nu )$  is an algebra of dimension $n!{\ell }^n$  for all $\lambda ,\nu$  , which is semisimple for generic values of parameters.

The algebra ${\mathbf{B}}_{n,\ell }(\gamma ,\nu )$  has a 1-dimensional representation $\chi$  given by the formula $\chi \left(s_{ij}\right)=1$  , $\chi \left(Y_i\right)={\gamma }_{\ell }$  . We call this representation the trivial representation. For generic parameters $\lambda ,\nu$  , the representation $\chi$  defines an idempotent in ${\mathbf{B}}_{n,\ell }(\lambda ,\nu )$  . We will denote this idempotent by $e$  .

For any representation $V\in Rep{\mathbf{B}}_{n,\ell }(\gamma ,\nu )$  , we denote by $V^{{\mathbf{B}}_{n,\ell }(\gamma ,\nu )}$  the space of homomorphisms of representations $\chi \to V$  . Obviously, this space can be naturally regarded as a subspace of $V$  . In the generic case, this subspace is equal to $eV$  .

The algebra ${\mathbf{B}}_{n,\ell }(\gamma ,\nu )$  contains an obvious subalgebra ${\mathbf{B}}_{n-1,\ell }(\gamma ,\nu )$  , generated by $Y_i$  and $s_{ij}$  with $i,j<n$  . For any representation $V$  of ${\mathbf{B}}_{n,\ell }(\gamma ,\nu )$  , denote by $V^{\prime }$  the space $V^{{\mathbf{B}}_{n-1,\ell }(\gamma ,\nu )}$  .

Consider the element $x:=Y_n-\nu {\sum }_{j=1}^{n-1}{s}_{nj}$  . It is easy to check that $x$  commutes with ${\mathbf{B}}_{n-1,\ell }(\gamma ,\nu )$  , hence $x$  preserves the space $V^{\prime }$  .

Let $T$  be the $n$  -by- $n$  matrix such that $T_{ij}=1-{\delta }_{ij}$  . Note that $T+1$  has rank $1$  .

Lemma 2.4.2. Let $V$  be the regular representation of ${\mathbf{B}}_{n,\ell }(\gamma ,\nu )$  .

Then for generic parameters, the space $V^{\prime }$  has dimension $n\ell$  , and $x{|}_{V^{\prime }}$  is conjugate to $$({\lambda }_{\ell }I{d}_n-\nu T)\oplus diag({\lambda }_1,...,{\lambda }_{\ell -1})\otimes I{d}_n.$$ 

• Proof. Let $\pi$  be the idempotent in ${\mathbf{B}}_{n-1,\ell }(\gamma ,\nu )\subset {\mathbf{B}}_{n,\ell }(\gamma ,\nu )$  corresponding to the character $\chi$  . Let $P_j\left(x\right):={\prod }_{p\ne j}\frac{x-{\lambda }_p}{{\lambda }_j-{\lambda }_p}$  . It is easy to check (by considering the case $\nu =0$  ) that the elements $v_{ij}:=\pi P_j\left(Y_n\right)s_{ni}$  (where we agree that $s_{nn}=1$  ) form a basis of $V^{\prime }$  . Let us compute the action of $x$  in this basis. If $i\ne n$  , we have
  $$x{v}_{ij}=\pi x{P}_j\left(Y_n\right)s_{ni}={\lambda }_j{v}_{ij}-\nu {\sum }_{p\ne n}\pi s_{np}{P}_j\left(Y_n\right)s_{ni}={\lambda }_j{v}_{ij}-\nu {\sum }_{p\ne n}\pi P_j\left(Y_p\right)s_{np}{s}_{ni}={\lambda }_j{v}_{ij}-\nu {\delta }_{j\ell }{\sum }_{p\ne n}\pi s_{np}{s}_{ni}={\lambda }_j{v}_{ij}-\nu {\delta }_{j\ell }\pi ({\sum }_{p\ne n,i}{s}_{ip}{s}_{np}+1)={\lambda }_j{v}_{ij}-\nu {\delta }_{j\ell }\pi {\sum }_{p\ne i}{\sum }_{q=1}^{\ell }{P}_q\left(Y_n\right)s_{np}={\lambda }_j{v}_{ij}-\nu {\delta }_{j\ell }{\sum }_{p\ne i}{\sum }_{q=1}^{\ell }{v}_{pq}.$$ 
  If $i=n$  , we have the same result:
  $$x{v}_{nj}=\pi x{P}_j\left(Y_n\right)={\lambda }_j{v}_{nj}-\nu {\sum }_{p\ne n}\pi s_{np}{P}_j\left(Y_n\right)={\lambda }_j{v}_{nj}-\nu {\sum }_{p\ne n}\pi P_j\left(Y_p\right)s_{np}={\lambda }_j{v}_{nj}-\nu {\delta }_{j\ell }{\sum }_{p\ne n}\pi s_{np}={\lambda }_j{v}_{nj}-\nu {\delta }_{j\ell }\pi {\sum }_{p\ne n}{\sum }_{q=1}^{\ell }{P}_q\left(Y_n\right)s_{np}={\lambda }_j{v}_{nj}-\nu {\delta }_{j\ell }{\sum }_{p\ne n}{\sum }_{q=1}^{\ell }{v}_{pq}.$$ 
  This implies the required statement. □

2.5 The affine case

Consider now the affine case, i.e. $D={\tilde{D}}_4,{\tilde{E}}_6,{\tilde{E}}_7,{\tilde{E}}_8$  . Then $m=3,4$  and the numbers $d_k$  are the following (up to ordering): $(2,2,2,2),(3,3,3),(2,4,4)$  , and $(2,3,6)$  , respectively. We let ${\delta }_i$  be the coordinates of the basic imaginary root $\delta$  of $D$  in the basis of simple roots. Also, let $0\in I$  be the vertex corresponding to the trivial representation of $\Gamma$  under the McKay correspondence.

Let us assume that $\ell :=d_m$  is the largest of the $d_k$  . In this case $\ell$  is divisible by $d_k$  for all $k$  . Set $$ħ=ħ\left(\gamma \right):=\ell {\sum }_{k,j}\frac{{\gamma }_{kj}}{d_k}.$$  The main properties of $B_n$  in the affine case are summarized in the following theorem.

Theorem 2.5.1. (i) The Gelfand-Kirillov dimension of $B_n(\gamma ,\nu )$  is $2n$  .

(ii) The algebra $B_n(\gamma ,\nu )$  is PI if and only if $\mathtt{ħ}=0$  . If $\mathtt{ħ}=0$  , this algebra is PI of degree $n!{\ell }^n$  .

(iii) If $\mathtt{ħ}=0$  , then $B_n(\gamma ,\nu )$  is finitely generated over its center $Z\left(B_n\right(\gamma ,\nu \left)\right)$  . Moreover, the map $Z\left(B_n\right(\gamma ,\nu \left)\right)\to e{B}_n(\gamma ,\nu )e$  given by $z\mapsto ze$  is an isomorphism. In particular, $e{B}_n(\gamma ,\nu )e$  is a commutative algebra.

(iv) If $\mathtt{ħ}=0$  and otherwise $(\gamma ,\nu )$  are generic then $B_n(\gamma ,\nu )$  is an Azumaya algebra, and ${\mathcal{ℛ}}_{n,\gamma ,\nu }:=Spec\left(Z\right(B_n(\gamma ,\nu )\left)\right)$  is a smooth affine algebraic variety of dimension $2n$  . In this case, every irreducible representation of $B_n(\gamma ,\mu )$  restricts (via the map ${\eta }_m$  ) to the regular representation of ${\mathbf{B}}_{n,\ell }({\gamma }_m,\nu )$  .

• Proof. The theorem follows easily from Corollary  2.3.6 and the results of [EG] , Section 11. In particular, the last statement of (iv) may be checked, without loss of generality, in the case $\nu =0$  for generic representations, in which case everything reduces to the rank 1 situation, which is thoroughly studied in [CBH] . □

2.6 Representations of $B_n(\gamma ,\nu )$  for $\mathbf{ħ}=0$  .

Assume that $ħ=0$  and otherwise $(\gamma ,\nu )$  are generic. Theorem 11.16 of [EG] furnishes an isomorphism of algebraic varieties ${\Phi }_{EG}:{\mathcal{ℛ}}_{n,\gamma ,\nu }\to {\mathbf{M}}_{n,\gamma ,\nu }$  of ${\mathcal{ℛ}}_{n,\gamma ,\nu }$  onto a certain explicitly described variety ${\mathbf{M}}_{n,\gamma ,\nu }$  (the Calogero-Moser space attached to $D$  ), which is a deformation of the Hilbert scheme of the desingularization of the Kleinian singularity ${\mathbb{C}}^2/\Gamma$  . By the definition, ${\mathbf{M}}_{n,\gamma ,\nu }$  is the variety of isomorphism classes of representations of the doubled quiver $\overline{Q}$  with dimension vector $n\delta$  such that ${\sum }_{a\in Q}[a,a^{*}]=\sum {\mu }_i{e}_i-\nu T{e}_0$  (here ${\mu }_i$  are related to ${\gamma }_{kj}$  by formula ( 2.1.1 )).

It is convenient for us to give a slightly different description of the variety ${\mathbf{M}}_{n,\gamma ,\nu }$  .

Definition 2.6.1. Define ${\mathcal{ℳ}}_{n,\gamma ,\nu }$  to be the variety of conjugacy classes of $m$  -tuples $(x_1,...,x_m)\in \mathfrak{g}{\mathfrak{l}}_{n\ell }(\mathbb{C}{)}^m$  satisfying the following equations:

$$\begin{array}{c}\begin{array}{}\text{(2.6.3)}& \begin{array}{}\text{(2.6.2)}& x_1+x_2+...+x_m=0,x_k\sim diag({\gamma }_{k1},...,{\gamma }_{k{d}_k})\otimes I{d}_{n\ell /d_k},k=1,...,m-1,x_m\sim ({\gamma }_{m\ell }I{d}_n-\nu T)\oplus diag({\gamma }_{m1},...,{\gamma }_{m,\ell -1})\otimes I{d}_n.\end{array}\end{array}\end{array}$$

(2.6.4)

That is, ${\mathcal{ℳ}}_{n,\gamma ,\nu }$  is the categorical quotient of the variety ${\widetilde{\mathcal{ℳ}}}_{n,\gamma ,\nu }$  of $m$  -tuples as above by the action of the group $PG{L}_{n\ell }(\mathbb{C})$  .

Here, if $x,y\in \mathfrak{g}{l}_N(\mathbb{C})$  , we use the notation $x\sim y$  to say that $x$  and $y$  are in the same conjugacy class.

Remark 2.6.5. Thus, ${\mathcal{ℳ}}_{n,\gamma ,\nu }$  is defined as the variety of solutions of an appropriate additive Deligne-Simpson problem.

Proposition 2.6.6. For generic parameters ${\mathcal{ℳ}}_{n,\gamma ,\nu }$  is a smooth variety, of dimension $2n$  .

• Proof. The proof is standard and analogous to the proof of Proposition  5.2.8 below. □

Proposition 2.6.7. There exists a regular map $\beta :{\mathbf{M}}_{n,\gamma ,\nu }\to {\mathcal{ℳ}}_{n,\gamma ,\nu }$  which sends a representation of $\overline{Q}$  from ${\mathbf{M}}_{n,\gamma ,\nu }$  to the collection of operators $h_k^{*}{h}_k+{\xi }_k-\frac{{\mu }_{i_0}}{m}$  , where $h_k,h_k^{*}$  are defined in the proof of Proposition  2.3.4 . This map is an isomorphism.

• Proof. The proof is based on the following lemma from linear algebra, due to Crawley-Boevey. Let ${\Lambda }_i\in \mathbb{C}$  for $i=1,...,N$  , such that ${\Lambda }_i+...+{\Lambda }_j\ne 0$  for any $1\le i\le j\le N$  . Let $V_i$  , $i=0,...,N+1$  , $N\ge 0$  , be finite dimensional complex vector spaces of dimensions $D_i$  , $D_{i-1}<D_i$  . Let $\mathcal{O}$  be a conjugacy class in $\mathfrak{g}\mathfrak{l}\left(V_0\right)$  , such that $-{\Lambda }_1-...-{\Lambda }_p$  is not an eigenvalue of an element of $\mathcal{O}$  for any $0\le p\le N$  .
  Let $M_N$  be the set of collections $(a,b)$  of linear maps $a_i:V_i\to V_{i+1},b_i:V_{i+1}\to V_i$  , $i=0,...,N$  , such that $b_i{a}_i-a_{i-1}{b}_{i-1}={\Lambda }_{i}I{d}_{V_i}$  for $i=1,...,N$  , and $b_0{a}_0\in \mathcal{O}$  .

  Let $x(a,b):=a_N{b}_N\in \mathfrak{g}\mathfrak{l}\left(V_{N+1}\right)$  . The group $G_N:={\prod }_{i=0}^{N}GL\left(V_i\right)$  acts naturally on $M_N$  preserving the function $x(a,b)$  .

  Lemma 2.6.8. ([CB1] ) (i) Let $(a,b)\in M_N$  , and $x(a,b)=C$  . Then $C$  is conjugate to $$C_0\oplus {\oplus }_{i=1}^{N+1}({\Lambda }_N+...+{\Lambda }_i)I{d}_{D_i-D_{i-1}}.$$  where $C_0-({\Lambda }_N+...+{\Lambda }_1)\in \mathcal{O}$  (here the subscripts $D_i-D_{i-1}$  denote matrix sizes)¹ .

  (ii) For any $C\in \mathfrak{g}\mathfrak{l}\left(V_{i+1}\right)$  as in (i), there exists an element $(a,b)\in M_N$  such that $x(a,b)=C$  . Moreover, any two such elements are conjugate under $G_N$  .

  • Proof. The proof is by induction in $N$  . The base of induction ( $N=0$  ) is easy. Now assume that $N$  is arbitrary, and the statement is known for $N-1$  .
    To prove (i), note that by the induction assumption $a_{N-1}{b}_{N-1}$  is conjugate to $$C_0^{\prime }\oplus {\oplus }_{i=1}^N({\Lambda }_{N-1}+...+{\Lambda }_i)I{d}_{D_i-D_{i-1}}.$$  where $C_0^{\prime }-({\Lambda }_{N-1}+...+{\Lambda }_1)\in \mathcal{O}$  . But we have $a_{N-1}{b}_{N-1}=b_N{a}_N-{\Lambda }_N$  , So $b_N{a}_N$  is conjugate to $$C_0\oplus {\oplus }_{i=1}^N({\Lambda }_N+...+{\Lambda }_i)I{d}_{D_i-D_{i-1}}.$$  where $C_0-({\Lambda }_N+...+{\Lambda }_1)\in \mathcal{O}$  . By our assumption, this implies that $b_N{a}_N$  is invertible, hence $a_N{b}_N$  is conjugate to the direct sum of $b_N{a}_N$  and the zero matrix of size $D_{N+1}-D_N$  , and (i) follows.

    To prove (ii), pick $C^{\prime }\in \mathfrak{g}\mathfrak{l}\left(V_N\right)$  conjugate to $$C_0^{\prime }\oplus {\oplus }_{i=1}^N({\Lambda }_{N-1}+...+{\Lambda }_i)I{d}_{D_i-D_{i-1}}.$$  where $C_0^{\prime }-({\Lambda }_{N-1}+...+{\Lambda }_1)\in \mathcal{O}$  . By the induction assumption, there exist unique up to conjugation by $G_{N-1}$  operators $(a_0,...,a_{N-1},b_0,...,b_{N-1})\in M_{N-1}$  such that $a_{N-1}{b}_{N-1}=C^{\prime }$  . It remains to show that there exist operators $a_N,b_N$  such that $a_N{b}_N=C,b_N{a}_N={\Lambda }_N+C^{\prime }$  , and they are unique up to the action of the centralizer of $C^{\prime }$  in $GL\left(V_N\right)$  . To do so, note that we must pick $a_N$  to be an isomorphism $V_N\to ImC$  , which conjugates $C^{\prime }+{\Lambda }_N$  to the restriction of $C$  to its image. This can be done uniquely up to the action of the centralizer of $C^{\prime }$  , and $b_N$  is uniquely determined by $a_N$  .

    This implies the required statement. □

  Now we prove the proposition. The existence of the map $\beta$  follows from part (i) of Lemma  2.6.8 , by applying the Lemma separately to each leg of $D$  . Part (ii) of the lemma implies that $\beta$  is bijective. But by Proposition  2.6.6 , ${\mathcal{ℳ}}_{n,\gamma ,\nu }$  is smooth, so $\beta$  is an isomorphism, as desired. □

Now we will explicitly construct an isomorphism $\Phi :{\mathcal{ℛ}}_{n,\gamma ,\nu }\to {\mathcal{ℳ}}_{n,\gamma ,\nu }$  .

To do so, note that by Theorem  2.5.1 , (iv), every representation $V\in {\mathcal{ℛ}}_{n,\gamma ,\nu }$  restricts to the regular representation of ${\mathbf{B}}_{n,\ell }({\gamma }_m,\nu )$  via the map ${\eta }_m$  . Thus the space $V^{\prime }:=V^{{\mathbf{B}}_{n-1,\ell }({\gamma }_m,\nu )}$  has dimension $n\ell$  . The operators $Y_{n,1},...,Y_{n,m-1}$  commute with ${\mathbf{B}}_{n-1,\ell }({\gamma }_m,\nu )$  , hence so does $Y_{n,m}-\nu (s_{n1}+s_{n2}+...+s_{n,n-1})$  . Thus, these elements define linear operators on $V^{\prime }$  . Denote these operators by $x_1,...,x_m$  , and set $\Phi \left(V\right)=(x_1,...,x_m)$  .

Proposition 2.6.9. We have $(x_1,...,x_m)\in {\mathcal{ℳ}}_{n,\gamma ,\nu }$  , so $\Phi :{\mathcal{ℛ}}_{n,\gamma ,\nu }\to {\mathcal{ℳ}}_{n,\gamma ,\nu }$  .

• Proof. A simple deformation argument from the case $\nu =0$  shows that the spectral decompositions of $x_1,...,x_{m-1}$  are as required. The fact that the spectral decomposition of $x_m$  is as required follows from Lemma  2.4.2 . □

Proposition 2.6.10. $\Phi =\beta \circ {\Phi }_{EG}$  .

Remark 2.6.11. Note that as a by-product Proposition  2.6.10 gives another proof of Proposition  2.6.9 .

• Proof. Let $W$  be an irreducible representation of $\mathsf{H}(\mathbf{\Gamma }n)$  . In this case by Corollary  2.3.6 the corresponding representation $V$  of $B_n$  is $e_{i_0}^{\otimes n}W$  . On the other hand, the subspace $W^{S_{n-1}\mathbb{⋉}{\Gamma }^{n-1}}$  considered in [EG] equals² $e(n-1)(e_0^{\otimes (n-1)}\otimes 1)W$  , where $e(n-1)$  is the symmetrizer of $S_{n-1}$  .
  We need to construct an isomorphism $\zeta :(e_{i_0}{)}_n{W}^{S_{n-1}\mathbb{⋉}{\Gamma }^{n-1}}\to V^{\prime }$  , where $(e_{i_0}{)}_n$  is the element $1^{\otimes (n-1)}\otimes e_{i_0}$  . This isomorphism is defined as follows.

  Let $a_0,...,a_{\ell -1}$  be the opposites of the edges of $Q$  belonging to the $m$  -th leg ( $a_{\ell -1}=h_m^{*}$  ).

  Define $\zeta$  by the formula $$\zeta \left(w\right)=\left(\right(a_{\ell -1}...a_1{a}_0{)}^{\otimes (n-1)}\otimes 1)w,$$  where $(a_{\ell -1}...a_1{a}_0{)}^{\otimes (n-1)}\otimes 1)$  denotes an element of ${\mathsf{A}}_n$  . We note that this element is well defined, because by Definition  2.3.3 , the elements $(b_1^{*}{)}_p$  ( $b_1^{*}$  in the $p$  -th tensor component) and $(b_2^{*}{)}_q$  commute for any edges $b_1,b_2\in Q$  and $p\ne q$  . We claim that $\zeta \left(w\right)$  belongs to $V^{\prime }$  . Indeed, $\zeta \left(w\right)$  is clearly invariant under $S_{n-1}$  . Also, for any $i<n$  we have $Y_{i,m}\zeta \left(w\right)={\gamma }_{m\ell }\zeta \left(w\right)$  . To see this, recall that $Y_{i,m}=(a_{\ell -1}{a}_{\ell -1}^{*}{)}_i+{\xi }_m-{\mu }_{i_0}/m$  ; thus the statement follows from the relation (i) of Definition  2.3.3 and formula ( 2.1.1 ).

  It is easy to show that $\zeta$  is injective. Since $\zeta$  is a morphism between spaces of the same dimension, it is an isomorphism.

  It is now easy to check that if the spaces $(e_{i_0}{)}_n{W}^{S_{n-1}\mathbb{⋉}{\Gamma }^{n-1}}$  and $V^{\prime }$  are identified using $\zeta$  , then the quiver-theoretical data of [EG] , Section 11 and the matrices $x_1,...,x_m$  introduced above are related by the map $\beta$  . The proposition is proved. □

Corollary 2.6.12. $\Phi$  is an isomorphism.

• Proof. The corollary follows from Proposition  2.6.10 and Proposition  2.6.7 .
  □

3 Generalized double affine Hecke algebras

3.1 Generalized DAHA of rank 1

First, let us recall the constructions in [EOR, ER] . Consider the group $G$  with generators $U_k$  , $k=1,\dots ,m$  , and defining relations $$U_k^{d_k}=1,k=1,\dots ,m,{\text{and}}^m{\prod }_{k=1}{U}_k=1.$$  This group is a discrete group of motions of the Euclidean plane, or Lobachevsky plane, generated by rotations by the angles $2\pi /d_k$  around the vertices of the $m$  -gon with angles $\pi /d_k$  , $k=1,...,m$  . Thus $G$  is a Euclidean crystallographic group ${\mathbb{Z}}_{\ell }\mathbb{⋉}{\mathbb{Z}}^2$  where $\ell =2,3,4,6$  for $D$  being affine ( ${\tilde{D}}_4$  , ${\tilde{E}}_6$  , ${\tilde{E}}_7$  , ${\tilde{E}}_8$  respectively), and a hyperbolic motion group otherwise.

The generalized double affine Hecke algebra of rank 1 associated to $D$  will be denoted by $H_1$  . It is an algebra over $\mathbb{C}\left[u^{\pm 1}\right]$  , where $u$  denotes the collection of variables $$u_{11},\dots ,u_{1d_1},\dots ,u_{m1},...,u_{m{d}_m}.$$  The algebra $H_1$  is generated over $\mathbb{C}\left[u^{\pm 1}\right]$  by elements $U_k$  , $k=1,\dots ,m$  , with defining relations $${}^{d_k}{\prod }_{j=1}(U_k-u_{kj})=0,k=1,\dots ,m,{\text{and}}^m{\prod }_{k=1}{U}_k=1.$$  The group algebra $\mathbb{C}\left[G\right]$  is isomorphic to the quotient of $H_1$  by the two-sided ideal generated by $u_{kj}-e^{2\pi ij/d_k}$  , for all $k,j$  . In other words, $\mathbb{C}\left[G\right]$  is the specialization of $H_1$  at the values $u_{kj}=e^{2\pi ij/d_k}$  . Thus, $H_1$  is a deformation of $\mathbb{C}\left[G\right]$  .

3.2 Generalized DAHA of higher rank

We will now generalize the definition of $H_1$  to the higher rank case. Fix a positive integer $n>1$  . Let $t$  be an additional invertible variable.

Definition 3.2.1. The generalized double affine Hecke algebra $H_n$  of rank $n$  associated to $D$  is the algebra generated over $\mathbb{C}[u^{\pm 1},t^{\pm 1}]$  by invertible elements $$U_1,\dots ,U_m,T_1,\dots ,T_{n-1},$$  with defining relations

$$(U_1\cdots U_m)(T_1{T}_2\cdots T_{n-2}{T}_{n-1}^2{T}_{n-2}\cdots T_2{T}_1)=1,T_i{T}_{i+1}{T}_i=T_{i+1}{T}_i{T}_{i+1},i=1,...,n-2,[T_i,T_j]=0,|i-j|>1,[U_j,T_i]=0,i=2,...,n-1,j=1,...,m,[U_j,T_1{U}_j{T}_1]=0,j=1,...,m,[U_k,T_1^{-1}{U}_j{T}_1]=0,1\le k<j\le m{,}^{d_k}{\prod }_{j=1}(U_k-u_{kj})=0,k=1,...,m,T_i-T_i^{-1}=t-t^{-1},i=1,...,n-1.$$ 

Remark 3.2.2. The specialization of $H_n$  at the value $t=1$  is the semidirect product $\mathbb{C}\left[S_n\right]\mathbb{⋉}{H}_1^{\otimes n}$  .

Remark 3.2.3. If we eliminate the last two groups of relations, we get a presentation for the $n$  -th braid group $B{r}_{n,m}$  of $\mathbb{C}{\mathbb{P}}^1$  without $m$  points. Thus the algebra $H_n$  can be viewed as a quotient of the group algebra $\mathbb{C}[u^{\pm 1},t^{\pm 1}]\left[B{r}_{n,m}\right]$  by the last two groups of relations.

3.3 The case $D={\tilde{D}}_4$ 

In the case when $D$  is of type ${\tilde{D}}_4$  , the algebra $H_n$  is essentially the same as the algebra ${\mathcal{\mathscr{H}}}_n$  introduced by Sahi [Sa,§3] , which we now recall.

Definition 3.3.1. ${\mathcal{\mathscr{H}}}_n$  is the algebra generated over $\mathbb{C}[t_0^{\pm 1},t_n^{\pm 1},u_0^{\pm 1},u_n^{\pm 1},t^{\pm 1},q^{\pm 1}]$  by elements $T_i^{\pm 1}$  , $i=0,...,n$  , and elements $X_i^{\pm 1}$  , $i=1,...,n$  , subject to the relations

$$T_0{T}_1{T}_0{T}_1=T_1{T}_0{T}_1{T}_0,X_i{X}_j=X_j{X}_i,1\le i<j\le n,T_{n-1}{T}_n{T}_{n-1}{T}_n=T_n{T}_{n-1}{T}_n{T}_{n-1},T_i{T}_{i+1}{T}_i=T_{i+1}{T}_i{T}_{i+1},i=1,...,n-2,[T_i,T_j]=0,|i-j|>1,T_i-T_i^{-1}=t-t^{-1},i=1,...,n-1,T_0-T_0^{-1}=t_0-t_0^{-1},T_n-T_n^{-1}=t_n-t_n^{-1},T_i{X}_j=X_j{T}_i,\text{if}|i-j|>1,\text{or}\text{if}i=n\text{and}j=n-1,T_i{X}_i=X_{i+1}{T}_i^{-1},i=1,...,n-1,T_n^{\vee }-(T_n^{\vee }{)}^{-1}=u_n-u_n^{-1},\text{where}{T}_n^{\vee }=X_n^{-1}{T}_n^{-1},T_0^{\vee }-(T_0^{\vee }{)}^{-1}=u_0-u_0^{-1},\text{where}{T}_0^{\vee }=q^{-1}{T}_0^{-1}{X}_1.$$ 

Let $H_n^{\prime }$  be the specialization of $H_n$  defined by $$u_{11}=q{t}_0,u_{12}=-q{t}_0^{-1},u_{21}=u_0,u_{22}=-u_0^{-1},$$  $$u_{31}=u_n,u_{32}=-u_n^{-1},u_{41}=t_n,u_{42}=-t_n^{-1}.$$  (This specialization is generic, in the sense that any set of parameter values can be obtained from this one by the rescaling transformations $u_{kj}\to u_{kj}{w}_k$  .)

Proposition 3.3.2. There is an isomorphism $\phi :H_n^{\prime }\to {\mathcal{\mathscr{H}}}_n$  , given by

$$\phi \left(U_1\right)=q{T}_0,\phi \left(U_2\right)=T_0^{\vee },\phi \left(U_3\right)=S{T}_n^{\vee }{S}^{-1},\phi \left(U_4\right)=S{T}_n{S}^{-1},\phi \left(T_i\right)=T_i,i=1,\dots ,n-1,$$ 

where $S=T_1{T}_2...T_{n-1}$  .

The proof of the proposition is by a direct computation.

Remark 3.3.3. The $T_i$  's from [Sa] are denoted by $V_i$  's in [St] . Also, the following relations should be added in [St,Theorem3.4] :

$$[V_0^{\vee },V_n]=[V_0,V_n^{\vee }]=[V_0,V_1^{-1}{V}_0^{\vee }{V}_1]=[V_n,V_{n-1}{V}_n^{\vee }{V}_{n-1}^{-1}]=0.$$ 

3.4 The flatness theorem

Conjecture 3.4.1. The algebra $H_n$  is a free module over $\mathbb{C}[u^{\pm 1},t^{\pm 1}]$  .

In the case $n=1$  , this conjecture is proved in [EOR] . Also, by Proposition  3.3.2 and the results of [Sa] , the conjecture is true for the affine diagram ${\tilde{D}}_4$  for all $n$  .

We can prove only a weaker version of this conjecture, which is the following theorem. Let ${\widehat{H}}_n$  be the completion of $H_n$  with respect to the ideal generated by $t-1$  , and let $\nu =-\frac{1}{\pi i}logt$  .

Theorem 3.4.2. The algebra ${\widehat{H}}_n$  is a flat 1-parameter deformation of the algebra $S_n\mathbb{⋉}{H}_1^{\otimes n}$  with deformation parameter $\nu$  (i.e., ${\widehat{H}}_n=S_n\mathbb{⋉}{H}_1^{\otimes n}\left[\right[\nu \left]\right]$  with deformed multiplication).

To prove this theorem, note first that by a general deformation argument, it is sufficient to show the following:

Proposition 3.4.3. The completion $({\widehat{H}}_n{)}_{u_0}$  of ${\widehat{H}}_n$  at some point $u_0$  is a flat deformation of the completion $(S_n\mathbb{⋉}{H}_1^{\otimes n}{)}_{u_0}$  .

We will give two proofs of this fact, using two different choices of the point $u_0$  .

First proof of Proposition  3.4.3 . Let $Y$  be the Euclidean or hyperbolic plane which carries the action of the group $G$  . Let $G_n=S_n\mathbb{⋉}{G}^n$  . Then $G_n$  acts properly discontinuously on $Y^n$  , so following [E] , we can define the Hecke algebra ${\mathcal{\mathscr{H}}}_{\tau }(Y^n,G_n)$  attached to the orbifold $Y^n/G_n$  . Using the explicit description of the braid group $B{r}_{n,m}$  of $Y^n/G_n$  given above, we find that the algebra $({\widehat{H}}_n{)}_{u_0}$  for $(u_0{)}_{kj}=e^{2\pi ij/d_k}$  is a specialization of the algebra ${\mathcal{\mathscr{H}}}_{\tau }(Y^n,G_n)$  , $\tau =(\gamma ,\nu )$  . On the other hand ³ , since ${\pi }_2\left(Y^n\right)=0$  , one of the main results of [E] says that the algebra ${\mathcal{\mathscr{H}}}_{\tau }(Y^n,G_n)$  is flat over $\mathbb{C}\left[\right[\tau \left]\right]$  . This implies the theorem.

A second proof of Theorem  3.4.2 , which does not use the results of [E] , will be given in the next section. It is based on a variant of Knizhnik-Zamolodchikov equations.

³ Here is the place where we use the fact that $D$  is not of finite Dynkin type

4 Knizhnik-Zamolodchikov equations

4.1 KZ equations

Let ${\alpha }_1,\dots ,{\alpha }_m$  be distinct points in $\mathbb{C}$  . Consider the connection $\nabla$  on the trivial bundle over $(\mathbb{C}{\mathbb{P}}^1{)}^n$  with fiber $B_n$  , defined by the system of Knizhnik-Zamolodchikov (KZ) differential equations

$$\begin{array}{c}\frac{\partial F}{\partial z_i}=A_{i}F,i=1,\dots ,n,\end{array}$$

(4.1.1)

where $$A_i:={\sum }_k\frac{Y_{i,k}}{z_i-{\alpha }_k}-{\sum }_{p\ne i}\frac{\nu s_{ip}}{z_i-z_p}.$$ 

Lemma 4.1.2. The connection $\nabla$  is flat.

• Proof. To show that the curvature is zero, we have to check that $${\partial }_i{A}_j-{\partial }_j{A}_i+[A_i,A_j]=0.$$  This follows from the following computations:
  $${\partial }_j{A}_i=-\frac{\nu s_{ij}}{(z_i-z_j{)}^2}={\partial }_i{A}_j,$$ 

  $$\begin{array}{cc}[A_i,A_j]=& {\sum }_{k,l}\frac{[Y_{i,k},Y_{j,l}]}{(z_i-{\alpha }_k)(z_j-{\alpha }_l)}-{\sum }_{k,q\ne j}\frac{[Y_{i,k},\nu s_{jq}]}{(z_i-{\alpha }_k)(z_j-z_q)}\end{array}$$

  $$\begin{array}{cc}& -{\sum }_{k,p\ne i}\frac{[\nu s_{ip},Y_{j,k}]}{(z_i-z_p)(z_j-{\alpha }_k)}+{\sum }_{p\ne i,q\ne j}\frac{[\nu s_{ip},\nu s_{jq}]}{(z_i-z_p)(z_j-z_q)}\end{array}$$

  $$\begin{array}{cc}=& {\sum }_k\frac{\nu (Y_{i,k}-Y_{j,k})s_{ij}}{(z_i-{\alpha }_k)(z_j-{\alpha }_k)}-{\sum }_k\frac{\nu (Y_{i,k}-Y_{j,k})s_{ij}}{(z_i-{\alpha }_k)(z_j-z_i)}\end{array}$$

  $$\begin{array}{cc}& -{\sum }_k\frac{\nu (Y_{i,k}-Y_{j,k})s_{ij}}{(z_i-z_j)(z_j-{\alpha }_k)}+{\sum }_{q\ne i,j}\frac{[\nu s_{ij},\nu s_{jq}]}{(z_i-z_j)(z_j-z_q)}\end{array}$$

  $$\begin{array}{cc}& +{\sum }_{p\ne i,j}\frac{[\nu s_{ip},\nu s_{ij}]}{(z_i-z_p)(z_j-z_i)}+{\sum }_{p\ne i,j}\frac{[\nu s_{ip},\nu s_{jp}]}{(z_i-z_p)(z_j-z_p)}\end{array}$$

  $$\begin{array}{cc}=& 0.\end{array}$$

  □

4.2 The monodromy representation of the KZ equations

Taking quotient by the $S_n$  -action, we get a flat connection, which we will also denote by $\nabla$  , on the configuration space $\mathcal{C}on{f}_n(\mathbb{C}{\mathbb{P}}^1\backslash \{{\alpha }_1,...,{\alpha }_m\left\}\right)$  .

Note that we may replace the trivial bundle over $(\mathbb{C}{\mathbb{P}}^1{)}^n$  with fiber $B_n$  by the trivial bundle whose fiber is a $B_n$  -module $M$  , and this also gives a flat connection ${\nabla }_M$  on $\mathcal{C}on{f}_n$  .

When the $B_n$  -module $M$  is finite dimensional, it acquires an action of the monodromy operators. Namely, given a base point ${\mathbf{z}}_0\in \mathcal{C}on{f}_n$  , we can define the $EndM$  -valued solution $F_0$  of the KZ equations such that $F_0\left({\mathbf{z}}_0\right)=1$  . Then, given $\sigma \in {\pi }_1(\mathcal{C}on{f}_n,{\mathbf{z}}_0)$  , we let $F_{\sigma }$  be the analytic continuation of $F_0$  along $\sigma$  , and $L_{\sigma }\in EndM$  by $F_{\sigma }=F_0{L}_{\sigma }$  . Then the monodromy representation $\rho :{\pi }_1(\mathcal{C}on{f}_n,{\mathbf{z}}_0)\to Aut\left(M\right)$  is defined⁴ by the formula $\rho \left(\sigma \right)=L_{\sigma }$  .

For convenience let us choose ${\mathbf{z}}_0=(z_{01},...,z_{0n})$  to be such that $z_{0j},{\alpha }_p$  are real and ${\alpha }_1<...<{\alpha }_m<z_{01}<...<z_{0n}$  . In this case we can identify ${\pi }_1(\mathcal{C}on{f}_n,{\mathbf{z}}_0)$  with $B{r}_{n,m}$  as follows: $T_i$  is the path in which the points $z_i,z_{i+1}$  move counterclockwise to exchange positions, and other points don't move; $U_k$  is the path in which $z_1$  moves counterclockwise around ${\alpha }_k$  (passing ${\alpha }_{k+1},...,{\alpha }_m$  from below). Thus $\rho$  may be viewed as a representation of the group $B{r}_{n,m}$  on $M$  . Moreover, it is clear from the form of the KZ equations that the operators $T_i$  and $U_k$  in this representation satisfy the relations $$T_i-T_i^{-1}=t-t^{-1},$$  and $$(U_k-u_{k1})...(U_k-u_{k{d}_k})=0,$$  where

$$\begin{array}{c}{u}_{kj}:=exp(2\pi i{\gamma }_{kj}),t=e^{-\pi i\nu }.\end{array}$$

(4.2.1)

Therefore, the monodromy representation of $B{r}_{n,m}$  on $M$  is in fact a representation of the algebra $H_n$  with parameters $u,t$  as above. Let us denote this representation of $H_n$  by $\mathcal{ℱ}\left(M\right)$  . Thus we have obtained the following result.

Proposition 4.2.2. The monodromy of the KZ equations defines a functor $\mathcal{ℱ}:Re{p}_f{B}_n\to Re{p}_f{H}_n$  between the categories of finite dimensional representations of $B_n$  and $H_n$  , under which the parameters $\gamma ,\nu$  and $u,t$  are related as above.

Remark 4.2.3. This functor, of course, depends on the choice of ${\alpha }_k$  , but only up to fractional-linear transformations.

We note that this proposition allows us to construct a large supply of finite dimensional representations of $H_n$  in the case when $D$  is affine. Indeed, a large supply of finite dimensional representations for ${\mathsf{A}}_n$  and $\mathsf{H}(\mathbf{\Gamma }n)$  (and hence for $B_n$  ) is constructed in [Ga, EM, M] , and we can apply the functor $\mathcal{ℱ}$  to these representations to obtain representations of $H_n$  .

Second proof of Proposition  3.4.3 .

Let ${\tilde{B}}_n$  be the formal completion of $B_n$  at the point $\gamma =0,\nu =0$  , and let ${\tilde{H}}_n$  be the formal completion of $H_n$  at the “unipotent point” $t=1$  , $u_{kj}=1$  .

The monodromy of the KZ equation defines a morphism $f:{\tilde{H}}_n\to {\tilde{B}}_n$  , where parameters are related as above (the Riemann-Hilbert homomorphism).

It is clear that this homomorphism is in fact an isomorphism (since the relations of $B_n$  are infinitesimal versions of the relations of $H_n$  ). Thus, Proposition  3.4.3 follows from Corollary  2.3.5 .

⁴ Our convention for the multiplication of loops in ${\pi }_1$  is as follows: to obtain $\sigma {\sigma }^{\prime }$  , first trace ${\sigma }^{\prime }$  , then $\sigma$  .

4.3 Cyclotomic Hecke algebras

Let ${\mathbf{H}}_{n,\ell }$  be the Ariki-Koike cyclotomic Hecke algebra (see e.g. [Ma] ).

It is an algebra over $\mathbb{C}[v^{\pm 1},t^{\pm 1}]$  (where $v=(v_1,...,v_{\ell })$  ) with generators $T_1,...,T_{n-1},U$  and defining relations

$$T_i{T}_{i+1}{T}_i=T_{i+1}{T}_i{T}_{i+1},i=1,...,n-2,[T_i,T_j]=0,\text{if}|i-j|>1,[U,T_j]=0,j=2,...,n-1,U{T}_{1}U{T}_1=T_{1}U{T}_{1}U{,}^{\ell }{\prod }_{j=1}(U-v_j)=0,T_i-T_i^{-1}=t-t^{-1},i=1,...,n-1.$$ 

Thus the algebra ${\mathbf{H}}_{n,\ell }$  is a quotient of the group algebra $\mathbb{C}[v^{\pm 1},t^{\pm 1}]\left[B{r}_{n,2}\right]$  (the fundamental group of the configuration space of ${\mathbb{C}}^{*}$  ) by the polynomial relations for $U$  and $T_i$  . It is known (see e.g. [Ma] ) that ${\mathbf{H}}_{n,\ell }$  is a free module over $\mathbb{C}[v^{\pm 1},t^{\pm 1}]$  of rank $n!{\ell }^n$  , and thus ${\mathbf{H}}_{n,\ell }(v,t)$  is of dimension $n!{\ell }^n$  for all $v,t$  (i.e., it is a flat deformation of the group algebra $\mathbb{C}[S_n\mathbb{⋉}(\mathbb{Z}/\ell \mathbb{Z}{)}^n]$  ).

The algebra ${\mathbf{H}}_{n,\ell }(v,t)$  has a 1-dimensional representation $\chi$  given by the formula $\chi \left(T_i\right)=t$  , $\chi \left(U\right)=v_{\ell }$  . We call this representation the trivial representation. For generic parameters $v,t$  , the representation $\chi$  defines an idempotent in ${\mathbf{B}}_{n,\ell }(\lambda ,\nu )$  . We will denote this idempotent by $e$  .

For any representation $V\in Rep{\mathbf{H}}_{n,\ell }(v,t)$  , we denote by $V^{{\mathbf{H}}_{n,\ell }(v,t)}$  the space of homomorphisms of representations $\chi \to V$  . Obviously, this space can be naturally regarded as a subspace of $V$  . In the generic case, this subspace is equal to $eV$  .

Consider the subalgebra ${\mathbf{H}}_{n-1,\ell }$  of ${\mathbf{H}}_{n,\ell }$  generated by $U,T_1,T_2,...,T_{n-2}$  .

For any representation $V$  of ${\mathbf{H}}_{n,\ell }(v,t)$  , denote by $V^{\prime }$  the space $V^{{\mathbf{H}}_{n-1,\ell }(v,t)}$  .

Let $X:=T_{n-1}...T_{1}U{T}_1...T_{n-1}\in {\mathbf{H}}_{n,\ell }(v,t)$  . In the braid group, the element $X$  corresponds to the point $z_n$  making a counterclockwise loop around $0,z_1,...,z_{n-1}$  ; thus $X$  commutes with ${\mathbf{H}}_{n-1,\ell }(v,t)$  . Therefore, $X$  acts on the space $V^{\prime }$  for any representation $V$  of ${\mathbf{H}}_{n,\ell }(v,t)$  .

Lemma 4.3.1. Let $V$  be the regular representation of ${\mathbf{H}}_{n,\ell }(v,t)$  .

Then for generic parameters the space $V^{\prime }$  has dimension $n\ell$  , and the operator $X{|}_{V^{\prime }}$  is conjugate to $$v_{\ell }{t}^{2T}\oplus diag(v_1,...,v_{\ell -1})\otimes I{d}_n,$$  where $T$  is as in Subsection  2.4 .

• Proof. Let $V_0$  be the regular representation of the degenerate cyclotomic Hecke algebra ${\mathbf{B}}_{n,\ell }(\lambda ,\nu )$  . Consider the following KZ differential equations for a function $F(z_1,...,z_n)$  of complex variables $z_1,...,z_n$  with values in $V_0$  (introduced by Cherednik [Ch1] ):

  $$\begin{array}{c}\frac{\partial F}{\partial z_i}=\left(\frac{Y_i}{z_i}-{\sum }_{p\ne i}\frac{\nu s_{ip}}{z_i-z_p}\right)F.\end{array}$$

  (4.3.2)

  (these are essentially equations ( 4.1.1 ) with ${\alpha }_m=0$  , ${\alpha }_i=\infty$  for $i<m$  ). Let $V$  be the monodromy representation of this differential equation, with base point ${\mathbf{z}}_0=(z_{01},...,z_{0n})$  , $0<z_{01}<z_{02}<...<z_{0n}$  . This is a representation of the braid group $B{r}_{n,2}$  which obviously factors through the Hecke algebra ${\mathbf{H}}_{n,\ell }(v,t)$  , where $t=e^{-\pi i\nu }$  and $v_j=e^{2\pi i{\lambda }_j}$  . It is clear that generically $V$  is the regular representation.
  The space $V$  can be thought of as the space of local solutions of the KZ equations around the base point. The space $V^{{\mathbf{H}}_{n-1,\ell }(v,t)}$  can then be viewed as the subspace of solutions $f$  of the form $$f={\prod }_{j<i<n}(z_i-z_j{)}^{-\nu }{\prod }_{i<n}{z}_i^{{\lambda }_{\ell }}{f}_0,$$  where $f_0$  analytically continues to a meromorphic function in the region defined by the inequalities $|z_n-z_{0n}|<\varepsilon$  , $\left|z_i\right|<z_{0n}-\varepsilon$  for $i<n$  (for some small $\varepsilon$  ). The operator $X$  acts on the space of such solutions by taking their monodromy around the loop $\sigma$  in which $z_n$  goes counterclockwise around $0,z_1,...,z_{n-1}$  . Tending $\left|z_i\right|$  to $0$  , we find that the $n$  -th KZ equation tends to the equation $\frac{\partial F}{\partial z_n}=\frac{Y_n-\nu (s_{n1}+...+s_{n,n-1})}{z_n}F$  . Therefore, the monodromy around $\sigma$  on $V^{\prime }$  is conjugate to $e^{2\pi i(Y_n-\nu (s_{n1}+...+s_{n,n-1}\left)\right)}{|}_{V_0^{\prime }}$  . Thus the required statement follows from Lemma  2.4.2 . □

Here is another, purely algebraic proof of Lemma  4.3.1 .

• Proof. Let $\pi \in {\mathbf{H}}_{n-1,\ell }(v,t)$  be the idempotent of the trivial representation (it exists since generically the algebra ${\mathbf{H}}_{n-1,\ell }(v,t)$  is semisimple); we have $V^{\prime }=\pi V$  .
  Let $P_k\left(x\right)={\prod }_{j=1,j\ne k}^{\ell }\frac{(x-v_j)}{(v_k-v_j)}$  . Let $U_n=T_{n-1}^{-1}...T_1^{-1}U{T}_1...T_{n-1}$  . We have $[\pi ,U_n]=0$  , and hence $V^{\prime }={\oplus }_{k=1}^{\ell }{V}_k^{\prime }$  , where $V_k^{\prime }:=P_k\left(U_n\right)V^{\prime }$  . Note that $V_k^{\prime }=y_k{V}^{\prime }$  , where $y_k=\pi T_{n-1}^{-1}...T_1^{-1}{P}_k\left(U\right)$  , and that $dim{V}_k^{\prime }=n$  for all $k$  .

  Lemma 4.3.3. $X{|}_{V_k^{\prime }}=v_{k}Id$  for any $k\ne \ell$  .

  • Proof. It suffices to show that $$X{y}_k=v_k{y}_k,k=1,...,\ell -1.$$  Since $X\pi =\pi X$  , we find $$X{y}_k=v_k\pi T_{n-1}...T_2{T}_1{P}_k\left(U\right)=v_k\pi T_{n-1}...T_2{T}_1^{-1}{P}_k\left(U\right)+v_k(t-t^{-1})\pi T_{n-1}...T_2{P}_k\left(U\right).$$  Since $P_k\left(U\right)$  commutes with $T_{n-1},...,T_2$  and $\pi P_k\left(U\right)=0$  , the last summand is zero. Thus we have $$X{y}_k=v_k\pi T_{n-1}...T_2{T}_1^{-1}{P}_k\left(U\right)=$$  $$v_k\pi T_{n-1}...T_2^{-1}{T}_1^{-1}{P}_k\left(U\right)+v_k(t-t^{-1})\pi T_{n-1}...T_3{T}_1^{-1}{P}_k\left(U\right),$$  and again the last term is zero. Continuing in this way, we will find that $$X{y}_k=v_k\pi T_{n-1}^{-1}...T_2^{-1}{T}_1^{-1}{P}_k\left(U\right)=v_k{y}_k.$$  □

  Now let ${\mathbf{H}}_n\left(t\right)$  be the usual Hecke algebra of type $A_{n-1}$  , and consider the homomorphism $\theta :{\mathbf{H}}_{n,\ell }(v,t)\to {\mathbf{H}}_n\left(t\right)$  given by $T_i\to T_i$  , $U\to v_{\ell }$  . We have $\theta \left(X\right)=v_{\ell }{T}_{n-1}...T_2{T}_1^2{T}_2...T_{n-1}$  . Also, $\theta \left(V_k^{\prime }\right)=0$  for $k\ne \ell$  , while $\theta {|}_{V_{\ell }^{\prime }}$  is injective, and its image $J$  is the space of all elements $y$  in ${\mathbf{H}}_n\left(t\right)$  such that $T_{i}y=ty$  for $i\ne n-1$  . By the result of Subsection 4.3 in [Ob1] , the operator $T_{n-1}...T_2{T}_1^2{T}_2...T_{n-1}{|}_J$  is conjugate to $t^{2T}$  . This statement, together with Lemma  4.3.3 implies Lemma  4.3.1 . □

5 The affine case

5.1 The algebra $H_n$  for affine $D$ 

From now on let us consider the affine case, i.e. $D={\tilde{D}}_4,{\tilde{E}}_6,{\tilde{E}}_7,{\tilde{E}}_8$  . We keep the notation of subsection  2.5 .

It is natural to expect that in this case the algebra $H_n(u,t)$  has properties similar to those of the algebra $B_n(\gamma ,\nu )$  stated in Theorem  2.5.1 . Unfortunately, we are unable to establish any of these properties, and we are going to state them as conjectures.

Set $$q=q\left(u\right):={\prod }_{k,j}{u}_{kj}^{-\ell /d_k}.$$  We have a homomorphism ${\eta }_m:{\mathbf{H}}_{n,\ell }(u_m,t)\to H_n(u,t)$  , where $u_m:=\left(u_{mj}\right)$  , given by the formulas ${\eta }_m\left(T_i\right)=T_i$  , ${\eta }_m\left(U\right)=U_m$  .

Conjecture 5.1.1. (i) The Gelfand-Kirillov dimension of $H_n(u,t)$  is $2n$  .

(ii) The algebra $H_n(u,t)$  is PI if and only if $q$  is a root of unity.

More precisely, it is PI of degree $n!(N\ell {)}^n$  if $q$  is a root of unity of order $N$  .

(iii) If $q$  is a root of unity, then $H_n(u,t)$  is finitely generated over its center $Z\left(H_n\right(u,t\left)\right)$  .

(iv) If $q$  is a root of unity and otherwise $(u,t)$  are generic then $H_n(u,t)$  is an Azumaya algebra, and $S(u,t):=Spec\left(Z\right(H_n(u,t)\left)\right)$  is a smooth affine algebraic variety of dimension $2n$  .

(v) If $q=1$  then the map $Z\left(H_n\right(u,t\left)\right)\to e{H}_n(u,t)e$  given by $z\mapsto ze$  is an isomorphism. In particular, $e{H}_n(u,t)e$  is a commutative algebra.

(vi) If $q=1$  and otherwise $(u,t)$  are generic then every irreducible representation of $H_n(u,t)$  restricts (via the map ${\eta }_m$  ) to the regular representation of ${\mathbf{H}}_{n,\ell }(u_m,t)$  .

Remark 5.1.2. For $n=1$  , this conjecture follows from the paper [EOR] . Also, for $D={\tilde{D}}_4$  , because of Proposition  3.3.2 this conjecture can be attacked using the methods of [Sa] and [Ob1] (for example, parts (i)-(iii) and the second statement of (v) follow rather easily from [Sa] ); this will be done in a subsequent paper.

Finally, using the Riemann-Hilbert homomorphism discussed in Section 4, it can be shown that parts (i)-(iii) and (v) of the conjecture hold for the completed algebra ${\widehat{H}}_n$  . On the other hand, for the algebra $H_n$  of types ${\tilde{E}}_l$  , $l=6,7,8$  , it is unclear to us how to attack any of the above questions (basically, because we don't know how to construct a basis or at least a well behaved filtration of $H_n$  , similar to those used in [EOR] for $H_1$  ).

5.2 Representations of $H_n(u,t)$  for $q=1$ 

Assume that $q=1$  and otherwise $(u,t)$  are generic. In this case, the algebra $H_n(u,t)$  has a $2n$  -parameter family of representations of dimension $n!{\ell }^n$  , which are constructed as follows. Let $\gamma ,\nu$  satisfy equations ( 4.2.1 ), and $ħ=0$  (this is possible since $q=e^{-ħ}$  ). In this case, by Theorem  2.5.1 , $B_n(\gamma ,\nu )$  is an Azumaya algebra, so all irreducible representations of $B_n(\gamma ,\nu )$  have dimension $n!{\ell }^n$  , and are parametrized by a smooth connected $2n$  -dimensional algebraic variety ${\mathcal{ℛ}}_{n,\gamma ,\nu }$  . Thus for any $M\in {\mathcal{ℛ}}_{n,\gamma ,\nu }$  , we can define a representation $\mathcal{ℱ}\left(M\right)$  of $H_n(u,t)$  , of dimension $n!{\ell }^n$  (see Subsection  4.2 ).

Proposition 5.2.1. For generic $M\in {\mathcal{ℛ}}_{n,\gamma ,\nu }$  , $\mathcal{ℱ}\left(M\right)$  is irreducible, and ${\eta }_m^{*}\mathcal{ℱ}\left(M\right)$  is the regular representation of ${\mathbf{H}}_{n,\ell }(u_m,t)$  .

• Proof. In the case $\nu =0$  the statement reduces to the rank 1 case and hence follows from the results of [EOR] . Therefore, the statement holds for generic parameters and generic $M$  . □

Let ${\mathbb{R}}_{n,u,t}$  be the set of equivalence classes of irreducible representations of $H_n(u,t)$  which restrict (via the map ${\eta }_m$  ) to the regular representation of ${\mathbf{H}}_n(u_m,t)$  . This is an affine algebraic variety. By Proposition  5.2.1 , for generic $M$  as above, $\mathcal{ℱ}\left(M\right)\in {\mathbb{R}}_{n,u,t}$  .

Remark 5.2.2. As we mentioned in the previous subsection, we conjecture that all irreducible representations of $H_n(u,t)$  (for $q=1$  and otherwise generic $u,t$  ) restrict to the regular representation of ${\mathbf{H}}_n(u_m,t)$  and thus belong to ${\mathbb{R}}_{n,u,t}$  .

We now want to parametrize irreducible representations of $H_n(u,t)$  , by constructing a map $\Phi :{\mathbb{R}}_{n,u,t}\to {\mathbb{M}}_{n,u,t}$  of ${\mathbb{R}}_{n,u,t}$  into some explicitly described algebraic variety ${\mathbb{M}}_{n,u,t}$  , similarly to the map $\Phi$  for $B_n(\gamma ,\nu )$  discussed in Subsection  2.6 .

The variety ${\mathbb{M}}_{n,u,t}$  is defined as follows.

Definition 5.2.3. ${\mathbb{M}}_{n,u,t}$  is the variety of conjugacy classes of $m$  -tuples $(X_1,...,X_m)\in G{L}_{n\ell }(\mathbb{C}{)}^m$  satisfying the following equations:

$$\begin{array}{c}\begin{array}{}\text{(5.2.5)}& \begin{array}{}\text{(5.2.4)}& X_1{X}_2...X_m=1,X_k\sim diag(u_{k1},...,u_{k,d_k})\otimes I{d}_{n\ell /d_k},k=1,...,m-1,X_m\sim u_{m\ell }{t}^{2T}\oplus diag(u_{m1},...,u_{m,\ell -1})\otimes I{d}_n.\end{array}\end{array}\end{array}$$

(5.2.6)

That is, ${\mathbb{M}}_{n,u,t}$  is the categorical quotient of the variety ${\tilde{\mathbb{M}}}_{n,u,t}$  of $m$  -tuples as above by the action of the group $PG{L}_{n\ell }(\mathbb{C})$  .

Remark 5.2.7. Thus, ${\mathbb{M}}_{n,u,t}$  is defined as the variety of solutions of an appropriate multiplicative Deligne-Simpson problem.

Proposition 5.2.8. For generic parameters ${\mathbb{M}}_{n,u,t}$  is a smooth variety, of dimension $2n$  .

• Proof. The proof is standard (see also [CBS] ). First of all, for generic parameters, any matrices $X_1,...,X_m$  satisfying equations ( 5.2.4 , 5.2.5 , 5.2.6 ) form an irreducible family. Indeed it is easy to see by computing determinants of both sides of ( 5.2.4 ) using equations ( 5.2.5 , 5.2.6 ) that the only nonzero invariant subspace for $X_1,...,X_m$  is the whole space. This implies that the group $PG{L}_{n\ell }(\mathbb{C})$  acts freely on the variety ${\tilde{\mathbb{M}}}_{n,u,t}$  .
  It remains to show that the variety ${\tilde{\mathbb{M}}}_{n,u,t}$  is smooth, of dimension $2n+n^2{\ell }^2-1$  . To do so, let $C_1,...,C_m$  denote the conjugacy classes of $X_1,...,X_m$  .

  We have a map $\mu :C_1\times ...\times C_m\to S{L}_{n\ell }(\mathbb{C})$  given by $(X_1,...,X_m)\to X_1...X_m$  , and ${\tilde{\mathbb{M}}}_{n,u,t}={\mu }^{-1}\left(1\right)$  . We have $$dim{C}_k=n^2{\ell }^2(1-1/d_k),k=1,...,m-1;dim{C}_m=2n-2+n^2{\ell }^2(1-1/d_m).$$  Since for affine $D$  , ${\sum }_k(1-1/d_k)=2$  , we have $$dim(C_1\times ...\times C_m)=2n-2+2n^2{\ell }^2.$$  Thus, to prove the proposition, it suffices to show that $1$  is a regular value for the map $\mu$  , i.e. that for any $\mathbf{X}=(X_1,...,X_m)\in {\tilde{\mathbb{M}}}_{n,u,t}$  , the differential $d{\mu }_{\mathbf{X}}$  is surjective.

  A tangent vector to $\mathbf{X}$  in $C_1\times ...\times C_m$  is of the form $\left(\right[P_1,X_1],...,[P_m,X_m\left]\right)$  , where $P_k$  are some matrices. We have $$d{\mu }_{\mathbf{X}}\left(\right[P_1,X_1],...,[P_m,X_m\left]\right)={\sum }_{k=1}^m{X}_1...X_{k-1}[P_k,X_k]X_{k+1}...X_m=$$  $${\sum }_{k=0}^m{X}_1...X_k(P_{k+1}-P_k)X_{k+1}...X_m$$  (where we agree that $P_0=P_{m+1}=0$  ). Let $Q_k:=P_{k+1}-P_k$  , $k=1,...,m$  (they can be arbitrary matrices). Then we get $$d{\mu }_{\mathbf{X}}\left(\right[P_1,X_1],...,[P_m,X_m\left]\right)={\sum }_{k=1}^m[X_1...X_k,Q_k]X_{k+1}...X_m=$$  $${\sum }_{k-=1}^{m}Ad(X_1...X_k)\left(Q_k\right)-Q_k$$  (as $X_1...X_m=1$  ). Now, since $X_1,...,X_m$  is an irreducible family, we have ${\cap }_{k=1}^{m}Ker(Ad(X_1...X_k)-1)=\mathbb{C}$  , and hence dually ${\sum }_{k=1}^{m}Im(Ad(X_1...X_k)-1)=\mathfrak{s}{\mathfrak{l}}_{n\ell }(\mathbb{C})$  . Thus, $d{\mu }_{\mathbf{X}}$  is surjective and we are done. □

Remark 5.2.9. We have not shown that the variety ${\mathbb{M}}_{n,u,t}$  is nonempty. This will follow from the existence of the map $\Phi$  defined below, and also follows from the results of [CBS] .

Let us explain the construction of the map $\Phi$  : ${\mathbb{R}}_{n,u,t}\to {\mathbb{M}}_{n,u,t}$  . Let $V\in {\mathbb{R}}_{n,u,t}$  . Using the map ${\eta }_m$  we can regard $V$  as a representation of ${\mathbf{H}}_{n,\ell }(u_m,t)$  , which is isomorphic to the regular representation. It is easy to see that the elements ${\tilde{U}}_i:=T_{n-1}...T_1{U}_i{T}_1^{-1}...T_{n-1}^{-1}$  , $i=1,...,m-1$  , commute with ${\mathbf{H}}_{n-1,\ell }(u_m,t)$  . The same is true about ${\tilde{U}}_m:=T_{n-1}...T_1{U}_m{T}_1...T_{n-1}$  .

Thus the operators ${\tilde{U}}_1,...,{\tilde{U}}_{m-1},{\tilde{U}}_m$  preserve the space of $V^{\prime }:=V^{{\mathbf{H}}_{n-1,\ell }(u_m,t)}$  .

We have $dim{V}^{\prime }=n\ell$  . We define the map $\Phi$  by the formula: $$\Phi \left(V\right)=({\tilde{U}}_1{|}_{V^{\prime }},...,{\tilde{U}}_{m-1}{|}_{V^{\prime }},{\tilde{U}}_m{|}_{V^{\prime }}).$$ 

Proposition 5.2.10. We have $\Phi :{\mathbb{R}}_{n,u,t}\to {\mathbb{M}}_{n,u,t}$  .

• Proof. An easy deformation argument from the group algebra case shows that equation ( 5.2.5 ) is satisfied for $X_k={\tilde{U}}_k{|}_{V^{\prime }}$  , $k<m$  . Equation ( 5.2.4 ) is also clearly satisfied. Finally, the fact that equation ( 5.2.6 ) holds follows from Lemma  4.3.1 . □

Conjecture 5.2.11. $\Phi$  is an isomorphism of algebraic varieties.

Recall now that there is a Riemann-Hilbert map between the spaces of solutions of the additive and the multiplicative Deligne-Simpson problems:

$RH:{\mathcal{ℳ}}_{n,\gamma ,\nu }\to {\mathbb{M}}_{n,u,t}$  , defined as follows.

Given $\mathbf{x}:=(x_1,...,x_m)\in {\mathcal{ℳ}}_{n,\gamma ,\nu }$  , consider the Fuchsian differential equation

$$\begin{array}{c}\frac{dF}{dz}={\sum }_{k=1}^m\frac{x_{k}F}{z-{\alpha }_k}.\end{array}$$

(5.2.12)

Assume that $z_0\in \mathbb{R}$  is a base point, and ${\alpha }_1<...<{\alpha }_m<z_0$  . Then $RH(\mathbf{x})=\mathbf{X}:=(X_1,...,X_m)$  , where $X_k$  is the monodromy matrix of this differential equation around the loop, in which $z$  goes counterclockwise around ${\alpha }_k$  passing ${\alpha }_{k+1},..,{\alpha }_m$  from below. This map, of course, depends on the choice of ${\alpha }_k$  , but only up to fractional-linear transformations.

Proposition 5.2.13. One has $\Phi \circ \mathcal{ℱ}=RH\circ \Phi$  .

• Proof. The proof is similar to the first proof of Lemma  4.3.1 . If $V\in {\mathcal{ℛ}}_{n,\gamma ,\nu }$  , then $\Phi \circ \mathcal{ℱ}\left(V\right)$  is the collection of operators ${\tilde{U}}_k$  on the subspace $\mathcal{ℱ}(V{)}^{\prime }$  of $\mathcal{ℱ}\left(V\right)$  . This subspace can be viewed as the space of solutions of the KZ equations which become single-valued near $z_i={\alpha }_m$  and $z_i=z_j$  ( $i,j<n$  ) after division by ${\prod }_{j<i<n}(z_i-z_j{)}^{-\nu }{\prod }_{i<n}(z_i-{\alpha }_m{)}^{{\gamma }_{m\ell }}$  , and ${\tilde{U}}_k$  are the monodromy operators for such solutions around the loops ${\sigma }_k$  , in which $z_n$  goes counterclockwise around ${\alpha }_k$  passing ${\alpha }_{k+1},..,{\alpha }_m,z_1,...,z_{n-1}$  from below for $k<m$  , and goes around ${\alpha }_m,z_1,...,z_{m-1}$  for $k=m$  . To compute the spectral type of ${\tilde{U}}_k$  , we may send $z_i$  with $i<n$  to zero. In this case, the $n$  -th KZ equation tends to equation ( 5.2.12 ). This implies the required statement. □

In conclusion we would like to discuss the dependence of the map $RH$  on the parameters ${\alpha }_k$  . In the ${\tilde{E}}_l$  -cases, there is no such dependence, since there are only three parameters ${\alpha }_k$  , and all collections of them are projectively equivalent. On the other hand, in the ${\tilde{D}}_4$  case, we have an essential parameter, which is the cross-ratio $\kappa$  of ${\alpha }_1,{\alpha }_2,{\alpha }_3,{\alpha }_4$  . Thus we have a 1-parameter family of holomorphic maps $R{H}_{\kappa }:{\mathcal{ℳ}}_{n,\gamma ,\nu }\to {\mathbb{M}}_{n,u,t}$  . If we fix $\mathbf{X}\in {\mathbb{M}}_{n,u,t}$  , we can (locally) implicitly solve for $\mathbf{x}\in {\mathcal{ℳ}}_{n,\gamma ,\nu }$  such that $R{H}_{\kappa }(\mathbf{x})=\mathbf{X}$  . This gives a function $\mathbf{x}=\mathbf{x}(\kappa ,\mathbf{X})$  , which defines a flow on the 2n-dimensional complex manifold ${\mathcal{ℳ}}_{n,\gamma ,\nu }$  . In the case $n=1$  , this is the Painlevé VI flow; so in general this flow should be regarded as a higher rank version of Painlevé VI. Note that the higher rank Painlevé VI flow has an additional parameter $\nu$  , so it has 5 parameters, rather than 4 for the usual Painlevé VI; if $\nu =0$  , the higher rank Painlevé VI flow decouples into a (symmetric) product of $n$  copies of the usual Painlevé VI flows. It would be interesting to write this differential equation explicitly using an appropriate coordinate system on ${\mathcal{ℳ}}_{n,\gamma ,\nu }$  .

References

1. W. Crawley-Boevey, On matrices in prescribed conjugacy classes with no common invariant subspace and sum zero, Duke Math. J. 118 (2003), 339-352
2. W. Crawley-Boevey, Indecomposable parabolic bundles and the existence of matrices in prescribed conjugacy class closures with product equal to the identity. Publ. Math. Inst. Hautes Études Sci. No. 100 (2004), 171–207. math.AG/0307246.
3. W. Crawley-Boevey, M. Holland: Noncommutative deformations of Kleinian singularities. Duke Math. J. 92 (1998), 605–635.
4. W. Crawley-Boevey, P. Shaw, Multiplicative preprojective algebras, middle convolution and the Deligne-Simpson problem, math.RA/0404186
5. I. Cherednik: Double affine Hecke algebras, Knizhnik-Zamolodchikov equations, and Macdonald operators , IMRN (Duke math.J.) 9 (1992), p.171-180.
6. I. Cherednik, Monodromy representations for generalized Knizhnik-Zamolodchikov equations and Hecke algebras, Publ. RIMS Kyoto Univ. 27 (1991), 711–726.
7. P. Etingof, Cherednik and Hecke algebras of varieties with a finite group action, math.QA/0406499
8. P. Etingof, V. Ginzburg, Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism, Invent. Math. 147 (2002), no. 2, 243–348, math.AG/0011114.
9. P. Etingof, S. Montarani, Finite dimensional representations of symplectic reflection algebras associated to wreath products, math.RT/0403250.
10. P. Etingof, A. Oblomkov, E. Rains, Generalized double affine Hecke algebras of rank 1 and quantized del Pezzo surfaces, preprint, 2004.
11. P. Etingof and E. Rains, New deformations of group algebras of Coxeter groups, math.QA/0409261, to appear in IMRN.
12. W.L. Gan, Reflection functors and symplectic reflection algebras for wreath products, math.RT/0502035.
13. W.L. Gan, V. Ginzburg, Deformed preprojective algebras and symplectic reflection algebras for wreath products. J. Algebra 283 (2005), no. 1, 350–363 math.QA/0401038.
14. A. Mathas, The representation theory of the Ariki-Koike and cyclotomic $q$  -Schur algebras. Representation theory of algebraic groups and quantum groups, 261–320, Adv. Stud. Pure Math., 40, Math. Soc. Japan, Tokyo, 2004, math.RT/0204025.
15. S. Montarani, Finite dimensional representations of symplectic reflection algebras associated to wreath products, II, math.RT/0501156.
16. A. Malkin, V. Ostrik, M. Vybornov, Quiver varieties and Lusztig's algebra, math.RT/0403222
17. A. Mellit, Algebras Generated by Elements with Given Spectrum and Scalar Sum and Kleinian Singularities, math.RA/0406119.
18. A. Oblomkov, Double affine Hecke algebras and Calogero-Moser spaces. Represent. Theory 8 (2004), 243–266.
19. A. Oblomkov, Double affine Hecke algebras of rank 1 and affine cubic surfaces. Int. Math. Res. Not. 2004, no. 18, 877–912.
20. S. Sahi, Nonsymmetric Koornwinder polynomials and duality, Ann. of Math. (2) 150 (1999), no. 1, 267–282, q-alg/9710032.
21. J. Stokman, Koornwinder polynomials and affine Hecke algebras, Internat. Math. Res. Notices 2000, no. 19, 1005–1042, math.QA/0002090.

Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A. E-mail address : etingof@math.mit.edu Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A. E-mail address : wlgan@math.mit.edu Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A. E-mail address : oblomkov@math.mit.edu