[論文レビュー] Uncountable direct systems and a characterization of non-separable projective $C^{\ast}$-algebras

Alex Chigogidze|ArXiv.org|Aug 15, 1999

Advanced Operator Algebra Research参考文献 6被引用数 8

ひとこと要約

この論文は、非可分な単位的 $C_{\omega}^\ast$-代数を特徴付けるために、直接 $C_{\omega}^\ast$-システムの概念を導入する。非可分な単位的 $C^\ast$-代数が密度 $\tau$ を持つとき、それが射影的であることの必要十分条件は、長さ $\tau$ の良い順序付けられた直接システムの極限であることである。このシステムは、可分な単位的射影的 $C^\ast$-部分代数と、可分型の二重射影的包含写像から成り、非可分な射影的 $C^\ast$-代数をその可分な類似物によって完全に特徴づける。

ABSTRACT

We introduce the concept of a direct $C_ω^{\ast}$-system and show that every non-separable unital $C^{\ast}$-algebra is the limit of essentially unique direct $C_ω^{\ast}$-system. This result is then applied to the problem of characterization of projective unital $C^{\ast}$-algebras. It is shown that a non-separable unital $C^{\ast}$-algebra $X$ of density $τ$ is projective if and only if it is the limit of a well ordered direct system ${\mathcal S}_{X} = \{X_α, i_α^{α+1}, α< τ\}$ of length $τ$, consisting of unital projective $C^{\ast}$-subalgebras $X_α$ of $X$ and doubly projective homomorphisms (inclusions) $i_α^{α+1} \colon X_α o X_{α+1}$, $α< τ$, so that $X_{0}$ is separable and each $i_α^{α+1}$, $α< τ$, has a separable type. In addition we show that a doubly projective homomorphism $f \colon X o Y$ of unital projective $C^{\ast}$-algebras has a separable type if and only if there exists a pushout diagram \[ \begin{CD} X @>f>> Y @A{p}AA @AA{q}A X_{0} @>f_{0}>> Y_{0}, \end{CD} \] oindent where $X_{0}$ and $Y_{0}$ are separable unital projective $C^{\ast}$-algebras and the homomorphisms $i_{0} \colon X_{0} o Y_{0}$, $p \colon X_{0} o X$ and $q \colon Y_{0} o Y$ are doubly projective. These two results provide a complete characterization of non-separable projective unital $C^{\ast}$-algebras in terms of separable ones.

研究の動機と目的

• 非可算なインデックス集合を用いる一般化された直接システムを用いて、非可分な単位的 $C^\ast$-代数を分析するための枠組みを構築すること。
• 非可分な射影的 $C^\ast$-代数をその可分な成分によって特徴づけるという未解決問題に取り組むこと。
• 非可分な射影的 $C^\ast$-代数を、可分な射影的 $C^\ast$-代数の良い順序付けられたシステムの極限としての構造的分解を確立すること。
• 可分型の『二重射影的』準同型が射影的 $C^\ast$-代数の分類において果たす役割を明確にすること。

提案手法

• 非可算なインデックス集合を扱うための一般化として、直接 $C_{\omega}^\ast$-システムの概念を導入すること。
• 任意の密度 $\tau$ の非可分な単位的 $C^\ast$-代数 $X$ に対して、長さ $\tau$ の良い順序付けられた直接システム $\mathcal{S}_X = \{X_\alpha, i_\alpha^{\alpha+1}, \alpha < \tau\}$ を構成し、$X_0$ が可分であるようにすること。
• 射影的かつ可分型を備える写像として『二重射影的』準同型を定義し、射影構造と整合性を保つようにすること。
• 可分な単位的射影的 $C^\ast$-代数を用いたプッシュアウト図式を用いて、可分型の準同型を特徴づけること。
• 射影的 $C^\ast$-代数が、すべての包含写像が二重射影的かつ可分型であるようなこのようなシステムの極限として現れる、かつその場合に限ることを確立すること。
• 理論を応用して、非可分な射影的 $C^\ast$-代数の構造が、その可分な射影的部分代数およびそれらの包含写像によって完全に決定されることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 非可分な単位的 $C^\ast$-代数は、有向システムを用いて、より小さい可分な $C^\ast$-代数の極限として体系的に分解可能か？
• RQ2 可分な部分代数間の準同型に課されるどのような条件が、極限代数が射影的であることを保証するか？
• RQ3 『可分型』という概念は、射影的 $C^\ast$-代数間の二重射影的準同型を分類するためにどのように利用可能か？
• RQ4 すべての非可分な射影的 $C^\ast$-代数を可分な構成要素によって特徴づける普遍的構成は存在するか？
• RQ5 可分な射影的 $C^\ast$-代数を含むプッシュアウト図式が、可分型の二重射影的準同型を特徴づけるにはどのような条件下で成立するか？

主な発見

• すべての非可分な単位的 $C^\ast$-代数は、本質的に一意な直接 $C_{\omega}^\ast$-システムの極限として表される。
• 密度 $\tau$ の非可分な単位的 $C^\ast$-代数 $X$ が射影的であることの必要十分条件は、$X_0$ が可分で、各 $i_\alpha^{\alpha+1}$ が可分型の二重射影的包含写像であるような、長さ $\tau$ の良い順序付けられた直接システム $\{X_\alpha, i_\alpha^{\alpha+1}, \alpha < \tau\}$ の極限として $X$ が表されることである。
• 二重射影的準同型 $f: X \to Y$ が可分型であることは、可分な単位的射影的 $C^\ast$-代数 $X_0$, $Y_0$ および二重射影的写像 $p: X_0 \to X$, $q: Y_0 \to Y$, $i_0: X_0 \to Y_0$ を含むプッシュアウト図式が存在することと同値である。
• 任意の非可分な射影的単位的 $C^\ast$-代数の構造は、その可分な射影的部分代数およびそれらの間の二重射影的包含写像によって完全に決定される。
• この特徴づけは、非可分な射影的 $C^\ast$-代数をその可分な類似物によって完全かつ内因的に分解するものである。
• 結果として、非可分な射影的 $C^\ast$-代数を非可算極限と可分型準同型を用いたカテゴリカルかつ構造的枠組みで理解する基盤が確立された。