[论文解读] A local Grothendieck duality theorem for Cohen-Macaulay ideals

Johannes Lundqvist|arXiv (Cornell University)|Jan 23, 2012

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

一句话总结

本文提出了一种无需 Hironaka 除 singularity 的新证明，针对复解析几何中 Cohen-Macaulay 理想的局部 Grothendieck 对偶定理。通过利用自由解析列构造一个余 residue 电流，并运用 $\one$-上同调技巧，证明了该余 residue 电流的零化理想恰好等于原始理想，从而将经典对偶结果推广至 Cohen-Macaulay 情形，并给出了明确的上同调实现。

ABSTRACT

We give a new proof of a recent result due to Mats Andersson and Elizabeth Wulcan, generalizing the local Grothendieck duality theorem. It can also be seen as a generalization of a previous result by Mikael Passare. Our method does not require the use of the Hironaka desingularization theorem and it provides a semi-explicit realization of the residue that is annihilated by functions from the given ideal.

研究动机与目标

• 提供一种不依赖 Hironaka 除 singularity 定理的 Cohen-Macaulay 理想局部 Grothendieck 对偶定理的新证明。
• 构造一个半显式的余 residue 电流，其零化理想恰好为给定的 Cohen-Macaulay 理想。
• 通过理想的一个自由解析列，将 Passare 的上同调 residue 构造推广至 Cohen-Macaulay 设置。
• 通过余 residue 电流的零化理想刻画，建立一种对偶定理形式。
• 在 Cohen-Macaulay 情形中，提供余 residue 电流的上同调实现，扩展了 Coleff-Herrera 乘积。

提出的方法

• 该方法利用商环 $\nolimits_{0}/\mathcal{J}$ 的极小自由解析列构造余 residue 电流，其中 $\mathcal{J}$ 为 Cohen-Macaulay 理想。
• 从解析列构造一个双重复形，并利用 $\nolimits$-闭形式的性质，通过 $\one$-复形定义一个电流。
• 余 residue 电流被实现为沿容许路径的积分极限，避免了除 singularity 的需求。
• 证明使用 Hartogs 现象的一个变体，将 $\nolimits$-闭形式延拓至 codimension $>1$ 的解析集上。
• 在解析列复形上应用 $\nolimits$-闭性论证，证明若 $\varphi$ 零化余 residue，则方程 $\nabla v = \varphi$ 存在解。
• 关键步骤包括在邻域内求解 $\nolimits u = v_p$，并利用余 residue 的消失性，将解沿解析列向前传播。

实验结果

研究问题

• RQ1 Cohen-Macaulay 理想的局部 Grothendieck 对偶定理能否在不使用 Hironaka 除 singularity 定理的情况下得到证明？
• RQ2 在 Cohen-Macaulay 情形下，余 residue 电流的显式上同调结构是什么？
• RQ3 余 residue 电流的零化理想如何用原始理想来刻画？
• RQ4 余 residue 电流在何种意义上推广了经典 Grothendieck residue 与 Coleff-Herrera 乘积？
• RQ5 余 residue 电流能否通过自由解析列与 $\nolimits$-上同调技巧显式实现？

主要发现

• 本文提供了一种新的证明，避免使用 Hironaka 除 singularity 定理，证明了 Cohen-Macaulay 理想的局部 Grothendieck 对偶定理。
• 余 residue 电流通过理想的自由解析列构造，并将零化理想精确实现为原始理想 $\mathcal{J}$。
• 在完备交情形下，余 residue 电流与 Passare 的上同调 residue 一致，从而将其推广至 Cohen-Macaulay 设置。
• 该方法通过解析列复形与 $\nolimits$-上同调，实现了余 residue 电流的半显式表达。
• 证明依赖于 Hartogs 现象的一个变体，用于将 $\nolimits$-闭形式延拓至 codimension $>1$ 的解析集上，从而实现 $\nolimits v = \varphi$ 解的构造。
• 零化条件 $\varphi \cdot \operatorname{Res}_f = 0$ 蕴含 $\varphi \in \mathcal{J}$，从而在 Cohen-Macaulay 情形下确立了对偶性。