[论文解读] Fixed-point Localization for $\mathbb{RP}^{2m} \subset \mathbb{CP}^{2m}$

Amitai Netser Zernik|arXiv (Cornell University)|Mar 8, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 4

一句话总结

本文为复射影空间 $\mathbb{CP}^{2m}$ 中实射影空间 $\mathbb{RP}^{2m}$ 的等变开放 Gromov-Witten 不变量发展了一种固定点局部化公式，采用一种新颖的积分技巧，通过辅助空间抵消边界贡献。关键结果将这些不变量表达为 Givental 关联函数与下拉盘积分的组合，从而为平面上实有理曲线在实点与共轭对点约束下的 Welschinger 不变量提供了新公式。

ABSTRACT

We derive a fixed-point formula for integrals on moduli spaces of stable maps to projective spaces of even dimension. This gives a formula for the equivariant open Gromov-Witten invariants of (RP^{2m},CP^{2m}) and the structure constants of the equivariant Fukaya A-infinity algebra of RP^2m in CP^{2m} with bulk deformations. The formula involves contributions from Givental's correlators for the closed theory and the descendent integrals of discs, and specializes to give a new expression for the Welschinger count of real rational curves in the plane passing through some real and conjugation invariant pairs of points.

研究动机与目标

• 开发一种在稳定映射盘模空间存在边界贡献时，对等变开放 Gromov-Witten 不变量的固定点局部化技术。
• 通过引入可抵消边界项的辅助空间，解决开放 Gromov-Witten 理论中朴素局部化方法的失效问题。
• 计算带有背景与等变形变的等变 $A_\infty$-代数 $\mathrm{End}_{\mathrm{Fuk}^T(\mathbb{CP}^{2m})}(\mathbb{RP}^{2m})$ 的结构常数。
• 为通过实点与共轭不变点构型计数 $\mathbb{CP}^2$ 中实有理曲线的 Welschinger 不变量提供新表达式。

提出的方法

• 通过塔形空间 $\widetilde{M}_r^b \to M_r^b \to \widehat{M}_r^b$ 参数化具有 $r$ 条边的树状盘构型，对稳定盘模空间进行解析。
• 应用等变上同调与 Cartan-Weil 微分 $D = d - \sum \lambda_j \iota_{\xi_j}$，在这些空间上定义扩展形式。
• 通过对角爆破 $\widetilde{L} \times L$ 引入同伦收缩，定义积分映射 $\int_b \omega = \sum_{r \geq 0} \frac{1}{r!} \int_{\widetilde{M}_r^b} \widetilde{\omega}_r \cdot \Lambda^{\boxtimes r}$。
• 利用最陡下降法与奇异固定点公式处理非横截的固定点贡献，通过法丛邻域与爆破操作对局部化进行正则化。
• 应用同调微扰引理构造辅助空间，以抵消积分中的边界项，从而在边界贡献非零时仍能实现局部化。
• 推导出固定点公式 $\int_b \omega = \sum_{\varphi \in W} \frac{\xi_\varphi}{\mathrm{Aut}\, \varphi} \int_{\widehat{F}_\varphi} \widehat{\omega}_\varphi / e(\widehat{N}_\varphi)$，其中 $\widehat{F}_\varphi$ 为固定点分支，$e(\widehat{N}_\varphi)$ 为等变欧拉类。

实验结果

研究问题

• RQ1 当边界贡献不为零时，如何将固定点局部化方法推广至开放 Gromov-Witten 理论？
• RQ2 带有背景与等变形变的等变 $A_\infty$-代数 $\mathrm{End}_{\mathrm{Fuk}^T(\mathbb{CP}^{2m})}(\mathbb{RP}^{2m})$ 的精确结构是什么？
• RQ3 能否通过新的局部化公式从开放 Gromov-Witten 不变量中恢复 $\mathbb{CP}^2$ 中实有理曲线的 Welschinger 不变量？
• RQ4 如何构造辅助空间以抵消开放不变量中的边界项，其几何与同调角色是什么？
• RQ5 等变欧拉类与固定点贡献在开放不变量局部化公式中起什么作用？

主要发现

• 本文建立了 $\mathbb{RP}^{2m} \subset \mathbb{CP}^{2m}$ 的等变开放 Gromov-Witten 不变量的固定点局部化公式，其形式为对固定点分支 $\widehat{F}_\varphi$ 的求和，权重为 $\xi_\varphi / \mathrm{Aut}\, \varphi$，并包含等变欧拉类 $e(\widehat{N}_\varphi)$。
• 该公式计算了带有背景与等变参数的等变 $A_\infty$-代数 $\mathrm{End}_{\mathrm{Fuk}^T(\mathbb{CP}^{2m})}(\mathbb{RP}^{2m})$ 的刚性极小模型的结构常数。
• 该方法通过同调微扰引入辅助空间，成功处理了非零边界贡献，使得在朴素方法失效时仍能实现局部化。
• 当 $m=1$ 时，该公式恢复了 Solomon 的不变量，并表明其值为 Welschinger 不变量的两倍：$W_{k,l} = \frac{1}{2} I_1(k, (0,0,l), \frac{k+2l+1}{3})$，从而为 Welschinger 计数提供了新表达式。
• 积分映射满足 Stokes 定理 $\int_b D\omega = 0$，确保了在 Cartan-Weil 微分下扩展形式复形的一致性。
• 该构造与环流作用相容，并允许存在 $T$-等变法丛邻域，从而保证了其几何稳健性。