Complete quasimaps to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$

以下是 Alessio Cela 和 Carl Lian 的论文《Complete Quasimaps to $Bl_s(\mathbb{P}^r)$》的详细技术总结。

1. 问题陈述与动机

本文解决的核心问题是计算几何 Tevelev 度（$Tev_{g,n,\beta}^X$），即计算从一条固定的通用曲线 $C$（亏格为 $g$）到目标簇 $X$ 的映射 $f: C \to X$ 的数量，这些映射需满足 $n$ 个一般点 $p_i$ 的入射条件 $f(p_i) = x_i$。

• 障碍： 映射模空间的传统紧化（如稳定映射模空间 $\overline{M}_{g,n}(X, \beta)$ 或拟映射空间 $Q_\beta(C, X)$）通常无法提供枚举计数。虽然它们允许进行相交理论计算，但由此产生的积分通常给出“虚拟”计数。这些虚拟计数包含了来自奇异域映射的贡献，或者包含了以不满足入射条件的实际几何曲线方式退化的映射贡献（边界处的多余相交）。
• 目标： 作者旨在构建一个特定的映射模空间紧化，使得入射循环的相交是横截的，并且完全支撑在诚实的、非退化映射的轨迹上。这将使得典范相交数等于曲线的实际几何计数。

所研究的具体目标簇是沿线性子空间吹胀的射影空间：
$$X = Bl_s(\mathbb{P}^r)$$
其中 $s \leq r-2$。

2. 方法论与构造

作者提出了一种基于完全拟映射（Complete Quasimaps）的构造，扩展了之前关于 $\mathbb{P}^r$ 拟映射的工作（Lian, 2024）。该方法分为三个主要阶段：

A. 增广拟映射与线性级包含

作者没有从标准的拟映射空间 $Q_\beta(C, X)$ 开始，而是引入了一个更精细的增广拟映射空间，记为 $Q^+_\beta(C, X)$。

• 基础几何： 非退化映射 $f: C \to X$ 对应于线性级包含（Inclusion of Linear Series, ILS）。具体而言，该映射由一个度数为 $d$ 的线丛 $L$、一个度数为 $k$ 的有效除子 $D$ 以及一个截面子空间包含 $V \subset W$ 确定，其中 $W \subset H^0(C, L)$ 的维数为 $r+1$，而 $V \subset H^0(C, L(-D))$ 的维数为 $r-s$。
• 空间： $Q^+_\beta(C, X)$ 被构造为上述包含的模空间 $Gr^{r-s-1}_{d,k}(C)$ 上的射影丛。已知该空间具有预期的维数且是纯的。

B. 吹胀策略（完全拟映射）

空间 $Q^+_\beta(C, X)$ 仍然包含入射条件未能横截相交的轨迹。这些失效发生在定义映射的截面变得线性相关（低“双秩”）的层上。

• 双秩： 定义为 $(r_1, r_2) = (\dim \langle u_1, \dots, u_{r-s} \rangle, \dim \langle u_1, \dots, u_{r+1} \rangle)$。
• 构造： 作者将完全拟映射的模空间 $\widetilde{Q}_\beta(C, X)$ 定义为 $Q^+_\beta(C, X)$ 的迭代吹胀。
  • 吹胀是沿着低双秩的增广拟映射层的闭包进行的，首先按 $r_1$ 排序，然后按 $r_2$ 排序。
  • 这一过程通过“吹掉”那些维度大于预期的分量来消除多余相交，从而有效地将非退化映射的空间紧化。

C. 入射轨迹

作者将入射轨迹 $Inc(p, \Lambda) \subset \widetilde{Q}_\beta(C, X)$ 定义为 $f(p) \in \Lambda$（其中 $\Lambda \subset X$ 为线性子空间）所在轨迹的严格变换。核心猜想是 $n$ 个这样的一般入射轨迹的相交是：

1. 一般光滑的。
2. 具有预期余维数的纯的。
3. 完全支撑在诚实的、非退化映射的开轨迹上。

3. 主要贡献与结果

主要猜想

猜想 1.1.2 / 2.7.2： 对于 $X = Bl_s(\mathbb{P}^r)$，几何 Tevelev 度由入射类乘积在完全拟映射模空间上的积分给出：
$$Tev_{g,n,\beta}^X = \int_{\widetilde{Q}_\beta(C, X)} [Inc(p, x)]^n$$
这要求 $n \geq r+1$（以确保非退化性）。

定理 1.1.3（二维情形）

作者在 $X = Bl_q(\mathbb{P}^2)$（$\mathbb{P}^2$ 在一点的吹胀）的情形下证明了该猜想。

• 关键输入： 证明依赖于环面曲面上的曲线布利 - 诺特定理（定理 4.1.1，出自他们之前的工作 [CL25a]）。该定理保证，只要像曲线的反典范度足够高，到 $\mathbb{P}^2$ 的某些环面吹胀的映射模空间就是一般光滑的且具有预期维数。
• 横截性： 通过分析吹胀的层（特别是双秩 $(1,1)$ 和 $(1,2)$ 的轨迹）并利用布利 - 诺特定理，他们证明了入射轨迹横截相交，且未在边界处获得多余分量。

集合论描述

论文提供了 $\widetilde{Q}_\beta(C, X)$ 中点和入射轨迹的显式集合论描述。

• 例外除子中的点通过完全双共线映射（complete bi-collineations）描述，这是完全共线映射的推广。这涉及由映射截面导出的向量空间之间的线性映射序列，从而解决截面的退化问题。
• 对于 $X = Bl_q(\mathbb{P}^2)$，作者明确刻画了入射轨迹与例外除子的相交，展示了吹胀数据如何解决标记点处截面的“消失”问题。

与其他模空间的关系

作者将 $\widetilde{Q}_\beta(C, X)$ 与以下空间进行了比较：

1. 标准拟映射（$Q_\beta$）： 这些空间可能具有非预期维数的分量，且其虚拟类与枚举计数不匹配。
2. 朴素拟映射（$P$）： 这是之前工作 [CL23a] 中用于“大度”计算的空间。

• 结果： 在“大度”区域（$n > d+1$），$\widetilde{Q}_\beta$、$Q^+_\beta$ 和 $P$ 上的相交数重合且具有枚举性。然而，对于小的 $n$（在标准空间中横截性失效的情况），只有完全拟映射空间 $\widetilde{Q}_\beta$ 有望给出正确的枚举计数。

4. 意义与未来方向

• 多余相交的解决： 本文提供了一个具体的几何构造，以解决射影空间吹胀在枚举几何中的“多余相交”问题。它超越了虚拟计数，针对特定类别的目标实现了实际的几何计数。
• 布利 - 诺特定理： 这项工作突显了针对环面簇映射的新布利 - 诺特定理的必要性。二维情形的证明依赖于曲面的特定性质；一般情形则需要针对高维环面簇的适当类比。
• 未来工作：
  • 更高维度： 作者指出，证明 $X = Bl_s(\mathbb{P}^r)$（其中 $r > 2$）的猜想需要针对高维环面簇映射的“带点布利 - 诺特定理”（问题 5.2.2）。
  • 计算： 虽然模空间的存在性和横截性已确立（在二维情形下），但积分的显式计算（即实际的 Tevelev 度）被推迟到未来的工作中，预计将利用退化技术。

总之，本文引入了一个稳健的完全拟映射模空间，作为射影空间吹胀映射的“真实”枚举紧化的候选者。它通过利用先进的布利 - 诺特定理成功证明了曲面情形，为解决高维类似问题提供了一条途径。