[论文解读] Contractive projections and real positive maps on operator algebras

David P. Blecher, Matthew Neal|arXiv (Cornell University)|May 14, 2019

Advanced Operator Algebra Research参考文献 53被引用 5

一句话总结

本文通过在非自伴及乔丹算子代数中以实正性替代标准正性，推广了算子代数中关于压缩投影和实正映射的经典结果。建立了实正映射的基础理论，证明了算子代数与乔丹算子代数之间等距映射的新Banach-Stone型定理，并通过乔丹算子代数上的压缩投影刻画了对称实正投影，将C*-代数与JB-代数中的结果推广至更广泛的非结合设定。

ABSTRACT

We study contractive projections, isometries, and real positive maps on algebras of operators on a Hilbert space. For example we find generalizations and variants of certain classical results on contractive projections on C*-algebras and JB-algebras due to Choi, Effros, Størmer, Friedman and Russo, and others. In fact most of our arguments generalize to contractive `real positive' projections on Jordan operator algebras, that is on a norm-closed space A of operators on a Hilbert space which are closedunder the Jordan product. We also prove many new general results on real positive maps which are foundational to the study of such maps, and of interest in their own right. We also prove a new Banach-Stone type theorem for isometries between operator algebras or Jordan operator algebras. An application of this is given to the characterization of symmetric real positive projections.

研究动机与目标

• 将C*-代数与JB-代数中关于压缩投影与实正映射的经典结果推广至非结合乔丹算子代数。
• 发展实正映射的基础理论，其为C*-代数中正映射的推广。
• 证明算子代数与乔丹算子代数之间等距映射的新Banach-Stone型定理。
• 通过压缩投影的结构及其像空间刻画对称实正投影。
• 证明在乔丹算子代数上，压缩投影的像在新乘积下继承乔丹代数结构，推广Choi-Effros定理。

提出的方法

• 以实部非负（即 Re(a) ≥ 0）的算子定义实正性，作为非自伴代数中正性的核心替代。
• 应用近期关于实正映射与完全有界投影的研究技术，将其扩展至乔丹算子代数。
• 利用压缩投影P满足I−P亦为压缩的性质，推导其核与像的结构结果。
• 使用分解式 A = P(A) ⊕ Ker(P)，并分析实正元素与投影核之间的相互作用。
• 应用新的Banach-Stone型定理，通过乔丹*-同态刻画算子代数与乔丹算子代数之间的等距映射。
• 利用压缩投影的像在新乘积 x∘y ↦ P(x∘y) 下成为乔丹算子代数的事实。

实验结果

研究问题

• RQ1 在何种条件下，乔丹算子代数上完全压缩投影P的像在新乘积 P(x∘y) 下构成乔丹子代数？
• RQ2 实正映射如何推广至非自伴与非结合算子代数？其满足哪些基础性质？
• RQ3 算子代数或乔丹算子代数之间等距映射的精确刻画是什么？与经典Banach-Stone定理有何不同？
• RQ4 在什么条件下，单位元上的压缩单位投影P必为恒等映射？其核由实正元素张成在其中起何作用？
• RQ5 能否通过压缩投影的结构及其不动点子空间完全刻画对称实正投影？

主要发现

• 在乔丹算子代数上，完全压缩投影P的像在乘积 x∘y ↦ P(x∘y) 下，与乔丹算子代数完全等距同构。
• 若A为结合算子代数，且P为完全压缩投影，则P的像在乘积 x⋅y ↦ P(xy) 下，与结合算子代数完全等距同构。
• 在单位元算子代数上，若P为单位压缩投影，且Ker(P)在实正元素上稠密张成，且I−P在Re(A)上为压缩，则P必为恒等映射。
• 若D在实正元素上稠密张成，且I−P为压缩，则压缩单位投影P的核满足 D ∩ F_A = {0}，从而P为恒等映射。
• 提出了一项新的Banach-Stone型定理，将算子代数或乔丹算子代数之间的等距映射刻画为乔丹*-同态，即使该等距映射并非*-同态。
• 若Ker(P)在实正元素上稠密张成，则P(A)为乔丹子代数；该条件可弱化为包含于此类元素生成的闭代数中。