[论文解读] High-dimensional fillings in Heisenberg groups

Robert M. Young|arXiv (Cornell University)|Jun 8, 2010

Geometric and Algebraic Topology参考文献 8被引用 5

一句话总结

该论文通过引入一种新方法，利用水平流形的交点来高效逼近高维周期，解决了Gromov在Heisenberg群中关于高阶Dehn函数的猜想。通过在Heisenberg群的缩放性质基础上，利用对偶骨架构造质量受控的单纯逼近，作者证明了在$(2n+1)$-维Heisenberg群$H_n$中，当$n < d < 2n+1$时，$(d+1)$-维Dehn函数的增长率为$V^{\frac{d+2}{d+1}}$，从而完整刻画了这些函数。

ABSTRACT

We use intersections with horizontal manifolds to show that high-dimensional cycles in the Heisenberg group can be approximated efficiently by simplicial cycles. This lets us calculate all of the higher-order Dehn functions of the Heisenberg groups, thus proving a conjecture of Gromov.

研究动机与目标

• 解决Gromov关于Heisenberg群中高阶Dehn函数渐近增长的猜想。
• 在传统单纯逼近因质量膨胀而失效时（当$\dim \alpha > n$时），为$H_n$中的高维周期开发高效的逼近技术。
• 在$(2n+1)$-维Heisenberg群$H_n$中，为$(d+1)$-维Dehn函数$\operatorname{FV}^{d+1}(V)$建立$ n < d < 2n+1 $时的精确上下界。
• 将缩放与无微分灵活性技术扩展至Carnot群中的高维填充问题。

提出的方法

• 通过计数高维Lipschitz周期$\alpha$与$H_n \times [1,2]$中三角剖分的对偶骨架的横截交点，来逼近$\alpha$。
• 利用对偶骨架的$(2n+1-k)$-维胞腔构造单纯逼近$P_\tau(\alpha)$，其中$k = \dim \alpha > n$。
• 确保逼近胞腔为水平的（即切于水平分布），以在缩放自同构下控制体积增长。
• 使用缩放自同构$s_t$在尺度$2^i$上生成嵌套的逼近族$P_i(\alpha)$，并控制质量增长。
• 构造填充链$R_i$使得$\partial R_i = P_{i+1}(\alpha) - P_i(\alpha)$，并通过绑定$R_i$总质量来估计填充体积。
• 应用缩放单形图像的体积增长估计：对$d$-单形$\sigma$有$\operatorname{vol} s_t(f(\sigma)) \leq c t^{d+1}$，从而在$d > n$时得到$k(d) = d+1$。

实验结果

研究问题

• RQ1 在$(2n+1)$-维Heisenberg群$H_n$中，当$n < d < 2n+1$时，$(d+1)$-维Dehn函数$\operatorname{FV}^{d+1}(V)$的渐近增长速率是什么？
• RQ2 当维度大于$n$时，若不存在水平三角剖分，能否为$H_n$中的高维周期构造高效的单纯逼近？
• RQ3 非水平单形的缩放图像的体积增长如何影响高维中的填充体积？
• RQ4 基于缩放与交点的方法能否实现Gromov猜想所预测的精确上界$V^{\frac{d+2}{d+1}}$？

主要发现

• 该论文证明了在$(2n+1)$-维Heisenberg群$H_n$中，当$n < d < 2n+1$时，有$\operatorname{FV}^{d+1}(V) \sim V^{\frac{d+2}{d+1}}$，从而在该范围内证实了Gromov的猜想。
• 该方法通过与水平对偶胞腔相交，实现了对高维周期的质量受控单纯逼近，避免了标准单纯逼近中出现的质量膨胀。
• 在$H_n$中，$d$-单形的$s_t$-图像的体积增长受$ct^{d+1}$控制，这导致在$d > n$时质量估计中得到指数$k(d) = d+1$。
• 总填充质量被控制在$C' V^{\frac{d+2}{d+1}}$以内，该指数来源于条件$k(d+1) + k(2n+1-d) > \kappa = 2n+2$，该条件确保总和由最大项主导。
• 该结果是精确的，因为Burillo的早期工作提供了匹配的下界，从而确认了渐近等价关系$\sim$。
• 该构造依赖于存在从带三角剖分的$H_n \times [1,2]$到$H_n$的$s_2(\Gamma)$-等变、分段光滑且水平的映射，其存在性由接触几何与各向同性灵活性定理保证。