[論文レビュー] Tits Geometry, Arithmetic Groups and the Proof of a Conjecture of Siegel

Enrico Leuzinger|ArXiv.org|Nov 21, 2002

Advanced Algebra and Geometry参考文献 22被引用数 25

ひとこと要約

本稿は、商写像の下で等長的に埋め込まれるSiegel集合内のℚ–Weylチャネルを同定することにより、算術的局所対称空間における正確な還元理論を完成させる。商空間が有限単体複体上のユークリッド錐に準等長的であることを証明し、シーゲルの準等長的性に関する予想を確認するとともに、無限遠境界におけるTits距離の公式を確立し、高ランク対称空間における幾何学的構造と算術的構造を結びつける。

ABSTRACT

We show that a locally symmetric space of noncompact type and with finite volume is quasi-isometric to the euclidean cone over a finite simplicial complex. A detailed analysis of metric properties yields a proof of a conjecture of Siegel.

研究の動機と目的

• 高ランク対称空間における非一様的算術的格子の正確な還元理論を、基本領域の計量的性質を分析することによって完成させること。
• C.L. シーゲルが提起した、商空間Γ\Xの準等長的型に関する予想を解決すること。
• 漸近的錐と境界における幾何学的性質を用いて、V = Γ\Xの漸近的幾何学を特徴づけ、無限遠境界におけるTits距離の公式を確立すること。
• Vが有限単体複体上のユークリッド錐に準等長的であることを示し、その大規模幾何的構造を明らかにすること。

提案手法

• 対称空間X = G/K内の一般化されたSiegel集合S_i内に、商写像π|_{C_i}が等長写像であるℚ–WeylチャネルC_iを同定する。
• Vのコンパクト部分多様体（角を持つ）による exhaustion を用いて、π(X_i)の幾何学的性質を分析し、C_iの像からVにおけるネットを構成する。
• Gromov–Hausdorffの極限構成を用いて、漸近的錐Cone(V)をlim_{n→∞}(V, v_0, (1/n)d_V)として定義し、それが有限単体複体Γ\|T|上のユークリッド錐に等長的であることを示す。
• 測度をスケーリングした空間におけるHausdorff収束を用いて、測地線の放射を上に引き上げることにより、無限遠境界写像R: ∂_∞V → Γ\|T|を構成し、それが双射であることを示す。
• 錐構造とCAT(0)空間の性質を用いて、z_1, z_2 ∈ ∂_∞Vに対して、Tits距離の公式2sin(½d_T(z_1,z_2)) = lim_{t→∞} (1/t) d_V(c_1(t),c_2(t))を確立する。
• Cartan–Hadamard定理と球的Titsビルディングの構造を用いて、漸近的放射の収束を分析し、漸近的錐内での性質を考察する。

実験結果

リサーチクエスチョン

• RQ1 算術的局所対称空間における基本領域の計量的性質は、位相的または組合せ的分解を越えて精緻化可能か？
• RQ2 シーゲルが予想したように、商写像π: X → Γ\X がSiegel集合に制限されたとき、準等長的写像であるか？
• RQ3 Γ\Xの大規模幾何的構造は何か？特に、これは有限単体複体上のユークリッド錐に準等長的か？
• RQ4 Γ\Xの無限遠境界におけるTits距離は、対称空間の幾何学的性質と算術的格子の構造とどのように関係するか？
• RQ5 Γ\Xの無限遠境界は、Titsビルディングの商に自然に同一視可能であり、この同一視は等長的か？

主な発見

• π|_{C_i}が等長写像であるℚ–WeylチャネルC_i ⊂ S_iが存在し、∪_{i=1}^l π(C_i)はVにおけるネットをなす。
• 商空間V = Γ\Xは、有限単体複体上のユークリッド錐C(Γ\|T|)に準等長的であり、算術的商の大き規模幾何的性質に関する予想を確認する。
• 商写像π: X → Γ\X がSiegel集合に制限されたとき、あるD > 0に対して(1,D)–準等長写像である。これにより、シーゲルの予想が証明される。
• 無限遠境界∂_∞VはΓ\|T|に自然に同一視可能であり、境界写像R: ∂_∞V → Γ\|T|は双射である。
• ∂_∞VにおけるTits距離は、2sin(½d_T(z_1,z_2)) = lim_{t→∞} (1/t) d_V(c_1(t),c_2(t)) を満たし、正確な漸近的距離の公式を確立する。