그룹 C 대수의 K 이론

초록

이 강의노트는 2007년 세다노 겨울학교에서 진행된 강의를 바탕으로, C대수의 K-이론, 그에 대한 등변 K-동질성 및 KK-이론을 소개한다. 특히 Baum‑Connes 추측의 배경과 핵심 개념을 설명하며, 그룹 C대수에 적용되는 구체적인 계산 예시와 이론적 프레임워크를 제공한다.

상세 분석

본 논문은 크게 네 부분으로 구성된다. 첫 번째는 C대수의 K-이론 기초를 정리하는데, 여기서는 K₀와 K₁ 군의 정의, Bott 주기성, 그리고 짧은 정확한 시퀀스를 통한 장벽 해소 방법을 상세히 다룬다. 특히, 교환 대수와 비교환 대수에 대한 K-이론 계산을 비교함으로써, 비가환 경우에도 K-이론이 강력한 불변량임을 강조한다. 두 번째 섹션에서는 등변 K‑동질성(equivariant K‑homology)을 도입한다. 여기서는 G‑공액 스페이스 X에 대한 K‑동질성 그룹 Kⁿ_G(X)를 사이클(···)과 Fredholm 연산자를 이용해 정의하고, 그와 K‑이론 사이의 Poincaré‑Duality 형태를 설명한다. 세 번째 섹션은 Kasparov가 제시한 KK‑이론을 중심으로 전개된다. KK(A,B) 군을 Kasparov 모듈(···)의 동형류로 정의하고, 내부 곱(product)과 외부 곱을 통해 카테고리적 구조를 부여한다. 특히, 이 곱이 K‑이론과 K‑동질성 사이의 연결 고리 역할을 하여, Baum‑Connes 추측의 핵심인 어셈블리 맵을 형식화한다. 마지막으로 Baum‑Connes 추측 자체를 기술한다. 추측은 “어셈블리 맵 μ: Kⁿ_G(ĒG) → Kₙ(C_r(G))”가 동형임을 주장하는데, 여기서 ĒG는 자유하고 적당히 작용하는 G‑공액 CW 복합체이다. 논문은 추측이 이미 증명된 경우(예: 아벨 군, 하이퍼볼릭 군, 일부 결합군)와 아직 미해결인 경우를 정리하고, KK‑이론을 이용한 접근법이 어떻게 K‑이론 계산을 단순화시키는지를 구체적인 예시(예: 자유 군, 격자 군)와 함께 제시한다. 전체적으로, 강의노트 형식이지만 정리와 증명이 체계적으로 배열되어 있어, 초보 연구자도 Baum‑Connes 추측의 전반적 흐름을 파악하고, 실제 계산에 적용할 수 있는 실용적 지식을 얻을 수 있다.