[论文解读] A user's guide to cloning systems

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

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

一句话总结

本文提出克隆系统作为框架，从群族构造类似 Thompson 的群，同时保持理想的有限性性质，如有限表现性。通过定义满足特定公理的定向系统映射、表示映射和克隆映射，该构造生成的广义 Thompson 群的有限性长度等于输入群族有限性长度的 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.

研究动机与目标

• 开发一个通用框架，通过克隆系统从群族构造类似 Thompson 的群。
• 在极限构造中保持有限性性质（尤其是有限表现性），与常破坏此类性质的直接极限形成对比。
• 提供一种统一方法，恢复已知的 Thompson 群（例如 F、V、F_br、V_br），并生成新例子。
• 探索涉及带符号对称群和扭曲 braid 群的新例子，并分析其有限性性质。

提出的方法

• 通过三个组成部分在群族 (G_n) 上定义克隆系统：定向系统映射 ι_{m,n}: G_m → G_n，表示映射 ρ_n: G_n → S_n，以及克隆映射 κ_k^n: G_n → G_{n+1}（1 ≤ k ≤ n）。
• 施加公理以确保定向系统、表示映射与克隆映射之间的相容性，特别要求 ρ_n((g)ι_{m,n}) = (ρ_m(g))ι_{m,n} 以保证一致性。
• 利用克隆系统从群族 (G_n) 构造广义 Thompson 群 𝒯(G_*)，作为类似极限的对象，其元素表示为元组的等价类。
• 使用 Stein–Farley 复形分析所得类似 Thompson 群的几何与拓扑性质。
• 应用有限性长度函数 φ(G)，衡量群为 F_n 型的最高 n 值，以评估群的性质。
• 在多种情形下验证 φ(𝒯(G_*)) = liminf_{n→∞} φ(G_n)，表明该构造保持了有限性性质。

实验结果

研究问题

• RQ1 能否发展一种通用构造方法，从群族生成类似 Thompson 的群，同时保持有限性性质？
• RQ2 克隆系统在有限性性质（如有限表现性）方面与直接极限的行为有何不同？
• RQ3 从如带符号对称群 S_n^± 或扭曲 braid 群 B_n^twist 的群族中，会涌现出哪些新的类似 Thompson 的群例子？
• RQ4 所得类似 Thompson 的群 𝒯(G_*) 的有限性长度是否总是等于 G_n 有限性长度的 liminf？
• RQ5 该框架能否扩展至包含矩阵群如 B_n(𝒪_S) 或 Abels 群，它们是否产生 F_∞ 型群？

主要发现

• 通过克隆系统构造广义 Thompson 群可保持有限性性质：在所有已知例子中，φ(𝒯(G_*)) = liminf_{n→∞} φ(G_n) 成立。
• 当 G_n = {1} 时，所得群为 Thompson 群 F，其为 F_∞ 型，与 φ(G_n) = ∞ 的 liminf 一致。
• 当 G_n = S_n 时，所得群为 V，同样为 F_∞ 型，证实公式成立且取等。
• 当 G_n = B_n(R)（R 上上三角矩阵的矩阵群）时，𝒯(G_*) 的有限性长度在 R = 𝒪_S 时恰好为 |S|−1，与 liminf 一致。
• 对于 Abels 群 Ab_n(ℤ[1/p])，尽管每个群的 φ(G_n) = n−2 → ∞，所得类似 Thompson 的群仍为 F_∞ 型，表明 liminf 公式成立。
• 群 𝒯(S_*^±) 同构于 V，证实带符号对称群产生与标准 V 群相同的有限性性质。