[論文レビュー] Triple homomorphisms of C*-algebras

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

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

ひとこと要約

本稿では、C*-代数間の有界線形写像が三重ホモーレオーリズム（三重ジョルダン積を保存）であるための必要十分条件を特定する。具体的には、その写像が非交差性を保存する（orthogonality preserving）ことと、その二重双対拡張が単位元を第二双対における部分等長射影に写すこと、が同値である。この結果は、カジンソンの等長写像定理を一般化し、三重ホモーレオーリズムを写像の単位元における代数的・幾何的性質と、直交構造の性質によって特徴づける。

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$ の二重双対拡張 $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^{**}$ は三重積の保存性とどのように関係するか。特に、単位元の像 $T^{**}1$ との関係は？
• RQ3 非交差性保存性と $T^{**}1$ が部分等長射影であるという条件が、三重ホモーレオーリズムを特徴づける際にどのように作用するか？
• RQ4 スペクトル射影と弱*極限を用いることで、アーベル的ケース（$C_0(X)$）における三重ホモーレオーリズムの特徴づけを非アーベル的状況へ拡張可能か？
• RQ5 C*-代数のノルム構造が、線形写像を通じてジョルダン三重構造をどの程度決定づけるか？

主な発見

• C*-代数間の有界線形写像 $T: A \to B$ が三重ホモーレオーリズムであるための必要十分条件は、非交差性保存性と $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)}$ と、すべての $a \in A$ に対して $T(a^{(3)}) = (Ta)^{(3)}$ が成り立つことから導かれる。これにより、$T$ が三重ホモーレオーリズムであることが確認される。