[論文レビュー] Prescribed Scalar Curvature with Minimal Boundary Mean Curvature on $S^4_+$

Hichem Chtioui, Khalil El Mehdi|ArXiv.org|Jun 7, 2003

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

ひとこと要約

本稿は、臨界点の無限大理論と位相的方法を用いて、4次元半球面 $S^4_+$ 上の所定のスカラー曲率問題に対して境界平均曲率が最小となる解の存在を確立する。曲率関数 $K$ に対して適切な非退化性および符号条件が満たされれば、正の解が存在することが示され、特に $K$ の大域的最大値が臨界集合 $\mathcal{F}^+$ の外にある場合、または臨界点の無限大の位相的性質が可縮性を妨げる場合に成立する。

ABSTRACT

This paper is devoted to the prescribed scalar curvature under minimal boundary mean curvature on the standard four dimensional half sphere. Using topological methods from the theory of critical points at infinity, we prove some existence results. These methods were first introduced by A. Bahri.

研究の動機と目的

• 4次元半球面 $S^4_+$ 上で境界平均曲率がゼロである所定のスカラー曲率問題に対する正の解の存在条件を確立すること。
• 臨界ソボレフ指数に起因する変分問題におけるコンパクト性の欠如を分析すること。
• 標準的コンパクト性が失敗する状況において、臨界点の無限大理論から得られる位相的不変量を用いて解を検出すること。
• 低次元における先行結果を4次元の場合に拡張し、自己相互作用と吹き上がりプロファイルの相互作用のバランス現象に焦点を当てる。
• 曲率関数 $K$ に対する十分な位相的条件を提供し、$K$ の大域的最大値が臨界集合 $\mathcal{F}^+$ 内にある場合でも解の存在を保証すること。

提案手法

• Bahri らが開発した臨界点の無限大理論を用いて、問題に関連するオイラー＝ラグランジュ汎関数のパラ・スモール数列の漸近的挙動を分析する。
• 臨界点が無限大における汎関数の位相的性質に寄与する、集合 $\mathcal{F}^+ = \{ y \in S^4_+ \mid \nabla K(y) = 0 \text{ かつ } \frac{-\Delta K(y)}{3K(y)} + 4H(y,y) > 0 \}$ を定義する。
• 特異的挙動を吹き上がり点付近でモデル化するため、グリーン関数 $G(x,y)$ 及びその正則部 $H(x,y)$ を用いる。
• 変形再びとホモロジー論法を用いて、解の存在が臨界点の無限大が非自明な位相的性質を誘導する場合にのみ妨げられることを示す。
• $\Sigma^+$（汎関数の下位集合）が可縮可能であることを用い、解が存在しない場合、臨界点の無限大も可縮可能でなければならないが、これにより位相的仮定のもとで矛盾が生じる。
• 次数論および汎関数 $J(u)$ の漸近展開を用いて、$J$ の値と曲率関数 $K$ を関連づけ、特に $c_1 = \frac{3}{2}S_4^{1/2}$ の閾値付近で分析する。

実験結果

リサーチクエスチョン

• RQ1 曲率関数 $K$ に対してどのような条件下で、$S^4_+$ 上の最小境界平均曲率を伴う所定のスカラー曲率問題が正の解を有するか？
• RQ2 パラ・スモール条件が成立しない場合、臨界点の無限大の位相的性質が問題の可解性にどのように影響するか？
• RQ3 4次元の場合に、自己相互作用と吹き上がり質量の相互作用のバランスが果たす役割は何か？
• RQ4 標準的な位相的障害が消える集合 $\mathcal{F}^+$ に $K$ の大域的最大値が存在する場合、解の存在を保証できるか？
• RQ5 定理1.5および定理1.6の位相的条件下で、解のモース指数は何か？

主な発見

• 曲率関数 $K$ の大域的最大値 $y_0$ が $\mathcal{F}^+$ に属さない場合、臨界点の無限大による位相的障害が回避されるため、問題 (1) は正の解を有する。
• $y_0 \in \mathcal{F}^+$ の場合、$\mathcal{F}^+$ が有限集合であり、$\mathcal{F}^+$ 内の $s$-重点の組に対応する行列 $M(\tau_s)$ が非退化であれば、非自明な位相的性質が保証され、解が存在する。
• $\|K - 1\|_{L^\infty(S^4_+)}$ が十分に小さいと仮定すれば、汎関数 $J$ はレベル $c_1 = \frac{3}{2}S_4^{1/2}$ よりも高い位置に臨界点の無限大を有さず、臨界集合の無限大の非可縮性から解の存在が導かれる。
• $K$ に対する小さい仮定のもとで得られる解は、次数論的議論により、$m$ 個の臨界点を持つ $\mathcal{F}^+$ に対して、モース指数が少なくとも $m$ 以上であることが示される。
• 汎関数 $J$ が2つ以上の質量を持つ臨界点の無限大を有さず、かつ $\mathcal{F}^+$ が空でない場合、解の存在は臨界集合の無限大の非可縮性から導かれるが、これは解が存在しないという仮定に矛盾する。
• 臨界点の無限大は $X \times [A, \infty)$ の形にパラメトライズされ、ここで $X = \bigcup_{y \in \mathcal{F}^+} \overline{W_s(y)}$ であり、その位相的構造が問題の可解性を決定づける。