[论文解读] On discontinuous group actions on non-Riemannian homogeneous spaces

Toshiyuki Kobayashi|arXiv (Cornell University)|Mar 14, 2006

Geometric Analysis and Curvature Flows参考文献 51被引用 11

一句话总结

本文提出了一套群论框架，用于理解离散子群在非黎曼齐次空间（特别是伪黎曼对称空间）上适当不连续作用的机制。它建立了此类作用存在的判别准则，并证明了局部刚性定理，表明连续形变存在的充要条件是基底李群局部同构于 $\mathrm{SO}(n,1)$ 或 $\mathrm{SU}(n,1)$，从而将经典结果从黎曼几何推广至非黎曼几何。

ABSTRACT

This article gives an up-to-date account of the theory of discrete group actions on non-Riemannian homogeneous spaces. As an introduction of the motifs of this article, we begin by reviewing the current knowledge of possible global forms of pseudo-Riemannian manifolds with constant curvatures, and discuss what kind of problems we propose to pursue. For pseudo-Riemannian manifolds, isometric actions of discrete groups are not always properly discontinuous. The fundamental problem is to understand when discrete subgroups of Lie groups $G$ act properly discontinuously on homogeneous spaces $G/H$ for non-compact $H$. For this, we introduce the concepts from a group-theoretic perspective, including the `discontinuous dual' of $G/H$ that recovers $H$ in a sense. We then summarize recent results giving criteria for the existence of properly discontinuous subgroups, and the known results and conjectures on the existence of cocompact ones. The final section discusses the deformation theory and in particular rigidity results for cocompact properly discontinuous groups for pseudo-Riemannian symmetric spaces.

研究动机与目标

• 理解李群 $G$ 的离散子群在非紧齐次空间 $G/H$ 上作用适当不连续的条件。
• 将此前仅限于黎曼对称空间的不连续群理论推广至非黎曼情形。
• 为伪黎曼对称空间上具有紧致商的适当不连续作用发展形变理论。
• 利用上同调判别准则与群论对偶性，刻画此类作用的存在性与刚性。

提出的方法

• 引入齐次空间 $G/H$ 的‘不连续对偶’概念，通过群论对偶性恢复子群 $H$。
• 应用适当不连续作用的判别准则（定理14），涉及李代数层面的非退化性。
• 利用李代数的上同调消去定理，分析离散子群连续形变的存在性。
• 依赖经典李群之间的局部同构关系，如 $\mathrm{SL}(2,\mathbb{R}) \approx \mathrm{SO}(2,1)$ 与 $\mathrm{SL}(2,\mathbb{C}) \approx \mathrm{SO}(3,1)$，以推广结果。
• 将形变空间 $\mathcal{T}(\Gamma, G, H)$ 视为表示空间 $\mathrm{Hom}(\Gamma, G)/G$ 的商空间，通过孤立点识别刚性。
• 证明局部刚性失效的充要条件是 $G'$ 局部同构于 $\mathrm{SO}(n,1)$ 或 $\mathrm{SU}(n,1)$，从而将经典结果推广至非黎曼情形。

实验结果

研究问题

• RQ1 当非紧致子群 $H$ 时，离散子群 $\Gamma \subset G$ 在非黎曼齐次空间 $G/H$ 上作用适当不连续的条件是什么？
• RQ2 此类适当不连续作用何时存在连续形变？其刚性由何决定？
• RQ3 形变空间 $\mathcal{T}(\Gamma, G, H)$ 与流形上的复结构或洛伦兹结构等几何结构有何关联？
• RQ4 ‘不连续对偶’在从 $G$ 的作用重构子群 $H$ 的过程中起什么作用？
• RQ5 在非黎曼对称空间背景下，Calabi–Markus 现象何时失效或持续存在？

主要发现

• 对于 $G' = \mathrm{SL}(2,\mathbb{R})$，不连续群的连续形变存在，表明在此情形下局部刚性不成立。
• 黎曼对称空间的局部刚性定理仅在 $G'$ 局部同构于 $\mathrm{SL}(2,\mathbb{R})$ 时成立，从而在新设定下验证了经典结果。
• 在非黎曼情形 $G/H = G' \times G'/\mathrm{diag}(G')$ 中，连续形变存在的充要条件是 $G'$ 局部同构于 $\mathrm{SO}(n,1)$ 或 $\mathrm{SU}(n,1)$。
• 当 $G/H = \mathrm{SL}(2,\mathbb{R})/\mathrm{SO}(2)$ 时，形变空间 $\mathcal{T}(\Gamma, G, H)$ 对应于亏格 $g \geq 2$ 的黎曼曲面的泰希米勒空间，从而将不连续群作用与复几何联系起来。
• 当 $G/H = \mathrm{SL}(2,\mathbb{C}) \times \mathrm{SL}(2,\mathbb{C})/\mathrm{diag}(\mathrm{SL}(2,\mathbb{C}))$ 时，形变空间对应于三维复流形上的复结构。
• 本文正面证实了戈德曼猜想：在半单李群中，离散子群的小形变保持不连续性，其依据为定理14的判别准则。