[论文解读] A new proof of Gromov's theorem on groups of polynomial growth

Bruce Kleiner|ArXiv.org|Oct 25, 2007

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

一句话总结

本文提出格罗莫夫关于多项式增长群定理的一个新、自包含的证明，表明任意有限生成的弱多项式增长群均为拟-nilpotent。该证明避开了蒙哥马利-齐平-山边的局部紧群结构理论，通过引入凯莱图上的新型Poincaré不等式，并运用希尔伯特空间中的调和映射理论，最终证明多项式增长调和函数的空间是有限维的，从而通过Tits的备选定理推导出拟-nilpotency。

ABSTRACT

We give a new proof of Gromov's theorem that any finitely generated group of polynomial growth has a finite index nilpotent subgroup. Unlike the original proof, it does not rely on the Montgomery-Zippin-Yamabe structure theory of locally compact groups.

研究动机与目标

• 提供格罗莫夫关于多项式增长群定理的新证明，且不依赖于局部紧群的Montgomery-Zippin-Yamabe结构理论。
• 通过证明其凯莱图上多项式增长调和函数空间的有限维性，建立弱多项式增长群为拟-nilpotent。
• 仅使用Poincaré不等式与希尔伯特空间中的调和映射理论，推导出拟-nilpotency的新证明，避免使用深层结构结果。
• 证明在弱多项式增长群的凯莱图上，多项式增长次数至多为 $ d $ 的调和函数空间是有限维的。
• 通过等变调和映射，建立任意无限弱多项式增长群存在具有无限像的有限维线性表示。

提出的方法

• 为有限生成群引入一种新型Poincaré不等式：$ \int_{B(R)} |f - f_R|^2 \leq 8|S|^2 R^2 \frac{V(2R)}{V(R)} \int_{B(3R)} |\nabla f|^2 $，其中 $ f_R $ 为 $ f $ 在 $ B(R) $ 上的平均值。
• 利用该Poincaré不等式在无统一加倍或Poincaré条件的情况下，对调和函数的增长在某些尺度上获得一致有界性。
• 应用Mok与Kapovich-Schupp的结果，构造一个在希尔伯特空间 $ \mathcal{H} $ 上无不动点的等距 $ G $-作用，以及一个 $ G $-等变的调和映射 $ f: \Gamma \to \mathcal{H} $。
• 通过多项式增长调和函数的有限维性，证明该调和映射的像位于有限维子空间中，从而推出存在具有无限像的有限维线性表示。
• 通过增长次数的归纳法，结合Tits的备选定理（或Shalom对可约线性群的定理），推导出弱多项式增长蕴含拟-nilpotency。
• 建立等距希尔伯特空间作用中无不动点与能量函数正最小值之间等价性，该等价性与性质(T)及调和映射相关。

实验结果

研究问题

• RQ1 格罗莫夫关于多项式增长群的定理能否在不依赖局部紧群Montgomery-Zippin-Yamabe结构理论的前提下被证明？
• RQ2 是否能仅通过内在几何不等式，证明弱多项式增长群的凯莱图上多项式增长调和函数空间的有限维性？
• RQ3 若存在取值于希尔伯特空间且像为有限维的 $ G $-等变调和映射，是否意味着该群为拟-nilpotent？
• RQ4 能否从调和函数的有限维性与Tits备选定理推导出弱多项式增长群的拟-nilpotency？
• RQ5 Poincaré不等式在无统一加倍假设下，如何控制凯莱图上函数的增长？

主要发现

• 本文建立了一类适用于任意有限生成群的新Poincaré不等式：$ \int_{B(R)} |f - f_R|^2 \leq 8|S|^2 R^2 \frac{V(2R)}{V(R)} \int_{B(3R)} |\nabla f|^2 $，该不等式对凯莱图上任意光滑函数 $ f $ 成立。
• 通过新Poincaré不等式与特定尺度上的一致有界性，证明了弱多项式增长群的凯莱图上，多项式增长次数至多为 $ d $ 的调和函数空间是有限维的。
• 任意无限弱多项式增长群均存在一个具有无限像的有限维线性表示 $ G \to GL(n,\mathbb{R}) $，该表示由希尔伯特空间中取值于有限维子空间的 $ G $-等变调和映射导出。
• 该群为拟-nilpotent，通过增长次数的归纳法与Tits备选定理证明，从而在不使用Montgomery-Zippin-Yamabe结构理论的前提下，给出了格罗莫夫定理的新证明。
• 该证明依赖于等距希尔伯特空间作用中无不动点与能量函数正最小值之间的等价性，该等价性与性质(T)及调和映射相关。
• 该结果可推广至弱多项式增长群，且Gromov定理的Wilkie-Van Den Dries改进在更广泛背景下（如欧几里得等周不等式）也适用。