[論文レビュー] The generalized Kac-Wakimoto conjecture and support varieties for the Lie superalgebra osp(m|2n)

Jonathan R. Kujawa|arXiv (Cornell University)|Dec 14, 2011

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

ひとこと要約

この論文は、Lie超代数 𝔬𝔰𝔭(m|2n) における一般化されたKac-Wakimoto予想と非典型的性予想を証明し、単純超モジュールのサポート多様体の次元がその非典型度に等しいことを確立する。コホロジー的技法とサポート多様体論を用いて、非典型度kの単純モジュールのサポート多様体が 𝔸ᵏ に同型であることを示し、非典型性の幾何的解釈を確認するとともに、𝔤𝔩(m|n) に対する既存の結果を拡張する。

ABSTRACT

Atypicality is a fundamental combinatorial invariant for simple supermodules of a basic Lie superalgebra. Boe, Nakano, and the author gave a conjectural geometric interpretation of atypicality via support varieties. Inspired by low dimensional topology, Geer, Patureau-Mirand, and the author gave a generalization of the Kac-Wakimoto atypicality conjecture. We prove both of these conjectures for the Lie superalgebra osp(m|2n).

研究の動機と目的

• Lie超代数 𝔬𝔰𝔭(m|2n) における非典型性のサポート多様体を用いた幾何的解釈を確立すること。
• 𝔬𝔰𝔭(m|2n) における一般化されたKac-Wakimoto予想を証明し、修正されたトレースおよび次元関数の枠組みを拡張すること。
• 同じ非典型度を持つ単純超モジュールのサポート多様体がアフィン空間 𝔸ᵏ に同型であることを確認すること。
• 𝔤𝔪(m|n) に対する既知の結果を 𝔬𝔰𝔭(m|2n) の場合に拡張し、タイプAおよびDの基本的古典的Lie超代数についての証明を完成させること。
• 単純超モジュールの複雑さと表現論的構造が、その非典型度にのみ依存することを示すこと。

提案手法

• Lie超代数におけるコホロジー的サポート多様体論、特に検出代数アプローチを用いる。
• Lie超代数内の奇数次元要素の作用を通じて、サポート多様体のランク多様体記述を適用する。
• 検出部分代数のコホロジーから全Lie超代数のコホロジーへの制限写像 res* を用いる。
• H•(𝔤k, 𝔤k₀; ℂ) がk個の変数における多項式環であるという事実を用い、サポート多様体を 𝔸ᵏ と特定する。
• Weyl群 𝒲 の作用を用いて、制限写像 res* の纤维を分析する。
• 単純超モジュールの制限における安定性を活用し、部分代数間のサポート多様体を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 𝔬𝔰𝔭(m|2n) の単純超モジュールのサポート多様体の次元は、その非典型度に等しいか？
• RQ2 一般化されたKac-W Wakimoto予想は 𝔬𝔰𝔪(m|2n) に対して証明可能か？ これにより修正された次元関数と非典型度が関連づけられるか？
• RQ3 同じ非典型度を持つすべての単純超モジュールは、同型なサポート多様体を持つか？
• RQ4 非典型度kの単純超モジュールのサポート多様体はアフィン空間 𝔸ᵏ に同型か？
• RQ5 制限写像 res* は、部分代数のサポート多様体と全Lie超代数との間でどのように関係づけられるか？

主な発見

• 𝔬𝔰𝔭(m|2n) における任意の非典型度kの単純超モジュールのサポート多様体は 𝔸ᵏ に同型であり、非典型性予想が裏付けられる。
• 一般化されたKac-Wakimoto予想は 𝔬𝔰𝔭(m|2n) に対して成立し、修正された次元関数は非典型度が最大でない場合にのみ消える。
• 同じ非典型度を持つすべての単純超モジュールは同一のサポート多様体を持つため、表現論的複雑さが等しい。
• サポート多様体 𝒱(𝐋(λ)) は、Weyl群作用による軌道に対応する有限個のk次元部分空間の和集合である。
• 制限写像 res* は有限対一かつ全射であり、全サポート多様体を検出部分代数の像として特定可能である。
• 結果は 𝔤𝔩(m|n) に拡張され、Kac分類におけるタイプAおよびDにおいて、手法が一様に適用可能であることが確認される。