[论文解读] The Quantum Lefschetz Principle for Vector Bundles as a Map Between Givental Cones

Tom Coates|arXiv (Cornell University)|May 12, 2014

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

一句话总结

本文建立了当 $Y$ 是凸向量丛的零点时，子簇 $Y \subset X$ 的 genus-zero Gromov–Witten 不变量的 Givental 拉格朗日锥与 $X$ 的 Euler-扭 Gromov–Witten 不变量之间的精确关系。证明了包含映射 $i: Y \to X$ 下对扭 $\mathbf{J}$-函数的拉回，等于通过 $i_*$ 映射量子参数后的 $Y$ 的 $\mathbf{J}$-函数，从而提供了量子 Lefschetz 超平面原理的精化版本。

ABSTRACT

Givental has defined a Lagrangian cone in a symplectic vector space which encodes all genus-zero Gromov-Witten invariants of a smooth projective variety X. Let Y be the subvariety in X given by the zero locus of a regular section of a convex vector bundle. We review arguments of Iritani, Kim-Kresch-Pantev, and Graber, which give a very simple relationship between the Givental cone for Y and the Givental cone for Euler-twisted Gromov-Witten invariants of X. When the convex vector bundle is the direct sum of nef line bundles, this gives a sharper version of the Quantum Lefschetz Hyperplane Principle.

研究动机与目标

• 建立子簇 $Y$ 的 Givental 拉格朗日锥与环境空间 $X$ 的 Euler-扭 Givental 锥之间的精确几何对应关系。
• 利用辛几何与虚拟周期，将量子 Lefschetz 超平面原理推广至凸向量丛的设定。
• 阐明 $Y$ 的 genus-zero Gromov–Witten 不变量如何通过 $\mathbf{J}$-函数的非等变极限，作为 $X$ 上扭不变量的拉回而出现。
• 为以环境空间的量子不变量计算完全交的量子不变量，提供一个概念性与计算性的框架。

提出的方法

• 使用 Givental 的拉格朗日锥 $\mathcal{L}_X \subset \mathcal{H}_X$ 形式化，通过 $\mathbf{J}$-函数编码 $X$ 的所有 genus-zero Gromov–Witten 不变量。
• 引入使用 $S^1$-等变 Euler 类 $\boldsymbol{e}(E)$ 作为扭类的 Euler-扭 $\mathbf{J}$-函数 $\mathbf{J}_{\boldsymbol{e}}(\mathbf{t})$。
• 应用虚拟基本类与 Gysin 映射的函子性质，通过凸丛 $E$ 的正则截面，将 $X_{g,n,d}$ 与 $Y_{g,n,\delta}$ 的虚拟周期联系起来。
• 在代数几何中运用投影公式与基变换，关联包含映射 $i: Y \to X$ 与映射 $f: Z \to X_{0,n+1,d}$ 沿同调类的上推。
• 通过非等变极限 $\lambda \to 0$ 从扭 $\mathbf{J}$-函数中提取标准 Gromov–Witten 不变量。
• 通过证明 $i^*\mathbf{J}_{\boldsymbol{e}}|_{\lambda=0} = \mathbf{J}_Y(i^*\mathbf{t})|_{Q^\delta \mapsto Q^{i_*\delta}}$ 得到主结果，通过量子参数变换将锥联系起来。

实验结果

研究问题

• RQ1 当 $Y$ 是凸向量丛的正则截面时，完全交 $Y \subset X$ 的 genus-zero Gromov–Witten 不变量与环境空间 $X$ 的不变量之间有何关系？
• RQ2 量子 Lefschetz 超平面原理能否被精化为 Givental 锥之间的一个精确映射，而不仅仅是生成函数的恒等式？
• RQ3 Euler-扭不变量在通过从环境空间拉回编码子簇的量子上同调中起什么作用？
• RQ4 扭 $\mathbf{J}$-函数的非等变极限如何恢复子簇的标准 $\mathbf{J}$-函数？
• RQ5 向量丛的凸性在多大程度上确保了锥层级对应关系的有效性？

主要发现

• 在 $X$ 上，Euler-扭 $\mathbf{J}$-函数的非等变极限是良定义的，且在拉回 $i^*$ 与量子参数映射 $Q^\delta \mapsto Q^{i_*\delta}$ 下等于 $Y$ 的 $\mathbf{J}$-函数。
• 在 $\lambda = 0$ 处，扭 $\mathbf{J}$-函数 $\mathbf{J}_{\boldsymbol{e}}(\mathbf{t})$ 的拉回与通过 $i_*$ 变换参数后的子簇 $Y$ 的标准 $\mathbf{J}$-函数 $\mathbf{J}_Y(i^*\mathbf{t})$ 一致。
• 通过包含映射 $i: Y \to X$ 与凸丛 $E$ 的正则截面的虚拟类上推，诱导出的辛同构，建立了 $Y$ 与 $X$ 的 Givental 锥之间的关系。
• 该证明依赖于虚拟周期的函子性与投影公式，表明 $X_{0,n+1,d}$ 的虚拟周期通过零点构造被上推至 $Y_{0,n+1,\delta}$ 的虚拟周期。
• 该结果对任意凸向量丛成立，特别是对 nef 线丛的直和也成立，从而给出了量子 Lefschetz 超平面原理的精确版本。
• 该框架可推广至具有投影粗模空间的 Deligne–Mumford 堆栈，前提是该丛为凸且零点为正则。