파레존스와 바움콘웨이 추측 입문

초록

본 강의노트는 2007년 항저우 여름학교에서 진행된 여섯 차시 강의를 정리한 것으로, Farrell‑Jones 추측과 Baum‑Connes 추측의 배경, 정확한 진술, 현재까지 입증된 사례와 주요 증명 기법을 소개한다. 특히 대수적 K‑이론·L‑이론과 C*‑대수의 조립 사상(assembly map)의 역할을 강조하고, 이 두 추측이 Novikov 및 Borel 추측과 어떻게 연결되는지를 설명한다.

상세 분석

Farrell‑Jones 추측은 군의 대수적 K‑이론·L‑이론을 군의 가상 사이클 복합체(Virtual Cyclic Subgroups) 위의 동형 사상으로 환원하는 조립 사상(assembly map)의 동형성을 주장한다. 이 논문은 먼저 K‑이론과 L‑이론에서의 조립 사상의 정의를 상세히 제시하고, 이를 통해 군의 복잡한 구조를 보다 단순한 부분군(특히 가상 사이클 군)으로 분해하는 방법론을 제시한다. 이어서 Baum‑Connes 추측을 C*‑대수의 K‑이론 관점에서 서술하며, 적절한 가환화(정규화) 과정을 거쳐 그룹 C*‑대수와 그 클래스ifying space for proper actions(EG) 사이의 조립 사상이 동형임을 예측한다. 두 추측 모두 ‘유산성(inheritance properties)’—예를 들어, 부분군, 직접곱, 확장, 그리고 직접극한에 대한 보존—을 강조하고, 이러한 성질이 증명 전략의 핵심임을 강조한다. 논문은 특히 하이퍼볼릭 군, CAT(0) 군, 그리고 아벨리안-확장 군 등에서 현재까지 입증된 사례들을 정리하고, 이들 사례가 갖는 공통된 기하학적·위상학적 구조(예: 유한 차원 모델, 유한 폭 제어 이론)를 분석한다. 또한, 증명에 사용되는 ‘제어 위상학(controlled topology)’과 ‘동형 사상 가설(transfer map)’ 기법을 구체적으로 설명하며, 이들이 어떻게 복잡한 군의 K‑이론을 가상 사이클 군의 K‑이론으로 전이시키는지를 단계별로 제시한다. 마지막으로, Farrell‑Jones와 Baum‑Connes 추측이 Novikov 추측(고차원 매니폴드의 서명 불변성)과 Borel 추측(위상동형 분류) 등 주요 기하학적 위상학적 문제와 직접 연결되는 점을 강조하고, 현재 진행 중인 연구 방향—예를 들어, 동적 코시-스펙트럼 방법, 고차원 대수적 K‑이론의 계산, 그리고 비가환 기하학적 접근—을 제시한다.