[论文解读] Unitary Cuntz semigroups of ideals and quotients

Laurent Cantier|arXiv (Cornell University)|Dec 15, 2020

Advanced Algebra and Logic参考文献 7被引用 7

一句话总结

本文在抽象酉Cuntz半群（$\operatorname{Cu}^\sim$）的范畴中引入了理想与商的定义，并证明：对于稳定秩为一的$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.

研究动机与目标

• 在缺乏正序的非正序范畴$\operatorname{Cu}^\sim$中定义酉Cuntz半群的理想与商的概念。
• 证明任意$\operatorname{Cu}^\sim$-半群的$\operatorname{Cu}^\sim$-理想集合构成一个完全格。
• 证明对于稳定秩为一的$C^*$-代数，函子$\operatorname{Cu}_1$在代数的理想与其中央Cuntz半群的理想之间诱导出一个完全格同构。
• 证明$\operatorname{Cu}_1$保持正合序列，并对任意理想$I \triangleleft A$满足$\operatorname{Cu}_1(A/I) \cong \operatorname{Cu}_1(A)/\operatorname{Cu}_1(I)$。
• 通过一个可裂正合列将$\operatorname{Cu}^\sim$-半群与正元素的$\operatorname{Cu}$-半群及$\mathrm{K}_1$-群联系起来。

提出的方法

• 引入正向有向性（PD）与正向凸性（PC）的公理，以在缺乏正序的条件下定义$\operatorname{Cu}^\sim$-理想。
• 证明任意$\operatorname{Cu}^\sim$-半群的$\operatorname{Cu}^\sim$-理想集合构成一个完全格，且同构于其正锥的$\operatorname{Cu}$-理想格。
• 证明任意稳定秩为一的$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 稳定秩为一的$C^*$-代数$A$的酉Cuntz半群$\operatorname{Cu}_1(A)$是否反映了$A$的理想格结构？
• RQ3 函子$\operatorname{Cu}_1$是否正合，即对任意理想$I \triangleleft A$是否满足$\operatorname{Cu}_1(A/I) \cong \operatorname{Cu}_1(A)/\operatorname{Cu}_1(I)$？
• RQ4 正元素的$\operatorname{Cu}$-半群与$\mathrm{K}_1$-群如何与$\operatorname{Cu}_1(A)$相关联？
• RQ5 能否将$\operatorname{Cu}_1(A)$的结构分解为一个涉及$\operatorname{Cu}(A_+)$与$\mathrm{K}_1(A)$的可裂正合列？

主要发现

• 对任意稳定秩为一的$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$函子是正合的，即它保持稳定秩为一的$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}$-同构，表明各不变量之间具有相容性。