R 톰프슨 군 F의 뒤틀린 동형류 무한성

논문은 R. 톰프슨 군 F에 대한 뒤틀린 동형류(리드미스터 클래스)의 무한성, 즉 R∞ 성질을 증명한다. 서론에서는 φ:G→G 라는 자동사상에 대해 φ‑동형류와 그 개수 R(φ)를 정의하고, 이 개념이 Nielsen‑Reidemeister 고정점 이론, Selberg‑Arthur 이론, 그리고 비가환 Burnside‑type 정리와 어떻게 연결되는지를 설명한다. 기존 연구에서는 비가환 하이퍼볼릭 군, Baumslag‑Solitar 군, 램프라이터 군 등 다양한 군에서 R∞ 성질이 확인되었으며, 저자들은 이러한 흐름에 F를 추가하고자 한다. 섹션 2에서는 Thompson 군 F의 구체적 정의와 기본 성질을 정리한다. F는 실수선 위의 조각선형, 방향 보존, 기울기가 2^k이며 절단점이 dyadic rational에만 존재하는 변환들의 집합이다. 중요한 사실은 F의 교환 부분군 F′가 모든 정상 부분군에 포함되고, F′는 “±∞ 근처에서 항등”인 변환들로 구성된다는 점이다. 또한, F는 Ab: F→Z×Z 라는 아벨리안화 사상을 가지고, (f_l,f_r) 로 좌·우 평행이동을 기록한다. 핵심은 Brin의 정리(정리 2.1)이다. Brin은 Aut(F)가 두 종류의 자동사상으로 생성된다고 보였는데, 하나는 Rev: x↦−x 로 정의되는 내적 자동사상이고, 다른 하나는 “eventual‑T‑like conjugation”이라 불리는, 무한히 멀리 양쪽에서 주기성을 갖는 변환에 의한 내적 자동사상이다. Lemma 2.2는 이러한 eventual‑T‑like conjugation이 원소 f의 좌·우 평행이동 성분을 보존한다는 것을 증명한다. 따라서 모든 eventual‑T‑like 자동사상은 H₁(F)≅Z×Z에서 항등을 유도한다(Corollary 2.3). 반면 Rev는 (f_l,f_r)↦(−f_r,−f_l) 로 작용하여 행렬 M=