[论文解读] Topological tameness of Margulis spacetimes

Suhyoung Choi, William M. Goldman|arXiv (Cornell University)|Apr 24, 2012

Geometric and Algebraic Topology参考文献 29被引用 9

一句话总结

该论文证明了Margulis时空——即3维闵氏空间关于一个秩≥2的自由群在洛伦兹等距作用下无抛物元素且作用适当的商空间——是拓扑驯服的。通过在具有自由Holonomy的$\mathbb{R}P^2$-曲面上进行边界化，并利用实射影结构分析测地流，作者证明这些时空微分同胚于紧致胞胎体的内部，从而在无抛物元素的条件下确认了其驯服性。

ABSTRACT

We show that Margulis spacetimes without parabolic holonomy are topologically tame. A Margulis spacetime is the quotient of the $3$-dimensional Minkowski space by a free proper isometric action of the free group of rank $\geq 2$. We will use our particular point of view that the Margulis spacetime is a manifold-with-boundary with an $\mathbb{R} P^3$-structure in an essential way. The basic tools are a bordification by a closed $\mathbb{R} P^2$-manifold with free holonomy group, and the work of Goldman, Labourie, and Margulis on geodesics in the Margulis spacetimes and $3$-manifold topology.

研究动机与目标

• 建立当Holonomy群不包含抛物元素时Margulis时空的拓扑驯服性。
• 通过实射影几何与动力系统，拓展对几何有限洛伦兹3-流形的理解。
• 利用具有自由Holonomy的$\mathbb{R}P^2$-曲面对Margulis时空进行紧化，以应用3-流形拓扑技术。
• 证明此类时空具有有限边的 fundamental 多面体，且微分同胚于胞胎体的内部。

提出的方法

• 通过附加一个具有自由Holonomy群的闭合$\mathbb{R}P^2$-曲面，对Margulis时空进行边界化。
• 利用边界曲面上的实射影结构，分析时空中测地流的动力学。
• 应用Goldman、Labourie与Margulis在洛伦兹几何中关于测地线行为与无固定点群作用的结果。
• 将中性化截面提升至覆盖空间，并通过分析闵氏空间中凸球的收敛性，验证群作用的无固定点性。
• 采用近似折线平面分解，将紧化后的时空分割为3-球，使用在紧集外与折线平面一致的等变嵌入盘。
• 当线性Holonomy不包含于$\mathrm{SO}(2,1)^0$时，使用时空的二重覆盖，并构造$\varphi$-等变的近似折线平面以确保不相交性。

实验结果

研究问题

• RQ1 在何种条件下，Margulis时空是拓扑驯服的？
• RQ2 不含抛物Holonomy的Margulis时空能否通过具有自由Holonomy的实射影曲面实现紧化？
• RQ3 Margulis时空中的测地流与商流形的拓扑之间有何关系？
• RQ4 Margulis不变量在决定时空驯服性方面起什么作用？
• RQ5 能否在闵氏空间中为这类时空构造一个有限边的fundamental多面体？

主要发现

• 不含抛物Holonomy的Margulis时空是拓扑驯服的，即微分同胚于具有边界的紧致3-流形的内部。
• 紧化空间$(\mathsf{E} \cup \tilde{\Sigma})/\Gamma$微分同胚于亏格为$\mathsf{g}$的紧致胞胎体，其中$\mathsf{g}$是自由群$\Gamma$的秩。
• 当线性Holonomy $\mathbb{L}(\Gamma)$ 不包含于$\mathsf{SO}(2,1)^o$时，双覆盖$(\mathsf{E} \cup \tilde{\Sigma})/\Gamma'$仍为紧致胞胎体，原时空通过商结构实现驯服。
• 该时空可通过一组近似折线平面分解为3-球，这些近似折线平面是嵌入盘，且在紧集外与标准折线平面一致。
• 在$\mathsf{E}$中存在一个有限边的fundamental多面体，其由上述分解所得的3-球分量的有限并集构造而成。
• 证明依赖于凸球的收敛性以及群元素吸引子与排斥子的行为，从而确保群作用的无固定点性。