[论文解读] Twisted conjugacy in Richard Thompson's group T

Daciberg Lima Gonçalves, Parameswaran Sankaran|arXiv (Cornell University)|Sep 11, 2013

Finite Group Theory Research参考文献 6被引用 11

一句话总结

本文证明了理查德·汤普森群 T 具有 $R_{u}$-性质，即 T 的每个自同构都诱导出无限多个扭曲共轭类。证明基于圆周上分段线性同胚的几何与动力学性质，聚焦于不动点集与平移不变量，并通过支持的连通分支数及自同构下斜率/平移不变量的分析，以初等方法得出结论。

ABSTRACT

Let $f$ be an automorphism of a group $G$. Two elements $x, y$ in $G$ are said to be in the same $f$-twisted conjugacy class if there exists an element $z$ in $G$ such that $y=z x f(z^{-1})$. This is an equivalence relation known as $f$-twisted conjugacy. If the number $R(f)$ of $f$-twisted conjugacy classes is infinite for every automorphism $f$ of $G$ one says that $G$ has the $R_\infty$-property. We show that the Richard Thompson group $T$ has the $R_\infty$-property.

研究动机与目标

• 建立理查德·汤普森群 T 满足 $R_{\nu}$-性质，即每个自同构均具有无限多个扭曲共轭类。
• 提供 T 的 $R_{\nu}$-性质的初等证明，该证明与后续使用类似动力学技术的证明相区别。
• 通过共轭作用于同胚分析自同构行为，将洞察延伸至广义汤普森群的 $R_{\nu}$-问题，特别是 $F_{n,\nu}$ 和 $T_{n,r}$。
• 证明广义汤普森群中的扭外自同构同样产生无限多个扭曲共轭类，方法基于无穷远处的平移与斜率不变量。

提出的方法

• 使用 $\theta$-扭曲共轭的定义：$x \sim_{\theta} y$ 当且仅当存在 $\gamma \in T$ 使得 $y = \gamma x \theta(\gamma^{-1})$。
• 基于 Brin 和 Guzmán 的结果，将 T 的自同构结构分析为圆周 $\mathbb{S}^1$ 上同胚 $f$ 的共轭作用。
• 应用无穷远处的平移不变量 $\tau(\gamma)$ 与斜率不变量 $\lambda(\gamma)$ 对 T 中的元素进行分类，并检测非共轭性。
• 构造与 $\operatorname{supp}(f)$ 不相交的具有 $k$-连通分支支持的元素 $\gamma_k$，以证明 $\theta(\gamma_k) = \gamma_k$ 且 $\sigma(\gamma_k \cdot \gamma) = k + \sigma(\gamma)$，从而推出不同的扭曲类。
• 利用引理 3.4 证明当 $\gamma = f^m \neq 1$ 时，元素 $\gamma^{mk+1}$ 属于两两不同的 $\theta$-扭曲共轭类。
• 应用 $\lambda(\gamma) = 1$ 且 $\tau(\gamma) = b \neq 0$ 对非平凡 $\gamma \in T$ 成立的事实，结合共轭下 $rb = sb \Rightarrow r = s$，从而推出无限多个不同的类。

实验结果

研究问题

• RQ1 理查德·汤普森群 T 是否具有 $R_{\infty}$-性质，即所有自同构的扭曲共轭类是否均为无限？
• RQ2 能否通过圆周上 PL-同胚的几何与动力学不变量来证明 T 的 $R_{\infty}$-性质？
• RQ3 在 T 的自同构下，无穷远处的平移与斜率不变量如何变化？它们能否用于区分扭曲共轭类？
• RQ4 用于 T 的技术在多大程度上可推广至广义汤普森群 $F_{n,\infty}$ 和 $T_{n,r}$？
• RQ5 当自同构在外自同构群中表示为非扭元素时会发生什么？该方法是否仍能检测到无限多个扭曲类？

主要发现

• 本文确立了汤普森群 T 具有 $R_{\infty}$-性质：对每个 $\theta \in \operatorname{Aut}(T)$，均有 $R(\theta) = \infty$。
• 证明依赖于构造与 $\operatorname{supp}(f)$ 不相交的具有 $k$-连通分支支持的元素 $\gamma_k$，确保 $\theta(\gamma_k) = \gamma_k$ 且 $\sigma(\gamma_k \cdot \gamma) = k + \sigma(\gamma)$，从而推出无限多个不同的 $\theta$-扭曲共轭类。
• 当 $f^m = \gamma \neq 1$ 时，利用 $\tau$ 与 $\lambda$ 在共轭下的不变性，证明了元素 $\gamma^{mk+1}$ 属于两两不同的 $\theta$-扭曲共轭类。
• 平移不变量 $\tau(\gamma) = b \neq 0$ 至关重要：它阻止 $\gamma^r$ 与 $\gamma^s$ 共轭，除非 $r = s$，从而确保了无限多个不同的类。
• 该方法可推广至广义汤普森群 $F_{n,\infty}$ 与 $F_n$，表明任何表示为扭外自同构的自同构均满足 $R(\theta) = \infty$。
• 该方法在非扭外自同构情况下失效，因为此时无法确知存在满足引理 3.4 条件的所需元素。