[论文解读] Welschinger invariant and enumeration of real plane rational curves

Ilia Itenberg, Viatcheslav Kharlamov+1 more|ArXiv.org|Mar 30, 2003

Polynomial and algebraic computation参考文献 9被引用 4

一句话总结

该论文利用Welschinger不变量与Mikhalkin的热带几何方法，建立了在实射影平面上通过 $3d-1$ 个一般实点的 $d$ 次实有理曲线数量的下界。证明了至少存在 $d!/2$ 条这样的实有理曲线，确认了实解的存在性，并表明在对数尺度下，渐近地至少有三分之一的复有理曲线是实的。

ABSTRACT

Welschinger's invariant bounds from below the number of real rational curves through a given generic collection of real points in the real projective plane. We estimate this invariant using Mikhalkin's approach which deals with a corresponding count of tropical curves. In particular, our estimate implies that, for any positive integer $d$, there exists a real rational curve of degree $d$ through any collection of $3d-1$ real points in the projective plane, and, moreover, asymptotically in the logarithmic scale at least one third of the complex plane rational curves through a generic point collection are real. We also obtain similar results for curves on other toric Del Pezzo surfaces.

研究动机与目标

• 建立在 $\mathbb{R}P^2$ 中通过 $3d-1$ 个一般实点的实有理曲线数量的非平凡下界。
• 解决长期悬而未决的公开问题：对于任意次数 $d$，此类实有理曲线是否始终存在。
• 将Welschinger不变量推广至其他环面Del Pezzo曲面，并为其线性系统中的有理曲线推导出类似下界。
• 通过证明Welschinger不变量随 $d!/2$ 增长，表明其提供了有意义的下界，意味着在渐近意义下，复曲线中存在正比例的实曲线。

提出的方法

• 使用Welschinger的不变量，该不变量为实有理曲线分配 $\pm1$ 的权重，从而生成一个与点配置无关的拓扑不变量。
• 应用Mikhalkin的热带几何方法来计数热带曲线，将实枚举问题转化为在热带曲面上的组合计数。
• 依赖于Del Pezzo曲面的性质：Gromov-Witten不变量计数不可约有理曲线，从而使得在此背景下可应用Welschinger不变量。
• 通过退化技术，建立代数曲面上的实有理曲线与其热带对应物之间的对应关系。
• 利用Bézout定理与分支公式，分析曲线在线束的奇点和基点附近的性质。
• 使用分支阶的变分公式分析曲线空间实部分的分叉现象，将拓扑变化与Welschinger不变量的变化联系起来。

实验结果

研究问题

• RQ1 对于 $\mathbb{R}P^2$ 中任意 $3d-1$ 个一般实点的集合，是否总存在至少一条 $d$ 次实有理曲线通过它们？
• RQ2 Welschinger不变量作为实有理曲线数量的下界，其非平凡性如何？
• RQ3 能否有效利用热带几何方法对Del Pezzo曲面的Welschinger不变量进行估计？
• RQ4 在对数尺度下，通过 $3d-1$ 个一般点的复有理曲线中，实曲线所占的比例是多少，渐近意义下？
• RQ5 Welschinger不变量是否可推广至正亏格曲线（如椭圆曲线）？

主要发现

• 对于任意 $d \geq 1$，在 $\mathbb{R}P^2$ 中任意 $3d-1$ 个一般实点处，至少存在 $d!/2$ 条 $d$ 次实有理曲线，确认了实解的存在性。
• 下界 $d!/2$ 的对数渐近为 $\frac{1}{3} \log N^{\mathbb{C}}_{\mathbb{P}^2,d}$，意味着在对数尺度下，至少有三分之一的复有理曲线是实的。
• 显式计算了Welschinger不变量的值：$W_4 = 240$ 和 $W_5 = 18264$，验证了其增长速率。
• 该下界可推广至其他环面Del Pezzo曲面：$Q = \mathbb{C}P^1 \times \mathbb{C}P^1$ 和 $P_k$（即在 $\mathbb{C}P^2$ 中 blown up $k$ 个点的曲面），并给出了依赖于除子类的显式公式。
• Welschinger不变量不能直接推广至椭圆曲线，因为实部分的分叉可能导致不变量随配置变化。
• 对于有一个节点的诺代曲线，当 $d \geq 4$ 时，Welschinger数并非不变量，因其依赖于线束中共轭虚基点的数量。