[論文レビュー] Jorgensen's inequality for quternionic hyperbolic space with elliptic elements

Wensheng Cao, Tan Hai-ou|ArXiv.org|Jun 10, 2009

Advanced Differential Geometry Research参考文献 6被引用数 3

ひとこと要約

本稿は、$Sp(n,1)$（クaternion的双曲空間の等長群）の離散部分群に対して、1つの生成元が楕円的元である場合のジョルゲンセンの不等式のクォータニオン的類似を確立する。固定点の変位と、固有値の角度的分離を測る新しい不変量 $\delta(g)$ を導入することで、2生成子群が非離散的または初等的であるための十分条件を、双曲的距離と $\delta(g)$ に依存して導出する。

ABSTRACT

In this paper, we give an analogue of Jorgensen's inequality for non-elementary groups of isometries of quaternionic hyperbolic space generated by two elements, one of which is elliptic. As an application, we obtain an analogue of Jorgensen's inequality in 2-dimensional Mobius group of the above case.

研究の動機と目的

• 複素双曲空間からクォータニオン的双曲空間へのジョルゲンセンの不等式の拡張を、楕円的および他の等長写像によって生成される群に対して行う。
• 既存理論における空白を埋めるために、生成子がロキドローミックまたはパラボリックでない場合、特に楕円的である場合に不等式を一般化する。
• $Sp(n,1)$ 内の楕円的元の固有値の角度的分離を定量化する新しい不変量 $\delta(g)$ を定義する。
• 固定点からその第二生成子による像への双曲的距離と $\delta(g)$ に依存する基準を確立し、群 $\langle g,h \rangle$ の非離散性を判定する。

提案手法

• $g \in Sp(n,1)$ である楕円的元の固有値の差の最大二乗ノルムとして $\delta(g)$ を定義する。具体的には $\delta(g) = \max_i 4\sin^2\left(\frac{1}{2}(\theta_i \pm \theta_{n+1})\right)$ であり、ここで $\theta_i$ は類似クラス内の固有値の偏角である。
• ユニタリクォータニオンの複素表現を用いて、$|w|=1$ の上での三角関数的最小化により $\delta(g)$ を計算し、$\cos(\theta_i \pm \theta_{n+1})$ を含む閉形式の表現を得る。
• 群 $\langle g,h \rangle$ の楕円的元 $g$ の固定点集合 $F(g)$ における作用に注目し、$q \in F(g)$ に対して双曲的距離 $\rho(q, h(q))$ を分析する。
• 生成子 $g$ と $h$ の繰り返し積の行列の $(n+1,n+1)$ 成分について再帰的行列不等式を導出し、条件 $\cosh^2(\rho/2)\delta(g) < 1$ の下で $|a^{(k)}_{n+1,n+1}| \to 1$ となることを示す。
• 群の元の列 $\{h_k\}$ が $Sp(n,1)$ 内で極限に収束することを用いて、不等式が成り立つ場合に群が非離散的であると結論づける。
• $PU(2,1) \subset Sp(2,1)$ および $Sp(1,1)$ に主結果を適用し、既知の結果を回復するとともに、行列埋め込みを介して 4 次元の場合の定理 1.2 を証明する。

実験結果

リサーチクエスチョン

• RQ1 生成子の1つが楕円的である場合、ジョルゲンセンの不等式をクォータニオン的双曲空間に一般化できるか？
• RQ2 $Sp(n,1)$ 内の楕円的元のどの不変量が、その固有値の幾何的分離を制御する形で離散性に寄与するか？
• RQ3 第二の生成子が楕円的元の固定点をどれだけ変位させるかが、生成される群の離散性にどのように関係するか？
• RQ4 複素双曲空間で用いられる手法を、クォータニオンの非可換性を考慮して、離散部分群の文脈に適応できるか？
• RQ5 不等式 $\cosh^2(\rho/2)\delta(g) < 1$ が、群が初等的でない場合でも $Sp(n,1)$ において非離散性の十分条件として機能するか？

主な発見

• 本稿は、楕円的元と他の等長写像によって生成される非初等的 $Sp(n,1)$ 部分群に対して、新しいジョルゲンセン型不等式を確立する。条件 $\cosh^2(\rho(q,h(q))/2)\delta(g) < 1$ が成り立つと、群は非離散的または初等的であることが示される。
• $\delta(g)$ は $\max_i 4\sin^2\left(\frac{1}{2}(\theta_i \pm \theta_{n+1})\right)$ として定義され、ここで $\theta_i$ は類似クラス内の固有値の偏角であり、この不変量は共役変換に関して不変である。
• 固定点集合が一点である正則楕円的元 $g$ の場合、条件は $\cosh^2(\rho(q,h(q))/2)\delta(g) < 1$ に簡略化され、$PU(2,1)$ の場合に [16] の結果が回復される。
• 証明は、$g$ と $h$ の繰り返し積の行列成分の成長を分析することに依拠し、不等式の下で $|a^{(k)}_{n+1,n+1}| \to 1$ となることを示し、これにより異なる群の元が集積することを示す。
• 著者らは、$SL(2,\mathbb{C})$ を特定の行列 $T$ を用いて $Sp(1,1)$ に埋め込むことで定理 1.2 を証明し、$H^4$ 上での誘導作用に対して不等式条件が成り立つことを検証する。
• 本結果は、クォータニオン的双曲空間における非離散性の幾何的基準を提供し、複素の場合に限らない離散群論の適用範囲を拡張する。