[论文解读] Toward an algebraic theory of Welschinger invariants

Marc Levine|arXiv (Cornell University)|Aug 7, 2018

Algebraic Geometry and Number Theory参考文献 10被引用 4

一句话总结

本论文通过在格罗滕迪克-惠特环 GW(k) 中定义一个二次不变量，建立了在任意特征 ≠ 2,3 的完美域上 Welschinger 不变量的代数理论。该不变量用于计算在固定类 D 中通过 r = −D·K_S − 1 个点的有理曲线数目。关键结果是：该不变量在对称积 Sym^r(S)^0 的 A¹-连通分支上保持恒定，将 Welschinger 的实不变性推广至代数几何领域。

ABSTRACT

Let $S$ be a smooth del Pezzo surface over a field $k$ of characteristic $ eq 2, 3$. We define an invariant in the Grothendieck-Witt ring $GW(k)$ for "counting" rational curves in a curve class $D$ of fixed positive degree (with respect to the anti-canonical bundle $-K_S$) and containing a collection of distinct closed points $\mathfrak{p}=\sum_ip_i$ of total degree $r:=-D\cdot K_S-1$ on $S$. This recovers Welschinger's invariant in case $k=\mathbb{R}$ by applying the signature map. The main result is that this quadratic invariant depends only on the $\mathbb{A}^1$-connected component containing $\mathfrak{p}$ in $Sym^r(S)^0(k)$, where $Sym^r(S)^0$ is the open subscheme of $Sym^r(S)$ parametrizing geometrically reduced 0-cycles.

研究动机与目标

• 将 Welschinger 的实 Gromov-Witten 不变量推广至任意特征 ≠ 2,3 的完美域上的代数几何。
• 利用格罗滕迪克-惠特环 GW(k) 构造曲线计数的二次提升。
• 在 0-循环的参数空间中，建立 Welschinger 型不变量在 A¹-同伦等价下的不变性。
• 通过 GW(k)-值不变量，将经典实有理曲线计数推广为任意域上的全局代数不变量。

提出的方法

• 对每个 0-循环 η ∈ Sym^r(S)^0(k)，基于亏格 0 的稳定映射 f:C → S 且像在类 D 中，定义 GW(k)-值不变量 Wel_S,D(η)。
• 通过从 z^{-1}(η) 中的几何点 x 到函数域 k(η) 的迹映射，构造该不变量，使用 GW(k(x))-值不变量 Wel_{k(x)}(f_x(C_x))。
• 证明该不变量在 Sym^r(S)^0 的所有余维一点上无分支，从而可唯一延拓为 GW-层的全局截面。
• 利用形交换的形形式模型和有限扩张理论，证明该不变量在特殊纤维提升与特化下保持不变。
• 利用奇点集合在基上为 étale 的事实，保持双重点的数量与类型不变。
• 结合 GW(k) 的 A¹-不变性与稳定映射模堆栈的结构，得出该不变量在 A¹-连通分支上全局恒定。

实验结果

研究问题

• RQ1 Welschinger 对实有理曲线的带符号计数能否通过 GW(k) 中的二次型推广为任意域上的代数不变量？
• RQ2 当限制在 del Pezzo 曲面的对称积的 A¹-连通分支时，Welschinger 型不变量是否与点的配置无关？
• RQ3 格罗滕迪克-惠特环如何编码在非代数闭域上具有指定奇点的有理曲线的带符号计数？
• RQ4 在形式族中变形至特殊纤维时，GW-值不变量的代数-几何意义为何？

主要发现

• 代数 Welschinger 不变量是 Sym^r(S)^0 上格罗滕迪克-惠特环层的全局截面，证明其在 A¹-同伦下不变。
• 当 K = ℝ 时，GW(K)-值不变量的符号恢复了 Welschinger 对实有理曲线的带符号计数，符号取决于度数 d。
• GW(K)-值不变量的秩等于在代数闭包上通过给定 0-循环的类 D 中的复有理曲线数量。
• 该不变量在 Sym^r(S)^0 的所有余维一子集上无分支，确保其在整个对称积上全局延拓。
• 只要 D 被拉回，该构造在 S 上的点处的爆破下保持不变，因为对称积中余维一子集被保持。
• 该不变量仅依赖于 Sym^r(S)^0 中 0-循环的 A¹-连通分支，而不依赖于具体代表元。