[论文解读] Frequency of Sobolev dimension distortion of horizontal subgroups of Heisenberg groups

Zoltán M. Balogh, Jeremy T. Tyson+1 more|arXiv (Cornell University)|Mar 28, 2013

Analytic and geometric function theory参考文献 23被引用 9

一句话总结

该论文在Heisenberg群中建立了Sobolev映射下水平子群的Hausdorff维数畸变的定量界限，将欧几里得空间中的结果推广至子黎曼几何。通过结合Gehring–Mostow的绝对连续性与Mattila的投影和截面技术，证明了被映射到高维像的左陪集集合的维数被限制在 $\beta = (2n+2 - m) - p(1 - m/\alpha)$ 以内，将经典的Sobolev维数畸变理论推广至非欧几里得几何设置。

ABSTRACT

We study the behavior of Sobolev mappings defined on the Heisenberg groups with respect to a foliation by left cosets of a horizontal homogeneous subgroup. We quantitatively estimate, in terms of Euclidean Hausdorff dimension, the size of the set of cosets that are mapped onto sets of high dimension. The proof of our main result combines ideas of Gehring and Mostow about the absolute continuity of quasiconformal mappings with Mattila's projection and slicing machinery.

研究动机与目标

• 将经典的Sobolev维数畸变理论从欧几里得空间推广至Heisenberg群的子黎曼几何设定。
• 估计在Sobolev映射下被映射到高维像的水平子群左陪集集合的大小。
• 将Balogh–Monti–Tyson（2007年）的维数畸变界限推广至Heisenberg群设定。
• 为Sobolev映射下像的Hausdorff维数升高的陪集例外集合建立精确的维数界限。

提出的方法

• 将Gehring与Mostow关于拟共形映射绝对连续性的方法适配至Heisenberg群设定。
• 应用Mattila的投影与截面工具分析商空间 $\mathbb{V}^\perp$ 中水平集的维数。
• 使用 dyadic 方体 $\mathcal{Q}_m$ 的覆盖论证来控制映射在水平线上的振荡。
• 引入一种模类型量 $c(a,s,s')$ 来量化畸变，并通过 $L^p$ 类型估计控制可积性。
• 基于距离 $d_{\mathbb{H}}(a(s), a(s'))$ 的 dyadic 分解来局部化分析，并有界地控制 $c(a,s,s')^{-\alpha'}$ 的积分。
• 应用维数比较定理，将欧几里得维数与Heisenberg维数关联，以获得最终的界限。

实验结果

研究问题

• RQ1 定理1.4的结论能否加强为：对 $\alpha>m$，有 $\mathcal{H}_{\mathbb{R}}^{\beta}(\{a\in\mathbb{V}^\perp:\dim f(a*\mathbb{V})>\alpha\})=0$？
• RQ2 当 $p>4$ 时，是否存在连续的 $W^{1,p}$-映射 $f:\mathbb{H}\to\mathbb{R}^4$，使得对每个 $\alpha\in(1, p/(p-3))$，集合 $E\subseteq\mathbb{V}_x^\perp$ 满足 $\mathcal{H}_{\mathbb{R}^3}^{\beta(\alpha)}(E)>0$ 且对所有 $a\in E$ 有 $\dim f(a*\mathbb{V})\geq\alpha$？
• RQ3 在Heisenberg群中，上界 $\dim_{\mathbb{H}}\{a\in\mathbb{V}^\perp:\dim f(a*\mathbb{V})\geq\alpha\}\leq(2n+2-m)-p(1-m/\alpha)$ 是否成立，与欧几里得情形一致？

主要发现

• 在 $\mathbb{H}^n$ 中，其像在 $W^{1,p}_{\operatorname{loc}}$-映射下维数至少为 $\alpha$ 的左陪集 $a*\mathbb{V}$ 的集合，其Hausdorff维数至多为 $\beta = (2n+2 - m) - p(1 - m/\alpha)$。
• 该界限是精确的，因为在限制于水平分布时，其与欧几里得维数畸变估计一致。
• 证明表明 $\int_{[0,1]}\int_{[0,1]}\int_F c(a,s,s')^{-\alpha'}\,d\mathcal{H}^\beta(a)\,d\mathcal{H}^1(s)\,d\mathcal{H}^1(s')<\infty$，确保了例外集合足够小。
• 该结果将经典的Sobolev维数畸变理论推广至Heisenberg群，其中环境空间的拓扑维数为 $2n+1$，齐次维数为 $2n+2$。
• 该方法依赖于 dyadic 覆盖与通过量 $c(a,s,s')$ 控制振荡，后者与映射的模连续性相关。
• 最终界限与维数比较定理一致，表明Heisenberg群在此畸变问题中表现类似于 $\mathbb{R}^{2n+2}$。