[论文解读] Virasoro Constraints for Toric Bundles

Thomas D. Coates, Alexander Givental+1 more|arXiv (Cornell University)|Aug 25, 2015

Homotopy and Cohomology in Algebraic Topology被引用 6

一句话总结

该论文证明了在广义莫弗拉-格罗莫夫-威滕理论中，对于丛 $E \to B$ 的全空间，维拉索罗约束成立当且仅当其在基空间 $B$ 上成立。通过等变局部化与布劳恩的关于环形丛的镜像定理，作者推导出一个局部化公式，将 $E$ 的不变量表示为纤维的全 genus 不变量与基空间 $B$ 的所有 genus 不变量的函数，随后证明在非等变极限下，$E$ 的维拉索罗分级算符退化为 $B$ 的对应算符，从而证明了约束的等价性。

ABSTRACT

We show that the Virasoro conjecture in Gromov--Witten theory holds for the the total space of a toric bundle $E o B$ if and only if it holds for the base $B$. The main steps are: (i) we establish a localization formula that expresses Gromov--Witten invariants of $E$, equivariant with respect to the fiberwise torus action, in terms of genus-zero invariants of the toric fiber and all-genus invariants of $B$; and (ii) we pass to the non-equivariant limit in this formula, using Brown's mirror theorem for toric bundles.

研究动机与目标

• 确定环形丛 $E \to B$ 的全空间上维拉索罗约束成立的条件。
• 建立一个关于 $E$ 的等变格罗莫夫-威滕不变量的局部化公式，其表达式涉及纤维的全 genus 不变量与基空间 $B$ 的所有 genus 不变量。
• 证明该公式的非等变极限能够恢复 $E$ 的维拉索罗约束，当且仅当这些约束在 $B$ 上成立。
• 利用布劳恩关于环形丛的镜像定理，建立非等变情形下 $E$ 与 $B$ 的生成函数之间的关系。

提出的方法

• 推导一个局部化公式，将 $E$ 的等变格罗莫夫-威滕不变量通过纤维的全 genus 不变量与基空间 $B$ 的所有 genus 不变量表达出来。
• 使用扭曲的 $\mathcal{I}$-函数 $\mathcal{I}(-z)$ 来编码 $E$ 的不变量的生成级数，其渐近行为与驻定相位分析相关联。
• 在局部化公式中取非等变极限，依赖于布劳恩关于环形丛的镜像定理，将 $\mathcal{I}(-z)$ 与 $B$ 的 $\mathcal{D}$-模结构联系起来。
• 通过对易关系证明，维拉索罗分级算符 $l_0(E) = zd/dz + 1/2 + \mu_E + c_1(E)/z$ 在非等变极限下退化为 $l_0(B)$。
• 利用对易关系 $\mathcal{I}(-z)^{-1}(zd/dz + \mu_B + c_1(B)/z) = (zd/dz + \mu_E + \mathcal{E}(z)/z)\mathcal{I}(-z)^{-1}$，建立 $E$ 与 $B$ 的分级算符之间的联系。
• 证明将 $\mathcal{D}_B^{\otimes |F|}$ 与 $\mathcal{D}_E$ 关联的环群变换保持了分级结构，从而确认了维拉索罗约束的等价性。

实验结果

研究问题

• RQ1 在何种条件下，环形丛 $E \to B$ 的全空间上维拉索罗约束成立？
• RQ2 能否通过等变局部化，将 $E$ 的格罗莫夫-威滕不变量表示为纤维与基空间 $B$ 的不变量的函数？
• RQ3 该等变局部化公式的非等变极限是否能恢复 $E$ 的维拉索罗约束，当且仅当这些约束在 $B$ 上成立？
• RQ4 在非等变情形下，$E$ 的 $\mathcal{I}$-函数如何与 $B$ 的 $\mathcal{D}$-模结构相关联？
• RQ5 在非等变极限下，$E$ 的分级算符是否等价于 $B$ 的分级算符？这是否意味着维拉索罗约束的等价性？

主要发现

• 维拉索罗约束在 $E$ 上成立当且仅当其在基空间 $B$ 上成立，从而将约束问题完全约化至基空间。
• 一个局部化公式将 $E$ 的等变格罗莫夫-威滕不变量表示为纤维的全 genus 不变量与 $B$ 的所有 genus 不变量的函数，其核心为 $\mathcal{I}(-z)$-函数。
• $E$ 的 $\mathcal{I}(-z)$-函数在非等变极限下的行为由布劳恩的镜像定理控制，从而与 $B$ 的 $\mathcal{D}$-模结构相联系。
• 对易关系 $\mathcal{I}(-z)^{-1}(zd/dz + \mu_B + c_1(B)/z) = (zd/dz + \mu_E + \mathcal{E}(z)/z)\mathcal{I}(-z)^{-1}$ 表明，$E$ 的分级算符在非等变极限下退化为 $B$ 的对应算符。
• 将 $\mathcal{D}_B^{\otimes |F|}$ 与 $\mathcal{D}_E$ 关联的环群变换保持了维拉索罗分级结构，从而确认了约束的等价性。
• 该结果在 $\mathcal{I}$-函数及其渐近行为与镜像映射相容的假设下成立，而这一相容性由同一 $I_E$-函数的构造所保证。