[论文解读] Gauge Theory in higher dimensions, II

Simon Donaldson, Ed Segal|ArXiv.org|Feb 18, 2009

Geometry and complex manifolds参考文献 11被引用 50

一句话总结

本文提出了一套框架，通过规范理论与校准几何，定义卡拉比-丘3流形模空间上的全纯丛，将 $G_2$-瞬子与关联子流形、单极子与共关联子流形相联系。论文猜想，计数规范理论方程解的不变量可通过特殊拉格朗日子流形的加权计数来计算，类比于西伯格-唐纳森与格罗莫夫不变量。

ABSTRACT

The main aim of the paper is to develop the "Floer theory" associated to Calabi-Yau 3-folds, exending the analogy of Thomas' "holomorphic Casson invariant". The treatment in the body of the paper is largely formal, assuming appropriate compactness properties of moduli spaces of $G_{2}$-instantons, but in the last section we make some remarks about these compactness isssues. Section 3 of the paper contains a general dscussion of deformations of the equations, for gauge field and submanifolds, associated to manifolds with exceptional holonomy.

研究动机与目标

• 通过规范理论，发展卡拉比-丘3流形的全息卡森不变量的微分几何类比。
• 建立7-流形上 $G_2$-瞬子方程解与关联子流形之间的对应关系。
• 提出一种机制，通过共关联子流形与特殊拉格朗日子流形附近的渐近行为来计算数值不变量。
• 通过弗策尔型方程与模空间构造，统一规范理论、校准几何与代数拓扑。
• 建议计数规范理论解的不变量可通过特殊拉格朗日子流形的加权计数来定义，类比于西伯格-唐纳森不变量。

提出的方法

• 引入“驯化形式”以描述6、7、8维几何结构，特别是 $G_2$-与 $Spin(7)$-流形。
• 分析具有管状端的流形上 $G_2$-瞬子的行为，通过单极子模空间上的弗策尔方程建模渐近极限。
• 将弗策尔方程应用于特殊拉格朗日子流形上的丛截面，将其解释为规范解的渐近轮廓。
• 通过缩放极限（$r \to 0$）从 $G_2$-瞬子方程推导出 Bogomolny 单极子方程与从共关联子流形到单极子模空间的映射的弗策尔方程。
• 构建一个假设的全息丛，定义在卡拉比-丘3流形模空间上，其秩等于全息卡森不变量（DT 不变量）。
• 借鉴西伯格-唐纳森理论，其中涡旋模空间在作用上类似于本构中单极子模空间的角色。

实验结果

研究问题

• RQ1 能否通过共关联子流形附近的渐近数据来定义计数 $G_2$-瞬子的数值不变量？
• RQ2 在卡拉比-丘3流形中，$G_2$-瞬子方程的解在特殊拉格朗日子流形附近的行为如何？
• RQ3 单极子模空间上的弗策尔方程在多大程度上能模拟规范理论解的渐近结构？
• RQ4 是否存在一种结构性联系，使规范理论不变量与特殊拉格朗日子流形计数之间关系，类似于西伯格-唐纳森与格罗莫夫对应关系？
• RQ5 全息卡森不变量是否可被实现在卡拉比-丘3流形模空间上的全息丛的欧拉示性数中？

主要发现

• 本文猜想，给定同调类 $\kappa$ 下 $G_2$-瞬子方程解的数量 $n_\kappa$ 可表示为对特殊拉格朗日子流形 $P_i$ 的加权和，权重 $w(k_i, P_i)$ 计数单极子丛上的弗策尔解。
• 在极限 $r \to 0$ 下，$G_2$-瞬子方程退化为 Bogomolny 单极子方程与从共关联子流形到单极子模空间的映射的弗策尔方程。
• 在 $\mathbb{R}^3$ 上中心化单极子荷为 $k$ 的模空间是一个实维数为 $4(k-1)$ 的超凯勒流形，且 $Q$ 上的弗策尔截面可建模渐近规范解。
• 所提出的构造表明，与直接计数特殊拉格朗日子流形相比，计数 $G_2$-瞬子的不变量可能更容易定义，类比于西伯格-唐纳森不变量比格罗莫夫不变量更易处理。
• 该框架为规范理论、校准几何与代数几何之间提供了一条推测性但结构清晰的桥梁，尤其通过弗策尔方程与驯化形式。
• 本文提出，在有利的分析条件下，卡拉比-丘3流形模空间上应存在一个全息丛，其秩等于全息卡森不变量。