[论文解读] Ideals and structure of operator algebras

Melahat Almus, David P. Blecher+1 more|arXiv (Cornell University)|Jul 17, 2009

Advanced Operator Algebra Research参考文献 34被引用 9

一句话总结

该论文通过研究 r-ideals、ℓ-ideals 和遗传子代数（HSAs），推进了算子代数理论，利用 1-矩阵代数作为基本构建模块，建立了类 Wedderburn 型结构定理。主要贡献在于刻画了算子代数的 Haagerup 张量积在其中双对偶中为右 M-ideal 但非左 M-ideal 的条件，并将其应用于非自反算子代数及算子空间理论中的对偶性问题。

ABSTRACT

We continue the study of r-ideals, l-ideals, and HSA's in operator algebras. Some applications are made to the structure of operator algebras, including Wedderburn type theorems for a class of operator algebras. We also consider the one-sided $M$-ideal structure of certain tensor products of operator algebras.

研究动机与目标

• 通过 r-ideals、ℓ-ideals 和遗传子代数（HSAs）的视角，深化对算子代数结构的理解。
• 利用 1-矩阵代数作为基本构建模块，为一类算子代数建立类 Wedderburn 型分解定理。
• 研究算子代数的 Haagerup 张量积的一侧 M-ideal 结构及其对偶性质。
• 通过模化消去子和稠密 socle 等结构性质，刻画由紧算子构成的 C*-代数。

提出的方法

• 利用具有收缩逼近单位（cai）的一侧理想理论，特别是 r-ideals 和 ℓ-ideals，在算子代数中的应用。
• 应用 r-ideals 与双对偶 A** 中“在非交换拓扑意义下为开”的投影之间的对应关系。
• 采用 1-矩阵代数的概念——即具有 cai 且其双对偶为 C*-代数的算子代数——以推导结构分解。
• 使用 Haagerup 张量积 A⊗_h B 构造例子，其中 A⊗_h B 是其双对偶中的右 M-ideal 但不是左 M-ideal，依赖于其四重双对偶中心的平凡性。
• 应用算子空间理论中的对偶性结果，特别是 M-ideal 与 L-直和项之间的关系，证明右 M-ideal 的对偶是其二重对偶中的左 L-直和项。
• 利用 [37] 中关于双对偶中 M-ideal 和 L-直和项结构的结果，特别是针对近似单位化算子代数的结论。

实验结果

研究问题

• RQ1 在何种条件下，Haagerup 张量积 A⊗_h B 是其双对偶中的右 M-ideal 但不是左 M-ideal？
• RQ2 如何利用 1-矩阵代数将类 Wedderburn 型结构定理推广至非自伴算子代数？
• RQ3 能否从模化消去子和稠密 socle 等性质出发，导出由紧算子构成的 C*-代数的刻画？
• RQ4 何时算子代数 A 是其双对偶中的右 M-ideal，这对其张量积 A⊗_h B 的理想结构有何影响？
• RQ5 算子空间及其对偶的 M-ideal 与 L-直和项结构之间存在何种关系？

主要发现

• 若 A 是非自反的、近似单位化的算子代数，且是其双对偶中的右理想，B 是非平凡的有限维 C*-代数，则 A⊗_h B 是其双对偶中的右 M-ideal 但不是左 M-ideal。
• Haagerup 张量积 A⊗_h B 在其双对偶中不是左 M-ideal，原因在于其四重双对偶的中心是平凡的，若其为左 M-ideal 将迫使 A 为自反代数。
• 任何在双对偶中为右 M-ideal 但非左 M-ideal 的算子空间的对偶，是其二重对偶中的左 L-直和项但不是右 L-直和项。
• 一个可分的算子代数 A 是 σ-矩阵代数当且仅当它是半素的，是其双对偶中的遗传子代数，且 A 中每个维数大于 1 的 HSA D 都包含一个非零投影，该投影不是 D 的单位元。
• 对于具有右 cai 且是 A** 中左理想的近似单位化算子代数 A，其双对偶中的理想结构保证：若右理想 J 满足 J ∩ A = 0，则必有 J = 0，此结果强化了 [37] 中的结论。
• 本文利用 Read 的一项近期深刻定理，解决了 [25, 9, 8] 中的若干开放问题，特别是关于非平凡 r-ideals 和极大 r-ideals 的存在性问题。