[논문 리뷰] On certain Cuntz-Pimsner algebras

Alex Kumjian|ArXiv.org|2001. 08. 29.

Advanced Operator Algebra Research참고 문헌 21인용 수 7

한 줄 요약

이 논문은 분리 가능하고 단위를 가진 C*-대수 $A$와 $\pi: A \to \mathcal{L}(\mathfrak{H})$가 $\pi(A)$와 컴팩트 연산자 간의 교차가 자명한 경우, 힐버트 $A$-이중모듈러스 $E = \mathfrak{H} \otimes_\mathbb{C} A$에 대응하는 Cuntz-Pimsner 대수 $\mathcal{O}_E$가 단순하고 순수 무한하다는 것을 증명한다. 만약 $A$가 초핵심적이고 부트스트랩 클래스에 속해 있다면, $\mathcal{O}_E$는 단위를 가진 Kirchberg 대수이며, Kirchberg-Phillips 정리에 의해 $A$의 $K$-이론과 그 단위의 동치류에 의해 완전히 결정된다.

ABSTRACT

Let $A$ be a separable unital C*-algebra and let $π: A a \Lc(\Hf)$ be a faithful representation of $A$ on a separable Hilbert space $\Hf$ such that $π(A) \cap \Kc(\Hf) = \{0 \}$. We show that $\Oc_E$, the Cuntz-Pimsner algebra associated to the Hilbert $A$-bimodule $E = \Hf \ot_{\C} A$, is simple and purely infinite. If $A$ is nuclear and belongs to the bootstrap class to which the UCT applies, then the same applies to $\Oc_E$. Hence by the Kirchberg-Phillips Theorem the isomorphism class of $\Oc_E$ only depends on the $K$-theory of $A$ and the class of the unit.

연구 동기 및 목표

• 왼쪽 $A$-작용이 컴팩트 연산자와의 교차가 없는 힐버트 $A$-이중모듈러스 $E = \mathfrak{H} \otimes_\mathbb{C} A$에 대응하는 Cuntz-Pimsner 대수 $\mathcal{O}_E$의 구조를 분석하는 것.
• $\pi(A) \cap \mathcal{K}(\mathfrak{H}) = \{0\}$ 조건 하에서 $\mathcal{O}_E$의 단순성과 순수 무한성 증명.
• $A$가 초핵심적이고 부트스트랩 클래스에 속해 있다면 $\mathcal{O}_E$가 단위를 가진 Kirchberg 대수임을 보이고, 따라서 그 동형류가 $K$-이론과 단위의 동치류에 의해 완전히 결정됨을 보이는 것.
• $\mathcal{O}_E \cong \mathcal{T}_E$임을 보이고, 포함사상 $A \hookrightarrow \mathcal{O}_E$가 $KK$-등치를 유도함을 보이는 것.

제안 방법

• $\mathcal{T}_E$를 $E$의 포크 공간 위의 연산자로 구성하고, 게이지 작용 $\lambda: \mathbb{T} \to \mathrm{Aut}(\mathcal{T}_E)$를 사용하는 것.
• Takesaki-Takai 이중성에 의해 $\mathcal{O}_E \otimes \mathcal{K}(L^2(\mathbb{T}))$와 이중 외적곱 $({\mathcal{O}}_E \rtimes_\lambda \mathbb{T}) \rtimes_{\hat{\lambda}} \mathbb{Z}$를 연결하는 것.
• 완전한 Connes 스펙트럼을 가진 $\mathbb{Z}$에 의한 외적곱에 대해 Rørdam의 핵심 보조정리의 변형을 적용하며, 이는 쌍대 작용의 Connes 스펙트럼이 완전해야 한다는 조건을 필요로 한다.
• $\mathcal{O_}E$가 이중 외적곱에 $\mathbb{Z}$-작용에 대해 등변적으로 통합된다는 사실을 이용하여, 이 보조정리를 $\mathcal{O}_E$에 적용하는 것.
• Kirchberg-Phillips 정리를 적용하여, $A$가 초핵심적이고 부트스트랩 클래스에 속해 있다면 $\mathcal{O}_E$가 $K_*(A)$와 $[1_A]$에 의해 완전히 결정됨을 결론짓는 것.
• $\mathcal{O}_E \cong \mathcal{T}_E$라는 사실과 포함사상 $A \hookrightarrow \mathcal{O}_E$가 $KK$-등치를 유도한다는 점을 Pimsner의 결과에 기반하여 활용하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $E = \mathfrak{H} \otimes_\mathbb{C} A$에 대응하는 Cuntz-Pimsner 대수 $\mathcal{O}_E$가 단순하고 순수 무한해지는가?
• RQ2 Cuntz-Pimsner 대수 $\mathcal{O}_E$가 언제 단위를 가진 Kirchberg 대수가 되는가?
• RQ3 A가 초핵심적이고 부트스트랩 클래스에 속해 있을 때, $A$의 $K$-이론이 $\mathcal{O}_E$의 동형류를 어떻게 결정하는가?
• RQ4 Connes 스펙트럼은 $\mathcal{O}_E$의 단순성과 순수 무한성 증명에서 어떤 역할을 하는가?
• RQ5 비콤팩트 왼쪽 작용 설정에서 $\mathcal{O}_E$의 구조는 감소 자유곱 또는 암시적 자유곱과 어떻게 관련되는가?

주요 결과

• 분리 가능하고 단위를 가진 C*-대수 $A$이고, $\pi: A \to \mathcal{L}(\mathfrak{H})$가 $\pi(A) \cap \mathcal{K}(\mathfrak{H}) = \{0\}$인 경우, Cuntz-Pimsner 대수 $\mathcal{O}_E$는 단순하고 순수 무한하다.
• $A$가 초핵심적이고 부트스트랩 클래스에 속해 있다면, $\mathcal{O}_E$는 단위를 가진 Kirchberg 대수이며, 따라서 그 동형류는 $K_*(A)$와 $[1_A]$에 의해 완전히 결정된다.
• $\mathcal{O}_E \cong \mathcal{T}_E$이므로, Pimsner의 보조정리 3.14에 의해 왼쪽 작용이 컴팩트 연산자와의 교차가 자명하기 때문이다.
• 포함사상 $A \hookrightarrow \mathcal{O}_E$는 $KK$-등치를 유도하며, 이는 단위를 유지하는 $K_*(A) \cong K_*(\mathcal{O}_E)$ 동형사상으로 이어진다.
• $A = C(X)$이고 $X$가 분리 가능하고 컴팩트한 공간이며, $\mu$가 전지면을 가진 비원소 측도일 경우, $\mathcal{O}_E$는 단위를 가진 Kirchberg 대수이며, 그 동형류는 $(K_*(C(X)), [1_{C(X)}])$에 의해 결정되며, $\mu$에 무관하다.
• $X$가 수축 가능하다면, $\mathcal{O}_E \cong \mathcal{O}_\infty$이다. 즉, 보편적인 단위를 가진 순수 무한 C*-대수이다.