[论文解读] Metric approximations of unrestricted wreath products when the acting group is amenable

Javier Brude, Román Sasyk|arXiv (Cornell University)|Apr 13, 2020

Advanced Operator Algebra Research参考文献 20被引用 4

一句话总结

本文提出了一种统一的、直接的证明，表明一个弱双曲群、双曲群、线性双曲群或超线性群与一个阿贝尔群的无限制的半直积仍属于同一类度量逼近类。通过利用抽象度量逼近和通过群单同态实现的受控度量畸变，作者证明了具有阿贝尔商群的群扩张保持这四种性质，为先前间接证明提供了一种自包含的替代方案。

ABSTRACT

We give a simple and unified proof showing that the unrestricted wreath product of a weakly sofic, sofic, linear sofic, or hyperlinear group by an amenable group is weakly sofic, sofic, linear sofic, or hyperlinear, respectively. By means of the Kaloujnine-Krasner theorem, this implies that group extensions with amenable quotients preserve the four aforementioned metric approximation properties. We also discuss the case of co-amenable groups.

研究动机与目标

• 提供一个直接的、统一的证明，表明一个具有四种度量逼近性质（弱双曲、双曲、线性双曲、超线性）的群与一个阿贝尔群的无限制半直积仍保持该性质。
• 通过直接为无限制半直积构造度量逼近，避免依赖扩张定理。
• 利用置换半直积技术，将结果推广到余阿贝尔子群的情形。
• 证明卡尔久尼涅-克拉斯纳定理在余阿贝尔情形下不足以适用，因此需要一种新方法。

提出的方法

• 使用抽象度量逼近，作者定义了一个系统框架，用于用双不变度量逼近群。
• 他们通过直接从 G 映射到辅助度量群，而非从 G 的逼近局部构建，为无限制半直积 ∏H G 构造度量逼近。
• 该方法通过显式群单同态从辅助度量群映射到定义四种逼近性质的类，实现受控度量畸变。
• 一个关键构造涉及在有限集 B 上定义一个置换作用 σ，并控制汉明距离的误差界。
• 该证明使用 G 在 G/H 上的左正则作用，并通过构造一个截面 τ: G/H → G 来定义单同态 Φ: G → K ≀B Sym(B)。
• 通过控制对称差集的界和受控误差传播，建立 (F, ε, d)-乘法性和 (F, ε, d)-自由性。

实验结果

研究问题

• RQ1 能否为弱双曲、双曲、线性双曲和超线性性质在无限制半直积与阿贝尔作用群下的保持性，提供一个直接的、统一的证明？
• RQ2 为何先前的技术无法处理弱双曲情形？新方法能否克服这一困难？
• RQ3 卡尔久尼涅-克拉斯纳定理是否足以将扩张定理推广到余阿贝尔子群？
• RQ4 能否在不依赖 G 的局部逼近的前提下，直接为 ∏H G 构造度量逼近？
• RQ5 受控度量畸变在群扩张下保持逼近性质的过程中起什么作用？

主要发现

• 一个弱双曲群与一个阿贝尔群的无限制半直积是弱双曲的。
• 一个双曲群与一个阿贝尔群的无限制半直积是双曲的。
• 一个线性双曲群与一个阿贝尔群的无限制半直积是线性双曲的。
• 一个超线性群与一个阿贝尔群的无限制半直积是超线性的。
• 当 G/H 具有阿贝尔作用时，扩张定理对余阿贝尔子群 H 在 G 中成立，推广了商群情形。
• 该证明提供了一个自包含的、统一的框架，避免了对先前扩张定理的依赖，尤其适用于弱双曲情形。