[논문 리뷰] A note on twisted conjugacy and generalized Baumslag-Solitar groups

Jennifer Taback, Peter Wong|ArXiv.org|2006. 06. 12.

Geometric and Algebraic Topology참고 문헌 17인용 수 18

한 줄 요약

이 논문은 일반화된 Baumslag-Solitar 군에 대해, 모든 자기동형사상이 무한히 많은 왜곡된 쌍대류를 가지는 성질 $R_{ au}$가 준위상등장성에 의해 보존됨을 증명한다. Whyte의 준위상등장성 분류 결과와 이전의 해소 가능한 Baumslag-Solitar 군에 대한 연구를 확장하여, 비원소적 일반화된 Baumslag-Solitar 군과 준위상등장하는 모든 유한 생성 군 역시 성질 $R_{ au}$를 가짐을 증명함으로써, $R_{ au}$의 기하 불변성을 더 넓은 군의 범주로 확장한다.

ABSTRACT

A generalized Baumslag-Solitar group is the fundamental group of a graph of groups all of whose vertex and edge groups are infinite cyclic. Levitt proves that any generalized Baumslag-Solitar group has property R-infinity, that is, any automorphism has an infinite number of twisted conjugacy classes. We show that any group quasi-isometric to a generalized Baumslag-Solitar group also has property R-infinity. This extends work of the authors proving that any group quasi-isometric to a solvable Baumslag-Solitar BS(1,n) group has property R-infinity, and relies on the classification of generalized Baumslag-Solitar groups given by Whyte.

연구 동기 및 목표

• 일반화된 Baumslag-Solitar 군에 대해 성질 $R_{\tau}$가 준위상등장성에 대해 불변인지 여부를 규명하는 것.
• 이전의 $BS(1,n)$ 및 해소 가능한 일반화 결과를 더 넓은 범주인 일반화된 Baumslag-Solitar 군으로 확장하는 것.
• 나무 작용과 모듈러 스칼라 함수를 이용하여 일반화된 Baumslag-Solitar 군과 준위상등장하는 군의 구조를 분석하는 것.
• 단조군의 경우를 해결하기 위해, 이러한 군이 비원소적 일반화된 Baumslag-Solitar 군의 준위상등장성 범주에 나타날 수 없다는 것을 보이는 것.

제안 방법

• 일반화된 Baumslag-Solitar 군과 준위상등장하는 군의 분류 결과인 Whyte의 결과를 활용하여, 세 가지 경우로 나누기: $BS(1,n)$, $F_n \times \mathbb{Z}$의 유사적 성질, 또는 유사 순환군의 그래프의 기본군.
• 비원소적 Gromov 초구형 군의 Hopfian 성질에 관한 Sela의 결과를 적용하여 두 번째 경우에서 자기동형사상의 유한성을 확보한다.
• 나무 위의 군 작용에 대해 모듈러 스칼라 함수 $\Delta: G \to \mathbb{Q}^*$를 정의하여, 타원형 원소의 구조와 그 쌍대류를 분석한다.
• Levitt의 주장에 따라 비단조군의 경우 $\Delta$의 이미지가 무한하므로 Reidemeister 수가 무한함을 보이고, 중심의 구조를 통해 단조군의 경우가 모순이 됨을 보인다.
• 중심 $Z(G)$를 분석하여, 이는 유사적 $\mathbb{Z}$ 또는 토크션 원소의 정규폐쇄일 수 있으며, 둘 다 단조군 조건 하에서 모순이 됨을 증명한다.
• 짧은 정규열 $1 \to Z(G) \to G \to F \to 1$ 을 활용하며, $F$는 유사 자유군임을 이용하고, $G$가 유사적 $\mathbb{Z} \times F_n$이 되어야 하며, 이는 단조군 가정과 모순됨을 보인다.

실험 결과

연구 질문

• RQ1 비원소적 일반화된 Baumslag-Solitar 군과 준위상등장하는 모든 군에 대해 성질 $R_{\tau}$가 성립하는가?
• RQ2 기하 불변성의 $R_{\tau}$는 해소 가능한 Baumslag-Solitar 군을 넘어서 일반화된 Baumslag-Solitar 군의 더 넓은 범주로 확장될 수 있는가?
• RQ3 일반화된 Baumslag-Solitar 군과 준위상등장하는 군에서는 중심과 모듈러 스칼라 함수에 대해 어떤 구조적 제약 조건이 발생하는가?
• RQ4 왜 단조군의 경우가 모순이 되며, 이는 일반적인 경우의 증명을 완성하는 데 어떻게 기여하는가?
• RQ5 모듈러 스칼라 함수 $\Delta$와 그 이미지는 어떤 정도로 자기동형사상의 Reidemeister 수를 결정하는가?

주요 결과

• 비원소적 일반화된 Baumslag-Solitar 군과 준위상등장하는 모든 유한 생성 군은 성질 $R_{\tau}$를 가짐을 보이며, 이는 $BS(1,n)$에서 전체 범주로의 결과 확장이다.
• 모듈러 스칼라 함수 $\Delta: G \to \mathbb{Q}^*$는 자기동형사상에 의해 보존되며, 그 이미지는 왜곡된 쌍대류의 유한성에 영향을 미친다.
• 만약 $\Delta$가 비자명하다면, 임의의 자기동형사상 $\varphi$에 대해 $R(\varphi) = \infty$임을 보이며, 이는 $\varphi$-쌍대류 원소들이 동일한 모듈러스를 가져야 하기 때문이다.
• 이러한 군의 중심 $Z(G)$는 유사적 $\mathbb{Z}$ 또는 토크션 원소의 정규폐쇄일 수 있지만, 둘 다 단조군 조건 하에서 모순이 된다.
• 단조군의 경우가 발생할 수 없는 이유는 $G$가 유사적 $\mathbb{Z} \times F_n$이 되어야 하며, 이는 준위상등장성 범주와 모순되기 때문이다.
• 증명은 Whyte의 준위상등장성 분류, Sela의 Hopfian 성질, Levitt의 모듈러 구조를 조합하여 $R_{\tau}$의 불변성을 확립한다.