[论文解读] Mirror Manifolds And Topological Field Theory

Edward Witten|ArXiv.org|Dec 19, 1991

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 400

一句话总结

本文通过引入两个扭变模型——A 模型与 B 模型，建立了卡拉比-丘流形中镜像对称的拓扑场论框架，分别通过计数全纯映射（A 模型）和微分形式的周期（B 模型）来计算关联函数。关键结果是物理 σ 模型中的约卡耦合与扭变模型中的可观测量一致，从而实现了瞬子修正振幅的精确计算，并为镜像映射提供了几何基础。

ABSTRACT

These notes are devoted to explaining aspects of the mirror manifold problem that can be naturally understood from the point of view of topological field theory. Basically this involves studying the topological field theories made by twisting $N=2$ sigma models. This is mainly a review of old results, except for the discussion in \S7 of certain facts that may be relevant to constructing the ``mirror map'' between mirror moduli spaces.

研究动机与目标

• 阐明镜像对称如何从卡拉比-丘流形背景下拓扑场论中涌现。
• 证明 A 模型与 B 模型中的关联函数通过几何不变量计算物理可观测量（如约卡耦合）。
• 提出扩展的模空间作为理解卡拉比-丘流形之间镜像映射的自然框架。
• 表明尽管存在非平凡的全纯映射，A 模型中度量的瞬子修正仍因维数计数与 C*-作用对称性而消失。
• 探讨模空间上指数映射与线性结构在 A 模型与 B 模型中的作用。

提出的方法

• 在黎曼曲面 Σ 上扭变 N=2 非线性 σ 模型，得到两个拓扑场论：A 模型（为全纯映射而扭变）与 B 模型（为微分形式的周期而扭变）。
• A 模型的关联函数通过计数满足约束的全纯映射 Σ→X 得到，利用在 genus 0 曲面带两个标记点上的 C*-作用将其约化至虚拟维数为零。
• B 模型的关联函数通过在 X 上对微分形式进行周期积分来计算，对应于经典上同调数据。
• 费曼路径积分形式下的不动点定理解释了两种模型中可观测量如何约化为经典几何。
• 物理约卡耦合被识别为未扭变模型中的矩阵元，其在 genus 0 条件下与 A 模型和 B 模型中的可观测量一致。
• 引入 A(X) 与 B(Y) 的扩展模空间，提出 B(Y) 上的度量是理解镜像映射的关键。

实验结果

研究问题

• RQ1 如何从 N=2 非线性 σ 模型的扭变推导出卡拉比-丘流形的 A 模型与 B 模型？
• RQ2 为何 A 模型的关联函数计算有理曲线计数，而 B 模型的关联函数计算周期？
• RQ3 物理约卡耦合在未扭变模型中与扭变 A 模型和 B 模型中的可观测量在何种意义上一致？
• RQ4 尽管存在非平凡的全纯映射，为何 A 模型中度量的瞬子修正会消失？
• RQ5 A 模型与 B 模型的扩展模空间如何提供对镜像映射的更深层次理解？

主要发现

• A 模型的关联函数由满足约束的全纯映射 Σ→X 的计数决定，通过 genus 0 曲面带两个标记点上的 C*-作用将其约化至虚拟维数为零。
• B 模型的关联函数通过在 X 中的周期积分计算，对应于卡拉比-丘三流形中全纯 (3,0)-形式的周期。
• 物理 σ 模型中的约卡耦合分别与 A 模型和 B 模型中的可观测量一致，原因在于非微扰定理与 genus 0 条件。
• A 模型中度量的瞬子修正消失，因为与两个循环相交的有理曲线模空间的虚拟维数为负（-2），经 C*-商后通常为空。
• B 模型的扩展模空间虽尚未完全理解，但推测其为镜像映射的自然设定，该空间上的度量可能决定映射（至等距同构）。
• A 模型模空间上的指数映射对应于 ⊕ₙHⁿ(X,C) 上的线性结构，而其在 B 模型中的对应物尚不清晰，且可能依赖于基点。