[論文レビュー] Ver\\"anderungen \\"uber einen Satz von Timmesfeld - I. Quadratic Actions

Adrien Deloro|arXiv (Cornell University)|Jan 2, 2013

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

ひとこと要約

この論文は、TimmesfeldとSmithの結果を一般化して、直接計算により二次的 $\operatorname{SL}_2(\mathbb{K})$-および $\mathfrak{sl}_2(\mathbb{K})$-加群を分類する。特によく、特性3において、$\mathfrak{sl}_2(\mathbb{K})$ の生成元 $x$ と $y$ が加群 $V$ 上で二次的に作用するならば、$V$ は $\operatorname{Ann}_V(\mathfrak{g}) \oplus \mathfrak{g} \cdot V$ に分解され、$\mathfrak{g} \cdot V$ は自然 $\mathfrak{sl}_2(\mathbb{K})$-加群の直和と同型であり、これにより $\mathbb{K}$-ベクトル空間構造が与えられ、$\mathbb{K}\mathfrak{g}$-加群であることが示される。

ABSTRACT

We classify quadratic SL(2,K)- and sl(2,K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.-G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results for abstract modules of algebraic groups and associated Lie rings.

研究の動機と目的

• 代数群 $G$ の $\mathbb{K}$ 上の抽象的 $G$-加群が、$\mathbb{K}G$-加群として線形化可能である範囲を理解すること。
• $\operatorname{SL}_2(\mathbb{K})$ 及びそのリー代数 $\mathfrak{sl}_2(\mathbb{K})$ が加群上で作用する場合、純粋に代数的かつ計算に基づく方法によって $\mathbb{K}$-ベクトル空間構造を付与できるかを調査すること。
• 幾何的またはカテゴリカルな仮定を一切設けない状況下で、Smith-Timmesfeldの定理が二次的作用に対してどれほど頑健であるかを探索すること。
• 可解性の限界を、べき零性、特性、およびリー環 $\mathfrak{g}$ の構造の役割を分析することで特定すること。

提案手法

• $\operatorname{SL}_2(\mathbb{K})$ 及びそのリー代数の加群上での作用の構造を分析するためのSteinberg関係式の使用。
• 標準的生成元 $x, y$ に対して $x^2 = y^2 = 0$ であると仮定したもとでの $\operatorname{End}V$ 内の自己準同型関係の直接計算。
• 二次性仮定のもとで $h$ の作用に関する一般化固有空間 $E_{-1}(V), E_0(V), E_1(V)$ への加群 $V$ の分解。
• 有限体構造と指数3の条件を活用するため、$\mathfrak{sl}_2(\mathbb{F}_3)$ の場合に還元すること。
• $\mathfrak{g}_1 = \mathfrak{sl}_2(\mathbb{F}_3)$ の完全性を用いて、商 $\bar{V}$ における $\mathfrak{g}_1$ の annihilator を排除し、直和分解に至ること。
• Steinberg関係式および二次性から導かれる線形関係を用いて、$\mathfrak{g} \cdot V$ 上に $\mathbb{K}$-ベクトル空間構造を構成すること。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{g} = \mathfrak{sl}_2(\mathbb{K})$ の $\mathfrak{g}$-加群 $V$ が、$\mathbb{K}\mathfrak{g}$-加群となるような $\mathbb{K}$-ベクトル空間構造を備えるための条件は何か？
• RQ2 生成元 $x$ と $y$ が $V$ 上で二次的に作用する場合、$V$ が $\operatorname{Ann}_V(\mathfrak{g})$ と自然加群の直和と同型な $\mathbb{K}\mathfrak{g}$-加群に分解されるかどうか？
• RQ3 あらかじめ $\mathbb{K}$-線形性を仮定しない状況で、リー環としての抽象的作用から $\mathfrak{g}$ の表現論をどの程度回復できるか？
• RQ4 特に特性3において、体の特性が二次的 $\mathfrak{g}$-加群の線形化可能性にどのように影響を与えるか？
• RQ5 分解 $V = \operatorname{Ann}_V(\mathfrak{g}) \oplus \mathfrak{g} \cdot V$ は $\mathfrak{g}$ の作用に関して安定しているか？また、$\mathfrak{g} \cdot V$ に $\mathbb{K}$-ベクトル空間構造を付与できるか？

主な発見

• 特性3において、$\mathfrak{sl}_2(\mathbb{K})$ の標準的生成元に対して $\operatorname{End}V$ 内で $x^2 = y^2 = 0$ ならば、$V = \operatorname{Ann}_V(\mathfrak{g}) \oplus \mathfrak{g} \cdot V$ は $\mathfrak{g}$-加群として成り立つ。
• 商 $\bar{V} = V / \operatorname{Ann}_V(\mathfrak{g}_1)$ は指数3であり、$E_{-1}(\bar{V}) \oplus E_1(\bar{V})$ に分解され、それぞれ $x$ および $y$ に関して安定である。
• $E_{-1}(V)$ および $E_1(V)$ は $\mathfrak{g}_1$ に関して不変であり、その和 $\mathfrak{g}_1 \cdot V$ は自然 $\mathfrak{g}_1$-加群 $\operatorname{Nat}\mathfrak{g}_1$ のコピーの直和と同型である。
• 二次性および $\operatorname{End}V$ 内の関係 $2hx = 2x$ により、$x$-不変量が消えるため、$x$ は $E_1(V)$ 上で自明に作用し、$y$ は $E_{-1}(V)$ 上で自明に作用する。
• $\mathfrak{g} \cdot V = \operatorname{im}x + \operatorname{im}y$ は $\bar{V}$ と同型であり、Variation n∘11 からの線形構成により $\mathbb{K}$-ベクトル空間構造を誘導する。
• $\mathfrak{g} \cdot V$ 上の $\mathbb{K}$-ベクトル空間構造により、これは自然 $\mathfrak{sl}_2(\mathbb{K})$-加群 $\operatorname{Nat}\mathfrak{sl}_2(\mathbb{K})$ のコピーの直和と同型であることが示される。