[论文解读] Anti-Self-Dual 4-Manifolds, Quasi-Fuchsian Groups, and Almost-Kaehler Geometry

Christopher J. Bishop, Claude LeBrun|arXiv (Cornell University)|Aug 12, 2017

Geometry and complex manifolds参考文献 10被引用 3

一句话总结

本文证明了在4-流形上，几乎凯勒反自对偶度量的集合通常不具有形变封闭性，表明其可能无法覆盖模空间的整个连通分支。通过将双曲3-流形上的调和函数与相关4-流形上的自对偶调和2-形式联系起来，作者利用拟Fuchsian群和隧道视野函数构造了显式例子，证明了临界点的存在性，从而揭示了几乎凯勒区域的非封闭性。

ABSTRACT

It is known that the almost-Kaehler anti-self-dual metrics on a given 4-manifold sweep out an open subset in the moduli space of anti-self-dual metrics. However, we show here by example that this subset is not generally closed, and so need not sweep out entire connected components in the moduli space. Our construction hinges on an unexpected link between harmonic functions on certain hyperbolic 3-manifolds and self-dual harmonic 2-forms on associated 4-manifolds.

研究动机与目标

• 研究反自对偶共形结构模空间中几乎凯勒反自对偶度量的开子集是否为闭子集。
• 探讨双曲3-流形上的调和函数与4-流形上自对偶调和2-形式之间的几何与分析联系。
• 构造显式反自对偶4-流形的例子，这些流形虽为标量曲率为零的凯勒流形的形变，但并非共形几乎凯勒。
• 分析拟Fuchsian 3-流形上的隧道视野函数，识别出表明几乎凯勒区域非闭的临界点。
• 研究非退化临界点在决定相关4-流形共形几何中的作用。

提出的方法

• 作者基于表面群到PSL(2,ℂ)的表示构造了拟Fuchsian 3-流形，这些流形以双曲曲面为纤维，纤维化在圆周上。
• 他们在双曲3-流形上定义了一个隧道视野函数，用于度量无穷远处边界上某区域的视觉范围，并通过Morse理论研究其临界点。
• 关键联系通过扭量构造和Hodge理论，将3-流形上的调和函数与相关4-流形上的自对偶调和2-形式联系起来。
• 证明隧道视野函数的临界点存在，对应于度量非共形几乎凯勒，利用该函数的Hessian检测横截性。
• 通过将“沙漏”形区域近似为狭窄通道，表明水平集的拓扑变化意味着临界点的存在，且该性质在小扰动下保持不变。
• 他们利用4维空间中Hodge星算子在2-形式上具有共形不变性，因此调和2-形式在共形变换下保持不变，从而可从常值范数为√2的调和形式构造反自对偶度量。

实验结果

研究问题

• RQ1 在反自对偶共形结构的模空间中，几乎凯勒反自对偶度量的开子集是否必然构成闭子集？
• RQ2 能否利用双曲3-流形上的调和函数构造相关4-流形上的自对偶调和2-形式？
• RQ3 拟Fuchsian 3-流形上隧道视野函数的临界点是否对应于非几乎凯勒的反自对偶度量？
• RQ4 是否可能构造出虽为标量曲率为零凯勒流形形变但并非共形几乎凯勒的反自对偶4-流形？
• RQ5 是否存在隧道视野函数无临界点的拟Fuchsian 3-流形？这将对相关4-流形产生何种几何含义？

主要发现

• 4-流形上几乎凯勒反自对偶度量的集合在反自对偶共形结构的模空间中不一定是闭的。
• 对于形如Σ×CP¹的4-流形，反自对偶共形类的模空间维数为30(g−1)，但仅12(g−1)维子空间来自标量曲率为零的凯勒度量。
• 拟Fuchsian 3-流形上隧道视野函数的临界点对应于非共形几乎凯勒的度量，且可通过Morse理论论证证明其存在性。
• 对于极限集中有极窄通道的拟Fuchsian流形，隧道视野函数会发展出一个非退化的Hessian的临界点，表明其在小扰动下稳定。
• 该构造表明，即使从标量曲率为零的凯勒度量出发，几乎凯勒区域也可能不包含模空间的整个连通分支。
• 通过使通道足够窄，可安排隧道视野函数至少存在一个非退化临界点，从而提供一种构造非几乎凯勒反自对偶度量的机制。