[論文レビュー] Fine structure of the singular set of area minimizing hypersurfaces modulo $p$

Camillo De Lellis, Jonas Hirsch+3 more|arXiv (Cornell University)|Jan 25, 2022

Geometric Analysis and Curvature Flows被引用数 4

ひとこと要約

本稿は、面積最小化超曲面の特異集合の分類を $p$ を法として完了し、偶数 $p$ に対して、特異集合が $m-2$ 以下の次元の集合を除き、次元 $m-1$ の $C^{1,\beta}$ 超曲面であることを証明している。ここで $N \leq p$ 個の正の整数重みを持つ正則なシートが横断的に重なっている。この結果は、奇数 $p$ に対する先行研究を拡張し、線形化問題における精密な吹き上げ解析とエピペリメトリック不等式を用いて残りのケースを解消した。

ABSTRACT

Consider an area minimizing current modulo $p$ of dimension $m$ in a smooth Riemannian manifold of dimension $m+1$. We prove that its interior singular set is, up to a relatively closed set of dimension at most $m-2$, a $C^{1,α}$ submanifold of dimension $m-1$ at which, locally, $N\leq p$ regular sheets of the current join transversally, each sheet counted with a positive multiplicity $k_i$ so that $\sum_i k_i = p$. This completes the analysis of the structure of the singular set of area minimizing hypersurfaces modulo $p$, initiated by J. Taylor for $m=2$ and $p=3$ and extended by the authors to arbitrary $m$ and all odd $p$ in arXiv:2105.08135. We tackle the remaining case of even $p$ by showing that the set of singular points admitting a flat blow-up is of codimension at least two in the current. First, we prove a structural result for the singularities of minimizers in the linearized problem, by combining an epiperimetric inequality with an analysis of homogeneous minimizers to conclude that the corresponding degrees of homogeneity are always integers; second, we refine Almgren's blow-up procedure to prove that all flat singularities of the current persist as singularities of the $\mathrm{Dir}$-minimizing limit. An important ingredient of our analysis is the uniqueness of flat tangent cones at singular points, recently established by Minter and Wickramasekera in arXiv:2111.11202.

研究の動機と目的

• コードメルジス・ワンの面積最小化超曲面の特異集合の構造的分類を完成させること。特に、奇数 $p$ に対する先行研究に続く、偶数 $p$ の場合に未解決であった問題を解消すること。
• 特異集合が、次元 $m-2$ 以下の集合を除き、次元 $m-1$ の $C^{1,\alpha}$ 部分多様体であることを示すこと。ここで $N \leq p$ 個の正則なシートが正の整数重み $k_i$ を持ち、$\sum k_i = p$ を満たし、横断的に重なっている。
• 偶数 $p$ の場合を解消するために、すべての平坦特異点がディール・最小化吹き上げ極限においても特異点として残ることを証明し、平坦吹き上げを許容する点の集合が、少なくとも次元が2つ以上低いことを示すこと。
• 線形化解析と非線形吹き上げ技術を組み合わせることで、面積最小化カレントの正則性理論を $p$ を法として拡張し、平坦接空間の一意性に関する最近の結果を活用すること。

提案手法

• エピペリメトリック不等式と $1$-斉次最小化子の分類を組み合わせることで、線形化問題における同次ディール最小化子の構造的結果を証明し、同次度が常に整数であることを示す。
• アルムグレンの吹き上げ手順の精密なバージョンを適用し、カレントの平坦特異点がディール最小化極限においても特異点として残ることを示し、吹き上げ過程で特異構造が保存されることを保証する。
• 最近、ミンターとウィクラマセクェラによって確立された、特異点における平坦接空間の一意性を用いて、非一意な吹き上げを除外し、特異集合の $C^{1,\alpha}$ 正則性を裏付ける。
• 平坦吹き上げを許容する点の集合が、カレントにおいて少なくとも次元が2つ以上低いことを示し、これにより特異集合を $C^{1,\alpha}$ 部分と次元が低い残りの部分に分解可能であることを保証する。
• $T_n = Q^{-1}T_n$ が境界が $2$ を法としてゼロで、ホモロジーが自明である $2$ を法とするカレントであることから、$T_n$ が $2$ を法として境界であることを導出し、強い最大原理の適用を可能にする。
• $T_o^i$ と $T_2$ に強い最大原理を適用し、$T_o$ と $T_n$ の正則部分が交差しないことを排除することで、可換部分と非可換部分のサポートが互いに素であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $p$ が偶数のとき、面積最小化超曲面の特異集合の微細構造は何か。特に奇数 $p$ の対称性が欠如する状況においては？
• RQ2 特異集合は、次元 $m-1$ の $C^{1,\alpha}$ 部分多様体と次元が低い残りの部分に分解可能か、偶数 $p$ に対しても成立するか？
• RQ3 カレントの平坦特異点は、ディール最小化吹き上げ極限においても特異点として残るか？ そしてこれは特異集合の正則性にどのような意味を持つのか？
• RQ4 線形化問題におけるエピペリメトリック不等式は、特異点の同次度の可能な値をどのように制限するのか？ なぜそれらが常に整数である必要があるのか？
• RQ5 平坦接空間の一意性は、偶数 $p$ における特異集合の $C^{1,\alpha}$ 正則性を保証するために果たす役割は何か？

主な発見

• コードメルジス・ワンの面積最小化カレントの特異集合は、次元 $m-2$ 以下の集合を除き、すべての $p \geq 2$（偶数 $p$ を含む）に対して次元 $m-1$ の $C^{1,\alpha}$ 部分多様体である。
• 特異集合の各点において、正の整数重み $k_i$ を持つ $N \leq p$ 個の正則なシートが横断的に重なり合い、合計で $\sum k_i = p$ を満たす、錐構造を形成する。
• 平坦吹き上げを許容する点の集合は、カレントにおいて少なくとも次元が2つ以上低い。これは、そのような点が主な特異ストラトムに寄与しないことを示唆する。
• $1$-斉次ディール最小化子の同次度は、常に整数である。これはエピペリメトリック不等式と同次最小化子の分類から導かれる結果である。
• カレントのすべての平坦特異点が、ディール最小化吹き上げ極限においても特異点として残り、特異構造が吹き上げ過程で保存されることを保証する。
• 可換部分と非可換部分のサポートは、境界が $2$ を法としてゼロである $2$ を法とするカレントに強い最大原理を適用することで、互いに素であることが示された。