[论文解读] Prescribing metrics on the boundary of convex cores of globally hyperbolic maximal compact AdS 3-manifolds

Boubacar Diallo|arXiv (Cornell University)|Mar 29, 2013

Geometric and Algebraic Topology参考文献 6被引用 7

一句话总结

本文证明了，对于亏格大于一的闭曲面，任意一对双曲度量都可以作为全局双曲极大紧反德西特3-流形的凸核心的边界度量被实现。通过Teichmüller理论与地震变形，作者建立了边界度量映射的满射性，从而解决了AdS几何中Mess猜想的存在性部分。

ABSTRACT

We consider globally hyperbolic maximal anti de Sitter 3-manifolds $M$ with a closed Cauchy surface $S$ of genus greater than one and prove that any pair of hyperbolic metrics on $S$ can be realized as the boundary metrics of the convex core of a maximal globally hyperbolic anti de Sitter 3-manifold structure on $M$. This answers the existence part of a question of Mess about the unique realization of such metrics. Our theorem has a nice formulation purely in terms of 2-dimensional Teichmüller theory and earthquakes.

研究动机与目标

• 为解决Mess在GHMC AdS 3-流形中边界度量实现问题上的猜想的存在性部分。
• 将准Fuchsian双曲3-流形与GHMC AdS 3-流形之间的类比扩展到边界度量实现问题。
• 建立从GHMC AdS结构空间到边界曲面两个Teichmüller空间乘积的满射映射。
• 利用地震变形与单值表示来构造所需的边界度量。
• 证明边界度量映射的次数为一，从而推出其满射性，并确认所有双曲度量对均被实现。

提出的方法

• 通过 $\mathrm{PSL}_2(\mathbb{R}) \times \mathrm{PSL}_2(\mathbb{R})$ 中的单值表示对GHMC AdS 3-流形进行表示，将其与 $\mathcal{T}(S) \times \mathcal{T}(S)$ 相关联。
• 定义从GHMC AdS结构空间到 $\mathcal{T}(S) \times \mathcal{T}(S)$ 的边界度量映射 $\Phi$，将每种结构映射为其上边界与下边界上的双曲度量。
• 利用地震变形分析单值表示变化下边界度量的行为。
• 使用Teichmüller理论中的紧致性引理，证明与常曲率 $k_\pm < -1$ 曲面相关的映射族 $\Phi_{k_+,k_-}$ 的适当性。
• 通过度量在缩放下的收敛性结果，建立映射 $\Phi$ 的连续性与适当性，依赖于Thurston的紧致性与收敛性定理。
• 利用在适当同伦下的不变性计算 $\Phi$ 的次数，并证明其等于一，从而推出满射性。

实验结果

研究问题

• RQ1 对于亏格大于一的闭曲面，其任意一对双曲度量是否都能作为GHMC AdS 3-流形的凸核心的边界度量被实现？
• RQ2 边界度量映射 $\Phi: \mathcal{T}(S) \times \mathcal{T}(S) \to \mathcal{T}(S) \times \mathcal{T}(S)$ 是否是满射？
• RQ3 $\Phi$ 的次数是多少？它是否意味着满射性？
• RQ4 地震变形与单值表示如何与AdS几何中边界度量的实现相关联？
• RQ5 是否存在不依赖于 $K$-拟共形方法的证明方法？因为在AdS设定下此类方法不适用。

主要发现

• 从GHMC AdS 3-流形空间到 $\mathcal{T}(S) \times \mathcal{T}(S)$ 的边界度量映射 $\Phi$ 是满射。
• 映射 $\Phi$ 的次数为一，这意味着它是满射，且 $S$ 上的每对双曲度量都可作为某个凸核心的边界度量被实现。
• 存在性结果通过适当性论证与次数计算建立，而非依赖于在该设定下不适用的 $K$-拟共形方法。
• 次数为一的性质在适当同伦下保持不变，且对 $k < -1$ 的映射 $\Phi_{k,k^*}$ 被证明是同胚，从而确认了次数为一。
• 证明依赖于Teichmüller理论中的紧致性引理，包括度量序列在缩放下收敛性以及下水平集的紧致性。
• 该结果确认了Mess猜想的存在性部分，即 $S$ 上任意一对双曲度量都作为某个唯一（在等距意义下）GHMC AdS 3-流形的边界度量被实现。