[论文解读] 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^\ast$-代数。证明了：一个密度为 $\tau$ 的非可分单位 $C^\ast$-代数是投射的，当且仅当它是长度为 $\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_\alpha, i_\alpha^{\alpha+1}, \alpha < \tau\}$ 的极限，其中 $X_0$ 可分，且每个 $i_\alpha^{\alpha+1}$ 均为可分类型的双重投射。
• 一个双重投射同态 $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$-代数。