[论文解读] Enumerative invariants of stongly semipositive real symplectic six-manifolds

Jean-Yves Welschinger|ArXiv.org|Sep 6, 2005

Geometric and Algebraic Topology参考文献 14被引用 9

一句话总结

本文通过基于旋量态为实有理 J-全纯曲线分配符号权重（+1 或 -1），为强半正定实辛六维流形引入了整数值枚举不变量。这些不变量在对称结构与几乎复结构的形变下保持不变，并为通过实点配置的实有理曲线数量提供了下界，将四维情形下的先前不变量推广至六维，在实轨迹的拓扑约束下实现。

ABSTRACT

Following the approach of Gromov and Witten, we define invariants under deformation of stongly semipositive real symplectic six-manifolds. These invariants provide lower bounds in real enumerative geometry, namely for the number of real rational $J$-holomorphic curves which realize a given homology class and pass through a given real configuration of points.

研究动机与目标

• 为实辛六维流形定义整数值不变量，使其在辛结构与几乎复结构形变下保持不变。
• 将四维情形下的基于符号的不变量推广至六维，克服实数上朴素曲线计数的非不变性问题。
• 通过引入与实轨迹上拓扑结构相关的旋量态，建立高维辛流形中实枚举几何的框架。
• 确保不变量在扰动下具有鲁棒性，并为给定同调类中实有理曲线的实际数量提供有意义的下界。

提出的方法

• 该方法通过基于其旋量态为每个实有理 J-全纯曲线分配 {±1} 中的符号来构造不变量，旋量态由流形实轨迹上的 Pin⁻₃ 结构定义。
• 旋量态通过实轨迹的第二施蒂费尔-惠特尼类定义，要求其为零或等于第一施蒂费尔-惠特尼类的平方。
• 通过在给定同调类中通过实点配置的所有实有理 J-全纯曲线的旋量符号之和获得不变量。
• 通过分析实稳定映射的模空间并证明符号计数在几乎复结构空间的路径上保持不变，建立其在形变下的不变性。
• 使用横截性与扰动技术确保模空间的通用性，并控制投影映射到几乎复结构空间的临界点附近的行为。
• 证明依赖于投影映射 πℝ 的局部分析以及模空间中墙附近符号和的行为，表明不变量在这些墙之间保持连续。

实验结果

研究问题

• RQ1 能否为实辛六维流形中的实有理 J-全纯曲线定义在辛结构与几乎复结构形变下保持不变的整数值不变量？
• RQ2 在 ℝ 不是代数闭域的条件下，如何消除实枚举几何中对几乎复结构与点配置选择的依赖性？
• RQ3 实轨迹上需要满足何种拓扑条件，才能在六维中为实有理曲线一致定义旋量态？
• RQ4 此类不变量能否作为给定同调类中实有理曲线实际数量的下界？
• RQ5 这些不变量与低维情形下的现有不变量有何关联？与卡拉比-丘六维流形的后续发展有何关系？

主要发现

• 本文通过为实有理 J-全纯曲线分配旋量符号，为强半正定实辛六维流形构造了形变不变的整数值不变量。
• 这些不变量在给定通用几乎复结构 J 与横截且有限的实点配置下保持不变。
• 这些不变量为实现给定同调类并经过实点配置的实有理 J-全纯曲线数量提供了下界。
• 不变量的定义依赖于实轨迹上的拓扑条件：w₂(ℝX) = 0 或 w₂(ℝX) = w₁(ℝX)²。
• 通过证明符号和在实稳定映射模空间的墙之间保持不变，结合局部扰动与横截性论证，证明了不变量的不变性。
• 在已知情形下结果是精确的，例如在二次曲面三倍曲面中，下界可被达到；且已在 ℂP² 与双曲抛物面等具体例子中计算出不变量。