[论文解读] A solution of Gromov's Hölder equivalence problem for the Heisenberg group

Roger Züst|arXiv (Cornell University)|Jan 5, 2016

Geometric Analysis and Curvature Flows参考文献 10被引用 3

一句话总结

本文通过证明：从具有平凡一阶Lipschitz同调的拟凸度量空间到Heisenberg群的Hölder连续映射（指数>1/2）必通过一棵树，从而解决了Gromov关于Heisenberg群的Hölder等价性问题。这表明若定义域包含一个圆盘，则此类映射不可能是单射，从而在最简单的非平凡情形下对Gromov的问题给出了否定回答。相同的方法还改进了Borisov关于$C^{1,\alpha}$等距嵌入正曲率曲面到$\mathbb{R}^3$时外曲率界的结果，当$\alpha > 1/2$时成立。

ABSTRACT

We show that a map with Hölder exponent bigger than $1/2$ from a quasi-convex metric space with vanishing first Lipschitz homology into the Sub-Riemannian Heisenberg group factors through a tree. In particular, if the domain contains a disk, such a map can't be injective. This gives an answer to a question of Gromov for the simplest nontrivial case. The same tools allow to improve on a result of Borisov and it is shown that an isometric immersion of class $C^{1,α}$ of a Riemannian surface with positive Gauss curvature into $\mathbb{R}^3$ has bounded extrinsic curvature if $α> 1/2$.

研究动机与目标

• 解决Gromov在最简单非平凡情形下关于Heisenberg群Hölder等价性问题的开放疑问。
• 建立从具有平凡一阶Lipschitz同调的拟凸空间到Heisenberg群的Hölder映射（指数>1/2）必通过一棵树的结论。
• 证明若定义域包含一个拓扑圆盘，则此类映射不可能是单射。
• 将分析扩展至改进Borisov关于Riemann流形曲面等距嵌入$\mathbb{R}^3$时外曲率界的结果。
• 使用度量与同调工具建立统一框架，以分析子黎曼几何中的非等距嵌入。

提出的方法

• 利用Lipschitz同调理论分析映射到Heisenberg群时的拓扑约束。
• 应用拟凸性概念以确保定义域空间具有充分的几何控制。
• 利用平凡一阶Lipschitz同调蕴含Hölder映射（指数>1/2）的像中存在树状结构的事实。
• 运用度量微分技术分析Hölder映射在子黎曼设定下的行为。
• 应用此类映射的结构定理，推导出其必通过一棵树，从而推断出在含圆盘的定义域上失去单射性。
• 将该方法扩展至分析正Gauss曲率曲面$C^{1,\alpha}$等距嵌入$\mathbb{R}^3$时的外曲率。

实验结果

研究问题

• RQ1 从具有平凡一阶Lipschitz同调的拟凸度量空间到Heisenberg群的Hölder连续映射（指数大于1/2）若定义域包含一个圆盘，是否可能为单射？
• RQ2 此类映射的结构约束为何？是否意味着其通过一棵树？
• RQ3 一阶Lipschitz同调的消失如何影响Hölder映射到Heisenberg群的几何性质？
• RQ4 能否将解决Gromov问题所用的相同技术应用于改进曲面等距嵌入$\mathbb{R}^3$时的曲率界？
• RQ5 在$C^{1,\alpha}$正则性下，$\alpha$的临界阈值为何，可确保正曲率曲面的外曲率有界？

主要发现

• 从具有平凡一阶Lipschitz同调的拟凸度量空间到Heisenberg群的Hölder连续映射（指数大于$1/2$）必通过一棵树。
• 若定义域包含一个拓扑圆盘，则此类映射不可能是单射，从而在最简单非平凡情形下解决了Gromov的问题。
• 相同方法表明：当$\alpha > 1/2$时，Riemann曲面以正Gauss曲率等距嵌入$\mathbb{R}^3$的$C^{1,\alpha}$映射具有有界外曲率。
• 该结果在Borisov先前结果的基础上取得改进，确立了有界外曲率的临界阈值为$\alpha = 1/2$。
• 通过一棵树的因子分解意味着在子黎曼设定下，对于指数>1/2的Hölder映射，存在单射性的拓扑障碍。
• 分析揭示了度量几何、Lipschitz同调与子黎曼及欧氏空间中等距嵌入正则性之间的深刻联系。