[论文解读] Homotopy classes of Newtonian spaces

Elefterios Soultanis|arXiv (Cornell University)|Sep 25, 2013

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

一句话总结

本文引入并比较了度量空间之间牛顿映射的两种同伦概念——路径同伦与p-拟同伦，证明了在Ohta拓扑下，p-拟同伦映射是路径同伦的。关键贡献在于，在受控同伦下，p-拟同伦类具有弱紧致性结果，将牛顿空间中的几何结构与分析性质联系起来。

ABSTRACT

We study notions of homotopy in the Newtonian space $N^{1,p}(X;Y)$ of Sobolev type maps between metric spaces. After studying the properties and relations of two different notions we prove a compactness result for sequences in homotopy classes with controlled homotopies.

研究动机与目标

• 为度量空间之间的牛顿映射发展同伦理论，尤其在Sobolev型映射的背景下。
• 厘清在Dirichlet类与牛顿类设定下，两种不同的同伦概念——路径同伦与p-拟同伦之间的关系。
• 在受控同伦条件下，建立p-拟同伦类中序列的紧致性性质。
• 研究牛顿空间$N^{1,p}(X;Y)$的几何与分析结构，特别是与能量极小化子及同伦类的关系。
• 探讨商空间$H^v_M / G_v$紧致的条件，这与$N^{1,p}(X;Y)$中同伦类的紧致性相关。

提出的方法

• 在Dirichlet类$D^{1,p}(X;Y)$上引入两种拓扑：一种是通过映射及其上梯度的$L^p$-范数的标准拓扑，另一种是通过涉及$L^1$-距离与上梯度$L^p$-差的伪度量的Ohta拓扑。
• 将p-拟同伦定义为在任意小p-容量集合外的同伦，将路径同伦定义为在Ohta拓扑中连续的路径。
• 利用提升与对角覆盖的概念分析p-拟同伦的结构，尤其在局部测地同伦的背景下。
• 应用Rellich-Kondrakov紧致性定理，证明$H^v_M$是完备度量空间，从而支持商空间$H^v_M / G_v$的紧致性论证。
• 通过映射$\overline{\phi}_M$建立商空间$H^v_M / G_v$与p-拟同伦类$[v]_{p,M}$之间的同胚，将几何与分析结构联系起来。
• 在$[v]_{p,M}$上定义长度结构，使用同伦速度的$L^p$-范数，长度泛函为$\ell(H) = \left(\int_X l_H^p \, d\mu\right)^{1/p}$，并将其与空间的拓扑联系起来。

实验结果

研究问题

• RQ1 在度量空间之间牛顿映射的背景下，路径同伦与p-拟同伦的概念如何关联？
• RQ2 在$D^{1,p}(X;Y)$中，两个映射之间的连续路径在Ohta拓扑下何时等价于p-拟同伦？
• RQ3 何时商空间$H^v_M / G_v$是紧致的？这对$N^{1,p}(X;Y)$中p-拟同伦类的紧致性意味着什么？
• RQ4 在$N^{1,p}(X;Y}$上由$L^p$-度量诱导的拓扑是否与由p-拟同伦的长度结构诱导的拓扑等价？
• RQ5 在给定的p-拟同伦类中，使$\int_X l_H^p \, d\mu$在所有p-拟同伦$H: v \simeq u$上一致有界的条件是什么？

主要发现

• 若$D^{1,p}(X;Y)$中的两个映射是p-拟同伦的，则它们在Ohta拓扑中由一条连续路径连接，建立了分析性与拓扑性同伦概念之间的联系。
• 若连续路径$h: [0,1] \to D^{1,p}(X;Y)$满足速度的统一$L^p$-有界性与像之间距离的$L^1$-有界性，则其端点是p-拟同伦的。
• 商空间$H^v_M / G_v$是紧致的，当且仅当其直径有限，而这一点恰好在所有p-拟同伦$H: v \simeq u$上$\int_X l_H^p \, d\mu$的下确界对$u \in [v]_M$一致有界时成立。
• 映射$\overline{\phi}_M: H^v_M / G_v \to [v]_{p,M}$是良定义的双射；若$H^v_M / G_v$是紧致的，则$\overline{\phi}_M$是同胚，意味着$[v]_{p,M}$是紧致的。
• $H^v_M / G_v$上的度量$\overline{d}$对应于p-拟同伦速度的$L^p$-范数，该结构在$[v]_{p,M}$上诱导出一个长度空间结构。
• $[v]_{p,M}$的紧致性等价于$H^v_M / G_v$的紧致性，而后者又等价于所有p-拟同伦$H: v \simeq u$（$u \in [v]_M$）上$\int_X l_H^p \, d\mu$的一致有界性。