[论文解读] Examples of vanishing Gromov--Witten--Welschinger invariants

Janós Kollár|arXiv (Cornell University)|Jan 10, 2014

Finite Group Theory Research参考文献 1被引用 8

一句话总结

本论文构建了代数几何中实枚举问题的显式例子，其无实解，重点研究消失的 Gromov–Witten–Welschinger 不变量。通过分析 ℙ³ 中位于四次椭圆曲线上的一组点配置，证明对于偶数次 d，某些 2d 个点的配置不包含任何实有理曲线，次数为 d，利用椭圆曲线上的挠点和二次曲面几何，通过带符号不变量和退化论证证明其不存在性。

ABSTRACT

We give examples of real enumerative problems without real solutions. Most of the examples concern rational curves in ${\mathbb C}{\mathbb P}^3$ passing through a real set of points and lines.

研究动机与目标

• 证明某些 ℙ³ 中的实枚举问题虽预测不变量非零，却无实解。
• 通过退化配置将已知的 Gromov–Witten–Welschinger 不变量消失的例子推广至更高偶次。
• 分析当所有 2d 个点位于 ℙ³ 中的四次椭圆曲线上时，通过这些点的有理曲线的几何性质。
• 证明对于偶数 d，存在 2d 个点的一般位置配置，使得通过它们的实有理曲线次数为 d 时不存在。
• 将该方法推广至其他空间，包括 ℙ^{4n−1} 和 ℙ³ 中的奇次曲线，利用二次曲面与圆锥曲线约束。

提出的方法

• 利用 ℙ³ 中 8 个一般点的二次曲面线性系，证明它们位于唯一的四次椭圆曲线 E₄ 上。
• 通过限制到包含 E₄ 的二次曲面，分析通过 2d 个点的 d 次曲线，将问题约化为 E₄ 上线丛的研究。
• 应用 Pic(E₄) 中的等式 2L₂ ∼ P₂d − H₄ 对可能的曲线进行分类，解对应于 2-挠点。
• 利用仅特定线丛 L₂ 在 E₄ 上可产生实曲线的事实，并借助二次曲面上实与共轭点对的几何性质。
• 应用退化技术：将曲线扰动至奇异二次曲面上，证明实亏格 0 曲线的极限无法满足所有约束。
• 利用二次曲面上实与复曲线的结构（如不相交的直线或圆锥曲线）排除几何连通实曲线的存在性。

实验结果

研究问题

• RQ1 在 ℙ³ 中，对于哪些 2d 个实点或共轭复点的配置，不存在通过它们的 d 次实有理曲线？
• RQ2 Gromov–Witten–Welschinger 不变量的消失是否可在更高次情形中由实解的实际缺失来实现？
• RQ3 椭圆曲线上挠点在分类二次曲面上实有理曲线中起什么作用？
• RQ4 在奇异二次曲面上曲线的退化如何影响实有理曲线作为极限的存在性？
• RQ5 该方法能否推广至其他空间，如 ℙ^{4n−1} 或 ℙ³ 中的奇次曲线？

主要发现

• 对每个偶数 d，存在 ℙ³ 中 2d 个点的一般位置配置，使得通过它们的 d 次实有理曲线不存在。
• 当所有 2d 个点位于 ℙ³ 中的四次椭圆曲线 E₄ 上时，若 Pic(E₄) 中对应的线丛 L₂ 不是实的，则 d 次实有理曲线的数量为零。
• 当 d=4 时，存在 4 种拓扑不同的配置类型，含 8 个实点，另有 11 种含 4 对共轭点，所有这些配置均不产生实有理曲线。
• 该方法构造了两组无穷族：在 ℙ^{4n−1} 中与 4 个维数为 2n−1 的线性子空间相交的直线，以及在 ℙ³ 中与 4d 个点和 4 条直线相交的奇次有理曲线。
• 在 ℙ² 中，对于三次与四次曲线，若点位于空圆锥 x²+y²+z²=0 上，则不存在实有理曲线，因为此类曲线需包含非实分量。
• ℙ² 中的曲线 Q¹_E + Q′（其中 Q¹_E 为空，Q′ 为圆锥）仅当 Q′ 为一对共轭直线时才可能是实亏格 0 曲线的极限，而对一般选择该条件不成立。