[論文レビュー] Highest-Weight Theory for Truncated Current Lie Algebras

Benjamin J. Wilson|arXiv (Cornell University)|May 9, 2007

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

ひとこと要約

本稿は、非退化的ペアリングを備えた三角的分解を持つリー代数 $\sigma$ に対して、切断されたカレントリー代数 $\psi = \sigma \otimes \u03ba[t]/(t^{N+1})$ の最高-weight表現理論を構築する。シャポバロフ形式を用いて、ヴェルマモジュールの可約性基準を確立する：ヴェルマモジュール $M(\Lambda)$ は、$\sigma$ の正ルート $\alpha$ に対して $\langle\Lambda, \mathbf{h}(\alpha) \otimes t^N\rangle = 0$ が成り立つときかつそのときに限り可約である。この結果は、対称化可能カツ・ムーディ、ヘイゼンベルク、バイラソロ代数へと拡張される。

ABSTRACT

Let g denote a Lie algebra over a field of characteristic zero, and let T(g) denote the tensor product of g with a ring of truncated polynomials. The Lie algebra T(g) is called a truncated current Lie algebra, or in the special case when g is finite-dimensional and semisimple, a generalized Takiff algebra. In this paper a highest-weight theory for T(g) is developed when the underlying Lie algebra g possesses a triangular decomposition. The principal result is the reducibility criterion for the Verma modules of T(g) for a wide class of Lie algebras g, including the symmetrizable Kac-Moody Lie algebras, the Heisenberg algebra, and the Virasoro algebra. This is achieved through a study of the Shapovalov form.

研究の動機と目的

• 切断されたカレントリー代数 $\hat{\mathfrak{g}} = \mathfrak{g} \otimes \Bbbk[t]/(t^{N+1})$ に対して、非退化的ペアリングを備えた三角的分解を持つ $\mathfrak{g}$ の場合に、最高-weight表現理論を確立すること。
• シャポバロフ形式の分析を通じて、$\hat{\mathfrak{g}}$ 上のヴェルマモジュールの可約性を特定すること。
• 有限次元半単純リー代数に対するヴェルマモジュールの可約性に関する既知の結果を、対称化可能カツ・ムーディ、ヘイゼンベルク、バイラソロ代数を含むより広いクラスへと一般化すること。
• $\hat{\mathfrak{g}}$ 上の最高-weightモジュールのアフィニゼーションを通じて、ループ代数の不変多項式指数関数的モジュールの特性式を計算する基盤を提供すること。

提案手法

• リー代数 $\mathfrak{g}$ の三角的分解 $\mathfrak{g} = \mathfrak{g}_- \oplus \mathfrak{h} \oplus \mathfrak{g}_+$ から、$\Bbbk[t]/(t^{N+1})$ とのテンソル積を介して $\hat{\mathfrak{g}} = \hat{\mathfrak{g}}_- \oplus \hat{\mathfrak{h}} \oplus \hat{\mathfrak{g}}_+$ の三角的分解を構成する。
• $\hat{\mathfrak{h}}$-対角化可能なモジュールとして、$\hat{\mathfrak{g}}_+$ によって annihilated される最高-weightベクトルを生成元とする、$\hat{\mathfrak{g}}$ の重みモジュールおよび最高-weightモジュールを定義する。
• ヴェルマモジュールにシャポバロフ形式を導入し、その退化性を分析することで可約性を特定する。
• ルート空間 $\mathfrak{g}^\alpha \times \mathfrak{g}^{-\alpha}$ 上の非退化的ペアリング $(-| -)_\alpha$ と関連する元 $\mathbf{h}(\alpha) \in \mathfrak{h}$ を用いて、ペアリング $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle$ を定義する。
• 重み空間の基底 $\{ \mathrm{y}(\mu) \}$ の構造とルートストリングの順序を用いて、シャポバロフ形式 $\mathbf{B}_\chi$ の行列表現を分析する。
• アフィンカツ・ムーディ代数における虚ルート分割に対応する場合のように、行列が両側無限大であるとき、対角成分からの退化性の同定は不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 切断されたカレントリー代数 $\hat{\mathfrak{g}}$ のヴェルマモジュール $M(\Lambda)$ が可約となる条件は何か？
• RQ2 リー代数 $\mathfrak{g}$ が三角的分解を持つ場合、$\hat{\mathfrak{g}}$ 上のシャポバロフ形式は、その構造をどのように反映するか？
• RQ3 ヴェルマモジュールの可約性基準は、有限次元半単純リー代数を越えて一般化可能か？
• RQ4 最高-weight汎関数 $\Lambda$ が $\mathbf{h}(\alpha) \otimes t^N$ に作用する値が、モジュールの可約性を決定づける役割を果たす理由は何か？
• RQ5 アフィンカツ・ムーディ代数における虚ルート分割から生じるような無限次元ケースでは、なぜ標準的な対角成分に基づく退化性テストが失敗するのか？

主な発見

• ヴェルマモジュール $M(\Lambda)$ が可約であるための必要十分条件は、$\mathfrak{g}$ の正ルート $\alpha \in \Delta_+$ に対して $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle = 0$ が成り立つことである。これは明確な可約性基準を提供する。
• この結果は、対称化可能カツ・ムーディリー代数、ヘイゼンベルク代数、バイラソロ代数を含む広範なリー代数クラスに適用可能である。これは、それらが非退化的ペアリングを備えた三角的分解を持つことによる。
• シャポバロフ形式はヴェルマモジュールの構造を分析するのに用いられ、その退化性はペアリング $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle$ の消滅に起因する。これは主要な不変量である。
• $\mathrm{N} = 1$ の場合、シャポバロフ形式 $\mathbf{B}_\chi$ の行列表現は両側無限大となり、対角成分に基づく退化性テストは無効になる。これは、対角成分がすべてゼロであるシフト作用素 $\Phi$ の反例によって示される。
• 有限部分空間 $\text{span}(\mathcal{P}_L)$ への制限の退化性から $\mathbf{B}_\chi$ の退化性を同定することはできない。これは無限次元設定における根本的な障害を示している。
• 本フレームワークにより、$\hat{\mathfrak{g}}$ 上の最高-weightモジュールのアフィニゼーションを通じて、ループ代数の不変多項式指数関数的モジュールの特性式を計算することが可能となり、可約性基準はこのプログラムの実現に不可欠である。