[論文レビュー] Some Geometry and Analysis on Ricci Solitons

Aaron Naber|ArXiv.org|Dec 18, 2006

Geometric Analysis and Curvature Flows参考文献 3被引用数 22

ひとこと要約

この論文は、一様に正の Bakry-Émery リッチ曲率をもつ完全な測度付き距離空間が、有限な f-体積と有限な基本群を持つことを確立する。さらに、ポテンシャル関数 f の凸性または凹性の下で収縮するリッチソリトンを分類し、それらが E×ℝᵏ の有限被覆であることを示す。ここで E はコンパクトで simply connected なアインシュタイン多様体であり、ℝᵏ は自明なソリトン構造を持つ。

ABSTRACT

The Bakry-Emery Ricci tensor of a metric-measure space (M,g,e^{-f}dv_{g}) plays an important role in both geometric measure theory and the study of Hamilton's Ricci flow. Under a uniform positivity condition on this tensor and with bounded Ricci curvature we show the underlying space has finite f-volume. As a consequence such manifolds, including shrinking Ricci solitons, have finite fundamental group. The analysis can be extended to classify shrinking solitons under convexity or concavity assumptions on the measure function.

研究の動機と目的

• 一様に正の Bakry-Émery リッチ曲率をもつ測度付き距離空間に対して、マイヤーズ型定理を確立し、有限な f-体積と有限な基本群を示す。
• ポテンシャル関数 f の凸性または凹性の仮定の下で収縮するリッチソリトンを分類する。
• f-ラプラシアンの振る舞いを解析し、Rc_f の正定性の下でリウヴィル型定理を導出する。
• Rc_f の非負性だけではハーナック型推移が成立しないことを、反例の構成によって示す。

提案手法

• 測度 e^{-f}dv_g に関して勾配の随伴として f-ラプラシアン Δ_f を定義する。
• 弧長の第二変分と比較幾何学を用いて、Rc_f ≥ λg の下で geodesic 沿いの f に対する下界を導出する。
• 重み付きボヘナー公式を用いて、Rc_f = λg の仮定の下で Δ_fR と Δ_f|Rc|² を解析する。
• de Rham の分解定理を用いて、普遍被覆が E×N に等長的に分解されることを示し、ここで E はアインシュタイン的であり、N はリッチ平坦である。
• リッチ平坦因子 N におけるソリトン構造を解析し、f が二次関数で、Rm = 0 であることを示し、N ≅ ℝᵏ であることを結論づける。
• Rc_f ≥ 0 だが Δ_f u = 0 をみたす非定数正の解 u が存在する完全な測度付き距離空間の具体例を構成し、ハーナック推移の不成立を示す。

実験結果

リサーチクエスチョン

• RQ1 Bakry-Émery リッチテンソル Rc_f にどのような幾何的条件を課せば、完全な測度付き距離空間が有限な f-体積と有限な基本群をもつのか。
• RQ2 ポテンシャル関数 f が凸または凹であると仮定した場合、収縮するリッチソリトンを分類することは可能か。
• RQ3 Rc_f ≥ 0 の下で、f-ラプラシアンに対するハーナック型推移はどの程度成立するか。
• RQ4 Rc_f ≥ 0 であっても、Rm ≥ 0 の下で f-ラプラシアンが非定数有界解をもつことは可能か。
• RQ5 f の凸性の下で、収縮ソリトンの分解におけるリッチ平坦因子の構造はいかなるものか。

主な発見

• Rc_f ≥ λg かつ |Rc| ≤ C であれば、f-体積 ∫_M e^{-f} dv_g は有限であり、M は有限な基本群をもつ。
• Rc_f = λg かつ λ > 0、Rc ≥ 0、f が凸または凹であれば、(M,g) は E×ℝᵏ の有限被覆に等長である。ここで E はコンパクトで simply connected であり、リッチ曲率が λ であるアインシュタイン多様体である。
• Rc_f = λg かつ Rc ≥ 0 をみたす収縮ソリトンでは、スカラー曲率 R は定数であり、リッチ曲率の固有値は 0 または λ のみをとる。
• このようなソリトンの普遍被覆は、E×N に等長的に分解され、E はアインシュタイン定数 λ をもち、N はリッチ平坦かつ simply connected である。
• リッチ平坦因子 N において、f は f(x) = (λ/2)d(x,p)² + f(p) という二次関数でなければならない。また Rm ≡ 0 であるため、N ≅ ℝᵏ である。
• Rc_f ≥ 0 かつ Δ_f u = 0 をみたす非定数正の u が存在する完全な測度付き距離空間が存在するため、Rc_f ≥ 0 だけではハーナック推移が成立しない。