摘要
我们在无穷多变量中定义了Dunkl和Dunkl–Heckman算子,并用它们构造了无限远Calogero–Moser–Sutherland(CMS)问题的量子积分。作为推论,我们得到了与经典李超代数相关的变形量子CMS系统可积性的简单证明。我们展示了这是如何自然地导致莫瑟矩阵的量子版本的,而在变形的情况下,这是以前不知道的。
1引言
通常的Calogero–Moser或Calogero-Moser–Sutherland(CMS)系统描述了|N美元$|在具有平方反比势的直线上具有相等质量的粒子,或者在三角型中,在具有平方反势的直线上等质量的粒子|$\在^2$|电势[6]. 相应的量子哈密顿量具有以下形式在合理的情况下在三角函数的情况下。还有一个非常重要的椭圆情况,但我们在本文中不考虑它。 CMS系统允许与根系统和简单李代数相关的自然推广[20],并且,仅在量子水平上,非对称可积版本称为CMS系统变形[7],与基本经典李超代数相关[21]. 特别是在李超代数的情况下|$\mathfrak{sl}(m,n)$|我们有两组具有两个不同质量的粒子,其哈密顿量如下所示: 变形CMS系统的重要性在发现它们与广义判别式和重合根位点理论的深层联系后变得清晰起来[22,23]和李超代数的表示理论[26,27]以及与对数Frobenius结构理论的有趣联系[12].
变形CMS系统的可积性是一个非常重要的问题。像Dunkl算子技术这样的标准方法在一般变形情况下不起作用(有关参数的特殊值,请参阅最近的Feigin论文[11]). 对于经典系列|澳元(n,m)$|和|不列颠哥伦比亚元(n,m)$|可积性在[21]通过显式构造量子积分。重复的程序是根据松尾的公式进行的猜测[16]结果被简单冗长的计算所证实。
本文的目的可能是给出这些积分的最简单解释。我们的主要工具是无穷远处的Dunkl算子,这似乎以前没有考虑过。我们表明,尽管它不允许在变形情况下构造Dunkl算子,但它自然会导致量子Moser矩阵用于变形的CMS系统。
这解释了变形CMS系统的积分[21]根据量子Lax对Ujino等人首先考虑了常规CMS系统[31]和Wadati等人[32]. 注意,与变形CMS系统的通常情况相反,没有经典的Lax对可量化,因为它们的经典对应物被认为是不可积分的。
对于变形的CMS系统(三),量子Moser矩阵如下|$(n+m)\次(n+m)$|具有非交换项的矩阵哪里|$x_{n+j}:=y_j,\j=1,\ldot,m$|和|$p(i)=0$|对于|$i=1,\ldot,n$||$p(i)=1$|对于|$i=n+1,\ldot,n+m$|.的量子积分(三)可以被构造为|L美元$|(见第5节)。我们在|BC美元$|案例。 本文的另一个结果是,在有理和三角两种情况下,对于类型,无穷远处量子CMS积分的新公式|美元$|和|$BC$|.在类型的三角情况下|美元$|最近在[18]Nazarov和Sklyanin。我们在最后一节中评论了它与我们的结果之间的关系。
无穷远处的Dunkl算子:有理情形
维中常用的Dunkl算子|亿美元$|有这个表格哪里|$\西格玛{ij}$|作用于函数|$f(x)$|通过排列变量|$x_i$|和|$x_j$|.它们的主要性质是可交换性[9] 赫克曼[13]做了一个重要的观察,微分算子哪里|${\rm Res}$|是指对对称多项式空间的限制运算,对量子CMS系统进行交换并给出积分。更准确地说,|$\mathcal L^{(2)}_{N}=\ mathcal H_N$|,其中操作员|$\mathcal H_N$|是CMS操作员的标准(和相反符号)版本(1)由提供注意操作员(8)保留对称多项式的代数由生成(非自由生成)|$p_j(x)=x_1^j+\cdots+x_N^j,\j\in\mathbb Z_{>0}$|. 让|$\兰姆达$|成为对称函数代数定义为的反极限|$\兰姆达_N$|在分次代数的范畴中(参见[15]). 我们还考虑更大的代数|$\bar\Lambda=\Lambda[p_0]$|它是带有自由生成元的交换代数|$p_{i},\i\in\mathbb Z_{\ge 0}$|.尺寸|$p_0=1+1+\cdots+1=N$|在无限维情况下没有意义,所以我们添加|$p_0$|作为附加变量(参见[24,25]).|美元\bar\Lambda$|具有自然分级,其中|$p_i$|是|$i$|.
现在定义无穷维Dunkl算子|$D_{\infty}:\bar\Lambda[x]\rightarrow\bar\Lambda[x]$|通过其中推导|$\部分$|在里面|$\bar\Lambda[x]$|由公式定义和操作员|$\增量:\bar\Lambda[x]\rightarrow\bar \Lambda[x]$|由定义和
下图哪里|$D_{i,N}$|是Dunkl操作员(6),是可交换的。
我们有自从关系|$\varphi_{i,N}\circ\partial=\partial _i\circ\ varphi_},N}$|很明显。 还引入一个线性算子|$E:\bar\Lambda[x]\longrightarrow\bar\Lambda$|根据公式并定义运算符|$\mathcal{L}^{(r)}:\bar\Lambda\longrightarrow\bar\Lambda,\r\in\mathbb Z_+$|通过哪里|${\rm Res}$|是指对以下方面的限制|$\bar\Lambda$|. 我们声称这些算符在无穷远处给出了量子CMS积分。更准确地说,我们得到了以下结果。
定理2.2
操作员|$\mathcal{L}^{(r)}$|是中的微分算子|$\bar\λ$|订单的|$r$|,与他人通勤:操作员|$\mathcal L^{(2)}$|具有以下显式形式:具有|$\部分_a=a\部分/\部分p_a$|并定义了rational CMS运算符的无限维版本(8)在无穷远处。
为了表明这一点|$\mathcal{L}^{(r)}$|是一个阶微分算子|$r$|我们基本上可以重复赫克曼的论点[13]. 回想一下|美元\mathcal L$|是中的微分算子|美元\bar\Lambda$|订单的|美元$|如果|${\rm ad}(f)^{r+1}\mathcal L=0$|对于任何|$f\in\bar\Lambda$|但总的来说|${\rm ad}(f)^{r}\mathcal L\neq 0$|.自|E美元$|和|美元\ Delta$|乘法通勤|$f$|,我们有自这意味着|${\rm ad}(f)^2(D_{\infty})=0$|因此|${\rm广告}(f)^{r+1}(D_{\infty}^r)=0$|另一方面,|${\rm ad}(f)^{r}(D_{\infty}^r)=r!(-\部分f)^r$|,这意味着|${\rm ad}(p_1)\mathcal{L}^{(r)}=r!(-p_0)^r\neq 0$|所以|$\mathcal{L}^{(r)}$|是一个阶微分算子|$r$|. 显式形式(13)很容易从直接计算中得出结论。据我们所知,这样一个公式最早出现在[24,25],尽管在三角函数的情况下有类似的公式(参见(38))斯坦利基本上都知道[30]. 三角函数情况的一个重要优点是稳定性,这意味着在这种情况下,我们不需要额外的变量|$p_0$|.
为了证明交换性,我们考虑了有限维的约简。对于每一个自然的|N美元$|有一个同态|$\varphi_N:\bar\Lambda\rightarrow\Lambda _{N}$|由定义我们有下面的交换图:哪里|$\mathcal L^{(r)}_{N}$|是Heckman构造的CMS积分(7). 的确,对于任何人|$f\in\bar\Lambda$|我们有|$D_{\infty}^r(f)=\sum_{l} x个^lg_l,g_l\in\bar\Lambda$|,其中和是有限的。根据提案2.1, 这证明了图的可交换性。这意味着由于积分(7)通勤[14]. 为了结束证明,我们需要以下引理。
让|$f美元$|是…的元素|$\bar\Lambda$|.如果|$\varphi_N(f)=0$|对所有人来说|$N$|然后|$f=0$|.
根据定义,|$f美元$|是有限个生成器中的多项式|$p_r,\1\le r \le M$|对一些人来说|百万美元$|系数多项式取决于|$p_0$|.接受|N美元$|大于此数字|百万美元|.由于相应|$\varphi_N(p_{r})$|具有|百万美元$|在中代数独立|$\兰姆达_N$|和|$\varphi_N(f)=0$|,所有系数|$f美元$|在以下位置为零|$p_0=N$|.因为这对所有人来说都是真的|N>M美元$|系数为零,因此|$f=0$|.
应用引理,我们得到了交换性|$[\mathcal L^{(r)},\mathcall L^{}]=0$|.
3畸形CMS操作员:理性案例
有理情况下的变形CMS算子具有以下形式它们描述了直线上两组粒子与质量1和|1美元/k$|分别是。什么时候?|$k=1$|我们有通常的CMS系统|n+m美元$|粒子,这就是术语。 操作员(16)的|$m=1$|由Chalykh等人于年介绍和研究[7]; 一般情况下|百万美元$|他们被贝雷斯特和亚基莫夫考虑过[2]. 它们的可积性在年首次被证明[21],其中量子积分是通过递归过程构造的。我们现在要展示的是,这个过程有一个简单的Dunkl算子解释。
让|${\mathcal H}_{n,m}=\Psi_0 L_{n、m}\Psi _0^{-1}$|是…的标准形式(16)带有 便于定义|$y_j=x_{n+j},\j=1,\ldot,m$|并引入奇偶函数|$p(i)=0,\i=1,\ldots,n$|和|$p(i)=1,\i=n+1,\ldot,n+m$|.
以下[21],考虑操作员|$\部分^{(r)}_i$|由递归定义具有|$\部分^{(1)}_i=k^{p(i)}\分数{\部分}{\部分x_i}$|(参见[21,公式(17)])。可以很容易地检查操作员与变形CMS操作员一致(17). 在[21]一个冗长但直接的计算证明相互交换,特别是变形CMS系统的量子积分。递归公式(18)都是基于递归松尾公式的猜测[16]. 现在我们将给出一个更简单的证明,并对这些公式进行更概念性的解释。
定义|$\varphi^{(i)}_{n,m}:\bar\Lambda[x]\longrightarrow\mathbb C[x_1,\ldots,x_{n+m}]$|通过|$\varphi^{(i)}_{n,m}(x)=x_i$|和对所有人来说|$l\in\mathbb Z_{\ge 0}$|. 表示方式|$\Lambda_{n,m}$|中的子代数|$\mathbb C[x_1,\ldots,x_{n+m}]$|由变形幂和生成|$p_l(x,k),\l\in\mathbb Z_{>0}$|。我们将向操作员展示|$\部分^{(r)}_i$|映射代数|$\Lambda_{n,m}$|进入之内|$\Lambda_{n,m}[x_i]$|(见图表(23)).
在变形的情况下,我们没有类似于(10),但我们有以下重要关系。
提议3.1
以下关系成立|$\bar\Lambda[x]$|: 证明
对于任何|$f\in\bar\Lambda$|我们有另一方面,自|$k^{p(i)}+k^{1-p(i$|对所有人来说|$i=1,\ldot,n+m$|我们只需要证明一下因为两者都是|$\部分$|和|$\部分_i$|是派生的,检查一下就足够了|$f=p_l$|,这是显而易见的。
证明
我们在中使用归纳法|$r$|.何时|$r=1$|以下是(22). 对于|$r>1$|我们有哪里|$g=D_{\infty}^{r-1}f\in\bar\Lambda[x]$|.根据之前的提议,通过归纳假设|$\varphi_{n,m}^{(i)}(g)=\partial^{$|因此在我们使用它的地方|$f\in\bar\Lambda$||$\varphi^{(i)}_{n,m}(f)=\varphi^{(j)}_{n,m}(f)$|因此,证明到此结束。 定义同态|$\varphi_{n,m}:\bar\Lambda\rightarrow\Lambda _{n,m}$|通过 定理3.3
下图是可交换的:哪里|$\mathcal L^{(r)}$|是CMS积分(12)无穷大和|$\mathcal L_{n,m}^{(r)}$|是操作员吗(19). 特别是,后一种运营商通勤:对所有人来说|$r,s\in\mathbb Z_{>0}$|从而给出了变形CMS系统的量子积分。 证明
对于任何|$f\in\Lambda$|我们有其中右侧的和是有限的。根据命题3.2,因此,我们有这证明了该图的可交换性。算子的交换性(19)现在从CMS积分的交换性开始(12)在无穷远处。 变形CMS系统的4量子Moser矩阵
与通常的CMS情形相反,变形CMS系统的经典版本被认为是不可积的;参见[7]. 这意味着以下内容没有合适的替代品莫瑟矩阵在经典情况下回想一下,Moser已经证明了经典CMS系统的运动方程可以以Lax形式重写为哪里具有|$a{i}=-\sum_{i\neqj}^n\frac{1}{(q_i-q_j)^2}$|(请参见[17]). 注意,最后一个条件意味着|$Me={e}^{\rm T}M=0$|,其中|$e=(1,\ldot,1)^{\rm T}$|. 上一节中的Dunkl运算符方法自然会导致以下结果量子Moser矩阵|L美元$|用于变形的CMS系统。Ujino等人于1992年提出了常规CMS系统中Lax对的量子模拟[31]和Wadati等人[32](另见Shastry和Sutherland[29]),但量子版的Moser矩阵|L美元$|已于1975年由Calogero等人在[5]产生CMS系统的量子积分。
为了推导变形情况下的量子Moser矩阵,重写关系式(21)以矩阵形式表示为哪里|$\Phi_{n,m}$|是带有分量的矢量|$\varphi^{(i)}_{n,m},\i=1,\ldot,n+m$|和|美元\mathcal L$|是一个|$(n+m)\次(n+m)$|包含(非交换)项的矩阵量子Moser矩阵|L美元$|是以下标准版本的|$\mathcal L$|:注意操作员|$\mathcal L_{ii}$|和|$L_{ii}$|被乘法运算符共轭介绍相应的矩阵|百万美元$|如下对莫瑟矩阵的简单修改:请注意,此矩阵具有以下属性|$Me=0$|(与通常情况一样),以及|$e^*M=0$|美元,其中|$e^*=(1,\ldot,1,\frac{1}{k},\ldots,\frac{1}}{k{)$|(或,|$e^*_i=k^{-p(i)},\i=1,\ldots,n+m$|)变形对偶|$e$|. 还介绍了“矩阵哈密顿量”|H美元$|哪一个是对角线|$(n+m)\次(n+m)$|带变形CMS算子的矩阵(16)对角线上:换向器|$[升,小时]$|有条目|$[L,H]_{ij}=[L_{iij},H_{n,m}]$|可以被认为是量子版本的|$\点L$|(参见[31,32]). 该证明是通过与通常情况类似的直接计算得出的[31,32]. 推论4.2
操作员|$L_{n,m}^{(r)}=e^*L^r e$|是变形CMS系统的量子积分(16). 这些积分与上一节模数共轭的积分一致|$\Psi _0$|.
确实,来自(29)我们有|$[L,H-M]=0$|,因此|$[L^r,H-M]=0$|,或这意味着自从|$Me=e^*M=0美元$|(参考中常见CMS系统的情况[32]). 这证明了|$L_{n,m}^{(r)}$|是变形CMS系统的积分。可以检查一下|$L_{n,m}^{(2)}=H_{n、m}$|.积分|$L_{n,m}^{(r)}$|可以解释为“变形的总轨迹”(参见[32])量子Moser矩阵的幂: 请注意|$L_{n,m}^{(r)}$|相互通勤并不遵循Lax方法。在我们的案例中,这是根据上一节的结果得出的,因为|$L_{n,m}^{(r)}$|是标准版本的|$\mathcal L_{n,m}^{(r)}$|或者,可以首先显示图的可交换性(24)带有|$\mathcal L^{(r)}_{n,m}$|定义为|$e^*\mathcal L^r e$|然后是|$\mathcal L^{(r)}_{n,m}$|(因此|$L_{n,m}^{(r)}$|)根据运算符的可交换性|$\mathcal L^{(r)}$|.
5三角情形:无穷远处的Dunkl–Heckman算子
在本节中,我们主要关注我们的论文[28],其中考虑更一般的Laurent情况。由于它在很大程度上与理性案例平行,我们将省略大多数证明。我们还将使用相同的字母来表示类似于有理情况下的数量;希望这不会导致太多混乱。
在三角(双曲线)情况下,我们有以下CMS运算符:它有一个特征函数|$\Psi_0=\prod_{i\ltj}^N\sinh^{-k}(z_i-z_j)$|具有特征值|$\lambda _0=-k^2N(N-1)/4$|.其标准版本|$\压裂{1}{4}\Psi _0^{-1}(L_N-\lambda _0)\Psi _ 0$|在指数坐标中|$x_i={\rm e}^{2z_i}$|有表单 本例中对应的Dunkl算子是由Heckman首先引入的[14]并具有表单和以前一样|$\西格玛_{ij}$|是一个换位,通过排列坐标作用于函数|$x_i$|和|$x_j$|这些运营商的主要问题是他们不通勤。(我们应该注意到,由于Cherednik的缘故,三角函数中存在Dunkl算子的交换版本[8]但是,它们缺乏赫克曼版本的对称性,而这些对称性对我们来说至关重要。)然而,赫克曼[14]设法证明微分算子哪里|${\rm Res}$|是指对对称多项式空间的限制运算,相互交换自|$\mathcal L^{(2)}_{N}={\mathcalH}_{N}$|,它们是量子CMS系统的积分(30). 操作员作用于对称多项式代数|$\Lambda_{N}$|并且拥有财产 定义无穷维Dunkl–Heckman算子|$D_{\fty}:\bar\Lambda[x]\rightarrow\bar\Lambda[x]$|通过其中推导|$\部分$|在里面|$\bar\Lambda[x]$|由公式定义和操作员|$\增量:\bar\Lambda[x]\rightarrow\bar \Lambda[x]$|由定义和 可以检查以下图表是可交换的,其中|$D_{i,N}$|是Dunkl–Heckman操作员(31)、和|$\varphi_{i,N}(x)=x_i$|,|$\varphi_{i,N}(p_l)=x_1^l+\cdots+x_N^l,\l\ge 0$|和以前一样。 让|$E:\bar\Lambda[x]\longrightarrow\bar\Lambda$|同上:|$E(x^lf)=p_lf,\f\in\bar\Lambda,\l\in\mathbb Z_{\ge 0}$|.定义操作符|$\mathcal{L}^{(r)}:\bar\Lambda\longrightarrow\bar\Lambda,\r\in\mathbb Z_+$|通过哪里|${\rm Res}$|表示右侧的动作限制为|$\bar\Lambda$|. 操作员|$\mathcal L^{(2)}$|具有以下显式形式:哪里|$\部分_a=a\压裂{\部分}{\部分p_a}$|并且已知是无穷远处的(三角)CMS算子(参见[1,24,30]). 注意,依赖于|$p_0$|在三角情况下可以很容易地消除,因为|$\sum_{a>0}p_a\部分_a$|是总动量,对应于CMS算子在这种情况下的稳定性属性(参见[24]).
据称,运营商(37)通勤:因此是无穷大处的量子CMS积分。这源于赫克曼积分的交换性(32)、引理2.3和图的交换性哪里|$\mathcal L^{(r)}_{N}$|CMS积分由(32)以及同态|$\varphi_{N}:\bar\Lambda\rightarrow\Lambda _N$|由定义|$\varphi_N(p_l)=x_1^l+\cdots+x_N^l,\l\ge 0$|. 现在考虑变形的CMS操作员[21],在指数坐标中的形式为或者,以标准形式, 我们使用第3节中的符号:let|$y_j=x_{n+j},\j=1,\ldot,m$|和|$p(i)$|是奇偶函数,|$\varphi^{(i)}_{n,m}:\Lambda[x]\longrightarrow\mathbb C[x_1,\ldots,x_{n+m}]$|由定义(20)和|$\Lambda_{n,m}$|是中的子代数|$\mathbb C[x_1,\ldots,x_{n+m}]$|由变形幂和生成 可以检查以下等式在中是否有效|$\兰姆达[x]$|: 在与这使我们在变形三角情况下得到了莫瑟矩阵的以下量子版本 还定义|$(n+m)\次(n+m)$|矩阵|百万美元$|通过 让|美元$|和|美元^*$|与结论4.2中的相同,并且|H美元$|由定义|$H_{i}=H_{n,m}$|,|$H_{ij}=0$|,|$i\neq j$|,使用|$L_{n,m}$|由定义(40). 我们可以检查一下,在理性情况下,我们有量子Lax关系得出以下一组积分。
为了证明交换性,我们应该考虑规范版本|美元\mathcal L$|矩阵的|L美元$|并定义运算符具有|$\mathcal L^{(2)}_{n,m}$|是变形CMS系统的量子哈密顿量(41). 与有理情况类似,可以显示图表(24)是可交换的。自从运营商|$\mathcal L^{(r)}$|彼此通勤也是如此|$\mathcal L^{(r)}_{n,m}$|因此|$L^{(r)}_{n,m}$|. 6合理|十亿美元$|-类型案例
证明与类型非常相似|美元$|情况,所以我们只提供修改后的公式。
类型的理性CMS运算符|B_N美元$|有表单取决于两个参数|千美元$|和|$q$|.其标准版本|$\mathcal H_N=\delta H_N\delta ^{-1}$|具有是 CMS操作员(48)保留对称多项式的代数|$\Lambda_{N}=\mathbb C[x_{1},\ldots,x_{N{]^{W_N}$|就集团而言|$W_N=S_N\times\mathbb Z_2^N$|由生成(非自由生成)|$p_j(x)=x_1^{2j}+\cdots+x_N^{2j},\j\in\mathbb Z_{0}$|.小组|$W_N美元$|由反射生成和(保持其他坐标不变)。 本例中的Dunkl操作符具有以下形式哪里|$i=1,2,\ldot,N$|这些操作员通勤[9]并可以生成相应CMS系统的量子积分哪里|${\rm Res}$|是指对以下方面的限制|$\Lambda_{N}$|具有|$\数学L^{(2)}_{N}=\数学H_N$|由提供(48)(请参见[14]). 让|美元\bar\Lambda$|与之前相同并定义无穷维Dunkl算子|十亿美元$|-类型|$D_{\infty}:\bar\Lambda[x]\rightarrow\bar\Lambda[x]$|通过这里是推导|$\部分$|在里面|$\bar\Lambda[x]$|由公式定义操作员|$\增量:\,\bar\Lambda[x]\rightarrow\bar \Lambda[x]$|由定义具有和对合|美元\套$|由定义让|$\varphi_{i,N}:\bar\Lambda[x]\longrightarrow\Lambda_{N}[x_i]$|是同态,使得可以看出下图哪里|$D_{i,N}$|是Dunkl操作员(49),是可交换的。 定义线性运算符|$E:\bar\Lambda[x]\longrightarrow\bar\Lambda$|根据公式和操作员|$\mathcal{L}^{(r)}:\bar\Lambda\longrightarrow\bar\Lambda,\r\in\mathbb Z_+$|通过和以前一样|${\rm Res}$|是指对以下方面的限制|$\bar\Lambda$|. 声称这些算符给出了有理函数中无穷远处的量子CMS积分|十亿美元$|-案例。
定理6.1
微分算子|$\mathcal{L}^{(r)}$|相互通勤:操作员|$\mathcal L^{(2)}$|具有以下显式形式:具有|$\部分_a=a\部分/\部分p_a$|并且与的合理CMS运算符一致|十亿美元$|-在无穷大处键入。 显式形式(54)与一致[23,公式(32)],并根据关系式 现在让我们把这个应用到变形的情况。类型的变形有理CMS算子|$B_{n,m}$|有表单[21]其中参数|$k,q,s$|满足关系 让|$x_{n+i}=y_i,\i=1,\ldot,m$|如前所述,并介绍多重性函数|$m(i)=q$|对于|$i=1,\ldot,n$|和|$m(i)=秒$|对于|$i=n+1,\ldot,n+m$|.
定义|$\varphi^{(i)}_{n,m}:\bar\Lambda[x]\longrightarrow\mathbb C[x_1,\ldots,x_{n+m}]$|通过|$\varphi^{(i)}_{n,m}(x)=x_i$|和对所有人来说|$l\in\mathbb Z_{\ge 0}$|和以前一样,让我们也|美元\套_i$|是的自同构|$\mathbb C[x_1,\ldots,x_{n+m}]$|更改的符号|$x_i$|.
我们有以下关系|$\bar\Lambda[x]$|: 重写(58)以矩阵形式表示为哪里|$\Phi_{n,m}=(\varphi^{(1)}_{n、m},\ldots,\varphi ^{$|和|美元\mathcal L$|具有块形式具有以下功能|$(n+m)\次(n+m)$|矩阵|$\mathcal A公司$|和|$\mathcal B$|: 经过适当的共轭,我们得到了以下量子Moser矩阵|L美元$|对于变形的合理CMS系统|十亿美元$|-类型:具有在未变形的情况下|$m=0$|它简化为山本在年提出的量子Moser矩阵[33]作为Olshanetski和Perelomov在经典案例中发现的Lax矩阵的一个版本[19]. 让|$e=(1,\ldot,1)^{\rm T}$|和|$e^*_i=e^*_{n+m+i}=k^{-p(i)}$|对于|$i=1,\ldot,(n+m)$|。类似于|美元$|-类型案例中,可以证明以下结果,它解释了[21].
操作员是有理函数中变形CMS系统的交换量子积分|$B_{n,m}$|箱子(55). 7三角函数|BC美元$|案例
三角函数|美元BC_N$|CMS操作员取决于三个参数|k,p,q美元$|并且在指数坐标中具有以下形式或者,经过量规转换并使用|$\部分_i=x_i\分数{\部分}{\部分x_{i}$|,操作员|${\mathcal H}_N$|保留代数|$\Lambda^W_N$|属于|$W_N$|-不变Laurent多项式,其中Weyl群的作用|$W_N=S_N\times\mathbb Z_2^N$|在|$\mathbb C[x_1,x_1^{-1},\ldot,x_N,x_N^{-1{]$|由生成|$s_{ij}^{\pm}$|和|$t_i,\,i=1,\ldot,N$|根据…行事(其他坐标不变)。代数|$\Lambda^W_N$|由不变量生成 相应的Dunkl–Heckman操作符|$D_{i,N}$|作用于洛朗多项式|$\mathbb C[x_1,x_1^{-1},\ldot,x_N,x_N^{-1{]$|有这个表格请注意|$D_{i,N}$|保留子代数|$\Lambda^W_N[x_i,x_i^{-1}]\subset\mathbb C[x_1,x_1^{-1neneneep,\ldots,x_N,x_N^{-1{]$|量子CMS积分可以由Heckman公式给出[14]哪里|${\rm Res}$|是指对以下方面的限制|$\Lambda^W_N$|可以检查一下|$\数学L^{(2)}_{N}={\数学H}_N$|是CMS操作员(65). 考虑代数|美元\bar\Lambda$|自由生成的|$p_i,\,i\in\mathbb Z_{\geq 0}$|和以前一样。定义Dunkl–Heckman操作员|BC美元$|-在无穷远处键入|$D_{\infty}:\bar\Lambda[x,x^{-1}]\rightarrow\bar \Lambda[x,x^{-1{]$|作为其中推导|$\部分$|由定义|$\partial(x)=x,\partial p_l=l(x^l-x^{-l}),\,l\in\mathbb Z_{\geq 0}$|和同态|美元\bar\Lambda$|-模块|美元\ Delta$|和|$t(美元)$|由定义|$\增量\,(1)=0$| 是可交换的,其中同态|$\varphi_{i,N}$|由定义|$\varphi_{i,N}(x)=x_i$|和(尤其是,|$p_0$|专门用于|$2N$|). 定义同态|$\bar\λ$|-模块|$E:\bar\Lambda[x,x^{-1}]\rightarrow\bar\Lambda$|通过CMS积分|BC美元$|-现在可以用公式定义无穷大的类型哪里|${\rm Res}$|指限制|$\bar\Lambda$|。对于|$r=1$|我们有|BC美元$|无穷远处的算子像往常一样在哪里|$\partial_a=a\frac{\partial}{\partial p_a}$|我们使用了[23]并定义|$p_j:=p_{|j|}$|对所有人来说|$j\in\mathbb Z$|注意,与中公式的比较[23]这并不容易,因为那里的变量对应于中不变量的不同选择|$\Lambda^W_N:$| 现在简单考虑一下变形的|BC美元$|案例。相应的CMS操作员[21]在指数坐标中具有以下形式其中参数|$k、p、q、r、s$|满足关系 如前所述定义|$x_{n+i}=y_i,\,i=1,\ldot,m$||$\部分_j=x_j\压裂{\部分}{\部分x_j}$|并介绍了多重函数|$\mu(i)=p,\,\nu(i)=q$|对于|$i=1,\ldots,n$|和|$\mu(i)=r,\,\nu(i)=s$|对于|$i=n+1,\ldot,n+m$|.
在这种情况下,量子Moser矩阵也具有块形式具有以下功能|$(n+m)\次(n+m)$|矩阵|美元$|和|$B$|美元: 变形CMS系统的交换量子积分(70)现在可以构造为和以前一样|$e=(1,\ldot,1)^{\rm T}$|和|$e^*_i=e^*_{n+m+i}=k^{-p(i)}$|对于|$i=1,\ldot,(n+m)$|. 可以检查规范变换后的这些积分是否与[21].
8结束语
我们已经证明了无穷远处的Dunkl算子如何导致量子Moser矩阵,以及与经典李超代数级数相关的变形CMS系统的可积性证明。对应的量子Moser矩阵的一个简单形式表明,对于与异常李超代数相关的变形CMS系统,可以猜测它[21]其可积性仍有待研究。(正如我们从Oleg Chalykh中学到的,至少在有理情况下,有一种相对简单的方法来证明所有变形CMS系统的可积性,包括例外CMS系统,使用有理Cherednik代数的理论[三].)
另一个悬而未决的问题是关于椭圆版本。椭圆Dunkl算子在[4]和用于构造椭圆CMS系统的积分[10]. 构造不像三角函数那样简单,并且涉及相应经典系统的积分。问题是我们论文的方法是否可以针对这种情况进行修改。
最后,理解我们在三角类型中无穷大量子CMS积分公式的精确关系是很有趣的|美元$|最近论文结果的案例[18]Nazarov和Sklyanin,他们引入的主要工具是周期量子Benjamin–Ono方程的量子Lax算符。(在本论文的第一个版本出现在ArXiv中之后,Evgeni Sklyanin告诉我们,他还与Maxim Nazarov一起提出了使用Dunkl算子技术构造无穷远CMS积分(三角型)的想法|美元$|案例)。)我们相信它们的积分(不依赖于|$p_0$|)只与稳定积分有关|$\mathcal美元{高}_{k} ^{(r)}$|来自我们最近的论文[28],这是使用Polychronakos算子的无限维版本(而不是本文中使用的Dunkl–Heckman算子)构造的。之间的关系|$\mathcal美元{高}_{k} ^{(r)}$|和我们的量子CMS积分(37)非平凡(参见[28,第5节])。还要注意三角函数|美元$|-类型case的特殊性在于,只有在这种情况下,依赖于参数|$p_0$|在无穷远处可以消除(参见[24]).
基金
这项工作得到了EPSRC的部分支持(授予EP/J00488X/1)。支付本文开放存取出版费用的资金由拉夫堡大学英国研究委员会(RCUK)Block Grant提供。
致谢
我们感谢O.A.Chalykh和M.V.Feigin的有益讨论,并感谢裁判的有益评论。A.N.S.感谢拉夫堡大学在2012-14秋季学期的盛情款待。
工具书类
1“
Calogero-Sutherland模型的隐式代数结构、Jack多项式的积分公式及其相对论模拟
”Calogero–Moser–Sutherland Models(蒙特利尔,QC,1997)
,23
–35
..纽约
:施普林格
,2000
. 三 “
Cherednik代数的理想与变形Calogero–Moser系统
”,. 4 “
椭圆Dunkl算子、根系统和函数方程
”杜克数学杂志
76
,没有。三
(1994
):885
–911
. 5 “
具有两体势的经典和量子一维多体问题的精确解|$V_a(x)=g^2a^2/\sinh^2(ax)$|
”Lettere al Nuovo Cimento公司
13
,没有。10
(1975
):383
. 6
Calogero–Moser–Sutherland模型(蒙特利尔,QC,1997)
,23
–35
..纽约
:施普林格
,2000
. 7 “
Calogero–Moser量子问题的新的可积推广
”数学物理杂志
39
,没有。2
(1998
):695
–703
. 8“
通过仿射Hecke代数统一Knizhnik–Zamolodchikov方程和Dunkl算子
”数学发明
106
,没有。1
(1991
):411
–32
. 9“
与反射组关联的差分-差分运算符
”美国数学学会会刊
311
,没有。1
(1989
):167
–83
. 10 “
复杂晶体反射群的椭圆Calogero–Moser系统
”代数杂志
329
,没有。1
(2011
):107
–29
. 11“
有理Cherednik代数的广义Calogero–Moser系统
”选择Mathematica
218
,没有。1
(2012
):253
–81
. 12 “
Coxeter判别式与对数Frobenius结构
”数学进展
212
,没有。1
(2007
):143
–62
. 13“
关于Dunkl微分微分算子的一点注记
”约化群的调和分析
,181
–93
..马萨诸塞州波士顿
:比克豪泽
,1991
. 14“
Opdam超几何移位算子的初步探讨
”数学发明
103
,没有。1
(1991
):341
–50
. 15
对称函数和霍尔多项式
,第2版。牛津
:牛津大学出版社
.1995
. 16“
与分区球面函数相关的可积联系
”数学发明
110
,没有。1
(1992
):95
–121
. 17“
三个与等谱形变相关的可积哈密顿系统
”数学进展
16
,没有。2
(1975
):197
–220
. 18 “
量子Benjamin–Ono方程的可积层次
”SIGMA公司
9
(2013
):078
.. 19 “
与半单李代数相连的完全可积哈密顿系统
”数学发明
37
(1976
):93
. 20 “
与李代数有关的量子可积系统
”物理报告
94
,没有。6
(1983
):313
–404
. 21 “
变形量子Calogero–Moser问题和Lie超代数
”数学物理中的通信
245
,没有。2
(2004
):249
–78
. 22 “
广义判别式、变形Calogero–Moser–Sutherland算子和超Jack多项式
”数学进展
192
,没有。2
(2005
):341
–75
. 23 “
|$BC_{\infty}$|Calogero–Moser算子与超Jacobi多项式
”数学进展
222
,没有。5
(2009
):1687
–726
. 24 “
无限维Calogero–Moser算子
” (2009
):. 25 “
Quantum Calogero–Moser系统:无限视角
”第十六届ICMP
,333
–7
.新泽西州哈肯萨克
:世界科学出版
,2010
. 26 “
基本经典李超代数的Grothendieck环
”数学年刊
173
,没有。2
(2011
):663
–703
. 27 “
欧拉特征与超雅可比多项式
”数学进展
226
,没有。5
(2011
):4286
–315
. 28 “
Jack–Laurent对称函数
” (2013
):. 29 “
超Lax对和无限对称性|1美元/r^2$|系统
”物理审查信函
70
,没有。26
(1993
):4029
–33
. 30“
Jack对称函数的一些组合性质
”数学进展
77
,没有。1
(1989
):76
–115
. 31 “
量子Calogero–Moser模型的可积性
”日本物理学会杂志
61
,没有。10
(1992
):3425
. 32 “
量子Calogero-Moser模型的可积性和代数结构
”混沌、孤子和分形
三
,没有。6
(1993
):627
–36
. 33“
中的保守操作员|B_N美元$|-类型Calogero–Sutherland–Moser系统
”日本物理学会杂志
63
,没有。三
(1994
):1212
–三
.
作者注释
©作者2015。牛津大学出版社出版。
这是一篇根据知识共享署名许可条款发布的开放存取文章(http://creativecommons.org/licenses/by/4.0/)它允许在任何介质中不受限制地重用、分发和复制原始作品,前提是正确引用了原始作品。