[論文レビュー] Full description of totally geodesic unit vector fields on 2-dimensional Riemannian manifolds

Alexander Yampolsky|ArXiv.org|Mar 24, 2005

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

ひとこと要約

本稿は、Sasaki計量を備えた単位接束に埋め込まれた部分多様体としての像を分析することにより、2次元リーマン多様体上の完全測地的単位ベクトル場の完全な幾何的分類を提供する。このような場が存在するための必要十分条件は、計量が $ ds^2 = du^2 + \sin^2\alpha(u)\,dv^2 $ の形に局所的に書けること、かつ $ \alpha(u) $ が特定の常微分方程式を満たすことである。さらに、ベクトル場は $ v $ に関して所定の角依存性を持ち、すべての実数パラメータ $ a $ および $ \omega_0 $ に対して明示的な解が得られる。主な貢献は、像が完全測地的であるような計量およびベクトル場の構造を完全に特徴づけたことにある。

ABSTRACT

We give a full geometrical description of local totally geodesic unit vector field on Riemannian 2-manifold, considering the field as a local imbedding of the manifold into its unit tangent bundle with the Sasaki metric.

研究の動機と目的

• 2次元リーマン多様体上における局所的完全測地的単位ベクトル場の完全な幾何的記述を提供すること。
• 単位接束におけるベクトル場の像がSasaki計量のもとで完全測地的であるための計量およびベクトル場に関する必要十分条件を特定すること。
• 関数 $ \alpha(u) $ に関する微分方程式を用いて、このようなすべてのベクトル場を明示的に特徴づけ、曲率および角速度を用いた幾何的挙動を記述すること。
• 計量がユークリッド3次元空間への等長埋め込みを、回転面として持てるような条件を確立すること。

提案手法

• 本稿は、ベクトル場 $ \xi $ を $ \xi: M^2 \to T_1M^2 $ としてモデル化し、Sasaki計量を備えた単位接束におけるその像を部分多様体として扱う。
• ベクトル場およびその直交補空間に適合した正規直交フレーム $ \{e_0, e_1\} $ を導入し、角度関数および曲率成分を用いて共変微分構造を表現する。
• 完全測地性の条件は、角度関数 $ \omega $ および計量関数 $ \alpha(u) $ に関係する geodesic curvature $ k $ と $ \varkappa $ を含むPDE系に簡略化される。
• 計量が $ ds^2 = du^2 + \sin^2\alpha(u)\,dv^2 $ の形であると仮定することで、問題は1階常微分方程式 $ \frac{d\alpha}{du} = 1 - \frac{a+1}{\cos\alpha} $ の解法に帰着される。ここで $ a $ は定数パラメータである。
• ベクトル場は明示的に $ \xi = \cos(av + \omega_0)\partial_u + \frac{\sin(av + \omega_0)}{\sin\alpha(u)}\partial_v $ と構成され、これは子午線に沿って平行であり、赤道に沿って一定の角速度 $ a $ で回転する。
• 本稿は、$ \xi $ の積分曲線の内在的方程式を導出し、geodesic curvature $ k $ と正規曲率 $ \varkappa $ を第一積分によって関連づける。また、$ \mathbb{E}^3 $ への等長埋め込みの存在性を回転面を用いて分析する。

実験結果

リサーチクエスチョン

• RQ1 2次元リーマン計量が、単位接束におけるSasaki計量のもとで局所的完全測地的単位ベクトル場を有するための必要十分条件は何か？
• RQ2 このようなベクトル場は、基底多様体の幾何的および微分的不変量を用いてどのように明示的に構成できるか？
• RQ3 完全測地的単位ベクトル場の積分曲線の幾何的挙動は何か？ また、曲率および対称性とどのように関係するか？
• RQ4 計量がユークリッド3次元空間への等長埋め込みを回転面として持てるような条件は何か？
• RQ5 パラメータ $ a $ は、ベクトル場の積分曲線の位相的性質および曲率を決定づける役割を果たすか？

主な発見

• 単位ベクトル場 $ \xi $ がSasaki計量のもとで $ T_1M^2 $ 内に完全測地的であるための必要十分条件は、計量が局所的に $ ds^2 = du^2 + \sin^2\alpha(u)\,dv^2 $ の形であり、$ \alpha(u) $ が $ \frac{d\alpha}{du} = 1 - \frac{a+1}{\cos\alpha} $ を満たすことである。ここで $ a $ は定数である。
• 完全測地的単位ベクトル場は明示的に $ \xi = \cos(av + \omega_0)\partial_u + \frac{\sin(av + \omega_0)}{\sin\alpha(u)}\partial_v $ と与えられ、$ a, \omega_0 \in \mathbb{R} $ は定数である。
• $ a = -1 $ のとき、$ \xi $ の積分曲線は単位球面上の円であり、立体射影による逆像は平面における直線である。このとき球面は回転面として実現される。
• $ a = -1 $ のとき、計量は2次元球面の標準計量に対応し、ベクトル場は南極を通過する円の族に対応する。
• 計量が $ \mathbb{E}^3 $ に回転面として等長埋め込みをもつのは、$ |a+1| < 1 $、すなわち $ -2 < a < 0 $ のときであり、埋め込みは $ x(\alpha) = \sin\alpha $、$ z(\alpha) = \int \frac{\cos t}{a+1 - \cos t} \sqrt{1 - (a+1 - \cos t)^2} \, dt $ によって定義される。
• 積分曲線の内在的方程式は $ a \neq 0, -2 $ のとき $ k = c\big{[}a + (a+2)(k^2 + \varkappa^2)\big{]}^{\frac{a+1}{a+2}} $ と表され、曲率と角速度の間の明確な代数的関係が示される。