[論文レビュー] Harnack inequalities on totally geodesic foliations with transverse Ricci flow

Qi Feng|arXiv (Cornell University)|Dec 6, 2017

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

ひとこと要約

本稿は、全測地的リーマン分岐被覆の上での横断的リッチフロー下で、熱方程式の正の解に対する微分的ハーナック不等式を確立する。時間に依存する一般化された曲率次元不等式を導出し、Li-Yau勾配推定を適用することで、放物型ハーナック不等式と鋭い熱核上界を得た。これにより、ねじれのない設定に拡張されたサブリーマン多様体幾何解析が実現された。

ABSTRACT

In the current paper,under the transverse Ricci flow on a totally geodesic Riemannian foliation, we prove two types of differential Harnack inequalities (Li-Yau gradient estimate) for the positive solutions of the heat equation associated with the time dependent horizontal Laplacian operators. We also get a time dependent version of the generalized curvature dimension inequality. As a consequence of aforementioned results, we also get parabolic Harnack inequalities and heat kernel upper bounds.

研究の動機と目的

• 全測地的リーマン分岐被覆の下での横断的リッチフローにおいて、Li-Yau勾配推定とハーナック不等式を拡張すること。
• ねじれのない横断的レヴィチビタ接続が存在しない状況において、時間に依存する一般化された曲率次元不等式を確立すること。
• リッチフロー下の時間に依存する水平ラプラシアンに対して、放物型ハーナック不等式と熱核上界を導出すること。
• 今後の論文で追求されるサブリーマン多様体リッチフローにおける長時間存在性および曲率推定のための基盤的ツールを提供すること。
• サブリーマン幾何学における未解決問題、特にボンネット＝マイヤース型の直径推定と剛性モデルを扱うこと。

提案手法

• ボット接続と全測地的分岐被覆上の横断的リッチフローを用いて、時間に依存する一般化された曲率次元不等式を導出する。
• エントロピー型勾配推定を適用し、正の熱核解の対数微分の時間発展を制御する。
• 時間に依存する係数を含む水平ラプラシアンと関連する重み付き関数不等式を用いて、Li-Yau型推定を導出する。
• 関数不等式において平方完成を実行し、勾配と時間に依存する重み関数の積を上界で抑え込む。
• 時空における部分単位パスを構成し、2点における熱核値の対数比を推定する。
• 指数関数的および有理関数的項から導かれる時間に依存する関数 α(t) を用いて、対数解の時間微分を制御する。

実験結果

リサーチクエスチョン

• RQ1 ねじれのない仮定を課さない状況下で、全測地的分岐被覆上の横断的リッチフロー下での熱方程式に対して、Li-Yau勾配推定を確立できるか？
• RQ2 ねじれのない設定でない状況下で、横断的リッチフロー下での一般化された曲率次元不等式はどのように変化するか？
• RQ3 この幾何的文脈において、鋭い放物型ハーナック不等式と熱核上界は何か？
• RQ4 曲率境界と時間に依存する関数 α(t) は、このような分岐被覆上でのリッチフローの長期的挙動にどのように影響を与えるか？
• RQ5 導出された不等式は、サブリーマン幾何学における直径推定と剛性に関する未解決問題を解消できるか？

主な発見

• 横断的リッチフロー下の全測地的分岐被覆上において、時間に依存する一般化された曲率次元不等式が確立された。
• 本稿では、時間に依存する水平ラプラシアンを持つ熱方程式の正の解に対して、2種類の微分的ハーナック不等式（Li-Yau勾配推定）が証明された。
• 放物型ハーナック不等式が導出され、熱核値の対数比が、カルノー＝カラテオドリー距離と時間差を含む項によって上界で抑えられていることが示された。
• 熱核上界は、$ u(x,s) \triangleq u(y,t) \big(\frac{t}{s}\big)^{\frac{\rho}{4}} \text{exp}\big( \frac{T\tilde{\rho}(k_1,T)}{4(t-s)} r^2(x,y) + A(t-s) \big) $ の形で得られた。ここで $ r $ はサブリーマン距離である。
• 時間に依存する関数 $ \tilde{\rho}(k_1,T) $ は $ k_1 $、$ T $、および曲率パラメータに関して明示的に上界で抑えられており、ハーナック定数の有限性を保証する。
• これらの結果は、シリーズの第2部において、長時間存在性、曲率推定、ペレルマン型非崩壊性の証明が期待される基盤を提供する。