[論文レビュー] Geometric quasi-isometric embeddings into Thompson's group F

Sean Cleary, Jennifer Taback|arXiv (Cornell University)|Nov 15, 2002

Geometric and Algebraic Topology参考文献 6被引用数 7

ひとこと要約

本稿では、木対図とシフト写像を用いて、$F^m \times \mathbb{Z}^n$ 型の部分群をトマソン群 $F$ に明示的な幾何的準等長埋め込みとして構成する。シフト写像 $\phi$ の距離的性質とフォードハムの語長の推定法を活用することで、これらの埋め込みが準等長であることを証明し、$F$ 及びその部分群の複雑な幾何的構造を示している。

ABSTRACT

We use geometric techniques to investigate several examples of quasi-isometrically embedded subgroups of Thompson's group F. Many of these are explored using the metric properties of the shift map phi in F. These subgroups have simple geometric but complicated algebraic descriptions. We present them to illustrate the intricate geometry of Thompson's group F as well as the interplay between its standard finite and infinite presentations. These subgroups include those of the form F^m cross Z^n, for integral non-negative m and n, which were shown to occur as quasi-isometrically embedded subgroups by Burillo and Guba and Sapir.

研究の動機と目的

• トマソン群 $F$ の幾何的構造を、準等長的埋め込みを伴う部分群の明示的構成によって調査すること。
• 木対図を用いて、特に $F^m \times \mathbb{Z}^n$ のような代数的に複雑な部分群の幾何的解釈を提供すること。
• クローン部分群とシフト写像に基づく構成的手法を用いて、部分群 $F^m \times \mathbb{Z}^n$ が $F$ に準等長的に入っていることを示すこと。
• 有限提示と無限提示の $F$ 間の相互作用を、正規形の幾何的実現を通じて明確にすること。
• 純粋に代数的な証明に代わる幾何的代替手法を提供し、バリリオ、グーバ、サピルが先行して確立した準等長埋め込みの存在を幾何的に実現すること。

提案手法

• 有限根付き2分木で、同じ数の露出リーフを持つペアとして $F$ の元を表す木対図の使用。
• シフト写像 $\phi$ を用いて、$F^m \times \mathbb{Z}^n$ を $F$ に埋め込む方法の適用。ここで $\phi$ は木構造をシフトする作用を果たす。
• フォードハムの手法を用いて、有限提示 $\mathcal{F}$ における語長 $|w|_{\mathcal{F}}$ を木対図のキャリー数 $N(w)$ で推定する。
• 境界の確立：$N(w) - 2 \leq |w|_{\mathcal{F}} \leq 4N(w) - 4$。この境界は、埋め込みにおける歪みを制御するために用いられる。
• 互いに交わりのないクローン部分群 $C_{s_i}$ を用いた埋め込みの構成。ここで $s_i$ は前綴語をもたないように選ばれ、自明な交わりを保証する。
• $\Psi: F^m \times \mathbb{Z}^n \to F$ という写像の定義。これはシフト写像の像と特定の生成元のべきを組み合わせることで、可換性と単射性を保証する。

実験結果

リサーチクエスチョン

• RQ1 幾何的手法を用いて、$F^m \times \mathbb{Z}^n$ 型の部分群をトマソン群 $F$ に準等長的に入れることができるか？
• RQ2 シフト写像 $\phi$ の距離的性質と木対図が、このような埋め込みの構成をどのように支援するか？
• RQ3 埋め込み写像 $\Psi$ の歪み行動はどのようなものか。準等長性を確認するための境界が得られるか？
• RQ4 有限提示と無限提示の $F$ は、正規形の幾何的実現と部分群の埋め込みにおいてどのように相互作用するか？
• RQ5 $F$ 内に、$F^m \times \mathbb{Z}^n$ の複数の異なる準等長的埋め込みを構成できるか。それらの幾何的構造を決定づける要因は何か？

主な発見

• $\Psi: F^m \times \mathbb{Z}^n \to F$ は、互いに交わらないクローン部分群とシフト写像を用いて定義され、準等長的埋め込みである。
• 語長 $|\Psi(w_1, \dots, w_m, t_1, \dots, t_n)|_{\mathcal{F}}$ に対して、$|\Psi|_{\mathcal{F}} \leq 4|(w_1, \dots, t_n)|_{F^m \times \mathbb{Z}^n} + C'$ を満たす定数 $C'$ が存在し、歪みの上界が確立される。
• 下界 $|\Psi|_{\mathcal{F}} \geq |(w_1, \dots, t_n)|_{F^m \times \mathbb{Z}^n} - C''$ が導出され、埋め込みが準等長的であることが確認される。
• この構成により、前綴語をもたないアドレス $s_1, \dots, s_{m+1}$ の選択に応じてパラメータ化された、無限個の準等長的埋め込みを伴う部分群 $F^m \times \mathbb{Z}^n$ の族が得られる。
• キャリーと木のシフトに基づく埋め込みの幾何的単純さが、正規形の代数的複雑さと対照的であり、$F$ の豊かな幾何的構造を示している。
• この手法により、バリリオ、グーバ、サピルが先行して確立した代数的結果——特にこのような埋め込みの存在——が確認され、幾何的に実現された。