Newton-Okounkov Bodies and Jet Separation: Canonical-Free and Multipoint Generalizations

技术摘要：牛顿 - 奥科诺夫体与射流分离：典范无关与多点推广

问题陈述
本文致力于利用牛顿 - 奥科诺夫（NO）体的凸几何，建立光滑射影簇上$k$-射流分离（进而 $k$-射流丰富性）的有效判据。具体而言，本文旨在推广 Kuronya 和 Lozovanu 已有的射流分离判据，该判据依赖于在无穷小牛顿 - 奥科诺夫体内包含一个倒置的标准单纯形。

现有判据（论文中的定理 1.1，引用 [15]）指出：如果一个大小为 $n+k+\varepsilon$ 的倒置标准单纯形包含在除子 $D$ 在点 $x$ 处的无穷小 NO 体内，则伴随丛 $K_X + D$ 在 $x$ 处分离 $k$-射流。本文指出了该现有框架中存在的三个局限性，从而激发了当前的研究工作：

1. 对典范除子的依赖：该判据适用于 $K_X + D$ 而非除子 $D$ 本身，这使得直接应用于关于 $D$ 的正性问题变得复杂。
2. 单点限制：该判据是针对单点 formulated 的，而许多几何问题（例如 Matsusaka 大定理）需要在多个指定点同时实现射流分离。
3. 缺乏可计算性：对 $K_X$ 的依赖往往掩盖了 $D$ 实现特定射流分离性质所需的有效界限。

方法论
本文采用牛顿 - 奥科诺夫体理论，特别是扩展了无穷小和多点NO 体的框架。方法论整合了以下组成部分：

• 无穷小与多点 NO 体：作者利用与无穷小旗（点处的爆破）相关的 NO 体构造，并通过 Trusiani [13] 的框架将其扩展到多点构型。这涉及基于能够区分不同点处截面的赋值来定义分次半群。
• 凸几何与单纯形包含：核心几何条件仍然是相关 NO 体内包含一个大小为 $\Delta^{-1}_{n+k+\varepsilon}$ 的倒置标准单纯形。本文利用了该单纯形的大小与射流分离阶数之间的关系。
• 消失定理：证明严重依赖于渐近乘子理想的Nadel 消失定理。策略涉及构造一个辅助除子 $B$，使得原点位于其 NO 体内，从而确保渐近基座避免爆破的例外除子。这使得可以应用消失定理来证明射流分离所需的限制映射的满射性。
• 次可加性与平移：对于典范无关的结果，本文利用了 NO 体的次可加性性质以及丰富除子的 NO 体包含原点这一事实。这使得能够将条件从“典范无关”的除子平移至消失定理所要求的伴随丛。

主要贡献与结果
本文提出了三个主要定理，推广了 Kuronya-Lozovanu 判据：

1. 典范无关射流分离（定理 3.1）：
   作者证明，对于丰富除子 $D$ 和点 $x$，存在一个可计算的整数 $m(D)$（仅依赖于 $D$），使得如果大小为 $n+k+\varepsilon$ 的倒置标准单纯形包含在 $m\pi^*(D)$ 的 NO 体内，则除子 $(m + m(D)) \cdot D$ 在 $x$ 处分离 $k$-射流。这消除了最终结论中对 $K_X$ 的显式依赖，为 $D$ 提供了直接判据。

2. 多点射流分离（定理 3.3）：
   该判据被推广到一组不同的光滑点 $Z = \{p_1, \dots, p_N\}$。如果大小为 $n+k+\varepsilon$ 的倒置标准单纯形包含在所有 $j$ 的多点无穷小 NO 体 $\Delta_{\tilde{Y}_\bullet, j}(\pi^*(D))$ 中，则 $K_X + D$ 在 $Z$ 中所有点处同时分离 $k$-射流。

3. 典范无关多点射流分离（定理 3.4）：
   结合上述两个推广，本文建立了一个针对形式为 $(m + m(D)) \cdot D$ 的除子在多点处同时 $k$-射流分离的判据。该结果提供了一个计算框架，用于通过凸几何测试正性现象，而无需在最终陈述中依赖伴随丛。

显式计算与应用
为了展示这些判据的有效性，本文对两个椭圆曲线乘积的双覆盖（$Y \to E \times E$）进行了显式计算。

• 作者计算了使 $m(D_\ell)D_\ell - K_Y$ 成为丰富除子所需的阈值 $m(D_\ell)$。
• 他们利用阿贝尔曲面底上的 Seshadri 常数计算了相关 NO 体的大小。
• 结果得出了一个具体的数值界限：$(\ell^2 - 2\ell + 7)D_\ell$ 在双覆盖上是 1-射流丰富的（即非常丰富）。这说明了所需的倍数如何随射流阶数和覆盖参数而增长。

意义
本文声称其重要性在于提供了组合与凸几何判据，用于射流分离，这些判据具有以下特点：

• 典范无关：允许直接应用于线丛 $L$ 本身，而非 $K_X + L$。
• 多点：能够处理多点处的同时分离，这对于 Matsusaka 大定理等全局正性问题至关重要。
• 可计算：提供显式界限（通过 $m(D)$），这些界限可以针对具体的几何实例进行计算，正如双覆盖案例所示。

这项工作有助于利用凸几何（NO 体）解决代数几何中关于线丛有效正性的经典问题的哲学。它通过无穷小和多点赋值的视角，弥合了局部正性概念（射流分离）与全局几何不变量之间的差距。