[論文レビュー] Subalgebras of Hyperbolic Kac-Moody Algebras

Alex J. Feingold, Hermann Nicolai|ArXiv.org|Mar 14, 2003

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

ひとこと要約

本稿は、正の実根の部分集合を選び、その任意の二根の差が元の代数の根でないようにすることで、双曲的 Kac-Moody 代数内に不定的 Kac-Moody および Borcherds の部分代数を体系的に構成する手法を確立する。この手法により、ランク 3 の双曲的代数 𝔽 がすべての単純連結型ランク 2 の双曲的 Kac-Moody 代数と、無限個の同型でないランク 3 の不定的 Kac-Moody 部分代数を含むことが示されるとともに、根系の平面切断によって Borcherds 代数が得られ、最も単純な場合では根が直線上に並ぶことが示された。

ABSTRACT

The hyperbolic (and more generally, Lorentzian) Kac-Moody (KM) Lie algebras $\cA$ of rank $r+2 > 2$ are shown to have a rich structure of indefinite KM subalgebras which can be described by specifying a subset of positive real roots of $\cA$ such that the difference of any two is not a root of $\cA$. Taking these as the simple roots of the subalgebra gives a Cartan matrix, generators and relations for the subalgebra. Applying this to the canonical example of a rank 3 hyperbolic KM algebra, $\cF$, we find that $\cF$ contains all of the simply laced rank 2 hyperbolics, as well as an infinite series of indefinite KM subalgebras of rank 3. It is shown that $\cA$ also contains Borcherds algebras, obtained by taking all of the root spaces of $\cA$ whose roots are in a hyperplane (or any proper subspace). This applies as well to the case of rank 2 hyperbolics, where the Borcherds algebras have all their roots on a line, giving the simplest possible examples.

研究の動機と目的

• 双曲的 Kac-Moody 代数の豊かな内部構造を解明すること。これらは数学的物理において重要であるが、依然として十分に理解されていない。
• 双曲的 KM 代数内に同型でない無限次元部分代数、特に不定的 Kac-Moody または Borcherds 代数を特定・分類すること。
• 標準的なランク 3 の例 𝔽 において、根系と Weyl 群作用を用いて、このような部分代数を構成的に生成する方法を提供すること。
• 根が平面に含まれる部分空間に制限することで、Borcherds 代数が自然に部分代数として現れることを示し、既知の構成を一般化すること。

提案手法

• 重要な定理により、任意の二根の差が元の代数の根でないような正の実根の集合を選択することで、部分代数を同定する。これにより、新たな Cartan 行列が定義され、有効な部分代数が保証される。
• 選択された根を新たな単純根とし、新しい Cartan 行列を用いて標準的な Kac-Moody 関係式によって部分代数を生成する。
• ランク 3 の双曲的代数 𝔽 に対して、この手法によりすべての単純連結型ランク 2 の双曲的 KM 代数と、無限系列の同型でないランク 3 の不定的 KM 部分代数が得られる。
• Poincaré 円板上に双曲的三角形群 T(2,3,∞) として実現される 𝔽 の Weyl 群作用を用いて、追加の W-同型でない部分代数を生成する。
• Borcherds 代数は、根系を平面に制限することで構成され、Borcherds の反変形式と次数に関する定理を用いてその構造が検証される。
• 分解 𝔠 = 𝔪₋ ⊕ 𝔥 ⊕ 𝔪₊ を用いてこれらの部分代数の構造を解析し、𝔪₊ および 𝔪₋ が自由リー代数であることが示された。

実験結果

リサーチクエスチョン

• RQ1 どのようにして双曲的 Kac-Moody 代数内に不定的 Kac-Moody 部分代数を体系的に構成できるか？
• RQ2 Weyl 群は、同型でない部分代数を生成する役割を果たすのか。また、円錐曲線のような幾何的構造とどのように関係するか？
• RQ3 根系の平面切断を用いて、Borcherds 代数を双曲的 KM 代数に埋め込むことは可能か？
• RQ4 根が平面に含まれる部分空間に制限することで得られる部分代数の構造は何か。また、元の代数とどのように関係するか？
• RQ5 これらの部分代数の根の重複度と次数は、特に根が直線上に並ぶ最も単純な場合にどのように振る舞うか？

主な発見

• ランク 3 の双曲的 Kac-Moody 代数 𝔽 は、すべての単純連結型ランク 2 の双曲的 KM 代数を部分代数として含む。
• 整数 m ≥ 2 をパrameterとして用いることで、同型でないランク 3 の不定的 KM 部分代数の無限族が 𝔽 内に構成された。
• ランク r+2 のローレンツ型 KM 代数に対しては、二つの無限系列の同型でない不定的 KM 部分代数が見つかった。一つはランク r+1、もう一つはランク r+2 である。
• 根系の平面切断により Borcherds 代数が得られ、最も単純な例ではすべての根が直線上に並んでいる。これはランク 2 の双曲的代数に対応する。
• 任意の m ≥ 2 に対して、部分代数 𝔠(m) = 𝔥ₘ ⊕ ⨁_{β∈Φ(𝒜_{r+1}^{indef}(m))} 𝒜_β が Borcherds 代数であることが示された。この代数は、不定的 KM 代数を真の部分代数として含む。
• 分解 𝔠 = 𝔪₋ ⊕ 𝔥 ⊕ 𝔪₊ が成り立ち、𝔪₊ および 𝔪₋ が自由リー代数として特定された。また、これらが 𝔥-加群としてどのように構造を持つのかは、今後の研究の方向性として示唆された。