[논문 리뷰] A Geometric Description of Equivariant K-Homology for Proper Actions

Paul Baum, Nigel Higson외 1명|arXiv (Cornell University)|2009. 07. 12.

Advanced Operator Algebra Research참고 문헌 10인용 수 13

한 줄 요약

이 논문은 G-유한하고 G-CW-복합체 X에 대해 기하학적 등변 K-호모로지가 등변 사이클과 bordism을 통해 구성되며, Kasparov의 등변 KK-이론 군 $KK^G_*(C_0(X), \mathbb{C})$와 동형임을 증명한다. Lück과 Oliver의 결과를 활용하여 충분한 등변 벡터 번들의 존재를 보이고, $k^G_*(X)$ 라는 호모로지 이론을 구축함으로써, 저자들은 자연스러운 어셈블리 맵 $\mu: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 가 등변 동형임을 증명하며, 이는 이산군에 대한 Baum-Connes 추측의 원래 및 수정된 형태를 조율한다.

ABSTRACT

Let G be a discrete group and let X be a G-finite, proper G-CW-complex. We prove that Kasparov's equivariant K-homology groups KK^G(C_0(X),\C) are isomorphic to the geometric equivariant K-homology groups of X that are obtained by making the geometric K-homology theory of Baum and Douglas equivariant in the natural way. This reconciles the original and current formulations of the Baum-Connes conjecture for discrete groups.

연구 동기 및 목표

• 이산군에 대해 원래의 기하학적 형태로 제시된 Baum-Connes 추측이 수정된 KK-이론적 형태와 일치하는지 오랫동안 남아있던 문제를 해결하는 것.
• G-유한하고 적절한 G-CW-복합체 X에 대해 기하학적 등변 K-호모로지에서 KK-이론적 등변 K-호모로지로 가는 자연스러운 어셈블리 맵 $\mu$ 가 동형임을 확립하는 것.
• 기하학적 등변 K-호모로지 이론이 $k^G_*$ 라는 호모로지 이론을 통해 적절히 형식화될 경우, Kasparov의 $KK^G_*$-이론과 동일한 군을 회복함을 보여주는 것.
• Lück과 Oliver의 정리에 의해 보장되는 충분한 등변 벡터 번들의 존재가, 비등변 기법을 등변 설정으로 확장하는 데 기여함을 보여주는 것.

제안 방법

• G-유한하고 적절한 G-CW-복합체 X에 대해, 명백히 $\mathbb{Z}/2\mathbb{Z}$-등급 호모로지 이론인 새로운 호모로지 이론 $k^G_*(X)$ 를 도입하여, 기하학적 및 KK-이론적 K-호모로지 사이의 다리 역할을 하게 한다.
• $k^G_*(X)$, $K^G_*(X)$, $KK^G_*(C_0(X), \mathbb{C})$ 를 포함하는 교환 다이어그램을 구성하며, 여기서 $\mu$ 가 핵심 맵이 된다.
• Lück과 Oliver의 결과를 활용하여 $C^*(X,G)$ 가 프로젝션의 근사 항등원을 가짐을 보이고, 이로부터 $K^G_0(X) \cong K_0(C^*(X,G))$ 를 유도함으로써, X 위에 충분한 등변 벡터 번들의 존재를 보장한다.
• 호모로지 이론 $k^G_*$ 수준에서의 동형임을 보임으로써, 맵 $k^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 가 동형임을 증명한다.
• 사이클이 바닥, 직합 등의 기하학적 관계에 대해 동치임을 보장하기 위해, 벡터 번들의 수정과 $\operatorname{Spin}^c$-구조 기법을 적용한다.
• $\underline{E}G$ 의 보편 성질을 활용하여 $K^j(G)$ 를 $\underline{E}G$ 의 G-유한 부분복합체들에 대한 $K^G_*(X)$ 의 직접 극한과 연결함으로써, 기하학적 및 분석적 형태를 연결한다.

실험 결과

연구 질문

• RQ1 G-유한하고 적절한 G-CW-복합체 X에 대해, 기하학적 등변 K-호모로지 군 $K^G_*(X)$ 는 Kasparov의 $KK^G_*(C_0(X), \mathbb{C})$ 와 동형인가?
• RQ2 이산군에 대해 원래의 기하학적 형태로 제시된 Baum-Connes 추측은 수정된 KK-이론적 형태와 조율될 수 있는가?
• RQ3 Lück과 Oliver에 의해 보장되는 X 위에 충분한 등변 벡터 번들의 존재는 비등변 K-호모로지 기법을 등변 설정으로 확장하는 데 기여하는가?
• RQ4 자연스러운 어셈블리 맵 $\mu: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 는 동형인가? 만약 그렇다면 어떤 조건에서인가?

주요 결과

• 모든 G-유한하고 적절한 G-CW-복합체 X에 대해 기하학적 등변 K-호모로지 군 $K^G_*(X)$ 는 Kasparov의 $KK^G_*(C_0(X), \mathbb{C})$ 와 동형이며, 이는 이산군에 대한 Baum-Connes 추측의 원래 및 수정된 형태가 동치임을 증명한다.
• 디랙 연산자의 지표를 통해 정의된 맵 $\mu: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 는 동형이며, 이는 두 이론 간의 표준적 동형을 확립한다.
• Lück과 Oliver에 의해 증명된 바와 같이, X 위에 충분한 등변 벡터 번들의 존재는 교차곱 $C^*(X,G)$ 가 프로젝션의 근사 항등원을 가짐을 의미하며, 이로부터 $K^G_0(X) \cong K_0(C^*(X,G))$ 를 유도할 수 있다.
• 명백히 호모로지 이론이 되도록 구성된 $\mathbb{Z}/2\mathbb{Z}$-등급 호모로지 이론 $k^G_*(X)$ 는 $K^G_*(X)$ 와 $KK^G_*(C_0(X), \mathbb{C})$ 와 함께 교환 다이어그램에 들어가며, 맵 $k^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 는 동형이다.
• G-콤���트하고 적절한 G-다양체 위의 각 복소 G-벡터 번들은 유일한 매끄러운 구조를 가짐을, $C^*(X,G)$ 의 C*-대수적 구조의 결과로 유도할 수 있다.
• 결과적으로, 수정된 형태의 Baum-Connes 어셈블리 맵이 원래의 기하학적 형태와 동형임을 보여주며, 이는 이산군에 대한 두 추측적 형태가 동치임을 확인한다.