[논문 리뷰] Survey on Classifying Spaces for Families of Subgroups

Wolfgang Lueck|ArXiv.org|2003. 12. 19.

Advanced Operator Algebra Research인용 수 4

한 줄 요약

이 논문은 위상군에서 부분군의 가족에 대한 분류 공간에 대한 종합적인 서베이를 제공하며, 두 가지 버전—G-CW-complex 및 가측 G-공간—을 도입하고 특정 조건 하에서 이들이 동치임을 보여준다. 거의 연결된, 단어 하이퍼볼릭, 산술군과 같은 주요 군들에 대해 기하 모델을 구축하고, K- 및 L-이론 계산을 이러한 공간 위의 등변 homology로 감소시켜 Baum-Connes 및 Farrell-Jones 추측에서 그 핵심적인 역할을 한다는 것을 보여준다.

ABSTRACT

We define for a topological group G and a family of subgroups F two versions for the classifying space for the family F, the G-CW-version E_F(G) and the numerable G-space version J_F(G). They agree if G is discrete, or if G is a Lie group and each element in F compact, or if F is the family of compact subgroups. We discuss special geometric models for these spaces for the family of compact open groups in special cases such as almost connected groups G and word hyperbolic groups G. We deal with the question whether there are finite models, models of finite type, finite dimensional models. We also discuss the relevance of these spaces for the Baum-Connes Conjecture about the topological K-theory of the reduced group C^*-algebra, for the Farrell-Jones Conjecture about the algebraic K- and L-theory of group rings, for Completion Theorems and for classifying spaces for equivariant vector bundles and for other situations.

연구 동기 및 목표

• 부분군의 가족에 대한 두 가지 분류 공간 버전—G-CW-complex 버전과 가측 G-공간 버전—을 정의하고 비교한다.
• 거의 연결된 군, 단어 하이퍼볼릭 군, 산술군과 같은 주요 사례에서 이러한 분류 공간에 대한 기하 모델을 구축한다.
• 이러한 분류 공간에 대한 유한성 조건—유한, 유한 유형, 유한 차원 모델—을 조사한다.
• 이러한 공간들이 K-이론과 L-이론의 주요 추측, 특히 Baum-Connes 및 Farrell-Jones 추측에서의 관련성을 확립한다.
• 등변 위상수학에서 이러한 공간들의 역할을 명확히 하며, 완비화 정리와 등변 번들의 분류 공간을 포함한다.

제안 방법

• 가족 $\frak{F}$에 속하는 이소트로피 군을 갖는 $G$-CW-complex로 $E_{\frak{F}}(G)$를 정의하고, $G$-등변 사상에 대한 유일성 성질로 특징지운다.
• 가장자리에 $G$-불변 가측 $G$-덮개를 갖는 $G$-공간으로서 $J_{\frak{F}}(G)$를 도입하고, 역시 $G$-등변 사상에 대해 유일성을 갖는다.
• 만약 $G$가 이산군이거나, $\frak{F}$에 포함된 컴팩트 부분군을 갖는 리 군이거나, $\frak{F}$가 컴팩트 부분군의 가족이라면, $E_{\frak{F}}(G)$와 $J_{\frak{F}}(G)$는 $G$-호모토피 동치임을 증명한다.
• 특정 가족과 군들에 대해 대칭 공간, 테이히뮐러 공간, 아웃어스페이스, 리프스 복합체, 빌딩, 나무 등을 사용하여 기하 모델을 구축한다.
• 등변 homology와 유도 구조를 사용하여 $K$- 및 $L$-군의 계산을 $E_{\mathcal{F}}(G)$ 위의 homology로 감소시키며, 특히 유한 및 거의 순환 부분군의 가족에 대해 적용한다.
• 절단 및 푸시아웃 구성법을 적용하여, $G$의 거의 순환 부분군 $V_i$에 대해 $E_{\mathcal{FIN}}(V_i)$의 모델들로부터 $E_{\mathcal{VCYC}}(G)$의 모델을 구축한다.

실험 결과

연구 질문

• RQ1 부분군의 가족 $\frak{F}$에 대한 $G$-CW-complex 버전과 가측 $G$-공간 버전의 분류 공간이 $G$-호모토피 동치가 되는 조건은 무엇인가?
• RQ2 어떤 위상군의 범주(예: 거의 연결, 단어 하이퍼볼릭, 산술군)에서 $E_{\mathcal{FIN}}(G)$와 $E_{\mathcal{VCYC}}(G)$에 대해 유한 또는 유한 차원 모델이 존재하는가?
• RQ3 부분군의 가족에 대한 분류 공간은 Farrell-Jones 추측을 통해 군 환의 대수적 $K$- 및 $L$-군의 계산을 어떻게 지원하는가?
• RQ4 이러한 분류 공간은 위상군 $K$-이론의 군 $C^*$-대수에 대한 Baum-Connes 추측의 서술과 증명에서 어떤 역할을 하는가?
• RQ5 $H$가 거의 순환 또는 유한 부분군일 때 고정점 집합 $X^H$는 $E_{\mathcal{VCYC}}(G)$의 모델의 구조를 어떻게 결정하는가?

주요 결과

• 이산군, 컴팩트 부분군이 $\frak{F}$에 포함된 리 군, 또는 $\frak{F}$가 컴팩트 부분군의 가족이라면, $G$-CW-complex 버전 $E_{\frak{F}}(G)$와 가측 $G$-공간 버전 $J_{\frak{F}}(G)$는 $G$-호모토피 동치이다.
• 토르션이 있는 이산군의 경우, $EG$가 유한 차원 모델을 갖지 못할 수 있으나, $E_{\mathcal{FIN}}(G)$는 여전히 유한 차원 모델을 가질 수 있으며, 최소 차원은 가상 코homological 차원과 관련이 있다.
• 유한 및 무한 거의 순환 부분군 $H \subseteq G$에 대해 $X^H$가 수축 가능함을 보장하는 $G$-푸시아웃 구성법을 사용하여, $E_{\mathcal{VCYC}}(G)$의 모델을 $G$의 거의 순환 부분군 $V_i$에 대해 $E_{\mathcal{FIN}}(V_i)$의 모델들로부터 유도할 수 있다.
• $E_{\mathcal{FIN}}(G)$와 $E_{\mathcal{VCYC}}(G)$는 Farrell-Jones 추측에서 관련된 등변 homology 이론에 대한 기하 모델을 제공하며, $K_n(RG)$와 $L_n(RG)$를 등변 homology 군으로 감소시킨다.
• $H_n^{V_i}(E_{\mathcal{VCYC}}(V_i), E_{\mathcal{FIN}}(V_i); \mathbf{K}_R)$ 및 $H_n^{V_i}(E_{\mathcal{VCYC}}(V_i), E_{\mathcal{FIN}}(V_i); \mathbf{L}_R^{\langle -\infty \rangle})$ 항들은 대수적 $K$- 및 $L$-이론에서 $V_i$의 Nil 및 UNIL-항을 포함하며, $R = \mathbb{Z}$일 때 유리수로는 0이 되고, $L$-이론에서 2를 역으로 곱하면 0이 된다.
• 모든 $CW$-공간 $X$에 대해, 궤도 공간 $G \backslash E_{\mathcal{FIN}}(G)$가 $X$와 호모토피 동치가 되는 이산군 $G$가 존재한다. 이는 이러한 궤도 공간들이 호모토피 이론에서 보편성을 가짐을 보여준다.