[论文解读] 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

一句话总结

本文通过 $\rm\text{\textsterling}$-范畴化增强，建立了一个环面作用于阿贝尔 $p$-群 $G$ 的稳定模范畴，将其与环面的 Tate 构造联系起来。利用 Rognes 意义下的伽罗瓦下降，给出了 Dade 定理关于内同态模的同伦论证明，并通过 Tate 构造的 Picard 群重新诠释了 Benson-Iyengar-Krause 对局部化子范畴分类中的一个关键步骤，该分类基于射影空间的分层结构。

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.

研究动机与目标

• 通过结构化环谱与下降理论，提供 Dade 对阿贝尔 $p$-群的内同态模分类的同伦论证明。
• 通过 Tate 构造的 Picard 群，将 Benson-Iyengar-Krause 对局部化子范畴的分类重新诠释为与射影空间几何的关系。
• 为秩为 $n$ 的阿贝尔 $p$-群的稳定模范畴建立一个 $ m\text{\textsterling}$-范畴伽罗瓦扩张结构，其伽罗瓦群为 $ m\text{\textsterling}^n$。
• 证明阿贝尔 $p$-群的 Tate 构造 $k^{tG}$ 的 Picard 群由单位的悬垂生成，从而确认 Dade 定理。

提出的方法

• 在特征为 $p$ 的域上，对秩为 $n$ 的阿贝尔 $p$-群 $G$ 的 $G$-表示的 $ m\text{\textsterling}$-范畴上构造一个连续的 $ m\text{\textsterling}^n$-作用。
• 利用 $ m\text{\textsterling}$-范畴化增强，将稳定模范畴 $ m{StMod}_G$ 识别为 Tate 构造 $k^{tG}$ 上的谱模范畴。
• 利用 $BG$ 的上同调结构，建立一个伽罗瓦群为 $ m\text{\textsterling}^n$ 的 $ m\text{\textsterling}$-环谱的伽罗瓦扩张 $k^{t\rm\text{\textsterling}^n} \to k^{tG}$。
• 应用下降理论，证明限制与扩张标量函子在局部化子范畴上诱导互逆同构，利用可下降代数与谱序列。
• 利用 $k^{h\rm\text{\textsterling}^n}$ 的分层结果，通过 $ m{gr}^*\pi_*(k^{t\rm\text{\textsterling}^n})$ 中的齐次素理想（排除无关理想）对 $ m{StMod}_G$ 的局部化子范畴进行分类。
• 利用映射 $k^{t\rm\text{\textsterling}^n} \to k^{tG}$ 是忠实伽罗瓦扩张的事实，推导出 $ m{Loc}(k^{tG}) \to \rm{Loc}(k^{t\rm\text{\textsterling}^n})$ 是同构。

实验结果

研究问题

• RQ1 如何利用同伦论方法计算阿贝尔 $p$-群的稳定模范畴的 Picard 群？
• RQ2 环面 $ m\text{\textsterling}^n$ 在组织秩为 $n$ 的阿贝尔 $p$-群的稳定模范畴中起什么作用？
• RQ3 Dade 对内同态模的分类能否在结构化环谱的背景下，通过伽罗瓦下降重新导出？
• RQ4 稳定模范畴的局部化子范畴结构如何通过 Tate 构造的同伦群与射影空间的几何相关联？
• RQ5 伽罗瓦扩张 $k^{t\rm\text{\textsterling}^n} \to k^{tG}$ 在多大程度上诱导了局部化子范畴上的等价？

主要发现

• 秩为 $n$ 的阿贝尔 $p$-群 $G$ 的稳定模范畴 $ m{StMod}_G$ 同伦等价于 Tate 构造 $k^{tG}$ 上的 $ m\text{\textsterling}$-范畴谱模范畴，从而可应用同伦论方法。
• 在 $ m{StMod}_G$ 上构造了一个连续的 $ m\text{\textsterling}^n$-作用，其同伦固定点范畴为 $k^{t\rm\text{\textsterling}^n}$ 上的 $ m\text{\textsterling}$-范畴谱模范畴。
• $k^{t\rm\text{\textsterling}^n} \to k^{tG}$ 是一个伽罗瓦群为 $ m\text{\textsterling}^n$ 的忠实伽罗瓦扩张，满足 Rognes 理论的条件。
• $ m{StMod}_G$ 的 Picard 群由悬垂 $ m{\textsterling}^i k$ 生成，通过同伦论下降方法确认了 Dade 定理。
• $ m{StMod}_G$ 的局部化子范畴与 $ m{\textsterling}^{n-1}_k$（即 $ m{gr}^*\pi_*(k^{t\rm\text{\textsterling}^n})$ 中不包含无关理想的齐次素理想集合）之间存在双射。
• 标量限制函子 $ m{Mod}(k^{t\rm\text{\textsterling}^n}) \to \rm{Mod}(k^{tG})$ 在 $ m{Loc}$ 上诱导同构，通过下降理论恢复了 Benson-Iyengar-Krause 的分类结果。