[论文解读] Quantum Riemann - Roch, Lefschetz and Serre

Tom Coates, Alexander Givental|ArXiv.org|Oct 13, 2001

Algebraic Geometry and Number Theory参考文献 20被引用 6

一句话总结

本文建立了一项量子黎曼-罗赫定理，通过振荡积分的驻相渐近分析导出的线性变换，将通过虚拟丛 $ H^0(f^*E) \ominus H^1(f^*E) $ 的乘法特征类定义的扭转 Gromov–Witten 不变量，表达为无扭转不变量。关键结果推广了量子 Lefschetz 超平面截面原理与非线性 Serre 对偶性，使得完整交的镜像公式得以推导，包括五次3-流形。

ABSTRACT

Given a holomorphic vector bundle $E:EX X$ over a compact Kähler manifold, one introduces twisted GW-invariants of $X$ replacing virtual fundamental cycles of moduli spaces of stable maps $f: Σ o X$ by their cap-product with a chosen multiplicative characteristic class of $H^0(Σ, f^* E) - H^1(Σ, f^*E)$. Using the formalism of quantized quadratic hamiltonians, we express the descendent potential for the twisted theory in terms of that for $X$. The result (Theorem 1) is a consequence of Mumford's Riemann -- Roch -- Grothendieck formula applied to the universal stable map. When $E$ is concave, and the inverse $\CC^{ imes}$-equivariant Euler class is chosen, the twisted theory yields GW-invariants of $EX$. The ``non-linear Serre duality principle'' expresses GW-invariants of $EX$ via those of the supermanifold $ΠE^*X$, where the Euler class and $E^*$ replace the inverse Euler class and $E$. We derive from Theorem 1 the nonlinear Serre duality in a very general form (Corollary 2). When the bundle $E$ is convex, and a submanifold $Y\subset X$ is defined by a global section, the genus 0 GW-invariants of $ΠE X$ coincide with those of $Y$. We prove a ``quantum Lefschetz hyperplane section principle'' (Theorem 2) expressing genus 0 GW-invariants of a complete intersection $Y$ via those of $X$. This extends earlier results of Y.-P. Lee and A. Gathmann and yields most of the known mirror formulas for toric complete intersections.

研究动机与目标

• 将量子 Lefschetz 超平面截面原理推广至任意凸丛，且对第一陈类或参数空间无限制。
• 建立一项量子黎曼-罗赫定理，通过源自驻相渐近分析的辛变换，关联扭转与无扭转 Gromov–Witten 不变量。
• 为超流形 $ \Pi E^*X $ 推导非线性 Serre 对偶性原理，通过反向欧拉类将 $ EX $ 的不变量与 $ \Pi E^*X $ 的不变量关联。
• 通过将 Grothendieck–Riemann–Roch 定理应用于普遍稳定映射，为五次3-流形的 Candelas–Clergy–Strominger–Yau 镜像公式提供一种新的统一证明。
• 通过量化哈密顿形式与具有洛朗级数系数的上同调中的拉格朗日子流形，将 genus 0 下降势形式推广至扭转理论。

提出的方法

• 通过在稳定映射模空间的虚拟基本同调类上施加虚拟丛 $ H^0(f^*E) \ominus H^1(f^*E) $ 的乘法特征类，引入扭转 Gromov–Witten 不变量。
• 对普遍稳定映射应用 Mumford 的黎曼-罗赫-格罗滕迪克公式，推导出量子黎曼-罗赫定理（定理1），关联扭转与无扭转生成函数。
• 利用量化二次哈密顿量的形式，将扭转下降势表示为无扭转势的线性变换，变换矩阵由振荡积分 $ \int_0^\infty e^{(-x + (\lambda + \rho)\ln x)/z} dx $ 的驻相渐近分析导出。
• 在上同调代数 $ H^*(X; \mathbb{Q})[[z^{-1}]] $ 中定义拉格朗日子流形 $ \mathcal{L}_X $ 与 $ \mathcal{L}_E $，其中扭转子流形通过乘以 $ \prod_i a_{\rho_i}(z) $ 与无扭转子流形相关联，其中 $ \rho_i $ 为 $ E $ 的陈根。
• 通过令 $ E $ 为线丛且 $ \mathbf{c} $ 为总陈类，推导出量子 Lefschetz 定理（定理2），表明子流形 $ \mathcal{L}_E $ 包含镜像曲线 $ I_E(t) $。
• 在 $ \lambda $-扭转理论中取 $ \lambda = 0 $ 的极限，从 $ I $-函数 $ I_Y(t) $ 恢复五次镜像公式，从而通过几何与上同调机制证明镜像猜想。

实验结果

研究问题

• RQ1 如何系统地通过虚拟丛 $ H^0(f^*E) \ominus H^1(f^*E) $ 的特征类，将扭转 Gromov–Witten 不变量与无扭转不变量关联？
• RQ2 将扭转理论的下降势与无扭转势关联的量子黎曼-罗赫变换的精确形式为何？
• RQ3 量子 Lefschetz 超平面截面原理如何超越 Fano 或低次情形，推广至一般凸丛？
• RQ4 非线性 Serre 对偶性原理能否从一般量子黎曼-罗赫定理导出？其与超流形 $ \Pi E^*X $ 的几何有何关联？
• RQ5 五次3-流形的镜像对称公式能否从一个普遍几何原理（如对普遍映射应用 Grothendieck–Riemann–Roch 定理）推导，而无需人为假设？

主要发现

• 量子黎曼-罗赫定理（定理1）在拉格朗日子流形 $ \mathcal{L}_X $ 与 $ \mathcal{L}_E $ 之间建立了线性变换，变换矩阵由振荡积分的驻相渐近分析乘积 $ \prod_i a_{\rho_i}(z) $ 给出。
• 对于总陈类扭转，变换对应于在上同调代数中乘以 $ \prod_i a_{\rho_i}(z) $，其中 $ \rho_i $ 为 $ E $ 的陈根，推广了文献中先前的结果。
• 量子 Lefschetz 超平面截面原理（定理2）在 $ c_1(E) $ 或参数空间无限制下依然成立，扩展了先前版本，并将五次镜像公式作为特例恢复。
• 当 $ E $ 为线丛且 $ \mathbf{c} $ 为总陈类时，扭转子流形 $ \mathcal{L}_E $ 包含镜像曲线 $ I_E(t) = \sum_{d \geq 0} e^{(P+zd)t/z} \frac{(\lambda + 5P + z)\cdots(\lambda + 5P + 5dz)}{(P+z)^5 \cdots (P+dz)^5} $，在 $ \lambda = 0 $ 时退化为标准 $ I $-函数。
• 非线性 Serre 对偶性原理（推论2）作为定理1的推论得出，表明当使用反向欧拉类时，$ EX $ 的 GW-不变量等于 $ \Pi E^*X $ 的不变量。
• genus 0 原始势 $ \bar{\mathcal{F}}^0 $ 通过辛变换 $ \bar{\mathcal{L}}_\tau = S_\tau \mathcal{L} $ 与下降势 $ \mathcal{F}^0 $ 关联，临界点条件 $ \langle 1, \mathbf{q}(\psi), v \rangle_{0,3}(\tau) = 0 $ 确保在 $ \mathbf{q} = -z $ 附近存在唯一的 $ \tau(\mathbf{q}) $，从而验证了形式体系。