[论文解读] A @-THEORETICAL PROOF OF HARTOGS' EXTENSION THEOREM ON STEIN SPACES WITH ISOLATED SINGULARITIES

Jean Ruppenthal|arXiv (Cornell University)|Mar 3, 2008

Algebraic Geometry and Number Theory参考文献 12被引用 14

一句话总结

本文通过利用Takegoshi对Grauert-Riemenschneider消去定理的推广，基于@-理论，对具有孤立奇点的Stein空间给出了Hartogs扩张定理的证明。通过∂-技巧，建立了H¹_cpt(M, O) = 0，从而在这些空间中将全纯函数延拓到余维数≥2的紧致解析子集上。

ABSTRACT

Abstract. Let X be a connected normal complex space of dimension n ≥ 2 which is (n − 1)-complete, and let π: M → X be a resolution of singularities. By use of Takegoshi’s generalization of the Grauert-Riemenschneider vanishing theorem, we deduce H 1 cpt(M, O) = 0, which in turn implies Hartogs ’ extension theorem on X by the ∂-technique of Ehrenpreis. 1.

研究动机与目标

• 通过上同调方法，建立具有孤立奇点的正规复空间上的Hartogs扩张定理。
• 证明在奇异Stein空间X的解析化解M上，紧支集上同调群H¹_cpt(M, O)的消去性。
• 应用Takegoshi对Grauert-Riemenschneider消去定理的推广，推导出上同调消去结果。
• 通过∂-技巧与奇点解析化解，将经典Hartogs定理推广至奇异复空间。
• 为具有奇点的复几何中的扩张定理提供一种新的上同调框架。

提出的方法

• 对维数n ≥ 2的正规复空间X，采用奇点解析化解π: M → X。
• 在解析化解M上应用Takegoshi对Grauert-Riemenschneider消去定理的推广。
• 利用X的(n−1)-完备性及消去定理的上同调后果，推导出H¹_cpt(M, O)的消去性。
• 运用Ehrenpreis的∂-技巧，推导出在余维数≥2的紧致解析子集上实现全纯函数的延拓。
• 利用X的正规性与(n−1)-完备性，确保延拓所需的上同调条件。
• 通过一阶紧支集上同调的消去性，确立延拓性质。

实验结果

研究问题

• RQ1 能否通过上同调方法将Hartogs扩张定理推广至具有孤立奇点的正规复空间？
• RQ2 对于维数n ≥ 2的(n−1)-完备正规Stein空间的解析化解，H¹_cpt(M, O)是否成立？
• RQ3 Takegoshi对Grauert-Riemenschneider消去定理的推广在奇异复几何中可应用到何种程度？
• RQ4 Ehrenpreis的∂-技巧如何在孤立奇点存在的情况下促进全纯函数的延拓？
• RQ5 何种上同调条件能确保Hartogs现象在奇异Stein空间上的有效性？

主要发现

• 对于维数n ≥ 2的(n−1)-完备正规复空间X的解析化解M，紧支集上同调群H¹_cpt(M, O)消去。
• H¹_cpt(M, O)的消去性源于将Takegoshi对Grauert-Riemenschneider消去定理的推广应用于解析化解π: M → X。
• Ehrenpreis的∂-技巧使我们能够从上同调消去结果推导出X上的Hartogs扩张定理。
• 该扩张定理适用于在X去掉一个余维数≥2的紧致解析子集后定义的全纯函数。
• 该结果通过解析化解与上同调工具，将经典Hartogs定理推广至具有孤立奇点的奇异复空间。
• 该证明建立了一个用于具有奇点的复几何中扩张定理的@-理论框架。