[论文解读] The comparison property of amenable groups

Tomasz Downarowicz, Guohua Zhang|arXiv (Cornell University)|Dec 14, 2017

Mathematical Dynamics and Fractals参考文献 21被引用 12

一句话总结

该论文证明了所有其有限生成子群具有次指数增长的可数阿贝尔群（如拟幂零群和格列戈里丘克群）在零维紧度量空间上的作用均满足比较性质。作者引入了一种新颖的工具——'修正链'，用于扩展部分等变映射，证明此类群存在具有任意优良Følner性质的动力平铺，从而推出比较性质。

ABSTRACT

Let a countable amenable group $G$ act on a \zd\ compact metric space $X$. For two clopen subsets $\mathsf A$ and $\mathsf B$ of $X$ we say that $\mathsf A$ is \emph{subequivalent} to $\mathsf B$ (we write $\mathsf A\preccurlyeq \mathsf B$), if there exists a finite partition $\mathsf A=\bigcup_{i=1}^k \mathsf A_i$ of $\mathsf A$ into clopen sets and there are elements $g_1,g_2,\dots,g_k$ in $G$ such that $g_1(\mathsf A_1), g_2(\mathsf A_2),\dots, g_k(\mathsf A_k)$ are disjoint subsets of $\mathsf B$. We say that the action \emph{admits comparison} if for any clopen sets $\mathsf A, \mathsf B$, the condition, that for every $G$-invariant probability measure $μ$ on $X$ we have the sharp inequality $μ(\mathsf A)

研究动机与目标

• 建立可数阿贝尔群在零维紧度量空间上作用的比较性质。
• 识别出一类广义群——具有次指数增长的群——其作用必然具有比较性质。
• 开发一种新的技术工具——'修正链'，用于在群作用背景下扩展部分等变映射。
• 将比较性质与具有强Følner性质的动力平铺的存在性联系起来。
• 探究平铺性质（限于自由作用）是否对所有作用都蕴含比较性质。

提出的方法

• 引入'修正链'的概念——一种类似伪轨道的结构，允许对部分定义的映射进行迭代改进。
• 利用修正链将定义在闭开子集上的映射扩展到更大的定义域，同时保持等变性与不相交性条件。
• 使用修正链技术构造具有任意优良Følner性质的动力平铺。
• 定义一个块编码，利用平铺结构实现在闭开集之间的移位等变单射。
• 利用此类平铺的存在性，证明在群作用下，次等价集合可被映射到更大的集合中，从而满足比较条件。
• 应用符号扩张与因子映射的理论，表明比较蕴含存在具有强动力性质的平铺。

实验结果

研究问题

• RQ1 每个可数阿贝尔群在零维紧度量空间上的作用是否都满足比较性质？
• RQ2 是否可以为具有次指数增长的群（包括格列戈里丘克群这类中间增长群）建立比较性质？
• RQ3 是否存在一种通用方法，用于扩展群作用中闭开集之间的部分等变映射？
• RQ4 具有优良Følner性质的动力平铺的存在性与比较性质之间有何关系？
• RQ5 对于自由作用，平铺性质是否蕴含该群所有作用的比较性质？

主要发现

• 所有其有限生成子群具有次指数增长的可数阿贝尔群在零维紧度量空间上的所有作用均满足比较性质。
• 著名的中间增长群——格列戈里丘克群——在其所有零维紧度量空间上的作用均满足比较性质。
• 具有比较性质的群类包括所有拟幂零群，因为它们具有多项式（因此是次指数）增长。
• 在自由作用中，存在具有任意优良Følner性质的动力平铺，等价于比较性质。
• 修正链构造使得部分等变映射得以扩展，这对在缺乏完整标记性质的情况下证明比较性质至关重要。
• 本文证明了对于自由作用，平铺性质蕴含比较性质，但该结论对非自由作用仍为一个猜想。