[논문 리뷰] The Fine Structure of the Kasparov Groups III: Relative Quasidiagonality

Claude Schochet|ArXiv.org|2001. 07. 12.

Mathematical Dynamics and Fractals인용 수 5

한 줄 요약

이 논문은 분리 가능한 초핵심 $C^*$-대수이자 유니버설 계수 정리(UCT)를 만족하는 대수들에 대해 $KK_1(A,B)$에서의 준대각 클래스의 정확한 위상수학적 특성화를 확립한다. $QD(A,B) \cong Pext_{\mathbb{Z}}^1(K_*(A), K_*(B))_0$임을 증명함으로써, 이 설정 하에서 준대각성은 위상수학적 불변량임을 보이며, L.G. 브라운이 제기한 토파스 부분군으로의 사상의 핵에 관한 질문을 해결한다.

ABSTRACT

In this paper we identify QD(A,B), the quasidiagonal classes in KK_1(A,B), in terms of K_*(A) and K_*(B), and we use these results in various applications. Here is our central result. Theorem: Suppose that A is in the category of separable nuclear C^*-algebras which satisfy the UCT and A is quasidiagonal relative to B. Then there is a natural isomorphism QD(A,B) = Pext (K_*(A), K_*(B))_0 . Thus quasidiagonality of KK-classes is indeed a topological invariant. We give several applications. Finally, we establish a converse to a theorem of Davidson, Herrero, and Salinas, giving conditions under which the quasidiagonality of A/K implies the quasidiagonality of the associated representation of A.

연구 동기 및 목표

• 분리 가능한 초핵심 $C^*$-대수이자 UCT를 만족하는 대수들의 범주 $\widetilde{\mathcal{N}}$에 속하는 $A$에 대해 $KK_1(A,B)$ 내 준대각 클래스 $QD(A,B)$를 규명하는 것.
• 상대적 준대각성과 자연사상 $\theta^*: Ext_{\mathbb{Z}}^1(K_*(A), K_*(B)) \to Ext_{\mathbb{Z}}^1(K_*(A)_t, K_*(B))$의 핵 사이의 관계를 명확히 하는 것.
• 다비드슨, 허로, 살라이나스의 정리의 역을 확립하여, $A/\mathcal{K}$의 준대각성이 그 표현의 준대각성으로 이어지는 조건을 제시하는 것.

제안 방법

• 유니버설 계수 정리를 활용하여 $KK_1(A,B)$를 $Ext_{\mathbb{Z}}^1(K_*(A), K_*(B))$와 $Hom_{\mathbb{Z}}(K_*(A), K_*(B))$로 구성된 확장로 분해하고, 핵이 $Ext_{\mathbb{Z}}^1(K_*(A), K_*(B))$로 식별되는 바를 이용한다.
• $QD(A,B)$를 핵의 부분군으로 식별하며, 특히 순수 확장 $Pext_{\mathbb{Z}}^1(K_*(A), K_*(B))_0$로 특정한다.
• 살라이나스의 결과를 적용하여 준대각 클래스는 $KK_1(A,B)$의 위상에서 0의 닫힘과 일치함을 보이며, 위상적 닫힘과 준대각성 간의 연결 고리를 설정한다.
• 폰트랴긴 쌍대성과 순수 부분군의 성질을 활용하여, 특히 가산인 토파스 군 $G$에 대해 $Ext_{\mathbb{Z}}^1(G, \mathbb{Z})$의 구조를 분석한다.
• 토르션 군 $G$에 대해 $K_0(A) = G$인 구체적 예를 구성하여 $KK_1(A, \mathcal{K}) \cong \mathcal{P}(G)$이지만, $QD(A, \mathcal{K}) = 0$임을 보이며, 이는 확장이 순수할 때만 준대각 표현이 존재함을 보여준다.
• 브라운과 다다르라트의 준대각성에 관한 정리와 결과를 비교하여, $E_\tau$는 준대각일 수 있지만 표현 $e_\tau$는 준대각이 아닐 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 분리 가능한 초핵심 $C^*$-대수이자 UCT를 만족하는 $A$에 대해 $KK_1(A,B)$ 내 준대각 클래스의 정확한 위상수학적 특성화는 무엇인가?
• RQ2 상대적 준대각성은 $Ext_{\mathbb{Z}}^1(K_*(A), K_*(B))$에서 $Ext_{\mathbb{Z}}^1(K_*(A)_t, K_*(B))$로 가는 사상 $\theta^*$의 핵과 어떻게 관련이 있는가?
• RQ3 $A/\mathcal{K}$의 준대각성이 관련 표현의 준대각성으로 이어지는 조건은 무엇인가?
• RQ4 $E_\tau$가 준대각일 때조차도 표현 $e_\tau$가 준대각일 수 있는가? 이러한 경우는 무엇으로 구별되는가?
• RQ5 순수 확장은 $KK$-클래스의 준대각성 결정에 어떤 역할을 하는가?

주요 결과

• 핵심 결과는 $A \in \widetilde{\mathcal{N}}$일 때 자연스러운 동형사상 $QD(A,B) \cong Pext_{\mathbb{Z}}^1(K_*(A), K_*(B))_0$가 존재함을 보이며, 이는 준대각성이 이 설정 하에서 위상수학적 불변량임을 증명한다.
• 논문은 L.G. 브라운의 질문을 해결하여, $\theta^*$의 핵이 정확히 $Pext_{\mathbb{Z}}^1(K_*(A), K_*(B))_0$임을 보이며, 이는 준대각 클래스를 식별한다.
• 분리 가능한 초핵심 $C^*$-대수 $A \in \widetilde{\mathcal{N}}$이 $K_0(A)$가 토파스 자유일 경우, 표현 $e_\tau$의 준대각성은 $\gamma(\tau) = 0$ 즉, 자명한 지수일 때에만 성립한다.
• 논문은 $K_0(A) = G$인 가산 토파스 군 $G$를 갖는 대수 $A$에 대해 $KK_1(A, \mathcal{K}) \cong \mathcal{P}(G)$이지만 $QD(A, \mathcal{K}) = 0$임을 보이며, 이는 유일하게 자명한 확장일 때만 준대각 표현이 존재함을 보여준다.
• 브라운과 다다르라트의 결과에 따르면 $E_\tau$는 준대각일 수 있지만 $e_\tau$는 준대각이 아닐 수 있음을 보이며, 이는 대수적 준대각성과 표현 이론적 준대각성 사이의 차이를 드러낸다.
• 논문은 $KK_1(A, \mathcal{K})$ 내 비자명한 확장은 충분히 많은 복제를 거친 후에야 준대각이 될 수 있음을 보이며, '최종 준대각성'이라는 현상의 예를 제시한다.