[论文解读] Almost-Kahler Anti-Self-Dual Metrics

Inyoung Kim|arXiv (Cornell University)|Nov 24, 2015

Geometry and complex manifolds参考文献 16被引用 7

一句话总结

该论文利用变形理论与Seiberg-Witten不变量，证明了紧致4-流形上严格几乎凯勒反自对偶（ASD）度量的存在性与非存在性。研究证明，此类度量存在于 $Χ\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$（$n \geq 10$）、$S^2 \times \Sigma_g$（$g \geq 2$）及其相关连通和上，而通过Seiberg-Witten理论的拓扑障碍，排除了 $n < 10$ 时的存在性。

ABSTRACT

We show the existence of strictly almost-Kahler anti-self-dual metrics on certain 4-manifolds by deforming scalar-flat Kahler metrics. On the other hand, we prove the non-existence of such metrics on certain other 4-manifolds by means of Seiberg-Witten theory. In the process, we provide a simple new proof of the fact that any almost-Kahler anti-self-dual 4-manifold must have a non-trivial Seiberg-Witten invariant.

研究动机与目标

• 对同时允许几乎凯勒反自对偶度量与正标量曲率度量的光滑紧致4-流形进行分类。
• 确定支持严格几乎凯勒ASD度量的4-流形的拓扑约束条件。
• 为这类流形必须具有非平凡Seiberg-Witten不变量提供一种新证明。
• 确立精确的存在性条件，特别是针对 $\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$。
• 将Liu关于正标量曲率的定理推广至几乎凯勒ASD结构的情形。

提出的方法

• 通过对标量曲率为零的凯勒度量进行变形，构造严格几乎凯勒ASD度量。
• 应用扭量理论，通过复结构的Kodaira-Spencer理论解释ASD度量的变形。
• 应用Seiberg-Witten理论并使用显式扰动形式，分析解的结构。
• 计算几乎凯勒ASD度量的Seiberg-Witten不变量，证明其非零。
• 利用Seiberg-Witten模空间中良对的路径连通性，推导出其在扰动下的不变性。
• 结合Liu关于正标量曲率的定理与Seiberg-Witten不变量，约束微分同胚类型。

实验结果

研究问题

• RQ1 哪些光滑紧致4-流形允许存在严格几乎凯勒反自对偶度量？
• RQ2 哪些拓扑障碍会阻止某些4-流形上此类度量的存在性？
• RQ3 几乎凯勒ASD度量的Seiberg-Witten不变量如何表现，这对它们的结构有何含义？
• RQ4 使得 $\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$ 允许几乎凯勒ASD度量的最小整数 $n$ 是多少？
• RQ5 能否利用正标量曲率度量的存在性来对同时允许几乎凯勒ASD度量的4-流形进行分类？

主要发现

• 流形 $\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$ 当且仅当 $n \geq 10$ 时，允许几乎凯勒反自对偶度量。
• 存在严格几乎凯勒ASD度量意味着Seiberg-Witten不变量非零，且该不变量可通过标量曲率与里奇曲率显式有界。
• 当 $b_+ = 1$ 时，对 $(g, 0)$ 与 $(g, \epsilon)$（其中 $\epsilon = -\left(\frac{s}{6} + \frac{r^2}{4}\right)\omega$）通过良对路径连通，确保处于同一Seiberg-Witten腔室。
• 所有同时允许严格几乎凯勒ASD度量与正标量曲率度量的4-流形，微分同胚于 $\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$（$n \geq 10$）、$S^2 \times \Sigma_g$（$g \geq 2$），或其与 $\overline{\mathbb{CP}}^2$ 的连通和（$n \geq 1$，或在 $S^2 \times T^2$ 情况下 $n \geq 4$）。
• 通过反证法证明了在 $\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$ 上 $n \leq 9$ 时不存在此类度量：若存在，则其必为标量曲率为零的凯勒度量，从而导致 $c_1^2 < 0$，但这与 $n \leq 9$ 时 $c_1^2 \geq 0$ 矛盾。
• 本文提供了一种新且简洁的证明，表明任何几乎凯勒反自对偶4-流形必须具有非平凡的Seiberg-Witten不变量，方法为使用显式扰动形式与模空间中的路径连通性。