[論文レビュー] On four-dimensional anti-self-dual gradient Ricci solitons

Xiuxiong Chen, Yuanqi Wang|arXiv (Cornell University)|Feb 2, 2011

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

ひとこと要約

本稿は曲率および幾何的制約の下で4次元反自己双対な勾配リッチソリトンを分類する。完全なステディソリトンで自己双対Weylテンソルが消える場合は、Bryantソリトンまたはリッチ平坦であることが示される。曲率が有界な収縮ソリトンでは、多様体は $\mathbb{R}^4$、$S^3 \times \mathbb{R}$、$S^4$、または $\mathbb{CP}^2$ の有限被覆に限られる。結果は曲率推定、リッチフローの解析性、および非万能点におけるWeylテンソルの消滅に依拠する。

ABSTRACT

In this note we prove that any four-dimensional half conformally flat gradient steady Ricci soliton must be either Bryant's soliton or Ricci flat. We also classify four-dimensional half conformally flat gradient shrinking Ricci solitons with bounded curvature.

研究の動機と目的

• 反自己双対（すなわち $W^+ = 0$）および曲率制約の下で4次元完全勾配リッチソリトンを分類すること。
• 自己双対Weylテンソルの消滅を活用して、高次元における既知のリッチソリトン分類を拡張すること。
• このクラスにおいて、非コンパクトかつリッチ平坦でないステディソリトンが存在するかどうか、特にBryantソリトンを超えるものがあるかを特定すること。
• 有界曲率および $W^+ = 0$ を満たす収縮ソリトンが、標準的対称空間の有限被覆に限られることを確立すること。
• リッチソリトンの解析的構造を調査し、Bandoの解析性結果を用いて、$\nabla f$ の局所的消滅から大域的剛性を導出すること。

提案手法

• 基礎的恒等式としてリッチソリトン方程式 $R_{ij} + \nabla_i \nabla_j f = \rho g_{ij}$ を用いる。
• 反自己双対性条件 $W^+ = 0$ を適用し、曲率およびテンソリアル恒等式を用いて、$|\nabla f| \neq 0$ である点でWeylテンソルが消えることを示す。
• 有界曲率をもつリッチソリトンが時間に関して実解析的である（Bandoの定理）という事実を活用し、局所的性質を大域的に拡張する。
• Zhang（2009）の、Weylテンソルが消える収縮ソリトンの分類結果を応用し、可能なモデル空間を結論づける。
• 解析性を用いた背理法を適用：$|\nabla f| = 0$ が開集合上で成り立つならば、$f$ は大域的に定数であり、多様体はアインシュタイン的であることを示す。
• コンパクトなアインシュタイン4次元多様体で $W^+ = 0$ かつ正のスカラー曲率をもつものは、$S^4$ や $\mathbb{CP}^2$ に等長である（Hitchinの定理）。

実験結果

リサーチクエスチョン

• RQ1 $W^+ = 0$ を満たす4次元完全でリッチ平坦でもなくBryantソリトンでもないステディ勾配リッチソリトンは存在するか？
• RQ2 有界曲率でない場合の $W^+ = 0$ を満たす収縮ソリトンの分類を拡張できるか？
• RQ3 非万能点における自己双対Weylテンソルの消滅が、Weylテンソルの大域的消滅を意味するか？
• RQ4 有界曲率がない場合でも、完全な勾配リッチソリトンが必ず実解析的であるとされるか？
• RQ5 有界曲率をもつ完全な反自己双対勾配収縮ソリトンの可能性のある位相的型は何か？

主な発見

• $W^+ = 0$ を満たす完全なステディ勾配リッチソリトンは、スケーリングを除いてBryantソリトンに等長であるか、またはリッチ平坦である。
• ステディケースでは、一般にはリッチ平坦の場合が未解決のまま残るが、ALEやハイパーカイリッジアン設定（例：Eguchi-Hanson計量）では例が存在する。
• 有界曲率および $W^+ = 0$ を満たす収縮ソリトンでは、多様体は $\mathbb{R}^4$、$S^3 \times \mathbb{R}$、$S^4$、または $\mathbb{CP}^2$ の有限被覆に限られる。
• 集合 $|\nabla f| \neq 0$ 上でWeyルテンソルは恒等的に消え、この集合が稠密であれば連続性により全体で消える。
• $|\nabla f| = 0$ が開集合上で成り立つならば、$f$ は大域的に定数であり、多様体はアインシュタイン的である。$W^+ = 0$ および正の曲率の下で、これは $S^4$ または $\mathbb{CP}^2$ に等長であることを意味する。
• $\mathbb{CP}^2 \sharp \overline{\mathbb{CP}^2}$ および $\mathbb{CP}^2 \sharp 2\overline{\mathbb{CP}^2}$ 上のKähler収縮ソリトンは、$W^+ = 0$ を満たさないため、反自己双対でも自己双対でもない。