[論文レビュー] Categories of modules given by varieties of p-nilpotent operators

Rolf Farnsteiner|arXiv (Cornell University)|Oct 12, 2011

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

ひとこと要約

本稿は、正の特性 p における有限群スキーム上の加群のカテゴリを調査し、等画像加群（EIP）、定数ジョルダン型加群（CJT）、定数 j-ランク加群（CRj）に焦点を当てる。Frobenius核が再帰的群である場合、EIP 加群は半単純であり、1次元加群に分解されることが示され、Z/p × Z/p のようなアーベル的ユニポテンツ群では、Auslander-Reiten 成分における EIP 加群は有限個であり、準単純である。その構造は群スキームの型に極めて敏感である。

ABSTRACT

For a finite group scheme G over an algebraically closed field k of characteristic p>0 we study G-modules M, which are defined in terms of properties of their pull-backs along p-points of G. We show that the corresponding subcategories strongly depend on the structure of G. The second part of the paper discusses recent work by Carlson-Friedlander-Suslin concerning the subcategory of equal images modules from the vantage point of Auslander-Reiten theory.

研究の動機と目的

• 有限群スキームの正の特性の体上での等画像加群（EIP）、定数ジョルダン型加群（CJT）、定数 j-ランク加群（CRj）の構造を分析すること。
• これらの加群カテゴリが、特に Frobenius核とアーベル的ユニポテンツ群に対して、基礎となる群スキーム構造にどのように依存するかを調査すること。
• Kroneckerクォーラと安定 AR クォーラの文脈において、AR 理論を用いて EIP 加群と Auslander-Reiten 成分の交わりを検討すること。
• ユニポテンツ部分群の複雑度 ≥2 を持つ群スキームの正則 AR 成分において、EIP 加群の有限性および準単純性の条件を特定すること。
• ジョルダン型とヘラー移動が、特に Z/p × Z/p および再帰的群の Frobenius 核において、AR 成分内での EIP 加群の分類に果たす役割を明確化すること。

提案手法

• π-ポイントと引き戻しを用いて、零化作用素を通じて加群カテゴリを定義し、表現論とサポート多様体を結びつける。
• Auslander-Reiten 理論を用いて、群代数 kG の安定 AR クォーラ Γs(G) を分析し、木的クラス A∞ を持つ成分に注目する。
• Auslander-Reiten 変換とヘラー移動（Ω²）を用いて、AR 成分内の加群のフィルトレーションと不可約射影の性質を研究する。
• 1 ≤ i ≤ p に対して、ジョルダン型分解 Jt(M) = ⊕ ai[i] を分析し、[i] は k[T]/(T^p)-加群の i 次元非分解的加群を表す。
• ほぼ分裂系列と随伴作用による加群のねじれを用いて、EIP および CJT カテゴリが AR 操作に関して閉じていることを証明する。
• Carlson-Friedlander-Suslin および Friedlander-Pevtsova のサポート多様体と p-零作用素に関する結果を応用し、加群カテゴリを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 有限群スキーム G の構造に依存して、カテゴリ EIP(G)、CJT(G)、CRj(G) はどのように変化するか？
• RQ2 再帰的群の r 番目の Frobenius 核 Gr に対して、EIP 加群は半単純であり、1次元加群の直和に分解されるか？
• RQ3 p ≥ 3 の Z/p × Z/p の正則 AR 成分において、EIP(G) との交わりは有限であり、すべての加群が準単純か？
• RQ4 AR 成分に無限個の EIP 加群が含まれる条件は何か？また、ジョルダン型にどのような制約が課されるか？
• RQ5 ヘラー移動と随伴作用によるねじれは、CJT および EIP カテゴリ内の加群構造にどのように影響するか？

主な発見

• 連結な再帰的群 G の r 番目の Frobenius 核 Gr に対して、EIP(Gr) 加群はすべて 1次元加群の直和であるため、半単純である。
• G1（1番目の Frobenius 核）に対して、すべての j ∈ {1,…,p−1} に対して CRj(G1) = CJT(G1 が成り立ち、すべての CJT(G1) 加群は G の随伴作用によるねじれと同型である。
• p ≥ 3 の Z/p × Z/p の正則 AR 成分において、ジョルダン型が ∑_{i=1}^{p−1} ai[i] または ∑_{i=1}^{p−2} ai[i] である EIP 加群は有限個であり、すべてが準単純である。
• AR 成分 Θ がジョルダン型 ∑_{i=1}^{p−1} ai[i] の EIP 加群 M を含むならば、Θ ∩ EIP(G) は有限であり、すべての加群が準単純である。
• 群 G = Z/p × Z/p に対して、EIP(G) ∩ Θ が無限であることは、補足で示されたように、W_{n,p} が p-Koszul 加群であることと同値である。
• n = 2p−1 のとき、AR 成分 Θ_{2p−1,p} は EIP(G) 内に無限族 {(r)W_{p−1,p−1} | r ≥ 1} を含み、これ以上の EIP 加群は存在しない。