[論文レビュー] The Calculus of One-Sided $M$-Ideals and Multipliers in Operator Spaces

David P. Blecher, Vrej Zarikian|ArXiv.org|Sep 2, 2003

Advanced Operator Algebra Research参考文献 25被引用数 33

ひとこと要約

本稿は、作用素空間における片側 M-イデアルおよび乗数の体系的理論を構築し、古典的 M-イデアルの一般化として、非自己共役作用素代数、ヒルベルト C*-加群、双対作用素空間の非可換関数解析を可能にする非可換微積分学を提供する。主な貢献は、作用素空間の左乗数代数が C*-代数（空間が双対空間の場合には von Neumann 代数）であることを示したことであり、これにより von Neumann 代数の射影微積分学を用いて片側 M-射影およびその構造を分析できるようになる。

ABSTRACT

The theory of one-sided $M$-ideals and multipliers of operator spaces is simultaneously a generalization of classical $M$-ideals, ideals in operator algebras, and aspects of the theory of Hilbert $C^*$-modules and their maps. Here we give a systematic exposition of this theory; a reference tool for `noncommutative functional analysts' who may encounter a one-sided $M$-ideal or multiplier in their work.

研究の動機と目的

• 作用素空間における片側 M-イデアルおよび乗数の包括的かつ体系的な理論を、古典的 M-イデアル理論の非可換一般化として構築すること。
• 片側 M-イデアルや乗数を研究で遭遇する非可換関数解析研究者に参考資料を提供すること。
• 作用素空間の左乗数代数が C*-代数であり、空間が双対空間の場合には von Neumann 代数であることを確立し、これにより von Neumann 代数的手法の利用を可能にすること。
• 片側 M-イデアルが非自己共役作用素代数、ヒルベルト C*-加群、非可換 Lp 空間において自然に生じることを示し、しばしば古典的対応物が存在しないこと。
• 古典的微積分的性質の失敗（例：片側 M-イデアルの交叉が M-イデアルでない）を明確にし、Akemann の開射影に関する結果を用いてその性質が成り立つ条件を同定すること。

提案手法

• 最近開発された片側作用素空間乗数の概念に基づき、左乗数が C*-代数 Aℓ(X) をなす。空間 X が双対作用素空間の場合、この代数は von Neumann 代数にもなる。
• 著者らは von Neumann 代数の射影微積分学を用いて左 M-射影（Aℓ(X) 内の正規直交射影）を分析し、構造的結果を導出する。
• 本稿は、部分空間、商空間、双対性、テンソル積（Haagerup および最小テンソル積を含む）、補間などの操作を通じて、片側 M-イデアルを体系的に構成・分析する。
• 本稿は、片側 M-構造および中心化子の理論において中心的役割を果たす片側 Cunningham 代数を導入し、その性質を研究する。
• 理論は、ヒルベルティアン作用素空間、C*-代数、非自己共役作用素代数、作用素空間上の無限行列など、さまざまな例に適用される。
• 本稿は、双対作用素空間における Morita 同値および型分解への接続を確立し、理論を中心化子代数および完全 L-射影と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 古典的 M-イデアル微積分学は、作用素空間における非可換的・片側的設定にどのように一般化可能か？
• RQ2 作用素空間の左乗数代数の代数的構造は何か？ そして、片側 M-イデアル理論を支える役割は？
• RQ3 一般に、2つの片側 M-イデアルの交叉が片側 M-イデアルでないのはなぜか？ どのような条件下でこの性質が回復するか？
• RQ4 古典的 M-イデアルの性質（例：閉線形包に関しての閉包性）は、片側作用素空間設定においてどの程度保たれるか？
• RQ5 非自己共役作用素代数およびヒルベルト C*-加群における片側 M-イデアルは、非可換関数解析の広範な枠組みとどのように関係するか？

主な発見

• 作用素空間 X の左乗数代数 Aℓ(X) は C*-代数であり、X が双対作用素空間である場合には von Neumann 代数にもなる。これにより von Neumann 代数手法の利用が可能になる。
• 片側 M-射影は、Aℓ(X) 内の正規直交射影にちょうど一致し、その微積分は標準的な von Neumann 代数の射影微積分に従う。
• 2つの片側 M-イデアルの交叉が片側 M-イデアルであるための必要十分条件は、対応する射影が「meet が開集合である」という条件を満たすことである。これは Akemann の開射影に関する結果そのものである。
• 片側 M-イデアルの集合は、閉線形包作用（∨）に関しては閉じているが、交差（∧）に関しては閉じていない。これは根本的な非可換性の障害を示している。
• 理論は、C*-代数における右イデアル、ヒルベルト C*-加群の部分加群、非自己共役作用素代数など、多様な例に適用可能であり、非可換 Lp 空間における新しい例も含む。
• KI(X) の二重双対は MIw(X**) に等しく、CI(X) の二重双対は CIw(X**) に等しい。これは双対性および二重双対が重要な構造を保存することを示している。