[論文レビュー] Homogeneous Ricci almost solitons

Esteban Calviño‐Louzao, Manuel Fernández-López+2 more|arXiv (Cornell University)|Jan 21, 2015

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

ひとこと要約

この論文は、局所的に一様なリッチほぼソリトンを分類し、局所的に一様なリーマン多様体上での適切なリッチほぼソリトンは、定曲率であるか、または $\mathbb{R} \times N(c)$ に局所的に等長である必要があることを証明している。ここで $N(c)$ は定曲率を持つ。結果は曲率一様および勾配リッチほぼソリトンへと拡張され、適切な勾配ソリトンは非ゼロの定曲率空間でのみ存在することが示された。

ABSTRACT

It is shown that a locally homogeneous proper Ricci almost soliton is either of constant sectional curvature or a product $\mathbb{R} imes N(c)$, where $N(c)$ is a space of constant curvature.

研究の動機と目的

• 局所的に一様なリーマン多様体が適切なリッチほぼソリトンを許容するかどうかを分類すること。
• 対称性の条件下での勾配リッチほぼソリトンの剛性および幾何的構造を調査すること。
• 一様な設定におけるリッチほぼソリトンとリッチソリトンの違いを明確にすること。
• 分類結果を曲率一様多様体へと拡張し、ソリトンがエインシュタインまたは定曲率である条件を確立すること。

提案手法

• 局所的に一様な多様体上で非定数 $\lambda$ を持つリッチほぼソリトン方程式 $\mathcal{L}_X g + \rho = \lambda g$ を分析する。
• 勾配条件 $X = \nabla f$ を用いて、$H_f + \rho = \lambda g$ を導出する。ここで $H_f$ は $f$ のヘッセ行列である。
• 曲率一様性と対称性の仮定を用いて、リッチテンソルとスカラー曲率を制約する。
• 重み付きラプラシアン $\Delta_f$ と発散恒等式を用いて、$\lambda$ および $\nabla f$ の振る舞いを分析する。
• リッチテンソルのコダッチ条件を用いて曲率恒等式を導出し、$\varphi = \nabla\lambda / \nabla f$ が定数でなければならないことを示す。
• 最大値原理を $\Delta\lambda$ に適用し、コンact多様体上で恒等式を統合して、$\lambda$ の定数性またはエインシュタイン条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの局所的に一様なリーマン多様体が適切なリッチほぼソリトンを許容するか？
• RQ2 同次空間上の勾配リッチほぼソリトンが、いつエインシュタインまたは定曲率である必要があるか？
• RQ3 曲率一様性とコダッチ条件は、リッチほぼソリトンの存在および構造にどのように影響するか？
• RQ4 曲率一様多様体上の非勾配リッチほぼソリトンは分類可能か？また、剛性性質を満たすか？
• RQ5 スカラー曲率は、ソリトン関数 $\lambda$ の定数性を決定する上でどのような役割を果たすか？

主な発見

• 局所的に一様なリーマン多様体が適切なリッチほぼソリトンを許容するための必要十分条件は、それが定曲率であるか、または $N(c)$ が定曲率を持つ $\mathbb{R} \times N(c)$ に局所的に等長であることである。
• 局所的に一様な多様体上での適切な勾配リッチほぼソリトンは、非ゼロの定曲率空間でのみ存在し、これは補題1.2を確認する。
• 曲率一様多様体において、適切な勾配リッチほぼソリトンが存在するのは、多様体が非ゼロの定曲率を有する場合に限る。これは定理1.3で述べられている。
• リッチテンソルがコダッチであり、ソリトンが径方向に平坦であるならば、$\lambda$ は定数であり、したがってソリトンは剛性のある勾配リッチソリトンである。
• リッチ曲率が $\lambda$ で有界であり、スカラー曲率が定数であるとき、最大値原理により $\lambda$ が非負であれば $\lambda$ は定数でなければならない。
• コンパクト多様体上で重み付きラプラシアン恒等式を統合すると、$\text{rank}(\text{Ric}) = n$ でない限り $\int_M \lambda^2 = 0$ が得られ、この場合 $M$ はエインシュタインであることが示される。