[论文解读] Poincar{é} and Sobolev inequalities for differential forms in Heisenberg groups

Annalisa Baldi, Bruno Franchi+1 more|arXiv (Cornell University)|Nov 27, 2017

Geometric and Algebraic Topology参考文献 4被引用 3

一句话总结

本文利用Rumin复形，通过取代de Rham复形以恢复各向异性伸缩下的尺度不变性，建立了Heisenberg群上微分形式的精确Poincaré不等式与Sobolev不等式。关键贡献在于在有界几何接触流形上构造了Rumin复形的全局同伦公式，提升了解的正则性，从而实现了对$d_c$-闭形式的最优$L^p$估计。

ABSTRACT

Poincar{é} and Sobolev inequalities for differential forms on Heisenberg balls, involving Rumin's differentials, are given. Furthermore, a global homotopy of Rumin's complex which improves differentiability of Rumin forms is provided on any bounded geometry contact manifold.

研究动机与目标

• 建立Heisenberg群上微分形式的$L^p$-Poincaré不等式与Sobolev不等式，以解决标准de Rham复形缺乏尺度不变性的问题。
• 克服由于非欧几里得几何与各向异性缩放导致的标准Sobolev与Poincaré不等式在子黎曼流形上失效的问题。
• 在有界几何接触流形上构造Rumin复形的全局同伦公式，以提升方程$d_c\phi = \omega$解的可微性。
• 以Sobolev范数表示解算子$T_M$与误差项$S_M$的定量估计，确保其在$L^p$与Sobolev空间中的连续性。
• 通过证明同伦算子的正则化性质，将$L^p$-上同调工具的应用范围扩展至子黎曼接触流形。

提出的方法

• 采用Rumin复形，即接触流形上的二阶微分复形，通过结合商丛与正交补丛，在各向异性伸缩$\delta_t$下恢复尺度不变性。
• 应用关于有限接触图覆盖的单位分解，每个图微分同胚于Heisenberg球，以实现问题的局部化。
• 在每个Heisenberg图上，通过Rumin微积分定义的算子$T$与$S$的拉回构造局部同伦公式，确保$d_c T + T d_c + S = I$。
• 通过单位分解将局部算子组合，定义全局同伦算子$T_M = \sum_{i=0}^{k-1} S^i T$，误差项为$S_M = S^k$，确保正则化性质。
• 利用局部估计与流形的有界几何性，建立$T_M$与$S_M$在$L^p$与Sobolev空间$W^{m,p}$之间的连续性。
• 依赖于在$\mathbb{H}^n$上$\phi_j^\# \alpha$与$\|\alpha\|_{W^{m,p}}$等价的事实（其中$-k \leq m \leq k$），实现从模型空间到一般情形的估计传递。

实验结果

研究问题

• RQ1 能否使用Rumin复形而非de Rham复形，在Heisenberg群上建立微分形式的Poincaré与Sobolev不等式？
• RQ2 如何在有界几何接触流形上构造Rumin复形的全局同伦公式，以提升方程$d_c\phi = \omega$解的正则性？
• RQ3 在同伦分解$I = d_c T_M + T_M d_c + S_M$中，解算子$T_M$与误差项$S_M$的最优$L^p$-Sobolev估计为何？
• RQ4 同伦算子$S_M = S^k$的正则化性质在多大程度上增强了Sobolev空间中解的可微性？
• RQ5 $T_M$与$S_M$的连续性在何种程度上依赖于形式次数$h$以及临界次数$h = n$与$h = n+1$？

主要发现

• 本文证明：对于任意具有$C^k$-有界几何（$k \geq 2$）的子黎曼接触流形，恒等算子可分解为$I = d_c T_M + T_M d_c + S_M$，其中$T_M = \sum_{i=0}^{k-1} S^i T$，$S_M = S^k$。
• 解算子$T_M$将$W^{-1,p}(M,E_0^{h+1})$映射到$L^p(M,E_0^h)$（当$h \neq n$时），并将$W^{-2,p}(M,E_0^{n+1})$映射到$L^p(M,E_0^n)$，从而实现对弱解的控制。
• 当$h \neq n+1$时，$T_M$将$L^p(M,E_0^h)$映射到$W^{1,p}(M,E_0^{h-1})$；当$h = n+1$时，映射到$W^{2,p}(M,E_0^n)$，表明正则性得到提升。
• 误差项$S_M$将$L^p(M,E_0^h)$映射到$W^{k,p}(M,E_0^h)$，提供与流形$C^k$-正则性相容的最大正则化性质。
• 通过Heisenberg图上的局部估计，结合Sobolev范数在拉回下的等价性与有界几何假设，建立了$T_M$与$S_M$的连续性。
• 结果可推广至Heisenberg球上$d_c$-闭形式的全局$L^p$-Sobolev与Poincaré不等式，且常数与区域大小无关，源于同伦公式。