Skip to main content
QUICK REVIEW

[论文解读] Hereditary subalgebras of operator algebras

David P. Blecher, Damon M. Hay|ArXiv.org|Dec 17, 2005
Advanced Topics in Algebra参考文献 29被引用 46
一句话总结

本文在C*-代数中的开投影与算子代数中某些单边理想之间建立了双射对应关系,将遗传子代数(HSAs)理论从C*-代数推广至更一般的算子代数。通过引入希尔伯特C*-模的清晰推广,解决了非自伴算子代数领域中关于莫里塔等价的十年未解难题,并利用支撑投影与逼近单位元发展了非交换极值集理论。

ABSTRACT

In recent work of the second author, a technical result was proved establishing a bijective correspondence between certain open projections in a C*-algebra containing an operator algebra A, and certain one-sided ideals of A. Here we give several remarkable consequences of this result. These include a generalization of the theory of hereditary subalgebras of a C*-algebra, and the solution of a ten year old problem on the Morita equivalence of operator algebras. In particular, the latter gives a very clean generalization of the notion of Hilbert C*-modules to nonselfadjoint algebras. We show that an `ideal' of a general operator space X is the intersection of X with an `ideal' in any containing C*-algebra or C*-module. Finally, we discuss the noncommutative variant of the classical theory of `peak sets'.

研究动机与目标

  • 将C*-代数中遗传子代数(HSAs)的理论推广至一般的算子代数。
  • 解决非自伴算子代数中强莫里塔等价的长期悬而未决问题。
  • 为非自伴算子代数提供希尔伯特C*-模的观念性推广。
  • 通过在第二个对偶中的投影,将经典极值集理论推广至非交换设置。
  • 通过包含C*-代数第二个对偶中的开投影来刻画算子代数中的单边理想。

提出的方法

  • 利用海的定理,在C*-代数第二个对偶中的开投影与算子代数中具有收缩左逼近单位元的右理想之间建立双射对应关系。
  • 在第二个对偶中定义p-投影与严格p-投影,以刻画理想与极值集。
  • 应用非交换乌rysohn引理,在第二个对偶中构造具有所需性质的投影。
  • 使用压缩算子幂的切比雪夫平均构造弱*极限,从而得到极值投影。
  • 将极值投影表征为压缩算子b的右支撑投影r(1−b)的补集,其中b属于C*-代数。
  • 在一般算子空间中,将理想定义为与包含C*-代数或C*-模中的理想之交集。

实验结果

研究问题

  • RQ1C*-代数中遗传子代数的理论能否推广至非自伴算子代数?
  • RQ2每个具有左c.ai.的算子代数是否必然具有性质(L),即对固定的s,有lim t e_s e_t = e_s?
  • RQ3是否存在希尔伯特C*-模在非自伴算子代数上的自然推广?
  • RQ4经典极值集的概念能否扩展至非交换C*-代数?
  • RQ5在第二个对偶中,开投影在刻画算子代数中单边理想时起什么作用?

主要发现

  • 本文通过引入希尔伯特C*-模的清晰推广,解决了非自伴算子代数中强莫里塔等价的十年未解难题。
  • 在具有序列左c.ai.的单位算子代数中,所有右理想均可表示为该代数与第二个对偶中某个p-投影的交集。
  • C*-代数中的极值投影恰好是压缩算子b的右支撑投影r(1−b)的补集,且在(b+1)/2处达到极值。
  • a^n的切比雪夫平均弱*收敛于满足q a = q的极值投影q,且q是(a+1)/2的极值投影。
  • 若与右理想J相关联的投影q是严格p-投影,则J是可逼近的,此结论通过涉及q与逼近单位元的范数估计得以证明。
  • 每个一般算子空间X中的理想,都是X与任意包含C*-代数或C*-模中理想之交集。

更好的研究,从现在开始

从论文设计到论文写作,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。