[论文解读] Lipschitz extensions into Jet space Carnot groups

Stefan Wenger, Robert M. Young|ArXiv.org|Nov 4, 2009

Geometric Analysis and Curvature Flows参考文献 11被引用 6

一句话总结

本文建立了从度量空间子集到喷射空间Carnot群 $J^k(\mathbb{R}^n)$ 的Lipschitz扩张定理，其中包含Heisenberg群和Engel群。通过基于单纯复形和群膨胀的初等构造，作者证明了：任何定义在度量空间 $X$ 的子集 $Z$ 上的 $\lambda$-Lipschitz 映射，若满足Assouad-Nagata维数约束，则可扩展为 $X$ 上的 $C\lambda$-Lipschitz 映射，其中常数 $C$ 仅依赖于 $n$ 和维数参数。

ABSTRACT

The aim of this article is to prove a Lipschitz extension theorem for partially defined Lipschitz maps to jet spaces endowed with a left-invariant sub-Riemannian Carnot-Carathéodory distance. The jet spaces give a model for a certain class of Carnot groups, including in particular all Heisenberg groups. The proofs or our theorems are rather elementary, they are inspired by ideas in papers of Gromov, Young, and Lang-Schlichenmaier.

研究动机与目标

• 为Gromov关于映射到喷射空间Carnot群的Lipschitz扩张定理提供一种非微分柔性（non-microflexible）的初等证明。
• 将Lipschitz扩张定理的适用目标空间类别从欧氏空间和非正曲率空间扩展至更高阶的Carnot群，如 $J^k(\mathbb{R}^n)$。
• 将先前关于Heisenberg群的结果推广至更广泛的喷射空间Carnot群类别，包括高阶Heisenberg群和拟李想群。
• 通过仅使用几何与度量技术，建立部分定义的Lipschitz映射进入 $J^k(\mathbb{R}^n)$ 时可全局Lipschitz扩张的条件。
• 通过显式构造扩张映射，弥合Lang-Schlichenmaier关于Lipschitz $(n-1)$-连通空间的理论与喷射空间Carnot群特定结构之间的鸿沟。

提出的方法

• 构造一个维度至多为 $n$ 的抽象单纯复形 $\Sigma$，使其将 $X \setminus Z$ 分解为直径与到 $Z$ 的距离成比例的单纯形。
• 定义映射 $g: X \setminus Z \to \Sigma$，根据点到 $Z$ 的接近程度将其分配至相应单纯形，并利用重叠受控的单位分解。
• 对 $\Sigma$ 的每个顶点 $e_i$，选取最近的点 $z_i \in Z$，并通过群膨胀将 $f(z_i)$ 提升至 $J^k(\mathbb{R}^n)$，并利用群中固定的 $\varepsilon$-网定义映射 $\varphi: \Sigma \to J^k(\mathbb{R}^n)$。
• 通过膨胀 $\delta_r$ 对 $\Sigma$ 的像进行缩放，并根据单纯形层级的奇偶性，复合以Lipschitz映射 $F$ 或 $F'$，从而定义扩张映射 $h: \Sigma' \to J^k(\mathbb{R}^n)$。
• 在 $X \setminus Z$ 上定义最终扩张 $\bar{f} = h \circ g$，并在 $Z$ 上通过 $\bar{f}|_Z = f$ 扩展至整个 $X$。
• 通过估计使用群度量 $d_c$、$f$ 的Lipschitz常数，以及由膨胀和单纯形结构引入的畸变的有界性，证明 $\bar{f}$ 的Lipschitz连续性。

实验结果

研究问题

• RQ1 能否在不使用微分柔性的情况下，重新证明Gromov关于映射到接触流形的Lipschitz扩张定理，特别是针对喷射空间Carnot群？
• RQ2 在何种度量条件下，定义在域空间 $X$ 及其子集 $Z \subset X$ 上的 $\lambda$-Lipschitz 映射进入 $J^k(\mathbb{R}^n)$ 可扩展为 $X$ 上的 $C\lambda$-Lipschitz 映射？
• RQ3 喷射空间Carnot群 $J^k(\mathbb{R}^n)$ 是否在Lang-Schlichenmaier意义下为Lipschitz $(n-1)$-连通？若是，该性质能否用于证明扩张定理？
• RQ4 喷射空间 $J^k(\mathbb{R}^n)$ 的几何与代数性质（如分层李代数和膨胀）如何促进Lipschitz扩张的构造？
• RQ5 扩张常数 $C$ 对维数 $n$ 以及 $X$ 和 $Z$ 的几何结构的依赖关系为何？

主要发现

• 任意定义在子集 $Z \subset X$ 上的 $\lambda$-Lipschitz 映射 $f: Z \to (J^k(\mathbb{R}^n), d_c)$ 均可扩展为 $X$ 上的 $C\lambda$-Lipschitz 映射 $\bar{f}: X \to (J^k(\mathbb{R}^n), d_c)$，其中常数 $C$ 仅依赖于 $n$ 以及 $X$ 和 $Z$ 的Assouad-Nagata维数。
• 当 $\dim_{AN}(Z) \leq n-1$ 或 $\dim_{AN}(X \setminus Z) \leq n$ 时，该结果成立，此条件包含维数 $\leq n$ 的紧致黎曼流形。
• 扩张常数 $C$ 对于固定的 $n$ 是绝对的，且该构造避免了微分柔性，转而依赖于几何分解与群膨胀。
• 证明通过单纯复形 $\Sigma$ 和利用膨胀 $\delta_r$ 的缩放映射实现，确保在Carnot-Carathéodory度量下畸变受控。
• 该方法推广了Lang-Schlichenmaier关于Lipschitz $(n-1)$-连通空间的扩张方法，但将其应用于喷射空间Carnot群的特定结构。
• 该构造具有鲁棒性：对满足维数条件的任意度量空间 $X$ 均有效，包括齐次Hadamard $n$-流形、$n$ 棵树的积空间，以及秩为 $n$ 的欧氏建筑物。