[论文解读] Proper actions on corank-one reductive homogeneous spaces

Fanny Kassel|ArXiv.org|Jul 24, 2008

Advanced Algebra and Geometry被引用 23

一句话总结

该论文证明了在局部域上的余秩一半单齐次空间 $G/H$ 上，以适当离散方式作用的离散子群的 Cartan 投影集中于 $V^+ \setminus C_H$ 的特定连通分支中，其中 $C_H$ 是 $\mu(H)$ 的凸包。关键结果表明，非几乎循环群被限制在反对合作用下的不变分支中，从而在 $\mathrm{rank}_{\mathbf{k}}(\mathbf{G}) = 1$ 时，实现了对 $G \times G / \Delta_G$ 上作用适当的无挠离散子群的完整分类。该结果解决了局部域上对称空间几何中长期存在的问题。

ABSTRACT

Let k be a local field and G the set of k-points of a connected semisimple algebraic k-group of rank one. We describe all torsion-free discrete subgroups of G imes G acting properly discontinuously on G by left and right multiplication. To this end, we prove a general result on the Cartan projection of discrete groups acting properly discontinuously on corank-one reductive homogeneous spaces over k.

研究动机与目标

• 刻画当 $\mathrm{rank}_{\mathbf{k}}(H) = \mathrm{rank}_{\mathbf{k}}(G) - 1$ 时，作用于 $G/H$ 上的离散子群 $\Gamma \leq G$ 的性质。
• 分析 Cartan 投影 $\mu(\Gamma)$ 在正 Weyl 单体 $V^+$ 中相对于 $C_H = \mathrm{conv}(\mu(H))$ 的渐近行为。
• 利用局部域上的几何与代数方法，将 Calabi-Markus 现象推广至余秩一情形。
• 将一般性结果应用于分类 $\mathrm{rank}_{\mathbf{k}}(G) = 1$ 时，$G \times G$ 的所有无挠离散子群在 $G \times G / \Delta_G$ 上作用适当的子群。

提出的方法

• 利用 Cartan 分解 $G = KA^+K$ 定义 Cartan 投影 $\mu: G \to V^+$，将元素映射到其 $A^+$-分量的对数。
• 分析 $V^+ \setminus C_H$ 的结构，其中 $C_H = \mathrm{conv}(\mu(H))$，证明其具有有限多个连通分支，且在反对合 $\iota$ 作用下置换。
• 证明：若离散子群 $\Gamma \leq G$ 在 $G/H$ 上作用适当离散，则对几乎所有 $\gamma \in \Gamma$，有 $\mu(\gamma)$ 属于 $C \cup \iota(C)$，其中 $C$ 是 $V^+ \setminus C_H$ 的一个连通分支。
• 证明：若 $\Gamma$ 不是几乎循环群，则 $\iota(C) = C$，即 $\mu(\Gamma)$ 的渐近支撑具有 $\iota$-对称性。
• 将结果应用于 $G = \mathrm{SL}_2(\mathbf{k})$，$H = \Delta_G$ 的情形，证明：$G \times G$ 的无挠离散子群在 $G \times G / \Delta_G$ 上作用适当，当且仅当其为图 $\{ (\gamma, \varphi(\gamma)) \}$，其中 $\mu(\varphi(\gamma)) < \mu(\gamma) - R$ 对所有 $R > 0$ 及几乎所有 $\gamma$ 成立。
• 运用局部域上的代数群理论，包括半单群结构、根系以及反对合在 Weyl 单体上的作用。

实验结果

研究问题

• RQ1 当 $\mathrm{rank}_{\mathbf{k}}(H) = \mathrm{rank}_{\mathbf{k}}(G) - 1$ 时，作用于 $G/H$ 上的离散子群 $\Gamma \leq G$ 的 Cartan 投影 $\mu(\Gamma)$ 的渐近行为如何？
• RQ2 $V^+ \setminus C_H$ 的分支结构与反对合 $\iota$ 如何约束 $\mu(\Gamma)$ 的像？
• RQ3 在何种条件下 $\mu(\Gamma)$ 被限制于单个 $\iota$-不变分支？
• RQ4 当 $\mathrm{rank}_{\mathbf{k}}(G) = 1$ 时，$G \times G$ 的所有无挠离散子群在 $G \times G / \Delta_G$ 上作用适当的完整分类是什么？
• RQ5 局部域上余秩一半单空间的几何与作用于三维二次曲面的离散群结构有何关联？

主要发现

• 对任意在 $G/H$ 上作用适当离散的离散子群 $\Gamma \leq G$，且满足 $\mathrm{rank}_{\mathbf{k}}(H) = \mathrm{rank}_{\mathbf{k}}(G) - 1$，其 Cartan 投影 $\mu(\Gamma)$ 几乎所有 $\gamma \in \Gamma$ 都位于 $C \cup \iota(C)$ 中，其中 $C$ 是 $V^+ \setminus C_H$ 的一个连通分支。
• 若 $\Gamma$ 不是几乎循环群，则 $\iota(C) = C$，因此 $\mu(\Gamma)$ 的渐近支撑被包含于 $V^+ \setminus C_H$ 的一个 $\iota$-不变分支中。
• 当 $\mathrm{rank}_{\mathbf{k}}(G) = 1$ 时，$G \times G$ 的所有无挠离散子群在 $G \times G / \Delta_G$ 上作用适当的分类为图 $\Gamma = \{ (\gamma, \varphi(\gamma)) \}$，其中 $\varphi: \Gamma_0 \to G$ 是同态，且对所有 $R > 0$ 及几乎所有 $\gamma \in \Gamma_0$，有 $\mu(\varphi(\gamma)) < \mu(\gamma) - R$。
• 该方法对所有局部域 $\mathbf{k}$（包括 $\mathbb{R}$、$\mathbb{C}$、$\mathbb{Q}_p$ 和 $\mathbb{F}_q((t))$）均适用，表明 Cartan 投影方法具有普遍性。
• 通过证明无限离散群在 $G/H$ 上作用适当则其 Cartan 投影必须被限制于 Weyl 单体的特定区域，该方法解决了余秩一情形下的 Calabi-Markus 现象。
• 在三维二次曲面的应用中，有 $S(Q) \cong (\mathrm{SL}_2(\mathbf{k}) \times \mathrm{SL}_2(\mathbf{k})) / \Delta_{\mathrm{SL}_2(\mathbf{k})}$，且作用于 $S(Q)$ 上的离散群的分类可直接由主定理推出。