[论文解读] Characterizations of $k$-rectifiability in homogenous groups

Kennedy Obinna Idu, Valentino Magnani+1 more|arXiv (Cornell University)|Sep 8, 2020

Advanced Topology and Set Theory参考文献 19被引用 4

一句话总结

本文证明，在任意齐次群中，Borel 集是 $k$-可矩形化当且仅当其在 $χ^k$ 几乎处处存在 $(k,\mathbb{G})$-近似切群。作者证明了此类近似切群的几乎处处存在性刻画了 $k$-可矩形化性，将经典的欧几里得结果推广至齐次群的子黎曼设定，利用切测度和纯不可矩形化集的密度估计。

ABSTRACT

A well known notion of $k$-rectifiable set can be formulated in any metric space using Lipschitz images of subsets of $\mathbb{R}^k$. We prove some characterizations of $k$-rectifiability, when the metric space is an arbitrary homogeneous group. In particular, we show that the a.e. existence of the $(k,\mathbb{G})$-approximate tangent group implies $k$-rectifiability.

研究动机与目标

• 使用几何测度论工具刻画任意齐次群中 $k$-可矩形化集。
• 将通过近似切平面刻画可矩形化的经典结果推广至齐次群的子黎曼设定。
• 建立几乎处处存在 $(k,\mathbb{G})$-近似切群蕴含 $k$-可矩形化性的结论，解决分层李群上几何测度论中的一个关键问题。
• 通过引入一种稳健且内在的切群概念，统一并推广先前在海森堡群及其他齐次空间中关于可矩形化的结果。

提出的方法

• 作者利用通过弱极限定义的 $(k,\mathbb{G})$-近似切群概念，刻画齐次群中的可矩形化性。
• 他们运用切测度和对纯不可矩形化集的密度估计，控制 $χ^k$ 测度在集合点附近的性质。
• 证明依赖于水平格拉斯曼流形 $\mathcal{H}(\mathbb{G},k)$ 的紧致性，以有限多个锥覆盖该集合，围绕模型切群。
• 一个关键技术步骤涉及利用内在度量和水平投影比较至不同子群的距离，利用不等式 $d(x,\mathbb{T}) \geq c_\mathbb{G} \| \pi_\mathbb{T}(x)^{-1} \pi_{\mathbb{T}^\perp}(x) \pi_\mathbb{T}(x) \|$。
• 作者应用费德勒的可矩形化判别准则，通过证明在切群周围锥内 $χ^k \llcorner E$ 的密度在零尺度下趋于零，从而推出不可矩形化部分的 $χ^k$ 测度为零。
• 他们利用 $χ^k \llcorner E$ 局部有限的性质，并通过固定张角的锥进行覆盖论证，以控制测度衰减。

实验结果

研究问题

• RQ1 在齐次群中，$(k,\mathbb{G})$-近似切群的几乎处处存在性是否蕴含 $k$-可矩形化性？
• RQ2 能否将通过近似切平面刻画可矩形化的经典结果推广至非欧几里得齐次群？
• RQ3 在子黎曼空间中的纯不可矩形化集中，密度估计与切测度如何相互作用？
• RQ4 在 $χ^k$-几乎处处点上存在唯一 $(k,\mathbb{G})$-近似切群是否足以刻画 $k$-可矩形化性？
• RQ5 内在几何结构如水平格拉斯曼流形和内在锥在分层李群中在多大程度上细化了可矩形化的概念？

主要发现

• 在 $\u03c7^k$-几乎处处点 $p \in E$ 处存在 $(k,\mathbb{G})$-近似切群，意味着 $E$ 是 $k$-可矩形化。
• 在任意齐次群中，$k$-可矩形化性与几乎处处存在 $(k,\mathbb{G})$-近似切群之间存在等价性。
• 证明表明，通过内在度量和水平投影控制锥的衰减，$E$ 的纯不可矩形化部分的 $χ^k$ 测度为零。
• 作者通过固定张角的锥覆盖论证，证明了密度 $\Theta^{*k}(E,p)$ 在不可矩形化部分为零。
• 该结果将普雷西类型定理推广至齐次群，表明可矩形化性由近似切群的存在性刻画。
• 关键不等式 $\| \pi_{\mathbb{T}_p}(x)^{-1} \pi_{\mathbb{T}_p^\perp}(x) \pi_{\mathbb{T}_p}(x) \| \geq \left( \frac{2}{3} - \frac{\epsilon_0}{c_\mathbb{G}} \right) \|x\|$ 确保当 $\epsilon_0$ 足够小时，$X(p,\mathbb{V}_i^\perp,\epsilon_0)$ 中的点位于 $X(p,\mathbb{T}_p,\epsilon_0)$ 之外，从而实现锥的比较。