[논문 리뷰] Unitary Cuntz semigroups of ideals and quotients

Laurent Cantier|arXiv (Cornell University)|2020. 12. 15.

Advanced Algebra and Logic참고 문헌 7인용 수 7

한 줄 요약

이 논문은 추상 단위 Cuntz 준군의 범주($\operatorname{Cu}^\sim$)에서 이상과 몫의 개념을 도입하고, 안정적 차수 1을 가진 $C^*$-대수의 경우, 이상 $I \mapsto \operatorname{Cu}_1(I)$의 할당이 대수의 이상들과 그 단위 Cuntz 준군의 이상들 사이에 완전 격자 동형사상을 유도함을 증명한다. 핵심 결과는 $\operatorname{Cu}_1$가 정확하고 격자 구조를 유지함을 보이며, 분할 정확수열을 통해 $\operatorname{Cu}_1$, $\operatorname{Cu}$, 및 $\mathrm{K}_1$을 연결한다.

ABSTRACT

We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove that for any C$^*$-algebra of stable rank one $A$, the assignment $I\longmapsto$Cu$_1(I)$ defines a complete lattice isomorphism between the set of ideals of $A$ and the set of ideals of its unitary Cuntz semigroup Cu$_1(A)$. Further, we introduce a notion of quotients and exactness for the (non abelian) category Cu$^\sim$. We show that Cu$_1(A)/$Cu$_1(I)\simeq$ Cu$_1(A/I)$ for any ideal $I$ in $A$ and that the functor Cu$_1$ is exact. Finally, we link a Cu$^\sim$-semigroup with the Cu-semigroup of its positive elements and the abelian group of its maximal elements in a split-exact sequence. This result allows us to extract additional information that lies within the unitary Cuntz semigroup of a C$^*$-algebra of stable rank one.

연구 동기 및 목표

• 단위 Cuntz 준군의 비정렬 순서 범주 $\operatorname{Cu}^\sim$에서 이상과 몫의 개념을 정의한다.
• 임의의 $\operatorname{Cu}^\sim$-준군의 $\operatorname{Cu}^\sim$-이상들의 집합이 완전 격자임을 증명한다.
• 안정적 차수 1을 가진 $C^*$-대수의 경우, 함자 $\operatorname{Cu}_1$가 대수의 이상들과 그 단위 Cuntz 준군의 이상들 사이에 완전 격자 동형사상을 유도함을 증명한다.
• 모든 이상 $I \triangleleft A$에 대해 $\operatorname{Cu}_1(A/I) \cong \operatorname{Cu}_1(A)/\operatorname{Cu}_1(I)$임을 보이며, $\operatorname{Cu}_1$가 정확수열을 유지함을 보인다.
• $\operatorname{Cu}^\sim$-준군을 $\operatorname{Cu}$-준군의 양성 원소들과 $\mathrm{K}_1$-군을 연결하는 분할 정확수열을 통해 $\operatorname{Cu}_1$를 연결한다.

제안 방법

• 양성 방향성과 양성 볼록성을 정의하는 축약 조건 (PD)과 (PC)를 도입하여, 정렬 순서가 없는 환경에서 $\operatorname{Cu}^\sim$-이상의 정의를 내린다.
• 임의의 $\operatorname{Cu}^\sim$-준군의 $\operatorname{Cu}^\sim$-이상들의 집합이 완전 격자임을 증명하고, 그 양성 원소의 $\operatorname{Cu}$-이상들의 격자와 동형임을 보인다.
• 모든 안정적 차수 1을 가진 $C^*$-대수 $A$에 대해 $\operatorname{Cu}_1(A)$가 양성으로 방향화되고 양성으로 볼록함을 증명한다.
• 할당 $I \mapsto \operatorname{Cu}_1(I)$가 $\operatorname{Lat}(A)$와 $\operatorname{Lat}(\operatorname{Cu}_1(A))$ 사이에 완전 격자 동형사상을 정의함을 보인다.
• $\operatorname{Cu}_1(A/I) \cong \operatorname{Cu}_1(A)/\operatorname{Cu}_1(I)$임을 증명하여 $\operatorname{Cu}_1$ 함자의 정확성을 확립한다.
• $\operatorname{Cu}_1(S)$, $\operatorname{Cu}(S_+)$, 및 $S_{\text{max}}$를 연결하는 분할 정확수열을 구성하며, 최대 원소들이 아벨 군을 이룸을 보인다.

실험 결과

연구 질문

• RQ1 정렬 순서가 없는 범주 $\operatorname{Cu}^\sim$에서 이상의 개념을 의미 있게 정의할 수 있는가?
• RQ2 안정적 차수 1을 가진 $C^*$-대수 $A$의 단위 Cuntz 준군 $\operatorname{Cu}_1(A)$는 $A$의 이상 격자를 반영하는가?
• RQ3 모든 이상 $I \triangleleft A$에 대해 $\operatorname{Cu}_1(A/I) \cong \operatorname{Cu}_1(A)/\operatorname{Cu}_1(I)$임을 만족함으로써, 함자 $\operatorname{Cu}_1$가 정확한가?
• RQ4 $\operatorname{Cu}$-준군의 양성 원소들과 $\mathrm{K}_1$-군은 $\operatorname{Cu}_1(A)$와 어떻게 관련되어 있는가?
• RQ5 $\operatorname{Cu}_1(A)$의 구조는 $\operatorname{Cu}(A_+)$와 $\mathrm{K}_1(A)$를 포함하는 분할 정확수열로 분해될 수 있는가?

주요 결과

• 모든 안정적 차수 1을 가진 $C^*$-대수 $A$에 대해, 할당 $I \mapsto \operatorname{Cu}_1(I)$는 $\operatorname{Lat}(A)$와 $\operatorname{Lat}(\operatorname{Cu}_1(A))$ 사이에 완전 격자 동형사상을 정의하며, 이상 구조를 유지한다.
• $\operatorname{Cu}_1(A)$는 양성으로 방향화되고 양성으로 볼록하므로, $\operatorname{Cu}^\sim$-범주에서 잘 정의된 이상의 존재를 보장한다.
• $\operatorname{Cu}_1(A)/\operatorname{Cu}_1(I)$는 자연스럽게 $\operatorname{Cu}_1(A/I)$와 동형이며, 이는 $\operatorname{Cu}_1$가 정확수열을 유지함을 확인한다.
• $\operatorname{Cu}_1$ 함자는 정확하므로, 안정적 차수 1을 가진 $C^*$-대수의 짧은 정확수열을 유지한다.
• 모든 $\operatorname{Cu}^\sim$-준군 $S$에 대해 $0 \to \operatorname{Cu}(S_+) \to \operatorname{Cu}_1(S) \to S_{\text{max}} \to 0$ 형태의 분할 정확수열이 존재하며, 이는 $\operatorname{Cu}_1$를 $\operatorname{Cu}$와 $\mathrm{K}_1$와 연결한다.
• $\operatorname{Cu}_1(\phi)$가 $\operatorname{Cu}^\sim$-동형사상이라면, $\operatorname{Cu}(\phi)$는 $\operatorname{Cu}$-동형사상이고 $\mathrm{K}_1(\phi)$는 $\operatorname{AbGp}$-동형사상임을 보이며, 다양한 불변량 간의 호환성을 보여준다.