[论文解读] 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

一句话总结

本论文通过证明能量界导致的光滑化效应，从而确保有界能量序列的C¹收敛性，建立了在ℝⁿ中具有统一有界几何曲率能量（如积分Menger曲率和切点能量）的m维紧致嵌入Lipschitz子流形的紧致性与同胚类型有限性。关键结果是：在任意固定能量界以下，仅存在有限多个同胚类型，且对这类类型的数量给出了明确的定量估计。

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维嵌入Lipschitz子流形序列在统一有界几何曲率能量下的紧致性。
• 证明由于能量界带来的光滑化效应，此类序列在C¹范数下收敛于极限子流形。
• 推导同胚类型有限性定理，表明在给定能量阈值以下仅存在有限多个同胚类型。
• 在Hausdorff收敛意义下建立几何曲率能量的下极限连续性，从而实现在同胚类内进行能量最小化。
• 以能量、直径和环境维数为变量，提供同胚类数量的显式、定量估计。

提出的方法

• 使用局部图表示的统一C¹,α先验估计来控制正则性并确保收敛性。
• 应用正则性定理，推导出可达半径ρ_G和覆盖半径的界，将能量界与几何控制相联系。
• 通过dyadic立方体对环境空间构造有限覆盖，以离散化问题并限制可能构型的数量。
• 利用ε-法向映射及其Lipschitz常数来控制子流形的几何结构，并在Hausdorff距离较小时确保环境同胚。
• 通过引理3.1（角度控制）、引理4.2（法向映射的Lipschitz常数）和引理4.8（可达半径估计）推导显式估计，以限制同胚类的数量。
• 结合几何控制与拓扑有限性，利用有限立方体族𝔽，通过连通并集对同胚类计数进行细化。

实验结果

研究问题

• RQ1 能否证明具有统一有界几何曲率能量的m维嵌入Lipschitz子流形序列在C¹范数下收敛？
• RQ2 能量和直径的统一有界性是否意味着仅存在有限多个此类子流形的同胚类型？
• RQ3 同胚类型的数量能否以能量、直径和环境维数为变量显式界定？
• RQ4 几何曲率能量在子流形的Hausdorff收敛意义下是否具有下极限连续性？
• RQ5 能否利用下极限连续性和紧致性结果，在固定同胚类内实现能量最小化？

主要发现

• 任何具有统一有界几何曲率能量的m维紧致嵌入Lipschitz子流形序列在ℝⁿ中，均包含一个子序列在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收敛意义下，几何曲率能量的下极限连续性得以确立，从而可在固定同胚类内实现每种能量的最小化。