[论文解读] Kontsevich spaces of rational curves on Fano hypersurfaces

Eric Riedl, David Yang|arXiv (Cornell University)|Sep 12, 2014

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

一句话总结

本文证明了对于一般次数为 $d$ 的 $\mathbb{P}^n$ 中的超曲面，当 $n \geq d+2$ 时，度数为 $e$ 的 Kontsevich 稳定映射空间 $\overline{\mathcal{M}}_{0,0}(X,e)$ 是一个具有期望维数 $e(n-d+1)+n-4$ 的不可约局部完整交叠（local complete intersection stack）。该结果几乎完全解决了 Coskun、Harris 和 Starr 的一个猜想，并证实了这些超曲面上的 Gromov-Witten 不变量是可枚举的。

ABSTRACT

We investigate the spaces of rational curves on a general hypersurface. In particular, we show that for a general degree $d$ hypersurface in $\mathbb{P}^n$ with $n \geq d+2$, the space $\overline{\mathcal{M}_{0,0}}(X,e)$ of degree $e$ Kontsevich stable maps from a rational curve to $X$ is an irreducible local complete intersection stack of dimension $e(n-d+1)+n-4$.

研究动机与目标

• 确定一般 Fano 超曲面上有理曲线模空间的维数与几何结构。
• 解决 Coskun、Harris 和 Starr 关于 Fano 超曲面上空间 $\overline{\mathcal{M}}_{0,0}(X,e)$ 的期望维数的猜想。
• 通过证明模空间具有期望维数，确立这些超曲面上的 Gromov-Witten 不变量是可枚举的。
• 分析有理曲线未达到期望维数的子簇的余维数，特别是在 $n \geq d+2$ 的 Fano 范围内。
• 将已知的有理曲线结果推广至所有度数 $e$ 和所有满足 $n \geq d+2$ 的 Fano 超曲面。

提出的方法

• 将 Kontsevich 空间 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^n,e)$ 视为从有理曲线到 $\mathbb{P}^n$ 的稳定映射的光滑叠。
• 将 $\overline{\mathcal{M}}_{0,0}(X,e)$ 解释为 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^n,e)$ 上一个秩为 $ed+1$ 的向量丛的截面所截出的子叠。
• 应用形变理论与维数论论证，证明 $\overline{\mathcal{M}}_{0,0}(X,e)$ 的各分支维数至少为 $e(n-d+1)+n-4$。
• 通过在退化子簇（如非单射映射或 reducible 曲线）上使用归纳法与余维数估计，证明达到了期望维数。
• 分析评估映射的纤维维数，并利用一般性假设证明某些子簇具有高余维数。
• 应用一个关键不等式，涉及 $n$、$d$ 和 $e$，以界定违反期望维数的子簇的余维数，从而证明其不可约性与局部完整交结构。

实验结果

研究问题

• RQ1 对于一般 Fano 超曲面 $X \subset \mathbb{P}^n$（次数为 $d$）上的度数为 $e$ 的有理曲线，空间 $\overline{\mathcal{M}}_{0,0}(X,e)$ 是否具有期望维数 $e(n-d+1)+n-4$？
• RQ2 当 $n \geq d+2$ 时，$\overline{\mathcal{M}}_{0,0}(X,e)$ 是否对一般 $X$ 是不可约且为局部完整交叠？
• RQ3 这些超曲面上的 Gromov-Witten 不变量是否可枚举，即是否计数满足关联条件的实际有理曲线？
• RQ4 在 $\overline{\mathcal{M}}_{0,0}(X,e)$ 中，非单射或 reducible 有理曲线的子簇的余维数是多少？是否超过期望阈值？
• RQ5 Coskun、Harris 和 Starr 的猜想是否对所有 $e$ 在 Fano 范围 $n \geq d+2$ 内成立，除 $(n,d)=(3,4)$ 情况外？

主要发现

• 对于一般次数为 $d$ 的 $\mathbb{P}^n$ 中的超曲面，当 $n \geq d+2$ 时，空间 $\overline{\mathcal{M}}_{0,0}(X,e)$ 是一个维数为 $e(n-d+1)+n-4$ 的不可约局部完整交叠。
• 当 $e \leq \frac{n+1}{n-d+1}$ 时，非单射或 reducible 映射的子簇 $S_e$ 的余维数至少为 $\binom{n}{2} + d - 2en + \frac{e(e+1)}{2}(n-d+1) - e + 1$，且当 $n \geq 6$ 时该值为正。
• 当 $n \geq d+2$ 时，通过固定点 $p \in X$ 的度数为 $e$ 的有理曲线空间对所有 $e$ 具有期望维数，该结论通过余维数估计与归纳法得到证明。
• 该结果解决了 Coskun-Harris-Starr 猜想的几乎所有情况，仅排除了 $(n,d) = (3,4)$ 的情形。
• 由于模空间具有期望维数且不可约，这些超曲面上的 Gromov-Witten 不变量是可枚举的。
• 证明的关键在于：评估映射的纤维具有高余维数，且退化子簇不支配模空间，从而确保达到期望维数。