[論文レビュー] Noncommutative Lp structure encodes exactly Jordan structure

David K. Sherman|ArXiv.org|Sep 22, 2003

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

ひとこと要約

本稿では、$1 \leq p \leq \infty$、$p \neq 2$ のとき、2つのフォン・ノイマン代数の非可換 $L^p$ 空間が等長同型であるための必要十分条件が、それらの代数がジョルダン $*$-同型であることに他ならないことを確立している。主な結果は、非可換 $L^p$ バナッハ＝ストーン定理であり、$L^p(\mathcal{M})$ と $L^p(\mathcal{N})$ 間の全単射等長写像は、ユニタリ共役を組み合わせたジョルダン $*$-同型から生じることを特徴づけている。

ABSTRACT

We prove that for all 1 \le p \le \infty, p not 2, the Lp spaces associated to two von Neumann algebras M,N are isometrically isomorphic if and only if M and N are Jordan *-isomorphic. This follows from a noncommutative Lp Banach-Stone theorem: a specific decomposition for surjective isometries of noncommutative Lp spaces.

研究の動機と目的

• フォン・ノイマン代数に付随する非可換 $L^p$ 空間が等長同型となる条件を完全に特徴づけること。
• このような等長写像が、$p \neq 2$ のとき、基礎となる代数のジョルダン $*$-同型類を正確に符号化することを証明すること。
• 型分類や既存の等長写像に関する結果に依存せずに、非可換 $L^p$ バナッハ＝ストーン定理の新しい統一的証明を提供すること。
• 古典的バナッハ＝ストーン定理を非可換 $L^p$ 空間に拡張し、全単射等長写像の正確な構造を同定すること。
• $L^p$ 等長写像類が、フォン・ノイマン代数のジョルダン $*$-同型類を完全に決定することを示すこと。$0 < p \leq 1$ の場合についても、[26] の延長により成立する。

提案手法

• 射影 $q_1, q_2 \in \mathcal{M}$ に対するコーナー部分空間 $q_1 L^p(\mathcal{M}) q_2$ に注目し、全単射等長写像 $T: L^p(\mathcal{M}) \to L^p(\mathcal{N})$ の構造を分析する。
• 非可換クラークソンの不等式における等号成立条件を用いて、$T$ がこれらのコーナー部分空間上で直交性と半内積を保存することを示す。
• 等長写像 $T$ がコーナーをコーナーへ写すこと、および射影の対への誘導写像が直交性と中心的台を保存することを確立する。
• 代数 $\mathcal{M}$ と $\mathcal{N}$ の射影格子間の正規同型を構成し、これを全単射ジョルダン $*$-同型 $J: \mathcal{M} \to \mathcal{N}$ へ拡張する。
• 等長写像 $T$ が、すべての正の連続汎関数 $\varphi \in \mathcal{M}_*$ に対して $T(\varphi^{1/p}) = w (\varphi \circ J^{-1})^{1/p}$ を満たすことを証明する。ここで $w$ は $\mathcal{N}$ のユニタリである。
• 一般の場合には、$T$ を乗法的および反乗法的成分に分解し、ユニタリとジョルダン $*$-同型を組み合わせて表現する。

実験結果

リサーチクエスチョン

• RQ1 $p$ のどの値に対して、$L^p(\mathcal{M})$ の等長同型類が $\mathcal{M}$ のジョルダン $*$-同型類と一致するか。
• RQ2 $p=2$ や $p=\infty$ を仮定しないで、非可換 $L^p$ 空間間の全単射等長写像の構造を完全に特徴づけることは可能か。
• RQ3 フォン・ノイマン代数の $L^p$ 等長写像類は、そのジョルダン $*$-同型類を完全に符号化するか。
• RQ4 型分類や既存の $L^p$ 等長写像に関する結果に依存せずに、非可換 $L^p$ バナッハ＝ストーン定理を証明できるか。
• RQ5 $0 < p \leq 1$ の場合の $L^p$ 構造は、ジョルダン構造をどの程度まで符号化するのか。また、この証明はこの場合に適応可能か。

主な発見

• $1 \leq p \leq \infty$、$p \neq 2$ のとき、$L^p(\mathcal{M})$ と $L^p(\mathcal{N})$ が等長同型であるための必要十分条件は、$\mathcal{M}$ と $\mathcal{N}$ がジョルダン $*$-同型であることである。
• 任意の全単射等長写像 $T: L^p(\mathcal{M}) \to L^p(\mathcal{N})$ の構造は、全単射ジョルダン $*$-同型 $J: \mathcal{M} \to \mathcal{N}$ とユニタリ $w \in \mathcal{N}$ によって完全に決定され、すべての正の連続汎関数 $\varphi$ に対して $T(\varphi^{1/p}) = w (\varphi \circ J^{-1})^{1/p}$ を満たす。
• 証明は、等長写像 $T$ がコーナー部分空間 $q_1 L^p(\mathcal{M}) q_2$ を保存することに依存しており、射影の対への誘導写像は中心的台を除いて正規同型である。
• 射影格子間の正規同型は、ジョルダン $*$-同型へ拡張され、これが等長写像の構造を再構成する鍵となる。
• この結果は $0 < p \leq 1$ の場合にも成立するが、本稿には証明が含まれず、[26] の延長に依存しており、$p$-バナッハ空間に適用可能な別法を用いている。
• この方法は型分類や既存の等長写像定理に依存せず、有限型 I の和成分を含むすべてのフォン・ノイマン代数に対して、統一的かつ自己完結的な証明を提供する。