[논문 리뷰] Additivity of maps preserving products $AP\pm PA^{*}$ on $C^{*}$-algebras

Ali Taghavi, Vahid Darvish외 1명|arXiv (Cornell University)|2014. 05. 19.

Advanced Topics in Algebra참고 문헌 11인용 수 3

한 줄 요약

이 논문은 고정된 비자명한 프로젝션 $P$와 $\lambda = \pm 1$에 대해 비표준 곱 $AP \pm PA^*$를 보존하는 단사 전단사 유니탈 사상 $\Phi$가 두 개의 소수 $C^*$-대수 사이에서 존재할 때, 그 가법성과 $*$-보존 성질을 확립한다. $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^*$를 보존하는 단사 전단사 유니탈 사상이 가법성을 만족하는지 조사한다.
• 이러한 사상이 사전에 선형성 또는 $*$-보존성을 가정하지 않고도 반드시 $*$-가법적임을, 즉 $\Phi(A^*) = \Phi(A)^*$를 만족하는지 판단한다.
• 연산자 대수학에서의 곱 보존 사상에 대한 기존 결과를 확장하기 위해 $AP \pm PA^*$ 곱의 구조를 도입하고 분석한다.
• 소수성 조건과 하나의 비자명한 프로젝션에 대해 곱을 보존하는 것이 가법성과 $*$-보존성을 강제로 유도함을 확립한다.

제안 방법

• 고정된 비자명한 프로젝션 $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}$ 블록에서 중요한 역할을 한다.
• 프로젝션을 보존하고 $\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^*$-대수에서 고정된 비자명한 프로젝션 $P$와 $\lambda = \pm 1$에 대해 곱 $AP + \lambda PA^*$를 보존하는 단사 전단사 유니탈 사상 $\Phi$가 반드시 $\Phi(A + B) = \Phi(A) + \Phi(B)$를 만족하는가?
• RQ2 이러한 사상이 선형성 또는 $*$-보존성을 사전에 가정하지 않고도 $*$-가법적임을, 즉 $\Phi(A^*) = \Phi(A)^*$를 만족하는지 입증할 수 있는가?
• RQ3 $AP \pm PA^*$ 곱의 구조가 $C^*$-대수의 대수적 및 $*$-구조를 어느 정도 결정하는가?
• RQ4 소수성 조건이 선형성 가정 없이 곱 보존성으로부터 가법성을 강제로 이끌어내는 데 충분한가?

주요 결과

• 프로젝션 분해를 통해 각 성분 $\mathcal{A}_{ij}$에서의 성분별 분석을 통해, $\Phi$가 전체 $C^*$-대수 $\mathcal{A}$에서 가법적임을 증명하였다.
• 항등식 $\Phi(A + A^*) = \Phi(A) + \Phi(A)^*$와 $\Phi(A + A^*) = \Phi(A) + \Phi(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(AP_i + BP_i) = \Phi(AP_i) + \Phi(BP_i)$를 통해 $\mathcal{A}_{ii}$에서의 가법성이 확립된다.
• 소수성 조건은 특히 $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)^*$를 암시한다.