[论文解读] Annihilation of cohomology and strong generation of module categories

Srikanth B. Iyengar, Ryo Takahashi|arXiv (Cornell University)|Apr 5, 2014

Algebraic structures and combinatorial models参考文献 33被引用 5

一句话总结

本文建立了诺特环模范畴中上同调消去子与强生成性之间的深层联系。证明了对于优秀局部环以及域上有限型的环，若存在一个包含非零因子的上同调消去子，则其有界导出范畴具有强有限生成性，推广了Rouquier、Keller–Van den Bergh以及Aihara–Takahashi的先前结果。

ABSTRACT

The cohomology annihilator of a noetherian ring that is finitely generated as a module over its center is introduced. Results are established linking the existence of non-trivial cohomology annihilators and the existence of strong generators for the category of finitely generated modules. Exploiting this link, results of Popescu and Roczen, and Wang concerning cohomology annihilators of commutative rings, and also results of Aihara and Takahashi, Keller and Van den Bergh, and Rouquier on strong finite generation of the corresponding bounded derived category, are generalized to cover excellent local rings and also rings essentially of finite type over a field.

研究动机与目标

• 阐明诺特环模范畴中上同调消去子与强生成性之间的关系。
• 将现有关于导出范畴强生成性的结果推广至优秀局部环以及域上有限型的环。
• 利用上同调消去子，建立环的奇异集为闭集的条件。
• 提供一个统一的框架，连接导出范畴中上同调消失与生成性质。
• 将Popescu–Roczen、Wang、Aihara–Takahashi、Keller–Van den Bergh以及Rouquier的结果推广至更广泛的环类。

提出的方法

• 引入上同调消去子理想 $\mathsf{ca}(\Lambda)$，定义为所有有限生成 $\Lambda$-模 $M,N$ 的 $\operatorname{Ext}^n_\Lambda(M,N)$ 的消去子的交集。
• 将 $\operatorname{mod}\Lambda$ 中的强生成元定义为一个模 $G$，使得每个模都存在一个滤子，其商模属于 $\operatorname{add} G$，且其 $G$ 的一个挠化模。
• 利用诺特不同与局部对偶性，将上同调消去子与奇异集 $\operatorname{Sing}\Lambda$ 联系起来。
• 应用三角范畴理论中的结果，特别是 $\mathsf{D}_{\rm sg}(\Lambda)$ 与 $\mathsf{D}^b(\operatorname{mod}\Lambda)$ 中的厚子范畴与生成性。
• 证明当 $\Lambda$ 具有参数为 $s$ 的强生成元时，有 $\mathcal{V}(\mathsf{ca}^{s+d+1}(\Lambda)) = \operatorname{Sing}\Lambda$，其中 $d$ 为奇异集外全局维数的上确界。
• 利用已知的导出范畴生成性与上同调消去子结果，证明了对等特征的优秀局部环及域上有限型代数，$\mathsf{D}^b(R)$ 具有强有限生成性。

实验结果

研究问题

• RQ1 在什么条件下，上同调消去子理想 $\mathsf{ca}(\Lambda)$ 包含一个非零因子？这对其奇异集 $\Lambda$ 有何含义？
• RQ2 在 $\operatorname{mod}\Lambda$ 中强生成元的存在性如何与上同调消去子的结构相关？
• RQ3 能否通过上同调消去子，为优秀局部环及域上有限型代数建立 $\mathsf{D}^b(R)$ 的强有限生成性？
• RQ4 $\mathsf{ca}^n(\Lambda)$ 与奇异集 $\operatorname{Sing}\Lambda$ 之间的精确关系是什么？
• RQ5 关于导出范畴强生成性的结果，能在多大程度上推广至已知的完美域与完备局部环之外的情形？

主要发现

• 对于一个有限生成于其中心的诺特环 $\Lambda$，若 $\operatorname{mod}\Lambda$ 具有参数为 $s$ 的强生成元，则 $\mathcal{V}(\mathsf{ca}^{s+d+1}(\Lambda)) = \operatorname{Sing}\Lambda$，其中 $d = \sup\{\operatorname{gldim}\Lambda_\mathfrak{p} \mid \mathfrak{p} \notin \operatorname{Sing}\Lambda\}$。
• 对于任意等特征的优秀局部环 $R$ 或域上有限型的环，其导出范畴 $\mathsf{D}^b(R)$ 具有强有限生成性。
• 该结果推广了Rouquier（对完美域）、Keller–Van den Bergh（对一般域）以及Aihara–Takahashi（对具有完美剩余域的完备局部环）的早期工作。
• 在例子 $R = k[[x,y,z,w]]/(x^2 - y^2, y^2 - z^2, z^2 - w^2)$ 中，元素 $xyz$ 是 $\mathsf{ca}^2(R)$ 中的非零因子，且 $\dim \mathsf{D}^b(R) \geq 2$，与余维数条件一致。
• 对于域 $R = k[[t^{16}, t^{17}, t^{18}, t^{20}, t^{24}]]$，有 $t^{64}R \subseteq \mathsf{ca}^2(R)$ 且 $\dim \mathsf{D}^b(R) \geq 3$，表明更高阶的上同调消去子可对应更高维的导出范畴。
• 本文证明了当 $a \in \mathsf{ca}^n(\Lambda)$ 为非零因子时，$\mathsf{D}^b(\Lambda)$ 可分解为 $a$-挠复形子范畴与 $\operatorname{thick}^n_\mathsf{D}(\Lambda)$ 的乘积，从而建立了上同调消去与导出范畴分解之间的直接结构联系。