Tensor triangular geometry -- Notes for an Oberwolfach Seminar

技术摘要：Oberwolfach 研讨会的张量三角几何笔记

问题与范围
本文旨在对模表示论中出现的三角范畴（特别是与有限群相关的范畴）内的厚张量理想和局部化张量理想进行分类。核心问题是通过一个适当的拓扑空间建立这些范畴的“分层”（stratification），从而将子范畴的全局分类问题转化为局部问题。作者 Henning Krause 发展了一个统一的支撑理论框架，该框架适用于两种主要情形：配备有幺半（张量）结构的三角范畴，以及 admit 一个分次交换环作用的三角范畴。最终目标是通过计算其支撑来对这些子范畴进行分类，特别关注有限群模表示的导出范畴。

方法论
方法论依赖于格理论、局部上同调以及素理想谱几何之间的相互作用。其方法结构如下：

1. 厚子范畴的格：作者首先确立了厚子范畴的格结构。引入的一个关键概念是厚子范畴对之间的“交换性”，该概念通过态射的分解或局部化函子的同构（$\Gamma_U \Gamma_V \cong \Gamma_{U \cap V}$）来定义。研究表明，中心子范畴（即与所有其他子范畴交换的那些）构成一个分配子格，并且在某些条件下构成一个框架（frame）。
2. 通过中心作用的支撑：本文引入了由分次交换环 $R$ 作用的三角范畴 $\mathcal{T}$ 中对象的上同调支撑。支撑定义为素理想集合 $\mathfrak{p} \in \text{Spec } R$，使得局部化 $x_{\mathfrak{p}}$ 非零。作者利用 Koszul 对象（$x//r$）构造与理想 $\mathfrak{a} \subseteq R$ 相关联的中心厚子范畴 $T_{V(\mathfrak{a})}$。
3. 局部上同调与纤维化范畴：对于紧生成的三角范畴，该理论利用支撑在空间 $X$ 的局部闭子集 $Y$ 上的局部上同调函子 $\Gamma_Y$ 进行了扩展。如果存在从 $X$ 的开子集到紧对象厚子范畴的格同态，则称该范畴在 $X$ 上是“纤维化”的。这允许通过局部上同调函子 $\Gamma_{\mathfrak{p}}(x)$ 的非零性来定义任意对象的支撑。
4. 分层：如果一个范畴满足局部 - 全局原理（每个局部化子范畴都是其局部分量的并）以及极小性条件（局部分量中不存在非零的真局部化子范畴），则称该范畴为“分层”的。在分层条件下，从局部化子范畴到谱的子集的映射成为格同构。
5. 支撑的比较：本文比较了通过环作用得到的上同调支撑与通过 Balmer 谱得到的张量三角支撑。构造了一个比较映射 $\rho_T: \text{Spc } \mathcal{T}^c \to \text{Spec } R$，并确立了该映射为同胚的条件，从而将两种支撑理论联系起来。

主要贡献与结果

• 一般分层理论：本文提供了一个一般准则（命题 4.15, 4.18），用于判定刚性紧生成的张量三角范畴是否分层。它证明了分层等价于支撑映射在局部化张量理想与谱的子集之间诱导格同构。
• 微分分次（DG）代数：该理论被应用于 DG 代数。定理 5.1 确立了：如果 $A$ 是一个形式 DG 代数且其上同调 $H^*(A)$ 是诺特的，那么 $D(A)$ 通过标准的 $H^*(A)$ 作用进行分层。
• 初等阿贝尔 $p$-群：利用 Bernstein–Gelfand–Gelfand (BGG) 对应关系的 DG 版本，本文对初等阿贝尔 $p$-群群代数的厚张量理想进行了分类。结果表明，上同调支撑在上同调环谱的 Thomason 子集与厚张量理想之间诱导了一个格同构（定理 5.9）。
• 有限群（厚理想）：通过将问题约化为群上同调的 Quillen 分层中的初等阿贝尔子群，本文对任意有限群 $G$ 的有限生成模有界导出范畴中的厚张量理想进行了分类（定理 5.14）。该分类由 $H^*(G, k)$ 上的上同调支撑给出。
• 有限群（局部化理想）：结果被扩展到紧生成范畴 $K(\text{Inj } kG)$（内射模复形的同伦范畴）。定理 6.17 确立了 $K(\text{Inj } kG)$ 通过 $H^*(G, k)$ 的作用进行分层，从而通过 $\text{Spec } H^*(G, k)$ 的子集对局部化张量理想进行了完整分类。
• 稳定模范畴：作为推论，稳定模范畴 $\text{StMod } kG$ 被证明通过射影谱 $\text{Proj } H^*(G, k)$ 进行分层（注记 6.18）。

意义与主张
本文声称提供了一个全面的框架，用于理解模表示论中三角范畴的结构。其主要意义在于群上同调 Quillen 分层的“范畴化”。通过确立模表示的导出范畴是分层的，本文证明了厚张量理想和局部化张量理想的分类完全由群的上同调环决定。

作者指出，这些笔记并非详尽无遗，而是设计为自包含的，专门发展必要的概念（如厚子范畴的格、中心作用和局部上同调），以促进在模表示论中的应用。这项工作建立在 Quillen、Benson、Carlson、Rickard、Neeman 和 Balmer 的基础成果之上，将它们综合为统一的支撑与分层理论。结果证实，对于有限群，支配张量三角几何的“谱”正是群上同调环的谱。