[論文レビュー] Torus actions on stable module categories, Picard groups, and localizing subcategories

Akhil Mathew|arXiv (Cornell University)|Dec 6, 2015

Algebraic structures and combinatorial models参考文献 20被引用数 6

ひとこと要約

本稿は、$p$-群 $G$ の安定モジュール圏に、$ m ext{ extsterling}$-圏的強化を用いてトーラス作用を構成し、それによってトーラスのテート構成と関連付ける。ローデスのガロア降下の意味で、代数的トーラスの作用を通じて、Dadeの自己同型モジュールに関する定理のホモトピー論的証明を提供し、ベンソン＝イエンガル＝クルーズによる局所的サブカテゴリの分類を射影空間上の分離化を用いて再解釈する。

ABSTRACT

Given an abelian $p$-group $G$ of rank $n$, we construct an action of the torus $\mathbb{T}^n$ on the stable module $\infty$-category of $G$-representations over a field of characteristic $p$. The homotopy fixed points are given by the $\infty$-category of module spectra over the Tate construction of the torus. The relationship thus obtained arises from a Galois extension in the sense of Rognes, with Galois group given by the torus. As one application, we give a homotopy-theoretic proof of Dade's classification of endotrivial modules for abelian $p$-groups. As another application, we give a slight variant of a key step in the Benson-Iyengar-Krause proof of the classification of localizing subcategories of the stable module category.

研究の動機と目的

• アーベル $p$-群 $G$ に対するDadeの自己同型モジュール分類を、構造付き環スペクトルと降下理論を用いてホモトピー論的証明を提供すること。
• ベンソン＝イエンガル＝クルーズによる局所的サブカテゴリの分類を、テート構成のピック群を通じて射影空間の幾何と関連付けることで再解釈すること。
• ランク $n$ のアーベル $p$-群の安定モジュール圏に対して、ガロア群 $ m ext{ extsterling}^n$ を持つ $ m ext{ extsterling}$-圏的ガロア拡張構造を確立すること。
• アーベル $p$-群 $G$ に対するテート構成 $k^{tG}$ のピック群が、ユニットのスuspension によって生成されることを示し、Dadeの定理を確認すること。

提案手法

• アーベル $p$-群 $G$（ランク $n$）の $G$-表現の $ m ext{ extsterling}$-圏に、連続的な $ m ext{ extsterling}^n$-作用を構成する。
• $ m ext{ extsterling}$-圏的強化を用いて、安定モジュール圏 $ m{StMod}_G$ をテート構成 $k^{tG}$ 上のモジュールスペクトルの $ m ext{ extsterling}$-圏と同定する。
• 分類空間 $BG$ のコhomological 構造を用いて、ガロア群 $ m ext{ extsterling}^n$ を持つ $ m ext{ extsterling}$-環スペクトルのガロア拡張 $k^{t m ext{ extsterling}^n} o k^{tG}$ を確立する。
• 降下理論を適用し、制限およびスカラー拡張が局所的サブカテゴリ上で逆同型を誘導することを示す。これには、降下可能代数とスペクトル系列を用いる。
• $k^{h m ext{ extsterling}^n}$ に対する分離化結果を用い、$ m{gr}^*\pi_*(k^{t m ext{ extsterling}^n})$ の斉次素イデアル（不適切イデアルを除く）を介して、$ m{StMod}_G$ の局所的サブカテゴリを分類する。
• 写像 $k^{t m ext{ extsterling}^n} o k^{tG}$ が忠実なガロア拡張であることに着目し、$ m{Loc}(k^{tG}) o m{Loc}(k^{t m ext{ extsterling}^n})$ が同型であることを導出する。

実験結果

リサーチクエスチョン

• RQ1 アーベル $p$-群の安定モジュール圏のピック群は、ホモトピー論的手法を用いてどのように計算できるか？
• RQ2 ランク $n$ のアーベル $p$-群の安定モジュール圏を整理する際に、トーラス $ m ext{ extsterling}^n$ が果たす役割は何か？
• RQ3 Dadeの自己同型モジュール分類は、構造付き環スペクトルの文脈におけるガロア降下を用いて再導出可能か？
• RQ4 安定モジュール圏の局所的サブカテゴリ構造は、テート構成のホモトピー群を通じて、射影空間の幾何とどのように関係するか？
• RQ5 ガロア拡張 $k^{t m ext{ extsterling}^n} o k^{tG}$ は、局所的サブカテゴリにどのような同型を誘導するか？

主な発見

• ランク $n$ のアーベル $p$-群 $G$ に対する安定モジュール圏 $ m{StMod}_G$ は、テート構成 $k^{tG}$ 上のモジュールスペクトルの $ m ext{ extsterling}$-圏と同値であり、これによりホモトピー論的メソッドが可能になる。
• $ m{StMod}_G$ に連続的な $ m ext{ extsterling}^n$-作用が構成され、そのホモトピー固定点は $k^{t m ext{ extsterling}^n}$ 上のモジュールスペクトルの $ m ext{ extsterling}$-圏として与えられる。
• $k^{t m ext{ extsterling}^n} o k^{tG}$ は、ガロア群 $ m ext{ extsterling}^n$ を持つ忠実なガロア拡張であり、ローデスの理論の条件を満たす。
• $ m{StMod}_G$ のピック群は、$ m{ extsterling}^i k$ のスuspension によって生成され、ホモトピー論的降下によりDadeの定理が確認される。
• $ m{StMod}_G$ の局所的サブカテゴリは、$ m{ extsterling}^{n-1}_k$（$ m{gr}^*\pi_*(k^{t m ext{ extsterling}^n})$ の斉次素イデアルで不適切イデアルを含まないもの）の部分集合と一対一対応する。
• スカラー制限函手 $ m{Mod}(k^{t m ext{ extsterling}^n}) o m{Mod}(k^{tG})$ は $ m{Loc}$ 上で同型を誘導し、降下を用いてベンソン＝イエンガル＝クルーズの分類結果が回復される。