[논문 리뷰] On the Farrell-Jones and related Conjectures

Wolfgang Lueck|ArXiv.org|2007. 10. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 121인용 수 3

한 줄 요약

이 논문은 Farrell-Jones 및 Baum-Connes 추측에 대한 종합적인 소개를 제공하며, 이들이 어려운 계산을 요하는 대수적 및 위상적 K-이론 군을 더 다룰 수 있는 등변 호모로지 이론으로 연결하는 어셈블리 맵을 통해 강력한 도구로 기능함을 논의한다. 이들의 구조적 및 계산적 중요성을 입증하고, 넓은 범위의 군들에 대해 이들을 증명하며, 위상수학과 K-이론 분야의 오랜 추측들에 대한 함의를 부각시킨다.

ABSTRACT

These extended notes are based on a series of six lectures presented at the summer school ``Cohomology of groups and algebraic $K$-theory'' which took place in Hangzhou, China from July 1 until July 12 in 2007. They give an introduction to the Farrell-Jones and the Baum-Connes Conjecture.

연구 동기 및 목표

• 알gebra적 위상수학 및 K-이론 분야의 연구자들을 위해 Farrell-Jones 및 Baum-Connes 추측에 대한 자채적인 소개를 제공하기 위해.
• 어려운 K-이론 및 L-이론 군을 더 접근 가능한 등변 호모로지 이론으로 연결하는 데서 어셈블리 맵의 역할을 명확히 하기 위해.
• 이들 추측이 Bass, Borel, Kaplansky, Novikov 등의 고전적 추측들을 통합하고 함의함을 보여주기 위해.
• 기존 증명들과 미해결 케이스를 조사하며, 분야의 현재 최첨단 상태와 해결되지 않은 과제에 초점을 맞추기 위해.

제안 방법

• 프로젝트 모듈과 K-군을 정의하고 분석하기 위해 호모로지 대수학과 CW-복합체를 활용하며, 특히 $K_0$, $K_1$, 그리고 음의 $K$-이론에 중점을 둔다.
• Bass-Heller-Swan 분해를 적용하여 군 환의 경우 $K_*(RG)$를 $K_*(R)$ 및 $K_*(R[G])$로 표현한다.
• Farrell-Jones 추측에서 어셈블리 맵의 대상을 구성하기 위해 부분군의 가족에 대한 분류 공간을 도입한다.
• Farrell-Jones 및 Baum-Connes 설정 모두에서 어셈블리 맵의 프레임워크로 등변 호모로지 이론을 활용한다.
• Farrell-Jones 추측에서 상사성의 증명을 위해 제어된 위상수학 기법—특히 무시-제어 사상과 수축 사상과 같은 기하적 구성—을 사용한다.
• Baum-Connes 추측에서 $KK$-이론의 분석적 방법, 특히 Kasparov의 이변량 $KK$-이론에 기반한 Dirac-Dual-Dirac 방법을 검토한다.

실험 결과

연구 질문

• RQ1 Farrell-Jones 및 Baum-Connes 추측은 어떻게 고전적 위상수학 및 K-이론의 추측들을 통합하고 일반화하는가?
• RQ2 어셈블리 맵은 복잡한 K-이론 및 L-이론 군을 더 접근 가능한 등변 호모로지 이론으로 연결하는 데 어떤 역할을 하는가?
• RQ3 어떤 군의 범주에서 Farrell-Jones 및 Baum-Connes 추측이 증명되었으며, 이러한 증명에 사용된 핵심 방법은 무엇인가?
• RQ4 Baum-Connes 추측이 Farrell-Jones 추측보다 더 의심스러운 이유는 무엇인가, 특히 잠재적 반례에 대해 말이다?
• RQ5 분석적 방법이 Farrell-Jones 추측을 증명하는 데 가지는 한계는 무엇이며, 제어된 위상수학 기법을 $KK$-이론으로의 이행이 아직 이루어지지 않는 이유는 무엇인가?

주요 결과

• Farrell-Jones 추측은 쌍곡군, CAT(0)-군, 그리고 가환군에서 증명되었으며, $SL_n(\mathbb{Z})$의 경우 $n \leq 2$일 때 $K$-이론적 형태로 알려져 있다.
• Baum-Connes 추측은 쌍곡군, $SL_n(\mathbb{Z})$의 $n \leq 2$ 경우, 그리고 모든 가환군에서 성립하며, 이 경우 감소된 군 $C^*$-대수의 $K$-이론이 계산 가능하다.
• 이 추측들은 Bost 추측, Kaplansky 제로디바이저 추측, 그리고 Novikov 추측을 함의하며, 기하 위상수학에서의 기초적 역할을 보여준다.
• Thompson의 군 $F$의 경우, $R = \mathbb{Z}$일 때 어셈블리 맵의 단사성이 2를 역으로 취한 후에 성립하지만, 전체 추측은 여전히 미해결 상태이다.
• 확장자(Expander)를 가진 일부 군에 대해 계수가 있는 Baum-Connes 추측의 형태는 Higson, Lafforgue, 및 Skandalis에 의해 실패함이 입증되었으며, 이는 반례의 잠재적 근원을 시사한다.
• 광범위한 조사에도 불구하고, 현재까지 Farrell-Jones 또는 Baum-Connes 추측의 반례로 알려진 군은 존재하지 않으며, 이러한 후보군은 여전히 찾기 어려운 상태이다.