[论文解读] Linear systems with multiple base points in P2

Brian Harbourne, Joaquím Roé|ArXiv.org|Jan 12, 2001

Commutative Algebra and Its Applications参考文献 20被引用 3

一句话总结

该论文为通过 P² 中 n 个一般点且具有指定重数的曲线的次数建立了新界限，使得能够验证关于 n ≥ 10 且 m 较大的符号幂理想 Hilbert 函数与最小自由解析的长期猜想。通过基于次数为 d 且具有 r 个无穷近点的曲线的新型特殊化技术，作者证明了当 m ≤ (n − 5√n)/2 时，猜想 I.1(a) 成立，并在 n 为平方数或偶平方数时，对无穷多个 m 验证了 Hilbert 函数与解析猜想。

ABSTRACT

Given positive integers $m_1, m_2, ..., m_n$, and $n$ general points $p_i$ of ${\bf CP}^2$, bounds are given for the least degree $t$ among plane curves passing through each point $p_i$ with multiplicity at least $m_i$, and for the least $t$ such that the $n$ multiple points impose independent conditions on curves of degree $t$, often improving substantially what was previously known. As an application, the Hilbert function (resp., minimal free resolution) is determined for symbolic powers $I^{(m)}$ for the ideal $I$ defining $n$ general points of ${\bf CP}^2$ for infinitely many m for each square n (resp., for infinitely many m for each even square n). Four graphs are included showing other values of m and n for which results are given.

研究动机与目标

• 解决关于 P² 中 n 个一般点的理想符号幂的 Hilbert 函数与最小自由解析的长期猜想，其中 n > 9。
• 将先前依赖于小 n、小 m 或特定形式 n（如 4 或 9 的幂）的结果扩展至大 n 与大 m 的情形。
• 开发一种新方法，用于界定具有多个基点的线性系统之最小次数 α(n;m) 与正则性 τ(n;m)。
• 提供算法化界限，有时可精确确定 α(n;m) 与 τ(n;m)，即使当 n 不是平方数且 m 较大时亦可。
• 对广泛的 n 与 m 的新族验证猜想 I.1(a)、(b) 与 (c)，包括每个平方数 n ≥ 10 和偶平方数 n ≥ 10 的无穷多个 m。

提出的方法

• 引入一种特殊化技术，将 n 个一般点中的 r 个置于次数为 d 的不可约曲线 C 上，并按无穷近邻的顺序逐步提升。
• 利用所得构型，通过修改版本的卸载算法，界定 α(n;m)，即在每个 n 个一般点处具有重数 m 的曲线的最小次数。
• 使用相同的特殊化框架，推导 τ(n;m)（即 I(n;m) 的正则性）的上界，改进了 Hirschowitz、Gimigliano 等人先前的界限。
• 将界限应用于验证当界限精确确定 α(n;m) 与 τ(n;m) 时，猜想 I.1(b)（Hilbert 函数）与 (c)（最小自由解析）成立。
• 实施一种算法程序，输入重数序列 m = (m₁,…,mₙ) 与参数 d、r，以计算 α(n;m) 的改进下界与 τ(n;m) 的上界。
• 利用当界限与已知理论下界（如 m√n）一致时，可确认特定 m 与 n 范围内的猜想。

实验结果

研究问题

• RQ1 对于哪些 n ≥ 10 与 m ≥ 0，P² 中 n 个一般点的理想之 m 次符号幂的 Hilbert 函数等于预期值：t+2 选 2 减去 n 倍的 m+1 选 2？
• RQ2 在何种条件下，I(n;m) 的最小自由解析匹配包含 α(n;m) 及其邻近项的移位形式的猜想形式？
• RQ3 能否在之前结果仅限于 4 的幂或小 m 的情形之外，验证非平方 n 且大 m 时的猜想下界 α(n;m) ≥ m√n？
• RQ4 能否使用涉及次数为 d 且具有 r 个无穷近点的曲线的几何特殊化技术，界定或精确确定正则性 τ(n;m)？
• RQ5 新界限在哪些 m 与 n 的范围内超过或匹配来自 [R1]、[HHF]、[X]、[B] 与 [Gi] 的现有界限？

主要发现

• 猜想 I.1(a) — α(n;m) ≥ m√n — 对所有 m ≤ (n − 5√n)/2 且 n ≥ 10 成立，显著扩展了先前要求 m 较小或 n 为 4 的幂的结果。
• 对每个平方数 n ≥ 10，猜想 I.1(b)（Hilbert 函数）对无穷多个 m 成立；对每个偶平方数 n ≥ 10，猜想 I.1(c)（最小自由解析）对无穷多个 m 成立。
• 定理 I.3 中 α(n;m) 的新界限在特定情形下超过经典界限 ⌊m√n⌋ + 1；当 n=1000、m=13 时，界限达 424，而标准估计为 412。
• 当 n=190、m=100 时，定理 I.3(b) 中 τ(n;m) ≤ 1390 的界限优于所有先前界限，除 [HHF] 外，且比 [R2]、[X]、[B]、[Gi]、[C1] 与 [Hi1] 更紧。
• 该方法是目前唯一能对大 m 与非平方 n 精确确定 α(n;m) 或 τ(n;m) 的方法，如例 II.4 与推论 IV.1 所示。
• 图形表示（图 1–4）显示，该方法覆盖了在猜想被验证时密集且复杂的 (n,m) 对集合，尤其当 d = ⌊√n⌋ 且 r = ⌊(n + d²)/2⌋ 时。