[論文レビュー] Identifying Constant Curvature Manifolds, Einstein Manifolds, and Ricci Parallel Manifolds

Feng‐Yu Wang|arXiv (Cornell University)|Oct 1, 2017

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

ひとこと要約

本稿では、熱半群の確率的解析を用いてリーマン多様体のリッチ曲率の上界・下界に対する変分公式を確立し、リッチ曲率の導出公式を導出する。これらの公式を熱半群のヘッセ型および微分型公式と組み合わせることで、定曲率、アインシュタイン、リッチ平坦な多様体を解析的不等式および積分公式によって同定し、アインシュタイン多様体およびリッチ平坦多様体における明示的なヘッセ型推定値を提供する。

ABSTRACT

We establish variational formulas for Ricci upper and lower bounds, as well as a derivative formula for the Ricci curvature. As applications, constant curvature manifolds, Einstein manifolds and Ricci parallel manifolds are identified, respectively, with different integral-differential formulas and semigroup inequalities. Moreover, by using derivative and Hessian formulas for the heat semigroup $P_t$ developed from stochastic analysis, explicit Hessian estimates are derived on Einstein and Ricci parallel manifolds.

研究の動機と目的

• 確率過程から導かれる解析的公式を用いて、定曲率、アインシュタイン、リッチ平坦多様体を特徴づけること。
• 熱半群および確率的平行移動を用いて、リッチ曲率の上界・下界に対する変分公式を確立すること。
• アインシュタイン多様体およびリッチ平坦多様体における熱半群の明示的ヘッセ型推定値を導出すること。
• 熱半群の微分不等式を用いて、多様体がリッチ平坦であるための必要十分条件を提供すること。
• 確率的および解析的手法を用いた確率的解析を通じて、リーマン多様体の幾何的分類を統一すること。

提案手法

• 水平ブラウン運動および確率的平行移動を用いて、対称2次形式への熱半群作用の確率的公式を導出する。
• ボッハナー・ラプラシアンおよび熱半群 $ P_t = e^{t/2 \Delta} $ を用いて、曲率の進化およびヘッセ型の挙動を分析する。
• 微分公式 $ \text{Hess}_{P_t f} $ および $ \Delta \text{Hess}_f $ を適用し、曲率作用素およびリッチ曲率を $ \mathcal{R} \text{Hess}_f $ を通じて関連付ける。
• Hessian近似誤差を制御する関数 $ h(t, \cdot) $ を導入し、$ \lim_{t \downarrow 0} t^{-1/2} h(t, \cdot) = 0 $ を満たす。
• ブラウン運動に沿った確率的平行移動 $ \parallel_t $ を用いて、$ \text{Hess}_f(W_t(v)) $ と $ \text{Hess}_f(\parallel_t v) $ を比較し、曲率の比較を可能にする。
• 恒等式 $ \| \text{Hess}_{P_t f} - P_t \text{Hess}_f \| \leq h(t, \cdot)(P_t \| \text{Hess}_f \| + \| \text{Hess}_{P_t f} \|) $ を用いて、ヘッセ型差の微分が消えることからリッチ平坦性を導出する。

実験結果

リサーチクエスチョン

• RQ1 熱半群およびヘッセ型挙動に関するどのような解析的条件下で、多様体がリッチ平坦であるか？
• RQ2 熱半群の微分不等式を用いて、平行移動下でのリッチ曲率の定数性をどのように特徴づけられるか？
• RQ3 アインシュタイン多様体およびリッチ平坦多様体における熱半群に対して、どのような明示的ヘッセ型推定値を導出できるか？
• RQ4 確率的解析を用いて、リッチ平坦性とヘッセ型差の微分が消えることの同値性を確立できるか？
• RQ5 曲率作用素 $ \mathcal{R} $ は、熱半群下でのヘッセ型進化をどのように制御するか？

主な発見

• 多様体がリッチ平坦であるための必要十分条件は、関数 $ h(t, \cdot) $ に特定の減衰条件を課した下で、$ t \downarrow 0 $ のときヘッセ型差の微分が消えることである。
• リッチ曲率が $ \mathcal{R}ic \geq K $ かつ多様体 $ M $ がリッチ平坦であるとき、不等式 $ \| \text{Hess}_{P_t f} - P_t \text{Hess}_f \| \leq \left( \frac{\| \mathcal{R}ic \|_\infty (1 - e^{-Kt})}{K} + e^{(\| \mathcal{R} \|_\infty - K)t} - e^{-Kt} \right) P_t \| \text{Hess}_f \| $ が成り立つ。
• 曲率の有界性および確率的平行移動を用いて、アインシュタイン多様体およびリッチ平坦多様体における熱半群の明示的ヘッセ型推定値を導出する。
• $ \nabla \mathcal{R}ic = 0 $ は、極限 $ \lim_{t \downarrow 0} \frac{h(t,x)}{t} (P_t \| \text{Hess}_f \| + \| \text{Hess}_{P_t f} \|) = 0 $ を通じて、ヘッセ型差の微分が消えることと同値である。
• ヘッセ型近似誤差条件（4）とリッチ平坦性（1）の同値性は、$ \nabla_{v_2} \mathcal{R}ic(v_1, v_1) $ の極限における消えることにより、確立される。
• 曲率作用素 $ \mathcal{R} $ は、項 $ \| \mathcal{R} \|_\infty \int_0^t e^{-Ks} P_s \| \text{Hess}_{P_{t-s}f} \| \, ds $ を通じてヘッセ型進化を制御し、曲率と半群の挙動を結びつける。