[论文解读] Crooked surfaces and anti-de Sitter geometry

William M. Goldman|arXiv (Cornell University)|Feb 20, 2013

Geometric Analysis and Curvature Flows参考文献 10被引用 9

一句话总结

本文建立了三维反德西特（AdS）空间中拐曲平面与爱因斯坦宇宙中拐曲曲面之间的几何对应关系，表明AdS中的拐曲平面在AdS的双重覆盖下可提升为$I_{\text{S}}$-适配的拐曲曲面。关键结果是这些提升后的曲面在定义AdS空间的共形对合下保持不变，从而可通过爱因斯坦宇宙的紧化实现洛伦兹型克莱因群的基本域构造。

ABSTRACT

Crooked planes were defined by Drumm to bound fundamental polyhedra in Minkowski space for Margulis spacetimes. They were extended by Frances to closed polyhedral surfaces in the conformal compactification of Minkowski space (Einstein space) which we call crooked surfaces. The conformal model of anti-de Sitter space is the interior of the quotient of Einstein space by an involution fixing an Einstein plane. The purpose of this note is to show that the crooked planes defined in anti-de Sitter space recently by Danciger-Guéritaud-Kassel lift to restrictions of crooked surfaces in Einstein space which are adapted under the involution of Einstein space defining anti-de Sitter space.

研究动机与目标

• 阐明反德西特空间中拐曲平面与闵可夫斯基空间的共形紧化（即爱因斯坦宇宙）中拐曲曲面之间的几何关系。
• 证明Danciger-Guéritaud-Kassel引入的AdS拐曲平面在提升至爱因斯坦宇宙时，可形成与定义AdS空间的对合相容的拐曲曲面。
• 确立这些提升后的曲面为$I_{\text{S}}$-适配曲面，即它们在对合下不变，并保持基本域结构。
• 将拐曲曲面理论扩展至反德西特几何背景，从而实现对AdS³中离散群作用的应用。
• 通过拐曲曲面的几何结构，提供一个统一框架，将马尔古利斯时空、AdS流形与洛伦兹型克莱因群联系起来。

提出的方法

• 将基点$p \to \text{AdS}^3$提升为其在双重覆盖$\tilde{\text{AdS}}^3$中的两个原像$\tilde{p}, -\tilde{p}$。
• 利用指数映射，将AdS拐曲平面在点$p$处的切锥与切空间$T_p(\text{AdS}^3) \to \text{E}^3$中的拐曲平面相等同。
• 利用满足关联与非关联条件的有序四元点组，在爱因斯坦宇宙$\text{Ein}^3$中构造一个拐曲曲面$\frak{C}(p_0, p_\flat, p_1, p_2)$。
• 施加$I_{\text{S}}$-适配条件：对合$I_{\text{S}}$固定$p_1, p_2$，并交换$p_0, p_\flat$，以确保与AdS的双重覆盖相容。
• 在$\text{Ein}^3$上应用共形对合$I_{\text{S}}$，其不动点集为一个2-球面$\text{Ein}^2$，从而实现$\tilde{\text{AdS}}^3 \to \text{AdS}^3$的提升变换。
• 证明在$\tilde{\text{AdS}}^3$中提升后的拐曲曲面的像在投影回$\text{AdS}^3$时，保持其原始结构。

实验结果

研究问题

• RQ1 三维反德西特空间中的拐曲平面与爱因斯坦宇宙中的拐曲曲面之间有何关系？
• RQ2 Danciger-Guéritaud-Kassel提出的AdS拐曲平面能否被提升为爱因斯坦宇宙中与定义AdS空间的共形对合相容的曲面？
• RQ3 何种条件可确保爱因斯坦宇宙中的拐曲曲面在诱导AdS³双重覆盖的对合下保持不变？
• RQ4 $I_{\text{S}}$-适配条件在拐曲曲面中与反德西特流形中基本域的几何结构有何关联？
• RQ5 爱因斯坦宇宙中拐曲曲面的理论能否用于构造作用于$\text{Ein}^3$的洛伦兹型克莱因群的基本域？

主要发现

• AdS拐曲平面在点$p$处的切锥等距同构于闵可夫斯基空间$T_p(\text{AdS}^3) \to \text{E}^3$中的拐曲平面。
• AdS拐曲平面$\text{C}(p, \textbf{s})$是其在切空间中拐曲平面的指数映射像：$\text{C}(p, \textbf{s}) = \text{Exp}_p(\text{C}(0_p, \textbf{s}))$。
• 在双重覆盖$\tilde{\text{AdS}}^3 \to \text{AdS}^3$下，$\text{C}(p, \textbf{s})$的原像被提升为$\text{Ein}^3$中一个曲面，该曲面是某个拐曲曲面$\frak{C}(p, \textbf{s})$的闭包。
• 在$\text{Ein}^3$中提升后的拐曲曲面为$I_{\text{S}}$-适配曲面：对合$I_{\text{S}}$固定两个类光点$p_1, p_2$，并交换顶点与无穷远点$p_0, p_\flat$。
• 此$I_{\text{S}}$-适配结构确保曲面在商掉提升变换后可下降为$\text{AdS}^3$中定义良好的基本域。
• 该构造在马尔古利斯时空（闵可夫斯基空间中的理论）与洛伦兹型克莱因群（爱因斯坦宇宙中的理论）之间建立了几何桥梁，通过反德西特模型实现。