Taylor polynomials on left-quotients of Carnot groups

技术摘要：卡诺群左商空间上的泰勒多项式

问题陈述
本文旨在解决为作为卡诺群子度量像（商空间）的亚黎曼流形建立经典泰勒多项式定理所面临的挑战。虽然 Rothschild 和 Stein [8] 为由自由幂零李代数结构提升向量场的算子建立了基础框架，但他们的方法通常需要提升到高维空间。在显式示例中，例如非等正则亚黎曼流形（其水平分布的秩或增长向量会发生变化），希望能够最小化环境空间的维度。本文探讨的具体问题是，通过推广并澄清相关方法（参考自 [4]），在通过投影分层幂零李群（即卡诺群）得到的商空间上定义泰勒逼近。这些商空间可能会表现出退化性，例如非恒定秩或变化的增长向量，这使得直接应用标准的亚黎曼分析变得复杂。

方法论
核心方法论依赖于**子度量（submetries）**的概念。作者考虑一个卡诺群 $G$ 和一个闭子群 $H$，使得扩张群保持 $H$ 不变（$\delta_\lambda(H) = H$）。商空间 $M = H \backslash G$（右陪集）配备了一个距离 $d_M$，该距离由 $G$ 中的距离下确界定义。规范投影 $\pi: G \to M$ 是一个子度量，这意味着它将 $G$ 中的度量球映射为 $M$ 中半径相同的度量球。

分析过程分为以下步骤：

1. 提升与投影： 商流形 $M$ 上的函数和向量场通过投影 $\pi$ 以及特定的右逆包含映射 $\iota$ 与其在卡诺群 $G$ 上的对应物联系起来。流形 $M$ 上的函数 $f$ 被提升为 $G$ 上的左 $H$-不变函数 $\tilde{f} = f \circ \Pi$。
2. 定义转移： 商空间 $M$ 上的泰勒多项式的定义是通过将卡诺群中已建立的定义（特别是在 [6] 和 [2] 中）进行转移而构建的。多项式 $P$ 在 $M$ 上的定义是通过匹配函数 $f$ 对投影后的水平向量场 $X_j = \Pi_*(\tilde{X}_j)$ 的导数来确定的。
3. 上确界等价性： 一个关键的技术工具是引理 4.2，它确立了左 $H$-不变函数在 $G$ 中的球内的上确界等于其对应的函数在 $M$ 的投影球上的上确界。这使得在群 $G$ 上得到的估计可以直接转移到商空间 $M$。
4. 不变性论证： 证明过程利用了提升函数的左 $H$-不变性以及右不变向量场的交换性质，以确保在群 $G$ 上定义的泰勒多项式在商空间上是良定义的，并且独立于陪集中代表元的选择。

主要贡献与结果
本文为一类并非 necessarily 等正则的亚黎曼流形提供了一个严谨的泰勒逼近框架。主要结果包括：

• 商空间上的泰勒定理： 作者为函数 $f \in C^k_{hor}(M)$ 证明了泰勒定理（定理 4.4）和拉格朗日中值定理（定理 4.3）。这些定理提供了形式为 $|f(p) - P_k(f, q)(p)| \leq C d_M(p, q)^k \eta_M$ 的余项估计，其中误差项取决于 $k$ 阶水平导数的模连续性。
• 良定性： 命题 4.1 表明，商空间 $M$ 上的泰勒多项式是提升函数在 $G$ 上的泰勒多项式的限制。它证明了该定义对于陪集中代表元的选择是独立的。
• 解析性条件： 定理 5.1 确立了平滑函数在 $M$ 上是实解析的充分条件。如果水平导数满足涉及阶乘的特定增长界限（$K^{d(I)} k!$），则该函数是实解析的。该结果通过将条件提升至 $G$ 并应用 [2] 中的已知结果得出。
• L-调和性： 定理 5.2 证明，如果一个函数被微分算子 $L$（具体是由水平向量场构成的）湮灭，那么其泰勒多项式也被 $L$ 湮灭。这把泰勒多项式的 $L$-调和性从分层群扩展到了它们的商空间。

意义与主张
本文声称推广并澄清了以往工作（特别是 [4]）中使用的方法，以获得适用于可能缺乏恒定秩或统一增长向量的亚黎曼流形的泰勒逼近定理。通过利用从卡诺群到商空间的子度量性质，作者成功地将解析性质（如泰勒展开、解析性判据和多项式的调和性）从具有高度结构的分层李群转移到更一般的、可能存在退化的商流形上。

其意义在于提供了一种统一的方法，避免了在没有特定低维商结构时需要将向量场提升到高维“自由”幂零代数（如 Rothschild-Stein 框架中所做的那样）。结果证实，只要底层投影是子度量，这些商空间的亚黎曼几何仍保留足够的结构，以支持诸如泰勒展开等经典分析工具。文中明确指出，这些结果已应用于 Grushin 平面和特定的 CR 结构等示例，展示了该理论在非等正则设置下的实用性。