[论文解读] Elliptic Ding-Iohara Algebra and Commutative Families of the Elliptic Macdonald Operator

Yosuke Saito|arXiv (Cornell University)|Sep 27, 2013

Algebraic structures and combinatorial models参考文献 13被引用 6

一句话总结

该论文利用椭圆 Ding-Iohara 代数和椭圆 Feigin-Odesskii 代数，构建了包含椭圆 Macdonald 算子的两个交换算子族。通过其核函数建立椭圆 Macdonald 算子的自由场实现，作者定义了一个椭圆量子群（椭圆 Ding-Iohara 代数），并证明了所得算子族彼此交换，将 Feigin 等人的三角函数构造推广到了椭圆情形。

ABSTRACT

The elliptic Ding-Iohara algebra is an elliptic quantum group obtained from the free field realization of the elliptic Macdonald operator. In this article, we show the construction of two families of commuting operators which contain the elliptic Macdonald operator by using the elliptic Ding-Iohara algebra and the elliptic Feigin-Odesskii algebra.

研究动机与目标

• 将包含 Macdonald 算子的三角函数交换算子构造推广到椭圆情形。
• 通过其核函数的自由场实现，解决椭圆 Macdonald 算子自由场实现中的开放问题。
• 将椭圆 Ding-Iohara 代数定义为源自自由场实现的椭圆量子群，并对其进行研究。
• 利用椭圆 Ding-Iohara 代数和椭圆 Feigin-Odesskii 代数，构造两个包含椭圆 Macdonald 算子的交换算子族。
• 在椭圆情形下证明这些算子族的交换性，推广三角函数情形的结果。

提出的方法

• 论文利用椭圆 Macdonald 算子的核函数推导其自由场实现。
• 引入椭圆 Ding-Iohara 代数作为三角函数 Ding-Iohara 代数的形变，其结构函数包含 theta 函数和椭圆 gamma 函数。
• 椭圆 Feigin-Odesskii 代数被定义为三角函数版本的椭圆类比，采用相同的基于核的方法。
• 通过筛选流与结构函数乘积的常数项投影构造交换算子族。
• 利用算子乘积的对易关系恒等式以及在 $p$-形变下的函数部分周期性，证明交换性。
• 关键步骤在于分析结构函数中的 $p$-差分和狄拉克函数项，证明常数项消失。

实验结果

研究问题

• RQ1 椭圆 Macdonald 算子能否通过其核函数的自由场构造实现？
• RQ2 三角函数 Ding-Iohara 代数和 Feigin-Odesskii 代数如何形变为椭圆情形？
• RQ3 椭圆 Ding-Iohara 代数的结构是什么？它与椭圆 Macdonald 算子有何关系？
• RQ4 两个包含椭圆 Macdonald 算子的算子族是否交换？若交换，其条件是什么？
• RQ5 theta 函数 $\Theta_p(x)$ 和椭圆 gamma 函数 $\Gamma_{q,p}(x)$ 在确保所构造算子族交换性方面起什么作用？

主要发现

• 成功通过椭圆 Macdonald 算子的自由场实现，将椭圆 Ding-Iohara 代数定义为椭圆量子群。
• 在构造中，筛选流的函数部分被证明是 $p$-周期的，确保常数项投影的一致性。
• 由于常数项投影中 $p$-差分项的抵消，两个算子族 $\mathcal{M}(p)$ 和 $\mathcal{M}'(p)$ 的对易子消失。
• 对易子表达式的常数项恒为零，从而证明了对所有 $r,s \in \mathbf{Z}_{>0}$，有 $[\mathcal{O}_p(\varepsilon_r(q,p;z)), \mathcal{O}'_p(\varepsilon_s(q,p;w))] = 0$。
• 所得到的算子族 $\mathcal{M}(p)$ 和 $\mathcal{M}'(p)$ 在 Fock 空间 $\mathbf{C}\phi_N(p;x)|N\rangle$ 上被证明彼此交换，推广了三角函数情形的结果。