[论文解读] A class of locally conformally flat 4-manifolds

Selman Akbulut, Mustafa Kalafat|arXiv (Cornell University)|Jul 5, 2008

Geometric Analysis and Curvature Flows参考文献 13被引用 3

一句话总结

该论文通过 $S^1 \times M^3$ 的共形紧化构造了无限多族非单连通、局部共形平坦（LCF）的 4-流形——称为带板网络 4-流形——其中 $M^3$ 是具有边界的双曲 3-流形。这些流形表现出无界的贝蒂数、负的欧拉示性数、严格负的标量曲率，且不具有爱因斯坦度量，从而在非单连通情形下提供了新的巴赫平坦但非爱因斯坦的 4-流形例子。

ABSTRACT

We construct infinite families of non-simply connected locally conformally flat (LCF) 4-manifolds realizing rich topological types. These manifolds have strictly negative scalar curvature and the underlying topological 4-manifolds do not admit any Einstein metrics. Such 4-manifolds are of particular interest as examples of Bach-flat but non-Einstein spaces in the non-simply connected case. Besides that the underlying smooth manifolds are examples of spaces that admit open book decomposition in dimension 4.

研究动机与目标

• 构造具有丰富多样的拓扑类型的非单连通、局部共形平坦 4-流形的新例子。
• 证明此类 4-流形可具有无界的贝蒂数（$b_1, b_2 \to \infty$）和负的欧拉示性数（$\chi \to -\infty$）。
• 表明这些流形具有严格负的标量曲率，且不接受任何爱因斯坦度量。
• 通过带板网络群和 framed links 的胞腔体图示，提供具体的几何与拓扑构造。
• 通过关联克莱因群极限集的豪斯多夫维数，确立其共形类型（负标量曲率）。

提出的方法

• 利用 $S^1 \times M^3$ 的共形紧化，其中 $M^3$ 是具有边界的双曲 3-流形，借助 [Br] 中的定理 1.2 构造闭的 LCF 4-流形。
• 采用带板网络群——由 Maskit 构造的克莱因群——作为双曲 3-流形 $M^3$ 的一致化群。
• 应用 Schoen-Yau–Nayatani 定理（定理 6.3），根据克莱因群极限集 $\Lambda$ 的豪斯多夫维数 $\dim(\Lambda)$ 确定标量曲率的符号。
• 利用关系式 $\text{sign}(\text{标量曲率}) = \text{sign}(1 - \dim(\Lambda))$，在 $\dim(\Lambda) > 1$ 时证明标量曲率为负。
• 通过构造显式的胞腔体图示和 framed link 图形，描述所得 4-流形的光滑拓扑结构。
• 依赖于：对于非胞腔体、非加厚环面的双曲 3-流形，有 $D(M) \geq 1$，且若 $d(M,g) > 1$，则 $1 - \dim(\Lambda) < 0$，从而推出负标量曲率。

实验结果

研究问题

• RQ1 能否构造出具有无界贝蒂数的非单连通、局部共形平坦 4-流形的无限多族？
• RQ2 此类 4-流形是否接受爱因斯坦度量？若否，原因是什么？
• RQ3 在这些 LCF 4-流形的自然度量的共形类中，标量曲率的符号由什么决定？
• RQ4 克莱因群极限集的豪斯多夫维数与所得 4-流形的标量曲率之间有何关系？
• RQ5 能否通过胞腔体分解或 framed link 图形显式描述这些 4-流形的拓扑结构？

主要发现

• 本文构造了无限多族闭的、非单连通的、局部共形平坦的 4-流形，其满足 $b_1, b_2 \to \infty$ 且 $\chi \to -\infty$。
• 这些流形具有严格负的标量曲率，经由 Schoen-Yau–Nayatani 定理结合 $\dim(\Lambda) > 1$ 得到证实。
• 对于满足 $b_2 \neq 0$ 的流形，其底层的拓扑 4-流形不接受任何非负标量曲率的局部共形平坦度量。
• 这些 4-流形不接受任何爱因斯坦度量，通过计算其欧拉示性数并利用爱因斯坦 4-流形必须满足某些拓扑约束的事实得以证明。
• 标量曲率的符号由 $1 - \dim(\Lambda)$ 决定，由于所构造流形满足 $\dim(\Lambda) > 1$，故标量曲率为严格负。
• 这些流形的光滑拓扑通过显式的 framed link 图形和胞腔体图示得以描述，为后续研究提供了可视化与计算工具。