[論文レビュー] Defining relations associated with the principal sl(2)-subalgebras of simple Lie algebras

Pavel Grozman, Dimitry Leites|arXiv (Cornell University)|Oct 3, 2005

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

ひとこと要約

本稿では、主 $σ\mathfrak{sl}(2)$-部分代数から導かれる2つの生成子（ヤコブソンの生成子）を用いて、有限次元単純リー代数の新しい最小限の表現を提示する。$σ\mathfrak{sl}(2)$-モジュールへの代数の分解を活用することで、定義関係をコンパクトに導出する（$σ\mathfrak{sl}(\lambda)$ 系列ではわずか9つ）。これは標準的なセール関係よりも著しく単純化されたものである。この手法により、可積分系や無限次元行列代数の $q$-量子化のための明確な表現が可能になる。

ABSTRACT

The notion of defining relations is well-defined for any nilpotent Lie algebra. Therefore a conventional way to present a simple Lie algebra G is by splitting it into the direct sum of a commutative Cartan subalgebra and two maximal nilpotent subalgebras (positive and negative) and together the generators of both these nilpotent subalgebras together generate G. Though there are many relations between these generators, they are neat (Serre relations). It is possible to determine the relations for generators of different type, e.g, with the principal embeddings of sl(2) into G one can associate only TWO elements that generate G. We explicitly describe the corresponding presentations of simple Lie algebras, for all finite dimensional and certain infinite dimensional ones; namely, for the Lie algebra "of matrices of a complex size" realized as a subalgebra of the Lie algebra of differential operators in 1 indeterminate. The relations obtained are rather simple. Our results might be of interest in applications to integrable systems (like vector-valued Liouville (or Leznov-Saveliev, or 2-dimensional Toda) equations and KdV-type equations). They also indicate how to q-quantize the Lie algebra of matrices of complex size.

研究の動機と目的

• 有限次元単純リー代数の明確で最小限の表現を、主 $σ\mathfrak{sl}(2)$-部分代数から導かれる生成子を用いて提供すること。
• 任意の複素数体上での有限次元単純リー代数を生成する標準的なペア（および簡略化のための第3の生成子）を特定すること。
• これらの生成子間の定義関係を、標準的なセール関係よりも著しく単純化された形で導出すること。
• 特定の無限次元リー代数、例えば1変数微分作用素の部分代数として実現される複素次元行列代数のリー代数へとこの枠組みを拡張すること。
• 計算的に扱いやすく構造的に明確な表現を提供することで、可積分系や $q$-量子化への応用を容易にすること。

提案手法

• 単純リー代数 ${\mathfrak{g}}$ の主 $σ\mathfrak{sl}(2)$-埋め込みを特定し、${\mathfrak{g}}$ が最高重量 $2, k_1, k_2, \dots$ を持つ $σ\mathfrak{sl}(2)$-不変部分空間に分解されることを確認する（表1.1を参照）。
• ヤコブソンの生成子を選択する：$x = \nabla_+ \in L^2$（$σ\mathfrak{sl}(2)$-生成子）、$z = l_{-r}$ は最高重量モジュール $L^r$ からの最低重量ベクトル（${\mathfrak{g}} \neq \u03c3\mathfrak{o}(2n)$ の場合 $r = k_1$、${\mathfrak{g}} = \u03c3\mathfrak{o}(2n)$ の場合 $r = 2n-2$）。また、関係式の簡略化のため $u = \nabla_-$ を導入する。
• コンピュータ代数システム（グロズマンによる Mathematica パッケージ）を用いて、これらの生成子間の定義関係を計算し、次数が均一でかつ数が最小となるように保証する。
• 関係式の形を簡略化するために第3の生成子 $u$ を導入するが、これにより関係式の数はわずかに増加する。対照的に、$l_r$ のような対称的生成子を避けることで、関係式が複雑化するのを防ぐ。
• 標準的な $\u03c3\mathfrak{sl}(2)$-基底 $X^-, H, X^+$ を用いて、$σ\mathfrak{sl}(2)$-不変モジュールの重量ベクトル上での $X^\pm$ および $H$ の作用を分析することで、定義関係を導出する。
• 1変数微分作用素の部分代数として実現される、複素次元行列代数のリー代数を含む無限次元リー代数へと表現を拡張する。

実験結果

リサーチクエスチョン

• RQ1 有限次元単純リー代数は、その主 $σ\mathfrak{sl}(2)$-部分代数から導かれる2つの生成子のみで生成可能か？ もし可能であれば、それらの間の定義関係は何か？
• RQ2 これらの生成子間の定義関係は、標準的なセール関係よりも単純であるか？ 特に、関係式の数や形式の観点から。
• RQ3 同じ生成子と関係式の枠組みは、複素次元行列代数のリー代数のような無限次元リー代数へも拡張可能か？
• RQ4 第3の生成子 $u = \nabla_-$ の導入が、関係式の数がわずかに増加するにもかかわらず、定義関係の簡略化に寄与する理由は何か？
• RQ5 この表現は、可積分系や無限次元リー代数の $q$-量子化への応用をどのように容易にするか？

主な発見

• 著者らは、主 $σ\mathfrak{sl}(2)$-部分代数から導かれる2つの生成子 $x$ と $z$ を用いて、任意の有限次元単純リー代数の表現を明示的に構成した。第3の生成子 $u$ を導入して関係式の簡略化を図った。
• $σ\mathfrak{sl}(\lambda)$ 系列では、ヤコブソンの生成子間の定義関係がわずか9つで十分である。これは標準的なセール関係に比べて顕著な単純化である。
• 定義関係は次数が均一であり、特に非例外的リー代数において、チェヴァリの表現に由来する関係式よりも著しくコンパクトである。
• この手法は、複素次元行列代数のリー代数（1変数微分作用素の部分代数として実現）という無限次元リー代数に対しても成功裏に拡張された。
• コンピュータ支援による導出により、他の生成子の選択はより複雑な関係式を生じることを確認した。これにより、ヤコブソンの生成子が標準的であることが裏付けられた。
• 本研究の結果は、複素次元行列代数のリー代数の $q$-量子化の基盤を提供し、主 $σ\mathfrak{sl}(2)$-部分代数に基づく可積分系の研究に洗練されたフレームワークを提供する。