[论文解读] Seshadri constants and very ample divisors on algebraic surfaces

Brian Harbourne|ArXiv.org|Mar 5, 2001

Algebraic Geometry and Number Theory参考文献 13被引用 4

一句话总结

本文提出了一种几何方法，用于在代数曲面在 n 个一般点处的 blows-up 上构造 nef 除子，从而在所有曲面和特征下改进了 n 点 Seshadri 常数的下界。主要贡献是推广了 Nagata 的猜想，通过利用有理曲线和丢番图逼近来构造 nef 除子，从而在 n 较大时获得比以往结果更紧的下界，尤其在 n 不是完全平方数时效果显著。

ABSTRACT

A broadly applicable geometric approach for constructing nef divisors on blow ups of algebraic surfaces at n general points is given; it works for all surfaces in all characteristics for any n. This construction is used to obtain substantial improvements for currently known lower bounds for n point Seshadri constants. Remarks are included about a range of applications to classical problems involving linear systems on P2.

研究动机与目标

• 开发一种广泛适用的几何方法，用于在任意代数曲面在 n 个一般点处的 blows-up 上构造 nef 除子，且在所有特征下均成立。
• 改进已知的 n 点 Seshadri 常数的下界，特别是当自交数 l < n 时。
• 将 Seshadri 常数和非常 ample 性的结果从 P² 推广到任意代数曲面。
• 改进关于曲面 blows-up 上线性系统基点自由性和非常 ample 性的下界。
• 推广并改进 Biran、Szemberg 等人已有的结果，尤其在 n 较大或 n 不是完全平方数时。

提出的方法

• 通过涉及有理曲线和例外除子的几何论证，在曲面 X 在 n 个一般点处的 blows-up Y 上构造 nef Q-除子。
• 利用将 n 个一般点吹起的态射 π: Y → X，其中 E_i 为例外除子，定义全拉回 π*L - ε∑E_i。
• 通过求解丢番图方程 r² - d²n = 1 的整数解 r, d，应用丢番图逼近技术以构造有效且 nef 的除子。
• 利用若 π*L - ε∑E_i 是 nef，则有 ε ≤ ε(L, p₁,…,pₙ) 的事实，从而得到 Seshadri 常数的下界。
• 利用对偶性和消去定理（如 Ramanujam 消去定理）推导线性系统正则性、基点自由性和非常 ample 性的下界。
• 在适当条件下应用判别法：若 F_t 正则，则 F_{t-1} 基点自由，进而 F_{t-1} 非常 ample。

实验结果

研究问题

• RQ1 在任意代数曲面上，n 点 Seshadri 常数 ε(L, p₁,…,pₙ) 的改进下界是什么，特别是当 L² < n 时？
• RQ2 如何发展一种在所有特征下均有效的、关于在 n 个一般点处 blows-up 的曲面的 nef 除子的一般几何构造方法？
• RQ3 能否在现有结果基础上，改进线性系统 |tL′ - m∑E_i| 的正则性、基点自由性和非常 ample 性的下界？
• RQ4 与 Biran、Szemberg 等人的结果相比，新下界在 n 不是完全平方数或 n 较大时表现如何？
• RQ5 通过新方法得到的下界在特征 0 下以及特定 n（如 n±1 为完全平方数）时的紧致性如何？

主要发现

• 本文建立了一种通用方法，可在任意代数曲面在 n 个一般点处的 blows-up 上构造 nef 除子，且在所有特征下成立，该方法利用有理曲线和丢番图逼近。
• 当 n 足够大且 L² < n 时，该方法得到的 ε(L, n) 下界优于先前的 √(L²/n)√(1 - 1/n) 的界限，尤其在 n 不是完全平方数时效果更显著。
• 该构造方法恢复并改进了 Biran 对特定形式 n = a²i² ± 2i、a²i² + i 和 a²i² - i 的结果，当 a=1 或 i>2 时结果更优。
• 当 n > 9 时，通过该方法将下界 ε(L, n) ≥ 1/√n √(1 - 1/r²) 进一步改进，其中 r = a²i ± 1 或 r = 2a²i ± 1，具体取决于 n，且该下界优于 Szemberg 的结果，尤其在 n 较大时。
• 推论 V.2.2 提供了改进的正则性下界：当 n 不是完全平方数时，若 t ≥ (m+1)/ε_n - 3，则 F_t = tL′ - m∑E_i 正则，优于 [Xu2] 和 [Bal] 的结果。
• 该方法在 n 为完全平方数或 m 较大时，对非常 ample 性和基点自由性的下界优于以往结果，且在关键情形下与 [HR] 和 [Ev] 的结果持平或更优。