[論文レビュー] The isoperimetric problem via direct method in noncompact metric measure spaces with lower Ricci bounds

Gioacchino Antonelli, Stefano Nardulli+1 more|Virtual Community of Pathological Anatomy (University of Castilla La Mancha)|Jan 10, 2022

Nonlinear Partial Differential Equations被引用数 5

ひとこと要約

本稿は、下界付きリッチ曲率をもつ非コンパクトな $ΝΓΔ(K,N)$ 空間における最小化列に対して構造定理を確立し、このような列が無限遠における点付き Gromov–Hausdorff 収束において有限個の等周的領域に分解されることを証明する。主な貢献は一般化されたコンパクト性結果と、質量損失が生じないことを保証する同値な基準であり、合成的リッチ曲率下界をもつ特異的・非コンパクトな測度付き距離空間への直接法の拡張を実現する。

ABSTRACT

We establish a structure theorem for minimizing sequences for the isoperimetric problem on noncompact $\mathsf{RCD}(K,N)$ spaces $(X,\mathsf{d},\mathcal{H}^N)$. Under the sole (necessary) assumption that the measure of unit balls is uniformly bounded away from zero, we prove that the limit of such a sequence is identified by a finite collection of isoperimetric regions possibly contained in pointed Gromov--Hausdorff limits of the ambient space $X$ along diverging sequences of points. The number of such regions is bounded linearly in terms of the measure of the minimizing sequence. The result follows from a new generalized compactness theorem, which identifies the limit of a sequence of sets $E_i\subset X_i$ with uniformly bounded measure and perimeter, where $(X_i,\mathsf{d}_i,\mathcal{H}^N)$ is an arbitrary sequence of $\mathsf{RCD}(K,N)$ spaces. An abstract criterion for a minimizing sequence to converge without losing mass at infinity to an isoperimetric set is also discussed. The latter criterion is new also for smooth Riemannian spaces.

研究の動機と目的

• 古典的コンパクト性が成立しない非コンパクトな測度付き距離空間における等周的領域の存在を扱う。
• 滑らかでないリーマン多様体を超えて、特異的・非コンパクトな $ΝΓΔ(K,N)$ 空間における等周問題の直接法を一般化する。
• 最小化列における無限遠での質量損失を特定し、そのような列の極限的構造を同定する。
• 最小化列が無限遠へ質量を逃がさずに $L^1$ で強く収束することを保証する基準を提供する。
• 無限遠における等周的プロファイルと、空間の点付き Gromov–Hausdorff 極限空間の幾何学的性質との間の関係を確立する。

提案手法

• 測度と境界長が一様に有界な $ΝΓΔ(K,N)$ 空間における集合列の一般化されたコンパクト性定理を導入する。
• 集中・コンパクト性原理を適用し、最小化列を収束する部分と無限遠で発散する部分に分解する。
• 発散する点列に沿った点付き Gromov–Hausdorff 極限の概念を用いて、極限的等周的領域を同定する。
• 漸近的極限空間における集合の集合の全境界長の下限として、無限遠における等周的プロファイル $I^{∞}_{X}$ を定義する。
• 切り上げ関数と境界長の分解を用いた変分的議論により、大きな球内での境界寄与を制御する。
• 矛盾による証明を用いて、無限遠での質量損失が等周的プロファイルに厳密な不等号をもたらすと仮定することで、最小化列の前コンパクト収束の同値条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトな $ΝΓΔ(K,N)$ 空間における等周問題の最小化列が、無限遠での質量損失なしに収束するための条件は何か？
• RQ2 非コンパクトな測度付き距離空間において、質量が無限遠へ逃げる場合、最小化列の構造はどのように分解できるか？
• RQ3 無限遠における等周的プロファイルと、周囲空間の漸近的極限空間の幾何学的性質との間の正確な関係は何か？
• RQ4 合成的リッチ曲率下界をもつ非滑らか・非コンパクト空間に対しても、等周問題の直接法を拡張できるか？
• RQ5 非コンパクトな $ΝΓΔ(K,N)$ 空間における最小化列が、$L^1$ で等周的領域に強く収束するための条件は何か？

主な発見

• 非コンパクトな $ΝΓΔ(K,N)$ 空間における任意の最小化列の極限は、無限遠における点付き Gromov–Hausdorff 極限空間に含まれる有限個の等周的領域の和集合である。
• このような領域の数は、最小化列の測度に関して線形的に上から抑えられる。
• 最小化列が無限遠での質量損失なしに $L^1$ で強く収束するための必要十分条件は、すべての $V_1 + V_2 = V$ に対して $I_X(V) = I_X(V_1) + I^{∞}_X(V_2)$ が成り立つことである。
• 無限遠における等周的プロファイル $I^{∞}_X$ は、無限遠におけるすべての漸近的極限空間の直和の等周的プロファイルと一致する。
• 単位球の測度がゼロから一様に離れているという唯一の仮定のもとで、等周的領域の存在が保証される。これは滑らかさや漸近的対称性の有無に依存しない。
• 本稿は、滑らかなリーマン多様体の設定ですら新規な、最小化列のコンパクト性のための新しい基準を提供する。