[论文解读] A functional analysis proof of Gromov's polynomial growth theorem

Narutaka Ozawa|arXiv (Cornell University)|Oct 14, 2015

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

一句话总结

本文提出了一种基于泛函分析的新证明，用于格罗莫夫的多项式增长定理，表明任何具有缓慢熵增长的有限生成群均满足沙洛姆的性质 $H_{\mathrm{FD}}$，这蕴含存在一个有限指数的幂零子群。该证明利用了调和1-余胞态、约化上同调以及群上随机游走的谱分析。

ABSTRACT

The celebrated theorem of Gromov asserts that any finitely generated group with polynomial growth contains a nilpotent subgroup of finite index. Alternative proofs have been given by Kleiner and others. In this note, we give yet another proof of Gromov's theorem, along the lines of Shalom and Chifan--Sinclair, which is based on the analysis of reduced cohomology and Shalom's property H_FD.

研究动机与目标

• 通过利用泛函分析工具，为格罗莫夫关于具有多项式增长的有限生成群的定理提供一个新证明。
• 确立具有缓慢熵增长的群满足沙洛姆的性质 $H_{\mathrm{FD}}$，这是通往格罗莫夫定理的关键步骤。
• 通过调和1-余胞态，将几何增长条件（多项式或缓慢熵）与上同调性质联系起来。
• 证明在缓慢熵增长条件下，具有非平凡约化上同调的弱混合酉表示，其余胞态必须具有次线性增长。
• 在群的增长与结构背景下，统一随机游走、上同调与谱理论的视角。

提出的方法

• 将约化上同调 $\overline{H^1}(G,\pi)$ 作为核心工具，将其识别为对称、具有有限支集的概率测度 $\mu$ 的 $\mu$-调和1-余胞态空间。
• 应用随机游走算子 $T = \sum_x \mu(x)\pi_x$ 在希尔伯特空间 $\mathcal{H}$ 上的谱理论，利用弱混合表示中不存在不变向量的性质。
• 采用超积技巧与谱子空间，当群不具有卡兹丹性质 (T) 时，构造非零的 $\mu$-调和1-余胞态。
• 分析在 $\mu^{*n}$ 下 $b(x) \otimes \bar{b}(x)$ 的 $L^2$-范数，证明当 $\pi$ 为弱混合时表示时，其衰减为次线性。
• 使用受控的 F{\

实验结果

研究问题

• RQ1 缓慢熵增长是否意味着有限生成群满足沙洛姆的性质 $H_{\mathrm{FD}}$？
• RQ2 在弱混合表示中，非平凡约化上同调的存在性是否可用于推导群的结构约束？
• RQ3 缓慢熵增长与调和1-余胞态的次线性增长之间存在何种关系？
• RQ4 随机游走算子的谱行为如何与弱混合表示中 $\mu$-调和余胞态的消失相关联？
• RQ5 在群增长定理的语境下，缓慢熵增长是否等价于弱多项式增长？

主要发现

• 具有缓慢熵增长的有限生成群满足沙洛姆的性质 $H_{\mathrm{FD}}$，即任何具有非平凡约化上同调的酉表示，其不变子空间必为有限维。
• 对于任意以弱混合表示为系数的 $\mu$-调和1-余胞态 $b$，有 $\frac{1}{n}\left\|\sum_x \mu^{*n}(x)(b(x)\otimes \bar{b}(x))\right\|_{{\mathcal{H}}\otimes\bar{{\mathcal{H}}}} \to 0$ 当 $n \to \infty$。
• 在缓慢熵增长条件下，$\|b(g)\|$ 满足 $|g|$ 的次线性增长，即 $\|b(g)\| \leq f(|g|)$，其中 $f$ 满足 $f(n)/n \to 0$。
• 若群允许受控的 F{\