[论文解读] Maximal C*-algebras of quotients and injective envelopes of C*-algebras

Pere Ara, Martin Mathieu|arXiv (Cornell University)|Apr 27, 2007

Advanced Operator Algebra Research参考文献 36被引用 10

一句话总结

本文引入了最大 C*-代数的商代数 $ Q_{ ext{max}}(A) $，作为在 C*-代数 $ A $ 的局部乘子代数 $ M_{ ext{loc}}(A) $ 与内射包络 $ I(A) $ 之间的新 C*-代数。它证明了 $ Q_{ ext{max}}(A) $ 在非交换环论意义下是最大的 C*-代数的商代数，并证明了 $ Q_{ ext{max}}(A) $ 同构于对称商代数 $ Q_{ ext{max}}^s(A)_b $ 的有界部分，从而以希尔伯特模上有界算子的连续场形式给出了 $ Q_{ ext{max}}(A) $ 的具体表示。

ABSTRACT

A new C*-enlargement of a C*-algebra $A$ nested between the local multiplier algebra $M_{ ext{loc}}(A)$ of $A$ and its injective envelope $I(A)$ is introduced. Various aspects of this maximal C*-algebra of quotients, $Q_{ ext{max}}(A)$, are studied, notably in the setting of AW*-algebras. As a by-product we obtain a new example of a type I C*-algebra $A$ such that $M_{ ext{loc}}(M_{ ext{loc}}(A)) e M_{ ext{loc}}(A)$.

研究动机与目标

• 引入并研究一个新的 C*-代数 $ Q_{\text{max}}(A) $，其位于 C*-代数 $ A $ 的局部乘子代数 $ M_{\text{loc}}(A) $ 与内射包络 $ I(A) $ 之间，填补了 C*-代数扩张理论中的结构空白。
• 在非交换环论的意义下，确立 $ Q_{\text{max}}(A) $ 为最大的 C*-代数的商代数，利用对称商代数的构造方法。
• 研究 $ Q_{\text{max}}(A) $、$ M_{\text{loc}}(A) $ 与 $ I(A) $ 之间的关系，特别是在 AW*-代数和交换 C*-代数的背景下。
• 以希尔伯特模上有界算子的连续场形式，提供 $ Q_{\text{max}}(A) $ 的具体表示，尤其针对 $ A = C(X) \otimes B(H) $ 的情形。

提出的方法

• 基于对称商代数 $ Q_{\text{max}}^s(A) $ 构造 $ Q_{\text{max}}(A) $，在对称代数上使用合适的序结构，并定义序有界的元素。
• 论文采用在闭本质右理想格 $ \mathfrak{I}_{cer} $ 上的加布里埃尔滤子概念，以确保商代数满足稠密性和消去性条件。
• 使用 $ A = C(X) \otimes B(H) $ 的表示，其中 $ X $ 为 Stonean 空间，此时 $ Q_{\text{max}}(A) $ 被识别为所有满足 $ yF + y^*F \subseteq \varprojlim_{U \in \mathcal{D}} C_b(U, H) $ 的连续场 $ y \in C(X, B(H)_\sigma) $，其中 $ F $ 为希尔伯特模。
• 关键技术工具是通过本质子模与连续限制的刻画，将 $ Q_{\text{max}}(A) $ 识别为对称商代数的有界部分 $ Q_{\text{max}}^s(A)_b $。
• 该构造避免了直接极限的描述，转而依赖于受 Utumi 和 Lanning 启发、并适配于 C*-代数设定的代数技巧。
• 论文运用希尔伯特 C*-模理论与完全有界模同态理论，分析 $ Q_{\text{max}}(A) $ 的结构，尤其关注其与乘子代数和内射包络的关系。

实验结果

研究问题

• RQ1 当 $ A = C(X) \otimes B(H) $ 且 $ X $ 为包含一个稠密的第一纲集的 Stonean 空间时，$ Q_{\text{max}}(A) $ 是否等于内射包络 $ I(A) $？
• RQ2 对于每个 C*-代数 $ A $，$ Q_{\text{max}}(A) $ 是否为 AW*-代数，尤其是在 $ M_{\text{loc}}(M_{\text{loc}}(A)) \neq M_{\text{loc}}(A) $ 的某些情况下？
• RQ3 对于每个 AW*-代数 $ A $，是否恒有 $ Q_{\text{max}}(A) = A $？若不成立，其结构障碍是什么？
• RQ4 是否对所有 $ k \geq 1 $ 都有 $ M_{\text{loc}}^{(k)}(A) \subseteq Q_{\text{max}}(A) $，且迭代局部乘子代数过程是否保持在 $ Q_{\text{max}}(A) $ 内部？
• RQ5 $ Q_{\text{max}}(Q_{\text{max}}(A)) = Q_{\text{max}}(A) $ 是否成立，即 $ Q_{\text{max}}(A) $ 在其自身构造下是否具有幂等性？

主要发现

• 最大 C*-代数的商代数 $ Q_{\text{max}}(A) $ 同构于对称商代数的有界部分 $ Q_{\text{max}}^s(A)_b $，从而提供了其具体刻画。
• 当 $ A = C(X) \otimes B(H) $ 且 $ X $ 为 Stonean 空间时，$ Q_{\text{max}}(A) $ 由所有满足 $ yF + y^*F \subseteq \varprojlim_{U \in \mathcal{D}} C_b(U, H) $ 的 $ y \in C(X, B(H)_\sigma) $ 构成，其中 $ F $ 为希尔伯特 $ C(X) $-模，$ \mathcal{D} $ 为稠密开集的滤子。
• 该构造确保 $ M_{\text{loc}}(A) \subseteq Q_{\text{max}}(A) \subseteq I(A) $，且包含关系可为严格包含，如在单个无单位元的无限维 C*-代数中，$ Q_{\text{max}}(A) \neq A = M_{\text{loc}}(A) $ 的例子所示。
• 论文给出了一个新型的 I 型 C*-代数 $ A $ 的例子，使得 $ M_{\text{loc}}(M_{\text{loc}}(A)) \neq M_{\text{loc}}(A) $，该例子源于 $ Q_{\text{max}}(A) $ 的结构。
• 当 $ A = C(X) \otimes B(H) $ 时，证明了 $ Q_{\text{max}}(A) $ 包含 $ I(A) $ 中的所有阿贝尔投影，暗示在 $ X $ 满足某些拓扑条件时，$ Q_{\text{max}}(A) $ 可能等于 $ I(A) $。
• 论文证明了 $ Q_{\text{max}}^s(Q_{\text{max}}^s(A)) = Q_{\text{max}}^s(A) $，表明 $ Q_{\text{max}}^s(A) $ 具有幂等性，但 $ Q_{\text{max}}(Q_{\text{max}}(A)) = Q_{\text{max}}(A) $ 是否成立仍为开放问题。