[论文解读] Grothendieck topologies and ideal closure operations

Holger Brenner|ArXiv.org|Dec 16, 2006

Commutative Algebra and Its Applications参考文献 36被引用 6

一句话总结

本文在交换代数中的理想与子模的闭包运算与仿射概形上的格罗滕迪克拓扑之间建立了范畴等价关系。它表明，每种闭包运算——如根号、整闭包、弗罗贝尼乌斯闭包和加号闭包——自然地可视为相应格罗滕迪克拓扑下的层化过程，从而通过层论和整体截面赋予这些代数构造上同调与几何结构。

ABSTRACT

We relate closure operations for ideals and for submodules to non-flat Grothendieck topologies. We show how a Grothendieck topology on an affine scheme induces a closure operation in a natural way, and how to construct for a given closure operation fulfilling certain properties a Grothendieck topology which induces this operation. In this way we relate the radical to the surjective topology and the constructible topology, the integral closure to the submersive topology, to the proper topology and to Voevodsky's h-topology, the Frobenius closure to the Frobenius topology and the plus closure to the finite topology. The topologies which are induced by a Zariski filter yield the closure operations which are studied under the name of hereditary torsion theories. The Grothendieck topologies enrich the corresponding closure operation by providing cohomology theories, rings of global sections, concepts of exactness and of stalks.

研究动机与目标

• 在仿射概形上通过格罗滕迪克拓扑统一交换代数中多种多样的闭包运算（如根号、整闭包、弗罗贝尼乌斯闭包与加号闭包），建立一个共同的几何框架。
• 证明满足特定公理的每种闭包运算均可作为在 Spec(R) 上唯一关联的格罗滕迪克拓扑下的层化过程。
• 通过上同调工具、整体截面环以及层论概念（如正合性与茎）来扩展经典闭包概念。
• 将已知的闭包运算与既有的拓扑联系起来：例如，整闭包对应于浸入拓扑与 h-拓扑，弗罗贝尼乌斯闭包对应于弗罗贝尼乌斯拓扑，根号对应于满射拓扑与构造子集拓扑。
• 通过 Zariski 滤子与理想之逆向系统，将挠理论与闭包构造推广至格罗滕迪克拓扑设定，将代数闭包与层论的饱和性联系起来。

提出的方法

• 通过在 X = Spec(R) 上的格罗滕迪克拓扑中进行层化来定义理想或子模上的闭包运算：s ∈ M 属于 N 的闭包当且仅当 θ(s) 属于层化子模的整体截面。
• 从给定的闭包运算构造格罗滕迪克拓扑：定义覆盖，使得子模中的局部成员关系蕴含其在闭包中的全局成员关系。
• 为已知的闭包运算关联特定拓扑：例如，整闭包对应于浸入拓扑，h-拓扑对应于加号闭包，弗罗贝尼乌斯闭包对应于弗罗贝尼乌斯拓扑。
• 利用绝对滤子与逆向系统理论，为乘法闭集 △ 的理想定义 △-拓扑，并证明其整体截面给出 R 的 △-闭包。
• 证明在 △-拓扑上结构层的整体截面环同构于 R△，即 R 的 △-闭包，通过在可逆扩张上的直接极限实现。
• 利用忠实平坦态射是纯的，且平坦层化本身已是层这一事实，确保如 Zariski 与 étale 等标准拓扑不会改变闭包运算。

实验结果

研究问题

• RQ1 如何系统地从仿射概形上的格罗滕迪克拓扑导出交换代数中的闭包运算？
• RQ2 哪些格罗滕迪克拓扑会诱导出经典的闭包运算，如根号、整闭包、弗罗贝尼乌斯闭包与加号闭包？
• RQ3 能否将闭包运算的构造重述为层化过程？这一过程为它们赋予了何种几何与上同调结构？
• RQ4 环 R 的 △-闭包与 △-拓扑上结构层的整体截面之间有何关系？
• RQ5 Zariski 滤子与理想之逆向系统如何生成实现遗传挠理论的格罗滕迪克拓扑？

主要发现

• 理想根号作为满射拓扑与构造子集拓扑下的层化结果出现，将代数零点性与拓扑覆盖联系起来。
• 整闭包对应于浸入拓扑、正规拓扑与弗沃多夫斯基的 h-拓扑，显示出其深刻的几何意义。
• 弗罗贝尼乌斯闭包由弗罗贝尼乌斯拓扑诱导，加号闭包由有限拓扑诱导，后者猜想等于紧致闭包。
• 对于诺特环 R 及其乘法闭集 △ 的理想，R 的 △-闭包同构于 △-拓扑上结构层的整体截面环。
• 对于包含非零因子的乘法闭集 △，△-拓扑的整体截面由直接极限 lim→Γ(XH, O)（H ∈ △）给出，且等于 R△。
• 该构造给出从 △-拓扑整体截面到任意环 S 的环同态，其中 △ 中的所有理想在 S 中均扩展为可逆理想，从而确立其普遍性质。