[論文レビュー] Heat kernel on Ricci shrinkers

Yu Li, Bing Wang|arXiv (Cornell University)|Jan 17, 2019

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

ひとこと要約

本稿は、非コンパクトなリッチ収縮写像に対して鋭い熱核推定と基本的な解析的道具を確立し、ペレルマンのエントロピーが単調であること、および最適な対数ソボレフ不等式とソボレフ不等式を導出する。古典的結果（局所的崩壊のない定理、擬似局所性定理など）を改善し、第二小固有値がゼロに近い場合に曲率作用素が非負になるという剛性定理を証明する。このとき、多様体はコンパクトな対称空間とユークリッド空間の積に分解される。

ABSTRACT

In this paper, we systematically study the heat kernel of the Ricci flows induced by Ricci shrinkers. We develop several estimates which are much sharper than their counterparts in general closed Ricci flows. Many classical results, including the optimal Logarithmic Sobolev constant estimate, the Sobolev constant estimate, the no-local-collapsing theorem, the pseudo-locality theorem and the strong maximum principle for curvature tensors, are essentially improved for Ricci flows induced by Ricci shrinkers. Our results provide many necessary tools to analyze short time singularities of the Ricci flows of general dimension.

研究の動機と目的

• 非コンパクトなリッチ収縮写像に対して、曲率の有界性なしに、最大原理、部分積分、熱核の存在といった基礎的解析的道具を開発すること。
• 一般次元におけるリッチ流の古典的結果（局所的崩壊のない定理、擬似局所性定理、強い最大原理）をリッチ収縮写像に拡張すること。
• 次元とペレルマンの μ 機能のみに依存する定数を持つ、鋭い対数ソボレフ不等式とソボレフ不等式を導出すること。
• 小さな固有値摂動の下で曲率作用素の非負性が成り立つ条件を特定する剛性定理を確立すること。

提案手法

• 重み付き測度 $e^{-f}dV$ に適合した注意深く設計された切り捨て関数を構築し、無限遠における挙動を制御する。
• 重み付きラプラシアン $\Delta_f = \Delta - \nabla f \cdot \nabla$ を用いて勾配推定とハルナック推定を導出する。
• リッチ流に沿ったペレルマンの $\boldsymbol{\mu}$-機能の単調性を用いて、最適な関数不等式を導出する。
• バリア法と曲率作用素のスペクトル推定を用いて固有値条件を分析する。
• バリア的意味で $\Delta_f \lambda_1 \leq \lambda_1 - (2\lambda_1^2 + \sum C_{ij}^2 \lambda_i \lambda_j)$ を証明し、第一固有値を制御する。
• 恒等式 $\Delta_f \mathcal{R}(\phi_1,\phi_1) = \mathcal{R}(\phi_1,\phi_1) - 2Q(\mathcal{R})(\phi_1,\phi_1)$ を用いて、曲率の時間発展と重み付きラプラシアンを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 曲率の有界性なしに、最大原理と熱核理論を非コンパクトなリッチ収縮写像に拡張できるか？
• RQ2 リッチ収縮写像上での対数ソボレフ不等式とソボレフ不等式の鋭い推定値は何か？
• RQ3 ペレルマンの $\boldsymbol{\mu}$-機能の単調性は、改善された幾何的不等式をどのように導くか？
• RQ4 曲率作用素のスペクトル的条件下で、曲率作用素が非負になるのはどのような場合か？
• RQ5 曲率作用素の第二小固有値がゼロに近いとき、リッチ収縮写像の構造はどのようになるか？

主な発見

• 対数ソボレフ不等式は、$n$ と $\boldsymbol{\mu}$ のみに依存する鋭い定数を有し、次のように与えられる： $\int u^2 \log u^2 \, dV - \left(\int u^2 \, dV\right) \log \left(\int u^2 \, dV\right) + \left(\boldsymbol{\mu} + n + \frac{n}{2} \log(4\pi\tau)\right) \int u^2 \, dV \leq \tau \int \{4|\nabla u|^2 + R u^2\} \, dV$。
• ソボレフ不等式は $C e^{-2\boldsymbol{\mu}/n}$ で一様に有界であり、$C = C(n)$ である。これは、次元と $\boldsymbol{\mu}$ のみに依存する一様（スカラー）ソボレフ定数を示している。
• 局所的崩壊のない定理と擬似局所性定理は、非コンパクトな状況においても鋭い形でリッチ収縮写像に成立する。
• もし $\lambda_2 \geq -\epsilon \frac{\lambda_1^2}{|R - 2\lambda_1|}$ が $\epsilon = \epsilon(n) > 0$ に対して成り立つならば、$\lambda_1 \geq 0$ であり、曲率作用素が非負であることが示される。
• 剛性定理により、$\lambda_2 \geq 0$ ならば多様体は $N^k \times \mathbb{R}^{n-k}$ の有限被覆である。さらに $k = n$ ならば $N^n$ は $S^n$ に等長である。
• 熱核は鋭い微分的ハルナック不等式を満たし、確率的完備性を持つ。重み付き切り捨て関数と $\Delta_f$-解析を用いて、存在性と一意性が確立された。