[论文解读] Additivity of maps preserving products $AP\pm PA^{*}$ on $C^{*}$-algebras

Ali Taghavi, Vahid Darvish+1 more|arXiv (Cornell University)|May 19, 2014

Advanced Topics in Algebra参考文献 11被引用 3

一句话总结

本文建立了在保持非标准乘积 $AP \pm PA^*$（其中 $P$ 为固定非平凡投影，$\lambda = \pm 1$）的条件下，从素 $C^*$-代数到另一素 $C^*$-代数的双射单位映射 $\Phi$ 的可加性与 $*$-保性。通过基于 $P$ 及其补投影的代数矩阵分量分解，作者证明了在给定的乘积保性条件下，此类映射必然是 $*$-可加的，即满足 $\Phi(A+B) = \Phi(A) + \Phi(B)$ 与 $\Phi(A^*) = \Phi(A)^*$。

ABSTRACT

Let $\mathcal{A}$ and $\mathcal{B}$ be two prime $C^{*}$-algebras. In this paper, we investigate the additivity of map $Φ$ from $\mathcal{A}$ onto $\mathcal{B}$ that are bijective unital and satisfies $$Φ(AP+λPA^{*})=Φ(A)Φ(P)+λΦ(P)Φ(A)^{*},$$ for all $A\in\mathcal{A}$ and $P\in\{P_{1},I_{\mathcal{A}}-P_{1}\}$ where $P_{1}$ is a nontrivial projection in $\mathcal{A}$ and $λ\in\{-1,+1\}$. Then, $Φ$ is $*$-additive.

研究动机与目标

• 研究在素 $C^*$-代数上保持非标准乘积 $AP + \lambda PA^*$（$\lambda = \pm 1$）的双射单位映射是否可加。
• 确定此类映射是否必然为 $*$-可加，即在不预先假设线性性或 $*$-保性的情况下，是否满足 $\Phi(A^*) = \Phi(A)^*$。
• 通过引入并分析 $AP \pm PA^*$ 乘积结构，扩展算子代数中关于保积映射的已知结果。
• 证明素 $C^*$-代数的素性以及对单个非平凡投影的乘积保性，足以强制实现可加性与 $*$-保性。

提出的方法

• 利用固定非平凡投影 $P_1$ 及其补 $P_2 = I - P_1$，将 $C^*$-代数 $\mathcal{A}$ 分解为矩阵子空间 $\mathcal{A}_{ij} = P_i \mathcal{A} P_j$。
• 利用给定的函数方程 $\Phi(AP + \lambda PA^*) = \Phi(A)\Phi(P) + \lambda \Phi(P)\Phi(A)^*$（其中 $P \in \{P_1, P_2\}$ 且 $\lambda = \pm 1$）推导涉及元素实部与虚部的恒等式。
• 利用 $\Phi$ 的单射性与满射性，将 $\Phi(T)$ 的分量与 $\Phi(A) + \Phi(B)$ 对等，从而在 $\mathcal{A}_{ij}$ 块中实现逐分量可加性。
• 利用 $\mathcal{A}$ 与 $\mathcal{B}$ 的素性，推导出某些算子恒等式蕴含分量相等，尤其在 $i \neq j$ 的 $\mathcal{A}_{ij}$ 块中成立。
• 证明 $\Phi$ 保持投影，并将 $\mathcal{A}_{ij}$ 双射地映射到 $\mathcal{B}_{ij}$，从而支持逐分量分析。
• 结合分量可加性与恒等式 $\Phi(A + A^*) = \Phi(A) + \Phi(A)^*$ 和 $\Phi(A + A^*) = \Phi(A) + \Phi(A^*)$，得出 $\Phi(A^*) = \Phi(A)^*$，从而得出 $*$-可加性。

实验结果

研究问题

• RQ1 在素 $C^*$-代数上，若双射单位映射 $\Phi$ 保持乘积 $AP + \lambda PA^*$（其中 $P$ 为固定非平凡投影，$\lambda = \pm 1$），是否必有 $\Phi(A + B) = \Phi(A) + \Phi(B)$？
• RQ2 能否在不假设线性性或 $*$-保性的情况下，证明此类映射为 $*$-可加，即满足 $\Phi(A^*) = \Phi(A)^*$？
• RQ3 $AP \pm PA^*$ 乘积结构在多大程度上决定了 $C^*$-代数的代数结构与 $*$-结构？
• RQ4 素 $C^*$-代数的素性是否足以从乘积保性强制实现可加性，即使不假设线性性？

主要发现

• 通过基于投影分解的逐分量分析，证明了映射 $\Phi$ 在整个 $C^*$-代数 $\mathcal{A}$ 上可加，即在每个分量 $\mathcal{A}_{ij}$ 上实现可加性。
• 映射 $\Phi$ 是 $*$-可加的，即 $\Phi(A^*) = \Phi(A)^*$，这由恒等式 $\Phi(A + A^*) = \Phi(A) + \Phi(A)^*$ 与 $\Phi(A + A^*) = \Phi(A) + \Phi(A^*)$ 联立推出。
• 映射 $\Phi$ 保持投影 $P_1$ 与 $P_2 = I - P_1$，将其映射为 $\mathcal{B}$ 中的投影 $Q_1, Q_2$，满足 $Q_1 + Q_2 = I$，并双射地将 $\mathcal{A}_{ij}$ 映射到 $\mathcal{B}_{ij}$。
• 当 $i \neq j$ 时，分量 $\mathcal{A}_{ij}$ 在 $\Phi$ 下保持不变，而 $\mathcal{A}_{ii}$ 上的可加性由恒等式 $\Phi(AP_i + BP_i) = \Phi(AP_i) + \Phi(BP_i)$ 建立。
• 素 $C^*$-代数的素性在由算子恒等式推导分量相等时至关重要，尤其在 $i \neq j$ 的 $\mathcal{A}_{ij}$ 块中，确保了分量分解的单射性。
• 最终结论 $\Phi$ 为 $*$-可加，源于恒等式 $\Phi(A + A^*) = \Phi(A) + \Phi(A)^*$ 与 $\Phi(A + A^*) = \Phi(A) + \Phi(A^*)$ 的相等，二者共同推出 $\Phi(A^*) = \Phi(A)^*$。