[논문 리뷰] On The Dimension of The Virtually Cyclic Classifying Space of a Crystallographic Group

Frank Connolly, Benjamin Fehrman외 1명|ArXiv.org|2006. 10. 12.

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

한 줄 요약

이 논문은 순수-치환적 부분군의 가족에 대해 순수-치환적 부분군에 대한 분류 공간 $B_{\mathcal{VC}}\Gamma$ 의 기하 모델을 구축한다. 이는 전단위의 최대 순환 부분군에 관여하는 선들 위에 대한 맵핑 цили더의 합집합을 사용하여, 호모토피 차원이 $n+1$ 임을 입증함으로써, 더 낮은 차원의 모델이 존재하지 않음을 보이며, $h\dim(B_{\mathcal{VC}}\Gamma) = \mathrm{vcd}(\Gamma)+1$ 를 확인한다. 이는 리 군의 이산 부분군에 대한 순수-치환적 분류 공간의 차원에 관한 추측을 지지한다.

ABSTRACT

In this paper we construct a model for the classifying space, BVCG, of a crystallographic group G of rank n relative to the family VC of virtually-cyclic subgroups of G. The model is used to show that there exists no other model for the virtually-cyclic classifying space of G with dimension less than vcd(G)+1, where vcd(G) denotes the virtual cohomological dimension of G. In addition, the dimension of our construction realizes this limit.

연구 동기 및 목표

• 순수-치환적 부분군의 가족에 대해 기하학적으로 명시적인 분류 공간 $B_{\mathcal{VC}}\Gamma$ 의 모델을 구축한다.
• 순수-치환적 부분군에 대해 순수-치환적 분류 공간 $B_{\mathcal{VC}}\Gamma$ 의 최소 가능한 호모토피 차원을 결정한다.
• 구축된 모델이 이론적 하한값인 $\mathrm{vcd}(\Gamma)+1$ 의 차원을 달성함을 확인한다.
• 리 군의 이산 부분군에 대해 $B_{\mathcal{VC}}\Gamma$ 의 차원에 관한 보다 넓은 추측에 대한 증거를 제공한다.

제안 방법

• 전단위 부분군의 최대 순환 부분군 $C$ 에 대해 선들 위에 정의된 맵핑 시린더 $Cyl(\pi_C)$ 의 합집합으로 $\Gamma$-CW-複체 $E_{\mathcal{VC}}\Gamma$ 를 구성한다.
• $\mathbb{R}^n \times I \times \mathcal{C}$ 상에서 동치 관계를 정의하여 몫 공간 $E_{\mathcal{VC}}\Gamma$ 를 형성함으로써 $\Gamma$-행동의 호환성을 확보한다.
• 모든 순수-치환적 부분군 $H \subset \Gamma$ 에 대해 고정점 집합 $E^{H}$ 가 수축 가능함을 보여 $E_{\mathcal{VC}}\Gamma$ 가 $\mathcal{VC}$-유일함을 확인한다.
• 홈오미오피즘 $Cyl(\pi_C)/A \to D^2 \times T^{n-1}$ 를 수립하여 각 성분이 고체 $n+1$-토러스임을 보인다.
• 오빗 공간 $B_{\mathcal{VC}}\Gamma = (E_{\mathcal{VC}}\Gamma / A) / G$ 를 사용하여, 분류 공간이 공통 경계 $T^n$ 을 공유하는 무한한 고체 $n+1$-토러스의 합집합 위의 $G$-몫공간으로 기술됨을 보인다.
• 세포 체인을 사용하여 $n+1$차 호몰로지 군을 계산함으로써, 비공轭 순환 부분군을 이용해 비자명성을 입증함으로써 $h\dim(B_{\mathcal{VC}}\Gamma) \geq n+1$ 를 보인다.

실험 결과

연구 질문

• RQ1 순수-치환적 부분군에 대해 순수-치환적 분류 공간 $B_{\mathcal{VC}}\Gamma$ 의 최소 가능한 호모토피 차원은 무엇인가? (순수-치환적 부분군의 순수-치환적 차원이 $n \geq 2$ 인 기하학적 군 $\Gamma$ 에 대해)
• RQ2 이 최소 차원을 실현하는 기하학적으로 명시적인 모델을 $B_{\mathcal{VC}}\Gamma$ 에 대해 구성할 수 있는가?
• RQ3 기하학적 군에 대해 $B_{\mathcal{VC}}\Gamma$ 의 차원이 $\mathrm{vcd}(\Gamma)+1$ 인가?
• RQ4 이 구성은 $h\dim(B_{\mathcal{VC}}\Gamma) = \mathrm{vcd}(\Gamma)+1$ 이 모든 리 군의 이산 부분군에 대해 성립한다는 보다 넓은 추측을 지지하는가?

주요 결과

• 구축된 $B_{\mathcal{VC}}\Gamma$ 의 모델은 차원 $n+1$ 의 CW-複체이며, 이는 차원 $n+1$ 을 실현한다.
• 순수-치환적 부분군의 순수-치환적 차원이 $n \geq 2$ 인 기하학적 군에 대해 $h\dim(B_{\mathcal{VC}}\Gamma)$ 는 정확히 $n+1$ 이다.
• 이 구성은 $B_{\mathcal{VC}}\Gamma$ 의 모델이 $\mathrm{vcd}(\Gamma)+1$ 보다 낮은 차원을 가질 수 없음을 증명한다. 이 경우 $\mathrm{vcd}(\Gamma)+1 = n+1$ 이다.
• $B_{\mathcal{VC}}\Gamma$ 는 공통 경계 $T^n$ 을 공유하는 무한한 고체 $n+1$-토러스의 합집합 위의 $G$-행동의 오빗 공간과 위상동형이다.
• 세포 호몰로지 이론을 사용하여 비공轭 순환 부분군의 체인을 이용해 $H_{n+1}(B_{\mathcal{VC}}\Gamma)$ 가 비자명함을 입증함으로써, 차원 하한값이 확인된다.
• 결과는 $h\dim(B_{\mathcal{VC}}\Gamma) = \mathrm{vcd}(\Gamma)+1$ 이 기하학적 군 뿐 아니라 모든 리 군의 이산 부분군에 대해 성립한다는 추측을 지지한다.