[論文レビュー] 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$ 個の木の 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-セルの境界を囲むことを検証することで、カイリー 2-複体が $\mathcal{H}_2(\mathbb{Z})$ に等長であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたランプライター群の代数的構造を、それが水平的積の木として幾何学的に実現されることと明示的に結びつけるにはどうすればよいか？
• RQ2 水平的積の文脈において、ランプライター・モデルは群の関係を可視化し検証するために果たす役割は何か？
• RQ3 Baumslang-Remeslennikov 群のカイリー 2-複体は、三つの木の水平的積として幾何学的に実現可能か？
• RQ4 積空間内の高さ関数と辺の走査は、群提示における関係とどのように対応するか？
• RQ5 無限生成集合や非アーベル基底群をもつ群への水平的積構成の一般化はどのように可能か？

主な発見

• $\Gamma_1(2) = (\mathbb{Z}/2\mathbb{Z}) \wr \mathbb{Z}$ の生成集合 $\{a, at\}$ を持つカイリー図形は、二つの無限二分木の水平的積 $\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のセルは関係 $\lambda_{i+j} = \mu_i \nu_j$ と一致し、タイプ2のセルは関係 $\lambda_i = \nu_i \mu_i$ と一致する。
• $\mathcal{H}_2(\mathbb{Z})$ 内のすべての 2-セルの境界は、群提示のリレーターに対応し、すべてのリレーターが一意な 2-セルの境界を囲むため、複体構造が確認される。
• 群が水平的積上の幾何学的作用は、共通コンパクトで、等長的かつ離散的であり、空間上の幾何学的作用が確認される。