[論文レビュー] Stable complete embedded minimal surfaces in $\mathbb H^1$ with empty characteristic locus are vertical planes

Donatella Danielli, Nicola Garofalo+2 more|ArXiv.org|Mar 25, 2009

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

ひとこと要約

本稿では、$ℂ^1$ における最初のヘイゼンベルク群において、特徴的領域が空である $C^2$ 完全埋め込み最小曲面が垂直平面に限ることを確立している。証明は、非平面な最小曲面から内在的グラフストリップを構成し、第二変種公式を適用して不安定性を示すことに依拠しており、主な貢献は安定最小曲面に対する古典的バーナインの定理の亜リーマン的類似を確立することにある。

ABSTRACT

In the recent paper \cite{DGNP} we have proved that the only stable $C^2$ minimal surfaces in the first Heisenberg group $\Hn$ which are graphs over some plane and have empty characteristic locus must be vertical planes. This result represents a sub-Riemannian version of the celebrated theorem of Bernstein. In this paper we extend the result in \cite{DGNP} to $C^2$ complete embedded minimal surfaces in $\mathbb H^1$ with empty characteristic locus. We prove that every such a surface without boundary must be a vertical plane.

研究の動機と目的

• $ℂ^1$ 内の完全埋め込み最小曲面について、$xy$-平面へのグラフでない場合の亜リーマン的バーナインの定理の拡張を図る。
• 特徴的領域が空である安定で完全かつ埋め込み済みの $H$-最小曲面が垂直平面に限ることを証明する。
• 非特徴的条件の下で、非平面で安定で完全かつ埋め込み済みの $H$-最小曲面が存在しないことを確立する。
• 第二変種解析を用いて、$ℂ^1$ 内の任意の非平面で完全かつ埋め込み済みの $H$-最小曲面は不安定であることを示す。

提案手法

• 曲面上の点の近傍を、曲面の内在的幾何に基づいた写像 $π$ を用いて $ℝ \times J$ から $ℂ^1$ に写像するパラメータ化を構成する。
• 写像 $ψ(u,v) = F(s) + uG(s)$ を用いて内在的グラフストリップを定義する。ここで $s = s(u,v)$ は微分同相写像 $Ψ$ の逆関数から得られる。これにより、曲面が垂直平面への局所的グラフとして表現されることを保証する。
• 亜リーマン的設定における面積汎関数の第二変種公式を適用し、曲面の安定性を分析する。
• 関数 $v(u,s)$ の $s$ における単調性と写像 $Ψ$ の可逆性を用いて、グラフ表現が正しく定義され、正則であることを保証する。
• このような曲面が垂直平面でない場合、内在的グラフを含む領域を含むことが示され、安定性基準の適用が可能になる。
• 第二変種公式と関数 $F, G, \sigma, \Psi$ の構造に基づき、そのような非平面曲面が安定性を破るという矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 特徴的領域が空である非平面で完全かつ埋め込み済みの $H$-最小曲面が $ℂ^1$ に存在しうるか？
• RQ2 安定性条件が、亜リーマン的設定においてこのような曲面を平面に強制するのに十分か？
• RQ3 特徴的領域が $ℂ^1$ 内の非平面最小グラフの存在に果たす構造的役割は何か？
• RQ4 非平面な内在的グラフにおける面積汎関数の第二変種は $ℂ^1$ でどのように振る舞うか？
• RQ5 任意の非平面で完全かつ埋め込み済みの $H$-最小曲面は、$ℂ^1$ 内で垂直平面への内在的グラフとして局所的に表現可能か？

主な発見

• $ℂ^1$ 内の特徴的領域が空で、垂直平面でない $C^2$ 完全埋め込み $H$-最小曲面は、垂直平面への内在的グラフストリップを含む。
• このようなグラフストリップの存在は、第二変種公式により不安定性を示唆し、安定性の仮定と矛盾する。
• 非平面で非特徴的である場合、符号条件 $F'(s)^2 - 2\sigma'(s)G'(s) < 0$ とそれに伴う最小化を妨げる挙動により、曲面は安定ではありえない。
• 写像 $\Psi: \mathbb{R} \times J \to \mathbb{R}^2$ はその像上への微分同相写像であり、グラフ表現が正則かつ可逆であることを保証する。
• 内在的グラフパラメータ化 $\Phi(u,v)$ は、ヘイゼンベルク群内の曲線の左不変平行移動として曲面を回復する。これにより幾何的構造が確認される。
• 特徴的領域が空である唯一の安定で完全かつ埋め込み済みの $H$-最小曲面は垂直平面であり、古典的バーナインの定理の亜リーマン的類似が確立される。