[論文レビュー] Chevalley Supergroups of type D(2,1;a)

Giovanna Fabio|arXiv (Cornell University)|Jun 2, 2010

Advanced Topics in Algebra参考文献 10被引用数 3

ひとこと要約

この論文は、非整数 $a$ の場合の $D(2,1;a)$ 型のリー超代数に対して、古典的なChevalley法を超代数へと拡張することで、すべての単純リー超代数に対するChevalley超群の構成を完了する。非整数 $a$ の場合に、$A \mapsto P_a(A)$ に従う群函手に基づく新しい種類の乗法的1パラメータ部分群を導入し、$a \notin \mathbb{Z}$ の場合でも超群構造を実現可能にする。さらに、その結果得られる函手が代表可能であり、元のリー超代数がその接空間代数として再現されることを証明する。

ABSTRACT

I present a construction "a` la Chevalley" of affine supergroups associated with simple Lie superalgebras of (classical) type D(2,1;a), for any possible value of the parameter a - in particular, including non-integral values of a. This extends the similar work performed in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014 - arXiv:0808.0785v8 [math.RA]], where all other simple Lie superalgebras of classical type were considered. The case of simple Lie superalgebras of Cartan type is dealt with in [F. Gavarini, "Algebraic supergroups of Cartan type", Forum Mathematicum (to appear), 92 pages - arXiv:1109.0626v5 [math.RA], so this work completes the program of constructing connected affine supergroups associated with any simple Lie superalgebra.

研究の動機と目的

• すべての単純リー超代数に対する連結なアフィン超群の構成プログラムを、$a \notin \mathbb{Z}$ の場合の $D(2,1;a)$ の欠落事例を解決することで完了すること。
• 標準的手法が非整数パrameter $a$ のために失敗する $D(2,1;a)$ 型のリー超代数に、Chevalley構成を拡張すること。
• 群函手 $A \mapsto P_a(A)$ を用いて、新しい種類の乗法的1パラメータ部分群を定義し、$a$ が整数でない場合の構成を可能にすること。
• 結果として得られる群函手が代表可能であり、したがってアフィン超群をなすこと、およびその接リー超代数が元の $\mathfrak{g} = D(2,1;a)$ と同型であることを証明すること。

提案手法

• $\mathfrak{g} = D(2,1;a)$ に対して、普遍包あくり超代数 $U(\mathfrak{g})$ における整数性を保証する整数構造を持つChevalley基底を構成する。
• 忠実な有限次元 $\mathfrak{g}$-加群 $V$ を固定し、$U(\mathfrak{g})$ のKostant $\mathbb{Z}$-形式が作用する $V$ 内の $\mathbb{Z}$-格子 $M \subset V$ を構成する。
• 各根 $\alpha \in \Delta$ に対して、$\vartheta \in A_1$ を用いて $1 + \vartheta X_\alpha$ に従う加法的1パラメータ部分群を定義する。
• 非整数 $a$ の場合に不可欠となる、群函手 $P_a(A) = \{ t \in A_0 \mid t^{a^k} \text{ がすべての } k \text{ に対して存在する} \}$ に従う $a$-型の乗法的1パラメータ部分群を導入する。
• $\mathbf{G}_V$ を、すべての同次元1パラメータ部分群が生成する $\mathrm{GL}(V(A))$ の部分群として定義し、それをシャーベット化して代表可能なアフィン超群を得る。
• $\mathbf{G}_V = \mathbf{G}_0 \times \mathbf{G}_1^{-,<} \times \mathbf{G}_1^{+,<}$ の因子分解を確立し、$\mathbf{G}_0$ および $\mathbf{G}_1$ の代表可能性により、代表可能性の証明を行う。

実験結果

リサーチクエスチョン

• RQ1 非整数 $a$ の場合に、$D(2,1;a)$ 型のリー超代数に対してChevalley構成を拡張することは可能か？
• RQ2 非整数 $a$ の場合に超群構造を実現するために、どのような新しい群函手が必要か？
• RQ3 結果として得られる群函手は代表可能であり、アフィン超群をなすか？
• RQ4 構成された超群の接リー超代数は、元の $\mathfrak{g} = D(2,1;a)$ と一致するか？
• RQ5 異なる $\mathfrak{g}$-加群の選択が、同型を除いて得られる超群にどのように影響するか？

主な発見

• $a \notin \mathbb{Z}$ の $D(2,1;a)$ 型のChevalley超群の構成は、群函手 $A \mapsto P_a(A)$ に基づく新しい種類の乗法的1パラメータ部分群を導入することによって完了する。
• 結果として得られる群函手 $\mathbf{G}_V$ はシャーベット化され、代表可能であることが証明され、したがってアフィン超群をなす。
• $\mathbf{G}_V$ の接リー超代数は $\mathfrak{g} = D(2,1;a)$ と同型であり、超群のLieの定理3番目の定理が要求する条件を満たす。
• 構成は $\mathfrak{g}$-加群 $V$ の選択に関して函手的であり、$V$ 内の適切な格子の選択に依存しない（同型を除いて）。
• $\mathbf{G}_V = \mathbf{G}_0 \times \mathbf{G}_1^{-,<} \times \mathbf{G}_1^{+,<}$ の因子分解により、超群構造が確認され、代表可能性の証明が可能になる。
• この結果により、すべての単純リー超代数に対する連結なアフィン超群の構成プログラムが完了し、古典的およびCartan型のすべてのケースを含む。