特異点を持つ面積最小円錐の安定性を不等式で表す
A quantitative inequality for general area-minimizing hypercones
この論文をやさしく読む
ひとことで言うと
面積を最小にする円錐形の境界を変形したとき、元の集合からのずれに応じて境界面積が少なくともどれだけ増えるかを示します。特異点が孤立していない円錐も扱います。
何に役立つ？
面積最小形状の安定性を定量的に評価する、幾何解析の基礎結果です。最小値を取るという事実に加え、形のずれと面積増加の関係を与えます。
この研究の面白いところ
正則な円錐で使えた各点の評価に代えて、極小葉層上の積分によって必要なベクトル場を作ります。特異点が複雑な場合にも同じ二乗型の評価を広げています。
どこまで分かった？
集合の差が球の内部にコンパクトに収まることなど、不等式には明示された条件があります。定数は円錐Cに依存し、任意の形状への一律な評価を主張するものではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
C=∂E⊂R^(n+1)を面積最小超円錐とする。この円錐には非孤立特異点があってもよい。任意のR>0、および局所有限周長を持ち、F△EがB_Rにコンパクトに含まれる任意の集合Fに対して、次の不等式を満たす定数c_C>0が存在することを証明する。 [Per(F;B_R)−Per(E;B_R)]/R^n ≥ c_C (|F△E|/R^(n+1))²。 これは、正則な面積最小超円錐に対する重みなしの定量的不等式を、一般の面積最小超円錐へ拡張するものである。著者による正則円錐の先行研究と同じく、較正の議論に従う。主な変更点はベクトル場の構成である。正則な場合に用いた正のヤコビ場の各点での漸近評価は、ここでは直接適用できない。そこで、Zhihan Wangが円錐の両側に構成した極小葉層を用いる。各葉上で、正のヤコビ場を重みとして射影核を積分する。この核の構成によって、必要な発散の評価が得られる。ベクトル場の線形成長を証明するために必要な積分評価は、Wangの弱ハルナック不等式と成長評価から得られる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $\mathbf{C}=\partial E\subset\mathbb{R}^{n+1}$ be an area-minimizing hypercone. The cone may have nonisolated singularities. We prove that there is a constant $c_{\mathbf{C}}>0$ such that \[ \frac{\operatorname{Per}(F;B_R)-\operatorname{Per}(E;B_R)}{R^n} \geq c_{\mathbf{C}} \left(\frac{|F\triangle E|}{R^{n+1}}\right)^2 \] for every $R>0$ and every set $F$ of locally finite perimeter with $F\triangle E\Subset B_R$. This extends the unweighted quantitative inequality from regular area-minimizing hypercones to general area-minimizing hypercones. We follow the calibration argument in the author's earlier work on regular cones. The main change is the construction of the vector fields. The pointwise asymptotic estimates for positive Jacobi fields used in the regular case do not directly apply here. We use the minimal foliations constructed by Zhihan Wang on the two sides of the cone. On each leaf, we integrate projection kernels with a positive Jacobi field as the weight. The kernel construction gives the required divergence bound. Wang's weak Harnack inequality and growth estimates give the integral bounds needed to prove linear growth of the vector fields.
著者のコメント
10 pages. All comments are welcome!
arXiv ID: 2609.24958 ／ 要約の誤りについて