[논문 리뷰] On the finiteness of the classifying space for the family of virtually cyclic subgroups

Timm von Puttkamer, Xiaolei Wu|arXiv (Cornell University)|2016. 07. 13.

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

한 줄 요약

이 논문은 일련의 군들—특히 한 관계군, 비틀림 없는 초구형 군, 3차원 다양체 군, CAT(0) 큐브 군—에 대해, 그 군이 비틀림 없는 가환군이 아닐 경우, 비틀림 없는 가환부군의 계급에 대한 분류 공간에 대한 유한 모델이 존재하지 않음을 증명한다. 저자들은 이러한 군들이 BVC(유계 비틀림 없는 가환) 성질을 갖지 못함을 기하학적 및 대수적 기법을 통해 보여주어, 이 성질이 유한 모델이 존재하기 위한 필수 조건이 됨을 입증한다. 이 기법들은 CAT(0) 공간 내의 이동 길이와 유한적으로 지배되는 집합을 다루며 적용된다.

ABSTRACT

Given a group G, we consider its classifying space for the family of virtually cyclic subgroups. We show for many groups, including for example, one-relator groups, acylindrically hyperbolic groups, 3-manifold groups and CAT(0) cube groups, that they do not admit a finite model for this classifying space unless they are virtually cyclic. This settles a conjecture due to Juan-Pineda and Leary for these classes of groups.

연구 동기 및 목표

• Juan-Pineda와 Leary가 제기한 비틀림 없는 가환부군에 대한 분류 공간의 유한성에 관한 추측을 해결하기 위해.
• 비틀림 없는 가환부군의 분류 공간에 대한 유한 모델을 허용하는 군의 계열을 규명하기 위해.
• BVC(유계 비틀림 없는 가환) 성질이 이러한 유한 모델에 필수적임을 입증하기 위해.
• 핵심 기하군 이론 계열(예: 한 관계군, 비틀림 없는 초구형 군, 3차원 다양체 군, CAT(0) 큐브 군)에 속하는 비비틀림 없는 가환군이 아닌 군들이 BVC 성질을 갖지 못함을 보여주기 위해.
• 기하군 이론 계열 전반에 걸쳐 BVC 성질을 체계적으로 분석하고, 대수적 유한성과 CAT(0) 공간 위의 기하 작용을 연결하기 위해.

제안 방법

• BVC 성질 분석: 모든 비틀림 없는 가환부군의 코너전을 덮는 유한한 비틀림 없는 가환부군의 집합.
• CAT(0) 공간 내 이동 길이 집합을 이용해, 유한적으로 지배되는 부분집합을 통해 BVC 실패를 탐지.
• 평탄한 토러스 정리를 적용하여, CAT(0) 군 내의 Z² 부분군이 유한적으로 지배되지 않는 이동 길이 집합을 유도함.
• CAT(0) 큐브 복합체 내의 랭크-1 등장사상이 기하학적 왜곡을 통해 BVC 실패를 유도함을 증명.
• HNN 확장과 한 관계군의 구조를 활용하여, 비비틀림 없는 가환군이 아닌 군들이 BVC를 만족할 수 없음을 보임.
• 기하군 이론의 결과(예: Caprace-Sageev 정리)를 활용하여 CAT(0) 큐브 복합체 위의 작용을 분류하고, BVC 실패를 유도함.

실험 결과

연구 질문

• RQ1 한 관계군은 비틀림 없는 가환부군의 분류 공간에 대해 유한 모델을 갖는가?
• RQ2 비틀림 없는 초구형 군은 비틀림 없는 가환부군의 분류 공간에 대해 유한 모델을 갖는가?
• RQ3 3차원 다양체 군은 비틀림 없는 가환부군의 분류 공간에 대해 유한 모델을 갖는다 할지라도, 그 군이 비틀림 없는 가환군이 아닐 경우에 대해 어떻게 되는가?
• RQ4 CAT(0) 큐브 군은 비틀림 없는 가환부군의 분류 공간에 대해 유한 모델을 갖는가? 유한 모델이 존재하기 위한 조건은 무엇인가?
• RQ5 비틀림 없는 가환부군의 분류 공간에 대한 유한 모델을 갖기 위해, 유한 표현 군이 BVC 성질을 충족하는 것이 충분한가?

주요 결과

• 한 관계군은 비틀림 없는 가환부군의 분류 공간에 대해 유한 모델을 갖는다 할지라도, 그 군이 비틀림 없는 가환군이어야만 한다.
• 비틀림 없는 초구형 군은 비틀림 없는 가환부군의 분류 공간에 대해 유한 모델을 갖는다 할지라도, 그 군이 비틀림 없는 가환군이어야만 한다.
• 3차원 다양체 군은 비틀림 없는 가환부군의 분류 공간에 대해 유한 모델을 갖는다 할지라도, 그 군이 비틀림 없는 가환군이어야만 한다.
• CAT(0) 큐브 군은 비틀림 없는 가환부군의 분류 공간에 대해 유한 모델을 갖는다 할지라도, 그 군이 비틀림 없는 가환군이어야만 한다.
• Z² 부분군 또는 랭크-1 등장사상이 있는 CAT(0) 공간 위에서 작용하는 군들은 BVC 성질을 실패하며, 따라서 유한 모델을 가질 수 없다.
• 연구된 계열 내의 모든 비비틀림 없는 가환군이 아닌 군들은 BVC 성질을 실패하며, 이는 Juan-Pineda와 Leary의 추측이 이들 군에 대해 확인됨을 의미한다.