Interpolation for rational curves with secants

技术摘要：带割线的有理曲线插值问题

问题陈述
本文研究了在射影空间 $\mathbb{P}^r$ 中，受割线条件限制的有理曲线的插值问题。具体而言，给定整数 $d, k, r, s$ 以及一个线性空间 $P_s \subset \mathbb{P}^r$，作者研究了满足以下条件的有理曲线 $f: \mathbb{P}^1 \to \mathbb{P}^r$ 的存在性与计数问题：该曲线与 $P_s$ 相交且重数为 $k$，并经过 $n$ 个一般点 $x_1, \dots, x_n$。研究考虑了两种情形：

1. 未规定点（Unprescribed points）： 确定一个一般此类曲线最多能经过多少个一般点（问题 1.1.1(a)）。
2. 规定点（Prescribed points）： 确定最多可以指定多少个一般点 $p_i \in \mathbb{P}^1$，使得 $f(p_i) = x_i$（对于一般 $x_i$）（问题 1.1.1(b)）。

在几何上，这些问题可以通过对吹胀空间 $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$ 进行重新表述。与 $P_s$ 相交且重数为 $k$ 的曲线对应于度数为 $(d, k)$ 的映射 $f: \mathbb{P}^1 \to X_{r,s}$。这些问题归结为确定此类映射的模空间到目标空间的评价映射（evaluation maps）是否是满射。

方法论
作者通过分析与一般映射 $f$ 相关联的两个特定向量丛的拆分类型（splitting types）来得出答案：

• 法丛（Normal bundle） $N_{C/X_{r,s}}$：它控制曲线在环境空间内的变形（与未规定点相关）。
• 限制切丛（Restricted tangent bundle） $f^* T_{X_{r,s}}$：它控制具有固定定义域点的映射的变形（与规定点相关）。

核心技术工具是平衡性（balancedness）性质。在 $\mathbb{P}^1$ 上的向量丛是平衡的，如果它拆分为度数相差最多为 1 的线丛的直和。在特征为 0 的情况下，向量丛是平衡的，当且仅当它满足插值性质（即其截面在一般点处按预期消失）。作者将这些结果扩展到了任意特征，包括存在额外阻碍的特征 2。

主要的算法方法是退化法（degeneration）。作者构造了奇异节点曲线 $C = C' \cup L$（其中 $L$ 是特定次数的直线），并分析了这些奇异曲线的法丛和切丛。通过使用**初等修改（elementary modifications）和点丛（pointing bundles）**理论，他们将奇异曲线的丛与光滑分量的丛联系起来。通过证明插值在平坦族中是一个开放条件，他们从奇异曲线推导出了一般光滑曲线的性质。

关键技术步骤包括：

• 归纳步骤： 建立如下关系：如果度数为 $(d, k)$ 的丛是平衡的（或“几乎平衡”的），那么度数为 $(d + r - s - 1, k + 1)$ 的丛也是平衡的。这涉及向曲线添加特定的直线配置。
• 阻碍分析： 识别导致平衡性失效的具体几何和算术条件。这些包括：
  • 退化（Degeneracy）： 当曲线的像位于一个真线性子空间内时。
  • 投影序列（Projection Sequences）： 当相对切丛的斜率相对于投影的法丛过大时，导致扩张序列以非平衡的方式分裂。
  • 特征 2 阻碍： 特征 2 中与 Frobenius 映射和次数奇偶性相关的特定失败，这些因素即使在满足斜率条件时也会阻止平衡性。

主要贡献与结果

1. 法丛的完全确定：
   论文提供了在任意特征下，$X_{r,s}$ 中一般有理曲线的法丛 $N_{C/X_{r,s}}$ 拆分类型的完整分类。

   • 特征 $\neq 2$： 当且仅当曲线是非退化的且度数 $d$ 满足特定下界 $d \ge L_{r,s}(k)$ 时，该丛是平衡的。如果 $d$ 较小，它将拆分为相对切丛与投影的法丛的直和，后者是非平衡的。
   • 特征 2： 作者指出，平衡性的失效不仅是因为投影序列的分裂，还因为继承自环境射影空间 $\mathbb{P}^r$ 的阻碍（特别是当 $(r-1) \nmid (d-1)$ 时）以及关于 $d$ 和 $k$ 的特定算术条件。定理 1.4.3 指出，这些是仅有的阻碍。

2. 限制切丛的完全确定：
   论文确定了所有特征下限制切丛 $f^* T_{X_{r,s}}$ 的拆分类型。

   • 与法丛不同，限制切丛是平衡的，当且仅当涉及 $d, k, r, s$ 的特定不等式成立（$d \ge L^t_{r,s}(k)$）。该条件在所有特征下都是一致的。
   • 这一结果意味着，一般曲线所能经过的最大规定点数由限制切丛的斜率决定，且与域的特征无关。

3. 枚举结果（Tevelev 度数）：
   在附录中，作者在点数达到最大时对这类插值曲线进行计数。他们计算了 $X_{r,s}$ 的“Tevelev 度数”，给出了满足 $n$ 个一般相交条件的映射数量公式。这恢复了 $s=0$ 时的先前结果，并将它们推广到了高维线性空间。

意义与主张
该论文声称解决了任意特征下带割线的有理曲线的插值问题。其重要性在于：

• 统一性： 确立了规定点问题（问题 1.1.1(b)）在特征上是统一的，而未规定点问题（问题 1.1.1(a)）则表现出不同的行为。
• 完备性： 提供了一份完整的平衡性阻碍列表，表明在特征 2 中，平衡性的失败完全可以用投影序列的分裂或从环境射影空间传播的非平衡性来解释。
• 推广性： 将已知关于 $\mathbb{P}^r$ 中有理曲线（$k=0$）的结果扩展到了更复杂的带有割线条件（$k>0$）的吹胀空间设置中。

作者明确指出，虽然他们侧重于有理曲线，但其方法和问题与正亏格的一般曲线相关，尽管这些情况在本研究中未被处理。这些结果是利用代数几何技术（特别是模空间、向量丛理论和退化论证）严谨推导出来的，不依赖于实验数据或未经证实的猜想。