[论文解读] Open Gromov-Witten theory on Calabi-Yau three-folds II

Vito Iacovino|ArXiv.org|Aug 4, 2009

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

一句话总结

本文在不施加特殊拉格朗日子流形 $ L $ 的拓扑限制下，利用微扰阿贝尔规范理论和带装饰树上的同调链，构建了卡拉比-丘三流形上的开格罗莫夫-威滕势能 $ S $。该势能定义在主同伦等价类上，并在临界点处求值，得到数值不变量，推广了先前结果，并阐明了在高亏格及非对合情形下多曲线的作用。

ABSTRACT

We propose a general theory of the Open Gromov-Witten invariant on Calabi-Yau three-folds. In this paper we construct the Open Gromov-Witten potential. The evaluation of the potential on its critical points leads to numerical invariants.

研究动机与目标

• 将开格罗莫夫-威滕不变量理论推广至不施加特殊拉格朗日子流形 $ L $ 拓扑限制的卡拉比-丘三流形上。
• 将开格罗莫夫-威滕势能 $ S $ 定义为在系数取自 $ H^*(L) $ 的诺维科夫环中，满足主方程的同伦类解。
• 通过在 $ L $ 上的微扰阿贝尔规范场论积分，建立势能的几何构造，避免非阿贝尔异常。
• 将高亏格势能作为弦耦合常数 $ \lambda $ 的形式展开进行分析，并阐明在无反全纯对合情形下多曲线的作用。
• 将 $ S $ 的临界点与有界链的同伦类联系起来，并与乔伊思不变量及戈帕库马尔-瓦法不变量建立关联。

提出的方法

• 将势能 $ S $ 构造为带装饰树的正式和，利用配置空间 $ C_T(L) $ 上具有扭曲系数的同调链系统 $ W_T $。
• 将边界面 $ \partial_e C_T(L) $ 定义为 $ L \times C_{T/e}(L) $ 上的 $ S^2 $-纤维丛，并要求 $ \partial_e W_T $ 为链 $ \partial_e' W_T $ 的几何原像。
• 使用满足 $ dP = K $, $ i_\partial^*P = \eta $, $ r^*P = -P $, 且 $ \langle P, \alpha_1 \otimes \alpha_2 \rangle = 0 $ 的传播子 $ P \in \Omega^2(C_2(M)) $，通过截断形式和 $ S(TL) $ 上的联络1-形式构造。
• 通过利用从标准体积形式和联络分量导出的全局定义的 $ \eta \in \Omega^2(S(TL)) $，确保传播子与局部坐标系选择无关。
• 在满足包含 $ \{0\} \times W_T $, $ \{1\} \times W_T' $ 以及顶点/边贡献的边界条件的链系统之间定义同伦 $ Y_T $。
• 通过满足双重边界条件的高维链 $ Z_T $ 建立势能关于量子主同伦的唯一性，等价关系由此定义。

实验结果

研究问题

• RQ1 当特殊拉格朗日子流形 $ L $ 具有任意拓扑（而不仅是有理同调球面）时，如何在卡拉比-丘三流形上构造开格罗莫夫-威滕势能？
• RQ2 多曲线（如具有多个顶点的树）在高亏格势能中起什么作用？为何在无反全纯对合时它们不会相互抵消？
• RQ3 所提出的势能与文献 [10] 和 [9] 的不变量有何关联，特别是在 $ S^1 $-作用和多覆盖修正的背景下？
• RQ4 能否将势能 $ S $ 的临界点解释为有界链同伦类的分类？这与乔伊思不变量有何关联？
• RQ5 从 $ S $ 的临界点导出的不变量在多大程度上依赖于固定的同调类而非固定的面积？这对它们的物理解释有何影响？

主要发现

• 开格罗莫夫-威滕势能 $ S $ 作为在 $ H^*(L) $ 上取值的函数环中、满足主方程的同伦类解被构造出来，其系数属于诺维科夫环。
• 该势能通过 $ L $ 上的微扰阿贝尔规范场论积分定义，使用满足 $ dP = K $, $ i_\partial^*P = \eta $, $ r^*P = -P $，且在 $ \Psi \otimes \Psi $ 上为零的全局定义传播子 $ P $。
• 该构造不依赖于度量和联络的选择，仅依赖于子空间 $ \Psi \subset \Omega^*(L) $，其与 $ H^*(L) $ 同构。
• 在无反全纯对合的情形下，具有至少两个顶点的多曲线（如树）的贡献不会抵消，这与 [10] 的情形不同，解释了 [10] 的论证在高亏格情形下失效的原因。
• 在临界点处对 $ S $ 的求值产生数值不变量，这些不变量不与固定的相对同调类相关，而是与固定的面积相关，推广了 [10] 的设定。
• 临界点被猜想与有界链的同伦类对应，提示其与乔伊思不变量存在联系，并为不变量提供了更深层的几何解释。