[논문 리뷰] On the Farrell-Jones Conjecture and its applications

Arthur Bartels, Wolfgang Lueck외 1명|ArXiv.org|2007. 03. 19.

Geometric and Algebraic Topology참고 문헌 36인용 수 5

한 줄 요약

이 논문은 임의의 계수 환에 대해 대수적 K-이론에서 Farrell-Jones 추측을 발전시킨다. 특히, 단어-하이퍼볼릭 및 거의 노름군이 임의의 환 R에 대해 섬유화된 Farrell-Jones 추측을 만족함을 증명한다. 이는 곱, 방향 체계, 부분군에 대한 유전성 성질을 증명하고, K-이론의 영성 결과, Bass 및 Kaplansky 추측, 그리고 Moody의 유도 정리의 일반화를 증명하는 데 추측을 적용한다. 이는 상당히 확장된 군의 계열에 대해 적용된다.

ABSTRACT

We present the status of the Farrell-Jones Conjecture for algebraic K-theory for a group G and arbitrary coefficient rings R. We add new groups for which the conjecture is known to be true and study inheritance properties. We discuss new applications, focussing on the Bass Conjecture, the Kaplansky Conjecture and conjectures generalizing Moody's Induction Theorem. Thus we extend the class of groups for which these conjectures are known considerably.

연구 동기 및 목표

• 대수적 K-이론에서 Farrell-Jones 추측이 성립하는 군의 범주를 확장하는 것, 특히 임의의 계수 환 R에 대해.
• 곱, 방향 체계, 부분군과 같은 군 연산에 대해 섬유화된 Farrell-Jones 추측의 유전성 성질을 확립하는 것.
• 추측을 적용하여 K-이론에서의 영성 결과를 증명하고, Bass, Kaplansky, Moody의 유도 정리와 같은 주요 추측을 확인하거나 일반화하는 것.
• 특히 2를 역수로 만들었을 때, L-이론의 버전에 대해 추측의 상태를 조사하고, 군의 가족과의 관계를 분석하는 것.

제안 방법

• 저자들은 원래 추측을 포함하고 더 나은 유전성 성질을 지닌 더 강력한 형태인 섬유화된 Farrell-Jones 추측을 사용한다.
• 전이 원리와 등변 homology 이론의 강한 연속성을 적용하여 방향 체계에 대한 닫힘을 도출한다.
• 특히 단어-하이퍼볼릭 군과 거의 노름군에 대해 기하군 이론 및 통제된 위상수학의 결과를 활용한다.
• K-이론의 구조를 조립 사상과 K₀ 및 K₁를 포함하는 사상의 코어널에 의해 분석하고, Whitehead 군 Whᴿ(G)을 정의한다.
• L-이론의 경우, UNil-군이 2- torsion임을 이용하고, 2를 역수로 만들기 이전에 전이 원리를 적용한다.
• 거의 순환군에 대한 L-이론 추측을 유한 가족의 경우로 줄이기 위해, 거의 순환군에서 ℤ 또는 ℤ/2∗ℤ/2로의 전사 사상을 사용한다.

실험 결과

연구 질문

• RQ1 어느 군들이 임의의 계수 환 R에 대해 대수적 K-이론에서 섬유화된 Farrell-Jones 추측을 만족하는가?
• RQ2 섬유화된 Farrell-Jones 추측을 만족하는 군의 집합은 곱, 부분군, 방향 체계에 대해 닫혀 있는가?
• RQ3 Bass, Kaplansky, Moody의 유도 정리의 추측이 Farrell-Jones 추측을 만족하는 군에 대해 어느 정도 성립하는가?
• RQ4 2를 역수로 만들었을 때, L-이론 버전의 Farrell-Jones 추측의 상태는 어떠한가? 그리고 유한 가족과의 관계는 무엇인가?
• RQ5 임의의 자기동형사상 α에 대해, 군의 반직접곱 G ⋊ ℤ에 대해 추측을 확장할 수 있는가?

주요 결과

• 단어-하이퍼볼릭 군과 거의 노름군은 임의의 계수 환 R에 대해 대수적 K-이론에서 섬유화된 Farrell-Jones 추측을 만족한다.
• 섬유화된 Farrell-Jones 추측을 만족하는 군의 집합은 곱, 부분군, 방향 체계에 대해 닫혀 있다.
• 순환군이 아니며 정규 환 R에 대해, 추측은 n ≤ -1일 때 Kₙ(RG) = 0, K₀(RG) ≅ K₀(R), 그리고 Whitehead 군 Whᴿ(G)가 자명함을 암시한다.
• 2를 역수로 만들었을 때, 거의 순환군의 가족에 대한 L-이론 Farrell-Jones 추측은 유한 군의 가족에 대한 추측과 동치이다.
• 모든 기본 애메니블 군은 R = ℤ 및 R = ℚ일 때 2를 역수로 만들었을 때 L-이론 추측을 만족한다.
• 추측은 Whitehead 군 Whᴿ(G)의 자명성과 정규 환 및 순환군이 아닌 군에 대해 낮은 차수의 K-이론의 영성 결과를 암시한다.