[论文解读] Quantitative notions of rectifiability in the Heisenberg groups

Séverine Rigot|arXiv (Cornell University)|Apr 15, 2019

Advanced Topology and Set Theory参考文献 9被引用 8

一句话总结

本文证明了在海森堡群中，满足大块内在利普希茨图像（BPiLG）条件的集合也满足双边弱几何引理（BWGL），这是定量可求长性理论中的一个关键条件。证明分两步进行：首先证明内在利普希茨图像满足具有统一有界性的BWGL，然后证明BWGL在“大块函子”下保持稳定，从而在海森堡几何设定下确立了BPiLG ⇒ BWGL。

ABSTRACT

Several quantitative notions of rectifiability in the Heisenberg groups have emerged in the recent literature. In this paper we study the relationship between two of them, the big pieces of intrinsic Lipschitz graphs (BPiLG) condition and the bilateral weak geometric lemma (BWGL), and show that sets with BPiLG satisfy the BWGL.

研究动机与目标

• 澄清海森堡群中两个定量可求长性条件（BPiLG与BWGL）之间的关系。
• 在子黎曼几何设定下，将已知的欧几里得结果推广，证明BPiLG蕴含BWGL。
• 证明BWGL在“大块函子”下的稳定性，该结果即使在欧几里得情形也属新颖。
• 提供BPiLG ⇒ BWGL的量化版本，明确依赖于参数。

提出的方法

• 首先，利用几何与测度论估计，证明$\mathbb{H}^k$中的内在利普希茨图像满足具有统一有界性的双边弱几何引理。
• 其次，建立稳定性结果：若集合$E$具有内在利普希茨图像的大块，则$E$满足BWGL，通过分析大块条件与$\beta$-数的Carleson型控制之间的相互作用。
• 引入双边$\beta$-数的$\epsilon$-阈值，并定义相关集合$\widetilde{A}_\epsilon$、$B_\epsilon$、$\widetilde{B}_\epsilon$以控制平坦度的超额。
• 对集合$\{(p,s) \in \widetilde{E} \times \mathbb{R}^+ : \text{平坦度超额} > \epsilon\}$应用Carleson测度条件，利用Ahlfors正则性与加倍性质。
• 使用 dyadic 长方体分解及Whitney型长方体上的积分估计，控制平坦度超额较大的点集的$\mathcal{H}^{2k+1}$-测度。
• 将稳定性论证重新表述于欧几里得设定下，得到新结果：在$\mathbb{R}^n$中，BWGL在大块函子下保持稳定，该结果在文献中此前未知。

实验结果

研究问题

• RQ1 在海森堡群$\mathbb{H}^k$中，大块内在利普希茨图像（BPiLG）条件是否蕴含双边弱几何引理（BWGL）？
• RQ2 能否在海森堡设定下建立BWGL在“大块函子”下的稳定性？
• RQ3 是否存在BPiLG ⇒ BWGL的量化版本，明确依赖于参数？
• RQ4 海森堡设定下BWGL的稳定性是否可推广至欧几里得设定？该结果是否为文献中的新发现？

主要发现

• 在$\mathbb{H}^k$中满足BPiLG条件的集合满足双边弱几何引理（BWGL），确认了定量可求长性理论中的一个关键蕴含关系。
• 在$\mathbb{H}^k$中，内在利普希茨图像满足BWGL，且其有界性仅依赖于利普希茨常数与维数。
• BWGL条件在“大块函子”下保持稳定：若一集合具有内在利普希茨图像的大块，则其满足BWGL。
• 建立了主结果的量化版本：对任意$C \geq 1$、$\lambda \in (0,1)$与$\theta > 0$，存在$\gamma(\epsilon)$，使得$\operatorname{BPiLG}(C,\lambda,\theta) \subset \operatorname{BWGL}(C,\gamma)$。
• 该证明技术还导出欧几里得空间中的新结果：对于任意维数的Ahlfors正则集，BWGL在大块函子下保持稳定，此前尚不为人知。
• 双边$\beta$-数的Carleson型控制在大块构造下得以保持，确保了在所有尺度下平坦度的统一控制。