[论文解读] Lamplighters, Metabelian Groups, and Horocyclic Products of Trees

Margarita Amchislavska, Tim Riley|arXiv (Cornell University)|May 7, 2014

Geometric and Algebraic Topology参考文献 22被引用 3

一句话总结

本文建立了广义打火机群的几何实现，包括 $Γ_1 = \mathbb{Z} \wr \mathbb{Z}$ 和 Baumslang-Remeslennikov 群，作为树的水平环积的 1-骨架。通过将代数群表示显式翻译为组合打火机模型并操控多项式，作者证明这些群在 $n+1$ 棵树的水平环积上具有几何作用，且 Baumslang-Remeslennikov 例子的凯莱 2-复形被实现为三棵树的水平环积。

ABSTRACT

Bartholdi, Neuhauser and Woess proved that a family of metabelian groups including lamplighters have a striking geometric manifestation as 1-skeleta of horocyclic products of trees. The purpose of this article is to give an elementary account of this result, to widen the family addressed to include the infinite valence case (for instance $\mathbb{Z} \wr \mathbb{Z}$), and to make the translation between the algebraic and geometric descriptions explicit. In the rank-2 case, where the groups concerned include a celebrated example of Baumslag and Remeslennikov, we give the translation by means of a combinatorial `lamplighter description'. This elucidates our proof in the general case which proceeds by manipulating polynomials. Additionally, we show that the Cayley 2-complex of a suitable presentation of Baumslag and Remeslennikov's example is a horocyclic product of three trees.

研究动机与目标

• 提供一种初等且显式的代数群表示与它们作为树的水平环积的几何实现之间的转换。
• 将先前关于打火机群的结果扩展至包含无限度数情形，如 $\mathbb{Z} \wr \mathbb{Z}$。
• 通过证明其同构于三棵树的水平环积，澄清 Baumslang-Remeslennikov 群的凯莱 2-复形的几何结构。
• 通过高度函数与打火机动力学，形式化群关系与水平环积中 2-胞腔边界之间的联系。

提出的方法

• 使用打火机模型将群元素可视化为直线上灯泡与打火机的配置，其中生成元对应于灯泡的翻转与移动。
• 将水平环积构造为树的乘积空间的子集，其中高度函数之和为零。
• 显式识别 $\Gamma_1(2) = (\mathbb{Z}/2\mathbb{Z}) \wr \mathbb{Z}$ 的凯莱图与 $\mathcal{H}_1(\mathbb{Z}/2\mathbb{Z})$（两棵二叉树的水平环积）之间的同构。
• 通过多项式操控将对应关系从 $\mathbb{Z}/2\mathbb{Z}$ 推广至 $\mathbb{Z}$，从而处理 $\mathbb{Z} \wr \mathbb{Z}$ 的情形。
• 通过高度坐标与边遍历分析水平环积 $\mathcal{H}_2(\mathbb{Z})$ 中的 2-胞腔边界，使其与群关系相匹配。
• 验证群表示的每个定义关系均对应一个 2-胞腔边界，反之亦然，从而确保凯莱 2-复形等距同构于 $\mathcal{H}_2(\mathbb{Z})$。

实验结果

研究问题

• RQ1 广义打火机群的代数结构如何被显式地与它们作为树的水平环积的几何实现联系起来？
• RQ2 打火机模型在水平环积背景下可视化与验证群关系中起什么作用？
• RQ3 Baumslang-Remeslennikov 群的凯莱 2-复形能否被几何地实现为三棵树的水平环积？
• RQ4 乘积空间中的高度函数与边遍历如何对应于群表示中的群关系？
• RQ5 水平环积构造如何推广至具有无限生成集或非交换基群的群？

主要发现

• 以生成集 $\{a, at\}$ 的 $\Gamma_1(2) = (\mathbb{Z}/2\mathbb{Z}) \wr \mathbb{Z}$ 的凯莱图与两棵无限二叉树的水平环积 $\mathcal{H}_1(\mathbb{Z}/2\mathbb{Z})$ 等距同构。
• $\mathbb{Z} \wr \mathbb{Z}$，记为 $\Gamma_1$，被实现为两棵无限度数树的水平环积 $\mathcal{H}_1(\mathbb{Z})$ 的 1-骨架。
• Baumslang-Remeslennikov 群 $\Gamma_2 = \langle \lambda_i, \mu_i, \nu_i \mid \lambda_i = \nu_i \mu_i, \lambda_{i+j} = \mu_i \nu_j \rangle$ 的凯莱 2-复形与三棵树的水平环积 $\mathcal{H}_2(\mathbb{Z})$ 等距同构。
• 在 $\mathcal{H}_2(\mathbb{Z})$ 中的每个 2-胞腔对应于 $\Gamma_2$ 的一个定义关系，其中类型-1 与类型-2 胃胞腔分别对应关系 $\lambda_{i+j} = \mu_i \nu_j$ 与 $\lambda_i = \nu_i \mu_i$。
• $\mathcal{H}_2(\mathbb{Z})$ 中每个 2-胞腔的边界对应于群表示中的一个相对关系，且每个相对关系恰好包围一个唯一的 2-胞腔，从而确认了复形结构。
• 群在水平环积上的几何作用是余紧、等距且无处不连续的，从而确认了其在该空间上的几何作用。