[論文レビュー] A local Grothendieck duality theorem for Cohen-Macaulay ideals

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

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

ひとこと要約

この論文は、複素解析的幾何におけるコhen-Macaulayイデアルに対する局所グロテンディーク双対性定理の、ヒロナカの特異点解消を用いない新しい証明を提示する。自由分解を用いて残留コホモロジーを構成し、$\one$-コホモロジー的技法を用いることで、残留コホモロジーの annihilator イデアルが元のイデアルに一致することを示し、古典的双対性結果をコhen-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.

研究の動機と目的

• ヒロナカの特異点解消定理に依存せずに、コhen-Macaulayイデアルに対する局所グロテンディーク双対性定理の新しい証明を提供すること。
• 与えられたコhen-Macaulayイデアルを正確に消滅させる半明示的な残留コホモロジーを構成すること。
• イデアルの自由分解を用いて、パッサールのコホモロジー的残留構成をコhen-Macaulay設定に一般化すること。
• 残留コホモロジーを用いた annihilator イデアルの特徴付けとしての双対性定理を確立すること。
• コホモロジー的実現として、コホモロジー的残留コホモロジーをコhen-Macaulayの場合に拡張すること、コールフ・ヘララ積へと一般化する。

提案手法

• この手法は、$\mathcal{J}$ をコhen-Macaulayイデアルとするとき、商環 $\nolimits_{0}/\mathcal{J}$ の最小自由分解を用いて残留コホモロジーを構成する。
• 分解から二重複体を定義し、$\nolimits$-閉性を満たす形式を用いて $\one$-複体を用いてコホモロジーを定義する。
• 残留コホモロジーは、特異点解消を必要としない、適切な経路に沿った積分の極限として実現される。
• $\nolimits$-閉形式が codimension $>1$ の解析的集合を越えて拡張可能であるというハルトゴスの現象の変種を用いる。
• 分解複体上の $\nolimits$-閉性の議論により、$\varphi$ が残留コホモロジーを消滅させるならば、$\nabla v = \varphi$ なる解 $v$ が存在することを示す。
• 鍵となるステップは、近傍で $\nolimits u = v_p$ を解き、残留コホモロジーの消滅を用いて解を分解の逆方向に伝搬させることである。

実験結果

リサーチクエスチョン

• RQ1 コhen-Macaulayイデアルに対する局所グロテンディーク双対性定理は、ヒロナカの特異点解消定理を用いずに証明可能か？
• RQ2 コhen-Macaulayの場合における残留コホモロジーの明示的コホモロジー的構造は何か？
• RQ3 残留コホモロジーの annihilator イデアルは、元のイデアルの観点からどのように特徴付けられるか？
• RQ4 残留コホモロジーは、古典的グロテンディーク残留およびコールフ・ヘララ積をどのように一般化するか？
• RQ5 残留コホモロジーは自由分解と $\nolimits$-コホモロジー的技法を用いて明示的に実現可能か？

主な発見

• この論文は、ヒロナカの特異点解消定理を用いない、コhen-Macaulayイデアルに対する局所グロテンディーク双対性定理の新しい証明を提供する。
• 残留コホモロジーはイデアルの自由分解を用いて構成され、その annihilator イデアルが正確に元のイデアル $\mathcal{J}$ に一致することが示された。
• 完全交差の場合にはパッサールのコホモロジー的残留と一致し、コホモロジー的残留をコhen-Macaulay設定に一般化した。
• この手法により、分解複体と $\nolimits$-コホモロジーを通じて、残留コホモロジーの半明示的実現が得られた。
• 証明は、$\nolimits$-閉形式が解析的集合を越えて拡張可能であるというハルトゴスの現象の変種に依存しており、$\nolimits v = \varphi$ なる解の構成を可能にする。
• annihilator 条件 $\varphi \cdot \operatorname{Res}_f = 0$ は $\varphi \in \mathcal{J}$ を含意し、コホモロジー的残留コホモロジーの双対性をコホモロジー的残留コホモロジーの観点から確立した。