[論文レビュー] Regularity of quantum tau-functions generated by quantum birational Weyl group actions

Gen Kuroki|arXiv (Cornell University)|Jun 15, 2012

Algebraic structures and combinatorial models参考文献 23被引用数 3

ひとこと要約

本稿は、可解的 Kac-Moody代数上の量子有理的 Weyl群作用によって生成される量子τ関数の正則性を確立し、Verma加群における平行移動関手を用いて、それらが量子変数に関して多項式であることを証明する。これは、q = e^ħ における量子群の表現論と自然な量子化を用いて、NoumiとYamadaの古典的正則性結果を量子的およびq差分的設定へと拡張するものである。

ABSTRACT

We canonically quantize the tau-functions for the birational Weyl group action arising from a nilpotent Poisson algebra proposed by Noumi and Yamada. We also construct the q-difference deformation of the canonical quantization of the tau-functions. Using the translation functors for the symmetrizable Kac-Moody algebras, we prove the regularity of the quantum tau-functions, namely, we show that the quantum tau-functions are polynomials in dependent variables.

研究の動機と目的

• NoumiとYamadaが導入した、冪零的ポisson代数上の有理的 Weyl群作用に関連するτ関数を、自然な量子化すること。
• 古典的τ関数の正則性（f_i および α_i^∨ に関する多項式性）を量子設定へと拡張すること。
• 量子群表現論を用いて、これらの量子τ関数のq差分変形の正則性を確立すること。
• 量子τ関数が f_i および q^{±α_i^∨} 変数に関して多項式であることを示し、古典的結果を量子的およびq差分的状況へ一般化すること。

提案手法

• 依存変数およびパラメータ変数の量子代数を用いた、有理的 Weyl群作用の自然な量子化。
• 古典的作用のq変形を用いて、量子差分作用素代数およびτ変数を構成する。
• U_ħ(g) の category O_ħ,P における平行移動関手を用いて、Verma加群およびその部分加群を関連付ける。
• 普遍R行列 e^ħΩ を通じたブレード付きテンソルカテゴリ構造を用いて、古典的および量子的カテゴリ間の函手を定義する。
• ブレード付きテンソル函手 F_ħ を通じて、量子加群 T_ħ(λ) および T_ħ(w∘λ) を定義し、加群の包含関係および同型を保証する。
• Verma加群内での包含関係 T_ħ(λ) ⊂ M_ħ(λ)⊗L_ħ(μ) および T_ħ(w∘λ) ⊂ T_ħ(λ) と同型 T_ħ(w∘λ) ≅ M_ħ(w∘(λ+μ)) の検証により、正則性を証明する。

実験結果

リサーチクエスチョン

• RQ1 量子有理的 Weyl群作用によって生成される量子τ関数は、正則的である、すなわち量子変数に関して多項式であるか？
• RQ2 NoumiとYamadaが証明した古典的τ関数の正則性（多項式性）は、量子設定へと拡張可能か？
• RQ3 量子τ関数のq差分変形は正則のままであるか？ もしそうならば、どのような条件下で成立するか？
• RQ4 量子群表現論における平行移動関手は、量子τ関数の正則性の証明をどのように支援するか？
• RQ5 O_ħ,P におけるブレード付きテンソルカテゴリ構造は、量子τ関数の正則性を確立するために果たす役割は何か？

主な発見

• すべての w ∈ W および μ ∈ P_+ に対して、量子τ関数 τ_(w(μ)) が、量子変数 f_i および q^{±α_i^∨} に関して多項式であることが証明された。
• q = e^ħ における量子τ関数のq差分版の正則性が、同じ加群論的枠組みを用いて確立された。
• 正則性の証明は、Verma加群内に包含および同型条件を満たす量子加群 T_ħ(λ) および T_ħ(w∘λ) を構成することに依拠している。
• O_P から O_ħ,P へのブレード付きテンソル函手 F_ħ が存在することは、量子加群構造が保存されることを保証し、古典的正則性を量子設定へと移行可能にする。
• 結果として、NoumiとYamadaの[25]における定理1.3が、量子的およびq差分的状況へ一般化されたことが確認され、量子変数に関する多項式性が裏付けられた。
• 構成により、量子τ関数が正則的であるだけでなく、q = e^ħ における量子群の表現理論とも整合することが確認された。