[論文レビュー] Matrix Lie groups as 3-dimensional almost contact B-metric manifolds

Hristo Manev|arXiv (Cornell University)|Mar 1, 2015

Geometric Analysis and Curvature Flows参考文献 4被引用数 4

ひとこと要約

この論文は、ガンチェフ＝ミホヴァ＝グリバチェフが11の基本的クラスに分類した3次元のほぼ接触B-計量多様体と、そのリー代数構造を介して行列リー群の完全な対応関係を確立している。各クラスに対応するリー群の明示的な行列表現を導出し、幾何的分類が代数的交換関係と一致することを示し、ヘイゼンベルク群、回転群SO(3)、アフィン運動群などの既知のリー群が、その導来代数がリーブベクトル場ξに対してどの位置にあるかに応じて、特定のタイプのほぼ接触B-計量構造を備えることができることを示している。

ABSTRACT

The object of investigation are Lie groups considered as almost contact B-metric manifolds of the lowest dimension three. It is established a correspondence of all basic-class-manifolds of the Ganchev-Mihova-Gribachev classification of the studied manifolds and the explicit matrix representation of Lie groups. Some known Lie groups are equiped with almost contact B-metric structure of different types.

研究の動機と目的

• 3次元のほぼ接触B-計量多様体の11の基本的クラスと行列リー群との一対一対応を確立すること。
• ガンチェフ＝ミホヴァ＝グリバチェフの分類における各クラスに対応するリー群の明示的行列表現を特定すること。
• リー群としての幾何的タイプ（クラス）が、その導来代数がリーブベクトル場ξに対してどの位置にあるかに依存することを示すこと。
• 既知のリー群（例：ヘイゼンベルク群、SO(3)、双曲的運動群）が、そのリー代数構造に基づいて特定のタイプのほぼ接触B-計量構造を備えることができることを示すこと。

提案手法

• 論文は、ガンチェフ＝ミホヴァ＝グリバチェフによるほぼ接触B-計量多様体の分類を用い、リーマン接続から導かれる(0,3)テンソルFに基づいて11の基本的クラスに分類している。
• 基底{e₀, e₁, e₂}を用いて3次元のほぼ接触B-計量構造を定義し、φ(e₁)=e₂、φ(e₂)=-e₁、φ(e₀)=0、ξ=e₀とし、符号(2,1)のB-計量gをg(e₀,e₀)=g(e₁,e₁)=-g(e₂,e₂)=1で与える。
• この基底において、テンソルFの成分および関連するリー1形式θ、θ*、ωを明示的に計算し、各基本的クラスF_s（s=1,4,5,8,9,10,11）はFの特定の非ゼロ成分によって特徴づけられる。
• 各クラスに対して、交換関係[E_i, E_j] = c_{ijk} E_kによる対応するリー代数構造を導出し、これらの代数の指数写像として行列リー群を構成する。例えば、Aがリー代数に属するときe^Aを用いる。
• 分類は3次元実リー代数のビアンキ分類と関連され、リー群の幾何的タイプはその導来代数がker(η)にあるか、またはspan(ξ)にあるかによって決定される。
• 各クラスに対して明示的な行列群を構成する：F₁に対応するG₁、F₄に対応するG₄、F₈に対応するG₈、F₉に対応するG₉、F₁₀に対応するG₁₀、F₁₁に対応するG₁₁。パラメータa, b, c, α, Δを用いる。

実験結果

リサーチクエスチョン

• RQ1 3次元のほぼ接触B-計量多様体の11の基本的クラスの各々に対応する行列リー群は何か？
• RQ2 リー群の導来代数がリーブベクトル場ξに対してどの位置にあるかが、ほぼ接触B-計量構造の幾何的タイプ（クラス）をどのように決定するか？
• RQ3 ヘイゼンベルク群、SO(3)、双曲的運動群などの既知のリー群が、そのリー代数構造に基づいて特定のクラスのほぼ接触B-計量多様体に分類可能か？
• RQ4 ガンチェフ＝ミホヴァ＝グリバチェフの分類における各基本的クラスに対応するリー群の明示的行列表現は何か？
• RQ5 リー1形式θ、θ*、ωおよびテンソルFの成分が、3次元のほぼ接触B-計量多様体のクラス所属をどのように決定するか？

主な発見

• リー群G_I（双曲的運動）は、その導来代数がker(η)にあるとき、クラスF₉のほぼ接触B-計量多様体である。そうでない場合はF₁⊕F₁₁に属する。
• リー群G_II（R²の等長変換）は、導来代数がker(η)にあるときクラスF₄に属する。そうでない場合はF₄⊕F₈またはF₄⊕F₈⊕F₁₀に属する。
• ヘイゼンベルク群G_IIIは、導来代数がker(η)にあるときF₄⊕F₁₀に属し、span(ξ)にあるときF₈⊕F₁₀に属する。
• 回転群SO(3)は、ビアンキ型IXのリー代数に対応し、F₄⊕F₈⊕F₁₀に分類される。
• クラスF₈において、リー代数の交換関係は[E₀,E₁]=αE₂、[E₀,E₂]=αE₁、[E₁,E₂]=0であり、α=−λである。行列群は、トレースがゼロで、tr(A²)=2α²Δを満たす行列Aの指数写像e^Aによって生成される。ここでΔ=2a²−2b²+c²である。
• 分類は表1によって完全に実現されており、11のクラスすべてに対する行列表現が提供されており、G₁、G₄、G₈、G₉、G₁₀、G₁₁の明示的形はパラメータa, b, c, α, Δに依存する。