[論文レビュー] Algebraic supergroups with Lie superalgebras of classical type

R. Fioresi, Giovanna Fabio|arXiv (Cornell University)|Jun 21, 2011

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

ひとこと要約

本稿は、体 $k$ 上の連結なアフィン代数的スーパ[group]に対して、対角化可能な最大トーラスと、複素単純Lieスーパ algebraの古典的型の $k$-形式である接空間Lieスーパ algebraを備えたものについて、そのすべてが、先行研究で開発された明示的なChevalley型方法により構成されたChevalleyスーパ[group]に同型であることを証明する。主な結果は、このようなスーパ[group]が同型を除いて一意的であることを確立する。

ABSTRACT

We show that every connected affine algebraic supergroup defined over a field k, with diagonalizable maximal torus and whose tangent Lie superalgebra is a k-form of a complex simple Lie superalgebra of classical type is a Chevalley supergroup, as it is defined and constructed explicitly in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014].

研究の動機と目的

• 古典的型のLieスーパ algebraを備えた代数的スーパ[group]の同型を除く一意性問題を扱う。
• このようなすべてのスーパ[group]がChevalleyスーパ[group]構成から生じるかどうかを特定する。
• 代数的スーパ[group]がChevalleyスーパ[group]に同型となる条件を確立する。
• Chevalley構成がこのクラスのスーパ[group]に対して完全かつ一意的な分類をもたらすことを検証する。
• ここでの代数的スーパ[group]のカテゴリーとSuper Harish-Chandraペアのカテゴリーとの関係を結ぶ。

提案手法

• スーパ[group] $G$ の古典的部分群 $G_0$ が $k$-split再帰的であることを用い、$\mathrm{GL}(\widetilde{V})$ 内でChevalleyの構成により実現可能であることを示す。
• $G_0$-モジュール $\widetilde{V}^*$ を誘導し、$\mathrm{GL}_{m|n}$-モジュール $U$ を得、その双対 $U^*$ を $\mathfrak{gl}_{m|n}$-モジュールとして構成する。
• $\mathfrak{gl}_{m|n}$-モジュール $W = \mathrm{Ind}_{(\mathfrak{gl}_{m|n})_0}^{\mathfrak{gl}_{m|n}}(U^*)$ を普遍包あくり代数を用いて誘導する。
• $W$ を $G$-モジュールに制限し、有限次元 $G$-部分モジュール $V = \mathcal{U}(\mathfrak{g}) \otimes_{\mathcal{U}(\mathfrak{g}_0)} \widetilde{V}$ を特定する。
• $\mathfrak{g}$-表現 $V$ に対応するChevalleyスーパ[group] $G_V$ を構成し、$G$ と $G_V$ を $\mathrm{GL}(V)$ に埋め込む。
• 両者 $G$ と $G_V$ がグローバルにスプリットであり、古典的部分群 $G_0 = (G_V)_0$ が同型であることを用い、Lieスーパ algebra での無限小的一致により $G = G_V$ を結論づける。

実験結果

リサーチクエスチョン

• RQ1 体 $k$ 上の連結なアフィン代数的スーパ[group] $G$ で、対角化可能な最大トーラスと、複素単純Lieスーパ algebraの古典的型の $k$-形式である接空間Lieスーパ algebraを備えたものについて、すべてがChevalleyスーパ[group]に同型であるか？
• RQ2 古典的Lieスーパ algebraを備えた代数的スーパ[group]がChevalley構成から生じるための条件は何か？
• RQ3 古典的部分群 $G_0$ およびLieスーパ algebra 構造の性質が、スーパ[group]のグローバル構造にどのように制約を加えるか？
• RQ4 Lieスーパ algebraの古典的型に対して、Chevalleyスーパ[group]構成はどの程度一意的か？
• RQ5 Super Harish-Chandraペアとこの種の代数的スーパ[group]との間のカテゴリー的関係は何か？

主な発見

• 体 $k$ 上の連結なアフィン代数的スーパ[group] $G$ で、対角化可能な最大トーラスと、複素単純Lieスーパ algebraの古典的型の $k$-形式である接空間Lieスーパ algebraを備えたものについて、すべてがChevalleyスーパ[group]に同型である。
• Chevalleyスーパ[group]構成により、$\mathrm{GL}(V)$ の閉部分群が得られ、これによりこのようなスーパ[group]が代数的かつアフィン的であることが確認される。
• $G$-モジュール $V = \mathcal{U}(\mathfrak{g}) \otimes_{\mathcal{U}(\mathfrak{g}_0)} \widetilde{V}$ の構成により、$G$ と対応するChevalleyスーパ[group] $G_V$ が同じ $\mathrm{GL}(V)$ に埋め込まれる。
• 両者 $G$ と $G_V$ がグローバルにスプリットであり、古典的部分群 $G_0 = (G_V)_0$ が同型であり、かつ同じLieスーパ algebra を共有するため、$G = G_V$ が成り立つ。
• 一意性結果は、必要十分条件のもとで成立する：$G_0$ は $k$-split再帰的で、Lieスーパ algebra は複素単純Lieスーパ algebraの古典的型の $k$-形式でなければならない。
• この結果により、特定のSuper Harish-Chandraペアとここでの代数的スーパ[group]との間でカテゴリー同値が確立され、古典的Chevalley理論が超対称設定に拡張される。