[논문 리뷰] On the KK-theory of strongly self-absorbing C*-algebras

Marius Dădărlat, Wilhelm Winter|ArXiv.org|2007. 04. 04.

Advanced Operator Algebra Research참고 문헌 5인용 수 3

한 줄 요약

이 논문은 $K_1$-삽입 가능하고 강하게 자기흡수적인 $C^*$-대수 $\mathcal{D}$에 대해, 임의의 두 단위 원소를 갖는 $*$-준동형사상 $\sigma, \gamma: \mathcal{D} \to A \otimes \mathcal{D}$가 근사적으로 단위 유니터리 동치일 뿐 아니라, 점점 더 정확하게 단위 유니터리 동치임을 확립한다. 이는 $\mathcal{D}$의 모든 단위 원소 내부 준동형사상이 점점 더 정확하게 내부임을 의미하며, $\mathcal{D}$의 자동사상과 준동형사상의 공간이 점-노름 위상에서 컴팩트 수축 가능하다는 것을 암시한다. 이 결과는 $KK(\mathcal{D}, A \otimes \mathcal{D})$를 $*$-준동형사상과 점점 더 정확한 단위 유니터리 동치를 통해 완전히 기술한다.

ABSTRACT

Let $\Dh$ and $A$ be unital and separable $C^{*}$-algebras; let $\Dh$ be strongly self-absorbing. It is known that any two unital $^*$-homomorphisms from $\Dh$ to $A \otimes \Dh$ are approximately unitarily equivalent. We show that, if $\Dh$ is also $K_{1}$-injective, they are even asymptotically unitarily equivalent. This in particular implies that any unital endomorphism of $\Dh$ is asymptotically inner. Moreover, the space of automorphisms of $\Dh$ is compactly-contractible (in the point-norm topology) in the sense that for any compact Hausdorff space $X$, the set of homotopy classes $[X,\Aut(\Dh)]$ reduces to a point. The respective statement holds for the space of unital endomorphisms of $\Dh$. As an application, we give a description of the Kasparov group $KK(\Dh, A\ot \Dh)$ in terms of $^*$-homomorphisms and asymptotic unitary equivalence. Along the way, we show that the Kasparov group $KK(\Dh, A\ot \Dh)$ is isomorphic to $K_0(A\ot \Dh)$.

연구 동기 및 목표

• 강하게 자기흡수적인 $C^*$-대수 $\mathcal{D}$에서 $A \otimes \mathcal{D}$로의 단위 원소를 갖는 $*$-준동형사상들 $\sigma, \gamma$ 사이의 점점 더 정확한 단위 유니터리 동치를 확립한다. 이때 $\mathcal{D}$는 $K_1$-삽입 가능하다고 가정한다.
• 점점 더 정확한 단위 유니터리 동치와 $*$-준동형사상들을 이용하여 카스파로프 군 $KK(\mathcal{D}, A \otimes \mathcal{D})$를 특성화한다.
• 점-노름 위상에서 $\mathcal{D}$의 자동사상과 단위 원소 준동형사상의 공간이 컴팩트 수축 가능하다는 것을 보인다.
• $KK_i(\mathcal{D}, \mathcal{D} \otimes A) \cong K_i(\mathcal{D} \otimes A)$ ($i = 0,1$)를 UCT를 가정하지 않고 증명한다.
• $\mathcal{O}_2$와 보편 UHF 대수 $\mathcal{Q}$를 UCT 가정 없이 $K$-이론적 조건으로 특성화한다.

제안 방법

