[論文レビュー] Complexity and module varieties for classical Lie superalgebras

Brian D. Boe, Jonathan R. Kujawa+1 more|ArXiv.org|May 14, 2009

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

ひとこと要約

本稿は、半単純なリー超代数 𝔤₀ に対して定義される古典的リー超代数の有限次元超モジュールの圏 𝔽 における基礎的なホモロジー的性質を確立する。この研究では、𝐹 が自己射的（射影的かつ内挿的超モジュールが一致する）であることを証明し、射影的分解の多項式的成長に基づいて超モジュールの複雑性を定義する。また、タイプ I のリー超代数に対して、射影性を検出可能で Duflo–Serganova に付随する付随的多様体と関連するコホホロジー的サポート多様体を導入する。主な貢献は、強い双対性を持つタイプ I 超代数において、ティルティング超モジュールと射影的超モジュールが同値であることを示したことである。

ABSTRACT

Let g=g_{0} \oplus g_{1} be a classical Lie superalgebra and F be the category of finite dimensional g-supermodules which are semisimple over g_{0}. In this paper we investigate the homological properties of the category F. In particular we prove that F is self-injective in the sense that all projective supermodules are injective. We also show that all supermodules in F admit a projective resolution with polynomial rate of growth and, hence, one can study complexity in F. If g is a Type I Lie superalgebra we introduce support varieties which detect projectivity and are related to the associated varieties of Duflo and Serganova. If in addition g has a (strong) duality then we prove that the conditions of being tilting or projective are equivalent.

研究の動機と目的

• 古典的リー超代数が 𝔤₀ に対して半単純であるような有限次元超モジュールの圏 𝔽 のホモロジー的性質を確立すること。
• 射影的分解の多項式的成長に基づいて、𝐹 内の超モジュールの複雑性を定義し、その性質を研究すること。
• タイプ I リー超代数に対して、射影性を検出可能で Duflo–Serganova に付随する付随的多様体と関連するコホホロジー的サポート多様体を構成すること。
• 強い双対性を持つタイプ I リー超代数において、ティルティング超モジュールと射影的超モジュールが同値であることを証明すること。

提案手法

• すべての超モジュールが多項式的成長率を示す射影的分解を備えることを証明し、これにより複雑性の定義が可能になることを示す。
• すべての射影的超モジュールが内挿的であることを示すことにより、圏 𝔽 が自己射的であることを証明する。
• タイプ I リー超代数に対して、Lie 超代数 𝔤_{±1} 上でのコホホロジー的サポート多様体 𝒱_{𝔤_{±1}}(M) を定義する。
• 包含関係 𝒱_{𝔤_{-1}}(M) ∪ 𝒱_{𝔤_{1}}(M) ⊆ 𝒳_M と等式 𝒱_{𝔤_{±1}}(M) = 𝔤_{±1} ∩ 𝒳_M を確立し、コホホロジー的多様体と付随的多様体を結びつける。
• 超モジュール上の双対性 τ を用いて P(S)^τ ≅ P(S) を示し、単純モジュール S に対して P(S) ≅ I(S) が成り立つことを示す。
• 特性の議論と自己準同型環の計算を用いて、dim Hom_{𝔽}(S,S) = 1 の仮定のもとでカルタン行列の対称性を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的リー超代数の超モジュール圏 𝔽 において、射影的分解の多項式的成長に基づく複雑性の定義が適切に可能か？
• RQ2 タイプ I リー超代数に対して、コホホロジー的サポート多様体は射影性を検出可能であり、Duflo–Serganova に付随する付随的多様体と関連するか？
• RQ3 どのような条件下で、圏 𝔽 内のティルティング超モジュールと射影的超モジュールが同値となるか？
• RQ4 P(S) ≅ I(T) が成り立つとき、単純モジュール S とその対応する内挿的モジュール I(T) の間に一般的な関係式が存在するか？
• RQ5 モジュール M ∈ 𝔽 に対して、その次元が M の複雑性に一致するサポート多様体を構成可能か？

主な発見

• 圏 𝔽 は自己射的である：𝐹 内のすべての射影的超モジュールは、同時に内挿的である。
• 𝐹 内のすべての超モジュールは多項式的成長率を示す射影的分解を備え、これにより複雑性 c_{𝔽}(M) の定義が可能である。
• タイプ I リー超代数において、コホホロジー的サポート多様体 𝒱_{𝔤_{±1}}(M) は、𝒱_{𝔤_{-1}}(M) ∪ 𝒱_{𝔤_{1}}(M) ⊆ 𝒳_M および 𝒱_{𝔤_{±1}}(M) = 𝔤_{±1} ∩ 𝒳_M を満たす。ここで 𝒳_M は Duflo–Serganova に付随する付随的多様体である。
• 強い双対性を持つタイプ I リー超代数において、超モジュールがティルティングであることは、それが射影的であることと同値である。
• すべての単純モジュール S に対して dim_{ℂ} Hom_{𝔽}(S,S) = 1 が成り立つとき、リー超代数のカルタン行列は対称である。
• 𝐹 のブロックにおける射影的生成子の自己準同型代数は、極限図形代数に同型であり、特定の状況では Koszul 性が示唆される。