[論文レビュー] Combinatorial and metric properties of Thompson's group T

José Burillo, Sean Cleary+2 more|arXiv (Cornell University)|Mar 29, 2005

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

ひとこと要約

この論文は、トマソン群 T の組合せ的および幾何的性質を調査し、最小因子分解を用いた一意な標準形を導入し、縮約された木対図形におけるキャレットの数が語長を推定することを示している。F が T において非歪曲であることを証明し、ねじれ元を特定の生成元のべきの共轭として特徴づけ、純粋回転の部分群が T に準等長的に埋め込まれていることを示している。

ABSTRACT

We discuss metric and combinatorial properties of Thompson's group T, including normal forms for elements and unique tree pair diagram representatives. We relate these properties to those of Thompson's group F when possible, and highlight combinatorial differences between the two groups. We define a set of unique normal forms for elements of T arising from minimal factorizations of elements into natural pieces. We show that the number of carets in a reduced representative of an element of T estimates the word length, and that F is undistorted in T. We describe how to recognize torsion elements in T.

研究の動機と目的

• 自然な成分への最小因子分解を用いて、トマソン群 T の元に対する一意な標準形を構築すること。
• 縮約された木対図形におけるキャレットの数と T における語長との間の幾何的関係を確立すること。
• トマソン群 F が T にどのように埋め込まれているかを分析し、特にその非歪曲性および準等長的性質を特定すること。
• T におけるねじれ元を特徴づけ、特定の生成元のべきの共轭であることを同定すること。
• 2進数の距離を用いて、純粋回転の部分群の幾何的埋め込みを調査すること。

提案手法

• 縮約された木対図形から得られる最小因子分解を用いて、T の元に対する一意な標準形を構築すること。
• 木対図形を幾何的表現として用い、各元は同じ枚数の葉を持つ二つの二分木のペアとして表現されること。
• 縮約された木対図形におけるキャレットの数 N(w) を、T における語長を推定するための主要な指標として定義すること。
• 木の最小共通展開の概念を適用して、木対図形の合成による T 内の元の積を計算すること。
• f^n の木対図形の帰納的構成を用いて、ねじれ元およびその固定点の挙動を分析すること。
• 2進数の距離を用いて、T 内の純粋回転部分群 R の準等長的埋め込みを分析すること。

実験結果

リサーチクエスチョン

• RQ1 T の元に対する一意な標準形の構造は何か？ そして、それらは最小因子分解とどのように関係しているか？
• RQ2 縮約された木対図形におけるキャレットの数は、T の元の語長とどのように関係しているか？
• RQ3 トマソン群 F は T において非歪曲であるか？ また、その埋め込みの性質は何か？
• RQ4 木対図形から、T のねじれ元をどのように特定・特徴づけられるか？
• RQ5 T の純粋回転部分群は、2進数の距離に関して準等長的に埋め込まれているか？

主な発見

• T に属する w に対して、縮約された木対図形におけるキャレットの数は、特定の有限生成集合に関する語長を双リプシッツ的に推定する。
• トマソン群 F は T において非歪曲であり、実際、ある代替の有限生成集合に関して、T 内に等長的埋め込みをもつ語の族が存在する。
• f ∈ T がねじれ元であるための必要十分条件は、ある標準生成元 c_i のべき c_i^j に共轭であることである。
• T の純粋回転部分群 R は、2進数の距離に関して T に準等長的に埋め込まれており、a/2^n だけ回転する元の語長は、2^n - 1 個のキャレットと双リプシッツ的に同値である。
• 任意のねじれ元 f ∈ T に対して、f^n の木対図形の帰納的構成は、最終的に f(E_{m-1}) = E_{m-1} となる図形を生成する。これにより、f が生成元のべきに共轭であることが証明される。
• 木の最小共通展開により、T 内の元の合成が木対図形を用いて一貫的かつ体系的に行え、積の表現が一意に定まる。