[論文レビュー] Nonholonomic Lorentzian geometry on some $\mathbb H$-type groups

Anna Korolko, Irina Markina|ArXiv.org|Sep 25, 2008

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

ひとこと要約

本稿では、水平分布にインデックス1のローレンツ型計量を導入することによって、$\mathrm{H}$-型群におけるサブローレンツ型幾何学を導入する。これは標準的なサブリーマン幾何学とは対照的である。因果的構造を確立し、未来時的かつ未来指向の曲線による到達可能集合を特徴づけ、測地線の明示的なパラメータ方程式を導出し、原点からの一意性を証明する。これはサブリーマンの場合とは異なり、一意性が保証される。

ABSTRACT

We consider examples of the $\mathbb H$-type groups with the natural horizontal distribution generated by the commutation relations of the group. In the contrast with the previous studies we furnish the horizontal distribution with the Lorentzian metric, which is nondegenerate metric of index 1 instead of a positive definite quadratic form. The causal character is defined. We study the reachable set by timelike future directed curves. The parametric equations of geodesics are obtained.

研究の動機と目的

• 水平分布上の正定値計量を、インデックス1の非退化ローレンツ計量に置き換えることにより、サブリーマン幾何学をサブローレンツ型幾何学へ拡張すること。
• 特に未来時的かつ未来指向の曲線に注目して、ローレンツ計量を備えた$\mathrm{H}$-型群の因果的性質を調査すること。
• 与えられた原点からそのような未来時的曲線を介して到達可能な点の集合、すなわち到達可能集合を特定すること。
• ヘイゼンベルク群およびクaternion$\mathrm{H}$-型群におけるサブローレンツ型設定下での測地線のパラメータ方程式を導出すること。
• サブリーマンの場合とは対照的に、原点から出発する測地線がサブローレンツ型枠組みにおいて一意的であることを確立すること。

提案手法

• 2段階の可解非可換リー群としての$\mathrm{H}$-型群を、$\mathfrak{g} = V_1 \bigoplus V_2$という階数付きリー代数$\mathfrak{g}$として定義する。ここで$V_2 = [V_1, V_1]$であり、$[V_1, V_2] = 0$を満たす。
• 水平分布$V_1$に、符号$(+,-,\dots,-)$を持つ非退化対称双一次形式（ローレンツ計量）を導入する。これは正定値計量ではなく、代わりに非退化な計量を用いる。
• 標準的内積と、$\langle J_Z X, X' \rangle = \langle Z, [X, X'] \rangle$で定義される$J_Z$作用素を用いる。このとき$J_Z^2 = -|Z|^2 I$を満たす。
• 余接 bundle 上のハミルトニアン系の解の射影として測地線を導出するため、ハミルトニアン力学を適用する。
• クォータニオンの行列表現を用いて、4次元$V_1$と3次元$V_2$を持つクォータニオン$\mathrm{H}$-型群をモデル化し、左不変ベクトル場を用いて群の乗法を定義する。
• 測地線のための得られた常微分方程式系を解き、初期運動量と群構造に関連する定数$c_1, c_2, k$を含む明示的なパラメータ表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 水平分布にリーマン計量の代わりにローレンツ計量が導入された場合、$\mathrm{H}$-型群の因果的構造はどのように特徴づけられるか？
• RQ2 原点から出発する未来時的かつ未来指向の曲線を介して到達可能な、$\mathrm{H}$-型群内の点はどのようになるか？
• RQ3 サブローレンツ型設定における測地線は、サブリーマンの場合とどのように異なるか。特に、一意性の観点から。
• RQ4 ヘイゼンベルク群およびクォータニオン$\mathrm{H}$-型群におけるサブローレンツ型設定下で、測地線の明示的パラメータ方程式を導出できるか？
• RQ5 クォータニオン的構造と$J_Z$作用素は、サブローレンツ型測地線の幾何学的・力学的性質にどのように寄与するか？

主な発見

• ローレンツ計量を備えた$\mathrm{H}$-型群における到達可能集合は、未来時的かつ未来指向の曲線を介して到達可能な点の集合として特徴づけられ、因果的構造によって制約を受ける。
• サブリーマンの場合とは異なり、サブローレンツ型設定では原点から出発する測地線は一意的である。これは幾何学的剛性がより強いことを示している。
• ヘイゼンベルク群およびクォータニオン$\mathrm{H}$-型群の両方について、測地線の明示的パラメータ方程式が導出された。この式には、初期運動量と群パラメータを符号する定数$c_1, c_2, k$が含まれる。
• 測地線の運動量および位置ベクトルのさまざまな成分の二乗ノルムは、$c_1^2 + c_2^2$および$k$の関数として表現され、$8(c_1^2 + c_2^2)k$や$16c_1^2c_2^2$といった具体的な値が式中に現れる。
• 運動量成分$\alpha_i^j, \beta_i^j$間の内積関係、たとえば$\alpha_0^1\beta_1^1 + \alpha_0^2\beta_1^2 + \alpha_0^3\beta_1^3 = 0$が導出され、ハミルトニアン力学における直交制約を示している。
• 測地線運動を記述する方程式系には、$\alpha_5^1\beta_1^1 + \alpha_5^2\beta_1^2 + \alpha_5^3\beta_1^3 = -4(c_1^2 - c_2^2)k$のような非自明な関係が含まれており、非リーマン的設定における運動量と位置の相互作用を反映している。