[论文解读] On the Magnus Embedding and the Conjugacy Length Function of Wreath Products and Free Solvable Groups

Andrew W. Sale|arXiv (Cornell University)|Feb 23, 2012

Geometric and Algebraic Topology被引用 4

一句话总结

本文从几何角度重新定义了 Magnus 嵌入，并证明其相对于自然生成集是 2-双李普希茨的，从而在自由幂零群中实现了 $L_p$ 压缩指数的非零下界。该结果通过其嵌入到雅克比积中的方式，建立了这些群的定量几何性质。

ABSTRACT

The classic Magnus embedding is a very effective tool in the study of abelian extensions of a finitely generated group $G$, allowing us to see the extension as a subgroup of a wreath product of a free abelian group with $G$. In particular, the embedding has proved to be useful when studying free solvable groups. An equivalent geometric definition of the Magnus embedding is constructed and it is used to show that it is 2-bi-Lipschitz, with respect to an obvious choice of generating sets. This is then applied to obtain a non-zero lower bound on $L_p$ compression exponents in free solvable groups.

研究动机与目标

• 为有限生成群的阿贝尔扩张提供经典 Magnus 嵌入的几何表征。
• 建立 Magnus 嵌入相对于自然生成集的双李普希茨性质。
• 将双李普希茨性质应用于推导自由幂零群中的定量几何不变量。
• 确定自由幂零群中 $L_p$ 压缩指数的非零下界。

提出的方法

• 使用群作用和生成集，构建 Magnus 嵌入的等价几何定义。
• 在雅克比积上定义度量结构，以分析嵌入下的畸变。
• 通过比较源群和目标群中的字长，证明 Magnus 嵌入是 2-双李普希茨的。
• 利用双李普希茨性质，界定自由幂零群中 $L_p$ 压缩函数的增长。
• 应用关于压缩指数的已知结果，推导出在雅克比积嵌入背景下为正的下界。

实验结果

研究问题

• RQ1 Magnus 嵌入相对于雅克比积的标准生成集是否为 2-双李普希茨？
• RQ2 Magnus 嵌入的几何表述能否在自由幂零群中导出定量几何不变量？
• RQ3 自由幂零群的 $L_p$ 压缩指数是多少，能否被一个正的常数下界控制？
• RQ4 Magnus 嵌入的双李普希茨性质如何与雅克比积的几何相关？

主要发现

• 证明了 Magnus 嵌入相对于雅克比积中一个明显的生成集选择是 2-双李普希茨的。
• 构建了 Magnus 嵌入的几何重述，为理解其结构与畸变提供了新视角。
• 双李普希茨性质使得能够推导出自由幂零群中 $L_p$ 压缩指数的非零下界。
• 该结果证实了自由幂零群表现出非平凡的 $L_p$ 压缩，表明其具有类似非阿贝尔群的几何行为。