[論文レビュー] A user's guide to cloning systems

Matthew C. B. Zaremsky|arXiv (Cornell University)|Jun 28, 2016

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

ひとこと要約

この論文は、群の族からトマソンに類似した群を構成する枠組みとしてクローン系を導入し、有限提示可能性などの望ましい有限性性質を保つ。直接極限がしばしばその性質を破壊するのとは対照的に、特定の公理を満たす有向系写像、表現写像、クローン写像を定義することで、入力群の有限性長のliminfに一致する一般化されたトマソン群が得られ、その極限プロセスはきわめて頑健である。

ABSTRACT

In joint work of the author with Stefan Witzel, a procedure was developed for building new examples of groups in the extended family of R. Thompson's groups, using what we termed \emph{cloning systems}. These new Thompson-like groups can be thought of as limits of families of groups, though unlike other limiting processes, e.g., direct limits, these tend to be well behaved with respect to finiteness properties. In this expository note, we distill the crucial parts of that 50-page paper into a more digestible form, for those curious to understand the construction but less curious about the gritty details. We also give one new example, of a cloning system involving signed symmetric groups.

研究の動機と目的

• クローン系を用いて群の族からトマソンに類似した群を構成する一般枠組みを構築すること。
• 直接極限がしばしばその性質を破壊するのとは対照的に、有限提示性を含む有限性性質を極限的構成で保つこと。
• 既知のトマソン群（例：F, V, F_br, V_br）を回復し、新たな例を生成する統一的アプローチを提供すること。
• 符号付き対称群やねじれ付きブレード群を含む新たな例を探索し、その有限性性質を分析すること。

提案手法

• 有向系写像 ι_{m,n}: G_m → G_n、表現写像 ρ_n: G_n → S_n、クローン写像 κ_k^n: G_n → G_{n+1}（1 ≤ k ≤ n）の三つの構成要素を用いて、群の族 (G_n) におけるクローン系を定義する。
• 有向系、表現写像、クローン写像の間の整合性を保証する公理を課す。特に、一貫性のために ρ_n((g)ι_{m,n}) = (ρ_m(g))ι_{m,n} を要請する。
• クローン系を用いて族 (G_n) から極限に類似した対象として一般化されたトマソン群 𝒯(G_*) を構成し、その元をタプルの同値類として表現する。
• 結果として得られるトマソンに類似した群の幾何学的・位相的性質を分析するために、Stein–Farley複体を用いる。
• 群の性質を評価するために、G が F_n 型である最大の n を測る有限性長関数 φ(G) を適用する。
• 複数の事例において φ(𝒯(G_*)) = liminf_{n→∞} φ(G_n) を検証し、構成が有限性性質を保つことを示す。

実験結果

リサーチクエスチョン

• RQ1 群の族からトマソンに類似した群を構成する一般的手法を開発できるか？ その際、有限性性質（特に有限提示性）が保たれるか？
• RQ2 クローン系は、有限提示性などの有限性性質に関して、直接極限とはどのように異なる挙動を示すか？
• RQ3 符号付き対称群 S_n^± やねじれ付きブレード群 B_n^twist などの族から、どのような新しいトマソンに類似した群が生じるか？
• RQ4 結果として得られるトマソンに類似した群 𝒯(G_*) の有限性長は、常に G_n の有限性長の liminf に等しいか？
• RQ5 この枠組みを行列群 B_n(𝒪_S) やアーベル群に拡張できるか？ それらは F_∞ 型の群を生成するか？

主な発見

• クローン系による一般化されたトマソン群の構成は、有限性性質を保つ：すべての既知の例で φ(𝒯(G_*)) = liminf_{n→∞} φ(G_n) が成り立つ。
• G_n = {1} の場合、結果として得られる群はトマソンの群 F であり、F_∞ 型である。これは φ(G_n) = ∞ の liminf と一致する。
• G_n = S_n の場合、結果として得られる群は V であり、これも F_∞ 型である。公式が等号で成り立つことが確認される。
• G_n = B_n(R)（環 R 上の上三角行列群）の場合、R = 𝒪_S ならば 𝒯(G_*) の有限性長はちょうど |S|−1 に一致し、liminf と一致する。
• アーベル群 Ab_n(ℤ[1/p]) について、各々の φ(G_n) = n−2 → ∞ であるが、結果として得られるトマソンに類似した群は F_∞ 型である。これは liminf 公式が成り立つことを示している。
• 群 𝒯(S_*^±) は V に同型である。これは符号付き対称群が標準的な V 群と同一の有限性性質を持つことを確認する。