[논문 리뷰] Reidemeister numbers of saturated weakly branch groups

Alexander Fel’shtyn, Yuriy Leonov외 1명|ArXiv.org|2006. 06. 28.

Mathematical Dynamics and Fractals참고 문헌 11인용 수 8

한 줄 요약

이 논문은 포화된 약한 분지 군의 모든 자가동형사상—특히 그리고치크 군과 구파-시드키 군—이 무한한 Reidemeister 수를 가지며, 이는 이러한 군이 $R_{\infty}$ 성질을 가짐을 증명한다. 증명은 나무 자가동형사상에 의해 유도된 자가동형사상의 구조와 뿌리 달린 나무 위에서의 외부 동형류 분석에 기반하여, 어떤 자가동형사상에 대해서도 유한한 수의 동형류로는 군 전체를 덮을 수 없음을 보여준다.

ABSTRACT

We prove for a wide class of saturated weakly branch group (including the (first) Grigorchuk group and the Gupta-Sidki group) that the Reidemeister number of any automorphism is infinite.

연구 동기 및 목표

• 포화된 약한 분지 군이 $R_{\infty}$ 성질을 만족하는지, 즉 모든 자가동형사상이 무한한 Reidemeister 수를 갖는지 확인하는 것.
• 그리고치크 군과 구파-시드키 군과 같은 주요 예를 포함하여 $R_{\infty}$ 성질을 가진 군의 범주를 확장하는 것.
• 뿌리 달린 나무 위에서의 군 작용 맥락에서 외부 동형류의 구조를 분석하는 것.
• 특히 국소 정규성과 강한 포화성 조건 하에서 Reidemeister 수가 여전히 무한한지의 조건을 설정하는 것.

제안 방법

• 구면 대칭성 있는 뿌리 달린 나무 위에서 포화된 약한 분지 군의 작용을 이용하여, 자가동형사상과 그들이 나무의 각 수준에 유도하는 작용을 분석한다.
• 관계 $x \sim g x \phi(g^{-1})$ 를 통한 외부 동형류 개념을 적용하고, 이동 변환을 사용하여 서로 다른 자가동형사상 하에서의 동형류를 연결한다.
• 군 $G$ 가 $\operatorname{Iso}{\mathcal{T}}$ 내에서의 정규화군 구조를 이용하여 자가동형사상이 나무 자가동형사상에 의해 유도됨을 특성화한다.
• 특히 WBI 함수를 활용하여 고정점이 증가하는 수준에서의 원소를 구성하는 인도적 추론을 나무 수준에 적용한다.
• 레벨 전이성과 안정자 수열을 포함한 나무 위의 군 작용 결과를 적용하여, 특정 원소들이 서로 동형이 아니라는 것을 보여준다.
• 구파-시드키 군의 알려진 자가동형사상 군의 구조를 활용하여 $R_{\infty}$ 조건을 검증한다.

실험 결과

연구 질문

• RQ1 포화된 약한 분지 군, 예를 들어 그리고치크 군과 같이, 모든 자가동형사상에 대해 무한한 Reidemeister 수를 갖는가?
• RQ2 삼진 나무 위에서 작용하는 군, 예를 들어 구파-시드키 군과 같이, $R_{\infty}$ 성질을 확보할 수 있는가?
• RQ3 뿌리 달린 나무 위에서 군의 작용에 대해 어떤 구조적 조건이 모든 자가동형사상이 무한한 Reidemeister 수를 갖도록 보장하는가?
• RQ4 약한 분지 군에서 나무 자가동형사상에 의해 유도된 자가동형사상 하에서 외부 동형류는 어떻게 행동하는가?
• RQ5 약한 분지 군에서 국소 정규성과 포화성이 $R_{\infty}$ 성질을 어느 정도로 암시하는가?

주요 결과

• 그리고치크 군은 $R_{\infty}$ 성질을 가진다: 모든 자가동형사상 $\phi$ 에 대해 $R(\phi) = \infty$ 이다.
• 구파-시드키 군 역시 $R_{\infty}$ 성질을 만족하며, $\operatorname{Aut}(G)$ 내의 모든 $\phi$ 에 대해 $R(\phi) = \infty$ 이다.
• 이진 나무 위에서 작용하는 임의의 포화된 약한 분지 군에 대해서는 국소 정규성과 레벨 전이성으로 인해 $R(\phi) = \infty$ 가 성립한다.
• 논문은 뿌리 달린 나무에서 차수 4인 정점이 없는 국소 정규 포화된 약한 분지 군에 대해 $R_{\infty}$ 가 성립함을 증명한다.
• 증명은 임의로 높은 수준에서 고정점을 갖는 원소를 구성함에 기반하여, 어떤 유한한 수의 외부 동형류로도 군 전체를 덮을 수 없음을 보여준다.
• 결과적으로, 외부 버나이드-프로베니우스 추측을 검증해야 할 군의 범주가 축소된다.