[論文レビュー] 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

ひとこと要約

本稿では、固定された非自明な射影 $P$ と $\lambda = \pm 1$ に対して、非標準的積 $AP \pm PA^*$ を保存する、素 $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^*$-代数上での双対的ユニタル写像が、固定された非自明な射影 $P$ と $\lambda = \pm 1$ に対して非標準的積 $AP + \lambda PA^*$ を保存するかどうかを調査すること。
• このような写像が、線形性や $*$-保存性を事前に仮定せずに、必然的に $*$-加法的である、すなわち加法的かつ $*$-保存的であるかどうかを特定すること。
• 作用素代数における積保存写像に関する既知の結果を拡張し、$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 固定された非自明な射影 $P$ および $\lambda = \pm 1$ に対して、素 $C^*$-代数上での双対的ユニタル写像 $\Phi$ が積 $AP + \lambda PA^*$ を保存するならば、$\Phi(A + B) = \Phi(A) + \Phi(B)$ を満たす必要があるか？
• RQ2 線形性や $*$-保存性を仮定せず、このような写像が $*$-加法的である、すなわち $\Phi(A^*) = \Phi(A)^*$ を満たすことを示せるか？
• RQ3 $AP \pm PA^*$ の積構造は、$C^*$-代数の代数的および $*$-構造をどの程度決定づけるか？
• RQ4 素 $C^*$-代数の性質が、線形性の仮定なしに、積保存性から加法性を強制するのに十分か？

主な発見

• $\Phi$ は、射影分解に基づく成分ごとの解析により、各成分 $\mathcal{A}_{ij}$ における加法性を示すことで、全体の $C^*$-代数 $\mathcal{A}$ 上で加法的であることが示された。
• $\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$ によって保存され、$\Phi$ が $\mathcal{A}_{ii}$ 上で加法的であることは恒等式 $\Phi(AP_i + BP_i) = \Phi(AP_i) + \Phi(BP_i)$ を用いて確立された。
• 素性は、特に $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)^*$ が得られる。