[论文解读] The Space of Actions, Partition Metric and Combinatorial Rigidity

Miklós Abért, Gábor Elek|arXiv (Cornell University)|Aug 10, 2011

Advanced Operator Algebra Research参考文献 10被引用 16

一句话总结

本文引入了分割度量（partition metric），这是一种定义在有限生成群的保测度作用空间上的伪度量，其零类恰好对应于弱等价类。该度量的度量化空间是紧致的，且每个弱等价类中均包含一个满足其近似满足的所有组合条件的行动，从而确立了组合刚性，并解决了自由非阿本耳（non-amenable）作用下的可测冯诺依曼问题。

ABSTRACT

We introduce a natural pseudometric on the space of actions of d-generated groups. In this pseudometric, the zero classes correspond to the weak equivalence classes defined by Kechris, and the metric identification is compact. We achieve this by employing symbolic dynamics and an ultraproduct construction which also facilitates the extension of our results to unitary representations. As a byproduct, we show that the weak equivalence class of every free non-amenable action contains an action that satisfies the measurable von Neumann problem.

研究动机与目标

• 在d-生成群的作用空间上定义一个自然的伪度量，使其零类恰好为弱等价类。
• 证明该伪度量的度量化空间是紧致的，从而支持作用序列的收敛性分析。
• 证明每个弱等价类中均包含一个满足其近似满足的所有组合条件的行动。
• 建立每个自由非阿本耳作用均弱等价于一个满足可测冯诺依曼问题的行动。
• 将该框架扩展至酉表示，证明在表示理论设定下存在类似结果。

提出的方法

• 将分割度量定义为：由作用空间的博雷尔分割诱导的k-顶点着色施莱夫（Schreier）图集合之间的豪斯多夫距离的加权和。
• 利用根植施莱夫图与不变随机子群（IRS）来编码作用的局部自由性与群结构。
• 通过弱拓扑收敛刻画弱等价性，并利用共轭类闭包定义弱包含关系。
• 利用超极限与作用的逆极限构造精确满足组合条件的行动，从近似满足的行动出发。
• 应用图极限理论的结果（例如，Bollobás-Riordan、Hatami-Lovász-Szegedy）以定义局部-全局收敛性。
• 利用Gaboriau-Lyons定理与Abért-Weiss结果嵌入伯努利作用，并构造满足可测冯诺依曼问题的自由作用。

实验结果

研究问题

• RQ1 能否在群作用空间上定义一个伪度量，使其零类恰好为弱等价类？
• RQ2 该伪度量的度量化空间是否紧致，从而支持作用序列的收敛性分析？
• RQ3 每个弱等价类是否都包含一个满足其近似满足的所有组合条件的行动？
• RQ4 自由非阿本耳作用是否弱等价于一个满足可测冯诺依曼问题的行动？
• RQ5 在酉群表示的设定下，是否也存在类似结果？

主要发现

• 分割度量是作用空间上定义良好的伪度量，其零类恰好为弱等价类。
• 作用空间模弱等价的度量化空间是紧致的，确保了作用序列的收敛性。
• 每个弱等价类中均包含一个行动，其对所有组合类型条件的满足程度可达到任意小误差下的精确满足。
• 每个自由非阿本耳作用均弱等价于一个满足可测冯诺依曼问题的行动。
• 任意不变随机子群（IRS）在分割度量下的纤维是紧致的，反映出其结构上的刚性。
• 上述结果在酉表示领域中存在直接类比，将该框架扩展至测度保持作用之外的范畴。