[論文レビュー] On the existence of spines for Q-rank 1 groups

Dan Yasaki|ArXiv.org|Jan 4, 2006

Advanced Algebra and Geometry参考文献 28被引用数 12

ひとこと要約

本稿は、$\mathbb{Q}$-ランク 1 の代数群 $\mathbf{G}$ に関連する対称空間 $D = G/K$ に対して、有理パラボリック部分群に関連する exhaustion 関数を用いて、$\Gamma$-同変なスプラインを構成する。$\Gamma$ の仮想コhomological次元に等しい次元を持つスプライン $D_0$ への deformation retraction の存在を証明し、その再構成は $k-1$ 個のパラメータを持つ族を形成する。ここで $k$ は $\Gamma$-共役類としての有理パラボリック部分群の数である。

ABSTRACT

Let X=Gamma\G/K be an arithmetic quotient of a symmetric space of non-compact type. In the case that G has Q-rank 1, we construct Gamma-equivariant deformation retractions of D=G/K onto a set D_0. We prove that D_0 is a spine, having dimension equal to the virtual cohomological dimension of Gamma. In fact, there is a (k-1)-parameter family of such deformations retractions, where k is the number of Gamma-conjugacy classes of rational parabolic subgroups of G. The construction of the spine also gives a way to construct an exact fundamental domain for Gamma.

研究の動機と目的

• $\mathbb{Q}$-ランク 1 の代数群に関連する対称空間に対する $\Gamma$-同変なスプラインの存在を確立すること。
• $\Gamma$ の仮想コhomological次元に等しい次元を持つスプライン $D_0$ への deformation retraction の構成的証明。
• 有理パラボリック部分群に関連する exhaustion 関数を導入することで、非線形対称空間への well-rounded retract の一般化を達成すること。
• スプライン $D_0$ が、少なくとも 2 個の有理パラボリック部分群を含む strongly admissible な集合によってインデックス付けされた半解析的集合の直和に分解可能であり、$\Gamma$-同変性を満たすことを示すこと。
• 商空間 $\Gamma\backslash D_0$ がコンパクトであることを示し、これによりコhomology の有限な組合せ的記述が可能になること。

提案手法

• 有理パラボリック部分群から導かれる exhaustion 関数を用い、これによりカスプからの距離を測る高さ関数として機能させる。
• $\mathbb{Q}$-ランク 1 の場合、Saper の正規化パラメータを有理ルートと合成することでこれらの exhaustion 関数を構成する。
• これらの exhaustion 関数の等高線集合を用いて、$D$ から $D_0$ への $\Gamma$-同変な deformation retraction を定義する。
• スプライン $D_0$ は、$D_0 = \coprod D'({\mathcal{I}})$ と、少なくとも 2 個の有理パラボリック部分群を含むある種の部分集合 $\mathcal{I}$ についての直和に分解される。
• $\Gamma$-作用に関して $\gamma \cdot D'({\mathcal{I}}) = D'({}^\gamma\!{\mathcal{I}})$ を満たすことで、同変性が保証される。
• $k$ が $\Gamma$-共役類としての有理パラボリック部分群の数であるとき、これらの exhaustion 関数の組み合わせの自由度から、$(k-1)$-パラメータ族の再構成の存在が生じる。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Q}$-ランク 1 の群に対して、対称空間に $\Gamma$-同変なスプラインが存在するか？
• RQ2 有理パラボリック部分群に関連する exhaustion 関数を用いて、そのようなスプラインを明示的に構成できるか？
• RQ3 スプラインの次元は何か？ また、$\Gamma$ の仮想コhomological次元と一致するか？
• RQ4 何種類の異なる deformation retraction が存在するか？ そのパラメータ数は何かに依存するか？
• RQ5 スプラインの分解が、有限な組合せ的データを用いて $\Gamma$ のコhomology を記述するために利用可能か？

主な発見

• $D = G/K$ からスプライン $D_0$ への $\Gamma$-同変な deformation retraction が存在し、$D_0$ は半解析的集合の局所有限な直和である。
• $\Gamma\backslash D_0$ の次元は $\Gamma$ の仮想コhomological次元に等しく、$D_0$ が最小次元のスプラインであることが確認された。
• スプライン $D_0$ は strongly admissible な有理パラボリック部分群の集合 $\mathcal{I}$ によってインデックス付けされた $\Gamma$-同変な分解 $D_0 = \coprod D'({\mathcal{I}})$ を持つ。
• 商空間 $\Gamma\backslash D_0$ はコンパクトである。これはコhomological 応用において重要な性質である。
• $k$ が $\Gamma$-共役類としての有理パラボリック部分群の数であるとき、$(k-1)$-パラメータ族のこのような deformation retraction が存在する。
• $\mathbf{G} = \mathrm{SL}_2$ の場合、この構成は well-rounded retract を回復し、上半平面に無限個の 3 分岐の木を形成する。ここで $f_{i\infty}(z) = \operatorname{Im}(z)$ が exhaustion 関数として機能する。