[論文レビュー] Improved generic regularity of codimension-1 minimizing integral currents

Otis Chodosh, Christos Mantoulidis+1 more|arXiv (Cornell University)|Jun 22, 2023

Geometric Analysis and Curvature Flows被引用数 2

ひとこと要約

本稿では、最小化積分カレントの特異集合の推定と非錐的スケールを越えての接近度の非線形減衰を示す、革新的な手法を導入することで、任意の次元においてcodimension-1最小化積分カレントの改善された一般正則性を確立した。主な結果は、ℝⁿ⁺¹内に存在する任意の滑らかで閉じており向き付けられた超曲面Γに対して、任意に小さなC∞滑らかな摂動Γ′が存在し、境界Γ′を持つ最小化積分nカレントは、Hausdorff次元がn−9−εₙ以下である特異集合を有することである。ここでεₙ∈(0,1]は、最小化錐上でのJacobi場の減衰率から導かれる次元定数である。

ABSTRACT

Let $Γ$ be a smooth, closed, oriented, $(n-1)$-dimensional submanifold of $\mathbb{R}^{n+1}$. We show that there exist arbitrarily small perturbations $Γ'$ of $Γ$ with the property that minimizing integral $n$-currents with boundary $Γ'$ are smooth away from a set of Hausdorff dimension $\leq n-9-\varepsilon_n$, where $\varepsilon_n \in (0, 1]$ is a dimensional constant. This improves on our previous result (where we proved generic smoothness of minimizers in $9$ and $10$ ambient dimensions). The key ingredients developed here are a new method to estimate the full singular set of the foliation by minimizers and a proof of superlinear decay of closeness (near singular points) that holds even across non-conical scales.

研究の動機と目的

• すべての環境次元において面積最小化超曲面の改善された一般正則性を確立し、従来8–10次元に限られていた結果を拡張すること。
• 一般摂動下での高codimension-1最小化カレントの特異集合のサイズを制御する課題に取り組むこと。
• 最小化カレントのfoliationの完全な特異集合を推定するための新手法を開発し、鋭い次元境界を得ること。
• 非錐的スケールを越えて、特異点付近でも、接近度（Hölder連続性の意味で）の非線形減衰を証明すること。
• 境界の摂動によって得られる一連の境界Γ′の族を構成し、それら上での最小化カレントが特異性を制御された高正則性を示すようにすること。

提案手法

• 最小化カレントのfoliationの特異ストラトゥムのHausdorff次元を推定する新技術を導入し、対照的で互いに交わらない最小化カレントの構造を分析することで実現する。
• 各点xの台に属する境界Γsのパラメータsを割り当てるタイムスタンプ関数t(x)が、すべてのα < κₙ + 1に対して、特異集合上でα-Hölder連続であることを証明する。ここでκₙは、最小化錐上でのJacobi場の減衰に関連する幾何定数である。
• 非錐的スケールを越えて最小化カレント間の接近度の非線形減衰を確立し、先行研究よりも早期に繰り返し適用可能な密度低下の改良版を用いる。
• 元の境界Γの摂動族(Γs)s∈[−δ,δ]に新しい道具を適用する。この族は法バンドル内でのC∞グラフとして構成される。
• Hardt–Simon境界正則性定理とAllardの正則性定理を用いて、摂動下での滑らかな収束と多重度1の性質を保証する。
• 高多重度最小化カレントの分解論法を組み合わせ、反復的摂動により一般ケースを多重度1のケースに還元する。

実験結果

リサーチクエスチョン

• RQ1 codimension-1最小化積分カレントの一般正則性は、9–10次元の範囲を超えて、すべての次元に拡張可能か？
• RQ2 境界の一般摂動下での最小化カレントの特異集合のHausdorff次元の最良上界は何か？
• RQ3 非錐的スケールを越えて、特異点付近でも最小化カレント間の接近度の非線形減衰を確立できるか？
• RQ4 特異ストラトゥムの推定が、次元境界の反復的改善を可能にする方法は何か？
• RQ5 特に高codimensionにおいて、境界の摂動によって最小化カレントの特異構造をどの程度制御できるか？

主な発見

• 任意の滑らかで閉じており向き付けられた(n−1)次元部分多様体Γ ⊂ ℝⁿ⁺¹に対して、境界Γ′を持つすべての最小化積分nカレントが、∂M′ = Γ′を満たす滑らかな超曲面M′であるような、任意に小さなC∞滑らかな摂動Γ′が存在する。
• このようなM′の特異集合は、dimₕ(sing M′) ≤ n−9−εₙを満たす。ここでεₙ ∈ (0,1]は、次元定数であり、εₙ = κₙ − 1、κₙ = (n−2)/2 − √((n−2)²/4 − (n−1)) ∈ (1,2]で定義される。
• ℓ ≥ 3に対して、ℓ番目の特異ストラトゥムSₗ(M′)は、dimₕ(Sₗ(M′)) ≤ ℓ−2−εₙを満たし、S₀(M′) = S₁(M′) = S₂(M′) = ∅である。
• 次元n+1 = 11の場合、3番目の特異ストラトゥムS₃(M′)のHausdorff次元は1−ε₁₀ ≈ 0.65以下であり、既知の3-可縮性を改善する。
• 特異集合上でのタイムスタンプ関数t(x)の非線形Hölder連続性は、すべてのα < κₙ + 1に対して成り立ち、非錐的スケールを越えて成り立つ。これは主要な技術的進歩である。
• 結果は、n → ∞のときεₙ → 0となり、nが増加するにつれてεₙが減少することを考慮すると、鋭い結果である。ε₇ = 1、ε₈ ≈ 0.58、ε₉ ≈ 0.44、ε₁₀ ≈ 0.35である。