• 강하게 자기흡수적인 $\mathcal{D}$에 대해, 단위 원소를 갖는 $*$-준동형사상들 $\sigma, \gamma: \mathcal{D} \to A \otimes \mathcal{D}$ 사이의 기존 근사적 단위 유니터리 동치를 바탕으로, $K_1$-삽입 가능성 조건 하에서 점점 더 정확한 단위 유니터리 동치로 강화한다.
• 점점 더 정확한 단위 유니터리 동치를 구현하기 위해 $A \otimes \mathcal{D}$ 내의 연속적인 유니터리 경로를 사용하며, 이 경로는 항등원에서 시작한다.
• 연속적인 $C^*$-대수의 필드 이론과 점점 더 정확한 단위 유니터리 동치 이론을 적용하여, $\mathrm{Aut}(\mathcal{D})$와 $\mathrm{End}(\mathcal{D})$의 호모토피가 자명하다는 것을 유도한다.
• $KK$-류를 $*$-준동형사상들의 차수로 분해함으로써, $KK(\mathcal{D}, A \otimes \mathcal{D})$와 $K_0(A \otimes \mathcal{D})$ 사이의 동형사상을 확립한다.
• 강하게 자기흡수적인 대수의 보편 성질과 u.c.p. 사상의 점점 더 정확한 곱셈성질을 활용하여, $K_0$-나누어 떨어짐과 준대각성 조건 하에서 $\mathcal{D} \cong \mathcal{D} \otimes \mathcal{Q}$를 증명한다.
• $K$-이론 조건과 쿠른헨트 공식을 사용하여, UCT 없이도 $\mathcal{Q}$와 $\mathcal{O}_2$를 $K_0$와 $K_1$-이론적 자료로 특성화한다.

실험 결과

연구 질문

• RQ1 강하게 자기흡수적이고 $K_1$-삽입 가능한 $\mathcal{D}$에 대해, 두 단위 원소를 갖는 $*$-준동형사상 $\sigma, \gamma: \mathcal{D} \to A \otimes \mathcal{D}$는 점점 더 정확하게 단위 유니터리 동치인가?
• RQ2 카스파로프 군 $KK(\mathcal{D}, A \otimes \mathcal{D})$는 $*$-준동형사상과 점점 더 정확한 단위 유니터리 동치를 통해 완전히 기술될 수 있는가?
• RQ3 점-노름 위상에서 $K_1$-삽입 가능한 강하게 자기흡수적인 $\mathcal{D}$의 자동사상 공간은 컴팩트 수축 가능한가?
• RQ4 $KK_i(\mathcal{D}, \mathcal{D} \otimes A)$가 $i = 0,1$일 때 UCT를 가정하지 않고 $K_i(\mathcal{D} \otimes A)$와 동형으로 일치하는가?
• RQ5 $\mathcal{O}_2$와 보편 UHF 대수 $\mathcal{Q}$는 UCT에 의존하지 않고 순수하게 $K$-이론적 조건으로 특성화될 수 있는가?

주요 결과

• 강하게 자기흡수적이고 $K_1$-삽입 가능한 $\mathcal{D}$에 대해, 임의의 두 단위 원소를 갖는 $*$-준동형사상 $\sigma, \gamma: \mathcal{D} \to A \otimes \mathcal{D}$는 점점 더 정확하게 단위 유니터리 동치이다.
• 모든 단위 원소 준동형사상은 점점 더 정확하게 내부이므로, 항등원에서 시작하는 연속적인 유니터리 경로에 의해 실현된다.
• $\mathcal{D}$의 자동사상 공간은 컴팩트 수축 가능하다: 임의의 컴팩트 하우스도르프 공간 $X$에 대해 점-노름 위상에서 $[X, \mathrm{Aut}(\mathcal{D})]$는 자명하다.
• $KK(\mathcal{D}, A \otimes \mathcal{D})$는 $K_0(A \otimes \mathcal{D})$와 동형이며, 요소들은 $*$-준동형사상 $\varphi$와 포함사상 $\iota$에 대해 $[\varphi] - n[\iota]$의 형태로 표현된다.
• $\varphi, \psi: \mathcal{D} \to \mathcal{K} \otimes A \otimes \mathcal{D}$가 $\varphi(1) = \psi(1) = e$를 만족할 때, 이 둘이 같은 $KK$-류를 나타내는 것은, $e(\mathcal{K} \otimes A \otimes \mathcal{D})e$ 내의 유니터리 경로를 통해 점점 더 정확하게 단위 유니터리 동치임과 동치이다. $i = 0,1$일 때 $KK_i(\mathcal{D}, \mathcal{D} \otimes A) \cong K_i(\mathcal{D} \otimes A)$이며, UCT를 가정하지 않는다.
• 보편 UHF 대수 $\mathcal{Q}$는 $K_0(\mathcal{Q}) \cong \mathbb{Q}$이고 $K_1(\mathcal{Q}) \otimes \mathbb{Q} = 0$를 만족하는 유일한 분리 가능하고 단위 원소를 갖는 강하게 자기흡수적이고 준대각성인 $C^*$-대수로서, UCT에 의존하지 않고 특성화된다.