[论文解读] Triple homomorphisms of C*-algebras

Ngai‐Ching Wong|arXiv (Cornell University)|Jun 10, 2005

Advanced Operator Algebra Research参考文献 10被引用 17

一句话总结

本文证明了，有界线性映射 $ T: A \to B $ 在 C*-代数之间是三重同态（即保持 Jordan 三重积 $ \{a,b,c\} = (ab^*c + cb^*a)/2 $）当且仅当该映射是正交性保持的，且其二阶对偶扩张 $ T^{**} $ 将单位元映射为第二个对偶代数中的部分等距。该结果推广了 Kadison 的等距定理，并通过映射在单位元处的行为以及正交性结构的代数与几何条件，刻画了三重同态。

ABSTRACT

In this note, we will discuss what kind of operators between C*-algebras preserves Jordan triple products {a,b,c}= (ab*c + cb*a)/2. These include especially isometries and disjointness preserving operators.

研究动机与目标

• 刻画 C*-代数之间保持 Jordan 三重积 $ \{a,b,c\} = (ab^*c + cb^*a)/2 $ 的线性映射。
• 通过识别等距映射与正交性保持映射在何种代数与几何条件下保持三重积，扩展 Kadison 的等距定理。
• 基于二阶对偶映射在单位元上的作用及正交性结构，建立三重同态的刻画。
• 通过证明单位元在二阶对偶映射下的像为部分等距这一关键条件，统一阿贝尔与非阿贝尔情形。

提出的方法

• 使用三重积的极化恒等式：$ \{a,b,c\} = \frac{1}{8}\sum_{\alpha^2=1}\sum_{\beta^4=1}\alpha\beta\{a+\alpha b+\beta c\}^{(3)} $，表明保持立方元即蕴含保持三重积。
• 应用二阶对偶映射 $ T^{**} $ 分析 $ T $ 在 $ A^{**} $ 与 $ B^{**} $ 中的结构，特别关注单位元的像 $ T^{**}1 $。
• 利用 $ T^{**} $ 的弱*连续性，将极限通过映射传递，尤其针对谱投影的特征函数。
• 利用自伴元的谱投影分解 $ 1 = \sum 1_{X_k} $，并构造近似正交序列 $ f_m, g_m $，以证明当 $ j \neq k $ 时，$ T(1_{X_j}) $ 与 $ T(1_{X_k}) $ 正交。
• 定义新映射 $ J = T1^*T $，从 $ A $ 到 $ B^{**} $，其继承正交性保持性且将单位元映射为投影，从而可将问题约化为 $ T1 $ 为投影的情形。
• 利用恒等式 $ Tf = qTf = Tfp $ 对所有 $ f \in C(X) $ 成立，其中 $ q = T1T1^* $，表明 $ T $ 通过立方恒等式保持三重积。

实验结果

研究问题

• RQ1 在 C*-代数之间有界线性映射 $ T: A \to B $ 满足何种条件时，能保证其保持 Jordan 三重积 $ \{a,b,c\} = (ab^*c + cb^*a)/2 $？
• RQ2 二阶对偶映射 $ T^{**} $ 如何与三重积的保持性相关联，特别是其在单位元的像方面？
• RQ3 正交性保持性与 $ T^{**}1 $ 的部分等距条件之间如何相互作用，以刻画三重同态？
• RQ4 能否通过谱投影与弱*极限，将阿贝尔情形（$ C_0(X) $）中三重同态的刻画推广至非阿贝尔情形？
• RQ5 C*-代数的范数结构在多大程度上通过线性映射决定了其 Jordan 三重结构？

主要发现

• 有界线性映射 $ T: A \to B $ 在 C*-代数之间是三重同态当且仅当其为正交性保持映射，且 $ T^{**}1 $ 在 $ B^{**} $ 中为部分等距。
• 映射 $ T $ 保持三重积 $ \{a,a,a\} = aa^*a $ 当且仅当对所有 $ a \in A $，有 $ T(a^{(3)}) = (Ta)^{(3)} $，这等价于保持立方元。
• 对自伴元 $ a $，映射 $ T $ 满足 $ T(a^{(3)}) = (Ta)^{(3)} $ 且 $ Ta = qTa = Tap $，其中 $ q = T1T1^* $ 为 $ T1 $ 的值域投影。
• 当 $ T1 $ 为投影时，$ T $ 保持自伴性与三重积 $ \{a,b,c\} $，且对自伴元 $ a,b $，有 $ T(aba) = TaTbTa $。
• 辅助映射 $ J = T1^*T $ 是从 $ A $ 到 $ B^{**} $ 的三重同态，这使得证明可约化为 $ T1 $ 为投影的情形。
• 最终结论由恒等式 $ qT(a^{(3)}) = q(Ta)^{(3)} $ 及 $ T(a^{(3)}) = (Ta)^{(3)} $ 对所有 $ a \in A $ 成立所支持，确认 $ T $ 为三重同态。