[论文解读] Towards Differential Calculus in stratified groups

Valentino Magnani|ArXiv.org|Jan 11, 2007

Geometric Analysis and Curvature Flows参考文献 20被引用 9

一句话总结

本文为分层群之间映射建立了内在微分几何，引入了一种类Pansu可微性的新概念——P-可微性，该概念推广了Pansu的可微性。文章建立了刻画P-可微映射的一组非线性偏微分方程（PDEs），并证明了关键结果，包括次黎曼几何中的平均值不等式、反函数定理和隐函数定理，其应用涵盖内在图的正则性以及H型群中的分解问题。

ABSTRACT

In this paper we establish the basic tools to develop the "Calculus" associated with group-valued continuously Pansu differentiable mappings. We develop the technical machinery on which all of our results rely. In particular, the linearization of addends appearing in the Baker-Campbell-Hausdorff formula is one of the major tools in several proofs. This allows us to characterize graded group-valued continuously Pansu differentiable mappings through a system of nonlinear first order PDEs, namely, the "contact equations". Through this approach we establish a quantitative estimate for the Pansu difference quotient. This key result is crucial to get the mean value inequality, the inverse mapping theorem, the rank theorem and the implicit function theorem for graded group-valued continuously Pansu differentiable mappings. All of these results represent the backbone to develop a reasonable "Calculus" in this context. On the other hand, these theorems rise the question of possible factorizations of stratified groups into inner semidirect products. In fact, we consider this algebraic issue to show that image-sets and level-sets of suitable continuously Pansu differentiable mappings are intrinsic graphs. These sets represent the intrinsic regular submanifolds modeled on a couple of fixed groups. Notice that the metric properties of these sets are completely different from the ones of classical submanifolds.

研究动机与目标

• 为分层群上取值于群的映射建立严格的内在微分几何体系，将经典微积分推广至非欧几里得空间。
• 通过Baker–Campbell–Hausdorff公式推导出的一组一阶非线性PDE系统，刻画P-可微映射。
• 在分层群的背景下，证明基本结果，如平均值不等式、反函数定理和隐函数定理。
• 对$(\mathbb{G},\mathbb{M})$-正则集进行分类，并研究其切锥，特别是在H型群（如$\mathbb{H}_2^1$）中的情形。
• 分析分层群分解为互补子群的结构，确定此类分解存在的条件。

提出的方法

• 引入P-可微性作为Pansu可微性的推广，通过李代数之间的P-微分来定义。
• 利用李代数的分次层投影，推导出刻画P-可微映射的递归非线性PDE系统（公式3）。
• 运用关键的技术引理（引理3.3）线性化Baker–Campbell–Hausdorff公式中的齐次项，从而控制P-差商。
• 利用定理4.4中的定量估计（54），证明Lipschitz映射几乎处处P-可微，并建立平均值不等式。
• 将理论应用于内在图和$(\mathbb{G},\mathbb{M})$-正则集，通过P-微分和h-可微性定义其切锥。
• 分析分层群分解为互补子群的结构，区分水平子群、竖直子群和正规子群，尤其关注H型群中的情形。

实验结果

研究问题

• RQ1 如何为分层群之间映射建立一种尊重其内在几何结构的微分几何体系？
• RQ2 在分次群中，刻画P-可微映射的PDE系统是什么？其与Baker–Campbell–Hausdorff公式有何关系？
• RQ3 在分层群设定下，隐函数定理在何种条件下成立？
• RQ4 $(\mathbb{G},\mathbb{M})$-正则集的结构性质是什么？其切锥如何描述？
• RQ5 在分层群中，互补子群在何种条件下存在？何种条件可确保一个子群为正规而另一个为水平子群？

主要发现

• 本文通过一组$m \times (\upsilon - 1)$个非线性PDE（公式3）刻画了连续P-可微映射，其中$m$为第一层的维数，$\upsilon$为目标群的步数。
• 证明了连续h-可微性与接触性条件（公式2）蕴含连续P-可微性，从而为P-可微性提供了实用判别准则。
• 对水平曲线的P-差商的关键定量估计（54）使得Pansu的几乎处处P-可微性结果可推广至取值于分次群的映射（推论4.5）。
• 建立了平均值不等式，为次黎曼几何中的进一步分析奠定了基础。
• 在适当的正则性和满射性条件下，证明了P-可微映射之间的反函数定理。
• 在$\mathbb{H}_2^1$中，唯一的$(\mathbb{G},\mathbb{M})$-正则集是1维或2维的，对应于Legendrian子流形，其存在性由具有满射P-微分的$C^1$映射刻画。