[论文解读] Computing a categorical Gromov-Witten invariant

Andrei Căldăraru, Junwu Tu|arXiv (Cornell University)|Jun 29, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 8

一句话总结

本论文通过波兰奇克的循环 $τ$-代数模型，将科斯托洛的形式化方法应用于椭圆曲线的导出范畴，首次计算出非平凡正亏格的分类 Gromov-Witten 不变量。该计算结果与辛 2-环面的经典亏格一 Gromov-Witten 潜力一致，验证了镜像对称的预测，并为高亏格分类不变量建立了基础范例。

ABSTRACT

We compute the $g=1, n=1$ B-model Gromov-Witten invariant of an elliptic curve E directly from the derived category D(E). More precisely, we carry out the computation of the categorical Gromov-Witten invariant defined by Costello using as target a cyclic $A_\infty$ model of D(E) described by Polishchuk. This is the first non-trivial computation of a positive genus categorical Gromov-Witten invariant, and the result agrees with the prediction of mirror symmetry: it matches the classical (non-categorical) Gromov-Witten invariants of a symplectic 2-torus computed by Dijkgraaf.

研究动机与目标

• 通过科斯托洛形式化方法计算椭圆曲线 $E_\tau$ 的 $g=1$，$n=1$ B-模型分类 Gromov-Witten 不变量。
• 提供首个针对非点状、非平凡目标范畴的正亏格分类 Gromov-Witten 不变量的显式计算。
• 验证结果与镜像对称所预测的辛 2-环面经典 Gromov-Witten 不变量一致。
• 在同调镜像对称的背景下，建立高亏格不变量的计算框架。

提出的方法

• 采用科斯托洛对循环 $\mathscr{A}_\infty$ 代数的分类 Gromov-Witten 不变量定义。
• 以波兰奇克的 $\mathscr{A}_\infty$ 模型 $\mathsf{D}_{\mathsf{coh}}^b(E_\tau)$ 作为目标范畴。
• 构造一个平坦链 $\alpha^{\mathsf{GM}}$ 和一个修正链 $\alpha^{\mathsf{mod}}$，以在 Hochschild 同调中表示弦顶点。
• 应用 Getzler-Gauss-Manin 联络，通过两种不同联络 $\nabla^{\mathsf{std}}$ 和 $\nabla^{\mathsf{mod}}$ 计算提升类 $[\tilde{\xi}^{\mathsf{mod}}]$ 的协变导数。
• 比较两个 $\nabla^{\mathsf{GGM}}_{\partial_\tau}(\tilde{\xi}^{\mathsf{mod}})$ 的表达式，推导出 Hochschild 同调中的关系式。
• 利用 HKR 同构与 Kodaira-Spencer 类，识别出类 $[\delta]$ 并求解归一化常数 $c(\tau)$。

实验结果

研究问题

• RQ1 科斯托洛的分类 Gromov-Witten 不变量能否在正亏格下，对非点状、非平凡目标范畴实现显式计算？
• RQ2 从椭圆曲线的导出范畴计算出的分类不变量是否与镜像对称所预测的经典 Gromov-Witten 不变量一致？
• RQ3 该不变量的模形式行为如何与椭圆曲线的复结构相关联？
• RQ4 在 $\mathscr{A}_\infty$ 代数上的联络在计算 Hochschild 同调上的 Gauss-Manin 联络中起什么作用？

主要发现

• 椭圆曲线 $E_\tau$ 的 $g=1$，$n=1$ B-模型分类 Gromov-Witten 不变量计算结果为 $F_{1,1}^\mathsf{B}(\tau) = -\frac{1}{24}E_2(\tau)$，与经典 A-模型不变量一致。
• 在 $\operatorname{HH}_1(A_\tau)$ 中识别出类 $[\delta]$ 为 $[\delta] = -\frac{1}{2\pi i(\tau - \bar{\tau})}[\Omega]$，其中 $[\Omega]$ 为典范类。
• 该计算证实，分类不变量在镜像映射 $q = \exp(2\pi i \tau)$ 下可恢复经典 Gromov-Witten 潜力。
• 通过构造修正联络 $\nabla^{\mathsf{mod}}$ 简化 Gauss-Manin 联络的计算，得到包含 $\partial_\tau \mu^*$ 的简洁表达式。
• 归一化常数 $c(\tau)$ 确定为 $c(\tau) = -\frac{1}{2\pi i(\tau - \bar{\tau})}$，与复几何中的预期行为一致。
• 从 $\alpha^{\mathsf{mod}}$ 得到的模形式分裂对应复代数几何中的复共轭分裂，与已知几何结构保持一致。