1 Introduction
2 Rational GDAHA
2.1 Conventions
$$\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) |
2.2 The definition of the rational GDAHA
2.3 GDAHA and the Gan-Ginzburg algebras
$$\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) |
$$\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}$$ |
2.4 The degenerate cyclotomic Hecke algebra
2.5 The affine case
2.6 Representations of ${B}_{n}(\gamma ,\nu )$ for $\mathbf{\u0127}=0$ .
$$\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) |
3 Generalized double affine Hecke algebras
3.1 Generalized DAHA of rank 1
3.2 Generalized DAHA of higher rank
3.3 The case $D={\stackrel{~}{D}}_{4}$
3.4 The flatness theorem
^{3 } 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
$$\begin{array}{c}\frac{\partial F}{\partial {z}_{i}}={A}_{i}F,i=1,\dots ,n,\end{array}$$ | (4.1.1) |
$$\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}$$ |
$$\begin{array}{}\end{array}$$ |
4.2 The monodromy representation of the KZ equations
$$\begin{array}{c}{u}_{kj}:=exp(2\pi i{\gamma}_{kj}),t={e}^{-\pi i\nu}.\end{array}$$ | (4.2.1) |
^{4 } 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
$$\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) |
5 The affine case
5.1 The algebra ${H}_{n}$ for affine $D$
5.2 Representations of ${H}_{n}(u,t)$ for $q=1$
$$\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) |
$$\begin{array}{c}\frac{dF}{dz}={\sum}_{k=1}^{m}\frac{{x}_{k}F}{z-{\alpha}_{k}}.\end{array}$$ | (5.2.12) |