离散子群Γ在H/D上的真不连续作用及黎曼曲面证明问询

架构老林

2026-5-19

关于$PSL(2, \mathbb{R})$离散子群Γ的三个性质证明

我来一步步梳理这三个结论的证明思路，都是复几何里关于离散群作用的经典结果：

1. Γ在上半平面$H$/单位圆盘$D$上真不连续作用

真不连续作用的核心要求是：对任意紧集$K \subset D$，集合${\gamma \in \Gamma \mid \gamma(K) \cap K \neq \emptyset}$必为有限集，我们用反证法结合离散群的拓扑性质来证：

假设存在紧集$K$使得上述集合无限，那就能找到无限序列$\gamma_n \in \Gamma$，使得$\gamma_n(K) \cap K \neq \emptyset$。取$p_n \in K$，$\gamma_n(p_n) = q_n \in K$；因为$K$是紧集，所以子列$p_{n_k} \to p \in K$，$q_{n_k} \to q \in K$。
$PSL(2, \mathbb{R})$作为拓扑群，映射$\gamma \mapsto \gamma(p)$是连续的，而Γ是离散子群——离散群里的收敛序列只能是常序列。但$\gamma_{n_k}(p_{n_k}) = q_{n_k}$，两边取极限（利用群作用的连续性）会得到$\gamma_{n_k}(p) \to q$，这意味着$\gamma_{n_k}$在$PSL(2, \mathbb{R})$中收敛，和Γ的离散性矛盾。
由于$H$和$D$通过全纯同胚等价，Γ在$H$上的作用自然也满足真不连续的条件。

我们先从特殊点入手，再利用群作用的传递性推广到任意点：

取$0 \in D$，$Stab_0$是$PSL(2, \mathbb{R})$中固定0的元素集合，也就是旋转群$S^1$（对应矩阵$\begin{pmatrix} e^{i\theta} & 0 \ 0 & e^{-i\theta} \end{pmatrix}$，$\theta \in \mathbb{R}$）。
因为Γ是离散子群，所以$Stab_0 \cap \Gamma$是$S^{1$的离散子群。而$S}1$是紧群，它的离散子群必然有限（否则会出现聚点，违背离散性），且$S^1$的有限子群都是循环群（由某个单位根生成），因此$Stab_0 \cap \Gamma$是有限循环群。
对于任意$p \in D$，$PSL(2, \mathbb{R})$在$D$上的作用是可递的，存在$g \in PSL(2, \mathbb{R})$使得$g(p) = 0$。此时$Stab_p = g^{-1}Stab_0 g$（共轭作用下稳定子群对应），因此$Stab_p \cap \Gamma = g^{-1}(Stab_0 \cap g\Gamma g^{-1})g$。
注意$g\Gamma g^{-1}$也是$PSL(2, \mathbb{R})$的离散子群，所以$Stab_0 \cap g\Gamma g^{-1}$是有限循环群，共轭后仍然是有限循环群，故$Stab_p \cap \Gamma$必为有限循环群。

我们利用真不连续作用的性质来构造黎曼曲面的坐标卡：

由Γ的真不连续性，对任意$q \in D$，存在$q$的邻域$U$，使得只有单位元$\text{id} \in \Gamma$满足$\gamma(U) \cap U \neq \emptyset$（这种邻域叫基本邻域）。此时$\pi|_U: U \to \pi(U)$是同胚——既是满射，又是单射（若$\pi(u_1)=\pi(u_2)$，则存在$\gamma \in \Gamma$使得$\gamma(u_1)=u_2$，若$\gamma \neq \text{id}$则$\gamma(U) \cap U \neq \emptyset$，和基本邻域的定义矛盾）。
定义$D/\Gamma$上的坐标卡：对每个基本邻域$U$，取$(\pi(U), (\pi|U)^{-1})$作为坐标卡。验证兼容性：设$U_1, U_2$是两个基本邻域，$\pi(U_1) \cap \pi(U_2) \neq \emptyset$，取$V = \pi^{-1}(\pi(U_1) \cap \pi(U_2))$，则$V = \bigcup{\gamma \in \Gamma} \gamma(U_1) \cap U_2$。对任意$x \in \pi(U_1) \cap \pi(U_2)$，存在$u_1 \in U_1, u_2 \in U_2$使得$\pi(u_1)=\pi(u_2)=x$，即存在$\gamma \in \Gamma$使得$\gamma(u_1)=u_2$，此时过渡映射$(\pi|{U_2})^{-1} \circ (\pi|{U_1})$在$x$附近就是$\gamma \circ (\pi|_{U_1})^{-1}$，而$\gamma$是$PSL(2, \mathbb{R})$中的元素，对应$D$上的全纯自同构，所以过渡映射是全纯的。
这样$D/\Gamma$就被赋予了黎曼曲面结构，而投影$\pi$在局部是坐标卡逆映射的逆，自然是全纯映射。

内容的提问来源于stack exchange，提问作者GouldBach