[论文解读] Characterizations of essential ideals as operator modules over C*-algebras

Masayoshi Kaneda, Vern I. Paulsen|ArXiv.org|Feb 16, 2001

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

一句话总结

本文通过其作为算子 A-模的结构，刻画了 C*-代数 A 的本质左理想，表明在 C*-代数意义下的本质性与 A 在完全有界或完全压缩模映射范畴中作为该理想的紧致或非紧致本质扩张相吻合。关键贡献在于，对于双边理想，所有本质性的概念均一致，且当且仅当 J 本质时，A 与 J 的内射包络完全等距同构。

ABSTRACT

In this paper we give characterizations of essential left ideals of a C*-algebra $A$ in terms of their properties as operator $A$-modules. Conversely, we seek C*-algebraic characterizations of those ideals $J$ in $A$ such that $A$ is an essential extension of $J$ in various categories of operator modules. In the case of two-sided ideals, we prove that all the above concepts coincide. We obtain results, analogous to {M. Hamana's} results, which characterize the injective envelope of a C*-algebra as a maximal essential extension of the C*-algebra, but with completely positive maps replaced by completely bounded module maps. By restricting to one-sided ideals, module actions reveal clear differences which do not show up in the two-sided case. Throughout this paper, module actions are crucial.

研究动机与目标

• 通过其作为算子 A-模的结构，刻画 C*-代数 A 的本质左理想。
• 研究 A 在完全有界或完全压缩 A-模映射范畴中作为左理想 J 的本质扩张的条件。
• 确定当 J 本质时，A 与 J 的内射包络是否完全等距同构。
• 澄清 C*-代数意义下的本质性与模范畴中本质扩张之间的区别，特别是针对单边理想。
• 通过将完全正映射替换为完全有界模映射，扩展 M. Hamana 关于内射包络的结果。

提出的方法

• 使用算子模理论，将左理想 J ⊆ A 视为算子左 A-模范畴中的对象进行分析。
• 通过唯一性定义本质扩张：即在 J 上恒等映射的完全有界或完全压缩模映射的唯一扩展。
• 应用 Hamana 与 Frank-Paulsen 关于算子模范畴中内射包络与紧致内射性的结果。
• 使用矩阵放大（在 M_n(X) 中）来定义算子空间结构与模作用。
• 通过 A 在 J 上作用的非退化性以及 A·J 的非零性来刻画本质性。
• 构造反例（例如在 M_2(C) 中）以表明 A 作为 A-C*-本质扩张的 J 并不意味着 J 作为左理想是本质的。

实验结果

研究问题

• RQ1 在 C*-代数意义下，左理想 J ⊆ A 何时是本质的？这与 A 在完全有界 A-模映射范畴中作为 J 的本质扩张有何关系？
• RQ2 对于双边理想，不同算子模范畴中本质性的概念是否一致？若是，原因是什么？
• RQ3 能否将内射包络 I(A) 表征为在完全有界映射的算子左 A-模范畴中 A 的最大本质扩张？
• RQ4 为何在单边情形下逆命题不成立：若 J 是本质左理想，是否意味着 I(A) 与 I(J) 通过限制在 J 上为恒等映射的映射完全等距同构？
• RQ5 是否存在 C*-代数的刻画，使得对于左理想 J，A 在完全有界 A-模映射范畴中是 J 的本质扩张？

主要发现

• 对于双边理想，C*-代数意义下的本质性等价于 A 在完全有界 A-模映射范畴中作为 J 的紧致或非紧致本质扩张。
• 当且仅当 J 是 A 中的本质双边理想时，A 与 J 的内射包络 I(A) 和 I(J) 通过限制在 J 上为恒等映射的映射完全等距同构。
• 对于单边理想，C*-代数意义下的本质性并不意味着 A 是完全有界 A-模映射范畴中 J 的本质扩张。
• 存在本质左理想 J ⊆ A，使得 A 不是 J 的 A-C*-本质扩张，且此类理想不可能具有（压缩的）右单位元。
• 若 A 是 B 中的本质双边理想，则 A 按照 [13] 的意义范数化 B，即 M_n(B) 中任一矩阵的范数由其通过 A-值行与列矩阵的作用所决定。
• 对于任意算子空间，非紧致内射包络的存在性仍未知，且在无模作用时扩张的刚性尚未确立。