[論文レビュー] Constant mean curvature hypersurfaces condensing along a submanifold

Fethi Mahmoudi, Rafe Mazzeo+1 more|ArXiv.org|May 28, 2004

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

ひとこと要約

本稿は、リーマン多様体 $M^{m+1}$ 内の非退化な最小部分多様体 $K^k$ に沿って集中する定常平均曲率 (CMC) 超曲面の存在を、測地的チューブ $ar{S}_\rho$ の摂動とリャプノフ＝シュミット還元、および重み付きソボレフ推定を用いて確立する。主な結果は、小さな半径 $ ho$ の稠密な集合に対して、このような CMC 超曲面が存在し、局所的ファイブレーションをなすことである。そのトポロジーは $K$ から引き継がれ、平均曲率は $H \sim \frac{n-1}{m}\rho^{-1}$ とスケーリングされ、ここで $n = m+1-k$ である。構成は、分岐現象に起因する孤立した半径を除き失敗しない。

ABSTRACT

Given any nondegenerate k-dimensional minimal submanifold K of codimension greater than 1, we prove the existence of families of constant mean curvature submanifolds, with mean curvature varying from one member of the family to another, which `condense' to K. In particular, our result proves the existence of constant mean curvature hypersurfaces with nontrivial topology in any Riemannian manifold.

研究の動機と目的

• 点や測地線の既知のケースを超えて、部分多様体に沿って集中する定常平均曲率 (CMC) 超曲面の存在を拡張すること。
• 濃縮部分多様体 $K^k$ が任意の非退化な最小部分多様体（codimension $k \geq 2$）である場合に、そのような CMC 超曲面の存在を確立すること。
• これらの CMC 超曲面が、$K$ の周りの測地的チューブ $\bar{S}_\rho$ の小さな法線摂動として得られ、$L^\infty$ および Hölder 範囲が制御されることを示すこと。
• このような摂動が存在する半径 $\rho$ の集合が 0 の近傍で稠密であること、および明確な定量的密度推定を示すこと。
• 半径 $\rho \to 0$ の極限における $S_\rho$ の面積密度および曲率密度の漸近的挙動を分析し、$K$ 上に台を持つ測度への収束を示すこと。

提案手法

• 法バンドル上の切断を用いて、$K$ の摂動版上に正規グラフとして CMC 超曲面を構成し、その $L^\infty$ ノルムを $O(\rho^2)$ に保つ。
• 非線形定常平均曲率方程式を解くためにリャプノフ＝シュミット還元を適用し、重み付き Hölder 空間における固定点問題に還元する。
• 法バンドル $SNK$ 上でのスケーリングされた楕円型推定を用いて、解の正則性と大きさを制御し、$\rho \to 0$ の際に係数が一様に有界であることを保証する。
• 解の可解性を保証する重み付きノルム推定 $\|v\|_{C^{2,\alpha}} \leq c\rho^{-D}\|\mathbb{L}_\rho v\|_{C^{0,\alpha}}$（$D = 3k/2 + q + 1 + \alpha$）を実装し、収縮写像定理を用いる。
• 摂動の障害は線形化平均曲率作用素 $\mathbb{L}_\rho$ の固有値として現れ、小さな固有値が現れる半径は除外する。
• 許容可能な $\rho$ の集合は、$\rho_i^\pm \to 0$ となる区間 $I_i = (\rho_i^-, \rho_i^+)$ の和集合 $I = \bigcup_i I_i$ であり、任意の $q \geq 2$ に対して $\mathcal{H}^1((0,\rho) \cap I) = \rho + O(\rho^q)$ を満たす。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体 $M^{m+1}$ 内の任意の非退化な閉じた最小部分多様体 $K^k$（codimension $k \geq 2$）に沿って集中する定常平均曲率超曲面を構成できるか？
• RQ2 測地的チューブ $\bar{S}_\rho$ を CMC 超曲面に摂動する際の幾何学的・解析的障害は何であり、それらはどのように克服できるか？
• RQ3 得られる CMC 超曲面のトポロジーは、濃縮部分多様体 $K$ とどのように関係しているか？
• RQ4 半径 $\rho \to 0$ の極限における $S_\rho$ の面積密度および曲率密度の漸近的挙動は何か？また、それらは $\bar{S}_\rho$ のものとどのように比較できるか？
• RQ5 構成が特定の半径 $\rho$ で失敗するのはなぜか？また、そのとき発生する分岐現象の性質は何か？

主な発見

• 任意の非退化な閉じた最小部分多様体 $K^k \subset M^{m+1}$（$1 \leq k \leq m-1$）に対して、$\rho_i^\pm \to 0$ となる区間 $I_i = (\rho_i^-, \rho_i^+)$ の列が存在し、$I := \bigcup_i I_i$ に属するすべての $\rho$ に対して、測地的チューブ $\bar{S}_\rho$ は平均曲率 $H = \frac{n-1}{m}\rho^{-1}$ の CMC 超曲面 $S_\rho$ に摂動可能である。ここで $n = m+1-k$ である。
• 摂動は、法バンドル内での $\rho^2$ サブスクリプトの $K$ への平行移動上での正規グラフであり、摂動の $L^\infty$ ノルムは $C\rho^3$ で有界である。
• $\rho \in I_i$ の場合、超曲面 $S_\rho$ は $K$ の近傍における局所的ファイブレーションの葉をなす。また、$i \to \infty$ のとき、$S\_\rho$ のインデックスは無限大に発散する。
• $I$ は 0 の近傍でフル密度を持つ：任意の $q \geq 2$ に対して、1次元ハウスドルフ測度は $|\mathcal{H}^1((0,\rho) \cap I) - \rho| \leq c_q \rho^q$ を満たす。
• $S_\rho$ の面積および曲率密度は、$\bar{S}_\rho$ と同じ漸近的極限を持つ：$\rho^{k-m} \mathcal{H}^m \llcorner S_\rho \rightharpoonup \omega_{m-k} \mathcal{H}^k \llcorner K$ および $\rho^{k-m+q}|A_{S_\rho}|^q \mathcal{H}^m \llcorner S_\rho \rightharpoonup (m-k)^{q/2}\omega_{m-k} \mathcal{H}^k \llcorner K$ が $\rho \to 0$ のとき成り立つ。
• 構成は、分岐現象に起因する孤立した半径で失敗する。これは、線形化平均曲率作用素 $\mathbb{L}_\rho$ の小さな固有値に起因し、これらは許容可能な集合 $I$ から除外される。