[论文解读] A non-stable C*-algebra with an elementary essential composition series

Saeed Ghasemi, Piotr Koszmider|arXiv (Cornell University)|Dec 6, 2017

Advanced Operator Algebra Research参考文献 21被引用 3

一句话总结

本文构造了一个非稳定的 AF $C^*$-代数，该代数是不可数个可分稳定理想之上的归纳极限，每个商同构于 $Σ(ε_2)$，展示了在非可分情形下稳定性保持性的失效。关键贡献在于构造了一个 GCR、散射的 $C^*$-代数，其初等本质合成列长度为 $ω_1$，但该代数不与 $Σ(ε_2)$ 的张量积同构，尽管所有初始理想均为稳定。

ABSTRACT

A C*-algebra $A$ is said to be stable if it is isomorphic to $A \otimes K(\ell_2)$. Hjelmborg and Rørdam have shown that countable inductive limits of separable stable C*-algebras are stable. We show that this is no longer true in the nonseparable context even for the most natural case of an uncountable inductive limit of an increasing chain of separable stable and AF ideals: we construct a GCR, AF (in fact, scattered) subalgebra $A$ of $B(\ell_2)$, which is the inductive limit of length $ω_1$ of its separable stable ideals $I_α$ ($α

研究动机与目标

• 为了证明在 AF 和 GCR 情形下，可分稳定 $C^*$-代数的稳定性在不可数归纳极限下并不保持。
• 构造一个具有长度为 $\omega_1$ 的初等本质合成列的 $C^*$-代数，其中所有连续商同构于 $\mathcal{K}(\ell_2)$，但该代数本身不稳定。
• 证明此类代数中稳定理想的族没有最大元，暗示存在阻碍稳定性的结构性障碍。
• 建立对 Hjelmborg 和 Rørdam 的稳定性结果向非可分情形推广的反例。

提出的方法

• 在 $\mathcal{B}(\ell_2)$ 中构造一个 $C^*$-子代数 $\mathcal{A}$，作为长度为 $\omega_1$ 的可分稳定 AF-理想 $\mathcal{I}_\alpha$ 的超限归纳极限。
• 确保每个商 $\mathcal{I}_{\alpha+1}/\mathcal{I}_\alpha \cong \mathcal{K}(\ell_2)$，从而形成初等本质合成列。
• 使用 $B(\ell_2)$ 中的一组算子表示序列，该序列主导一个几乎矩阵单位的 Luzin 块系统。
• 通过投影高度分析和涉及紧算子扰动与几乎矩阵单位的范数估计，运用反证法。
• 利用几乎矩阵单位系统所具有的 Luzin 性质，导出一个范数下界，与 $R_\alpha Q_\beta$ 的零范数矛盾。
• 利用稳定情形下 $\mathcal{A} \cong \mathcal{A} \otimes \mathcal{K}(\ell_2)$ 的同构关系，构造一组具有正交支撑且高度受控的投影。

实验结果

研究问题

• RQ1 可分 $C^*$-代数的稳定性是否在不可数归纳极限下仍然保持？
• RQ2 一个具有长度为 $\omega_1$ 的初等本质合成列且商同构于 $\mathcal{K}(\ell_2)$ 的 $C^*$-代数是否可能不稳定？
• RQ3 是否存在一个非稳定的 $C^*$-代数，其真双边理想均为稳定，且构成长度为 $\omega_1$ 的链？
• RQ4 两个非同构的散射 $C^*$-代数是否可能在 $\omega_1$ 之前具有同构的合成列，仅在最终阶段不同？

主要发现

• 所构造的 $C^*$-代数 $\mathcal{A}$ 是一个 GCR、AF 且散射的 $C^*$-代数，尽管它是可分稳定理想的归纳极限，但本身不稳定。
• 代数 $\mathcal{A}$ 具有初等本质合成列 $(\mathcal{I}_\alpha)_{\alpha \leq \omega_1}$，满足对所有 $\alpha < \omega_1$ 都有 $\mathcal{I}_{\alpha+1}/\mathcal{I}_\alpha \cong \mathcal{K}(\ell_2)$。
• 所有 $\mathcal{A}$ 的真双边理想均形如 $\mathcal{I}_\alpha$（对某个 $\alpha < \omega_1$），因此稳定理想的族没有最大元。
• 代数 $\mathcal{A}$ 不与 $\mathcal{A} \otimes \mathcal{K}(\ell_2)$ 同构，从而证明其不稳定。
• 一个稳定 $C^*$-代数 $\mathcal{A}' = \mathcal{A} \otimes \mathcal{K}(\ell_2)$ 具有同构于 $\mathcal{I}_\alpha$ 的理想，表明非同构代数可在 $\omega_1$ 之前具有同构的合成列。
• 证明中的矛盾源于范数估计：Luzin 性质迫使 $\|(A_\alpha + F)(B_\beta + G)\| > 3\varepsilon$，与 $\|R_\alpha Q_\beta\| = 0$ 矛盾。