[논문 리뷰] Small cancellations over relatively hyperbolic groups and embedding theorems

Denis Osin|arXiv (Cornell University)|2004. 11. 02.

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

한 줄 요약

이 논문은 소작소멸 이론을 상대적으로 비틀림 없는 군으로 일반화하여 가чёт한 군에 대한 새로운 임베딩 정리들을 가능하게 한다. 이는 임의의 가чёт한 순환 없는 군이 정확히 두 쌍대류를 가진 2생성자 군에 포함됨을 증명하며, 정확히 두 쌍대류를 가진 유한 생성 군(ℤ/2ℤ를 제외한)의 존재 문제를 해결한다.

ABSTRACT

We generalize the small cancellation theory over hyperbolic groups developed by Olshanskii to the case of relatively hyperbolic groups. This allows us to construct infinite finitely generated groups with exactly $n$ conjugacy classes for every $n\ge 2$. In particular, we give the affirmative answer to the well--known question of the existence of a finitely generated group $G$ other than $\mathbb Z/2\mathbb Z$ such that all nontrivial elements of $G$ are conjugate.

연구 동기 및 목표

• 일반적인 비틀림 없는 군에서의 소작소멸 이론을 상대적으로 비틀림 없는 설정으로 확장한다.
• 정확히 두 쌍대류를 가진 군(ℤ/2ℤ를 제외한)이 존재하는지 여부에 대한 열린 문제를 다룬다.
• 특정한 쌍대류 구조를 가진 유한 생성 군, 특히 임의의 n ≥ 2에 대해 정확히 n개의 쌍대류를 가진 군을 구성한다.
• 임의의 가чёт한 군이 정확히 두 쌍대류를 가지며, 순서가 같은 원소들이 서로 쌍대류가 되는 2생성 군에 포함됨을 보인다.
• 유한 생성 군이 정확히 두 쌍대류를 가질 수는 없으며, 이는 비틀림 없는 군의 극한으로서 나타나지 않음을 규명한다.

제안 방법

• 저자가 이전에 수행한 작업의 기법을 활용하여 올샤노프의 비틀림 없는 군에 대한 소작소멸 이론을 상대적으로 비틀림 없는 군으로 일반화한다.
• 일반화된 소작소멸 이론을 적용하여 HNN 유사 구조와 통제된 다이어그램 분석을 통해 군의 확장을 구성한다.
• 중첩을 통제하고 소작소멸 조건을 확보하기 위해 연속성 부분도형과 척도 추정(예: (Π,Γ,i,*)-측도)을 사용한다.
• 도형 내 R-셀의 수에 대한 귀납적 추론을 통해 다중 간선 또는 고리가 존재할 경우 모순을 도출한다.
• 준지오데식 성질과 길이 상한(예: l(u) ≤ λ⁻¹(3ε + c))을 적용하여 연속성 측도를 통제하고 소작소절 조건을 강제한다.
• 연속성 그래프 Φ_M의 구조와 그 간선/정점 성질을 활용하여 최소성 조건을 강제하고 다중 간선 또는 고리 존재를 가정할 경우 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 소작소절 이론은 일반 비틀림 없는 군에서 상대적으로 비틀림 없는 군으로 일반화될 수 있는가?
• RQ2 정확히 두 쌍대류를 가진 군(ℤ/2ℤ를 제외한)이 존재하는가?
• RQ3 임의의 가чёт한 군이 순서가 같은 원소들이 서로 쌍대류가 되는 2생성 군에 포함될 수 있는가?
• RQ4 임의의 가чёт한 군이 유한 생성 언어 완전 군에 포함될 수 있는가?
• RQ5 정확히 n개의 쌍대류를 가진 유한 생성 군(n ≥ 2)은 비틀림 없는 군의 극한으로 구성될 수 있는가?

주요 결과

• 임의의 가чёт한 군은 순서가 같은 원소들이 서로 쌍대류가 되며, 유한 순서 집합이 유지되는 2생성 군에 포함된다.
• 임의의 가чёт한 순환 없는 군은 정확히 두 쌍대류를 가지며, 순환 없는 2생성 군에 포함된다.
• 정확히 두 쌍대류를 가지며, 상호 비이sov모르피즘인 2생성 순환 없는 군의 비가чёт한 가닥이 존재한다.
• 모든 n ≥ 2에 대해, 정확히 n개의 쌍대류를 가지며, 상호 비이sov모르피즘인 유한 생성 군의 비가чёт한 가닥이 존재한다.
• 정확히 두 쌍대류를 가지며, ℤ/2ℤ를 제외한 유한 생성 군은 비틀림 없는 군의 극한으로서 구성될 수 없다.
• 임의의 가чёт한 군은 2생성 언어 완전 군에 포함되며, 원래 군이 순환 없는 경우, 목표 군도 순환 없는 것으로 선택할 수 있다.