[論文レビュー] Weakly non-collapsed RCD spaces are strongly non-collapsed

Camillo Brena, Nicola Gigli+2 more|arXiv (Cornell University)|Oct 5, 2021

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

ひとこと要約

本稿は、任意の弱く非縮退な RCD(K,N) 空間が測度の正規化の後、実際に非縮退であることを証明し、De Philippis と Gigli の予想を裏付ける。主な議論は、ヘッセ行列のトレースとラプラシアンを結びつけることと、熱核の滑らか化および Bishop-Gromov の体積比較を用いて、有限な密度が測度の比例性を示すことを示す。

ABSTRACT

We prove that any weakly non-collapsed RCD space is actually non-collapsed, up to a renormalization of the measure. This confirms a conjecture raised by De Philippis and the second named author in full generality. One of the auxiliary results of independent interest that we obtain is about the link between the properties $\quad$- $\mathrm{tr}(\mathrm{Hess}f)=Δf$ on $U\subset\mathsf{X}$ for every $f$ sufficiently regular, $\quad$- $\mathfrak{m}=c\mathscr{H}^n$ on $U\subset\mathsf{X}$ for some $c>0$, where $U\subset \mathsf{X}$ is open and $\mathsf{X}$ is a - possibly collapsed - RCD space of essential dimension $n$.

研究の動機と目的

• 弱く非縮退な RCD(K,N) 空間が測度の正規化の後、強く非縮退であることを解明すること。
• 密度関数 θ_N とヘッセ行列のトレースを用いた、非縮退 RCD 空間の合成的特徴付けを確立すること。
• 有限な本質的次元と有限な密度が H^N に測度の比例性を示すこと。
• 弱く非縮退空間の接空間が非縮退であることを示し、主結果の根拠を提供すること。

提案手法

• 熱フローと熱核の滑らか化を用いて、計量測度構造を近似するリーマン的構造 g_t の族を構成する。
• ガウス型推定と局所的 Hille の定理を適用して、熱核およびその微分の挙動を制御する。
• 十分に滑らかなすべての f に対して tr(Hess f) = Δf が成り立つことを確立し、ラプラシアンとヘッセ行列のトレースを結びつける。
• Bishop-Gromov の体積比較を用いて、有界集合上で測度が正の下界密度を持つことを示す。
• 点付き RCD 空間の pGH および pmGH 収束を適用し、接空間に到達し、本質的次元の下付き連続性を用いる。
• 本質的次元 N とトレース-ラプラシアンの恒等式による弱く非縮退空間の特徴付けを活用し、測度が H^N に比例することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 弱く非縮退な RCD(K,N) 空間が測度の正規化の後、非縮退であることを示せるか？
• RQ2 θ_N(x) < ∞ が正の測度の集合で成り立つという条件は、測度が H^N に比例することを示唆するか？
• RQ3 ある開集合上で tr(Hess f) = Δf が成り立つという恒等式は、測度が H^N に比例することを示唆するか？
• RQ4 弱く非縮退な RCD(K,N) 空間の接空間は、必然的に非縮退であるか？
• RQ5 弱く非縮退空間の本質的次元 N を用いて、測度が H^N に比例することを導けるか？

主な発見

• 任意の弱く非縮退 RCD(K,N) 空間は、すべての f ∈ D(Δ) に対して tr(Hess f) = Δf を満たす。これは重要な解析的条件である。
• Bishop-Gromov の不等式により、有界集合上で測度が正の下界密度を持つ。すなわち、inf_{r∈(0,1), x∈A} m(B_r(x))/r^N > 0 が成り立つ。
• 本質的次元が N であり、かつ tr(Hess f) = Δf が成り立つならば、測度は H^N に比例する。これは主結果を確認する。
• 弱く非縮退 RCD(K,N) 空間の接空間は、pGH 収束および本質的次元の下付き連続性により非縮退であることが示された。
• pGH 収束におけるスケーリングされた空間の極限は本質的次元 N を保存するため、漸近的測度は H^N に比例する。
• 結論は一様に成り立つ：非縮退空間への ε_i-pGH 近似の任意の列に対して、測度は最終的に H^N に比例する。