[论文解读] Extension of log pluricanonical forms from subvarieties

Hajime Tsuji|ArXiv.org|Sep 17, 2007

Geometry and complex manifolds参考文献 26被引用 21

一句话总结

本文通过使用涉及奇异赫米特度量、解析芝诺分解（AZD）和伯格曼核渐近展开的解析技术，建立了一个从子概形到对数全Canonical形式的一般延拓定理。关键贡献在于一个最优子邻接定理，将射影流形的 canonical 线丛的正性与它的对数全Canonical中心的正性联系起来，推动了通过维数归纳法研究丰沛性猜想的进展。

ABSTRACT

In this paper, I prove a very general extension theorem for log pluricanonical systems. The main application of this extension theorem is (together with Kawamata's subadjunction theorem) to give an optimal subadjunction theorem which relates the positivities of canonical bundle of the ambient projective manifold and that of the (maximal) center of log canonical singularities. This is an extension of the corresponding result in my previous work where I dealt with log pluricanonical systems of general type. This subadjunction theorem indicates an approach to solve the abundance conjecture for canonical divisors (or log canonical divisors) in terms of the induction in dimension.

研究动机与目标

• 在具有对数全Canonical奇点的射影流形中，为从子概形出发的对数全Canonical形式建立一个一般延拓定理。
• 为 canonical 和对数全Canonical除数的丰沛性猜想提供一种系统的解析方法，特别是在高维情形下。
• 通过子邻接关系，将环境概形的 canonical 线丛的数值正性与它的最大对数全Canonical中心的正性联系起来。
• 通过奇异赫米特度量的动力学构造，将先前关于一般型对数全Canonical系统的结论推广到完整的伪有效情形。
• 为基于维数的归纳法研究丰沛性猜想奠定基础。

提出的方法

• 使用具有半正曲率的奇异赫米特度量，并通过逐次延拓过程构造动力系统度量。
• 应用关于奇异赫米特线丛的全纯截面的 $L^2$-延拓定理。
• 利用与伪有效奇异赫米特线丛相关的伯格曼核渐近展开式，估计截面的增长。
• 通过逐次逼近和曲率衰减估计，引入一种动力学构造解析芝诺分解（AZD）的方法。
• 利用交点理论和伪有效线丛的数值不变量（如数值Kodaira维数和Seshadri常数）。
• 应用伯格曼核下包络的概念，在子概形上构造具有最小奇点的AZD。

实验结果

研究问题

• RQ1 在一般伪有效正性假设下，对数全Canonical形式能否从子概形延拓到环境流形？
• RQ2 射影流形上 canonical 线丛的正性如何与它的对数全Canonical中心的正性相关联？
• RQ3 在对数全Canonical系统与 canonical 奇点的背景下，子邻接定理的最优形式是什么？
• RQ4 能否通过基于维数的归纳法和全Canonical形式的延拓来研究丰沛性猜想？
• RQ5 渐近伯格曼核展开式与奇异度量构造在建立延拓定理中起到什么作用？

主要发现

• 本文为从子概形出发的对数全Canonical形式建立了一个一般延拓定理，将先前结果推广到了完整的伪有效情形。
• 证明了一个最优子邻接定理，表明与 canonical 线丛相关的Iitaka纤维化能提取出 canonical 线丛的所有正性。
• 通过构造具有半正曲率的奇异赫米特度量的动力系统，实现了从子概形到环境空间的截面延拓。
• 利用伯格曼核的渐近展开式估计截面的增长，从而在子概形上构造出具有最小奇点的AZD。
• 伯格曼核极限的倒数的下包络给出了子概形上明确定义的AZD，该AZD用于通过 $L^2$-延拓来实现截面的延拓。
• 定理1.2的证明确认了子概形上存在一个AZD，该AZD控制了延拓的奇点，从而在丰沛性猜想的背景下得出了稳定基点自由性结果。