[論文レビュー] Existence and uniqueness of constant mean curvature spheres in Sol_3

B. Daniel, Pablo Mira|arXiv (Cornell University)|Dec 16, 2008

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

ひとこと要約

本稿は、均質な3次元多様体 $Σ₃ = \mathrm{Sol}_3$ における定常平均曲率（CMC）球面の存在および一意性を確立し、$H > 1/\sqrt{3}$ に対して、任意の左平行移動を除いて一意な埋め込み CMC $H$ 球面が存在することを証明している。また、その球面は平均曲率 $H$ の任意のコンパクトな埋め込み CMC 表面としても一意である。この結果は、分類が未解決の状態にあった最後の Thurston の幾何構造において、Hopf および Alexandrov の定理を拡張したものであり、安定性解析と反転技術を用いている。

ABSTRACT

We study the classification of immersed constant mean curvature (CMC) spheres in the homogeneous Riemannian 3-manifold Sol_3, i.e., the only Thurston 3-dimensional geometry where this problem remains open. Our main result states that, for every H>1/(\sqrt{3}), there exists a unique (up to left translations) immersed CMC H sphere S_H in Sol_3 (Hopf-type theorem). Moreover, this sphere S_H is embedded, and is therefore the unique (up to left translations) compact embedded CMC H surface in Sol_3 (Alexandrov-type theorem). The uniqueness parts of these results are also obtained for all real numbers H such that there exists a solution of the isoperimetric problem with mean curvature H.

研究の動機と目的

• $Σ₃ = \mathrm{Sol}_3$ における定常平均曲率（CMC）球面の分類問題を解決すること。これは、Hopf および Alexandrov の定理が未証明の状態にあった、唯一の残りの Thurston 3次元幾何構造である。
• $Σ₃$ において回転対称性やコンパクトな1パラメータ等長群を欠く空間において、$H > 1/\sqrt{3}$ の埋め込み CMC $H$ 球面の存在を確立すること。
• そのような球面が左平行移動を除いて一意であることを証明し、Alexandrov の反転技術を用いて、すべてのコンパクトな埋め込み CMC 表面にまでその一意性を拡張すること。
• この球面族が実解析的であり、指数1であり、$\mathbb{S}^2$ への全空間のガウス写像を持つこと、および等周問題と関連付けること。

提案手法

• ヘッセ型作用素と指数解析を活用し、変分法および安定性手法を用いて、$H > 1/\sqrt{3}$ の一意パラメータ族 $S_H$ を構成する。
• $Σ₃$ 内の完全測地的面の2つの標準的ファイブレーションに関して、Alexandrov の反転技術を適用する。これらのファイブレーションは等長変換によって保存される。
• 安定性の議論に基づく直径補題を用いて、下界 $H > 1/\sqrt{3}$ を確立する。ここで、ヘッセ型作用素におけるある量の正定性が必要となる。
• 解析的接続を用いて、初期定義域を超えて族 $S_H$ を解析的に拡張する。$H^{-} > 1/\sqrt{3}$ であると仮定すると矛盾が生じるため、$H^{-} \leq 1/\sqrt{3}$ が示される。
• 族 $S_H$ が実解析的であり、ガウス写像が $\mathbb{S}^2$ 上の全微分同相写像であることを証明する。これは強い幾何的制御を示している。
• 等周問題と関連付けるために、安定な CMC 球面が $V'(H_0) \leq 0$ を満たすことを示し、等周解が点を固定する等長変換に関して不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{Sol}_3$ 内に平均曲率 $H > 1/\sqrt{3}$ の埋め込み CMC 球面が存在するか？
• RQ2 $\mathrm{Sol}_3$ 内の $H > 1/\sqrt{3}$ の埋め込み CMC 球面は、左平行移動を除いて一意的か？
• RQ3 $\mathrm{Sol}_3$ 内の $H > 1/\sqrt{3}$ の任意のコンパクトな埋め込み CMC 表面は、標準球面 $S_H$ の左平行移動か？
• RQ4 $\mathrm{Sol}_3$ 内の等周問題の解は、ある点を固定する等長変換に関して不変か？
• RQ5 CMC 球面族 $S_H$ はすべての $H > 0$ に対して解析的に拡張可能であり、等周問題の完全な解が得られるか？

主な発見

• 任意の $H > 1/\sqrt{3}$ に対して、$\mathrm{Sol}_3$ 内に、左平行移動を除いて一意な埋め込み CMC $H$ 球面 $S_H$ が存在し、これは平均曲率 $H$ の任意のコンパクトな埋め込み CMC 表面としても一意である。
• 族 $(S_H)_{H > 1/\sqrt{3}}$ は実解析的であり、指数1であり、2つの反転平面を持つ。
• 各 $S_H$ のガウス写像は $\mathbb{S}^2$ 上の全微分同相写像である。これは強い幾何的正則性を示している。
• 標準球面 $S_H$ は等周問題の解であり、点を固定する等長変換に関して全空間的に不変である。
• $H$ が $H_0$ の近傍にあるとき、等周プロファイルは下に凸であり、安定な球面は $V'(H_0) \leq 0$ を満たす。安定性と等周最適性が結びついている。
• $1/\sqrt{3}$ は安定性解析からの技術的閾値であり、幾何的に最適ではない。予想では、この結果はすべての $H > 0$ に対して成り立つ。