[论文解读] Teissier's problem on inequalities of nef divisors over an arbitrary field

Steven Dale Cutkosky|arXiv (Cornell University)|Apr 4, 2013

Algebraic Geometry and Number Theory参考文献 16被引用 11

一句话总结

本文将 Boucksom、Favre 和 Jonsson 在特征零代数闭域上完备代数簇上关于 nef 与 big 线丛的 Diskant 型不等式及比例性结果，推广至任意域。通过在任意域上建立正交交积与 Fujita 近似理论，作者证明：即使在无法进行奇点解耦的情况下，Khovanskii–Teissier 不等式中等式成立当且仅当 nef 截面在数值上成比例。关键贡献在于将 Teissier 关于 nef 截面比例性的问题推广至一般域，包括正特征域与非完美域。

ABSTRACT

Boucksom, Favre and Jonsson establish in [4] an analog of Diskant's inequality in convex geometry for nef and big line bundles on a complete algebraic variety over an algebraically closed field of characteristic zero (Theorem F [4]), from which they deduce a solution (Theorem D [4]) to a problem of Teissier (Problem B [29]) on proportionality of nef divisors. In this paper we extend these results to a complete variety over an arbitrary field k.

研究动机与目标

• 将特征零代数闭域上关于 nef 与 big 线丛的 Diskant 型不等式与比例性结果推广至任意域。
• 通过在任意域上发展交集理论（无需光滑性假设），克服正特征域中缺乏奇点解耦的障碍。
• 证明在任意域上，即使代数簇非几何连通或非一般约化，big 线丛的体积仍为极限。
• 证明在任意域上，Khovanskii–Teissier 不等式中等式成立当且仅当 nef 截面在数值上成比例。
• 将 Teissier 关于 nef 截面比例性的问题推广至任意域上的完备代数簇，包括非完美域。

提出的方法

• 通过在双有理模型的数值群的逆极限上定义正交交积，改编 Boucksom、Favre 与 Jonsson 的正交交积理论。
• 利用基变换至代数闭包及 [23] 与 [8] 的结果，证明在任意域上 Fujita 近似成立，从而确保体积为极限。
• 通过交积数 $ s_i = (eta^{d-i} eta^{i-1} eta) $ 定义 nef 截面的内接圆半径与外接圆半径，推广 Teissier 的方法。
• 应用定理 6.9（Diskant 型不等式）推导内接圆半径与外接圆半径的界，进而导出比例性准则。
• 通过齐次性与交积性质，建立 nef 截面比例性与 Khovanskii–Teissier 不等式等式之间的等价性。
• 通过构造反例处理非完美域情形，表明一般分次线性系统下体积极限可能不存在，但证明在完备代数簇上 big 线丛的体积极限仍成立。

实验结果

研究问题

• RQ1 能否将特征零代数闭域上关于 nef 截面的比例性结果与 Diskant 型不等式推广至任意域？
• RQ2 Fujita 近似是否对任意域上完备代数簇上的 big 线丛成立，即使该代数簇非几何连通？
• RQ3 在任意域上，big 线丛在完备代数簇上的体积是否恒为极限？如何在无奇点解耦的条件下证明这一点？
• RQ4 在任意域上，Khovanskii–Teissier 不等式中等式成立时，nef 截面在何种条件下必为数值成比例？
• RQ5 nef 截面的内接圆半径与外接圆半径在任意域上如何表现？能否用于刻画比例性？

主要发现

• 在任意域上，big 线丛在完备代数簇上的体积为极限，通过基变换至代数闭包及 [23] 与 [8] 的结果得以证明。
• Fujita 近似在任意域上成立，如定理 5.1 所示，结合了定理 3.3 [23] 与定理 7.2 [8]。
• Diskant 型不等式（定理 6.9）为 nef 截面的内接圆半径与外接圆半径提供了紧致界，将 [4] 的结果推广至任意域。
• 定理 6.10 证明：$ r(eta;eta) \to 1 $ 当且仅当对所有 $ i $ 有 $ s_i = 1 $，这意味着 $ \beta $ 与 $ \beta $ 成比例，从而在 Khovanskii–Teissier 不等式中取等。
• 定理 6.13 证明：对于满足 $ (\beta^d) > 0 $ 的 nef 截面 $ \beta $ 与 $ \beta $，Khovanskii–Teissier 不等式中等式成立当且仅当 $ \beta $ 与 $ \beta $ 在数值上成比例。
• 当 $ X $ 非约化时，只要 $ \beta|X_{\text{red}} $ 与 $ \beta|X_{\text{red}} $ 为 big，则比例性结果仍成立，从而将结果推广至非约化概形。