[論文レビュー] On Volumes of Arithmetic Quotients of SO(1,n)

Mikhail Belolipetsky|arXiv (Cornell University)|Jun 30, 2003

Geometric and Algebraic Topology参考文献 14被引用数 11

ひとこと要約

この論文は、Prasadの体積公式とBruhat-Tits理論を用いて、偶数次元 $n \geq 4$ に対して最小のコンパクトな算術的双曲的 $n$-軌道空間を特定し、$\mathbb{Q}[\sqrt{5}]$ 上で一意性と明示的構成を証明する。次元4の場合、最小の算術的双曲的4次元多様体のすべての可能な候補を分類し、2つの特定の算術的群の低指数のねじれ自由部分群の計算に帰着させる。最小の軌道空間体積は明示的に計算され、その基本群は格子の安定化部分群として記述される。

ABSTRACT

We apply G. Prasad's volume formula for the arithmetic quotients of semi-simple groups and Bruhat-Tits theory to study the covolumes of arithmetic subgroups of SO(1,n). As a result we prove that for any even dimension n there exists a unique compact arithmetic hyperbolic n-orbifold of the smallest volume. We give a formula for the Euler-Poincare characteristic of the orbifolds and present an explicit description of their fundamental groups as the stabilizers of certain lattices in quadratic spaces. We also study hyperbolic 4-manifolds defined arithmetically and obtain a number theoretical characterization of the smallest compact arithmetic 4-manifold.

研究の動機と目的

• 偶数次元 $n \geq 4$ に対して最小のコンパクトな算術的双曲的 $n$-軌道空間を特定すること。
• 最小のこのような軌道空間の基本群を、二次形式空間における格子の安定化部分群として明示的に記述すること。
• オイラー乗数と体の定義体を用いて、最小のコンパクトな算術的双曲的4次元多様体を数論的不変量と体積制約によって特徴付けること。
• 最小の4次元多様体の探索を、算術的群のねじれ自由部分群に関する計算問題に還元すること。

提案手法

• G. Prasadの半単純群の算術的商の体積公式を適用し、$SO(1,n)$ の算術的部分群の体積を計算する。
• Bruhat-Tits理論を用いて、数体上に定義された算術的部分群の構造を解析する。
• $SO(1,n)^o$ の算術的部分群を、符号 $(1,n)$ の二次形式における $\mathcal{O}_k$-整格子の安定化部分群として構成する。
• 結果として得られる群が双曲的 $n$-空間上で離散的に作用するように、二次形式と数体に適切な許容条件を課す。
• 数体の列挙と類数の計算を実行し、小体積の軌道空間の定義体を制限する。
• 最小の4次元多様体の探索を、2つの最大算術的群 $\Gamma_1$ と $\Gamma_2$ の低指数ねじれ自由部分群の特定に還元する。

実験結果

リサーチクエスチョン

• RQ1 偶数次元 $n \geq 4$ に対して、最小のコンパクトな算術的双曲的 $n$-軌道空間は一意に存在するか？ もし存在するならば、どの数体上に定義されるか？
• RQ2 最小の算術的双曲的 $n$-軌道空間の基本群の明示的構造は何か？
• RQ3 オイラー乗数と体の定義体を用いて、最小のコンパクトな算術的双曲的4次元多様体を他のすべての多様体から一意に特徴付けられるか？
• RQ4 算術的群が小体積の双曲的4次元軌道空間を生成するための、体の定義体に必要な数論的条件は何か？
• RQ5 最小の算術的4次元多様体の探索を、計算的に実行可能な問題にどのように還元できるか？

主な発見

• 任意の偶数 $n \geq 4$ に対して、$\mathbb{Q}[\sqrt{5}]$ 上に定義された、最小体積の唯一のコンパクトな算術的双曲的 $n$-軌道空間が存在する。
• 最小のコンパクトな算術的双曲的4次元軌道空間の体積は、その基本群のオイラー乗数の $1/7200$ として明示的に計算されている。
• 最小の4次元軌道空間の基本群は、図2に示すコクセター図を持つコクセター群の向きを保つ部分群であり、二次形式空間における $\mathcal{O}_{\mathbb{Q}[\sqrt{5}]}$-最大格子の安定化部分群として生じる。
• 体積が小さいと仮定した場合、最小のコンパクトな算術的双曲的4次元多様体は、$\mathbb{Q}[\sqrt{5}]$ に関連する群 $\Gamma_1$ の指数 $7200\chi(M)$ のねじれ自由部分群、または $\mathbb{Q}[\sqrt{2}]$ に関連する $\Gamma_2$ の指数 $11520$ のねじれ自由部分群でなければならない。
• 類数とオイラー乗数の上限によるフィルタリングの後、残る候補は2つである：$\chi = 1/7200$ の $\Gamma_1$ と $\chi = 11/5760$ の $\Gamma_2$ で、それぞれ $\mathbb{Q}[\sqrt{5}]$ と $\mathbb{Q}[\sqrt{2}]$ 上に定義されている。
• 最小の4次元多様体を求める問題は、$\Gamma_1$ と $\Gamma_2$ の低指数ねじれ自由部分群の計算に還元され、$\Gamma_1$ はコクセター表示を持つため、このような計算が容易になる。