[논문 리뷰] Conjugacy growth of finitely generated groups

Michael Hull, Denis Osin|arXiv (Cornell University)|2011. 07. 10.

Geometric and Algebraic Topology참고 문헌 24인용 수 3

한 줄 요약

이 논문은 유한 생성 군의 동치 성장 함수로 나타날 수 있는 함수들을 완전히 특성화한다: 함수 $ f: \mathbb{N} \to \mathbb{N} $ 는 어떤 $ a \geq 1 $ 에 대해 $ a^n $ 이하로 유계이면서 비감소인 경우에만 (등가 관계에 대해) 실현 가능하다. 저자들은 인덱스 2인 부분군 $ H $ 를 가진 유한 생성 군 $ G $ 를 구성하여, $ H $ 는 오직 두 개의 동치류만 가지지만 $ G $ 는 지수적 동치 성장도 가지며, 이는 동치 성장이 준위상동형 불변성이 아님을 증명한다.

ABSTRACT

We show that every non-decreasing function $f\colon \mathbb N o \mathbb N$ bounded from above by $a^n$ for some $a\ge 1$ can be realized (up to a natural equivalence) as the conjugacy growth function of a finitely generated group. We also construct a finitely generated group $G$ and a subgroup $H\le G$ of index 2 such that $H$ has only 2 conjugacy classes while the conjugacy growth of $G$ is exponential. In particular, conjugacy growth is not a quasi-isometry invariant.

연구 동기 및 목표

• 유한 생성 군의 동치 성장 함수로 나타날 수 있는 함수들을 규명하는 것.
• 기하군론에서 핵심적인 질문인 동치 성장이 준위상동형에 대해 불변인지 조사하는 것.
• 특히 부분군의 구조와 관련하여 동치 성장의 극한 행동을 보여주는 명시적 예제를 구성하는 것.
• 등가 관계에 대해 동치 성장 함수를 완전히 분류하는 것.

제안 방법

• 저자들은 소규모 취소 이론과 HNN-확장을 사용하여 제어된 동치 구조를 가진 군 $ G $ 를 귀납적으로 구성한다.
• 각각 특정 성질을 만족하는 군의 수열 $ G(i) $ 를 정의한다: 순환 부분군 $ C $ 에 대해 초구형이며, 토르션 자유이며, 제어된 동치 행동을 가진다.
• 구성 과정은 HNN-확장을 통해 군을 반복적으로 수정하고, 정규부분군으로 몫을 취해 동치 관계를 강제하는 방식이다.
• 핵심 기법은 최종 몫에서 특정 원소들이 동치가 되도록 보장하기 위해 정리 6.2(소규모 취소 결과)를 적용하는 것이다.
• Svarč–Milnor 보조정리와 단어 거리함수를 사용하여 동치 성장과 군의 기하적 성질을 연결한다.
• 증명은 군 수열 전반에 걸쳐 구조적 성질(예: $ C $ 에서의 단사성, 핵 제어)의 귀납적 검증에 의존한다.

실험 결과

연구 질문

• RQ1 함수 $ f: \mathbb{N} \to \mathbb{N} $ 중에서 어떤 것이 유한 생성 군의 동치 성장 함수로 실현될 수 있는가?
• RQ2 일반 성장이 준위상동형에 대해 불변이 아니므로, 동치 성장도 준위상동형에 대해 불변일까?
• RQ3 유한 인덱스 부분군이 유한 개의 동치류만 가지는 유한 생성 군이 지수적 동치 성장을 가질 수 있는가?
• RQ4 어떤 군의 구조적 조건이 그의 동치 성장이 지수적임을 보장하는가?
• RQ5 초구형으로 통합된 부분군은 동치 성장 함수에 어떤 영향을 미치는가?

주요 결과

• 함수 $ f: \mathbb{N} \to \mathbb{N} $ 는 어떤 $ a \geq 1 $ 에 대해 $ a^n $ 이하로 유계이면서 비감소인 경우에만 (등가 관계 $ f \sim g $ 가 $ f \preceq g $ 이고 $ g \preceq f $ 이면) 유한 생성 군의 동치 성장 함수로 실현 가능하다.
• 저자들은 인덱스 2인 부분군 $ H \leq G $ 를 가진 유한 생성 군 $ G $ 를 구성하여, $ H $ 는 정확히 두 개의 동치류만 가진다.
• 비록 $ H $ 가 오직 두 개의 동치류만 가지지만, $ G $ 의 동치 성장은 지수적이며, 이는 동치 성장이 준위상동형 불변성이 아님을 보여준다.
• 군 $ G $ 는 토르션 자유이고, 2-생성이며, 동치 성장 함수는 $ 2^n $ 과 등가이므로 지수 성장임을 확인한다.
• 구성은 귀납적 HNN-확장과 소규모 취소 기법을 사용하여, 동치류를 제어하면서도 순환 부분군에 대해 초구형성을 유지한다.
• 결과적으로, 맵핑 클래스 군과 기타 초구형 유사 군의 부분군의 동치 성장 함수도 지수적임을 시사하며, 이는 정리 1.1에 의해 보여진다.