[論文レビュー] Three-dimensional solvsolitons and the minimality of the corresponding submanifolds

Takahiro Hashinaga, Hiroshi Tamaru|arXiv (Cornell University)|Jan 22, 2015

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

ひとこと要約

本稿は、3次元単連結な可解リー群上の左不変リーマン計量と、対称空間 GL(3,R)/O(3) 内の部分多様体との間の幾何的枠組みを新たに提案する。ℝ×Aut(𝔤) の作用を分析することで、特徴的なリッチソリトン計量（solvsolitons）が、最小軌道に正確に対応することを証明し、3次元における solvsolitons の完全な特徴付けを、部分多様体の最小性に基づいて行う。

ABSTRACT

In this paper, we define the corresponding submanifolds to left-invariant Riemannian metrics on Lie groups, and study the following question: does a distinguished left-invariant Riemannian metric on a Lie group correspond to a distinguished submanifold? As a result, we prove that the solvsolitons on three-dimensional simply-connected solvable Lie groups are completely characterized by the minimality of the corresponding submanifolds.

研究の動機と目的

• リー群上の特徴的な左不変リーマン計量が、対称空間内の特徴的な部分多様体に対応するかどうかを調査すること。
• 3次元単連結可解リー群の文脈において、solvsolitons と最小部分多様体との間の幾何的対応を確立すること。
• ℝ×Aut(𝔤) の作用の下で、solvsolitons がそれに対応する部分多様体の最小性によって特徴づけられることを示すこと。
• コホモジアティィー1の作用と軌道幾何学を用いて、左不変計量、特に solvsolitons を扱う部分多様体論的枠組みを提供すること。

提案手法

• 3次元可解リー群上の左不変リーマン計量の空間を、対称空間 GL(3,R)/O(3) として表現すること。
• Aut(𝔤) が自己同型群であり、ℝ× がスカラー変換を表すとき、ℝ×Aut(𝔤) がこの空間に作用することを定義すること。
• 各左不変計量に対して、ℝ×Aut(𝔤) の作用による軌道を対応する部分多様体とみなすこと。
• リー代数分解 ℝ⊕Der(𝔤) と固定部分代数を用いて、軌道構造（特に正則軌道と特異軌道）を分析すること。
• 平均曲率ベクトルの公式を用いて軌道の最小性を検証し、正規直交基底要素に対して ⟨[A,Xi]_o^*, (Xi)_o^*⟩ を計算すること。
• 既知の結果として、コホモジアティィー1の作用は最小の特異軌道を持つことを利用し、非ゼロの平均曲率により、高次元の軌道が最小でないことを確認すること。

実験結果

リサーチクエスチョン

• RQ1 リー群上の特徴的な左不変リーマン計量は、対称空間 GL(n,R)/O(n) 内の特徴的な部分多様体に対応するか？
• RQ2 3次元単連結可解リー群における solvsolitons の存在と分類は、それに対応する部分多様体の幾何的性質によって特徴づけられるか？
• RQ3 solvsoliton 計量が ℝ×Aut(𝔤) の作用による軌道は、GL(3,R)/O(3) 内で最小か？
• RQ4 この幾何的枠組みにおいて、コホモジアティィー1の作用と軌道の最小性の関係は何か？

主な発見

• ヘイゼンベルク代数 𝔥₃ および代数 𝔯₃,₁ に対して、ℝ×Aut(𝔤) の作用は推移的であり、唯一の軌道を持つ。この一意な軌道は最小である。
• a ≥ 0 に対する代数 𝔯′₃,ₐ に対して、ℝ×Aut(𝔤) の作用はコホモジアティィー1であり、標準計量 ⟨,⟩₀ を通る軌道が唯一の特異軌道である。
• この唯一の特異軌道は、同時に唯一の最小軌道である。これは、すべての他の軌道（λ > 1）に対して平均曲率ベクトル H ≠ 0 であることを示すことにより証明された。
• 平均曲率ベクトル H は明示的に H = -√2(1+λ²)/(5(1-λ²))A と計算され、λ > 1 のとき非ゼロであるため、正則軌道が最小でないことが確認された。
• solvsoliton 計量に対応する軌道は最小であり、この最小性が3次元の場合に、すべての左不変計量の中での solvsolitons の完全な特徴づけを実現している。
• この枠組みにより、solvsoliton 計量の代数的条件が、GL(3,R)/O(3) 内の対応する部分多様体の幾何的性質（最小性）と正確につながることが示された。