[논문 리뷰] Tensor products and regularity properties of Cuntz semigroups

Ramon Antoine, Francesc Perera외 1명|2014. 10. 02.

Advanced Operator Algebra Research참고 문헌 87인용 수 33

한 줄 요약

이 논문은 Cuntz 세미군의 범주 $Χ$에서 텐서곱의 존재를 확립하며, 기술적 수단으로 pre-completed Cuntz 세미군의 범주 $Χ$를 도입한다. '고체' $Χ$-세미환(세미환의 형태로 강력하게 자기흡수적인 $C^*$-대수의 해석)을 정의하고, UCT를 만족하는 강력하게 자기흡수적인 $C^*$-대수의 Cuntz 세미군이 고체임을 증명하며, 이러한 고체 세미환 위의 세미모듈을 통해 Toms-Winter 추측과 연결한다.

ABSTRACT

The Cuntz semigroup of a C*-algebra is an important invariant in the structure and classification theory of C*-algebras. It captures more information than K-theory but is often more delicate to handle. We systematically study the lattice and category theoretic aspects of Cuntz semigroups. Given a C*-algebra $A$, its (concrete) Cuntz semigroup $Cu(A)$ is an object in the category $Cu$ of (abstract) Cuntz semigroups, as introduced by Coward, Elliott and Ivanescu. To clarify the distinction between concrete and abstract Cuntz semigroups, we will call the latter $Cu$-semigroups. We establish the existence of tensor products in the category $Cu$ and study the basic properties of this construction. We show that $Cu$ is a symmetric, monoidal category and relate $Cu(A\otimes B)$ with $Cu(A)\otimes_{Cu}Cu(B)$ for certain classes of C*-algebras. As a main tool for our approach we introduce the category $W$ of pre-completed Cuntz semigroups. We show that $Cu$ is a full, reflective subcategory of $W$. One can then easily deduce properties of $Cu$ from respective properties of $W$, e.g. the existence of tensor products and inductive limits. The advantage is that constructions in $W$ are much easier since the objects are purely algebraic. We also develop a theory of $Cu$-semirings and their semimodules. The Cuntz semigroup of a strongly self-absorbing C*-algebra has a natural product giving it the structure of a $Cu$-semiring. We give explicit characterizations of $Cu$-semimodules over such $Cu$-semirings. For instance, we show that a $Cu$-semigroup $S$ tensorially absorbs the $Cu$-semiring of the Jiang-Su algebra if and only if $S$ is almost unperforated and almost divisible, thus establishing a semigroup version of the Toms-Winter conjecture.

연구 동기 및 목표

• pre-completed Cuntz 세미군의 범주 $Χ$를 도입하여 Cuntz 세미군에 대한 범주론적 프레임워크를 개발한다.
• 범주 $Χ$에서 텐서곱의 존재를 확립하고, 특정 $C^*$-대수들에 대해 $Χ(A \bigotimes B)$와 $Χ(A) \bigotimes_{Χ} Χ(B)$ 사이의 관계를 규명한다.
• 강력하게 자기흡수적인 $C^*$-대수의 해석으로서의 '고체' $Χ$-세미환을 정의하고 연구한다.
• 고체 $Χ$-세미환 위의 세미모듈로 표현되는 $Χ$-세미군을 특성화하며, 특히 Jiang-Su 대수의 $Χ$-세미군와의 관계를 다룬다.
• Jiang-Su 대수의 $Χ$-세미환 위의 세미모듈의 특성화를 통해 Toms-Winter 추측의 세미군 수준 해석을 제시한다.

제안 방법

• 텐서곱과 인덕티브 극한과 같은 구조를 더 쉽게 다룰 수 있는 순수하게 대수적 설정으로서 pre-completed Cuntz 세미군의 범주 $Χ$를 도입한다.
• $Χ$가 $Χ$의 전사적이고 반사적인 부분범주임을 보여, $Χ$의 성질을 $Χ$로 이행할 수 있도록 한다.
• 이중형사상 범주에서의 표현 대상의 보편성 성질을 활용하여 $Χ$에서 텐서곱을 구성한다.
• $Χ$-세미환 $R$와 $Χ$-세미군 $S$에 대해 $R \bigotimes S$에 자연스러운 세미환의 구조를 부여함으로써 $R \bigotimes_{Χ} S$가 $Χ$-세미군가 되도록 한다.
• 자연스러운 사상 $R \bigotimes_{Χ} R \to R$가 동형사상이 되는 $Χ$-세미환을 '고체' $Χ$-세미환로 정의한다.
• Grothendieck 완비화와 양의 원소의 집합을 나타내는 함자들을 활용하여 부분적으로 순서가 붙은 환과 취소 가능하고 콘리컬인 세미환 간의 관계를 규명하며, 이는 텐서곱과의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 Cuntz 세미군의 범주 $Χ$는 잘 정의된 텐서곱 구조를 갖는가?
• RQ2 C*-대수들의 텐서곱의 Cuntz 세미군은 각각의 Cuntz 세미군의 텐서곱과 어떻게 관련되는가?
• RQ3 $Χ$-세미환의 범주론적 및 대수적 특성은 강력하게 자기흡수적인 $C^*$-대수의 해석으로서 어떻게 기술되는가?
• RQ4 $C^*$-대수의 $Χ$-세미군이 고체 $Χ$-세미환 위의 세미모듈이 되는 조건은 무엇인가?
• RQ5 Jiang-Su 대수의 $Χ$-세미환 위의 세미모듈의 구조를 통해 Toms-Winter 추측의 세미군 수준 해석을 제시하고 증명할 수 있는가?

주요 결과

• pre-completed Cuntz 세미군의 범주 $Χ$는 모든 소형 쌓음(colimit)을 포함하며, 이는 인덕티브 극한과 텐서곱을 포함한다.
• $A \to Χ(A)$의 할당은 $C^*$-대수에서 $Χ$로 가는 함자이며, 이는 인덕티브 극한을 보존한다.
• UCT를 만족하는 강력하게 자기흡수적인 $C^*$-대수의 $Χ$-세미군은 고체 $Χ$-세미환이다.
• $Χ$-세미군 $S$가 Jiang-Su 대수의 $Χ$-세미환 위의 세미모듈일 조건은 $S$가 거의 무분쇄적( почти unperforated) 이며 거의 나누어떨어지는( almost divisible) 것과 동치이다.
• 고체 $Χ$-세미환 $R$와 $Χ$-세미군 $S$의 텐서곱 $R \bigotimes_{Χ} S$는 $S$와 동형일 조건은 $S$가 $R$ 위의 세미모듈일 때이다.
• 세미환과 세미모듈 이론은 Jiang-Su 대수의 $Χ$-세미환의 중심적 역할을 하며, Toms-Winter 추측의 세미군 수준 해석을 제공한다.