[논문 리뷰] Height, Graded Relative Hyperbolicity and Quasiconvexity {\it (with Corrigendum)}

Dahmani, Francois, Mj, Mahan|arXiv (Cornell University)|2016. 02. 02.

Geometric and Algebraic Topology인용 수 6

한 줄 요약

이 논문은 초등형 군, 상대적으로 초등형 군, 매핑 클래스 군 및 Out(Fn)에서의 준편평성, 상대적 준편평성, 볼록 코컴팩트성의 특성을 기하적 높이와 계층적 상대 초등형성으로 기술한다. 또한, 하위군 H가 준편평성(또는 상대적 준편평성/볼록 코컴팩트성)임과 동시에 쌍 (G, {H})가 포화된 기하적 계층적 상대 초등형성을 띠는 것과 필요충분조건임을 증명하며, 원래 버전에서 발견된 결함을 수정한 증명을 제시한다.

ABSTRACT

We introduce the notions of geometric height and graded (geometric) relative hyperbolicity in this paper. We use these to characterize quasiconvexity in hyperbolic groups, relative quasiconvexity in relatively hyperbolic groups, and convex cocompactness in mapping class groups and $Out(F_n)$. Corrigendum: there is an unfortunate mistake in the statement and the proof of Proposition 5.1. This affects one direction of the implications of the main theorem. A correction is given, that states that given a quasi-convex subgroup of a hyperbolic (or relatively hyperbolic) group, the graded relative hyperbolic structure holds with respect to saturations of I-fold intersections, that are stabilizers of limit sets of I-fold intersections.

연구 동기 및 목표

• 초등형 군에서 유한한 대수적 높이가 준편평성임을 보이는 열린 질문을 다루며, Bowditch의 거의 정규 하위군에 대한 결과를 확장한다.
• 초등형 군을 초월하여 상대적으로 초등형 군, 매핑 클래스 군, Out(Fn)로 준편평 하위군의 특성화를 일반화한다.
• 준편평성 및 볼록 코컴팩트성의 기존 특성화를 통합하고 강화하기 위해 기하적 높이와 계층적 기하적 상대 초등형성의 새로운 개념을 도입한다.
• 전기화된 거리에서 상호 코보운드드니스에 관한 Proposition 5.1의 심각한 오류를 수정하여 주요 정리의 타당성을 확보한다.
• 여러 기하적 맥락에서 준편평성(또는 관련 성질)과 포화된 기하적 계층적 상대 초등형성 사이의 정확한 등가 관계를 설정한다.

제안 방법

• 기하적 높이를 단어 거리에서 코셋의 비유계 교차의 최대 개수로 정의하여 고전적인 대수적 높이 개념을 일반화한다.
• 상대적 생성 집합에서의 단어 거리를 사용하여 하위군 H의 공轭의 교차를 순차적으로 전기화함으로써 계층적 상대 초등형성을 정의한다.
• 粗기하 초등형 임베딩과 점근적 콘을 사용하여 전기화 과정에서 준편평성의 유지 여부를 분석하고 핵심 기술적 보조정리를 증명한다.
• 전기화된 공간으로의 전환 시 준편평성이 유지되도록 보장하기 위해 균일한 qi-교차 성질을 설정한다.
• Proposition 5.1의 결함 있는 증명을 수정하기 위해 하위군의 포화 개념을 도입하고, 포화된 하위군이 스스로의 정규화군과 동일하다는 것을 증명한다.
• 수정된 프레임워크를 적용하여, 초등형 군, 상대적으로 초등형 군, 매핑 클래스 군, Out(Fn)의 네 가지 주요 기하 맥락에서 준편평성(또는 상대적 준편평성/볼록 코컴팩트성)이 포화된 기하적 계층적 상대 초등형성과 등가임을 증명한다.

실험 결과

연구 질문

• RQ1 기하적 높이가 유한하고 균일한 qi-교차 성질을 만족할 경우, 초등형 군에서 준편평성이 성립하는가?
• RQ2 상대적 초등형성에 의한 준편평 하위군의 특성화가 상대적으로 초등형 군, 매핑 클래스 군, Out(Fn)로 확장 가능한가?
• RQ3 다양한 기하 맥락에서 준편평성, 상대적 준편평성, 볼록 코컴팩트성을 통합적으로 기술할 수 있는 계층적 상대 초등형성의 개념이 존재하는가?
• RQ4 전기화된 거리에서 상호 코보운드드니스의 실패가 이전의 특성화를 무효화하는가? 만약 그렇다면 어떻게 수정할 수 있는가?
• RQ5 수정된 프레임워크는 더 강력한 포화된 계층적 상대 초등형성 개념을 사용하여 원래의 정리를 회복할 수 있는가?

주요 결과

• 논문은 하위군 H가 초등형 군 G에서 준편평성임과 동시에 (G, {H})가 포화된 기하적 계층적 상대 초등형성을 띠는 것과 필요충분조건임을 증명한다.
• 상대적으로 초등형 군의 경우, H가 상대적 준편평성임과 동시에 (G, {H}, d)가 상대적 생성 집합에 대해 포화된 기하적 계층적 상대 초등형성을 띠는 것과 필요충분조건이다.
• 매핑 클래스 군의 경우, H가 볼록 코컴팩트성임과 동시에 (G, {H}, d)가 포화된 기하적 계층적 상대 초등형성을 띠고, H가 곡선 복합체 위에서 균일하게 적절한 작용을 하는 것과 필요충분조건이다.
• Out(Fn)의 경우, H가 볼록 코컴팩트성임과 동시에 (G, {H}, d)가 포화된 기하적 계층적 상대 초등형성을 띠고, H가 자유 요소 복합체 위에서 균일하게 적절한 작용을 하는 것과 필요충분조건이다.
• 수정된 증명은 하위군의 포화가 스스로의 정규화군과 동일하다는 것을 보여줌으로써 원래 버전의 결함을 해결하며, 전기화된 거리에서의 상호 코보운드드니스를 보장한다.
• 주요 정리들, 특히 Theorem 1.4와 Theorem 6.4는 수정되어 이제 포화된 계층적 상대 초등형성의 개념을 사용하여 유효하게 유지되며, 등가 결과의 타당성이 복원되었다.