[논문 리뷰] Twisted conjugacy in Richard Thompson's group T

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

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}$-성질을 만족함을 입증하는 것, 즉 모든 자기동형사상이 무한히 많은 외부 쌍대 등가류를 갖는다는 것.
• 유사한 역학적 기법을 사용하는 후속 증명들과는 다를 바 있는, $R_{\nu}$-성질에 대한 간단한 증명을 제공하는 것.
• 자기동형사상이 호메오모르피즘에 의한 쌍대 등가류 작용을 통해 분석됨에 따라, 일반화된 톰슨 군들, 특히 $F_{n,\nu}$ 및 $T_{n,r}$에 대한 $R_{\nu}$-문제에 대한 통찰을 확장하는 것.
• 일반화된 톰슨 군에서 토크션 외부 자기동형사상 역시 무한히 많은 외부 쌍대 등가류를 유도함을 입증하기 위해, 무한원에서의 이동 및 기울기 불변량을 사용하는 것.

제안 방법

• θ-외부 쌍대 등가류의 정의를 사용: $x \sim_{\theta} y$ 이면 $y = \gamma x \theta(\gamma^{-1})$ 를 만족하는 $\gamma \in T$ 가 존재한다.
• 브린과 구즈만의 결과를 바탕으로, 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}$-성질을 갖는다는 것을 입증한다: $R(\theta) = \infty$ for every $\theta \in \operatorname{Aut}(T)$.
• 증명는 지지집합이 $\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$ 이면, $\gamma^{mk+1}$ 이 서로 다른 $\theta$-외부 쌍대 등가류에 속한다는 것이 레마 3.4를 통해 입증된다. 이는 $\tau$ 와 $\lambda$ 가 자기동형사상 하에서 불변이기 때문이다.
• 이동 불변량 $\tau(\gamma) = b \neq 0$ 는 핵심적이다. 이는 $\gamma^r$ 과 $\gamma^s$ 가 서로 쌍대 등가가 아닐 경우, $r = s$ 라야만 하므로, 무한히 많은 서로 다른 등가류를 보장한다.
• 이 방법은 일반화된 톰슨 군들인 $F_{n,\infty}$ 와 $F_n$ 에도 적용 가능하며, 어떤 자기동형사상이 토크션 외부 자기동형사상임을 나타내면 $R(\theta) = \infty$ 를 유도한다.
• 비순환 외부 자기동형사상의 경우, 이 방법은 실패한다. 이 경우 레마 3.4의 조건을 만족하는 원소들이 존재한다는 것이 알려져 있지 않기 때문이다.