[论文解读] Standard classes on the blow-up of P^n at points in very general position

Antonio Laface, Luca Ugaglia|arXiv (Cornell University)|Apr 22, 2010

Coding theory and cryptography参考文献 3被引用 5

一句话总结

本文提出了用于计算在非常一般位置的 $\mathbb{P}^n$ 点的 blows-up 上线性系统维数的猜想性算法与 Maple 代码，重点通过标准形式和 $(-1)$-曲线研究非特殊与特殊类。关键贡献是基于二次型 $q(D)$ 提出 $\mathbb{P}^3$ 中 $h^0(D)$ 的猜想公式，已证明在 $r \leq 8$ 且 $m_i \leq 4$ 的情况下成立，并通过验证示例表明，当 $D = L_3(19;9^9)$ 时，$h^0(D) = 60$，尽管预期维数为 55。

ABSTRACT

We study conjectures on the dimension of linear systems on the blow-up of P^2 and P^3 at points in very general position. We provide algorithms and Maple codes based on these conjectures.

研究动机与目标

• 开发用于计算在非常一般位置的 $\mathbb{P}^n$ 点的 blows-up 上线性系统维数 $h^0(D)$ 的猜想性算法。
• 建立特殊线性系统与存在负交点的 $(-1)$-曲线之间的联系，特别是在 $\mathbb{P}^2$ 中。
• 将这些猜想扩展至 $\mathbb{P}^3$，提出基于 $q(D)$ 和度 $d$ 相对于最大两个重数之和的特殊性判别准则。
• 通过 Maple 程序提供实用的计算工具，用于验证猜想并计算特定情况下的 $h^0(D)$。
• 通过示例验证猜想，包括因特殊性导致 $h^0(D)$ 超过预期维数的情况。

提出的方法

• 在 $\mathbb{P}^n$ 点的 blows-up $X$ 的除数类群上定义二次型 $q(D) = (d+1)^2 - \frac{1}{2}\sum_{i=1}^r m_i(m_i+1)$。
• 使用标准形式与预标准形式的概念，通过小的修改和双有理自同构将除数类 $D = dH - \sum m_i E_i$ 正则化。
• 应用 $(-1)$-曲线判别法：当且仅当存在某条 $(-1)$-曲线 $E$ 使得 $D \cdot E \leq -2$ 时，类 $D$ 为特殊类，这等价于 $\mathbb{P}^2$ 中的 S.H.G.H. 猜想。
• 在 Maple 中实现算法 `quad`，将任意类约化为满足 $q(D') > 0$ 的标准形式，同时保持 $h^0(D)$ 不变。
• 在 Maple 中实现算法 `dim3`，使用猜想 6.3 计算 $h^0(D)$，即若 $q(D) \leq 0$ 则 $h^0(D) = \chi(D)$，若 $q(D) > 0$ 则使用修正公式。
• 利用 Riemann-Roch 和 Serre 对偶性，将 $h^0(D)$ 与 $\chi(D)$ 和 $q(D)$ 关联，尤其在 $D|_Q$ 非特殊时。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^2$ 中，有效类 $D$ 是否当且仅当其与某条 $(-1)$-曲线负交且满足 $D \cdot E \leq -2$ 时为特殊类？
• RQ2 在 $\mathbb{P}^3$ 中，若 $q(D) \leq 0$，标准形式下的类 $D$ 是否为非特殊类，若 $d < m_1 + m_2 - 1$ 且 $q(D) > 0$，是否为特殊类？
• RQ3 能否在 $\mathbb{P}^3$ 中可靠地使用猜想 6.3 中的公式计算 $h^0(D)$？
• RQ4 算法 `quad` 是否总能将类约化为满足 $q(D') > 0$ 的标准形式，同时保持 $h^0(D)$ 不变？
• RQ5 是否存在 $h^0(D)$ 超过预期维数 $\chi(D)$ 的情况？若存在，能否被该猜想公式捕捉？

主要发现

• 对于 $\mathbb{P}^3$ 中的 $D = L_3(19;9^9)$，算法 `dim3` 计算得 $h^0(D) = 60$，而基于 $\chi(D)$ 的预期维数为 55，表明存在特殊性。
• Maple 函数 `quad` 将 $[19,9,9,9,9,9,9,9,9,9]$ 约化为 $[15,7,7,7,7,7,7,7,7,7]$，表明约化后 $q(D) > 0$。
• 若 S.H.G.H. 猜想对 $\mathbb{P}^2$ 中的 10 个点成立，则猜想 $h^0(D) = h^0(D - Q)$ 当 $q(D) \leq 0$ 时已被证明。
• 对于 $D = L_2(96;34^8)$，预标准形式为 $[0, -2, 8]$，表明 $D$ 是 $(-1)$-类的和，因此非有效，但 `Dim2` 返回 $h^0(D) = 1$，暗示存在不一致或特殊情况。
• 猜想 6.3 中的公式已在 $r \leq 8$ 且对任意 $r$ 满足 $m_i \leq 4$ 的情况下被证明，验证了该方法在这些情况下的有效性。
• 类 $L_3(2m+1; m^9)$ 在 $m \geq 8$ 时满足 $q(D) \leq 0$，且对所有此类 $m$ 有 $h^0(D) = 60$，尽管预期维数随 $m$ 增大而增长。