[論文レビュー] Pointwise Characterizations of Curvature and Second Fundamental Form on Riemannian Manifolds

Feng‐Yu Wang, Bo Wu|arXiv (Cornell University)|May 9, 2016

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

ひとこと要約

本稿では、$ Z $ を $ C^1 $ ベクトル場とする $ L = \Delta + Z $ が生成する（反射付き）拡散過程を用いて、リーマン多様体上での Bakry-Emery 曲率および第二基本形式の点付き特徴付けを提示する。曲率および第二基本形式の漸近公式を活用し、経路空間上の Malliavin 勾配を分析することで、拡散過程を含む関数不等式を用いて、これらの幾何的量の点付き上界および下界を明確に確立する。これは、曲率が有界でない場合でも、境界付き多様体への Naber の結果の拡張を実現する。

ABSTRACT

Let $M$ be a complete Riemannian manifold possibly with a boundary $\partial M$. For any $C^1$-vector field $Z$, by using gradient/functional inequalities of the (reflecting) diffusion process generated by $L:=Δ+Z$, pointwise characterizations are presented for the Bakry-Emery curvature of $L$ and the second fundamental form of $\partial M$ if exists. These extend and strengthen the recent results derived by A. Naber for the uniform norm $\|{\mathbf{Ric}}_Z\|_\infty$ on manifolds without boundary. A key point of the present study is to apply the asymptotic formulas for these two tensors found by the first named author, such that the proofs are significantly simplified.

研究の動機と目的

• A. Naber が Bakry-Emery 曲率の均一ノルム特徴付けを提示したのを、境界付き多様体上の点付き境界に拡張すること。
• 拡散作用素 $ L = \Delta + Z $ が生成する（反射付き）拡散過程を用いて、境界 $ \partial M $ の第二基本形式の点付き特徴付けを提供すること。
• 曲率が有界でない場合でも、経路空間上の関数不等式を用いて $ \text{Ric}_Z $ および $ \mathbb{I} $ の鋭い上界および下界を点付きで確立すること。
• 第一著者が導出した曲率および第二基本形式の漸近公式を活用することで、証明を簡略化すること。

提案手法

• 作用素 $ L = \Delta + Z $ が生成する（反射付き）拡散過程 $ (X_t^x, U_t^x) $ を、正規直交フレーム bundle に持ち上げる。
• Malliavin 微積分を用いて、経路空間 $ W_T(M) $ 上の筒状関数に対する Malliavin 勾配 $ DF(X_{[0,T]}^x) $ を定義し、経路に沿った方向微分を捉える。
• 曲率および境界幾何を符号化するために、$ K $ および $ \sigma $ で重み付けされた時間積分および局所時間積分を組み合わせた確率測度 $ \mu_{x,T} $ を導入する。
• 経路の変動と幾何的量を関数不等式を通じて関連付けるために、エネルギー形式 $ \mathscr{E}^{K,\sigma}_{t,T}(F,F) $ を構成する。
• 経路半群の2次変動から点付きの $ \text{Ric}_Z $ および $ \mathbb{I} $ の値を抽出するために、$ T \to 0 $ における漸近解析を用いる。
• 証明は、$ \mathbb{E}[|\dot{D}_t F|^2] $ および $ \text{Var}(F) $ の漸近展開に依拠し、$ \sqrt{T} $ および $ T^{-1} $ 項を含む極限を通じて $ \text{Ric}_Z $ および $ \mathbb{I} $ に接続する。

実験結果

リサーチクエスチョン

• RQ1 拡散過程 $ X_t^x $ の経路空間上での関数不等式を用いて、Bakry-Emery 曲率 $ \text{Ric}_Z $ の点付きノルムを特徴付けられるか。
• RQ2 境界 $ \partial M $ の第二基本形式 $ \mathbb{I} $ を、拡散過程の経路空間変動の観点からどのように特徴付けられるか。
• RQ3 Malliavin 勾配の漸近的挙動と $ \text{Ric}_Z $ および $ \mathbb{I} $ の点付き値との間の正確な関係は何か。
• RQ4 これらのテンソルが多様体上で有界でない場合でも、$ \text{Ric}_Z $ および $ \mathbb{I} $ の上界および下界を点付きで特徴付けられるか。
• RQ5 $ \mu_{x,T} $ およびエネルギー形式 $ \mathscr{E}^{K,\sigma}_{t,T} $ を含む関数不等式が、多様体およびその境界の完全な点付き幾何をどのように符号化するか。

主な発見

• 点付き下界 $ \|\text{Ric}_Z\|(x) \leq K(x) $ が成り立つのは、すべての $ F \in \mathscr{F}C_T^\infty $ に対してエネルギー形式 $ \mathscr{E}^{K,\sigma}_{t,T}(F,F) $ が特定の関数不等式を満たし、$ T \to 0 $ の極限で等号が成り立つとき、かつそのときに限る。
• 第二基本形式は、$ \mathbb{I}(\nabla f, \nabla f)(x) \geq -\sigma(x)|\nabla f(x)|^2 $ が成り立つのは、$ \sigma $ を用いた対応する関数不等式が成り立つとき、かつそのときに限る。これは Naber の結果を境界の場合に拡張する。
• 関数 $ F = f(X_T^x) $ の分散およびその Malliavin 勾配の漸近展開により、$ \text{Ric}_Z(\nabla f, \nabla f)(x) = \lim_{T \to 0} \frac{1}{2T} \left( P_T|\nabla f|^2(x) - |\nabla P_T f|^2(x) \right) $ が得られ、点付きの公式が得られる。
• 点 $ x \in \partial M $ に対して、第二基本形式は $ \mathbb{I}(\nabla f, \nabla f)(x) = \lim_{T \to 0} \frac{3\sqrt{\pi}}{8\sqrt{T}} \left( \frac{\mathbb{E}[(F\Phi)^2] - \{\mathbb{E}[F\Phi]\}^2}{2T} - |\nabla P_T f|^2 \right) $ として回復され、経路空間の分散と境界幾何を結びつける。
• 上界の推定は、$ F(\gamma) = f(\gamma_\varepsilon) - \frac{1}{2}f(\gamma_T) $ でテストすることで得られ、極限不等式から $ \text{Ric}_Z(\nabla f, \nabla f)(x) \leq K(x)|\nabla f|^2(x) $ および $ \mathbb{I}(\nabla f, \nabla f)(x) \leq \sigma(x)|\nabla f|^2(x) $ が導かれる。
• 証明の主な簡略化要因は、曲率および第二基本形式の漸近公式を用いることであり、従来の複雑なカップリングやカップリングの議論を避けることが可能になる。