[論文レビュー] 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$）の圏におけるイデアルと商の概念を導入し、安定的スカラー1の$C^*$-代数に対して、$I \mapsto \operatorname{Cu}_1(I)$の割り当てが、代数のイデアルとその単位的Cuntz半群のイデアルの間で完全なラティス同型を与えることを証明する。主な結果は、$ \operatorname{Cu}_1$が正確でかつラティス構造を保存することを示し、split-exact列を通じて$ \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$-群をsplit-exact列で結ぶこと。

提案手法

• 正順序が存在しない状況下で、$\operatorname{Cu}^\sim$-イデアルを定義するための公理（PD）と（PC）を導入する。
• 任意の$\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}}$を結ぶsplit-exact列を構成する。

実験結果

リサーチクエスチョン

• 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)$を含むsplit-exact列に分解可能か？

主な発見

• 任意の安定的スカラー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$というsplit-exact列が存在し、$\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}$-同型である。これは、不変量間の整合性を示す。