[论文解读] Metric Approximations of Wreath Products

Ben Hayes, Andrew W. Sale|arXiv (Cornell University)|Aug 8, 2016

Advanced Topology and Set Theory参考文献 8被引用 3

一句话总结

本论文证明了在较弱条件下，Wreath积保持双曲性、超线性、线性双曲性及弱双曲性：若 $H$ 是双曲群，且 $G$ 属于上述四种类别之一，则 $G\wr H$ 继承相同的度量逼近性质。作者通过张量积与循环分解分析，构造了显式的度量逼近，将先前关于双曲Wreath积的结果推广至更广泛的群类。

ABSTRACT

Given the large class of groups already known to be sofic, there is seemingly a shortfall in results concerning their permanence properties. We address this problem for wreath products, and in particular investigate the behaviour of more general metric approximations of groups under wreath products. Our main result is the following. Suppose that $H$ is a sofic group and $G$ is a countable, discrete group. If $G$ is sofic, hyperlinear, weakly sofic, or linear sofic, then $G\wr H$ is also sofic, hyperlinear, weakly sofic, or linear sofic respectively. In each case we construct relevant metric approximations, extending a general construction of metric approximations for $G\wr H$ that uses soficity of $H$.

研究动机与目标

• 为填补群的度量逼近在永久性性质方面的空白，特别是针对Wreath积。
• 将已知的双曲Wreath积结果推广至更广泛的类：超线性、线性双曲性及弱双曲性群。
• 当 $G$ 属于上述四种类别之一且 $H$ 为双曲群时，为 $G\wr H$ 构造显式的度量逼近。
• 通过统一且量化的框架，证明度量逼近性质在Wreath积下保持不变。

提出的方法

• 发展了一种 $G\wr H$ 的度量逼近的一般构造，依赖于 $H$ 的双曲性以及在集合上的置换作用结构。
• 对于线性双曲性，作者使用映射到 $\mathrm{GL}_n(\mathbb{F})$ 的近似同态，并控制秩度量，分析算子张量积的行为。
• 关键技术工具是基于置换的循环分解与核维数分析，推导出Wreath积映射像的秩度量公式。
• 通过分解 $\Psi(A,\tau) - \mathrm{Id}$ 的核，将其与 $\tau$ 的不动点及循环联系起来，从而得到 $\ell_{\mathrm{rk}}(\Psi(A,\tau))$ 的下界。
• 使用双不变性与度量比较技术，建立逼近映射的几乎乘法性与几乎单射性。
• 将该构造应用于 $\mathrm{GL}_n(\mathbb{F})\wr_{B}\mathrm{Sym}(B)$ 与 $\mathrm{PGL}_n(\mathbb{K})\wr_{B}\mathrm{Sym}(B)$，其中长度函数通过秩度量定义。

实验结果

研究问题

• RQ1 当 $H$ 为双曲群且 $G$ 为双曲群时，Wreath积 $G\wr H$ 是否保持双曲性？
• RQ2 该永久性性质是否可在相同条件下推广至超线性、线性双曲性及弱双曲性群？
• RQ3 当 $G$ 不一定为阿马林群或剩余有限群时，如何显式构造 $G\wr H$ 的度量逼近？
• RQ4 循环分解与张量积在逼近中维持度量控制方面起什么作用？
• RQ5 张量积下秩度量的行为是否足够稳定，以在Wreath积中保持线性双曲性？

主要发现

• 若 $H$ 为双曲群且 $G$ 为双曲群，则 $G\wr H$ 为双曲群，推广了Paunescu对阿贝尔群 $G$ 的结果。
• 若 $H$ 为双曲群且 $G$ 为超线性群，则 $G\wr H$ 为超线性群，扩展了超线性群的类。
• 若 $H$ 为双曲群且 $G$ 为线性双曲群，则 $G\wr H$ 为线性双曲群，其证明依赖于张量积下秩度量的控制。
• 若 $H$ 为双曲群且 $G$ 为弱双曲群，则 $G\wr H$ 为弱双曲群，通过度量逼近的一般构造实现。
• 作者推导出 $\ell_{\mathrm{rk}}(\Psi(A,\tau))$ 的精确公式，其表达式为 $\frac{1}{2}\ell_{\mathrm{Hamm}}(\tau) + \frac{1}{|B|}\sum_{\tau(b)=b} \ell_{\mathrm{rk}}(Phi(A_b))$，表明 $\ell_{\mathrm{rk}}(\Psi(A,\tau)) \geq \frac{1}{2}\ell_{\mathrm{Hamm}}(\tau) + \frac{1}{|B|}\sum_{\tau(b)=b} \ell_{\mathrm{rk}}(\Phi(A_b))$。
• 该构造确保逼近映射 $\Psi \circ \Theta$ 具有 $(F, \varepsilon, d_{\mathrm{rk}})$-乘法性与 $(F, c'/2, d_{\mathrm{rk}})$-单射性，从而证明了所需的度量逼近性质。