[论文解读] A gauge theoretic approach to the anti-self-dual Einstein equations

Joël Fine|arXiv (Cornell University)|Nov 21, 2011

Geometry and complex manifolds参考文献 29被引用 12

一句话总结

本文通过将非零标量曲率的自对偶爱因斯坦方程重新表述为4-流形上SO(3)-丛中定性连接的椭圆方程，提出了一套规范场论框架。该框架建立了其驻点为解的抛物型流，证明了该流的短时存在性与局部稳定性，并提供了其在矩映射下的几何解释，将方程与辛几何联系起来，推广了唐纳森对超凯勒度量的猜想。

ABSTRACT

In [29], Plebanski reformulated the anti-self-dual Einstein equations with non-zero scalar curvature as a first order PDE for a connection in an SO(3)-bundle over the four-manifold. The aim of this article is to place this differential equation in a new framework, in which it is both elliptic and a stationary point of a parabolic flow. To do this, we exploit a link with definite connections (introduced in [12]) to draw an analogy with instantons and the Yang-Mills flow. This picture leads to a natural conjecture, analogous to one made by Donaldson concerning hyperkähler 4-manifolds [9]. It also provides a moment-map description of the anti-self-dual Einstein equations with non-zero scalar curvature.

研究动机与目标

• 通过定性SO(3)-连接，将非零标量曲率的自对偶爱因斯坦方程重新表述为椭圆规范场论方程。
• 引入定性连接的抛物型流，其临界点为该椭圆方程的解。
• 提供自对偶爱因斯坦方程的矩映射解释，与辛几何及 instanton 理论建立类比。
• 建立基础分析结果，包括线性化算子的指标与流的局部稳定性。
• 提出一个与唐纳森猜想类似的猜想，适用于超凯勒4-流形，将框架推广至定性三元组与几何流。

提出的方法

• 利用普莱巴涅夫斯基的表述，将自对偶爱因斯坦方程重新表述为SO(3)-丛中连接的首阶PDE。
• 将定性连接定义为在每个2-平面上曲率非零的度量连接，推广定性三元对称形式。
• 定义由曲率条件线性化导出的规范固定椭圆算子，证明其为狄拉克型算子。
• 构造定性连接的抛物型梯度流，证明其短时存在性与在解附近的局部稳定性。
• 通过将扭量空间上的哈密顿向量场上拉至纤维丛的无穷小自同构，建立矩映射描述，从而在定性连接空间上构造矩映射。
• 利用扭量理论与纤维积分，将完美连接表征为曲率形式的拉回是横截的连接，从而将矩映射消失条件与自对偶爱因斯坦条件联系起来。

实验结果

研究问题

• RQ1 非零标量曲率的自对偶爱因斯坦方程能否通过定性SO(3)-连接重述为椭圆规范场论方程？
• RQ2 是否存在定性连接的抛物型流，其驻点对应于自对偶爱因斯坦度量？
• RQ3 曲率方程的线性化几何与分析结构为何？其关联狄拉克算子的指标为何？
• RQ4 自对偶爱因斯坦方程能否通过矩映射在辛几何中解释？扭量空间在此解释中扮演何种角色？
• RQ5 是否存在一个猜想中的几何流，可将定性三元组变形为超凯勒结构，类比于唐纳森的猜想？

主要发现

• 证明了自对偶爱因斯坦方程的规范固定线性化为狄拉克型算子，并通过扭量理论计算其指标。
• 证明了定性连接抛物型流的短时存在性与唯一性，且具有局部稳定性：若初始值靠近解，则流可全局存在并模规范变换收敛至解。
• 在定性连接空间上构造了矩映射，且矩映射消失当且仅当连接为完美连接，即满足自对偶爱因斯坦方程。
• 完美连接的曲率形式满足 h(F_A)^2 = π^*α，其中α为基流形上的体积形式，意味着曲率的纤维平均被拉回自基流形。
• 证明了定性三元组的流唯一可能的不动点为超凯勒三元组，支持一个类比于唐纳森的猜想性变形程序。
• 本文提供了自对偶爱因斯坦方程作为通过矩映射实现的辛约化之几何解释，将规范理论、扭量理论与黎曼几何联系起来。