[论文解读] Regularity and non-emptyness of linear systems in $\mathbb P^n$

Marcin Dumnicki|ArXiv.org|Feb 7, 2008

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

一句话总结

本文提出了一种新算法 NSglue，用于界定在 $\mathbb{P}^n$ 中具有在一般点处指定重数的超曲面线性系统之正则性（$\tau_n$）与非空阈值（$\alpha_n$）。通过利用一个新分裂定理（定理 1）与双有理变换，该方法改进了 $\alpha_2$、$\tau_2$、$\alpha_3$ 与 $\alpha_4$ 的界，尤其在拟齐次系统中表现更优，并得出了 $\mathbb{P}^2$ 上多点 Seshadri 常数的新估计。该方法在许多以往难以处理的情况下优于先前算法。

ABSTRACT

The main goal of this paper is to present a new algorithm bounding the regularity and ``alpha'' (the lowest degree of existing hypersurface) of a linear system of hypersurfaces (in $\mathbb P^n$) passing through multiple points in general position. To do the above we formulate and prove new theorem, which allows to show non-specialty of linear system by splitting it into non-special (and simpler) systems. As a result we give new bounds for multiple point Seshadri constants on $\PP^2$.

研究动机与目标

• 开发一种新算法，以界定在 $\mathbb{P}^n$ 中具有在一般点处指定重数的超曲面线性系统的正则性（$\\tau_n$）与非空阈值（$\\alpha_n$）。
• 通过一个新分裂定理（定理 1）建立理论基础，该定理通过将系统分解为更简单的非特殊分量，实现非特殊性的证明。
• 改进 $n=2,3,4$ 时 $\alpha_n$ 与 $\tau_n$ 的现有界，尤其在拟齐次系统中，此前的方法常失效。
• 将该方法应用于推导 $\mathbb{P}^2$ 上多点 Seshadri 常数的新定量界，结合双有理变换与 Eckl 判别法。

提出的方法

• 核心方法是一个新分裂定理（定理 1），证明若两个较小系统 $L_1$ 与 $L_2$ 均为非特殊，且其虚维数满足 $(\operatorname{vdim}L_1+1)(\operatorname{vdim}L_2+1) \geq 0$，则系统 $\mathcal{L}_n(d;m_1,\dots,m_r)$ 为非特殊。
• NSglue 算法利用定理 1 通过组合具有兼容度与重数的系统，将重数“粘合”起来，从而可在更简单的系统上应用已知的非特殊性判别准则。
• NSsplit 算法尝试将复杂系统分解为多个更小的系统，其度数与重数更低，从而提高应用已知非特殊性判别准则的可能性。
• 应用双有理变换（例如使用 Nagata 技巧处理三点组）以减少具有负重数的系统，从而可应用 Eckl 判别法证明其为空。
• 该方法结合了 [md] 与 [CMirdeg] 中的约化技术，并将其推广至高维，通过虚维数与期望维数分析线性系统的维数。
• 在 FreePascal 中实现，使用自定义类（Eclass 与 Gclass），可对大规模系统族自动测试非特殊性，并估计 $\alpha_n$ 与 $\tau_n$ 的界。

实验结果

研究问题

• RQ1 能否开发一种新算法，以界定在 $\mathbb{P}^n$ 中具有一般点与指定重数的线性系统的 $\alpha_n$ 与 $\tau_n$？
• RQ2 如何利用定理 1 通过将系统分解为更简单、非特殊的分量，来证明一个系统的非特殊性？
• RQ3 与现有算法相比，该方法在 $\alpha_2$、$\tau_2$、$\alpha_3$ 与 $\alpha_4$ 的界上能实现多大改进，尤其在拟齐次系统中？
• RQ4 该方法能否扩展以计算 $\mathbb{P}^2$ 上多点 Seshadri 常数的新下界？

主要发现

• 对于系统 $\mathcal{L}_2(31;22,9^{\times 4},4^{\times 3})$，该算法通过约化至已知为非特殊的 $\mathcal{L}_2(13;4^{\times 4})$ 确认了其非特殊性。
• 该算法成功证明了当 $197d - 42(21m + h) < 0$ 时，$\mathcal{L}_2(d;m^{\times 21},h)$ 为空，通过一系列 13 次双有理变换将其约化至虚维数为负。
• 在 90 个非完全平方数 $r=10,\dots,99$ 的齐次系统中，NSglue 成功确认了 64 个系统的猜想非空或为空，优于先前方法。
• 在表 1 中，NSglue 对 $\alpha_2$ 与 $\tau_2$ 的界比 Harbourne–Roé 或 Monserrat 方法更接近猜想值，许多情况下差异仅为 ±1。
• 该方法通过结合定理 1 与 Eckl 判别法，得出了 $\mathbb{P}^2$ 上多点 Seshadri 常数的新界，如例 11 所示。
• 图形结果显示，在 $1 \leq m \leq 150$、$10 \leq r \leq 450$ 范围内，$\tau_2$ 与 $\alpha_2$ 的成功率很高，大多数系统所得界与猜想值一致。