[論文レビュー] Rectifiability of the reduced boundary for sets of finite perimeter over RCD$(K,N)$ spaces

Elia Brué, Enrico Pasqualetto+1 more|arXiv (Cornell University)|Sep 1, 2019

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

ひとこと要約

この論文は、RCD(K,N)距離測度空間における有限Perimeter集合の削減境界の可微分性を確立し、接空間の一意性を証明するとともに、Gauss–Greenの分 integration-by-parts 公式を主要な道具として導出する。結果として、非滑らかで特異な空間へとDe Giorgiの定理を一般化し、収縮した設定下でも削減境界が可微分であることを確認する。

ABSTRACT

This note is devoted to the study of sets of finite perimeter over RCD$(K,N)$ metric measure spaces. Its aim is to complete the picture about the generalization of De Giorgi's theorem within this framework. Starting from the results of [2] we obtain uniqueness of tangents and rectifiability for the reduced boundary of sets of finite perimeter. As an intermediate tool, of independent interest, we develop a Gauss-Green integration by parts formula tailored to this setting. These results are new and non-trivial even in the setting of Ricci limits.

研究の動機と目的

• RCD(K,N)空間へのDe Giorgiの定理の一般化を完了するために、削減境界の可微分性を確立すること。
• おそらく収縮しているRCD(K,N)空間における有限Perimeter集合の接空間の一意性という未解決問題を解消すること。
• Sobolevベクトル場に対して特化したGauss–Greenの分 integration-by-parts 公式を構築し、独立した価値を持つものとする。
• RCD(K,N)空間の構造理論を、測度ゼロの集合にとどまらず、有限Perimeter集合の境界のようなcodimension-one集合へと拡張すること。
• 境界のPerimeter測度がcodimension-one Hausdorff測度の倍数として表現されることを示し、主要な構造的性質を確認すること。

提案手法

• 単一スケールからすべてのスケールへ正則性を伝播させるためのコアな解析的道具として、調和的δ-スプリット写像を活用する。
• 球上で|ν·∇u_a|の平均を制御するための最大関数の議論を適用し、法線がスプリット写像の勾配と直交することを保証する。
• Gauss–Greenの公式（定理2.2）を用いて、Perimeter測度とSobolevベクトル場の発散を関連付ける。
• ε-スプリット写像の概念と、Bishop–Gromovの不等式およびVitali被覆議論を用いたその伝播を用いる。
• 先行研究[2]から得られるEuclidean半空間接空間の存在に基づくブロー・アップ議論を適用し、接空間の一意性を証明する。
• 2-容量-ほとんど everywhere 定義されたテンソル場およびこのクラスに属する代表を有するSobolevベクトル場の概念に依存する。

実験結果

リサーチクエスチョン

• RQ1 RCD(K,N)空間における有限Perimeter集合の削減境界が可微分であることを示すことができるか？
• RQ2 おそらく収縮している状況下でも、有限Perimeter集合の接空間がPerimeter測度に関してalmost everywhereで一意的であるか？
• RQ3 Sobolevベクトル場に対して、RCD(K,N)設定下でGauss–Greenの分 integration-by-parts 公式が成立するか？
• RQ4 Perimeter測度が、削減境界上でのcodimension-one Hausdorff測度の倍数として表現可能か？
• RQ5 RCD(K,N)空間の構造理論を、正のcodimensionを有する集合へどの程度まで拡張できるか？

主な発見

• 任意のRCD(K,N)空間における有限Perimeter集合の削減境界は可微分であり、あるkについて、可算個のH^{k-1}-可微分集合の和集合として表せる。
• Perimeter測度に関してalmost everywhereで接空間の一意性が成立し、収縮している場合でも成り立つ。これは[2]における予想を解決する。
• Sobolevベクトル場に対して、RCD(K,N)空間上でのGauss–Greenの分 integration-by-parts 公式が確立され、重要な解析的道具が得られる。
• Perimeter測度が、削減境界上でのcodimension-one Hausdorff測度と、密度係数を除いて等価であることが示された。
• 証明は、ε-スプリット写像の伝播と、最大関数による推定による直交性条件に依存しており、誤差項はC_N√εで制御される。
• この結果により、RCD(K,N)空間の構造理論が、空間自体のalmost-everywhere可微分性にとどまらず、有限Perimeter集合の境界に対しても拡張された。