[论文解读] Welschinger invariants of toric Del Pezzo surfaces with non-standard real structures

Eugeniĭ Shustin|ArXiv.org|May 27, 2006

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

一句话总结

本文利用热带枚举几何，为四类非标准实 торic Del Pezzo 表面——${\mathbb{S}}^2$、${\mathbb{S}}^2_{1,0}$、${\mathbb{S}}^2_{2,0}$ 和 ${\mathbb{S}}^2_{0,2}$——建立了 Welschinger 不变量的热带公式。结果表明，这些不变量可表示为与热带曲线相关的组合对象的加权和，证明了完全实配置下的正性，并确认了在给定线性系统中存在实有理曲线。

ABSTRACT

The Welschinger invariants of real rational algebraic surfaces are natural analogues of the Gromov-Witten invariants, and they estimate from below the number of real rational curves passing through prescribed configurations of points. We establish a tropical formula for the Welschinger invariants of four toric Del Pezzo surfaces, equipped with a non-standard real structure. Such a formula for real toric Del Pezzo surfaces with a standard real structure (i.e., naturally compatible with the toric structure) was established by Mikhalkin and the author. As a consequence we prove that, for any real ample divisor $D$ on a surfaces $Σ$ under consideration, through any generic configuration of $c_1(Σ)D-1$ generic real points there passes a real rational curve belonging to the linear system $|D|$.

研究动机与目标

• 计算非标准实 toric Del Pezzo 表面的 Welschinger 不变量，这些表面与 toric 结构并不自然兼容。
• 将热带枚举几何技术扩展至此前不变量已知的非标准实 toric Del Pezzo 表面之外。
• 建立一个组合公式，将 Welschinger 不变量表示为热带曲线及形变模式的加权和。
• 通过给定线性系统中通用实点或共轭虚点配置，证明实有理曲线的存在性。
• 证明在完全实配置下 Welschinger 不变量为正，从而表明在指定线性系统中存在实有理曲线。

提出的方法

• 利用热带枚举几何，将 Welschinger 不变量表示为与热带曲线相关的加权组合对象之和。
• 应用形变模式以限制曲线，根据分量权重和节点奇偶性区分实曲线与共轭对。
• 通过参数的赋值和初值条件施加点条件，确保横截性及实有理曲线的存在性。
• 利用偶权重分量对应实点时，其贡献以相反符号成对抵消，从而在不变量中消除。
• 对于实点处的奇权重分量，确保所有形变模式选择下符号一致（即孤立节点奇偶性一致）。
• 依赖文献[17]和[18]的结果，以确保曲线对参数的光滑依赖性及点条件的横截性。

实验结果

研究问题

• RQ1 能否利用热带几何计算非标准实 toric Del Pezzo 表面的 Welschinger 不变量？
• RQ2 对应于这些表面实有理曲线的热带曲线具有何种组合结构？
• RQ3 形变模式与节点奇偶性如何影响非标准实结构中 Welschinger 不变量的符号？
• RQ4 在何种条件下 Welschinger 不变量保持正性？这对其在指定线性系统中实有理曲线的存在性有何含义？
• RQ5 Welschinger 不变量是否存在与 Gromov-Witten 不变量可比的统一渐近行为？

主要发现

• 对于 ${\mathbb{S}}^2$、${\mathbb{S}}^2_{1,0}$、${\mathbb{S}}^2_{2,0}$ 或 ${\mathbb{S}}^2_{0,2}$ 上任意实线丛 $\mathcal{L}$，其 Welschinger 不变量由涉及组合对象的加权和的热带公式给出。
• 对于 $c_1(\Sigma)D - 1$ 个完全实点的配置，Welschinger 不变量为正，意味着 $|D|$ 中至少存在一条实有理曲线。
• 当所有对应实点的分量均为奇权重时，贡献的实有理曲线数量为 $\prod_{j=1}^{r''_1} (w(G'_j))^2$，且所有曲线符号相同，由节点奇偶性决定。
• 实点处的偶权重分量因具有相反节点奇偶性的配对形变模式而产生抵消，导致不变量中相互抵消。
• Welschinger 不变量的对数渐近增长速率与 Gromov-Witten 不变量一致，满足 $\lim_{n\to\infty} \frac{\log W_0(\Sigma, \mathcal{L}^{\otimes n})}{n\log n} = -c_1(\mathcal{L})K_\Sigma$。
• 由于 Welschinger 不变量定理，不变量与通用配置的选择无关，该结论通过热带方法得到验证。