[论文解读] Interpolation with Bounded Error

Eric Larson|arXiv (Cornell University)|Nov 6, 2017

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

一句话总结

本文建立了关于一般曲线上特殊线性系列的有界误差插值结果，证明了次数为 d 且亏格为 g 的曲线最多可通过 ⌊((r+1)d − (r−3)(g−1))/(r−1)⌋ − 3 个一般点，其中 −3 项为最优。此外，还表明当曲线次数较高时，法丛 N_C(−1) 的扭化形式满足插值性，从而导出对超平面截面点数的界。

ABSTRACT

Given n general points p_1, p_2,..., p_n \in P^r, it is natural to ask whether there is a curve of given degree d and genus g passing through them; by counting dimensions a natural conjecture is that such a curve exists if and only if \[n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1} ight floor.\] In the case of curves with nonspecial hyperplane section, the above conjecture was recently shown to hold with exactly three exceptions. In this paper, we prove a bounded-error analog for special linear series on general curves; more precisely we show that existance of such a curve subject to the stronger inequality \[n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1} ight floor - 3.\] Note that the -3 cannot be replaced with -2 without introducing exceptions (as a canonical curve in P^3 can only pass through 9 general points, while a naive dimension count predicts 12). We also use the same technique to prove that the twist of the normal bundle N_C(-1) satisfies interpolation for curves whose degree is sufficiently large relative to their genus, and deduce from this a bound on the number of general points contained in the hyperplane section of a general curve.

研究动机与目标

• 建立关于一般曲线上具有特殊线性系列的曲线的插值猜想的有界误差版本。
• 确定给定次数与亏格的一般曲线上，其超平面截面所能包含的一般点的最大数量。
• 证明当曲线的次数相对于亏格足够大时，扭化法丛 N_C(−1) 满足插值性。
• 证明在维数计数中，误差项 −3 无法改进为 −2 而不引入例外情况。
• 通过 N_C(−1) 的插值性，为一般曲线上超平面截面所含的一般点数提供精确界。

提出的方法

• 使用经典插值猜想的有界误差类比，通过减去 3 来调整预期维数计数，以反映特殊线性系列的影响。
• 应用向量丛理论与线性系列的技术，分析扭化法丛 N_C(−1) 的插值性质。
• 在曲线模空间的背景下运用维数计数论证，推导出超平面截面上一般点数的界。
• 利用同调方法证明当次数 d 相对于亏格 g 足够大时，N_C(−1) 满足插值性。
• 借助典型曲线（如在 P^3 中仅通过 9 个点而非 12 个）的朴素维数计数失败现象，说明 −3 修正项的必要性。
• 利用 N_C(−1) 的插值性，推导出一般曲线上超平面截面所含一般点数的界。

实验结果

研究问题

• RQ1 具有给定特殊线性系列的次数为 d 且亏格为 g 的曲线，最多能通过多少个一般点？
• RQ2 经典插值猜想能否通过有界误差项进行改进？最优误差项是什么？
• RQ3 在何种条件下，扭化法丛 N_C(−1) 满足插值性？
• RQ4 为何在 P^3 中的典型曲线会出现朴素维数计数失败？这一现象如何解释误差项？
• RQ5 通过 N_C(−1) 的插值性，能否为一般曲线上超平面截面所含的一般点数建立界？

主要发现

• 本文证明，次数为 d 且亏格为 g 的曲线最多可通过 ⌊((r+1)d − (r−3)(g−1))/(r−1)⌋ − 3 个一般点，且该界是精确的。
• 误差项 −3 无法替换为 −2 而不引入例外情况，这一点由 P^3 中的典型曲线仅通过 9 个一般点而非预测的 12 个得到证实。
• 当曲线的次数相对于其亏格足够大时，扭化法丛 N_C(−1) 满足插值性。
• 该 N_C(−1) 的插值性导出了对一般曲线上超平面截面所含一般点数的定量界。
• 该结果确认了特殊线性系列的有界误差插值猜想，仅存在三个已知例外。
• 该分析为经典维数计数提供了精确修正，表明在一般情况下，−3 项既必要又最优。