[论文解读] Hilbert Volume in Metric Spaces

Misha Gromov|arXiv (Cornell University)|Nov 11, 2018

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

一句话总结

本文通过使用单位分解和映射的 $L_q$-膨胀，引入了度量空间中新的希尔伯特 $n$-体积概念，建立了贝西科维奇型不等式，并推广了雅可比行列式与体积控制等概念。主要贡献在于为奇异或非黎曼空间中的体积与曲率分析提供了一个框架，其应用涵盖标量曲率以及通过希尔伯特直线化和共面积不等式实现的极小超曲面稳定性。

ABSTRACT

We introduce a notion of Hilbertian n-volume in metric spaces with Besicovitch-type inequalities built-in into the definitions. which, ultimately, may turn useful for an approach to singular spaces with positive scalar curvature

研究动机与目标

• 在一般度量空间中定义希尔伯特 $n$-体积的新概念，将经典体积概念扩展至黎曼几何之外。
• 将几何与分析工具（如共面积不等式、同调体积和下半连续性）整合进一个与奇异或非光滑空间兼容的框架中。
• 通过度量与利普希茨控制，建立体积增长、曲率界与稳定极小超曲面（如 $\phi$-气泡）存在性之间的联系。
• 通过度量体积与形变控制，为研究亚历山德罗夫型空间中的正标量曲率奠定基础。
• 通过 $\widetilde{Hilb}_{/id}$ 和 $\tilde{L}_q$-膨胀推广约翰定理与巴拿赫直线化，实现在非欧几何环境下的体积控制。

提出的方法

• 在巴拿赫空间中使用轴向投影 $(a,p)$ 定义空间中直线的测度 $\mu = d_\mu p$，从而构造映射 $f: X \to Y$ 的 $L_q$-膨胀范数。
• 将 $\tilde{L}_q$-膨胀 $||\widetilde{dil}^*f||_{L_q(\mu)}$ 定义为所有满足 $\mathcal{I}_\mu \circ \tilde{f} = f$ 的提升 $\tilde{f}: X \to L_q(\mathcal{P}, \mu)$ 中的下确界，以确保最小形变。
• 通过 $\mathcal{I}_\mu \circ \tau = \mathrm{id}_Y$ 引入轴向单位分解，确保 $Y$ 上的恒等映射可表示为投影的积分。
• 应用共面积不等式与同调体积，将体积增长与曲率联系起来，尤其在 $\phi$-气泡与平均曲率稳定性的情境下。
• 利用阿姆格伦-奥尔德理论证明在黎曼流形的小 $\varepsilon$-扰动下，极小 $\phi$-气泡的光滑性，前提是形变较小。
• 采用弱形变性质：若某点到极小超曲面的两个投影距离相等，则测地线之间的夹角为 $O(\varepsilon)$，暗示拓扑控制与微分同胚类型的保持。

实验结果

研究问题

• RQ1 如何在奇异或非光滑设定下，将度量空间中的体积概念推广至黎曼或利普希茨像之外？
• RQ2 通过单位分解实现的映射 $L_q$-膨胀在定义度量空间中稳健且内在的体积概念中起到何种作用？
• RQ3 能否通过度量体积与曲率控制，在小双利普希茨扰动下保证极小超曲面（如 $\phi$-气泡）的存在性与正则性？
• RQ4 希尔伯特体积框架如何与约翰定理、共面积不等式及霍普夫猜想等经典结果相联系？
• RQ5 该框架在多大程度上可被扩展，以放松度量稳定性定理中 $(1+\varepsilon)$-双利普希茨假设，如第二部分所计划？

主要发现

• 当 $\mu$ 为坐标投影上的均匀测度时，$\tilde{L}_q$-膨胀为等距映射 $f: \mathbb{R}^m \to \mathbb{R}^n$ 提供了最小形变范数，且 $||\widetilde{dil}^*f||_{L_q(\mu)} = \sqrt{m}$。
• 对于巴拿赫空间 $Y$，恒等映射的 $L_q$-膨胀满足 $||dil^*\mathrm{id}_Y||_{L_q(\mu)} = \mu(\mathcal{P})^{1/q}$，将体积与轴向投影的总质量联系起来。
• 若 $\phi$ 的内法向导数超过 $\mathrm{curv}^2(Y) + \mathrm{Ricci}(\nu^{in}, \nu^{in})$，则存在满足平均曲率 $\phi(y) = \mathrm{mn.curv}(Y)$ 的 $\phi$-气泡，确保其局部极小性。
• 在黎曼流形的小 $\varepsilon$-扰动下，通过阿姆格伦-奥尔德正则性与爆破论证，拉回空间中的极小 $\phi'$-气泡为 $C^2$-光滑且与原始超曲面微分同胚。
• 弱形变性质确保极小超曲面的距离函数在小邻域内无尖角，夹角大小为 $O(\varepsilon)$，暗示拓扑稳定性。
• 该框架允许通过体积稳定性与 $\varepsilon$-双利普希茨控制，以度量形式表述霍普夫猜想，预计在第二部分中可完全放松双利普希茨条件。