[論文レビュー] On gradient estimates for the heat kernel

Baptiste Devyver|arXiv (Cornell University)|Mar 27, 2018

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

ひとこと要約

本稿では、完全なリーマン多様体において、無限遠における制御された負のリッチ曲率を持つ場合に、1-形式上のホッジラプラシアンのスペクトル理論を用いて、熱核の点ごとの勾配推定および$L^p$勾配推定を確立する。主な貢献は、従来の結果よりも弱い曲率仮定のもとで勾配推定（G）が成り立つことを示したことである。特に、多様体が無限遠で錐構造をもち、そのリンクの第一固有値が特定の条件を満たす場合に成立する。

ABSTRACT

We study pointwise and $L^p$ gradient estimates of the heat kernel, on manifolds that may have some amount of negative Ricci curvature, provided it is not too negative (in an integral sense) at infinity. We also prove uniform boundedness results on $L^p$ spaces for the heat operator of the Hodge Laplacian on differential forms.

研究の動機と目的

• 非負のリッチ曲率を超えるLi-Yau型の熱核勾配推定を拡張すること。
• ホッジラプラシアンの1-形式上でのスペクトル的性質を用いて、勾配推定（G）の有効性を特徴付けること。
• 積分的リッチ曲率の有界性のもとで、$k$-形式上の熱作用素$e^{-t ilde{ riangle}_k}$の$L^p$バインディングを確立すること。
• 多様体の無限遠におけるトポロジー、特にエンドの数と錐構造が（G）の有効性に与える影響を分析すること。
• 熱核勾配の$L^p$推定とホッジラプラシアンの核条件（$\mathrm{Ker}_q$）を結びつける関数解析的枠組みを提供すること。

提案手法

• 1-形式上のホッジラプラシアン$\vec{\Delta}$のボッハナー公式を用い、$\nabla^*\nabla + \mathrm{Ric}$として表現することで、シュレーディンガー型作用素として扱う。
• スペクトル理論および$L^2$コホロロジー技術を用いて、$\vec{\Delta}$の$L^p$空間上での核を分析する。
• 勾配推定（G）を、ホッジラプラシアンの1-形式上での核条件（$\mathrm{Ker}_q$）の有効性に還元する。
• 無限遠で錐構造をもつ多様体の分析を行い、リンク$X$上の球面調和関数を用いて関数を分解し、無限遠での減衰を研究する。
• $L^p$有界性を持つ熱作用素$e^{-t\vec{\Delta}_k}$と、リンク$X$の第一固有値$\lambda_1(X)$との関係を用いる。
• リッヒネロヴィッチ＝オバータの定理を応用し、$\lambda_1(X) \geq n-1$が$X$の幾何に与える影響を関係づける。等号成立は$X = S^{n-1}$のときに限る。

実験結果

リサーチクエスチョン

• RQ1 リッチ曲率に負の部分を許容する条件下で、熱核の勾配推定（G）が成り立つ曲率条件は何か？
• RQ2 特にエンドの数と錐構造を含む無限遠におけるトポロジーが（G）の有効性にどのように影響するか？
• RQ3 直接的なLi-Yau法ではなく、ホッジラプラシアンの1-形式上でのスペクトル的性質を用いて（G）を確立できるか？
• RQ4 ホッジラプラシアンの1-形式上での核条件（$\mathrm{Ker}_q$）が成り立つ$p \in (1,2]$の鋭い範囲は何か？
• RQ5 錐多様体のリンク$X$の第一固有値$\lambda_1(X)$は、熱作用素の$L^p$有界性にどのように影響するか？

主な発見

• リンク$X$が$S^{n-1}$に等長である場合、$\lambda_1(X) \geq n-1$を満たす錐構造をもつ多様体では、すべての$t > 0$に対して（G）が成り立つ。
• リンク$X$が$S^{n-1}$に等長である場合、（G）はすべての$p \in (1,2)$で$L^p$で成り立つ。$X \neq S^{n-1}$の場合、（G）は$L^1$で成り立つ。
• ホッジラプラシアンの1-形式上での条件$\mathrm{Ker}_q$は、すべての$q > q^* = \frac{n}{\frac{n}{2} + \sqrt{\left(\frac{n-2}{2}\right)^2 + \lambda_1}}$で成り立ち、この閾値は$\lambda_1 \geq n-1$のとき$\leq 1$である。
• 錐仮定と$\lambda_1(X) \geq n-1$の下で、多様体の1-形式における$L^2$コホロロジーは自明であり、調和1-形式が自明であることを示唆する。
• 強いグローバル仮定（1.3）である負のリッチ曲率への制限を回避し、代わりにリンク$X$のスペクトル的および幾何的条件に依存する。
• 結果は、多様体のトポロジカルな複雑性（例えば、複数のユークリッド的エンド）が（G）を妨げるものであり、この妨害要因がスペクトルギャップ$\lambda_1(X)$によって捉えられることを示している。