[论文解读] Gromov-- Witten Invariants of Toric Fibrations

Jeffrey Brown|ArXiv.org|Jan 9, 2009

Algebraic Geometry and Number Theory参考文献 5被引用 7

一句话总结

本文建立了一种公式，将环面纤维丛的亏格0 Gromov–Witten不变量与其底流形的不变量联系起来，推广了Elezi的猜想，并扩展了Givental的镜像定理。通过辛几何与量子上同调，证明了全空间的J函数由基的J函数与纤维数据通过一个扭曲的振荡积分确定，其中量子黎曼–罗赫定理在推导过程中起关键作用。

ABSTRACT

We prove a conjecture of Artur Elezi in a generalized form suggested by Givental. Namely, our main result relates genus-0 Gromov--Witten invariants of a bundle space with such invariants of the base, provided that the fiber is a toric manifold. When the base is the point, a new proof of mirror theorems by A. Givental and by H. Iritani for toric manifolds is obtained.

研究动机与目标

• 将Elezi关于环面纤维丛的Gromov–Witten不变量的猜想推广到更广泛的框架。
• 通过精确的数学公式，建立环面纤维丛的亏格0 Gromov–Witten理论与其底流形理论之间的联系。
• 通过将情况特化为底为一点的情形，为Givental与Iritani的环面流形镜像定理提供新的证明。
• 通过驻定相渐近分析与辛几何，建立振荡积分与量子不变量之间的联系。
• 证明全空间的受控拉格朗日子流形锥由底流形的锥与纤维数据通过涉及法丛的扭曲作用确定。

提出的方法

• 使用J函数作为亏格0 Gromov–Witten不变量的生成函数，通过稳定映射模空间上的积分来定义。
• 应用稀释位移约定，将诺维科夫环中的上同调类与 $\mathcal{H} = H((1/z))$ 上的辛环路空间结构联系起来。
• 在辛环路空间 $ (\mathcal{H}, \Omega) $ 中采用受控拉格朗日子流形形式，其中锥由其与 $ -1/z + z\mathcal{H}_- $ 的交点确定。
• 引入一个扭曲的振荡积分 $ \mathcal{I}_\alpha $ 来模拟纤维类的贡献，其渐近行为通过驻定相近似计算。
• 应用量子黎曼–罗赫定理，将扭曲与未扭曲的Gromov–Witten理论联系起来，使用 $ \hat{\Gamma} $-类作为扭曲与未扭曲辛结构之间的辛同胚。
• 通过分部积分与渐近分析，将振荡积分等价于 $ \hat{\Gamma} $-因子的 $ q $-级数，从而导出全空间J函数的最终公式。

实验结果

研究问题

• RQ1 如何用底流形的不变量来表达环面纤维丛的亏格0 Gromov–Witten不变量？
• RQ2 在环面纤维丛中，全空间的J函数与基的J函数之间的精确数学结构是什么？
• RQ3 量子黎曼–罗赫定理在此背景下如何促进扭曲Gromov–Witten理论向未扭曲理论的约化？
• RQ4 参数化振荡积分在何种意义上编码了量子不变量？其渐近行为如何用于重构完整的J函数？
• RQ5 环面流形的镜像定理能否作为环面纤维丛更一般公式的特例重新导出？

主要发现

• 全空间 $ E $ 的J函数由 $ q^{-P^\alpha/z} \hat{\mathcal{I}}_\alpha(z,t,q,z\partial_\Lambda) J(z,\tau,Q) = \alpha^*I_E(z,t,\tau,q,Q) \prod_{j\notin\alpha} \hat{\Gamma}(-z,\alpha^*U_j) $ 给出，建立了全空间与基不变量之间的直接联系。
• 当底流形 $ B $ 为一点时，该公式恢复了Givental与Iritani对环面流形的镜像定理，通过纤维化技术提供了新的证明。
• 量子黎曼–罗赫定理用于证明 $ \mathcal{L} = \frac{\hat{\Gamma}(z,\nu)}{\sqrt{2\pi z}} \mathcal{L}^{tw} $，从而通过辛同胚将扭曲理论约化为未扭曲理论。
• 振荡积分 $ \mathcal{I}_\alpha $ 的渐近展开与 $ \hat{\Gamma} $-因子一致，证实了驻定相近似与量子上同调的一致性。
• 表达式 $ (2\pi z)^{-\dim N^\alpha/2} \hat{\mathcal{I}}_\alpha(-z,t,q,-z\partial_\Lambda) J(-z,\tau - P^\alpha \ln q, Q) $ 属于受控拉格朗日子流形锥 $ \mathcal{L}_B $，确认了该构造的几何一致性。
• 应用除数方程对J函数中的 $ q $-依赖性进行平移，允许通过重定义 $ Q^D \mapsto Q^D q^{-P^\alpha(D)} $ 恢复诺维科夫变量在最终公式中的绝对意义。