[논문 리뷰] Inheritance of Isomorphism Conjectures under colimits

Arthur Bartels, Siegfried Echterhoff외 1명|ArXiv.org|2007. 02. 15.

Advanced Topics in Algebra참고 문헌 36인용 수 25

한 줄 요약

이 논문은 유한 핵을 가진 군의 캐테고리 위에서 정의된 스펙트럼 값을 가진 등변 homology 이론을 사용하여, 지그재그 군의 유도 집합 위에서의 쐐기(colimit)에 대해 K-이론적 Farrell-Jones 추측과 계수를 가진 Bost 추측이 유지됨을 증명한다. 이는 구조 사상이 단사가 아닐 경우에도 성립하며, 특히 Baum-Connes 추측이 실패하는 군들에 대해서도 성립함을 보여, 이러한 동치 추측의 적용 범위를 초등적 군들 이상으로 확장한다.

ABSTRACT

We investigate when Isomorphism Conjectures, such as the ones due to Baum-Connes, Bost and Farrell-Jones, are stable under colimits of groups over directed sets (with not necessarily injective structure maps). We show in particular that both the K-theoretic Farrell-Jones Conjecture and the Bost Conjecture with coefficients hold for those groups for which Higson, Lafforgue and Skandalis have disproved the Baum-Connes Conjecture with coefficients.

연구 동기 및 목표

• 지그재그 군의 유도 집합 위에서의 쐐기 구조에 대해, Farrell-Jones 및 Bost와 같은 동치 추측이 안정적인지 조사한다.
• 계수를 가진 K-이론적 Farrell-Jones 추측과 Bost 추측이 비단사 구조 사상이 존재하는 경우에도, 쐐기로 구성된 군들에 대해 성립함을 확장한다.
• 초등적 군들로부터 쐐기를 통해 구성된 군들에 대해 이러한 추측이 성립함을 보이며, 이러한 군들은 계수를 가진 Baum-Connes 추측을 위반함을 안다.
• 등변 homology 이론과 조립 맵을 이용하여 개별 군들에서의 추측적 동치를 그들의 쐐기 합집합으로 전이하는 프레임워크를 제공한다.

제안 방법

• 유한 핵을 가진 군의 캐테고리 위에서 정의된 스펙트럼 값을 가진 등변 homology 이론을 사용하여, 교차곱의 K-이론과 L-이론을 모델링한다.
• 군 대수와 C*-대수의 대수적 K-이론, 호모토피 K-이론, 위상적 K-이론을 나타내는 함자를 연결하는 자연스러운 변환을 구성한다.
• 유한 및 거의 순환 부분군의 가족을 위한 분류 공간인 $E_{inite}(G)$ 및 $E_{ ext{VCyc}}(G)$ 이론을 적용하여 조립 맵의 근원을 정의한다.
• 군의 쐐기 구조를 활용하여, 등변 homology와 자연스러운 변환의 호환성 덕분에 개별 군들에서의 조립 맵의 성립을 쐐기 군으로 이행한다.
• 특히 $l^1$-교차곱 설정에서 C*-대수 계수를 가진 초등적 군들에 대해 추측의 타당성이 잘 알려져 있음을 이용한다.
• 군의 캐테고리 위에서 군의 캐테고리 동치에 의해 유도되는 스펙트럼의 약한 동치와 자연스러운 변환의 호환성 덕분에 동치 추측의 유전성이 보장됨을 확립한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서, Farrell-Jones 및 Bost와 같은 동치 추측이 군의 유도 집합 위에서의 쐐기 구조에 대해 유지되는가?
• RQ2 계수를 가진 K-이론적 Farrell-Jones 추측은 초등적 군들의 쐐기로 구성된 군들로까지 확장될 수 있는가? 특히 이러한 군들이 계수를 가진 Baum-Connes 추측을 위반할 경우에도 성립하는가?
• RQ3 대수적 K-이론에서 위상적 K-이론으로의 K-이론 스펙트럼 간의 자연스러운 변환이 조립 맵의 맥락에서 쐐기 구성과 어떻게 상호작용하는가?
• RQ4 유한 및 거의 순환 부분군의 가족을 위한 분류 공간이 쐐기 구조에서 추측적 동치의 유지에 어떤 역할을 하는가?

주요 결과

• 모든 군이 유도 집합 위에서의 군들의 쐐기로 나타나는 경우, 개별 군들이 추측을 만족하면 K-이론적 Farrell-Jones 추측이 성립한다.
• 계수를 가진 Bost 추측은 쐐기 구조에 의해 유지되며, 이는 원래 알려진 군의 범주를 초월해 그 유효성을 확장한다.
• 구조 사상이 단사가 아닐 경우에도 추측이 유지됨을 보여, 적용 범위가 넓어진다.
• Baum-Connes 추측이 실패하는 군들, 예를 들어 Higson, Lafforgue, Skandalis에 의해 구성된 군들에 대해서도 이 결과가 적용되며, 기존 결과의 엄밀한 확장임을 보여준다.
• 증명은 자연스러운 변환 간의 호환성과, 유한 핵을 가진 군의 캐테고리에서의 쐐기 구조에 따른 약한 동치의 유지에 기반한다.