[論文レビュー] Weak Laplacian bounds and minimal boundaries in non-smooth spaces with Ricci curvature lower bounds

Andrea Mondino, Daniele Semola|arXiv (Cornell University)|Jul 26, 2021

Geometric Analysis and Curvature Flows被引用数 5

ひとこと要約

本稿は、合成リッチ曲率下限（RCD(K,N)空間）を備えた滑らでない測度付き距離空間における最小境界の内在的ラプラシアン評価および正則性理論を確立する。粘性解、分布的、熱流に基づくラプラシアン評価の間の同等性を構築することで、最小集合からの距離関数における鋭いラプラシアン制御を証明し、特異集合の鋭い次元推定を導出し、古典的結果を滑らでない設定へと拡張する。本研究は、正則性理論に依存しない新規な手法を用いる。

ABSTRACT

The goal of the paper is four-fold. In the setting of non-smooth spaces with Ricci curvature lower bounds (more precisely RCD(K,N) metric measure spaces): - we develop an intrinsic theory of Laplacian bounds in viscosity sense and in a pointwise, heat flow related, sense, showing their equivalence also with Laplacian bounds in distributional sense; - relying on these tools, we establish a PDE principle relating lower Ricci curvature bounds to the preservation of Laplacian lower bounds under the evolution via the $p$-Hopf-Lax semigroup, for general exponents $p\in[1,\infty)$. This principle admits a broad range of applications, going much beyond the topic of the present paper; - we prove sharp Laplacian bounds on the distance function from a set (locally) minimizing the perimeter with a flexible technique, not involving any regularity theory; this corresponds to vanishing mean curvature in the smooth setting and encodes also information about the second variation of the area; - we initiate a regularity theory for boundaries of sets (locally) minimizing the perimeter, obtaining sharp dimension estimates for their singular sets, quantitative estimates of independent interest even in the smooth setting and topological regularity away from the singular set. The class of RCD(K,N) metric measure spaces includes as remarkable sub-classes: measured Gromov-Hausdorff limits of smooth manifolds with lower Ricci curvature bounds and finite dimensional Alexandrov spaces with lower sectional curvature bounds. Most of the results are new also in these frameworks. Moreover, the tools that we develop here have applications to classical questions in Geometric Analysis on smooth, non compact Riemannian manifolds with lower Ricci curvature bounds.

研究の動機と目的

• RCD(K,N) 空間におけるラプラシアン評価の内在的理論を構築し、粘性解、分布的、熱流に基づく概念を統合する。
• すべての p ∈ [1, ∞) に対して、p-ホフ・ラックス半群における下位リッチ曲率下限がラプラシアン評価の安定性に与える影響を結びつける PDE 原理を確立する。
• 古典的正則性理論に依存せずに、局所的に周囲積分を最小化する集合からの距離関数における鋭いラプラシアン評価を証明する。
• RCD(K,N) 空間における最小境界の正則性理論を提唱し、特異集合の鋭い次元推定および定量的評価を含む。

提案手法

• 熱流を用いて粘性解の意味でのラプラシアン評価を構築し、RCD(K,N) 空間において分布的評価と同等であることを示す。
• すべての p ∈ [1, ∞) に対して有効である、リッチ曲率下限と p-ホフ・ラックス半群におけるラプラシアン評価の安定性を結びつける新しい PDE 原理を導入する。
• クワダの補題と局所化技術を用いて、最小測地線の足点からの平均曲率評価を、全空間におけるラプラシアン制御へと拡張する。
• 新規な ε-正則性定理を用いて、最小境界からの等距離集合の鋭い周囲積分評価を導出する。
• RCD(K,N) 空間における有界変動関数のガウス＝グリーンおよび部分積分公式を用いる。
• 多重度1の接錐と密度の有限性を活用することで、非滑らか設定下でのアラールドの正則性定理を応用する。

実験結果

リサーチクエスチョン

• RQ1 滑らでない RCD(K,N) 空間において、粘性解、分布的、熱流に基づくラプラシアン評価が同等であることを示せるか？
• RQ2 すべての p ∈ [1, ∞) に対して、合成リッチ曲率下限のもとで p-ホフ・ラックス半群が下位ラプラシアン評価を保存するか？
• RQ3 古典的正則性理論に依存せずに、最小境界からの距離関数における鋭いラプラシアン評価を得られるか？
• RQ4 RCD(K,N) 空間における最小境界の特異集合の鋭い次元は何か？また、定量的評価を導出できるか？
• RQ5 滑らでない設定下で、余次元3の特異集合を除く領域において、位相的正則性および部分的正則性の結果を確立できるか？

主な発見

• 本稿は、RCD(K,N) 空間において、粘性解、分布的、熱流に基づくラプラシアン評価の同等性を確立し、PDE解析の統一的枠組みを提供する。
• 局所的に周囲積分を最小化する集合からの距離関数が、滑らでない設定においても粘性解の意味でラプラシアンが0以上で有界であることを証明する。
• RCD(K,N) 空間における最小境界の特異集合は、ハウスドルフ次元で n−1−k 以下であり、ε-正則性を用いて鋭い次元推定が得られる。
• 最小境界からの等距離集合の周囲積分に関する定量的評価を導出し、滑らかなリーマン多様体設定でも有効である。
• 最小境界の正則部分は滑らかな埋め込み超曲面であり、特異部分は余次元3以上であり、古典的結果と整合的である。
• 結果は、リッチ曲率下限が存在するリーマン多様体の測度付きグロモフ＝ハウスドルフ極限および、下位断面曲率下限が存在する有限次元のアレクサンドロフ空間へと拡張可能である。