[論文レビュー] Elliptic Ding-Iohara Algebra and the Free Field Realization of the Elliptic Macdonald Operator

Yosuke Saito|arXiv (Cornell University)|Jan 21, 2013

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

ひとこと要約

本稿では、Komori, Noumi, および Shiraishi の楕円核関数を用いて、Ding-Iohara代数の楕円型変形を導入し、楕円電流を通じて楕円 MacDonald作用素の自由場実現を構成する。主な貢献は、新しい楕円量子代数を介して、楕円核関数と作用素の間の直接的な代数的関係を確立することであり、これは三角関数的ケースを、theta 関数および楕円ガンマ関数を用いて楕円関数へ一般化するものである。

ABSTRACT

The Ding-Iohara algebra is a quantum algebra arising from the free field realization of the Macdonald operator. Starting from the elliptic kernel function introduced by Komori, Noumi and Shiraishi, we can define an elliptic analog of the Ding-Iohara algebra. The free field realization of the elliptic Macdonald operator is also constructed.

研究の動機と目的

• Komori, Noumi, および Shiraishi が導入した楕円核関数を用いて、Ding-Iohara代数の楕円型類似を構成すること。
• 三角関数的ケースを拡張して、楕円 MacDonald作用素 $ H_N(q,t,p) $ の自由場実現を提供すること。
• 楕円電流および楕円ガンマ関数を介して、楕円核関数と楕円 MacDonald作用素の間の直接的な代数的関係を確立すること。
• 楕円核関数が楕円Ding-Iohara代数および楕円 MacDonald作用素の自由場実現と接続されるかどうかという未解決問題を解消すること。

提案手法

• 楕円核関数 $ \Pi(q,t,p)(x,y) = \prod_{i,j} \frac{\Gamma_{q,p}(x_i y_j)}{\Gamma_{q,p}(t x_i y_j)} $ を定義し、これは三角関数的核を一般化する。
• 自由場形式における演算子値関数として、楕円電流 $ \eta(p;z), \xi(p;z), \varphi^\pm(p;z) $ を導入する。
• これらの電流によって生成される関係が楕円核関数から導かれる量子代数として、楕円Ding-Iohara代数 $ \mathcal{U}(q,t,p) $ を構成する。
• theta 関数 $ \Theta_p(x) $ のRiemann関係を用いて、自由場実現に不可欠な部分分数分解を導出する。
• ボソン計算および楕円関数の恒等式（Ramanujanの和公式および部分分数展開を含む）を適用し、演算子の関係を検証する。
• 楕円 MacDonald作用素が、楕円電流 $ \eta(p;z) $ および $ \xi(p;z) $ の組み合わせとして現れることを示すことにより、自由場実現を確立する。この際、明示的なスピンパラメータ依存性が含まれる。

実験結果

リサーチクエスチョン

• RQ1 楕円核関数を用いて、自由フェルミオン場の観点から楕円 MacDonald作用素 $ H_N(q,t,p) $ を実現できるか？
• RQ2 Komori, Noumi, および Shiraishi の楕円核関数と整合する楕円変形Ding-Iohara代数は存在するか？
• RQ3 楕円電流 $ \eta(p;z), \xi(p;z), \varphi^\pm(p;z) $ は、楕円Ding-Iohara代数の代数的関係をどのように満たすか？
• RQ4 theta 関数 $ \Theta_p(x) $ および楕円ガンマ関数 $ \Gamma_{q,p}(x) $ は、自由場実現においてどのような役割を果たすか？
• RQ5 theta 関数 $ \Theta_p(x) $ のRiemann関係は、楕円 MacDonald作用素に必要な部分分数展開を導出するのに十分か？

主な発見

• 楕円核関数から導かれる関係を備えた、楕円電流 $ \eta(p;z), \xi(p;z), \varphi^\pm(p;z) $ によって生成される量子代数として、楕円Ding-Iohara代数 $ \mathcal{U}(q,t,p) $ が成功裏に構成された。
• 楕円 MacDonald作用素 $ H_N(q,t,p) $ の自由場実現が、電流 $ \eta(p;z) $ および $ \xi(p;z) $ を通じて達成され、作用素が頂点演算子の挿入の和として作用することが示された。
• theta 関数 $ \Theta_p(x) $ のRiemann関係が、自由場実現の基盤となる部分分数展開を導出するために用いられ、三角関数的ケースの一般化がなされた。
• 楕円構成の三角関数的極限は、既知のMacDonald作用素の自由場実現を回復し、一貫性が確認された。
• 楕円核関数 $ \Pi(q,t,p)(x,y) $ が、楕円電流の生成関数として示され、楕円ガンマ関数を介して代数的構造と作用素の間の接続が確立された。
• 作用素実現におけるスピンパラメータ依存性は、$ \varphi^\pm(p;z) $ 電流に符号化されており、$ \eta(p;z) $ および $ \xi(p;z) $ との必要な交換関係を満たしている。