[論文レビュー] A new proof of the noncommutative Banach-Stone theorem

David K. Sherman|ArXiv.org|Sep 24, 2004

Advanced Operator Algebra Research参考文献 9被引用数 3

ひとこと要約

本稿は、非単位元をもつC*-代数間の全単射等長写像について、非可換$L^1$空間（von Neumann代数の予対偶）における全単射等長写像の構造とPatersonとSinclairの補題を用いて、非可換Banach-Stone定理の新しい証明を提示する。主な貢献は、任意のこのような等長写像が、ユニタリを乗じた左乗法と、全単射Jordan*-同型の合成として得られることの新規な特徴付けである。これは、$0 < p \leq 1$の非可換$L^p$空間への一般化を可能にし、Kadisonの元々の証明に依存せず、双対性と予対偶における直交性を用いて等長写像の構造を導出する。

ABSTRACT

Surjective isometries between unital C*-algebras were classified in 1951 by Kadison. In 1972 Paterson and Sinclair handled the nonunital case by assuming Kadison's theorem and supplying some supplementary lemmas. Here we combine an observation of Paterson and Sinclair with variations on the methods of Yeadon and the author, producing a fundamentally new proof of the structure of surjective isometries between (nonunital) C*-algebras. In the final section we indicate how our techniques may be applied to classify surjective isometries of noncommutative Lp spaces, extending some recent results of the author to 0 &lt; p leq 1.

研究の動機と目的

• 非単位元をもつC*-代数間の全単射等長写像について、Kadisonの元々の証明に依存しない根本的に新しい証明を提供すること。
• 双対性と直交性関係を用いて、von Neumann代数の予対偶上における全単射等長写像の構造を同定すること。
• 既存の結果が$p > 1$に限られていたのを補い、$0 < p \leq 1$の非可換$L^p$空間に対しても、全単射等長写像の分類を拡張すること。
• 予対偶の場合に用いられた主な技法が、非可換Clarkson不等式と双モジュール構造を介して、$L^p$空間へ適応可能であることを示すこと。

提案手法

• 等長写像$T: \mathcal{A} \to \mathcal{B}$を、二重双対写像$T^{**}: \mathcal{A}^{**} \to \mathcal{B}^{**}$を用いてvon Neumann代数間の全単射等長写像へ上昇させること。
• 非可換Clarkson不等式（$p=1$の場合）から導かれる直交性条件を用いて、予対偶上での誘導写像$T^*: \mathcal{B}^* \to \mathcal{A}^*$の構造を解析すること。
• PatersonとSinclairの補題を適用し、$T^{**}$の構造を元の代数$\mathcal{A}$へ関連づけ、$T$をJordan*-同型とユニタリによる左乗法の合成として回復すること。
• 正の$L^p$元が正の$L^1$元の$p$乗根であるという事実を用い、$\Phi(\varphi^{1/p}) = w(\varphi \circ K^{-1})^{1/p}$という恒等式を介して、$L^1$から$p \neq 2$の$L^p$への議論を拡張すること。
• 非可換Clarkson不等式の等号条件：$\|\xi + \eta\|^p + \|\xi - \eta\|^p = 2(\|\xi\|^p + \|\eta\|^p)$ if and only if $\xi\eta^* = \xi^*\eta = 0$を用いて、等長写像が直交性を保存することを保証すること。
• 予対偶における乗法的作用を表すユニタリ$u = K_1^{-1}(wz') + K_2^{-1}(w(1 - z'))$を$\mathcal{M}$に構成し、$T(x) = uJ(x)$が成り立つようにすること。ここで$J$は全単射Jordan*-同型である。

実験結果

リサーチクエスチョン

• RQ1 非単位元をもつC*-代数間の全単射等長写像の構造は、Kadisonの元々の証明に依存せずに導けるか？
• RQ2 単位球の幾何学を用いず、双対性と直交性を用いて、von Neumann代数の予対偶上における等長写像の構造をどのように特徴づけられるか？
• RQ3 予対偶における等長写像の構造は、$0 < p \leq 1$の非可換$L^p$空間へどの程度一般化可能か？
• RQ4 非可換Clarkson不等式は、等長写像のもとで直交性を保存するか？ これにより、非可換$L^p$空間における$p$値にわたる一様な取り扱いが可能になるか？
• RQ5 $L^1$で用いられた双対性と双モジュール技法が、$p \neq 1,2$の$L^p$空間に対しても適応可能か？

主な発見

• 本稿は、任意の非単位元をもつC*-代数間の全単射等長写像$T: \mathcal{A} \to \mathcal{B}$が、$T(x) = uJ(x)$の形に表され、ここで$J$は全単射Jordan*-同型、$u$は$M(\mathcal{B})$内のユニタリであることを示し、定理1.3を新しい方法で証明した。
• 双対性と直交性を用いて、von Neumann代数の予対偶上における全単射等長写像の構造が導出された。主な洞察は、非可換Clarkson不等式を介して、等長写像が条件$\xi\eta^* = \xi^*\eta = 0$を保存することである。
• 証明法は、極値点の特徴づけや単位球の幾何学の使用を避け、代わりに予対偶における双モジュール構造と直交性に依存している。
• $L^1$から$p \neq 2$の非可換$L^p$空間（$0 < p < \infty$）へ、この手法が拡張可能であり、新たな特徴付けが得られた：正の汎関数$\varphi$に対して$T(\varphi^{1/p}) = u(\varphi \circ J^{-1})^{1/p}$が成り立つ。ここで$J$はJordan*-同型、$u$はユニタリである。
• $0 < p \leq \infty$、$p \neq 2$の範囲で、von Neumann代数のJordan*-同型とその$L^p$空間間の等長同型の間の同値性が確立された。$p < 1$の場合も含め、以前の結果を拡張した。
• ユニタリ$u$を$K_1^{-1}(wz') + K_2^{-1}(w(1 - z'))$として構成したところ、$u$は$\mathcal{M}$に属し、$uJ(\mathcal{A}) = \mathcal{B}$を満たす。これにより、$u$が$\mathcal{B}$の乗法的作用素であり、等長写像の構造が保たれることを確認した。