[論文レビュー] Biharmonic maps into Sol and Nil spaces

Ye‐Lin Ou, Ze-Ping Wang|ArXiv.org|Dec 13, 2006

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

ひとこと要約

本稿は、ターファンの3次元幾何のモデル幾何であるSol空間およびNil空間への双調和写像を調査する。Sol空間内での非測地的双調和曲線の特徴付け、Sol空間内での非測地的双調和らせんの非存在性の証明、およびユークリッド空間からSol空間またはNil空間への線形写像が双調和であるための必要十分条件を示し、そのような写像の完全分類を提供する。

ABSTRACT

In this paper, we study biharmonic maps into Sol and Nil spaces, two model spaces of Thurston's 3-dimensional geometries. We characterize non-geodesic biharmonic curves in Sol space and prove that there exists no non-geodesic biharmonic helix in Sol space. We also show that a linear map from a Euclidean space into Sol or Nil space is biharmonic if and only if it is a harmonic map, and give a complete classification of such maps.

研究の動機と目的

• ターファンの3次元幾何のモデル空間たるSol空間およびNil空間への双調和写像を研究すること。
• Frenet枠形式を用いて、Sol空間内での非測地的双調和曲線を特徴付けること。
• Sol空間内に非測地的双調和らせんが存在するかを調査すること。
• ユークリッド空間からSol空間またはNil空間への線形双調和写像を分類し、その写像がいつ調和的であるかを特定すること。
• それら幾何における線形構造を用いて、線形双調和写像の完全な記述を提供すること。

提案手法

• 曲率関数およびリーマン接続項を用いて、Frenet枠形式を用いて双調和曲線方程式を表現した。
• 張り子の張力場と目標多様体の曲率作用素を用いて、双調和写像方程式を「双張力場が恒等的に消える」という形で適用した。
• Sol空間のリーマン計量 $ g_{\text{Sol}} = e^{2z}dx^2 + e^{-2z}dy^2 + dz^2 $ 及びその正規直交基底を用い、曲率成分を計算した。
• 線形写像 $ \varphi: \mathbb{R}^m \to (\mathbb{R}^3, g_{\text{Sol}}) $ または $ (\mathbb{R}^3, g_{\text{Nil}}) $ を $ \varphi(x) = Ax + b $ の形で表現し、双張力場を用いて双調和条件を導出した。
• 双張力場の消滅から得られる座標変数 $ y^1 $ に関する多項方程式系を解き、行列 $ A $ のランクに応じた場合分けを分析した。
• Jacobi作用素および曲率項 $ R^N $ を用いて、双調和条件を行列 $ A $ 及びそのドット積に関する代数的制約に簡約した。

実験結果

リサーチクエスチョン

• RQ1 Sol空間内の非測地的曲線が双調和であるための必要十分条件は何か？
• RQ2 Sol空間内に非測地的双調和らせんは存在するか？
• RQ3 ユークリッド空間からSol空間またはNil空間への線形写像が双調和であるための条件は何か？
• RQ4 Sol空間またはNil空間への線形双調和写像は、常に調和的であるのか？
• RQ5 $ \mathbb{R}^m $ からSol空間またはNil空間への線形双調和写像の完全分類は何か？

主な発見

• Frenet枠方程式から導かれた特定の曲率および曲率項の制約のもとでのみ、Sol空間内に非測地的双調和曲線が存在する。
• 双調和らせん方程式の解の非存在性により、Sol空間内に非測地的双調和らせんは存在しないことが示された。
• 線形写像 $ \varphi: \mathbb{R}^m \to (\mathbb{R}^3, g_{\text{Sol}}) $ が双調和であるための必要十分条件は、それが調和的であることであり、これは行列 $ A $ が $ A^1 = 0 $ または $ A^2 = 0 $ かつ $ A^1 \cdot A^3 = 0 $ を満たすときに限り成立する。
• 同様に、Nil空間への写像に対しても、線形双調和写像は調和的であるに限り、行列 $ A $ について同じ分類条件が成り立つ。
• 双張力場の消滅から得られる多項方程式系 (54)–(56) は、$ A^1 = 0 $ かつ $ A^2 \cdot A^3 = 0 $、または $ A^2 = 0 $ かつ $ A^1 \cdot A^3 = 0 $ のときのみ消えることが判明し、調和条件が確認された。
• 直接的な張力場の計算により、すべての分類済みの線形双調和写像が調和的であることが確認され、これらの幾何において、真に（非調和的な）線形双調和写像は存在しないことが判明した。