[论文解读] Holonomic Spaces

Pedro Solórzano|arXiv (Cornell University)|Apr 9, 2010

Geometric Analysis and Curvature Flows参考文献 14被引用 4

一句话总结

本文引入了全息空间（holonomic spaces）——即配备了一个等距变换子群和一个凸群范数的赋范向量空间——以定义一种度量，使该空间在局部上与欧几里得球面等距。本文证明了黎曼流形的全息半径为正，并将该框架应用于格罗莫夫-豪斯多夫收敛性的研究。

ABSTRACT

A holonomic space $(V,H,L)$ is a normed vector space, $V$, a subgroup, $H$, of $Aut(V, \|\cdot\|)$ and a group-norm, $L$, with a convexity property. We prove that with the metric $d_L(u,v)=\inf_{a\in H}\{\sqrt{L^2(a)+\|u-av\|^2}\}$, $V$ is a metric space which is locally isometric to a Euclidean ball. Given a Sasaki-type metric on a vector bundle $E$ over a Riemannian manifold, we prove that the triplet $(E_p,Hol_p,L_p)$ is a holonomic space, where $Hol_p$ is the holonomy group and $L_p$ is the length norm defined within. The topology on $Hol_p$ given by the $L_p$ is finer than the subspace topology while still preserving many desirable properties. Using these notions, we introduce the notion of holonomy radius for a Riemannian manifold and prove it is positive. These results are applicable to the Gromov-Hausdorff convergence of Riemannian manifolds.

研究动机与目标

• 为了形式化一种几何结构——全息空间，统一赋范向量空间中的等距变换群与群范数。
• 为了在向量空间上定义一种度量，使其诱导出局部欧几里得结构，从而实现对全息群的几何分析。
• 为了利用新度量框架证明黎曼流形的全息半径为正。
• 为了将该框架应用于黎曼流形的格罗莫夫-豪斯多夫收敛性研究。
• 为了证明由 $L_p$ 诱导的全息群拓扑比子空间拓扑更精细，同时保持关键几何性质。

提出的方法

• 将全息空间 $(V, H, L)$ 定义为一个赋范向量空间 $V$，其上有一个等距变换子群 $H$，以及一个凸群范数 $L$。
• 在 $V$ 上构造度量 $d_L(u,v) = \inf_{a \in H} \left\{ \sqrt{L^2(a) + \|u - a v\|^2} \right\}$。
• 证明该度量通过 $H$ 的局部结构与 $L$ 的凸性，使 $V$ 局部等距于一个欧几里得球面。
• 将该框架应用于具有萨斯卡类型度量的向量丛，证明 $(E_p, \text{Hol}_p, L_p)$ 构成一个全息空间。
• 在全息群 $\text{Hol}_p$ 上定义长度范数 $L_p$，并证明其诱导的拓扑比子空间拓扑更精细。
• 利用度量结构定义并证明黎曼流形的全息半径为正。

实验结果

研究问题

• RQ1 能否在具有等距变换群和群范数的赋范向量空间上定义一种度量，使得该空间在局部上为欧几里得空间？
• RQ2 在向量丛的背景下，由 $L_p$ 诱导的全息群拓扑与子空间拓扑相比如何？
• RQ3 从黎曼几何中的全息空间结构中可以推导出哪些几何不变量？
• RQ4 在所提出的度量框架下，黎曼流形的全息半径是否仍为正？
• RQ5 该框架在多大程度上可应用于黎曼流形的格罗莫夫-豪斯多夫收敛性研究？

主要发现

• 度量 $d_L(u,v) = \inf_{a \in H} \left\{ \sqrt{L^2(a) + \|u - a v\|^2} \right\}$ 使向量空间 $V$ 具有局部等距于欧几里得球面的结构。
• 对于具有萨斯卡类型度量的向量丛，三元组 $(E_p, \text{Hol}_p, L_p)$ 构成一个全息空间，其中 $\text{Hol}_p$ 为全息群，$L_p$ 为长度范数。
• 由 $L_p$ 诱导的 $\text{Hol}_p$ 拓扑严格比子空间拓扑更精细，同时保留了关键几何性质。
• 利用全息空间框架，证明了黎曼流形的全息半径为正。
• 该框架通过将几何约束嵌入全息结构中，为研究格罗莫夫-豪斯多夫收敛性提供了新的分析工具。
• 群范数 $L$ 的凸性确保了度量 $d_L$ 满足良好距离函数所必需的几何公理。