[논문 리뷰] The Connes-Kasparov conjecture for almost connected groups

Jérôme Chabert, Siegfried Echterhoff외 1명|ArXiv.org|2001. 10. 12.

Advanced Operator Algebra Research참고 문헌 23인용 수 8

한 줄 요약

이 논문은 거의 연결된 국소 콪크 군에 대해 Connes-Kasparov 추측을 증명하며, 이러한 군들에 대해 Baum-Connes 조립 사상이 동형사상임을 입증한다. Mackey 기계 기법, 연속적인 C*-대수의 필드, 그리고 Baum-Connes 추측의 영속성 성질을 활용하여 저자들은 문제를 재수정 및 단순화된 경우로 줄이며, 궁극적으로 줄기 군의 최대 컴act 부분군의 이동된 K-이론과 줄기 군의 줄기 군 C*-대수의 K-이론 사이에 동형관계를 보여준다. 이는 정적 적분 가능한 표현에 대한 함의를 가진다.

ABSTRACT

Let $G$ be a locally compact group with cocompact connected component. We prove that the assembly map from the topological $\k$-theory of $G$ to the $\k$-theory of the reduced $C^*$-algebra of $G$ is an isomorphism.

연구 동기 및 목표

• 모든 두 번째 가산적인 거의 연결 군에 대해 자명한 계수를 가진 Baum-Connes 추측을 확립하기 위해.
• 선형성 또는 아메니타리함이 없는 군으로 Connes-Kasparov 추측을 확장하기 위해 문제를 재수정 및 단순화된 경우로 줄이기 위해.
• 거의 연결 군의 위상적 K-이론과 그 최대 컴팩트 부분군의 K-이론 간의 관계를 명확히 하기 위해.
• 단순 가군 표현의 존재에 대한 K-이론 기준을 제시하기 위해, 비가역 리 군에서 정적 적분 가능한 인자 표현을 고려하기 위해.

제안 방법

• 거의 연결 군에 대해 Baum-Connes 추측을 재수정된 경우로 줄이기 위해 Mackey 기계 기법을 활용한다.
• 군의 확장과 와일드곱에 대한 Baum-Connes 추측의 영속성 성질을 적용한다.
• 기저와 군에 대한 약한 위상 조건 하에서 연속적인 C*-대수의 필드를 활용하여 섬유에서 총공간으로 추측을 올리는 데 사용한다.
• 중심이 유한한 단순 군에 대한 Lafforgue의 결과를 활용하여 선형성 가정 없이 모든 재수정 군으로 추측을 확장한다.
• 연결 리 군의 Pukánszky 표현 이론을 활용하여 최대 컴팩트 부분군의 구조와 그가 접공간 위에서 작용하는 방식을 분석한다.
• Mackey 장애물과 Spin^c 구조를 통한 비틀린 K-이론 동형관계를 활용하여 비틀린 군 C*-대수의 K-이론과 최대 컴팩트 부분군의 K-이론 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 Baum-Connes 조립 사상은 모든 거의 연결 국소 콩크 군에 대해 여전히 동형사상인가?
• RQ2 연속적인 필드와 영속성 기법을 사용하여 비선형 재수정 군으로 Connes-Kasparov 추측을 확장할 수 있는가?
• RQ3 줄기 군 C*-대수의 K-이론과 최대 컴팩트 부분군의 K-이론 간의 정확한 관계는 무엇인가?
• RQ4 연결된 비가역 리 군이 정적 적분 가능한 인자 표현을 갖는 조건은 무엇인가?
• RQ5 항등원에서의 접공간 위에서의 수반 작용의 방향성은 비틀린 군 C*-대수의 K-이론에 어떤 영향을 미치는가?

주요 결과

• 모든 두 번째 가산적인 거의 연결 군에 대해 Baum-Connes 조립 사상은 동형사상이며, 이는 이 경우에서 Connes-Kasparov 추측을 확인한다.
• 최대 컴팩트 부분군이 L인 거의 연결 군 G에 대해 다음 K-이론 동형관계가 성립한다: K*(C_r*(G,ω)) ≅ K_{*+n}(C*(L, ω·μ_L)), 여기서 n = dim(G/L).
• L이 T_eL 위에서 수반 작용을 방향을 유지하는 경우, K_*(C_r*(G,ω))는 최대 가чёт 수의 생성자들을 가진 자유 아벨 군으로서 짝수 차수에서 동형이며, 홀수 차수에서는 자명하다.
• 비틀림 코호몰로지 코chain ω가 자명한 경우, K*(C_r*(G)) ≅ K_{*+n}(C*(L, μ_L))이며, μ_L가 자명한 것은 G/L가 G-불변인 Spin^c-구조를 가질 때이고 뿐이다.
• 연결된 비가역 리 군의 모든 정적 적분 가능한 인자 표현은 유형 I이며, dim(G/L)가 홀수이면 그러한 표현은 존재하지 않는다.
• G/L의 차수가 홀수이면, 줄기 군의 비틀린 C*-대수 C_r*(G,ω)의 K-이론은 홀수 차수에서 자명하며, 짝수 차수에서는 자유 아벨 군이다.