[論文レビュー] Von Neumann Modules, Intertwiners and Self-Duality

Michael Skeide|ArXiv.org|Aug 25, 2003

Advanced Operator Algebra Research参考文献 6被引用数 22

ひとこと要約

この論文は、可換代数の表現の間隔空間枠組みを用いて、フォン・ノイマンモジュールの自己双対性の新しい自己完結的証明を提示する。$ E $ を $ \mathscr{B}(G,H) $ 内の $ \mathcal{B}' $ の可換代数として特定し、フォン・ノイマンの二重可換代数定理と作用素ノルムに関する技術的補題を活用することで、$ E $ 上の任意の有界な $ \mathcal{B} $-汎関数が $ E $ 内の要素によって表現されることを示し、直接的かつ簡潔に自己双対性を確立する。

ABSTRACT

We apply the ideas of Muhly, Skeide and Solel [MSS03] of considering von Neumann B-modules as intertwiner spaces for representations of B' to obtain a new, simple and self-contained proof for self-duality of von Neumann modules. This simplifies also the approach of [MSS03].

研究の動機と目的

• フォン・ノイマン $ \mathcal{B} $-モジュールの自己双対性を、完全な自己完結的証明で簡略化すること。
• フォン・ノイマンモジュール上での任意の有界な右 $ \mathcal{B} $-線形汎関数が、モジュール内の要素との内積によって生じることを確立すること。
• モジュール $ E \subset \mathscr{B}(G,H) $ が、二重可換代数定理を用いて $ C_{\mathcal{B}'}(\mathscr{B}(G,H)) $ に一致することを示すこと。
• $ \mathcal{B}^\prime $-表現とフォン・ノイマン $ \mathcal{B} $-モジュールの双対性を明確にし、理論の可読性を高めること。

提案手法

• フォン・ノイマン $ \mathcal{B} $-モジュール $ E $ を、$ H = E \odot G $ が内部テンソル積である $ \mathscr{B}(G,H) $ の強い閉部分モジュールとして表現する。
• $ \rho^\prime \colon \mathcal{B}^\prime \to \mathscr{B}(H) $ を $ \rho^\prime(b^\prime) = \text{id}_E \odot b^\prime $ で定義する正規単位表現を定義する。
• $ E $ を間隔空間として特定する：$ C_{\mathcal{B}'}(\mathscr{B}(G,H)) = \{ x \in \mathscr{B}(G,H) \mid \rho^\prime(b^\prime)x = x b^\prime \text{ for all } b^\prime \in \mathcal{B}^\prime \} $。
• 行列代数 $ \mathcal{M} = \begin{pmatrix} \mathcal{B} & E^* \\ E & \mathscr{B}^a(E) \end{pmatrix} $ に対して $ \mathcal{M}^{\prime\prime} = \mathcal{M} $ を示すことで、二重可換代数定理を用いて $ E = C_{\mathcal{B}'}(\mathscr{B}(G,H)) $ を証明する。
• すべての $ \mathcal{B} $-汎関数 $ \Phi \in \mathcal{B}^r(E, \mathcal{B}) $ が $ \mathscr{B}(H,G) $ 内の有界作用素に拡張でき、その随伴が $ E $ 内の代表要素を与えることを示すことで、自己双対性を確立する。
• 技術的補題を用いて $ \|L_\Phi\| = \|\Phi\| $ を示し、このノルム制御が基本的テンソル積 $ x \odot g $ に対して成り立ち、$ H $ への拡張を可能にする。

実験結果

リサーチクエスチョン

• RQ1 完全な準正規直交系に依存せずに、フォン・ノイマンモジュールの自己双対性を証明できるか？
• RQ2 フォン・ノイマン $ \mathcal{B} $-モジュールは、$ \mathcal{B}^\prime $-表現の間隔空間として直接的に特徴付けられるか？
• RQ3 可換代数 $ C_{\mathcal{B}'}(\mathscr{B}(G,H)) $ は元のモジュール $ E $ と一致するか？ そして、二重可換代数定理を用いてこれを示せるか？
• RQ4 基本的な関数解析学と作用素ノルム推定のみを用いて、$ C_{\mathcal{B}'}(\mathscr{B}(G,H)) $ の自己双対性を確立できるか？

主な発見

• フォン・ノイマン $ \mathcal{B} $-モジュール $ E $ は可換代数 $ C_{\mathcal{B}'}(\mathscr{B}(G,H)) $ に等しい、すなわち $ E = \{ x \in \mathscr{B}(G,H) \mid \rho^\prime(b^\prime)x = x b^\prime \text{ for all } b^\prime \in \mathcal{B}^\prime \} $。
• 随伴可能な作用素の代数 $ \mathscr{B}^a(E) $ は、$ \mathscr{B}(H) $ 内の $ \rho^\prime(\mathcal{B}^\prime) $ の可換代数に一致する、すなわち $ \mathscr{B}^a(E) = \rho^\prime(\mathcal{B}^\prime)^\prime $。
• すべての有界な $ \mathcal{B} $-汎関数 $ \Phi \in \mathcal{B}^r(E, \mathcal{B}) $ は、すべての $ x \in E $ に対して $ \Phi(x) = \langle y, x \rangle $ を満たす要素 $ y \in E $ によって表現され、これにより自己双対性が証明される。
• 作用素 $ L_\Phi \colon x \odot g \mapsto (\Phi x)g $ のノルムは $ \|L_\Phi\| = \|\Phi\| $ を満たし、$ L_\Phi $ が $ \mathscr{B}(H,G) $ 内の有界作用素に拡張できることを保証する。
• 証明は、随伴の存在が議論の根幹をなすため、フォン・ノイマンモジュールの自己双対性をヒルベルト空間のリース表現定理に還元する。