[論文レビュー] Quantization of coisotropic subalgebras in complex semisimple Lie Algebras

Jonathan Ohayon|arXiv (Cornell University)|May 9, 2010

Algebraic structures and combinatorial models参考文献 7被引用数 4

ひとこと要約

本稿では、Zambonの構成を用いて、複素単純Lie双代数のcoisotropic部分代数の量子化を提示し、古典的および例外型にまで拡張している。Chevalley基底とSerre関係式を活用することで、量子双対性原理を満たす量子類似物を構成し、CiccoliとGavariniの定義による古典的coisotropic部分代数の量子化であることを証明している。

ABSTRACT

The aim of this article is to give a quantization of some coisotropic subalgebras in complex semisimple Lie bialgebras. The coisotropic subalgebras that will be quantized are those given by Zambon in his paper "`A Construction for coisotropic subalgebras of Lie Bialgebras"' [Zam08]. We will also extend the construction for the exceptional complex semisimple Lie bialgebras.

研究の動機と目的

• 古典的から例外的複素単純Lie双代数へのcoisotropic部分代数の量子化を拡張すること。
• Chevalley基底とSerre関係式を用いて、すべての古典的型（A_n, C_n, D_n, B_n）におけるZambonのcoisotropic部分代数の体系的量子化を提供すること。
• 構成された量子対象が量子双対性原理を満たしており、CiccoliとGavariniが定義する古典的coisotropic部分代数の正当な量子化であることを確認すること。
• Etingof-Kazhdanの量子化関手を介して、古典的coisotropic部分代数とその量子類似物との間の函手的関係を確立すること。

提案手法

• X ∈ 𝔤 および r-行列 ρ に対して、[X,[X,ρ]] = λ[X,ρ] を満たす条件により、Zambonのcoisotropic部分代数の構成を用い、𝔥^g = [X,ρ]^# 𝔤^* がcoisotropicであることを保証する。
• 根ベクトルとr-行列 π = ∑_{α ∈ R^+} λ_α e_α ∧ f_α を定義するために、Chevalley基底 {e_α, f_α, h_i} とSerre関係式を用いてcoisotropic部分代数を構成する。
• Etingof-Kazhdanの量子化関手を適用して、古典的Lie双代数構造を量子群 U_h(𝔤) に持ち上げ、coisotropic構造を保存する。
• 量子コプロダクトが量子部分代数をその量子群とのテンソル積へ写すことで、量子群におけるcoisotropic性を確認し、量子部分代数が量子群の意味でcoisotropicであることを検証する。
• 量子双対性原理（QDP）を用いて、量子群 U_h(𝔤) と形式的級数ホップ代数 F[[G]] の関係を保証し、古典的双対性と整合性を持つようにする。
• 根系のデータと構造定数を用いて、すべての古典的型 A_n, C_n, D_n, B_n に体系的にこの構成を適用し、その後、例外型 E_6, E_7, E_8, F_4, G_2 へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 Zambonの構成による複素単純Lie双代数におけるcoisotropic部分代数は、Etingof-Kazhdanの函手的量子化を用いて体系的に量子化可能か？
• RQ2 Zambonのcoisotropic部分代数の量子類似物は、量子群の文脈で量子双対性原理を満たし、coisotropic性を保っているか？
• RQ3 非単純根系を有するものも含め、すべての古典的および例外的複素単純Lie双代数にわたって、量子化手続きは一貫して適用可能か？
• RQ4 量子部分代数は量子双対性原理を通じて古典的部分代数とどのように関係しているか？また、量子coisotropicイデアルの明確な構造は何か？
• RQ5 E_6, E_7, E_8, F_4, G_2 型におけるcoisotropic部分代数の量子生成子と関係式の明示的形は何か？

主な発見

• 本稿では、Chevalley基底とSerre関係式を用いて、すべての古典的型 A_n, C_n, D_n, B_n におけるZambonのcoisotropic部分代数の明示的量子類似物を構成している。
• 各古典的型において、量子部分代数が量子群 U_h(𝔤) のcoisotropic部分代数であることが示されており、これは量子コプロダクトが 𝔥 ⊗ U_h(𝔤) + U_h(𝔤) ⊗ 𝔥 へ写すことを意味する。
• 根系のデータと構造定数を用いて、例外型Lie双代数 E_6, E_7, E_8, F_4, G_2 に対しても構成を拡張し、明示的な生成子と関係式を導出している。
• 量子部分代数は量子双対性原理を満たしており、古典的Poissong-Lie群双対性と整合性を持つことが保証されている。
• Etingof-Kazhdanの量子化関手がcoisotropic構造を保存することを確認し、Zambonの部分代数の函手的量子化を提供している。
• 各根系において、量子coisotropic部分代数は [E_4, E_3]、[E_4, E_5] およびそれ以上のネストされた括弧によって生成され、重みの組み合わせ α_1 + 2α_3 + 3α_4 や K_1K_3^2K_4^3K_5^2K_6K_2 が重み分解に現れる。