[論文レビュー] Minimal Smoothings of Area Minimizing Cones

Joachim Lohkamp|arXiv (Cornell University)|Oct 7, 2018

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

ひとこと要約

本稿では、ℝⁿ⁺¹における面積最小化錐は、その補成分内において完全に正則で面積最小の超曲面によって滑らかに近似可能であることを確立している。マーティン理論とジャコビ場の双曲的展開を用いて、関連するジャコビ場の存在、一意性（スケーリングを除く）、および特異集合への最小成長を証明し、近似超曲面の滑らかさとファイブレーション構造を保証している。

ABSTRACT

In this paper we show that every area minimizing cone C^{n-1} in R^n can be approximated by entirely smooth area minimizing hypersurfaces. This extensively uses hyperbolic unfoldings of such hypersurfaces and the resulting potential theory for the Jacobi field operator. Applications include the splitting theorem in scalar curvature geometry saying that any (n-1)-dim. homology class of a compact manifold M^n with positive scalar curvature can be represented by a smooth (!) compact hypersurface that admits a positive scalar curvature metric.

研究の動機と目的

• 面積最小化超曲面が高余次元特異点を持つ場合に、正則な面積最小化子によって滑らかに近似可能であるという長年の予想を解決すること。
• 従来、孤立特異点に限られていたハードト＝シモンの結果を、余次元 ≥ 7 の任意の特異集合をもつ錐へ拡張すること。
• 与えられた面積最小化錐に無限遠で漸近する滑らかな面積最小化超曲面を構成的に帰納的に生成する方法を確立すること。
• このような近似超曲面によって誘導されるジャコビ場が、錐の特異集合に向かって最小成長を示すことを同定すること。
• 最大原理とポテンシャル論的議論を用いて、スケーリングを除く一意性を証明すること。

提案手法

• 錐 $ C $ 上でのジャコビ作用素 $ J_H = -\Delta_H - |A|^2 $ に対してマーティン理論を適用し、$ J_H w = 0 $ の正の解を解析する。
• 錐 $ C $ の双曲的展開を用いて、ジャコビ場の漸近的解析を無限遠境界上のポテンシャル論的問題に変換する。
• 接錐に基づく帰納的議論を用いる：特異集合 $ \Sigma_C $ をもつ錐 $ C $ に対して、$ \Sigma_C \setminus \{0\} $ に向かうジャコビ場の最小成長を確認し、その後 $ \{0\} $ へ拡張する。
• 厳密な最大原理を用いて、$ E_C $ 内の面積最小化超曲面 $ H \subset E_C $ が無限遠で $ C $ を接錐としてもつ場合、正則であり、最小成長を示す一意なジャコビ場を誘導することを示す。
• ファイブレーション議論を用いる：スケーリングされた超曲面 $ s \cdot H_C $（$ s > 0 $）は $ E_C $ をファイブレーションし、この構造によりコンパクト成分の不在と面積成長の制御が保証される。
• 比較による一意性を確立する：任意の他の最小境界 $ T \subset E_C $ に対して、比 $ c_T / c_H $ は無限遠で 1 に近づき、最大原理により $ T = c_T \cdot H_C $ が強制される。

実験結果

リサーチクエスチョン

• RQ1 任意の面積最小化錐 $ C^n \subset \mathbb{R}^{n+1} $ は、その補成分内において滑らかで面積最小の超曲面によって近似可能か？
• RQ2 このような近似超曲面によって誘導されるジャコビ場の正確な漸近的挙動、特に錐の特異集合に向かう挙動は何か？
• RQ3 高余次元特異点を伴う状況下でも、近似超曲面の一意性（スケーリングを除く）はどのように確立されるか？
• RQ4 錐上でのジャコビ作用素のポテンシャル論的性質が、近似超曲面の正則性およびファイブレーション構造をどの程度支配するか？
• RQ5 局所近似を用いて、リーマン多様体上への錐の滑らか化結果を拡張可能か？ これは古典的滑らか化予想を支持するものか？

主な発見

• 任意の面積最小化錐 $ C^n \subset \mathbb{R}^{n+1} $ は、$ C $ が $ H_C $ の無限遠における唯一の接錐であるような滑らかで向き付け可能な最小境界 $ H_C \subset E_C $ をもつ。
• スケーリングされた超曲面 $ s \cdot H_C $（$ s > 0 $）は成分 $ E_C $ をファイブレーションし、$ C $ 上に誘導されるジャコビ場は特異集合 $ \Sigma_C $ 向かって最小成長を示す。
• 近似超曲面 $ H_C \subset E_C $ はスケーリングを除き一意である：任意の他の向き付け可能な最小境界 $ T \subset E_C $ に対して、$ c_T > 0 $ が存在して $ T = c_T \cdot H_C $ が成り立つ。
• $ H_C $ によって誘導されるジャコビ場は、$ \Sigma_C $ での最小成長によって一意に定まり、この性質はスケーリングおよび極限においても保存される。
• 証明は、特異次元が低い接錐への帰納的還元に依拠し、マーティン理論と厳密な最大原理を用いて漸近的挙動を制御する。
• ハードト＝シモンとは異なり、非線形な面積最小化子の漸近的解析を避ける。代わりに、双曲的に展開された錐上での線形ポテンシャル論を用いることで、滑らかさと一意性を達成する。