格罗莫夫多项式增长群定理

其中一个方向是带有几何色彩的经典代数结果（Bass–Guivarc'h）：若 $N \trianglelefteq G$ 是有限指数的幂零子群，其下中心列的秩为 $r_1,\dots,r_c$，通过对元素标准形的计数论证可得 $b_S(n) \asymp n^d$，其中 $d = \sum_i i\cdot r_i$，即一个多项式界——因此几乎幂零的群确实具有多项式增长。反方向由格罗莫夫证明，其难度是真正深刻的，这里只勾勒其策略：把凯莱图按 $1/n$ 缩放，并当 $n \to \infty$ 时取极限（在格罗莫夫–豪斯多夫意义下，沿某子序列及超滤子）；多项式增长恰好是使这些缩放后的球既不坍缩为一点、也不无限膨胀的条件，因此存在一个极限度量空间——$G$ 的渐近锥——它是有限维、局部紧的测地空间，并且 $G$ 在极限层面上仍在其上传递地作用。蒙哥马利与齐平关于局部紧群的结构理论随后迫使该极限空间的等距群必须包含一个李群，进一步的论证则用该李群的维数控制多项式增长的次数，最终在 $G$ 内部锁定一个有限指数的幂零子群。克莱纳（2010年）给出的后续证明沿着同样的“缩放取极限”策略，改由多项式增长调和函数空间的有限维性入手，完全绕开了蒙哥马利–齐平的机器，但“取极限、提取李群、读出幂零性”这一指导思想始终未变。