[論文レビュー] An explicit fundamental domain for the Picard modular group in two complex dimensions

Gábor Francsics, Peter D. Lax|ArXiv.org|Sep 29, 2005

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

ひとこと要約

本稿は、複素双曲空間 $\mathbf{CH}^2$ 上で作用するピカードモジュラー群 $PU(2,1;\mathbb{Z}[i])$ の最初の明示的基本領域を、非有界なハイパーバリエティックモデルにおけるシーゲル集合のアプローチを用いて構成する。領域は座標 $z_1, z_2$ と8つの明示的な正則自己同型のヤコビアン行列式を含む代数的不等式で定義され、有限体積、1つの尖点、および自己同型 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ による対称性を有する。この領域は、自己同型ラプラシアン＝ベルトラミー作用素のスペクトル論への応用を含む。

ABSTRACT

Our main goal in this paper is to construct the first explicit fundamental domain of the Picard modular group acting on the complex hyperbolic space ${\bf CH}^{2}$. The complex hyperbolic space is a Hermitian symmetric space, its bounded realization is the unit ball in ${\bf C}^2$ equipped with the Bergman metric. The Picard modular group is a discontinuous holomorphic automorphism subgroup of $SU(2,1)$ with Gaussian integer entries. This fundamental domain has finite volume, one cusp, explicitly given boundary surfaces and an interesting symmetry.

研究の動機と目的

• 複素双曲空間 $\mathbf{CH}^2$ 上で作用するピカードモジュラー群 $PU(2,1;\mathbb{Z}[i])$ の最初の完全に明示的な基本領域を構成すること。
• $\mathbb{C}^2$ 座標における不等式を用いた、領域の幾何学的・代数的記述を提供すること。
• 8つの特定の正則自己同型 $G_1, \dots, G_8$ が領域の境界および構造を定義する役割を確立すること。
• 領域が自己同型 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ に関して不変であり、1つの尖点を有することを証明すること。
• 本稿の補遺的議論 [FL3] で展開される、この領域上での自己同型ラプラシアン＝ベルトラミー作用素のスペクトルおよび散乱解析の基盤を築くこと。

提案手法

• 構成は、先行研究 [FL1, FL2] における半明示的基礎領域を、$\mathbf{CH}^2$ の非有界ハイパーバリエティックモデル上でのシーゲル集合を用いて拡張することにより行う。
• 基本領域 $\mathcal{F}$ は、次の不等式系によって定義される：$\Re e z_1$ と $\Im m z_1$ の上限、$\Re e z_1 + \Im m z_1 \leq 1$、$|\Re e z_2| \leq 1/2$、$|z_2|^2 \geq 1$、および8つの2次不等式 $Q_j(z) \geq 1$ または $\geq 2$。
• 8つの正則自己同型 $G_j$ は、生成子 $J$、$P_r$、$N_{(a,b)}$、$A_{\sqrt{2}}$、$M_c$ を用いて明示的に構成され、$G_1 = J$ であり、残りは $J$、平行移動、および拡大行列の合成により得られる。
• ヤコビアン行列式の条件 $|\det G_j'(z)|^2 \leq 1$（$j=2,\dots,8$）を用いて領域を精緻化し、関連する変換のみが境界に寄与することを保証する。
• この手法は、自己同型の拡大パrameter（$1$、$\sqrt{2}$、$2$）を分析し、$|\det G_j'(z)| \leq 1$ または既知の $G_j$ と一致するもののみが領域の境界に寄与することを証明することに依存する。
• 対称性 $S$ は、$S$ が定義不等式を置換し、領域を不変に保つことにより検証され、$S^2 = I$ である。

実験結果

リサーチクエスチョン

• RQ1 複素双曲空間 $\mathbf{CH}^2$ 上で作用するピカードモジュラー群 $PU(2,1;\mathbb{Z}[i])$ の基本領域の明示的幾何学的・代数的構造は何か？
• RQ2 基本領域は、$\mathbb{C}^2$ 座標における不等式および群の元のヤコビアン行列式を用いてどのように記述できるか？
• RQ3 8つの特定の正則自己同型 $G_1, \dots, G_8$ は、領域の境界を定義する上で果たす役割は何か？
• RQ4 基本領域は自己同型 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ に関して不変か？また、どのような対称性を有するか？
• RQ5 領域の構造は、自己同型ラプラシアン＝ベルトラミー作用素のスペクトルおよび散乱解析をどのように支援するか？

主な発見

• 基本領域 $\mathcal{F}$ は、不等式：$0 \leq \Re e z_1$、$0 \leq \Im m z_1$、$\Re e z_1 + \Im m z_1 \leq 1$、$|\Re e z_2| \leq 1/2$、$|z_2|^2 \geq 1$、および $j=1,\dots,8$ に対して $Q_j(z) \geq 1$ または $Q_j(z) \geq 2$ である8つの2次不等式によって明示的に定義される。ここで $Q_j$ は $z_1$、$z_2$ の線形結合と定数を含む。
• 領域は有限体積、1つの尖点を有し、自己同型 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ に関して不変であり、この自己同型は定義不等式を置換する。
• 8つの正則自己同型 $G_1 = J$、$G_2, \dots, G_8$ はすべて必要不可欠である。1つでも省略すると、$\mathcal{F}$ よりも厳密に大きい集合が得られ、点 $P_1, \dots, P_8$ のテストにより検証された。
• 領域は無限大における尖点を含み、$\Im m z_2 \geq 1 + 2\sqrt{2}$ のとき、$\{z \in \mathbf{C}^2 : \text{座標の上限を満たし}, \Im m z_2 \geq a\}$ が $\mathcal{F}$ に含まれる。これにより、尖点方向への非有界性が確認された。
• ヤコビアン行列式の条件 $|\det G_j'(z)|^2 \leq 1$（$j=2,\dots,8$）は本質的であり、重複しない。これは、境界に寄与しない特定の自己同型を除外する。
• 領域の境界は8つの曲面から構成され、$z_1 = 0$ における2次元の辺は、モジュラー群 $PSL(2,\mathbb{Z})$ の標準的基礎領域と一致する。