[논문 리뷰] Groups with graphical C(6) and C(7) small cancellation presentations

Dominik Gruber|arXiv (Cornell University)|2012. 09. 30.

Geometric and Algebraic Topology참고 문헌 12인용 수 5

한 줄 요약

이 논문은 고전적 소작소멸 이론을 그래픽적 $C(6)$ 및 $C(7)$ 조건으로 확장하며, 리드논의 곡률 공식과 반 캄펜 다이어그램을 기반으로 한 조합론적 방법을 사용한다. 그래픽적 $C(7)$ 표현을 가진 군들이 비아벨 자유 부분군을 포함함을 증명하여 비가역성과 지수적 성장을 암시하고, $Gr(6)$-라벨링된 그래프가 주어진 무한한 유한 그래프의 열거를 근사적으로 포함할 수 있음을 보이며, 이는 라쿠나리 하이퍼볼릭 군과 그로모프의 몬스터를 명시적으로 구성하는 데 기여한다.

ABSTRACT

We extend fundamental results of small cancellation theory to groups whose presentations satisfy the generalizations of the classical C(6) and C(7) conditions in graphical small cancellation theory. Using these graphical small cancellation conditions, we construct lacunary hyperbolic groups and groups that coarsely contain prescribed infinite sequences of finite graphs. We prove that groups given by (possibly infinite) graphical C(7) presentations contain non-abelian free subgroups.

연구 동기 및 목표

• 고전적 $C(6)$ 및 $C(7)$ 소작소멸 이론의 기본 결과를 메트릭 가정 없이 그래픽 설정으로 일반화하는 것.
• 그래픽적 $C(7)$ 표현을 가진 군들이 비아벨 자유 부분군을 포함함을 입증하여 비가역성과 지수적 성장을 암시하는 것.
• 주어진 무한한 유한 그래프의 열거를 근사적으로 포함하는 군을 조합론적이고 메트릭이 아닌 프레임워크로 구성하는 것, 특히 확장자 그래프를 포함하여.
• 라쿠나리 하이퍼볼릭 군을 $Gr(7)$ 및 $Gr'(rac{1}{6})$ 조건을 통해 명시적으로 구성하는 것, 이는 이전의 랜덤 또는 비명시적 방법의 한계를 극복하기 위함이다.

제안 방법

• 그래픽적 표현에서 반 캄펜 다이어그램을 분석하기 위해 평면 2-複素체의 오일러 지표에서 유도된 리드논의 곡률 공식을 사용한다.
• 최소 다이어그램에서 면의 경계와 호의 길이에 대한 조합론적 추론을 적용하여 곡률 및 하이퍼볼릭성 성질을 확립한다.
• 관계자 간의 겹침을 제어하고 기하적 성질을 보장하기 위해 라벨링된 그래프에 $Gr(6)$ 및 $Gr(7)$ 조건을 적용한다.
• 그래프 라벨링에 의해 유도된 기본군의 준동형 사상의 이미지의 정규폐쇄를 통해 자유군의 몫으로 군을 구성한다.
• 초집합 극한과 점근적 원뿔을 사용하여 포함 사상의 비율과 하이퍼볼릭 상수를 통해 라쿠나리 하이퍼볼릭성을 특성화한다.
• 올리비에의 $Gr'(rac{1}{6})$-라벨링된 그래프에 대한 결과를 응용하여 라쿠나리 하이퍼볼릭성에 대한 조합론적 기준을 도출한다.

실험 결과

연구 질문

• RQ1 고전적 $C(6)$ 및 $C(7)$ 소작소멸 이론의 기본 결과를 메트릭 가정 없이 그래픽 설정으로 확장할 수 있는가?
• RQ2 그래픽적 $C(7)$ 표현이 결과 군에 비아벨 자유 부분군의 존재를 보장하는가?
• RQ3 $Gr(6)$-라벨링된 그래프를 사용하여 주어진 무한한 유한 그래프의 열거(예: 확장자 가족 포함)를 근사적으로 포함하는 군을 구성할 수 있는가?
• RQ4 무한한 그래프에 대한 어떤 조합론적 조건이 라쿠나리 하이퍼볼릭 군을 그래픽적 소작소멸을 통해 명시적으로 구성할 수 있는가?
• RQ5 메트릭 기반 또는 랜덤 방법보다 더 명시적인 방법을 제공하는 메트릭이 아닌 그래픽적 소작소멸 조건이 라쿠나리 하이퍼볼릭 군과 그로모프의 몬스터를 구성하는 데 유용한가?

주요 결과

• 그래픽적 $C(7)$ 표현을 가진 군들은 비아벨 자유 부분군을 포함하며, 이는 비가역성과 지수적 성장을 암시한다.
• $Gr(6)$ 조건이 라벨링된 그래프에 적용되면, 그로 인해 생성된 군은 정의된 그래프들의 분리합집합을 근사적으로 포함한다. 라벨링이 조건을 만족하면 확장자 가족도 포함된다.
• 적절한 부분수열을 취함으로써 $Gr(7)$ 조건을 만족하는 그래프의 무한한 수열로부터 라쿠나리 하이퍼볼릭 군을 구성할 수 있다.
• $Gr'(rac{1}{6})$ 조건이 만족되면 그래프에 대한 조합론적 기준이 라쿠나리 하이퍼볼릭성을 도출하며, 이는 명시적 구성법을 제공한다.
• 포함 사상 $G(igcup_{g( au_n)< ho_k} au_n) \to G(igcup_{g( au_n)< ho_{k+1}} au_n)$ 의 비율이 하이퍼볼릭 상수보다 더 빠르게 증가하며, 이는 고리 길이 집합이 흐린 경우 라쿠나리 하이퍼볼릭성을 보장한다.
• 고리 길이 집합이 흐리지 않은 경우, 점근적 원뿔은 $\rR$-나무가 아니며, 이는 라쿠나리 하이퍼볼릭성의 실패를 특성화한다.