[論文レビュー] On static three-manifolds with positive scalar curvature

Lucas Ambrozio|arXiv (Cornell University)|Mar 12, 2015

Geometric Analysis and Curvature Flows参考文献 40被引用数 11

ひとこと要約

この論文は、正のスカラー曲率をもつ静的3次元多様体に対してボッホナー型の公式を確立し、その公式を用いてこの曲率条件下でのコンパクトな静的3重項を分類する。特異なアインシュタイン4次元多様体を構成し、アインシュタイン幾何学の結果を適用することで、著者は、ある幾何的制約のもとで、標準的な球面半球が、正のスカラー曲率と連結な境界をもつ、コンパクトで単連結な静的3次元多様体において唯一のものであることを証明する。

ABSTRACT

We compute a Bochner type formula for static three-manifolds and deduce some applications in the case of positive scalar curvature. We also explain in details the known general construction of the (Riemannian) Einstein (n+1)-manifold associated to a maximal domain of a static n-manifold where the static potential is positive. There are examples where this construction inevitably produces an Einstein metric with conical singularities along a codimension-two submanifold. By proving versions of classical results for Einstein four-manifolds for the singular spaces thus obtained, we deduce some classification results for compact static three-manifolds with positive scalar curvature.

研究の動機と目的

• 正のスカラー曲率と連結な境界をもつ、コンパクトで単連結な静的3次元多様体を分類すること。
• 局所的に共形平坦でない静的3重項の既知の分類結果を、非共形平坦の場合にまで拡張すること。
• 漸近解析を用いて、境界成分付近における静的ポテンシャルの正則性および存在に関する結果を確立すること。
• 与えられた曲率および位相的制約のもとで、標準的な球面半球が唯一のこのような多様体であることを証明すること。

提案手法

• 静的ポテンシャルのヘッセ行列とリッチ曲率を用いて、静的3次元多様体に対するボッホナー型の公式を導出する。
• 正の静的ポテンシャルをもつ静的n次元多様体の最大領域から、(n+1)次元のアインシュタイン多様体を構成する。
• 得られた特異なアインシュタイン空間を分析し、特にcodimension-2の部分多様体に沿った円錐的特異点に注目する。
• この構成によって得られた特異空間に、アインシュタイン4次元多様体理論の古典的結果を適用する。
• 特異な常微分方程式の解の漸近展開と正則性理論を用いて、境界付近における静的ポテンシャルの振る舞いを分析する。
• 径方向解における帰納法と部分積分を用いて、原点における高階微分可能性および滑らかさを証明する。

実験結果

リサーチクエスチョン

• RQ1 標準的な球面半球は、正のスカラー曲率と連結な境界をもつ、コンパクトで単連結な静的3次元多様体において唯一のものか？
• RQ2 局所的に共形平坦な場合を除き、正のスカラー曲率をもつ静的3次元多様体に課される幾何的および位相的制約は何か？
• RQ3 静的ポテンシャルの性質およびその零点集合は、多様体のグローバル幾何にどのように制約を加えるか？
• RQ4 特異性が生じる場合に、静的n次元多様体からアインシュタイン(n+1)次元多様体を構成する方法が、元のn次元多様体の分類にどのように利用できるか？
• RQ5 静的ポテンシャルは境界付近でどのような正則性を示すのか、そしてそれが分類にどのように影響するか？

主な発見

• 最大境界面積の仮定のもとで、標準的な球面半球は、正のスカラー曲率と連結な境界をもつ、コンパクトで単連結な静的3次元多様体において唯一のものである。
• 正のポテンシャルをもつ静的3次元多様体からアインシュタイン4次元多様体を構成すると、codimension-2の部分多様体に沿って円錐的特異点をもつ空間が得られる。
• 静的方程式の解は境界でより高い正則性を示す：ポテンシャルが連続的かつ内部で滑らかであれば、境界まで$C^2$にまで滑らかである。
• 静的ポテンシャルは特異係数をもつ径方向常微分方程式に従い、部分積分と漸近解析により、原点で$C^2$に滑らかであることが示される。
• 境界データの滑らかさに応じてポテンシャルの正則性が向上し、微分の階数に関する帰納法により、強制項が$C^k$であれば$C^{k+2}$正則性が証明される。
• 正のスカラー曲率をもつ静的3重項の分類には、球面半球、$S^2$上の円筒、スワーツシルト＝デSitter空間が含まれるが、被覆および同値関係を除けば、それらのみである。