[論文レビュー] Jordan Types for Indecomposable Modules of Finite Group Schemes

Rolf Farnsteiner|ArXiv.org|Oct 16, 2009

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

ひとこと要約

この論文は、π点から導かれるジョルダン型を用いて、有限群スキームの安定Auslander-Reitenクオールの新しい不変量を確立する。ジョルダン型は、サポート多様体では区別できないAR成分を区別できることを示し、$U_0(\frak{sl}(2))$の非分解的加群のジョルダン型を完全に特徴づけ、エンドー自明加群の分類と、π点解析を用いた標準的加群およびWeyl加群のジョルダン型の明示的計算を実施する。

ABSTRACT

In this article we study the interplay between algebro-geometric notions related to $π$-points and structural features of the stable Auslander-Reiten quiver of a finite group scheme. We show that $π$-points give rise to a number of new invariants of the AR-quiver on one hand, and exploit combinatorial properties of AR-components to obtain information on $π$-points on the other. Special attention is given to components containing Carlson modules, constantly supported modules, and endo-trivial modules.

研究の動機と目的

• π点から導かれるジョルダン型を用いて、安定Auslander-Reitenクオールの新しい不変量を開発すること。
• ジョルダン型が、サポート多様体では検出できないAR成分内の構造的差をどのように検出するかを理解すること。
• 制限的包あらわし代数 $U_0(\frak{sl}(2))$ の非分解的加群のジョルダン型を特徴づけること。
• π点技術を用いて、有限群スキームの文脈におけるエンドー自明加群を分類すること。
• カルソン加群と定数サポート加群を研究することで、定数ジョルダン型加群の理論を拡張すること。

提案手法

• 特に局所的に分裂するAR成分に限定して、安定表現クオールに加法的および準加法的関数をπ点を用いて定義する。
• π点に沿ったほとんど分裂系列の引き戻しを適用し、優位順序や最大でないサポートの多様体といった不変量を導出する。
• Cartan行列 $A_{p-1}$ とπ点からの誘導加群を用いて、非局所的に分裂する無限チューブを分析する。
• Lemma 8.2.1 と [35, (2.2)] を用いて、$p$-ユニポテン部分代数への制限を通じてジョルダン型を計算する。
• $ heta_S$ および $ heta_{(\theta)}$ と同型な $bZ[A_\ty{infty}^\infty]$ の構造を、その平行移動クオール性質を活用して分析する。
• Corollary 3.1.2 と Theorem 7.2(2) を適用し、成分間で一様なジョルダン型の個数を導出する。

実験結果

リサーチクエスチョン

• RQ1 π点から導かれるジョルダン型は、同じサポート多様体を持つAuslander-Reiten成分を区別できるか？
• RQ2 制限的包あらわし代数 $U_0(\frak{sl}(2))$ の非分解的加群のジョルダン型の構造は何か？
• RQ3 π点は、非局所的に分裂するAR成分内の加群のジョルダン型をどのように決定するか？
• RQ4 標準的加群およびWeyl加群のジョルダン型の集合は、$U_0(\frak{sl}(2))$ においてどのように特定されるか？
• RQ5 $U_0(\frak{sl}(2))$ のARクオールにおいて、エンドー自明な加群はどれであり、それらはπ点を用いてどのように特徴づけられるか？

主な発見

• 標準的加群 $S$ のジョルダン型の個数は $n$ であり、成分 $ heta_S$ 内のすべての加群はちょうど $n$ 個のジョルダン型を持つ。
• Weyl加群 $Z(\theta)$ のジョルダン型の集合は、$p$, $a$, $j$, $r$, および $r'$ に依存する特定の分割の和集合として明示的に決定され、すべての型が現れる。
• 非分解的周期的加群 $M = k\bbG_{a(2)} \tens_{k[\bbG_{a(1)}]} k$ は少なくとも3つの異なるジョルダン型 $p[1]$, $p[1]$, および $[\frac{p-1}{2}] \bigoplus [\frac{p+1}{2}]$ を持ち、定数サポートでないことが示される。
• 成分 $ heta_S$ は $bZ[A_\ty{infty}^\infty]$ に同型であり、Corollary 3.1.2 より、$S$ と同じようにすべての加群が $n$ 個のジョルダン型を持つ。
• 自明加群 $k$ とそのヘラーシフト $ Omega_{\frak{sl}(2)_s}(k)$ はエンドー自明であり、Theorem 7.2(2) により、それらを含む成分は一様なジョルダン型の振る舞いを示す。
• 奇数の $p$ に対して、$ H^{2n}(\frak{sl}(2)_s, k)$ 内の非零でノンニルポテンシャルな $ heta \neq 0$ に対応する加群 $L_\theta$ は非分解的であり、定数ジョルダン型をもち、そのジョルダン型集合のサイズは $n$ である。