[论文解读] On the isometry group and the geometric structure of compact stationary Lorentzian manifolds

Paolo Piccione, Abdelghani Zeghib|arXiv (Cornell University)|Feb 3, 2010

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

一句话总结

本文研究具有无限多个连通分支的等距群的紧致静态洛伦兹流形，证明了在有限覆盖下，它们可分解为一个平坦洛伦兹环面与一个紧致黎曼或类光流形的乘积（或 amalgamated 乘积）。关键结果基于等距群的单位连通分支的非紧致性以及类时基灵场的存在性，建立了结构分类。

ABSTRACT

We study the geometry of compact Lorentzian manifolds that admit a somewhere timelike Killing vector field, and whose isometry group has infinitely many connected components. Up to a finite cover, such manifolds are products (or amalgamated products) of a flat Lorentzian torus and a compact Riemannian (resp., lightlike) manifold.

研究动机与目标

• 理解具有非紧致等距群的紧致洛伦兹流形的几何结构。
• 分析某处类时基灵向量场在决定此类流形整体几何中的作用。
• 当等距群具有无限多个连通分支时，对紧致静态洛伦兹流形的结构进行分类。
• 将已知的等距群作用结果推广至非紧致等距群且具有无限分支的情形。
• 确定此类流形在何种情况下是平坦洛伦兹环面与紧致黎曼/类光因子的乘积或 amalgamated 乘积的有限覆盖。

提出的方法

• 利用等距群离散部分的伴随作用分析等距群的结构。
• 应用哈里什-钱德拉–博雷尔定理，研究与有理洛伦兹形式相关的正交群中的算术格点。
• 通过单连通流形乘积上自由且适当的对角圆群作用构造商流形。
• 分析由对角 S¹ 作用诱导的纤维丛的长正合同伦序列，以确定商流形的基本群。
• 利用文献 [17] 中关于 SL(2,R) 或振子群等距作用的结构结果，对非单连通洛伦兹流形进行分类。
• 基于离散商 Γ = Iso(M,g)/Iso₀(M,g) 的性质，通过反证法与情形分析，区分初等抛物与非抛物情形。

实验结果

研究问题

• RQ1 一个紧致静态洛伦兹流形，其等距群具有无限多个连通分支时，其几何结构是什么？
• RQ2 在具有类时基灵场且等距群非紧致的紧致洛伦兹流形中，其在何种条件下可分解为乘积或 amalgamated 乘积？
• RQ3 等距群的单位连通分支的非紧致性如何限制流形的整体拓扑与几何？
• RQ4 若一个单连通紧致洛伦兹流形的等距群具有无限多个分支，其等距群是否可能不紧致？
• RQ5 基本群在决定紧致洛伦兹流形是否为包含平坦洛伦兹环面的乘积的有限覆盖中起什么作用？

主要发现

• 具有无限多个连通分支的等距群的紧致静态洛伦兹流形，在有限覆盖下，可分解为平坦洛伦兹环面与紧致黎曼或类光流形的乘积或 amalgamated 乘积。
• 若等距群非紧致且单位连通分支包含类时轨道，则其必包含一个局部同构于 SL(2,R) 或振子群的非平凡因子。
• 当流形单连通时，等距群必为紧致；因此，若其具有无限多个分支，则其有限覆盖不可能是单连通的。
• 若 X 与 Y 均为单连通，则商流形 Z = (X × Y)/S¹ 为单连通；但若 π₁(X) × π₁(Y) 非循环，则 Z 不是单连通。
• 商流形 Z 上的洛伦兹度量是良定义的，并因对角 S¹ 作用的等距性而诱导出一致的度量结构。
• 分类依赖于离散商 Γ = Iso(M,g)/Iso₀(M,g) 的结构，不同结论取决于 Γ 是否为初等抛物。