[论文解读] Seshadri Constants and Fujita's Conjecture via Positive Characteristic Methods

Takumi Murayama|arXiv (Cornell University)|May 9, 2019

Algebraic Geometry and Number Theory参考文献 160被引用 6

一句话总结

本文利用正特征方法，特别是弗罗贝尼乌斯态射和测试理想，建立了塞沙德里常数与富吉塔猜想之间的新联系。通过利用 gamma 构造和 F-奇点，证明了在特定充分正线丛条件下，富吉塔猜想在正特征下对光滑射影概形成立，从而通过 F-纯性和乘子理想给出了射影空间的新几何刻画。

ABSTRACT

In 1988, Fujita conjectured that there is an effective and uniform way to turn an ample line bundle on a smooth projective variety into a globally generated or very ample line bundle. We study Fujita's conjecture using Seshadri constants, which were first introduced by Demailly in 1992 with the hope that they could be used to prove cases of Fujita's conjecture. While examples of Miranda seemed to indicate that Seshadri constants could not be used to prove Fujita's conjecture, we present a new approach to Fujita's conjecture using Seshadri constants and positive characteristic methods. Our technique recovers some known results toward Fujita's conjecture over the complex numbers, without the use of vanishing theorems, and proves new results for complex varieties with singularities. Instead of vanishing theorems, we use positive characteristic techniques related to the Frobenius-Seshadri constants introduced by Mustaţă-Schwede and the author. As an application of our results, we give a characterization of projective space using Seshadri constants in positive characteristic, which was proved in characteristic zero by Bauer and Szemberg.

研究动机与目标

• 通过正特征代数几何方法，建立富吉塔猜想的新证明途径。
• 在正特征下，通过 F-纯性和乘子理想刻画射影空间。
• 证明塞沙德里常数可通过弗罗贝尼乌斯与测试理想技术加以控制。
• 将 de Fernex–K"uronya–Lazarsfeld 的正则性准则推广至正特征情形。
• 证明在 G-环上有限型概形的 F-纯性区域是开的。

提出的方法

• 应用 gamma 构造，将完备局部环上的概形提升至 F-有限设定。
• 利用弗罗贝尼乌斯态射及其迹定义 F-奇点，如 F-纯性与 F-正则性。
• 使用测试理想与乘子理想来度量奇点并控制消去定理。
• 在正特征下利用格罗滕迪克对偶性与对偶复形分析上同调不变量。
• 在 F-奇点中应用抽屉原理，以控制弗罗贝尼乌斯幂的行为。
• 应用半单群作用与等变消去理论，将问题约化至局部情形。

实验结果

研究问题

• RQ1 能否利用弗罗贝尼乌斯方法在正特征下证明富吉塔猜想？
• RQ2 塞沙德里常数在弗罗贝尼乌斯与 F-奇点作用下如何表现？
• RQ3 在 G-环上有限型概形中，F-纯性区域是否为开集？
• RQ4 对于完备局部环上的环，强 F-正则性与分裂 F-正则性是否一致？
• RQ5 de Fernex–K"uronya–Lazarsfeld 的正则性准则能否推广至正特征情形？

主要发现

• 当线丛足够充分正时，富吉塔猜想在正特征下对光滑射影概形成立，该结果通过 F-奇点与 gamma 构造得以证明。
• 在正特征下，对于 G-环上有限型概形，F-纯性区域是开集，这是关键的技术结果。
• 对于正特征下完备局部环上有限型的环，强 F-正则性蕴含分裂 F-正则性。
• gamma 构造使得概形可被提升至 F-有限设定，在此设定下 F-奇点表现良好且在基变换下保持不变。
• 可通过 F-奇点与测试理想对塞沙德里常数进行下界控制，从而在正特征下提供一种新的几何不变量。
• 本文证明：若光滑射影概形配备满足特定 F-奇点条件的充分正线丛，则其与射影空间同构。