[论文解读] Continuity of ring *-homomorphisms between C*-algebras

Mark Tomforde|ArXiv.org|Oct 2, 2008

Advanced Operator Algebra Research参考文献 3被引用 4

一句话总结

本文证明了任意在单位C*-代数之间的单位*-保代数同态自动满足压缩性，即对所有 $ a \in A $ 有 $ \|\phi(a)\| \leq \|a\| $，即使不假设线性性。关键结果表明，此类同态可分解为线性*-同态与共轭线性*-同态的直和，推广了关于*-同态的经典连续性结果。

ABSTRACT

The purpose of this short note is to prove that if $A$ and $B$ are unital C*-algebras and $ϕ: A o B$ is a unital *-preserving ring homomorphism, then $ϕ$ is contractive; i.e., $\| ϕ(a) \| \leq \| a \|$ for all $a \in A$. (Note that we do not assume $ϕ$ is linear.) We use this result to deduce a number of corollaries as well as characterize the form of such unital *-preserving ring homomorphisms. (This note may be of interest to C*-algebraists as well as algebraists who study noncommutative rings and algebras. It is meant to be accessible to a general mathematician and does not require any prior knowledge of C*-algebras.)

研究动机与目标

• 建立单位*-保环同态在单位C*-代数之间自动满足压缩性，即使不假设线性性。
• 刻画此类同态在标准线性*-同态之外的结构，特别是其实线性分量。
• 将关于*-同态的经典连续性结果推广至更广泛的保*-结构环同态类。
• 通过展示C*-代数中的代数与正性性质可自然导出范数控制，从而在泛函分析与环论之间建立桥梁。

提出的方法

• 通过 $ \phi_2: M_2(A) \to M_2(B) $ 的矩阵放大，将范数行为与 $ 2 \times 2 $ 矩阵的正性联系起来。
• 利用Gelfand-Naimark表示，将C*-代数实现为希尔伯特空间上的具体算子代数。
• 应用正性保持性：若在C*-代数中 $ a \geq 0 $，则在*-保环同态下有 $ \phi(a) \geq 0 $。
• 利用序保持性进行谱半径估计：对自伴元素 $ a $ 有 $ r(\phi(a)) \leq r(a) $，该结论源自谱在 $ \phi $ 下的包含关系。
• 从序保持性与有理逼近推导出 $ \phi $ 在单位的标量倍上的实线性性。
• 利用像代数中心中的正交投影将同态分解，以分离线性与共轭线性部分。

实验结果

研究问题

• RQ1 在单位C*-代数之间的*-保环同态是否可在不假设线性性的情况下仍满足压缩性？
• RQ2 此类同态在标准线性*-同态情形之外的结构形式为何？
• RQ3 缺乏线性性如何影响*-保环同态的谱与范数行为？
• RQ4 此类同态能否分解为规范分量（线性与共轭线性）？
• RQ5 正性与序保持性在多大程度上能推出实线性性，从而实现范数控制？

主要发现

• 任意单位*-保环同态 $ \phi: A \to B $ 在单位C*-代数之间满足对所有 $ a \in A $ 有 $ \|\phi(a)\| \leq \|a\| $，从而在不假设线性性的情况下证明了压缩性。
• 此类同态在单位的标量倍上必为实线性，因此对自伴元素保持序与谱半径。
• 同态 $ \phi $ 的像位于 $ B $ 的C*-子代数中，其中心包含满足 $ P + Q = 1_B $ 的正交投影 $ P $ 与 $ Q $，从而允许将 $ \phi $ 分解为 $ \phi_1 + \phi_2 $。
• 分量 $ \phi_1 $ 为复线性，$ \phi_2 $ 为共轭线性，因此 $ \phi $ 是线性与共轭线性*-保环同态的直和。
• 若像代数的中心平凡，则 $ \phi $ 要么为线性，要么为共轭线性，不包含混合分量。
• 该结果推广了Kadison关于Jordan*-同构的定理，但适用于非同构、非线性及非冯诺依曼代数的情形。