[论文解读] Filling inequalities for nilpotent groups

Robert M. Young|arXiv (Cornell University)|Aug 7, 2006

Finite Group Theory Research参考文献 21被引用 21

一句话总结

本文通过几何测度论中的逼近技术，为幂零群（特别是喷射群和高维海森堡群）的高阶德恩函数（填充不变量）建立了精确的界。通过结合费德勒-弗莱明形变定理、缩放自同构和水平子流形的三角剖分，作者证明了这些群在低维时表现出欧几里得填充行为，而在高维时呈现超欧几里得增长，从而解决了格罗莫夫关于海森堡群的猜想，并构造出任意幂零类的幂零群，其德恩函数为二次型。

ABSTRACT

We bound the higher-order Dehn functions and other filling invariants of certain Carnot groups using approximation techniques. These groups include the higher-dimensional Heisenberg groups, jet groups, and central products of two-step nilpotent groups. Some consequences of this work are a construction of groups with arbitrarily large nilpotency class that have euclidean n-dimensional filling volume functions, and a proof of part of a conjecture of Gromov on the higher-order filling functions of the higher-dimensional Heisenberg groups.

研究动机与目标

• 为卡诺群（特别是喷射群和高维海森堡群）的高阶填充不变量（德恩函数）建立精确的上界与下界。
• 解决格罗莫夫关于高维海森堡群填充函数的猜想。
• 构造任意幂零类的幂零群，其德恩函数为二次型，反驳了高幂零类意味着大德恩函数的直觉。
• 开发一种通用方法，通过三角剖分逼近循环并缩放单形来界定填充不变量。

提出的方法

• 应用费德勒-弗莱明形变定理，在多个尺度上用单纯复形逼近幂零群中的奇异循环。
• 利用缩放自同构 $ s_t $ 对三角剖分进行缩放，以控制填充构造中的体积增长。
• 通过喷射空间中的全纯映射构造三角剖分，为喷射群生成具有可控体积的填充。
• 利用具有齐次性 $ s_t^*\omega = t^d \omega $ 的不变微分形式 $ \omega $，推导填充体积的下界。
• 通过跨尺度的逼近连接，从若干缩放后的单纯形片段构建 $ k $-球面的填充。
• 证明：若存在接近三角剖分 $ f $ 的 $ k $-水平映射 $ \phi $，则可控制填充的质量。

实验结果

研究问题

• RQ1 高维海森堡群 $ H^{2k+1} $ 在维度 $ i \leq k $ 时是否具有欧几里得填充函数，如格罗莫夫所猜想？
• RQ2 能否构造出任意大幂零类的幂零群，其德恩函数为二次型，尽管已知存在扭曲现象？
• RQ3 喷射群 $ J^m(\mathbb{R}^k) $ 的第 $ k $ 阶德恩函数 $ \operatorname{FV}^k(V) $ 的精确渐近增长速率为何？
• RQ4 不变微分形式的缩放性质如何影响幂零群中填充体积的下界？
• RQ5 中心积的幂零群的填充不变量在多大程度上依赖于其构成群的结构？

主要发现

• 对于 $ J^m(\mathbb{R}^k) $，第 $ i $ 阶填充体积函数满足 $ \operatorname{FV}^i(V) \sim V^{i/(i-1)} $（$ i \leq k $），与欧几里得增长速率一致。
• 当 $ i = k+1 $ 时，$ \operatorname{FV}^{k+1}(V) \sim V^{(k+m+1)/k} $，显示出依赖于喷射阶数 $ m $ 的超欧几里得增长。
• 格罗莫夫关于海森堡群 $ H^{2k+1} $ 的猜想得到证实：$ \operatorname{FV}^i(V) \sim V^{i/(i-1)} $（$ i \leq k $），且 $ \operatorname{FV}^{k+1}(V) \sim V^{(k+2)/k} $。
• 本文构造出任意幂零类的群，其德恩函数为二次型，反驳了高幂零类意味着大德恩函数的直觉。
• 通过闭的不变形式 $ \omega $（满足 $ s_t^*\omega = t^d \omega $）建立下界，表明在适当的几何条件下 $ \operatorname{FV}^k(V) \succ V^{d/k} $。
• 对于 $ J^m(\mathbb{R}^k) $，上下界一致：$ \operatorname{FV}^i(V) \asymp V^{i/(i-1)} $（$ i \leq k $），且 $ \operatorname{FV}^{k+1}(V) \asymp V^{(k+m)/k} $，证明了估计的精确性。