[论文解读] Optimalité, congruences et calculs d'invariants des variétés symplectiques réelles de dimension quatre

Jean-Yves Welschinger|ArXiv.org|Jul 29, 2007

Algebraic Geometry and Number Theory参考文献 15被引用 17

一句话总结

本文利用规范场理论技术，建立了辛4-流形中实枚举不变量的最优性。证明了Welschinger型不变量 $\chi_r^d(L)$ 在实轨迹包含球面、环面或实射影平面（在约束条件下）时，为实有理曲线提供了紧致下界，并推导出二次曲面和 $\mathbb{RP}^2$ 情况下的同余性质与显式计算结果，包括 $\chi_{1}^{10} = -896$。结果通过带符号精炼枚举的 $J$-全纯曲线计数与辛拓扑中的颈部拉伸方法得出。

ABSTRACT

This paper follows a previous one in which were introduced deformation invariants $χ^d_r$, $d \in H_2 (X ; \Z)$, $r \in \N$, of closed real symplectic four-manifolds $(X, ω, c_X)$, invariants which produced lower bounds in real enumerative geometry. We prove here using methods of symplectic field theory that the lower bounds are sharp when $r \leq 1$ and the real locus of the manifold contains a sphere, torus or real projective plane (under stronger assumptions in this last case). We also prove that a big power of two divides $χ^d_r$ as soon as r is not too big and when the real locus contains a sphere or real projective plane (under the same stronger assumptions in this last case). We finally present some explicit computations in the case of the projective plane or quadric ellipsoid surface as well as the general formulas used to get them, formulas which involve some relative invariants that we first define.

研究动机与目标

• 证明先前工作中引入的实枚举不变量 $\chi_r^d(L)$ 是辛4-流形中实有理曲线的最优下界。
• 建立这些不变量的同余性质，特别是当实轨迹包含球面或 $\mathbb{RP}^2$ 时，$\chi_r^d$ 被高次幂的2整除。
• 通过相对不变量，计算特定实辛4-流形（如二次曲面和 $\mathbb{RP}^2$）的 $\chi_r^d(L)$ 的显式值。
• 将实枚举不变量的框架扩展至包含相对不变量，并提供其计算的一般公式。

提出的方法

• 利用规范场理论技术，特别是沿实轨迹 $\mathbb{R}X$ 中拉格朗日子流形 $L$ 的颈部拉伸，分析 $J$-全纯曲线的行为。
• 通过计数通过 $c_1(X)d - 1$ 个点的实有理 $J$-全纯曲线（其中 $r$ 个为实点，$r_X$ 对为共轭点），定义不变量 $\chi_r^d(L)$。
• 采用变形不变的符号计数过程，确保 $\chi_r^d(L)$ 与几乎复结构 $J$、点配置及同调类内的辛形式 $\omega$ 无关。
• 利用单位余切丛 $S^*L$ 的辛化来建模颈部区域，从而控制全纯曲线在 $L$ 附近渐近行为。
• 应用相对不变量的格罗莫夫-威滕理论，推导 $\chi_r^d(L)$ 的一般公式，尤其适用于 $\mathbb{RP}^2$ 和二次曲面情形。
• 通过辛和与相对不变量进行显式计算，得出七阶双二次型曲面上 $\chi_{1}^{10} = -896$。

实验结果

研究问题

• RQ1 实枚举不变量 $\chi_r^d(L)$ 是否为辛4-流形中实有理曲线数的最优下界？
• RQ2 当实轨迹包含球面或 $\mathbb{RP}^2$ 时，$\chi_r^d$ 的同余性质为何？其与不变量的2-adic赋值有何关联？
• RQ3 能否为特定实辛4-流形（如 $\mathbb{RP}^2$ 和二次曲面）推导出 $\chi_r^d(L)$ 的显式公式？
• RQ4 相对不变量与辛和公式在具体情形下如何贡献于 $\chi_r^d(L)$ 的计算？
• RQ5 在双二次型曲面上，$d = 10$ 且 $r = 1$ 时，$\chi_r^d(L)$ 的精确值是多少？其计算过程如何？

主要发现

• 当实轨迹包含球面、环面或 $\mathbb{RP}^2$ 时，不变量 $\chi_r^d(L)$ 在指定拓扑约束下，为辛4-流形中实有理 $J$-全纯曲线数提供了最优下界。
• 当 $r \leq 1$ 时，不变量 $\chi_r^d(L)$ 是最优的，即其提供的下界是紧致且可实现的。
• 当实轨迹包含球面或 $\mathbb{RP}^2$ 时，$\chi_r^d$ 被高次幂的2整除，且2-adic赋值随 $r$ 增加而上升，如定理2.1–2.3所示。
• 显式计算得出：在双二次型曲面的七个实点上，$\chi_{1}^{10} = -896$，该结果由相对不变量与辛和公式推导得出。
• 在双二次型曲面上通过七个点的实有理曲线数为：12条双次数为 $(2,2)$ 的曲线，1条双次数为 $(3,1)$ 的曲线，1条双次数为 $(1,3)$ 的曲线，最终得出不变量值。
• 通过相对不变量与辛和公式，推导出 $\chi_r^d(L)$ 的一般公式，其中使用 $N_d^{(a,b)}(0,e_1)$ 的值进行最终符号计数。