[論文レビュー] Meridian Surfaces in E^4 with Pointwise 1-type Gauss Map

Kadri Arslan, Betül Bulca+1 more|arXiv (Cornell University)|Oct 29, 2014

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

ひとこと要約

本稿は、4次元ユークリッド空間 𝔼⁴ における測地的表面の点wise 1型ガウス写像を持つ場合に、その存在に必要な十分条件を導出する。表面が平面上にある場合に限り、測地的表面は調和的ガウス写像を持つことを証明し、第一種および第二種のすべてのこのような表面を完全に特徴づける。これには、直母の可展表面や、測地的曲線の曲率と微分を含む特定の非線形常微分方程式の解が含まれる。

ABSTRACT

In the present article we study a special class of surfaces in the four-dimensional Euclidean space, which are one-parameter systems of meridians of the standard rotational hypersurface. They are called meridian surfaces. We show that a meridian surface has a harmonic Gauss map if and only if it is part of a plane. Further, we give necessary and sufficient conditions for a meridian surface to have pointwise 1-type Gauss map and find all meridian surfaces with pointwise 1-type Gauss map.

研究の動機と目的

• 4次元ユークリッド空間における測地的表面の点wise 1型ガウス写像を持つ場合を分類すること。
• 測地的表面が第一種または第二種の点wise 1型ガウス写像を持つための必要十分条件を特定すること。
• 最小および可展表面を含む、すべてのこのような表面を特徴づけること。
• 特に 𝔼⁴ における高次元部分多様体への有限型ガウス写像の理解を拡張すること。
• 微分方程式を用いて、非定数の点wise 1型ガウス写像を持つ測地的表面の構造を解明すること。

提案手法

• 測地的曲線 α(u) と S²(1) 上の球面曲線 c(u) を用いて、𝔼⁴ 内の回転超多様体の測地的曲線の1パラメータ族として測地的表面をパラメトライズする。
• 接ベクトル場と法ベクトル場のウェッジ積を用いてガウス写像 G を計算する：G = x ∧ y + y ∧ n₁ + y ∧ n₂。
• 表面に誘導された接続および曲率公式を用いて、ガウス写像のラプラシアン ΔG を導出する。
• 点wise 1型ガウス写像の定義を適用する：ΔG = λ(G + C)、ここで λ は滑らかな関数、C は定数ベクトルである。
• コーディッジおよびガウスの公式を用いて、ΔG を f(u)、g(u)、および測地的曲線の曲率 κα(u) の関数として表現する。
• κ（c の曲率）および fκα（測地的半径とその曲率の積）に基づく場合分けを用いて、f(u) に関する常微分方程式系に帰着させる。

実験結果

リサーチクエスチョン

• RQ1 4次元ユークリッド空間における測地的表面が調和的ガウス写像を持つのはいつか？
• RQ2 測地的表面が第一種または第二種の点wise 1型ガウス写像を持つための必要十分条件は何か？
• RQ3 非定数 λ を持つ点wise 1型ガウス写像を持つ測地的表面はどれか？
• RQ4 点wise 1型ガウス写像を持つ測地的表面は、幾何学的に異なる族に分類可能か？
• RQ5 ガウス写像が点wise 1型条件を満たすような測地的曲線 f(u) を記述する微分方程式は何か？

主な発見

• 4次元ユークリッド空間における測地的表面が調和的ガウス写像を持つのは、それが完全に2次元平面上にある場合に限る。
• 第二種の点wise 1型ガウス写像を持つ測地的表面は、球面曲線 c(u) が円または大円である場合にのみ存在する。
• c(u) が円である場合、測地的表面は3次元部分空間内の可展直母表面であり、f(u) = au + a₁ および g(u) = bu + b₁ を満たす。
• c(u) が大円である場合、測地的曲線 f(u) は f′, f″, および (ff″)′ を含む特定の非線形2階常微分方程式を満たさなければならない。
• κ = 定数 ≠ 0 かつ fκα = a = 定数 ≠ 0 の場合、第二種の点wise 1型ガウス写像を持つ測地的表面は存在しない。
• 分類は、C = 0（第一種）と C ≠ 0（第二種）のケースを区別しながら、点wise 1型ガウス写像を持つすべての測地的表面を完全に特徴づけている。