[论文解读] Extension of cohomology classes and holomorphic sections defined on subvarieties

Xiangyu Zhou, Langfeng Zhu|arXiv (Cornell University)|Sep 19, 2019

Geometry and complex manifolds参考文献 40被引用 4

一句话总结

本文建立了关于由具有任意奇点的拟 plurisubharmonic 函数的 multiplier 理想层定义的非约解析子簇上的上同调类与全纯截面的两个新延拓定理。通过引入一种新颖的权函数同时逼近方法以及在求解 $\bar{\partial}$-方程时的精细极限过程，作者证明了自然限制映射的单射性，解决了 Cao-Demailly-Matsumura 提出的问题，并推广了 Demailly 的 $L^2$ 延拓定理，实现了最优估计。

ABSTRACT

In this paper, we obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of quasi-plurisubharmonic functions with arbitrary singularities. The first result gives a positive answer to a question posed by Cao-Demailly-Matsumura, and unifies a few well-known injectivity theorems. The second result generalizes and optimizes a general $L^2$ extension theorem obtained by Demailly.

研究动机与目标

• 解决 Cao-Demailly-Matsumura 提出的关于由具有任意奇点的拟 plurisubharmonic 函数的 multiplier 理想层定义的解析子簇上上同调类延拓的问题。
• 通过在非约子簇上建立上同调类的新延拓结果，统一并推广复几何中现有的单射性定理。
• 通过引入奇异权函数并实现最小曲率假设下的最优 $L^2$ 估计，优化 Demailly 的一般 $L^2$ 延拓定理。
• 开发一种新的技术框架，涉及两个权函数的同时逼近以及 $\bar{\partial}$-方程求解中极限过程的重新排序。

提出的方法

• 在全纯线丛上的奇异度量背景下，引入对两个权函数 $\psi$ 和 $\phi$ 的双重逼近技术。
• 应用一种新颖的极限过程，即在求解 $\bar{\partial}$-方程之前先完成权函数的收敛，以更好地控制 $L^2$ 范数。
• 使用截断函数 $\sigma_{\varepsilon,t}$ 局部化解，并构造具有受控 $L^2$-范数的 $\bar{\partial}$-闭形式序列 $v_{k,\varepsilon,t}$。
• 通过 $\bar{\partial}$-解 $w_{k,\varepsilon,t}$ 构造全纯极限 $F_{k,\varepsilon,t}$，并利用 Montel 定理在紧集上提取一致极限。
• 采用满足 $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ 的奇异度量 $h$，以确保可积性与单射性。
• 通过使用凸递增函数 $\Phi$ 将原始度量 $h$ 替换为 $h_1 = h e^{-\Phi(\Psi)}$，以确保存在具有最优 $L^2$-界全局全纯延拓 $F$。

实验结果

研究问题

• RQ1 在最小曲率假设下，由 multiplier 理想层商的支集定义的非约解析子簇上的上同调类是否能延拓到全空间？
• RQ2 在曲率条件 $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ 下，限制映射 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(he^{-\psi})) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h))$ 是否保持单射性？
• RQ3 当权函数 $\psi$ 具有任意奇点时，Demailly 的一般 $L^2$ 延拓定理能否被优化以实现尖锐的 $L^2$ 估计？
• RQ4 能否构造一个全局全纯延拓 $F$，使得定义在子簇 $Y$ 上的截面 $f$ 满足 $F - f \in \mathcal{I}(he^{-\psi})$，且 $\|F\|^2_{L^2}$ 有界于 $\|f\|^2_{L^2}$ 的常数倍？

主要发现

• 在曲率条件 $\sqrt{-1}\Theta_{L,h} + \sqrt{-1}\partial\bar{\partial}\psi \geq 0$ 与 $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ 下，对所有 $q \geq 0$，自然同态 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(he^{-\psi})) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h))$ 是单射。
• 商层 $\mathcal{I}(h)/\mathcal{I}(he^{-\psi})$ 支持在解析子簇 $Y$ 上，且对所有 $q \geq 0$，诱导映射 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h)) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h)/\mathcal{I}(he^{-\psi}))$ 是满射。
• 存在一个全局全纯延拓 $F \in H^0(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}'_\psi(h))$，使得对所有 $x \in U_i \cap X$，有 $F - f_i \in \mathcal{I}(he^{-\psi})_x$，从而保证延拓尊重理想层结构。
• 该延拓满足最优 $L^2$ 估计 $\int_X \frac{|F|^2_{\omega,h}}{e^{\psi} R(\psi)} dV_{X,\omega} \leq \left(\frac{1}{\alpha R(\alpha_0)} + C_R\right) \int_Y |f|^2_{\omega,h} dV_{X,\omega}[\psi]$。
• 证明建立了统一常数 $C_0$，使得 $\varlimsup_{t \to -\infty} C(t) \leq C_0$，这对逼近解序列的收敛性至关重要。
• 通过将 $h$ 替换为 $h_1 = h e^{-\Phi(\Psi)}$（其中 $\Phi$ 为合适的凸递增函数），作者确保了具有最优 $L^2$-界全局全纯延拓 $F$ 的存在性，从而证实了估计的最优性。