[논문 리뷰] Realizing Kasparov's KK-theory groups as the homotopy classes of maps of a Quillen model category

M. Joachim, Mark Johnson|arXiv (Cornell University)|2007. 05. 14.

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

한 줄 요약

이 논문은 ν-순서적으로 완비된 l.m.c.-C*-대수의 범주에 Quillen 모형 범주 구조를 구축하여, 분리 가능 C*-대수 $A$와 σ-유일한 C*-대수 $B$ 사이의 사상에 대한 호모토피 클래스가 자연스럽게 Kasparov의 $KK(A,B)$ 군과 동형임을 보인다. 이 구축은 Cuntz의 동형사상 $KK(A,B) \conq [W(qA), B]$를 기초로 하며, 코프로젝티브 보정으로서 $qA \boxtimes \mathcal{K}$를 사용하고, 약한 동치가 정확히 $KK_*$-동치에 대응됨을 증명한다.

ABSTRACT

In this article we build a Quillen model category structure on the category of sequentially complete l.m.c.-C*-algebras such that the corresponding homotopy classes of maps Ho(A,B) for separable C*-algebras A and B coincide with the Kasparov groups KK(A,B). This answers an open question posed by Mark Hovey about the possibility of describing KK-theory for C*-algebras using the language of Quillen model categories.

연구 동기 및 목표

• 분리 가능 C*-대수 $A$와 σ-유일한 C*-대수 $B$에 대해 $Ho(A,B) \cong KK(A,B)$가 성립하도록, ν-순서적으로 완비된 l.m.c.-C*-대수의 범주에 Quillen 모형 범주 구조를 수립하는 것.
• 모형 범주 내의 약한 동치가 정확히 $KK_*$-동치에 대응되며, $KK$-이론 동형사상이 유지되도록 보장하는 것.
• 완비된 l.m.c.-C*-대수의 더 큰 범주로 C*-대수를 통합하여 $KK$-이론에 대한 호모토피적 프레임워크를 제공하는 것.
• 콤��� 연산자 $\mathcal{K}$와 왼쪽 수반 함자 $W$를 포함하는 수반 쌍을 사용하여 모형 구조를 정의하고, Cuntz의 정리의 일반화를 이루는 것.
• 모든 대상이 코프로젝티브 생성과 프로젝티브 성질을 가지도록 하여, 귀납적 구성과 잘 정의된 호모토피 극한을 보장하는 것.

제안 방법

• ν-순서적으로 완비된 l.m.c.-C*-대수의 범주 $\mathbb{A}_\nu$에 모형 범주를 정의하며, 이는 C*-대수의 역극한을 포함한다.
• 호모토피 범주를 정의하기 위한 기초 동형사상으로서 $KK(A,B) \cong [W(qA), B]$를 사용한다.
• 코프로젝티브 보정을 $qA \boxtimes \mathcal{K}$를 통해 구성하며, 여기서 $qA$는 $A * A \to A$의 덧붙임 사상의 핵이다.
• 약한 동치를 $\pi_n Hom(W(qA), -)$에 대한 동형사상을 유도하는 사상으로 정의하며, 이는 $KK_*$-동치에 대응된다.
• l.m.c.-C*-대수의 범주에서 합과 사상 공간을 다루기 위해 반노름 확장 성질을 확립한다.
• Quillen의 소형 객체 근사법을 적용하여 코프로젝티브 생성 모형 구조를 구성하고, 프로젝티브 대상이 이미 프로젝티브임을 보장한다.

실험 결과

연구 질문

• RQ1 Kasparov의 $KK$-이론 군은 Quillen 모형 범주에서 자연스럽게 호모토피 사상의 클래스로 실현될 수 있는가?
• RQ2 완비된 l.m.c.-C*-대수의 범주에 대해, 분리 가능 $A$와 σ-유일한 $B$에 대해 $Ho(A,B) \cong KK(A,B)$가 성립하는 모형 범주 구조가 존재하는가?
• RQ3 그러한 모형 범주 내의 약한 동치가 $KK_*$-동치와 정확히 일치하는가?
• RQ4 분리 가능 $C^*$-대수의 코프로젝티브 보정은 $qA \boxtimes \mathcal{K}$를 통해 구성될 수 있는가?
• RQ5 $\mathbb{A}_\nu$에 정의된 모형 범주 구조가 모든 대상이 프로젝티브인 코프로젝티브 생성 구조를 갖는가?

주요 결과

• $\mathbb{A}_\nu$에 정의된 모형 범주 구조는 모든 분리 가능 C*-대수 $A$와 σ-유일한 C*-대수 $B$에 대해 $Ho(A,B) \cong KK(A,B)$를 만족한다.
• σ-유일한 C*-대수 $B$와 $B'$ 사이의 *-호모모르피즘 $f: B \to B'$는 $KK$-모형 범주에서 약한 동치일 필요와 충분조건이 $KK_*$-동치임이다.
• $qA \boxtimes \mathcal{K}$는 코프로젝티브이며 $qA$의 코프로젝티브 보정을 이룬다. 또한 $qA \boxtimes \mathcal{K} \to qA \to A$의 복합은 $A$의 코프로젝티브 보정을 이룬다.
• 모형 범주는 코프로젝티브 생성이며 모든 대상이 프로젝티브이므로, 호모토피 극한의 양호한 행동과 오른쪽 적절성(weak properness)이 보장된다.
• 표준 사상 $q_{qB}: qB \boxtimes \mathcal{K} \to qB$는 사상 공간에 대해 약한 동치를 유도하며, 이는 $KK$-군을 호모토피 클래스로 실현하는 데 핵심적이다.
• 이 구축은 Cuntz의 정리를 일반화하며, $Ho(A,B) = \pi_0 \text{Hom}(qA \boxtimes \mathcal{K}, B)$를 통해 $KK$-이론에 새로운 호모토피적 해석을 제공한다.