[論文レビュー] Stability Properties of Rotational Catenoids in the Heisenberg Groups

Pierre Bérard, Marcos P. Cavalcante|arXiv (Cornell University)|Oct 5, 2010

Geometric Analysis and Curvature Flows参考文献 10被引用数 5

ひとこと要約

本稿は、ヘイゼンベルク群 $\mathrm{Nil}(2n+1)$ における回転対称な極小カタノイドの安定性およびモーレス指数を、キリングベクトル場から導かれるジャコビ場およびパラメータ変動を用いて調査する。3次元ではカタノイドのモーレス指数は少なくとも3であり、首のサイズ $a$ が増加するにつれて無限大に発散する。高次元（$n \geq 2$）では、安定な回転対称領域は異なる挙動を示し、有限の高さを示し、リンドレーフの性質を満たさない。

ABSTRACT

In this paper, we determine the maximally stable, rotationally invariant domains on the catenoids $\cC_a$ (minimal surfaces invariant by rotations) in the Heisenberg group with a left-invariant metric. We show that these catenoids have Morse index at least 3 and we bound the index from above in terms of the parameter $a$. We also show that the index of $\cC_a$ tends to infinity with $a$. Finally, we study the rotationally symmetric stable domains on the higher dimensional catenoids.

研究の動機と目的

• 回転カタノイド $\mathcal{C}_a$ における、最大安定で回転対称な領域を、ヘイゼンベルク群 $\mathrm{Nil}(2n+1)$ で特定すること。
• 3次元の $\mathcal{C}_a$ におけるモーレス指数を、首のサイズパラメータ $a$ の観点から分析し、その上限を求める。
• $n=1$（3次元）と $n \geq 2$（高次元）における安定性の挙動を、特にリンドレーフの性質の観点から比較すること。
• キリングベクトル場およびパラメータ変動によって誘導されるジャコビ場が安定性解析に果たす役割を調査すること。

提案手法

• 左不変計量を伴う $\mathrm{Nil}(3)$ におけるフラックス公式を用いて、カタノイドの生成曲線の微分方程式を導出する。
• キリングベクトル場 $\xi, \eta, \zeta, \rho$ およびパラメータ変動から得られるジャコビ場を用いて、安定性および指数を分析する。
• フーリエ解析および摂動技法を適用し、モーレス指数の上界を評価し、$a \to \infty$ のとき発散することを示す。
• 高次元（$n \geq 2$）では、プロファイル関数 $f(a,t)$ の逆関数 $\phi(a, \tau)$ を用いて、ジャコビ関数 $v(a,t)$ および $e(a,t)$ の挙動を研究する。
• $\phi(a, \tau)$ および $\phi_a(a, \tau)$ の漸近的挙動を分析し、安定性の閾値および領域の挙動を特定する。
• 高次元における極小曲面を特徴付けるための第一積分 $f^{2n-1}(1 + f_t^2 + f^2 f_t^2)^{-1/2} \equiv a^{2n-1}$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 3次元のヘイゼンベルク群 $\mathrm{Nil}(3)$ における回転カタノイド $\mathcal{C}_a$ のモーレス指数は何か？ また、首のサイズ $a$ にどのように依存するか？
• RQ2 $\mathrm{Nil}(3)$ における半カタノイド $\mathcal{C}_{a,\pm}$ はリンドレーフの性質を満たすか？ また、高次元ではその性質がどのように異なるか？
• RQ3 $n \geq 2$ における $\mathrm{Nil}(2n+1)$ のカタノイド $\mathcal{C}_a$ 上の安定な回転対称領域は、$\mathrm{Nil}(3)$ の場合とどのように異なるか？
• RQ4 ジャコビ関数 $e(a,t) = -\hat{g}(\mathcal{F}_a, N)$ の無限遠における挙動は何か？ また、安定性にどのように影響するか？
• RQ5 なぜ高次元のカタノイド（$n \geq 2$）は $n=1$ とは異なり、リンドレーフの性質を満たさないのか？

主な発見

• 3次元の $\mathrm{Nil}(3)$ における $\mathcal{C}_a$ のモーレス指数は少なくとも3であり、首のサイズ $a$ が増加するにつれて無限大に発散する。
• $\mathrm{Nil}(3)$ では、半カタノイド $\mathcal{C}_{a,\pm}$ は安定不安定（stable-unstable）であり、リンドレーフの性質を満たす。
• $n \geq 2$ における $\mathrm{Nil}(2n+1)$ では、半カタノイド $\mathcal{C}_{a,\pm}$ は r-安定（r-stable）であり、異なる安定性構造を示す。
• $n \geq 2$ では、$z(a) > 0$ が存在し、領域 $\mathcal{D}_a(-z(a), z(a))$ が安定不安定であるため、全カタノイドの指数は少なくとも1以上である。
• $\ell(a) > 0$ が存在し、$\mathcal{D}_a(-\ell(a), T(a))$ が r-安定であるため、大きな安定領域が存在することが示される。
• $n \geq 2$ では、カタノイドの有限な高さ（$T(a) < \infty$）および $\phi(a, \tau)$ と $\phi_a(a, \tau)$ の無限遠における有限極限が、リンドレーフの性質を満たさない原因となり、$n=1$ とは異なる。