[论文解读] Extension of holomorphic functions defined on non reduced analytic subvarieties

Jean-Pierre Demailly|arXiv (Cornell University)|Oct 18, 2015

Geometry and complex manifolds参考文献 19被引用 34

一句话总结

本文将 Ohsawa-Takegoshi $L^2$ 扩展定理推广至由乘子理想层定义的非约解析子簇，利用 $L^2$ 估计与曲率条件，证明具有弱半正性的向量丛全纯截面的限制映射的满射性。关键贡献在于针对具有对数可去奇点的非约子簇，获得了最优曲率条件与精确的 $L^2$ 估计。

ABSTRACT

The goal of this contribution is to investigate L${}^2$ extension properties for holomorphic sections of vector bundles satisfying weak semi-positivity properties. Using techniques borrowed from recent proofs of the Ohsawa-Takegoshi extension theorem, we obtain several new surjectivity results for the restriction morphism to a non necessarily reduced subvariety, provided the latter is defined as the zero variety of a multiplier ideal sheaf. These extension results come with precise L${}^2$ estimates and (probably) optimal curvature conditions.

研究动机与目标

• 将 Ohsawa-Takegoshi $L^2$ 扩展定理推广至由乘子理想层定义的非约解析子簇。
• 建立从向量丛全局全纯截面到非约子簇上截面的限制态射的满射性。
• 在弱半正性和曲率条件下，推导全纯截面扩展的精确 $L^2$ 估计。
• 证明扩展的最优曲率条件，特别是在对数可去奇点情形下。
• 通过正则化技术处理奇异度量，同时控制曲率损失。

提出的方法

• 使用 Hörmander 理论中的 $L^2$ 估计以及 Ohsawa-Takegoshi 定理的近期证明。
• 应用与具有良好解析奇点的拟 plurisubharmonic 函数 $\psi$ 相关的乘子理想层 ${\cal I}(\psi)$ 理论。
• 采用乘子理想滤链 ${{\cal I}}(m_p\psi)$，并通过加权 $e^{-m_p\psi}$ 的 $\overline{\partial}$-方程构造解。
• 使用正则化技术将奇异度量替换为具有解析奇点的度量，同时保持乘子理想不变并控制曲率损失。
• 通过子簇余维数的归纳法，将问题约化至余维数为一的情形，并应用消影定理。
• 依赖于开性猜想及其推论，以确保正则化过程中乘子理想保持不变。

实验结果

研究问题

• RQ1 Ohsawa-Takegoshi $L^2$ 扩展定理能否推广至由乘子理想层定义的非约子簇？
• RQ2 对于具有对数可去奇点的非约子簇，$L^2$ 扩展的最优曲率条件是什么？
• RQ3 当子簇非约且奇异时，如何控制扩展的 $L^2$ 范数？
• RQ4 在弱半正性条件下，能否证明从全局全 holomorphic 截面到非约子簇上截面的限制态射是满射？
• RQ5 奇异度量的正则化技术在保持扩展估计与乘子理想方面起什么作用？

主要发现

• 在给定的曲率与增长条件下，从 $H^0(X, {\cal O}_X(K_X \otimes E) \otimes {\cal I}(m_p\psi))$ 到非约子簇 $Y^{(m_p)}$ 上截面的限制态射是满射。
• 扩展满足精确的 $L^2$ 估计，常数仅依赖于周围流形的曲率与几何。
• 获得了最优曲率条件，即使在向量丛上度量存在奇点的情况下，只要曲率在当前量意义下从下方有界，结果依然成立。
• 证明依赖于开性猜想与奇异度量的正则化，确保乘子理想不变的同时控制曲率损失。
• 对于线丛，可通过将奇异 Hermitian 度量替换为具有解析奇点的正则化度量，并利用扰动项吸收曲率损失，将方法推广至奇异度量情形。
• 在 $\overline{\partial}$-问题中，误差项在参数 $t \to -\infty$ 时于 $L^2$ 范数下趋于零，从而保证收敛至全局全纯截面。