[论文解读] Virtual cycles of gauged Witten equation

Gang Tian, Guangbo Xu|arXiv (Cornell University)|Feb 24, 2016

Black Holes and Theoretical Physics参考文献 30被引用 3

一句话总结

本论文在固定光滑 $r$-自旋曲线上构造了扰动规范 Witten 方程模空间上的虚拟圈，建立了有向虚拟轨道空间图册，并定义了有理虚拟基数。该构造与附录论文中的墙穿跃公式相结合，为规范线性 $σ$-模型中的相关函数提供了严格的数学基础，证明了其在扰动下的不变性，并完成了 [TX15, TX16] 启动的程序。

ABSTRACT

We construct virtual cycles on moduli spaces of perturbed gauged Witten equation over a fixed smooth r -spin curve, under the framework of [TX15]. Together with the wall-crossing formula proved in the companion paper [TX19], it completes the construction of the correlation function for the gauged linear sigma model announced in [TX16] as well as the proof of its invariance.

研究动机与目标

• 在固定光滑 $r$-自旋曲线上，构造扰动规范 Witten 方程模空间上的虚拟圈。
• 在强正则扰动下，证明模空间存在有向虚拟轨道空间图册。
• 为模空间定义有理虚拟基数，从而实现规范线性 $σ$-模型中相关函数的构造。
• 通过证明相关函数在扰动下的不变性，完成规范线性 $σ$-模型的数学框架。
• 通过虚拟圈技术，为 Landau–Ginzburg/Calabi–Yau 对应关系和几何镜像对称提供严格的数学基础。

提出的方法

• 利用结合了 Witten 方程与黎曼面上 $G$-丛上规范对称性涡旋方程的规范 Witten 方程组，该丛具有 $G^\mathbb{C}$-作用和矩映射。
• 对超势能 $W$ 应用强正则扰动 $\underline{P}$，确保所有扰动函数的临界值具有不同的虚部。
• 采用虚拟维数为零的良好坐标系，并构造横截的多值扰动，以定义虚拟圈。
• 基于扰动零点集的序列紧致性，实施一种虚拟技术，确保虚拟基数仅有有限多项贡献。
• 利用拓扑横截性与虚拟维数一的边界分析，证明虚拟基数在不同扰动选择下保持不变。
• 依赖 [TX15] 中关于紧致性与弗雷德霍姆理论的结果，以确保模空间具有明确定义的虚拟结构。

实验结果

研究问题

• RQ1 如何在 $r$-自旋曲线上扰动规范 Witten 方程解的模空间上构造虚拟圈？
• RQ2 何种扰动条件可确保模空间具有有向虚拟轨道空间图册？
• RQ3 模空间的虚拟基数如何定义？为何其为有理数？
• RQ4 墙穿跃公式在确保相关函数不变性中起何作用？
• RQ5 如何证明虚拟基数与扰动及坐标系选择无关？

主要发现

• 在光滑 $r$-自旋曲线 $\mathcal{C}$ 上，扰动规范 Witten 方程模空间 $\mathcal{M}_{\underline{P}}(\mathcal{C},B,\underline{\kappa})$ 具有有向虚拟轨道空间图册。
• 虚拟基数 $\#{\mathcal{M}}_{\underline{P}}(\mathcal{C},B,\underline{\kappa})$ 是一个在给定条件下明确定义的有理数，有限且与选择无关。
• 强正则扰动（避免扰动空间中实解析超曲面）可确保横截性并保证虚拟圈的存在。
• 由于在 $X \times [0,1]$ 上存在良好坐标系，不同扰动选择之间存在同伦，因此虚拟基数在扰动下保持不变。
• 当所有图册均为流形时，虚拟基数为整数，可通过单值横截扰动实现。
• 一维有向良好坐标系的边界具有虚拟基数零，这表明虚拟基数在扰动选择下保持不变。