[論文レビュー] Representations of Truncated Current Lie Algebras

Benjamin J. Wilson|ArXiv.org|Jun 20, 2007

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

ひとこと要約

本稿は、切断された電流リー代数 $\hat{\mathfrak{g}} = \mathfrak{g} \otimes \Bbbk[t]/(t^{N+1})$ に対する最高重量表現理論を構築し、ヴェルマ加群の統一的還元可能性基準を確立する。$\hat{\mathfrak{g}}$-ヴェルマ加群は、ある正根 $\alpha \in \Delta_+$ に対して $\langle\Lambda, h_\alpha \otimes t^N\rangle = 0$ を満たすときかつそのときに限り還元可能である。この基準は、最高重量関数 $\Lambda$ の $N$ 番目の成分 $\Lambda_N \in \mathfrak{h}^*$ のみに依存し、$t^N$ の冪零性によりシュアポアロフ行列の多くの成分が消えるため、双線形形式の対角化が可能となり、シュアポアロフ行列式も簡略化される。

ABSTRACT

Let g denote a Lie algebra, 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. The highest-weight representation theory of T(g) is developed, and a reducibility criterion for the Verma modules is described.

研究の動機と目的

• 切断された電流リー代数 $\hat{\mathfrak{g}} = \mathfrak{g} \otimes \Bbbk[t]/(t^{N+1})$ に対する最高重量表現理論を構築すること。
• 最高重量関数 $\Lambda \in \hat{\mathfrak{h}}^*$ を用いて、$\hat{\mathfrak{g}}$ 上のヴェルマ加群の一般還元可能性基準を確立すること。
• 切断多項式環における $t$ の冪零性を用いて、シュアポアロフ行列式の計算を統一的かつ簡略化すること。
• 還元可能性が最高重量 $\Lambda = (\Lambda_0, \dots, \Lambda_N)$ の $N$ 番目の成分 $\Lambda_N \in \mathfrak{h}^*$ にのみ依存することを示すこと。

提案手法

• リー代数 $\mathfrak{g}$ に対して三角分解 $\mathfrak{g} = \mathfrak{g}_+ \oplus \mathfrak{h} \oplus \mathfrak{g}_-$ を選び、これにより $\hat{\mathfrak{g}} = \hat{\mathfrak{g}}_+ \oplus \hat{\mathfrak{h}} \oplus \hat{\mathfrak{g}}_-$ の分解が誘導される。
• 最高重量 $\Lambda \in \hat{\mathfrak{h}}^*$ を持つ普遍的最高重量加群 $\mathbf{M}(\Lambda)$ を構成する。
• シュアポアロフ行列式は、重み格子上の下向きパスの基底を用いて計算され、行列の成分はパスの合成によって定義される。
• $t^N$ の冪零性により、シュアポアロフ行列の多くの成分が消えるため、双線形形式の対角化が可能になる。
• 行列式は対角成分の積に簡略化され、還元可能性の解析が容易になる。
• 根空間 $\mathfrak{g}^\alpha \times \mathfrak{g}^{-\alpha} \to \Bbbk$ に対する非退化的双対性を仮定し、これにより $h_\alpha \in \mathfrak{h}$ が定義され、三角分解と整合的になるように保証する。

実験結果

リサーチクエスチョン

• RQ1 ヴェルマ加群 $\mathbf{M}(\Lambda)$ が $\hat{\mathfrak{g}}$ に対していつ還元可能か？
• RQ2 還元可能性が最高重量 $\Lambda = (\Lambda_0, \dots, \Lambda_N)$ の各成分にどのように依存するか？
• RQ3 $t$ の冪零性が $\hat{\mathfrak{g}}$ におけるシュアポアロフ行列式の計算をどのように簡略化するか？
• RQ4 異なるリー代数 $\mathfrak{g}$ の間で還元可能性条件を統一する基準を構築できるか？
• RQ5 $\Lambda_N$ が $\mathbf{M}(\Lambda)$ の還元可能性を決定する上で果たす役割は何か？

主な発見

• ヴェルマ加群 $\mathbf{M}(\Lambda)$ が $\hat{\mathfrak{g}}$ に対して還元可能であるための必要十分条件は、ある正根 $\alpha \in \Delta_+$ に対して $\langle\Lambda, h_\alpha \otimes t^N\rangle = 0$ が成り立つことである。
• 還元可能性は、最高重量関数の $N$ 番目の成分 $\Lambda_N \in \mathfrak{h}^*$ にのみ依存する。
• $\mathfrak{g} = \mathrm{sl}(3,\Bbbk)$ の場合、還元可能性は $\mathfrak{h}^*$ 内の3つの超平面（根に直交するもの）のいずれかに $\Lambda_N$ が位置するときに限り成立する。
• バーラソ・代数 $\mathfrak{a}$ の場合、還元可能性はある非ゼロ整数 $m$ に対して $2m\langle\Lambda_N, L_0\rangle + \frac{m^3 - m}{12}\langle\Lambda_N, c\rangle = 0$ が成り立つときに成立し、これは無限個の超平面の合併に相当する。
• $t^N$ の冪零性によりシュアポアロフ行列式が著しく簡略化され、双線形形式の対角化が可能になり、行列式の計算が対角成分の積に還元される。
• 統一的基準は異なるリー代数 $\mathfrak{g}$ に共通して適用可能であり、還元可能性が基礎となる代数に依存せず、同一の条件によって支配されることを示している。