[論文レビュー] The representation theory of the exceptional Lie superalgebras F(4) and G(3)

Lilit Martirosyan|arXiv (Cornell University)|Sep 2, 2013

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

ひとこと要約

この論文は、例外的リー超代数 F(4) および G(3) の表現論における3つの長年の問題を解決する：単純加群の特徴関数および超次元の公式を導出し、ブロックのクーヴィル記述によるすべての不分解表現の分類を行い、支配的重みに対してボレル＝ヴェイユ＝ボット定理の超対応を確立する。主たる貢献は、ブロックおよびクーヴィルの完全分類であり、特異的性が1の特異的ブロックがターム的であることを示し、ゲルモニの予想を裏付ける。

ABSTRACT

This paper is a resolution of three related problems proposed by Yu. I. Manin and V. Kac for the so-called {\it{exceptional}} Lie superalgebras F(4) and G(3). The first problem posed by Kac (1978) is the problem of finding character and superdimension formulae for the simple modules. The second problem posed by Kac (1978) is the problem of classifying all indecomposable representations. The third problem posed by Manin (1981) is the problem of constructing the {\it{superanalogue}} of Borel-Weil-Bott theorem.

研究の動機と目的

• F(4) および G(3) の単純加群の特徴関数および超次元の公式を求める、V. カックが1978年に提起した問題を解決すること。
• F(4) および G(3) のすべての不分解表現を、それらのブロックおよびクーヴィルの記述によって分類すること。
• F(4) および G(3) の支配的重みに対して、ボレル＝ヴェイユ＝ボット定理の超対応を構成すること。
• これらの例外的超代数におけるカック＝ワキモト予想の超次元公式が成り立つことを証明すること。
• ゲルモニの予想、すなわち F(4) および G(3) の特異的性が1の特異的ブロックがターム的であるという予想を確認すること。

提案手法

• 中心的文字のパrametrizationおよびウェイルベクトルのシフトを用いて、有限次元モジュールのカテゴリのブロックを分類する。
• 単純モジュール間の Ext^1 維度を用いて、各ブロックのクーヴィル図を構成する。
• 自己可換コーン内の x に対して g_x ≅ sl(3) または sl(2) である商代数の単純表現との関係を用いて、L_λ の超次元公式を導出する。
• BGG双対性および射影的モジュールのラジカル層のフィルトレーションを用いて、クーヴィル構造を再構成し、関係式を検証する。
• 層コホモロジーおよび特徴関数の公式を適用して、F(4) および G(3) に対して支配的重みの超対応のボレル＝ヴェイユ＝ボット定理を確立する。
• [17] の特徴関数の結果と超次元公式を組み合わせることで、カック＝ワキモト予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 例外的リー超代数 F(4) および G(3) の単純加群の特徴関数および超次元の公式は何か？
• RQ2 F(4) および G(3) のすべての不分解表現は、ブロック分解およびクーヴィル図を用いてどのように分類できるか？
• RQ3 F(4) および G(3) に対して、支配的重みの超対応のボレル＝ヴェイユ＝ボット定理を構成できるか？
• RQ4 F(4) および G(3) の特異的性が1のブロックは、ゲルモニの予想通りターム的か？
• RQ5 F(4) および G(3) に対して、カック＝ワキモト予想の超次元公式は成り立つか？

主な発見

• F(4) に対して、特異的ブロックは sl(3) の支配的重み μ によってパラメトライズされ、μ + ρ_l = aω₁ + bω₂ かつ a = 3n + b、b > 0、n ≥ 0 を満たす。
• 対称的ブロック F^(a,a) は型 D_∞ のクーヴィルを持つが、非対称的ブロック F^(a,b) は型 A_∞ のクーヴィルを持つ。
• G(3) に対して、特異的ブロックは sl(2) の支配的重み μ によってパラメトライズされ、μ_l + ρ = aω₁ かつ a = 2n + 1、n ≥ 0 を満たし、ブロック F^a は型 D_∞ のクーヴィルを持つ。
• 超次元公式は、一般の λ に対して sdim(L_λ) = ±2·dim(L_μ(g_x)) であり、特殊な重みに対しては sdim(L_λ_i) = dim(L_μ(g_x)) である。ここで g_x ≅ sl(3) は F(4) に対して、sl(2) は G(3) に対して成り立つ。
• ボレル＝ヴェイユ＝ボット定理は、ウェイル群作用およびウェイル分母恒等式を含む特徴関数の公式によって、F(4) および G(3) に一般化される。
• 分類により、特異的性が1のブロックがターム的であることが確認され、F(4) および G(3) に対してゲルモニの予想が証明され、カック＝ワキモト予想の超次元公式も検証された。