[論文レビュー] Modules of constant Jordan type

Jon Carlson, Eric M. Friedlander+1 more|ArXiv.org|Jul 25, 2007

Rings, Modules, and Algebras参考文献 2被引用数 14

ひとこと要約

この論文は、正の標数の体上の有限群スキームの定数ジョルダン型をもつモジュールを導入し、研究する。これらモジュールはテンソル積、双対、ヘラー移動、直和成分について閉じており、重要な貢献として、これらのモジュールが終端的モジュールを含み、非最大次元の補助多様体の消失によって完全に特徴づけられることを示している。また、アウスランダー＝ライデン理論や実現可能なジョルダン型のコhomological制約と深い関係がある。

ABSTRACT

We introduce the class of modules of constant Jordan type for a finite group scheme $G$ over a field $k$ of characteristic $p > 0$. This class is closed under taking direct sums, tensor products, duals, Heller shifts and direct summands, and includes endotrivial modules. It contains all modules in an Auslander-Reiten component which has at least one module in the class. Highly non-trivial examples are constructed using cohomological techniques. We offer conjectures suggesting that there are strong conditions on a partition to be the Jordan type associated to a module of constant Jordan type.

研究の動機と目的

• 有限群スキーム $kG$ が正の標数の体上で定数ジョルダン型をもつ $kG$-モジュールのクラスを定義し、体系的に研究すること。
• このクラスがテンソル積、双対、ヘラー移動、直和、直和成分について閉じていることを確立すること。
• 定数ジョルダン型とコホモロジー的不変量、特に非最大次元の補助多様体 $\Gamma(G)_M$ の関係を調査すること。
• コホモロジー的技法と $k[t]/t^p$-モジュールのテンソル積分解を用いて、非自明な例を構成すること。
• このようなモジュールの実現可能なジョルダン型に関する組合せ的制約を定式化し、検証すること。

提案手法

• 任意の $\pi$-ポイント $\alpha_K: K[t]/t^p \to KG$ における制限が、体拡張 $K/k$ に依存せず同じジョルダン型をもつとき、$kG$-モジュール $M$ が定数ジョルダン型をもつと定義する。
• モジュール $M$ に対する $\pi$-ポイントの最大性の概念を用い、$M$ が定数ジョルダン型をもつことと、非最大次元補助多様体 $\Gamma(G)_M$ が空であることは同値であることを示す。
• $\pi$-ポイント理論とコホモロジー的検出法を用いて、定数ジョルダン型モジュールのテンソル積と拡張を分析する。
• $sl_2$-表現論を用いた $k[t]/t^p$-モジュールのテンソル積の分解、特に単純なモジュールを用いた $[i] \otimes [j]$ の公式を活用する。
• ヘラー移動とアウスランダー＝ライデン理論を用いて例を構成し、AR成分内のモジュールが定数ジョルダン型をもつならば、その成分内のすべてのモジュールが同様にそうであることを示す。
• $kC_p$-モジュールと $k[t]/t^p$-モジュールの間の同値性（コプロダクト $t \mapsto 1 \otimes t + t \otimes 1$ を持つ）を用いて、テンソル積の公式を移行する。

実験結果

リサーチクエスチョン

• RQ1 どの分割（ジョルダン型）が、定数ジョルダン型をもつモジュールのジョルダン型として実現可能か？
• RQ2 $kG$-モジュールの非分解的インデコンポジットモジュールの安定ジョルダン型の集合 $\mathcal{I}(G)$ は、加法について閉じているか？
• RQ3 有限群スキーム $G$ から部分群 $H$ への制限が、$kG$-モジュールと $kH$-モジュールの定数ジョルダン型の実現可能集合の間で全単射を誘導するか？
• RQ4 定数ジョルダン型モジュールのクラスは拡張に関してどのように振る舞い、ヘラー移動とテンソル積によって生成されるクラスよりも真に大きくはならないか？
• RQ5 $G$ に課されるコホモロジー的条件は、非射影的非分解的モジュールが定数ジョルダン型をもつことを保証するか？

主な発見

• 任意の $kG$-モジュール $M$ が定数ジョルダン型をもつことと、その非最大次元補助多様体 $\Gamma(G)_M$ が空であることは同値であり、コホモロジー的特徴づけが得られる。
• 定数ジョルダン型モジュールのクラスは、直和、直和成分、ヘラー移動、双対、テンソル積について閉じており、$\pi$-ポイントの最大性を用いて確立された。
• 終端的モジュールは、特定の最小ジョルダン型をもつ定数ジョルダン型モジュールに一致し、この新しいクラスがモジュラー表現論におけるよく知られたクラスと結びつく。
• $\mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z}$ のようなワイルド群スキームに対しても、非自明な定数ジョルダン型モジュールの例がコホモロジー的技法とテンソル積分解を用いて構成可能である。
• 第二の構成法（定理 6.13）により、第一の方法では実現できないモジュールが得られ、このクラスが単純な生成子を越えて、きわめて洗練され、豊かな性質をもつことが示された。
• $G = \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ の場合、$\mathcal{I}(G)$ は加法について閉じていない。非射影的非分解的モジュールのうち、定数ジョルダン型をもつのは、自明モジュールのヘラー移動のみである。