[论文解读] Properness of nilprogressions and the persistence of polynomial growth of given degree

Matthew Tointon, Romain Tessera|arXiv (Cornell University)|Dec 15, 2016

Limits and Structures in Graph Theory参考文献 30被引用 2

一句话总结

本论文证明了任意幂零进展可被有效逼近为上三角形式的正规陪集幂零进展，将弗雷曼型结果推广至幂零情形。关键贡献在于证明了D次多项式增长的持久性：若对称生成集S满足在大尺度n处|Sn| ≤ Mn^D，则对所有r ≥ n有|Sr| ≪M,D r^D，从而证实了本杰明的猜想。

ABSTRACT

We show that an arbitrary nilprogression can be approximated by a proper coset nilprogression in upper-triangular form. This can be thought of as a nilpotent version of the Freiman-Bilu result that a generalised arithmetic progression can be efficiently contained in a proper generalised arithmetic progression, and indeed an important ingredient in the proof is a Lie-algebra version of the geometry-of-numbers argument at the centre of that result. We also present some applications. We verify a conjecture of Benjamini that if $S$ is a symmetric generating set for a group such that $1\in S$ and $|S^n|\le Mn^D$ at some sufficiently large scale $n$ then $S$ exhibits polynomial growth of the same degree $D$ at all subsequent scales, in the sense that $|S^r|\ll_{M,D}r^D$ for every $r\ge n$. Our methods also provide an important ingredient in a forthcoming companion paper in which we reprove and sharpen a result about scaling limits of vertex-transitive graphs of polynomial growth due to Benjamini, Finucane and the first author. We also note that our arguments imply that every approximate group has a large subset with a large quotient that is Freiman isomorphic to a subset of a torsion-free nilpotent group of bounded rank and step.

研究动机与目标

• 建立弗雷曼–比鲁定理的幂零类比，证明一般幂零进展可被有效包含于正规陪集幂零进展中。
• 解决本杰明关于多项式增长持久性的猜想：若在某大尺度n处有|Sn| ≤ Mn^D，则对所有r ≥ n有|Sr| ≪M,D r^D。
• 通过使近似群包含于陪集幂零进展中的包含关系有效化，对布雷乌伊亚德–格林–陶近似群定理进行结构上的精炼。
• 证明每个近似群均包含一个大子集，其大商群与有界秩和步数的无挠幂零群的子集之间存在弗雷曼同构。
• 为即将发表的关于多项式增长的顶点传递图的标度极限的论文提供关键技术要素。

提出的方法

• 使用格几何论证的李代数版本，构造逼近给定幂零进展的正规陪集幂零进展。
• 引入并分析幂零进展的上三角形式概念，确保换位子关系受控且坐标行为良好。
• 通过m-正规性的概念应用改进的加倍论证，以控制集合乘积中的增长。
• 通过迭代应用引理8.11及包含关系（如XHPr ⊂ S_r^n ⊂ XHPO⌈D⌉,m,k(r)）在不同尺度上传播增长控制。
• 利用HP的正规性及上三角形式，推导出边长Li ≫⌈D⌉nζ(i)的下界，从而控制秩ω。
• 将HP的正规性与增长条件|Sn| ≤ Mn^D结合，推导出ω ≤ ⌊D⌋，从而推出所需的多项式增长界。

实验结果

研究问题

• RQ1 是否每个幂零进展都可被有效逼近为上三角形式的正规陪集幂零进展？
• RQ2 在大尺度n处D次多项式增长是否意味着在所有后续尺度上均保持相同次数的多项式增长？
• RQ3 布雷乌伊亚德–格林–陶结构定理中的非有效界在幂零情形下能否被有效化？
• RQ4 幂零进展的秩与群中多项式增长次数之间有何关系？
• RQ5 每个近似群是否都能通过大商群与有界秩和步数的无挠幂零群的子集之间存在弗雷曼同构来关联？

主要发现

• 任意幂零进展均可被有效逼近为上三角形式的正规陪集幂零进展，将弗雷曼–比鲁结果推广至幂零情形。
• 本杰明关于多项式增长持久性的猜想得到证实：若在大尺度n处|Sn| ≤ Mn^D，则对所有r ≥ n有|Sr| ≪M,D r^D。
• 幂零进展的秩ω满足ω ≤ ⌊D⌋，该结果由增长条件与正规性推导得出，确保了正确的多项式增长次数。
• 幂零进展的边长Li满足Li ≫⌈D⌉nζ(i)，其中ζ(i)表示生成元ui是否参与增长，从而确保体积的恰当控制。
• 证明建立了|HPr| ≪⌈D⌉r⌊D⌋|HP|，进而导出最终界|Srn| ≪⌈D⌉r⌊D⌋|Sn|，证实了D次多项式增长的持久性。
• 该方法为即将发表的关于多项式增长的顶点传递图的标度极限结果提供了关键技术要素，扩展了本杰明、菲努肯和特斯拉的工作。