[论文解读] Interpolation for normal bundles of general curves

Atanas Atanasov, Eric Larson+1 more|arXiv (Cornell University)|Sep 5, 2015

Algebraic Geometry and Number Theory参考文献 2被引用 3

一句话总结

该论文通过在度数和标记点数上使用归纳法，建立了 $∞$ 一般空间曲线 $C$ 在 $∞$ 中的法丛 $N_C$ 的插值性质。关键结果是：除非 $(d,g) = (6,1)$ 或 $(5,2)$，否则 $N_C$ 满足插值性质，其余情况通过辅助归纳法和低秩丛的已知结果得以解决。

ABSTRACT

Given n general points p_1, p_2,..., p_n in P^r, it is natural to ask when there exists a curve C \subset P^r, of degree d and genus g, passing through p_1, p_2,..., p_n. In this paper, we give a complete answer to this question for curves C with nonspecial hyperplane section. This result is a consequence of our main theorem, which states that the normal bundle N_C of a general nonspecial curve of degree d and genus g in P^r (with d >= g + r) has the property of interpolation (i.e. that for a general effective divisor D of any degree on C, either H^0(N_C(-D)) = 0 or H^1(N_C(-D)) = 0), with exactly three exceptions.

研究动机与目标

• 确定一般空间曲线 $C \subset \mathbb{P}^3$ 的法丛 $N_C$ 在何种情况下满足插值性质。
• 在 $r=3$ 的情形下解决 $N_C$ 的插值问题，扩展此前对有理曲线的研究结果。
• 刻画插值失败的例外情况，特别是当 $g > 0$ 时。
• 建立一个基于度数和标记点数的归纳框架，以验证插值条件。

提出的方法

• 通过在度数 $d$ 和标记点数上使用归纳法，验证 $N_C$ 在 $(d,g,3;n)$ 情形下满足插值性质，假设对更小的 $d$ 或更少的标记点成立。
• 应用引理 \ref{two-secant} 将问题约化为验证修改后元组 $(d-1,g-1,3;n')$ 的良好性。
• 使用两个关键归纳引理：一个针对 $\sum kn_{ij}^k = 1$ 的情形，另一个针对 $\sum kn_{ij}^k = 0$ 的情形，两者具有不同的约化规则。
• 依赖于条件 $\sum (i-k)n_{ij}^k \leq 2d + 2g - 5$ 来控制归纳步骤。
• 使用辅助引理处理例外配置，例如类型为 $(\ell,m;0)$ 且 $m \neq 0$ 的点，以避免陷入禁止的族。
• 结合低秩情形（如 $r=2$）的结果和已知定理（如对有理曲线的结果），完成归纳过程。

实验结果

研究问题

• RQ1 对于哪些三元组 $(d,g,3)$，一般空间曲线 $C \subset \mathbb{P}^3$ 的法丛 $N_C$ 满足插值性质？
• RQ2 当 $g > 0$ 时，插值的精确例外情况是什么？如何系统性地排除这些情况？
• RQ3 如何通过在度数和标记点数上的归纳法，将 $r=3$ 情形下的插值问题约化为已知或更简单的情形？
• RQ4 对元组 $(n_{ij}^k)$ 的何种条件可确保在归纳假设下，修改后的丛 $(d-1,g-1,3;n')$ 保持良好？
• RQ5 两个无穷例外族——分别由 $\sum kn_{ij}^k = 0$ 且 $\sum in_{ij}^k = 2d+2g-14$，或 $\sum kn_{ij}^k = 1$ 且 $\sum in_{ij}^k = 2d+2g-9$ 定义——如何影响插值性质？

主要发现

• 在 $∞$ 中，所有一般空间曲线的法丛 $N_C$ 均满足插值性质，除非 $(d,g) = (6,1)$ 或 $(5,2)$，后者因主定理的假设而被排除。
• 当 $g > 0$ 时，若 $\sum (i-k)n_{ij}^k \leq 2d + 2g - 10$，则插值成立，此条件确保归纳约化适用。
• 当 $\sum kn_{ij}^k = 1$ 时，通过约化为 $(d-1,g-1,3;n')$ 且满足 $\sum k(n')_{ij}^k = 0$ 的情形处理，并验证新元组不落入禁止族。
• 当 $\sum kn_{ij}^k = 0$ 且 $\sum in_{ij}^k = 2d+2g-14$ 时，若存在类型为 $(\ell,m;0)$ 且 $m \neq 0$ 的点，则可将问题约化为 $\sum in_{ij}^k$ 严格更小的元组，从而实现归纳。
• 例外情形 $(d,g) = (6,1)$ 通过验证 $(5,1,3;\mathbf{0})$ 和 $(5,1,2;\mathbf{0})$ 均为良好元组得以解决，依赖于 $r=2$ 和 $r=3$ 的先前结果。
• 主定理对 $r=3$ 成立，完成了 $∞$ 中一般曲线法丛插值性质的分类。