[论文解读] Classifying thick subcategories of the stable category of Cohen-Macaulay modules

Ryo Takahashi|arXiv (Cornell University)|Aug 2, 2009

Algebraic structures and combinatorial models参考文献 38被引用 10

一句话总结

本文通过在奇点集内的素理想谱的专属性闭子集，对 Gorenstein 局部环上的 Cohen-Macaulay 模的稳定范畴中的厚子范畴进行了完整的分类，尤其针对局部超曲面情形。关键结果是该稳定范畴的厚子范畴与这些专属性闭子集之间的一一对应关系，将 Benson、Carlson 和 Rickard 早期在有限 p-群情形下的结果推广到了高维情形。

ABSTRACT

Various classification theorems of thick subcategories of a triangulated category have been obtained in many areas of mathematics. In this paper, as a higher-dimensional version of the classification theorem of thick subcategories of the stable category of finitely generated representations of a finite $p$-group due to Benson, Carlson and Rickard, we consider classifying thick subcategories of the stable category of Cohen-Macaulay modules over a Gorenstein local ring. The main result of this paper yields a complete classification of the thick subcategories of the stable category of Cohen-Macaulay modules over a local hypersurface in terms of specialization-closed subsets of the prime ideal spectrum of the ring which are contained in its singular locus.

研究动机与目标

• 将三角范畴中厚子范畴的分类推广至高维情形，特别是 Gorenstein 局部环上的 Cohen-Macaulay 模。
• 将 Benson、Carlson 和 Rickard 的分类结果——最初针对有限 p-群——推广至高维环，特别是局部超曲面情形。
• 建立 Cohen-Macaulay 模的稳定范畴的厚子范畴与包含在奇点集内的素谱的专属性闭子集之间的一一对应关系。
• 为 Cohen-Macaulay 模的稳定范畴中的厚子范畴定义并利用合适的支撑理论。

提出的方法

• 本文使用 Gorenstein 局部环上 Cohen-Macaulay 模的稳定范畴，记为 $\underline{\mathrm{CM}}(R)$，当 $R$ 为 Gorenstein 时该范畴是三角范畴。
• 引入一个支撑映射 $\underline{\mathrm{Supp}}$，将每个厚子范畴映射到 $\operatorname{Spec}R$ 的一个专属性闭子集，且该子集包含在奇点集 $\operatorname{Sing}R$ 内。
• 通过支撑映射与逆支撑映射，建立 $\underline{\mathrm{CM}}(R)$ 的厚子范畴与 $\operatorname{Spec}R$ 中包含在 $\operatorname{Sing}R$ 内的专属性闭子集之间的一一对应关系，从而实现分类。
• 本文利用解析子范畴及其通过 Zariski 拓扑关联的闭子集的理论，特别使用了模 $M$ 的零化理想 $\mathcal{V}(M)$。
• 证明了由单个对象生成的厚子范畴恰好对应于 $\operatorname{Spec}R$ 中包含在 $\operatorname{Sing}R$ 内的闭子集，将代数生成与拓扑闭包联系起来。
• 主要技术工具包括使用 syzygies $\Omega^n M$、在元素 $f_i$ 处的局部化，以及模在局部化 $R_f$ 上的行为。

实验结果

研究问题

• RQ1 如何在高维情形下对 Gorenstein 局部环上 Cohen-Macaulay 模的稳定范畴的厚子范畴进行分类？
• RQ2 厚子范畴 $\underline{\mathrm{CM}}(R)$ 与环 $R$ 的素理想谱子集之间的确切关系是什么？
• RQ3 Benson、Carlson 和 Rickard 对群表示的分类结果能否推广至高维奇点环（如局部超曲面）？
• RQ4 在什么条件下，$\underline{\mathrm{CM}}(R)$ 的厚子范畴对应于 $\operatorname{Spec}R$ 的专属性闭子集（且该子集包含在 $\operatorname{Sing}R$ 内）？
• RQ5 奇点集 $\operatorname{Sing}R$ 在决定稳定范畴中厚子范畴结构方面起什么作用？

主要发现

• 对于一个抽象的超曲面局部环 $R$，通过支撑映射 $\underline{\mathrm{Supp}}$，$\underline{\mathrm{CM}}(R)$ 的厚子范畴与 $\operatorname{Spec}R$ 中包含在 $\operatorname{Sing}R$ 内的专属性闭子集之间存在一一对应关系。
• 由单个对象生成的 $\underline{\mathrm{CM}}(R)$ 的厚子范畴与 $\operatorname{Spec}R$ 中包含在 $\operatorname{Sing}R$ 内的闭子集之间存在双射关系，如引理 2 所示的等价关系。
• 逆支撑映射 $\mathcal{V}_{\mathrm{CM}}^{-1}$ 将一个专属性闭子集 $W \subseteq \operatorname{Sing}R$ 映射到 $\operatorname{mod}R$ 的一个解析子范畴，该子范畴由满足对所有 $f$ 属于定义 $W$ 的理想的根都有 $X_f$ 在 $R_f$ 上为投射模的 Cohen-Macaulay 模 $X$ 构成。
• 该对应关系可推广至 $d$-维 Gorenstein 奇点局部环，只要该环在去心谱上局部为超曲面，且厚子范畴包含 $\Omega^d k$（剩余域的 $d$-阶 syzygy）。
• $\mathcal{Y}$ 的支撑，记为 $\underline{\mathrm{Supp}}(\mathcal{Y})$，是 $\operatorname{Spec}R$ 的一个专属性闭子集，且包含在 $\operatorname{Sing}R$ 内，该对应关系是双射。
• 该分类与局部化相容：对任意模 $M$，集合 $\mathcal{V}(M)$ 在 $\operatorname{Spec}R$ 中是闭的，且 $\mathcal{V}(\operatorname{res}M) = \mathcal{V}(M)$，这确保了该对应关系在代数运算下表现良好。