[논문 리뷰] Small cancellation theory and Burnside problem

Rémi Coulon|arXiv (Cornell University)|2013. 02. 27.

Geometric and Algebraic Topology참고 문헌 21인용 수 19

한 줄 요약

이 논문은 히퍼볼릭 군에서의 소작소리 이론에 기하학적 접근을 제시하며, 준볼록 부분집합과 준지름선을 사용하여 무한한 히퍼볼릭 몫의 수열을 구성한다. 반복적으로 기하학적 소작소리 조건을 적용함으로써, 저자들은 충분히 큰 홀수 지수 $n$에 대해 자유 버나이드 군 $\burn rn$ 이 무한하다는 것을 증명하며, 히퍼볼릭 기하학과 히퍼볼릭 공간 위의 군 작용을 통해 노비코프-아디안 결과에 대한 새로운 증명을 제시한다.

ABSTRACT

In these notes we detail the geometrical approach of small cancellation theory used by T. Delzant and M. Gromov to provide a new proof of the infiniteness of free Burnside groups and periodic quotients of torsion-free hyperbolic groups.

연구 동기 및 목표

• 히퍼볼릭 군의 맥락에서 소작소리 이론을 기하학적으로 재해석하는 것.
• 반복적인 군 몫을 통해 큰 홀수 $n$에 대해 자유 버나이드 군 $\burn rn$ 의 무한성을 보이는 새로운 증명을 확립하는 것.
• 비가상 순환적 토르션 없는 히퍼볼릭 군의 주기적 몫이 항상 무한하다는 것을 보여주기 위해 기법을 확장하는 것.
• 기하학적 불변량인 그로모프 곱과 지름 한계를 사용하여 준볼록 부분집합 간의 겹침을 통제하는 프레임워크를 개발하는 것.
• 모든 단계에서 히퍼볼릭성과 비가상 순환성을 유지함으로써, 상향 수열의 극한이 여전히 무한하다는 것을 보여주는 것.

제안 방법

• $\delta$-히퍼볼릭 공간과 적절하고 코컴 pact한 등거리 작용을 갖는 군 작용을 사용하여 기하학적 소작소리 조건을 정의하는 것.
• $Y$ 가 $2\delta$-준볼록 부분집합이고 $H$ 가 $Y$ 에 코컴 pact하게 작용하는 쌍 $(H,Y)$ 의 가족 $\mathcal{Q}$ 를 정의하는 것.
• 최대 겹침 $\Delta(\mathcal{Q})$ 와 최소 길이 $\ell(\mathcal{Q})$ 를 도입하여 소작소리 조건을 정량화하는 것.
• 준지름선의 안정성 적용: 충분히 큰 $L$ 에 대해, $L$-지역 $(1,l)$-준지름선은 $l+8\delta$-준볼록이다.
• 거리의 경로에 대한 그로모프 곱을 사용하여 거리를 유한하게 제한함으로써, 준지름선 위의 점들이 제어된 겹침 하에서 기준 경로에 가까이 유지됨을 보장하는 것.
• 각 단계에서 히퍼볼릭성과 비가상 순환성을 유지하면서, $H$-부분군에 의해 생성된 정규부분군에 대한 몫을 통해 군 수열 $G_k$ 를 구성하는 것.

실험 결과

연구 질문

• RQ1 소작소리 이론을 히퍼볼릭 군의 맥락에서 기하학적으로 재구성하여 버나이드 군의 무한성을 증명할 수 있는가?
• RQ2 히퍼볼릭 군에서 소작소리 조건을 반복 적용할 때, 히퍼볼릭성과 비가상 순환성이 유지되는 조건은 무엇인가?
• RQ3 기하학적 불변량인 그로모프 곱과 준볼록성은 몫 구성에서 군 원소 간의 겹침을 어떻게 통제할 수 있는가?
• RQ4 결과 몫이 여전히 무한하다는 것을 보장하기 위한 최소 겹침 조건(예: $\Delta(\mathcal{Q})$ 와 $\ell(\mathcal{Q})$ 로 표현)은 무엇인가?
• RQ5 이 방법을 일반적인 비가상 순환적 히퍼볼릭 군의 주기적 몫이 항상 무한하다는 것을 보일 수 있도록 확장할 수 있는가?

주요 결과

• 자유 버나이드 군 $\burn rn$ 은 모든 홀수 $n \geq n_0$ 에 대해 무한하다. 여기서 $n_0$ 는 군과 소작소리 매개변수에 따라 달라진다.
• 이 구성은 비가상 순환적이고 히퍼볼릭인 군 수열 $G_k$ 를 생성하며, 이는 극한 군이 유한해질 수 없음을 보장한다.
• 기하학적 소작소리 조건 $C''(\lambda)$ 는 준볼록 부분집합과 그로모프 곱을 사용하여 재정의되며, 핵심 기준은 $\Delta(\mathcal{Q}) \leq \lambda \ell(\mathcal{Q})$ 이다.
• 준지름선의 안정성은 임의의 $L$-지역 $(1,l)$-준지름선이 $l+8\delta$-준볼록임을 보장하며, 이는 $l$ 과 $\delta$ 에만 의존하는 균일한 유사도를 갖는다.
• 극한 군 $\burn rn$ 이 비가상 순환적 히퍼볼릭 군의 상향 수열의 직접 극한이므로, 이는 무한하다는 것이 입증된다.
• 이 방법은 $\burn rn$ 의 메트릭 작용에 의존하지 않고, 기하학적으로 통제된 몫 수열의 직접 극한을 분석함으로써 이를 피한다.