[論文レビュー] Compactness and isotopy finiteness for submanifolds with uniformly bounded geometric curvature energies

Sławomir Kolasiński, Paweł Strzelecki+1 more|arXiv (Cornell University)|Apr 17, 2015

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

ひとこと要約

本稿では、積分Menger曲率や接点エネルギーなどの一様に有界な幾何的曲率エネルギーを持つm次元コンpakto、埋め込みリプシッツ部分多様体のコンパクト性と同一型有限性を、エネルギーのバインディングがC¹収束を保証する滑らかさ効果を示すことによって確立する。主な結果は、任意の固定エネルギー境界以下には有限個の同一型しか存在せず、その数に明示的な定量的推定が可能である。

ABSTRACT

In this paper, we establish compactness for various geometric curvature energies including integral Menger curvature, and tangent-point repulsive potentials, defined a priori on the class of compact, embedded $m$-dimensional Lipschitz submanifolds in ${\mathbb{R}}^n$. It turns out that due to a smoothing effect any sequence of submanifolds with uniformly bounded energy contains a subsequence converging in $C^1$ to a limit submanifold. This result has two applications. The first one is an isotopy finiteness theorem: there are only finitely many isotopy types of such submanifolds below a given energy value, and we provide explicit bounds on the number of isotopy types in terms of the respective energy. The second one is the lower semicontinuity - with respect to Hausdorff-convergence of submanifolds - of all geometric curvature energies under consideration, which can be used to minimise each of these energies within prescribed isotopy classes.

研究の動機と目的

• m次元のコンパクトで埋め込みられたリプシッツ部分多様体の列が、一様に有界な幾何的曲率エネルギーを持つ場合のコンパクト性を確立すること。
• エネルギーのバインディングから生じる滑らかさ効果により、このような列がC¹で極限部分多様体に収束することを証明すること。
• エネルギー閾値以下の同型型が有限個しか存在しないことを示す同一型有限性定理を導出すること。
• Hausdorff収束に関して幾何的曲率エネルギーの下方連続性を確立し、同一型クラス内でのエネルギー最小化を可能にすること。
• エネルギー、直径、周囲次元の観点から、同一型クラスの数に明示的かつ定量的な境界を与えること。

提案手法

• 局所的グラフ表現における一様なC¹,αの事前推定を用いて、正則性を制御し収束を保証すること。
• 正則性定理の適用により、到達半径ρ_Gと被覆半径の境界を導出し、エネルギーのバインディングと幾何的制御を結びつけること。
• 環境空間の有限被覆としてのdyadic立方体による分割を構成し、問題の離散化と可能な配置数の上限を求める。
• ε-法線写像とそのLipschitz定数を用いて、部分多様体の幾何を制御し、Hausdorff距離が小さい場合の環境同相を保証すること。
• Lemma 3.1（角度制御）、Lemma 4.2（法線写像のLipschitz定数）、Lemma 4.8（到達半径推定）による明示的推定を導出し、同一型クラスの数を上限づけること。
• 有限な立方体族𝔽を用いた幾何的制御と位相的有限性の組み合わせにより、連結な和集合を用いて同一型クラスの数え上げを精緻化すること。

実験結果

リサーチクエスチョン

• RQ1 m次元の埋め込みリプシッツ部分多様体の列が、一様に有界な幾何的曲率エネルギーを持つ場合、C¹収束が示せるか？
• RQ2 エネルギーと直径の両方のバインディングが、このような部分多様体の同型型が有限個しか存在しないことを保証するか？
• RQ3 同型型の数をエネルギー、直径、周囲次元の観点から明示的に境界づけることができるか？
• RQ4 Hausdorff収束に関して幾何的曲率エネルギーは下方連続か？
• RQ5 下方連続性とコンパクト性の結果を組み合わせることで、固定された同型型クラス内でのエネルギー最小化が達成可能か？

主な発見

• 任意のm次元のコンパクトで埋め込みられたリプシッツ部分多様体の列が、一様に有界な幾何的曲率エネルギーを持つ場合、C¹で極限部分多様体に収束する部分列を含む。
• エネルギー ≤ E かつ直径 ≤ d であるようなこれらの部分多様体の同型型の数は、高々K = 2^N個である。ここでNは環境空間の有限被覆に含まれるdyadic立方体の数である。
• 連結な部分多様体の場合、同型型の数は(2 - a(n))^N ≤ K_con ≤ (2 - b(n))^Nで抑えられる。ここでa(n), b(n) > 0であり、n → ∞のとき減少する。
• 同型型の数はlog log K ≤ log N ≤ n log(1 + 2d√n / ρ_G)を満たす。ここでρ_Gはエネルギーのバインディングとエネルギー関数の指数pに依存する。
• 到達半径の逆数ρ_G⁻¹はC(m,n,l,p)(E^{1/p} + 1)^{2(2α+1)/α²}で抑えられる。ここでα = 1 - p₀(ℰ)/pであり、エネルギーEに対する明示的依存性が得られる。
• Hausdorff収束に関して幾何的曲率エネルギーの下方連続性が確立され、固定された同型型クラス内での各エネルギーの最小化が可能になる。