[論文レビュー] Isometry groups of Lobachevskian spaces, similarity transformation groups of Euclidean spaces and Lorentzian holonomy groups

Anton S. Galaev|arXiv (Cornell University)|Apr 23, 2004

Mathematics and Applications参考文献 6被引用数 6

ひとこと要約

この論文は、Berard BergeryとIkemakhenによって元々代数的に確立された、$\mathfrak{so}(1,n+1)$ の弱く不可約でない部分代数の分類について、幾何学的な証明を提供する。$SO(V)_{\mathbb{R}p}$ に作用する連結な弱く不可約な部分群と、$n$ 次元ユークリッド空間 $E$ 上の相似変換の連結な推移的部分群との間の一対一対応を確立し、$(n+1)$ 次元のロバチェフスキー空間 $L^{n+1}$ の等長変換群を完全に分類する。その結果、$SO^0(V)$ または特定の形の半直積 $(A \times H)\rightthreetimes N$ や $(A^\Phi \times H)\rightthreetimes N$ である。主な貢献は、ミンコフスキー空間の幾何学と境界球面上の自己同型作用を通じて、ローレンツ型ホロノミー群の幾何学的再解釈である。

ABSTRACT

Weakly-irreducible not irreducible subalgebras of $\so(1,n+1)$ were classified by L. Berard Bergery and A. Ikemakhen. In the present paper a geometrical proof of this result is given. Transitively acting isometry groups of Lobachevskian spaces and transitively acting similarity transformation groups of Euclidean spaces are classified.

研究の動機と目的

• Berard BergeryとIkemakhenによって既に代数的に確立された、$\mathfrak{so}(1,n+1)$ の弱く不可約でない部分代数の分類について、幾何学的証明を提供すること。
• 連結な弱く不可約に作用する $SO(V)_{\mathbb{R}p}$ の部分群と、$n$ 次元ユークリッド空間 $E$ 上の相似変換の連結な推移的部分群との間の一対一対応を確立すること。
• $SO(V)$ の連結部分群で、$(n+1)$ 次元のロバチェフスキー空間 $L^{n+1}$ 上に推移的に作用するものをすべて分類し、それらが $SO^0(V)$ またはスケーリング、回転、放物型平行移動を含む特定の半直積形式 $(A \times H)\rightthreetimes N$ や $(A^\Phi \times H)\rightthreetimes N$ であることを同定すること。

提案手法

• $(n+1)$ 次元のロバチェフスキー空間 $L^{n+1}$ 及びその境界 $\partial L^{n+1}$ のベクトルモデルを用いる。境界 $\partial L^{n+1}$ は $n$ 次元球面微分同相である。
• ミンコフスキー空間 $(V,\eta)$ における零性直線 $\mathbb{R}p$ の安定化群 $SO(V)_{\mathbb{R}p}$ を、ユークリッド空間 $E = (\mathbb{R}p)^{\perp_\eta} / \mathbb{R}p$ 上の相似変換群に同定する。
• 連結部分群 $G \subset SO(V)_{\mathbb{R}p}$ が $V$ 上で弱く不可約に作用するための必要十分条件が、同型写像 $SO(V)_{\mathbb{R}p} \simeq \mathrm{Sim}\,E$ による像が $E$ 上で推移的に作用することであることを確立する。
• 分解 $SO^0(V)_{\mathbb{R}p} = (A \times K) \rightthreetimes N$ を用いる。ここで $A$ はスケーリング、$K$ は $E$ 上の回転、$N$ は放物型平行移動を表す。
• 既知の $\mathrm{Sim}\,E$ の連結な推移的部分群の分類を用いて、$SO(V)_{\mathbb{R}p}$ の弱く不可約な部分群を4種類に導出し、Berard BergeryとIkemakhenが定義したタイプと一致させること。
• この対応を応用して、$L^{n+1}$ の推移的等長変換群を分類し、$SO^0(V)$ およびタイプ1とタイプ3（すなわち $(A \times H)\rightthreetimes N$ および $(A^\Phi \times H)\rightthreetimes N$）の群のみが推移的に作用することを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{so}(1,n+1)$ の弱く不可約でない部分代数の幾何的意味は何か。代数的ではなく幾何学的にどのように分類できるか。
• RQ2 $SO(V)_{\mathbb{R}p}$ が境界 $\partial L^{n+1} \setminus \{\mathbb{R}p\}$ 上に作用する方法と、ユークリッド空間 $E$ 上の相似変換との関係は何か。
• RQ3 $SO(V)$ のどの連結部分群が $(n+1)$ 次元のロバチェフスキー空間 $L^{n+1}$ 上に推移的に作用するか。その構造的形態は何か。
• RQ4 ローレンツ型多様体の弱く不可約でないホロノミー群の分類は、ミンコフスキー空間およびその境界上の幾何学的作用から導けるか。
• RQ5 推移的作用 $L^{n+1}$ とスケーリング、回転、放物型平行移動を含む半直積構造との正確な関係は何か。

主な発見

• 論文は、同型写像 $SO(V)_{\mathbb{R}p} \simeq \mathrm{Sim}\,E$ を通じて、$SO(V)_{\mathbb{R}p}$ に作用する連結な弱く不可約な部分群と、ユークリッド空間 $E$ 上の相似変換の連結な推移的部分群との間の一対一対応を確立する。
• 推移的等長変換群は、$L^{n+1}$ において $SO^0(V)$ および $(A \times H)\rightthreetimes N$ または $(A^\Phi \times H)\rightthreetimes N$ の形の部分群に限られる。ここで $H \subset SO(E)$、$A$ はスケーリング群、$N$ は放物型平行移動群、$A^\Phi$ は非自明な準同型 $\Phi: A \to K$ によって定義されるスクリュー移動群である。
• Berard BergeryとIkemakhenの分類におけるタイプ2およびタイプ4の群は、$L^{n+1}$ 上で推移的に作用しない。特に、点 $\frac{1}{2}p - q$ を $p - \frac{1}{2}q$ に写さないためである。
• $A \rightthreetimes N$ および $A^\Phi \rightthreetimes N$ は、$L^{n+1}$ 上で単一に推移的に作用する唯一の連結部分群である。これは次元が一致し、$L^{n+1}$ が単連結であるためである。
• 幾何的証明により、$\mathfrak{so}(1,n+1)$ の弱く不可約でない4種類の部分代数が、先行研究で分類された $E$ 上の相似変換群の4種類の推移的群と正確に一致することが確認された。
• この結果により、ローレンツ型ホロノミー群を理解するための幾何的基盤が提供され、境界球面上の自己同型作用と双曲空間の等長変換とを結びつける。