[论文解读] Bergman kernels and subadjunction

Bo Berndtsson, Mihai Păun|arXiv (Cornell University)|Feb 22, 2010

Geometry and complex manifolds参考文献 28被引用 27

一句话总结

本文建立了Ohsawa-Takegoshi型的$L^{2/m}$延拓定理，并利用它为代数几何中Kawamata的子邻接定理提供了新的证明。通过结合Bergman核度量、全纯势论以及 plurigenera 的不变性，作者证明了在一般纤维上的$m$-Bergman核度量可延拓为全空间上的半正曲率度量，从而给出了对对数典范对的子邻接定理的直接、解析的证明。

ABSTRACT

In this article our main result is a more complete version of the statements obtained in { m [6]}. One of the important technical point of our proof is an $\displaystyle L^{2\over m}$ extension theorem of Ohsawa-Takegoshi type, which is derived from the original result by a simple fixed point method. Moreover, we show that these techniques combined with an appropriate form of the"invariance of plurigenera" can be used in order to obtain a new proof of the celebrated Y. Kawamata subadjunction theorem.

研究动机与目标

• 将Ohsawa-Takegoshi型的$L^{2/m}$延拓定理推广至由全纯函数定义的子簇上的全纯截面。
• 通过Bergman核度量与曲率正性，建立Kawamata子邻接定理的新解析方法。
• 证明纤维丛$p: X \to Y$的一般纤维上的$m$-Bergman核度量可延拓为全空间上的半正曲率度量，即使该纤维丛是奇异的。
• 证明结合plurigenera不变性后，这些技术可为具有klt边界对的对数典范对提供子邻接定理的直接且清晰的证明。
• 将结果推广至具有解析奇点的闭正当前沿，将子邻接结果从Weil除子推广至更一般情形。

提出的方法

• 通过将固定点法应用于原始的Ohsawa-Takegoshi $L^2$ 延拓定理，推导出$L^{2/m}$延拓定理。
• 利用纤维丛$p: X \to Y$的一般纤维上的$m$-Bergman核度量，构造$mK_{X/Y} + L$上的具有正曲率当前的度量。
• 应用标准的下半连续性与Zariski开集论证，将问题限制到Zariski开集$Y_0 \subset Y$上，使得截面可局部延拓。
• 利用全纯势论证明Bergman核度量可作为半正当前沿跨奇异纤维延拓。
• 通过线丛的全局截面构造逼近度量，并利用正则化定理将闭正当前沿逼近为代数度量。
• 应用Hölder不等式与体积界来控制归一化因子$\tau(w)$的可积性，确保$L^{2+2\varepsilon}$积分的收敛性。

实验结果

研究问题

• RQ1 Ohsawa-Takegoshi $L^2$ 延拓定理能否推广至由全纯函数定义的子簇上的$L^{2/m}$情形？
• RQ2 奇异纤维丛的一般纤维上的$m$-Bergman核度量能否延拓为全空间上的半正曲率度量？
• RQ3 Bergman核与$L^{2/m}$延拓技术能否用于给出Kawamata子邻接定理的新解析证明？
• RQ4 plurigenera不变性在子邻接的背景下如何与曲率正性相互作用？
• RQ5 子邻接结果能否从Weil除子推广至具有解析奇点的闭正当前沿？

主要发现

• 建立了$L^{2/m}$延拓定理，其中界中常数$C_0$与原始Ohsawa-Takegoshi定理中的常数一致。
• 一般纤维上$p: X \to Y$的$m$-Bergman核度量可延拓为$mK_{X/Y} + L$上的具有半正曲率当前的度量。
• 证明了即使$p$是奇异的，$mK_{X/Y} + L$上的度量仍等于纤维上的$m$-Bergman核度量。
• 通过Hölder不等式与体积界，证明了$\int_{\Omega} \frac{d\lambda(w)}{\tau^{2+2\varepsilon_0}(w)}$的收敛性，确保了可积性。
• 通过Bergman核、$L^{2/m}$延拓及当前正则化技术，以解析方法重新证明了子邻接定理。
• 结果可推广至具有解析奇点的闭正当前沿，且证明仅需极小修改。