[論文レビュー] Proof of the remaining cases of the Yamabe boundary problem

Martin Mayer, Cheikh Birahim Ndiaye|arXiv (Cornell University)|May 22, 2015

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

ひとこと要約

本稿は、n ≥ 6 において、境界が umbilic であり、ヤマベ不変量が正である条件下で、境界付きのコンパクトなn次元リーマン多様体に対して、内部で定数スカラー曲率、境界でゼロ平均曲率を持つ共形計量の存在を示すことにより、境界ヤマベ問題を完全に解決する。証明は、ブレンドル＝チェンの変分的バブルと、バフリ＝コロンにインspiredされた洗練された代数的位相的議論を組み合わせ、先行研究で未解決のまま残っていた最終的な開かれたケースを解消する。

ABSTRACT

In this paper, we solve the remaining cases of the boundary Yamabe problem introduced by Escobar in 1992. Indeed, using the bubbles of Brendle-Chen, which are an adaptation to manifolds with boundary of the original ones introduced by Brendle for the study of the Yamabe flow on closed Riemannian manifolds of dimension greater or equal to 6, and the algebraic topological argument of Bahri-Coron, we solve the cases left open after the work of Brendle-Chen. Thus combining our work with the ones of Brendle-Chen and Escobar, we have that the boundary Yamabe problem is a done deal.

研究の動機と目的

• エスコバル（1992年）およびブレンドル＝チェン（2014年）の研究後に残された境界ヤマベ問題の開かれたケースを解消すること。
• n ≥ 6 かつ境界が umbilic であるコンパクト多様体に対して、内部で定数スカラー曲率、境界でゼロ平均曲率を持つ共形計量の存在を確立すること。
• ヤマベ不変量が正である条件下で、境界ヤマベ問題が完全に解決されていることを証明すること。
• 臨界点が無限大にある幾何的変分問題に、バフリ＝コロンの代数的位相的手法を適用し、最適な変分的バブルを用いて解を検出すること。

提案手法

• ブレンドルとチェンが構築した変分的バブルを、境界付き多様体に適応させ、関数的エネルギーの地形における爆発的挙動のモデルを構築する。
• バーリンとコロンの代数的位相的議論を、重心技法を介して境界ヤマベ汎関数の臨界点を検出するために適用する。
• 境界上の点の配置空間の相対ホモロジー群を用いたホモロジー的枠組みを採用し、汎関数の部分レベル集合における非自明な位相的構造を検出する。
• 変形リトラクトを構成し、部分レベル集合間のリンク構造を用いて、非自明な無限大における臨界点を検出する。
• ヤマベ不変量の正と境界の umbilicity を根拠に、集中が制御された最小化列の存在を保証する。
• 補題3.3、補題4.3、および命題4.4に基づく背理法を用いて、解の存在を結論づける。

実験結果

リサーチクエスチョン

• RQ1 任意の境界付きn次元コンパクトリーマン多様体（n ≥ 3）は、内部で定数スカラー曲率、境界でゼロ平均曲率を持つ共形計量をもつのか？
• RQ2 n ≥ 6、境界が umbilic で、境界上でのウェイラー・テンソルが消える場合の、境界ヤマベ問題の残りの開かれたケースは、ADM質量の正性を仮定せずに解けるか？
• RQ3 臨界点が無限大に存在し、汎関数がコンパクト性を欠く場合、バフリ＝コロンの代数的位相的手法は境界ヤマベ問題に適用可能か？
• RQ4 ブレンドル＝チェンの変分的バブルは、解の検出を目的とした位相的枠組みにおいて効果的に用いることができるか？
• RQ5 境界ヤマベ汎関数が最小化子でない臨界点をもつのは、どのような条件下か？

主な発見

• 境界ヤマベ問題は完全に解決された：任意の境界付きn次元コンパクトリーマン多様体（n ≥ 3）は、内部で定数スカラー曲率、境界でゼロ平均曲率を持つ共形計量をもつ。
• 解の存在は、境界が umbilic であり、n ≥ 6 かつヤマベ不変量が正であるという条件下で確立された。
• 解の存在は、変形スキームにおける特定のホモロジー類の非消滅性に依拠する背理法により証明された。
• 本手法は、先行研究で残された障害であったADM質量の正性を示す必要を回避した。
• 解は最小化子であるとは限らず、関数空間内の非自明な位相的構造に起因する臨界点である可能性がある。
• 証明は、境界付きの共形不変幾何的問題において、変分的バブルと代数的位相的技法を組み合わせる有効性を示している。