[论文解读] A supplement to a theorem of Merker and Porten: a short proof of Hartogs' extension theorem for $(n-1)$-complete complex spaces

Mihnea Colţoiu|ArXiv.org|Nov 14, 2008

Algebraic Geometry and Number Theory参考文献 11被引用 5

一句话总结

本文使用奇点的解析化方法和Takegoshi的相对消去定理，通过$\bar{\partial}$-方法，为上同调$(n-1)$-完备复空间提供了Hartogs扩张定理的1页简洁证明。当$D\setminus K$连通时，它证明了$D\setminus K$上的全纯函数可延拓至$D$，将先前结果推广至奇异空间，且无需依赖Morse理论或冗长的上同调工具。

ABSTRACT

We give a short proof for the Hartogs's extension theorem on (n-1)-complete complex spaces.

研究动机与目标

• 为上同调$(n-1)$-完备复空间提供Hartogs扩张定理的简短、自包含证明。
• 将经典的Hartogs定理从光滑流形推广至奇异复空间，同时最小化技术复杂度。
• 避免先前工作中依赖的冗长Morse理论或$\bar{\partial}$-上同调论证。
• 展示Takegoshi的相对消去定理在奇异复几何中的适用性。

提出的方法

• 对正规复空间$X$使用奇点解析化$\pi: \tilde{X} \to X$。
• 应用Takegoshi的消去定理，证明$R^i\pi_*K_{\tilde{X}} = 0$对$i \geq 1$成立，从而推出上同调群的同构。
• 利用$X$的上同调$(n-1)$-完备性，推导出$H^i(X, \pi_*K_{\tilde{X}}) = 0$对$i \geq n-1$成立，因此$H^i(\tilde{X}, K_{\tilde{X}}) = 0$对$i \geq n-1$成立。
• 利用Serre对偶性，得出紧支上同调$H^1_c(\tilde{X}, \mathcal{O}_{\tilde{X}}) = 0$。
• 引用Ehrenpreis（及H"{o}rmander）的结果，结合$\bar{\partial}$-方法完成证明。

实验结果

研究问题

• RQ1 能否在不依赖Morse理论的前提下，使用$\bar{\partial}$-方法证明奇异$(n-1)$-完备复空间的Hartogs扩张定理？
• RQ2 Takegoshi的相对消去定理是否能促成奇异复几何中扩张定理的更短证明？
• RQ3 扩张性质是否可在上同调$(n-1)$-完备性而非$q$-完备性下成立？
• RQ4 当$D\setminus K$连通且$X$为上同调$(n-1)$-完备复空间时，$D\setminus K$上的全纯函数是否必然可延拓至$D$？
• RQ5 能否有效利用$X$的正规性及同构关系$\pi_*\mathcal{O}_{\tilde{X}} = \mathcal{O}_X$，将扩张性质从解析化空间传递至原空间？

主要发现

• 本文证明：当$X$为上同调$(n-1)$-完备复空间，$D \subset X$为开集，且$D\setminus K$连通时，$D\setminus K$上的任意全纯函数均可延拓至$D$。
• 证明依赖于$H^1_c(\tilde{X}, \mathcal{O}_{\tilde{X}}) = 0$的消失性，该结论由Takegoshi定理与Serre对偶性推出。
• 该方法无需假设$D$相对紧致，从而推广了早期结果。
• 通过使用奇点解析化与已知消失定理，避免了Merker与Porten所用的50页技术性证明。
• 结果适用于具有奇点的正规复空间，将Hartogs定理推广至非光滑情形。
• 关键洞见在于$\pi_*\mathcal{O}_{\tilde{X}} = \mathcal{O}_X$使得可将$\tilde{X}$上的全纯函数提升至$X$。