[논문 리뷰] Triple homomorphisms of C*-algebras

Ngai‐Ching Wong|arXiv (Cornell University)|2005. 06. 10.

Advanced Operator Algebra Research참고 문헌 10인용 수 17

한 줄 요약

이 논문은 유계 선형 사상이 C*-대수 사이에서 삼중 곱($\{a,b,c\} = (ab^*c + cb^*a)/2$)을 보존하는 지의 여부를 결정짓는다. 이는 정확히 그 사상이 이산성 보존성과 그 이중 이중 확장이 항등원을 부분 등장사상으로 보존할 때이므로 성립한다. 이 결과는 카디슨의 등장사상 정리의 일반화이며, 사상의 행동이 항등원과 수직성 구조에서 갖는 대수적 및 기하적 조건을 통해 삼중 호모모르피즘을 특성화한다.

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*-대수 사이의 선형 사상이 삼중 곱($\{a,b,c\} = (ab^*c + cb^*a)/2$)을 보존하는 조건을 규명하는 것.
• 카디슨의 등장사상 정리를 확장하여, 등장사상과 이산성 보존 사상이 삼중 곱을 보존하는 데 필요한 대수적 및 기하적 조건을 규명하는 것.
• 이중 맵의 항등원과 수직성 구조에서의 행동을 통해 삼중 호모모르피즘을 특성화하는 것.
• 비아벨 및 아벨 경우를 통합하기 위해, 이중 맵에서 항등원의 상이 부분 등장사상임을 핵심 조건으로 보여주는 것.

제안 방법

• 삼중 곱의 폴라 항등식을 사용: $\{a,b,c\} = \frac{1}{8}\sum_{\alpha^2=1}\sum_{\beta^4=1}\alpha\beta\{a+\alpha b+\beta c\}^{(3)}$, 이는 세제곱을 보존하면 삼중 곱도 보존됨을 보여준다.
• 이중 맵 $T^{**}$를 사용하여 $A^{**}$와 $B^{**}$에서 $T$의 구조를 분석하고, 특히 항등원의 상인 $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$이 프로젝션임을 전제로 한 경우로 환원할 수 있다.
• 함수 $f \in C(X)$에 대해 $Tf = qTf = Tfp$ 이며, 여기서 $q = T1T1^*$ 이므로, 삼중 곱의 세제곱 항등식을 통해 $T$가 삼중 곱을 보존함을 보인다.

실험 결과

연구 질문

• RQ1 C*-대수 사이의 유계 선형 사상 $T: A \to B$가 삼중 곱 $\{a,b,c\} = (ab^*c + cb^*a)/2$를 보존하는 데 필요한 조건은 무엇인가?
• RQ2 이중 맵 $T^{**}$는 삼중 곱의 보존과 어떻게 관련되어 있으며, 특히 항등원의 상과의 관계는 어떠한가?
• RQ3 이산성 보존성과 $T^{**}1$에 대한 부분 등장사상 조건이 삼중 호모모르피즘을 특성화하는 데 어떻게 상호작용하는가?
• RQ4 스펙트럼 프로젝션과 약한* 극한을 사용하여, 아벨 케이스($C_0(X)$)에서의 삼중 호모모르피즘 특성화를 비아벨 설정으로 확장할 수 있는가?
• RQ5 C*-대수의 노름 구조가 선형 사상에 의해 삼중 곱의 구조를 어느 정도 결정하는가?

주요 결과

• 유계 선형 사상 $T: A \to B$가 C*-대수 사이에서 삼중 호모모르피즘일 조건은 정확히 이 사상이 이산성 보존성이고 $T^{**}1$이 $B^{**}$에서 부분 등장사상임을 만족할 때이다.
• 사상 $T$가 삼중 곱 $\{a,a,a\} = aa^*a$를 보존하는 것은 정확히 모든 $a \in A$에 대해 $T(a^{(3)}) = (Ta)^{(3)}$임을 의미하며, 이는 세제곱을 보존하는 것과 동치이다.
• 자기수반 원소 $a$에 대해, $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$가 삼중 호모모르피즘임을 확인한다.