[論文レビュー] Proper actions on corank-one reductive homogeneous spaces

Fanny Kassel|ArXiv.org|Jul 24, 2008

Advanced Algebra and Geometry被引用数 23

ひとこと要約

本稿では、corank-one な再帰的同次空間 $G/H$ 上で真に離散的かつ局所的に離散的に作用する離散部分群が、$V^+ \setminus C_H$ の特定の連結成分にカーテン射影が集中することを確立する。ここで $C_H$ は $\mu(H)$ の凸包である。主な結果は、非仮想的巡回群が相反写像に関して不変な成分に制限されることを示しており、$\mathrm{rank}_{\mathbf{k}}(\mathbf{G}) = 1$ のとき、$G \times G / \Delta_G$ 上で真に離散的に作用するすべての torsion-free 離散部分群の完全分類が可能になる。これは局所体上の対称空間の幾何学における長年の問題を解決する。

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.

研究の動機と目的

• $G/H$ 上で真に離散的に作用する離散部分群 $\Gamma \leq G$ を特徴づけること。ただし $\mathrm{rank}_{\mathbf{k}}(H) = \mathrm{rank}_{\mathbf{k}}(G) - 1$ である。
• 正のワイルチャネル $V^+$ 内の凸包 $C_H = \mathrm{conv}(\mu(H))$ に関連して、カーテン射影 $\mu(\Gamma)$ の漸近的挙動を分析すること。
• 局所体上での幾何学的・代数的技法を用いて、Calabi-Markus 現象を corank-one の状況に拡張すること。
• 一般結果を応用し、$\mathrm{rank}_{\mathbf{k}}(G) = 1$ のとき、$G \times G$ の真に離散的に作用するすべての torsion-free 離散部分群を $G \times G / \Delta_G$ 上で分類すること。

提案手法

• $G = KA^+K$ のカーテン分解を用いて、カーテン射影 $\mu: G \to V^+$ を定義し、要素を $A^+$ 成分の対数に写像する。
• $C_H = \mathrm{conv}(\mu(H))$ における $V^+ \setminus C_H$ の構造を分析し、それが相反写像 $\iota$ によって置換される有限個の連結成分を持つことを示す。
• 真に離散的に $G/H$ 上で作用する離散群 $\Gamma \leq G$ に対して、ほとんどすべての $\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 / \Delta_G$ 上で真に離散的に作用する $G \times G$ の torsion-free 離散部分群は、$\mu(\varphi(\gamma)) < \mu(\gamma) - R$ を満たす $\gamma$ に対して十分大きな $\gamma$ で成り立つような、$\{ (\gamma, \varphi(\gamma)) \}$ のグラフに限り、そのようなものであることを示す。
• 局所体上の代数群論、特に再帰的群の構造、ルート系、およびワイルチャネル上での相反写像の作用を用いる。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{rank}_{\mathbf{k}}(H) = \mathrm{rank}_{\mathbf{k}}(G) - 1$ のとき、真に離散的に $G/H$ 上で作用する離散部分群 $\Gamma \leq G$ のカーテン射影 $\mu(\Gamma)$ の漸近的挙動は何か？
• RQ2 $V^+ \setminus C_H$ の成分と相反写像 $\iota$ は $\mu(\Gamma)$ の像をどのように制約するか？
• RQ3 $\mu(\Gamma)$ が単一の $\iota$-不変成分に制限されるのはどのような条件下か？
• RQ4 $\mathrm{rank}_{\mathbf{k}}(G) = 1$ のとき、$G \times G / \Delta_G$ 上で真に離散的に作用する $G \times G$ のすべての torsion-free 離散部分群の完全分類は何か？
• RQ5 局所体上の corank-one 再帰的空間の幾何は、3次元の二次曲面に作用する離散群の構造とどのように関係するか？

主な発見

• $\mathrm{rank}_{\mathbf{k}}(H) = \mathrm{rank}_{\mathbf{k}}(G) - 1$ を満たす任意の真に離散的に $G/H$ 上で作用する離散部分群 $\Gamma \leq G$ に対して、$V^+ \setminus C_H$ の連結成分 $C$ に対して、ほとんどすべての $\gamma \in \Gamma$ に対して $\mu(\gamma)$ は $C \cup \iota(C)$ に属する。
• $\Gamma$ が非仮想的巡回群でないならば、$\iota(C) = C$ であるため、$\mu(\Gamma)$ は漸近的に $\iota$-不変な $V^+ \setminus C_H$ の成分に含まれる。
• $\mathrm{rank}_{\mathbf{k}}(G) = 1$ のとき、$G \times G / \Delta_G$ 上で真に離散的に作用する $G \times G$ の torsion-free 離散部分群の分類は、$\Gamma = \{ (\gamma, \varphi(\gamma)) \}$ の形のグラフで与えられる。ここで $\varphi: \Gamma_0 \to G$ は $\mu(\varphi(\gamma)) < \mu(\gamma) - R$ をすべての $R > 0$ およびほとんどすべての $\gamma \in \Gamma_0$ に対して満たす群準同型である。
• 本結果は $\mathbb{R}$, $\mathbb{C}$, $\mathbb{Q}_p$, $\mathbb{F}_q((t))$ を含むすべての局所体 $\mathbf{k}$ に対して一様に適用可能であり、カーテン射影法の一般性を示している。
• 本手法により、corank-one の場合における Calabi-Markus 現象が解決され、$G/H$ 上で真に離散的に作用する無限離散群は、ワイルチャネル内の特定の領域にカーテン射影が制限されることを示している。
• 3次元の二次曲面への応用により、$S(Q) \cong (\mathrm{SL}_2(\mathbf{k}) \times \mathrm{SL}_2(\mathbf{k})) / \Delta_{\mathrm{SL}_2(\mathbf{k})}$ であり、$S(Q)$ 上で真に離散的に作用する離散群の分類は、主定理から直接導かれる。