[논문 리뷰] Induction Theorems and Isomorphism Conjectures for K- and L-Theory

Arthur Bartels, Wolfgang Lueck|ArXiv.org|2004. 04. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 7

한 줄 요약

이 논문은 유한군에 대한 Dress의 유도 정리들을 무한군으로 확장하여, 정수환 또는 복소수를 포함하는 정칙환 R을 계수로 갖는 대수적 K-이론 및 L-이론에 대한 Farrell-Jones Isomorphism Conjecture가 유한체적 순환 부분군의 가족에서 더 작은 가족, 예를 들어 초등 또는 초등형 부분군의 가족으로 감소시킬 수 있음을 증명한다. 핵심 결과는 대수적 K-이론에 대한 이sovomorphism 추측이 군 G에 대해 정칙환 R(ℚ 또는 ℂ를 포함)를 계수로 갖는 경우에만 해당 가족의 초등 또는 초등형 부분군에서 성립할 때에만 성립하며, 이는 군의 링에 대한 K-이론과 L-이론의 계산 프레임워크를 크게 단순화시킨다.

ABSTRACT

The Farrell-Jones and the Baum-Connes Conjecture say that one can compute the algebraic K- and L-theory of the group ring and the topological K-theory of the reduced group C^*-algebra of a group G in terms of these functors for the virtually cyclic subgroups or the finite subgroups of G. By induction theory we want to reduce these families of subgroups to a smaller family, for instance to the family of subgroups which are either finite hyperelementary or extensions of finite hyperelementary groups with infinite cyclic kernel or to the family of finite cyclic subgroups. Roughly speaking, we extend the induction theorems of Dress for finite groups to infinite groups.

연구 동기 및 목표

• 유한군에 대한 전통적인 유도 정리를 K-이론 및 L-이론의 맥락에서 무한군으로 확장하는 것.
• Farrell-Jones Isomorphism Conjecture에서 유한체적 순환 부분군의 가족을 초등형 또는 초등형 부분군과 같은 더 작은, 더 다룰 수 있는 가족으로 감소시키는 것.
• 군 G에 대해 대수적 K-이론의 Isomorphism 추측이 성립하는지 여부를 결정짓는 조건을 설정하는 것, 이는 해당 추측이 더 작은 부분군의 가족에서 성립할 때에만 성립한다.
• 유한체적 순환 부분군에 대한 Fibered Isomorphism Conjecture가 초등형 유도 추측을 함의하는지, 특히 Nil-군의 소멸성과 관련하여 조사하는 것.

제안 방법

• 등변 homology에 대한 전이 원리를 사용하여 서로 다른 부분군의 가족 간의 조립 맵을 비교한다.
• 스펙트럴 시퀀스의 추론을 적용하여 K-이론 함수자에 대한 계수를 갖는 분류 공간의 호모로지 분석을 수행한다.
• 상대적 조립 맵의 개념을 활용하고, 중심적인 기술적 도구로 그 전단사성을 증명한다.
• 음의 K-군의 소멸성과 코로지트의 구조를 분석함으로써 문제를 유한 및 유한체적 순환 부분군으로 감소시킨다.
• ℤ_(p) ⊗_ℤ − 를 통한 국소화 기법을 사용하여 추측의 p-국소형 버전을 연구한다.
• 기존의 유한군의 K-이론 결과에 의존하며, 이는 K_n(ℤF)의 n ≤ -2일 때 소멸성과 유한군에 대한 조립 맵의 전단사성을 포함한다.

실험 결과

연구 질문

• RQ1 정칙 계수를 갖는 대수적 K-이론에 대한 Farrell-Jones Isomorphism Conjecture에서 유한체적 순환 부분군의 가족을 초등형 부분군의 가족으로 대체해도 추측의 타당성이 유지되는가?
• RQ2 유한체적 순환 부분군에 대한 Fibered Isomorphism Conjecture가 모든 군에 대해 초등형 유도 추측을 함의하는가, 특히 Nil-군의 소멸성과 관련하여?
• RQ3 정칙환 R(ℚ 또는 ℂ를 포함)를 계수로 갖는 K-이론에 대한 Isomorphism 추측이 군 G에 대해 성립하는지 여부를 결정짓는 조건은 무엇인가, 이는 초등형 부분군의 가족에서 성립할 때에만 성립하는가?
• RQ4 상대적 조립 맵이 초등형 부분군의 가족으로 제한되었을 때 전단사성이 성립하는가, 그리고 이는 전체 추측과 어떻게 관련되는가?
• RQ5 추측의 p-국소형 버전이 유한체적 순환 부분군에서 p-초등형 부분군으로 감소시킬 수 있는가?

주요 결과

• 정칙환 R(ℚ를 포함)일 때, 대수적 K-이론에 대한 Farrell-Jones Isomorphism Conjecture가 유한체적 순환 부분군의 가족에서 성립하는 것은 초등형 부분군의 가족에서 성립할 때에만 성립한다.
• 정칙환 R(ℂ ⊆ R)일 때, 유한체적 순환 부분군의 가족에서 추측이 성립하는 것은 초등형(p-초등형) 부분군의 가족에서 성립할 때에만 성립한다.
• 유한체적 순환 부분군의 p-국소형 추측은 ℤ_(p) ⊗_ℤ − 를 적용한 후 p-초등형 부분군의 추측과 동치이다.
• 초등형 부분군의 가족에 대한 상대적 조립 맵이 전단사임은 유한체적 순환 부분군의 가족에 대해 전체 추측이 성립할 때에만 성립한다.
• 음의 K-이론에서는 H_n^G(E_H G; K_ℤ)의 n ≤ -2일 때의 소멸성과 n = -1일 때 colim_{G/H ∈ Or_H(G)} K_{-1}(ℤH)로의 식별이 저도 수준에서 추측의 타당성을 확인한다.
• 정칙성과 ℚ ⊆ R 조건 하에서, colim_{G/H ∈ Or_H(G)} K_0(RH) → K_0(RG)의 표준 맵이 전단사임은 가족 H에 대해 0차 수준에서 Isomorphism 추측이 성립할 때에만 성립한다.