[論文レビュー] Extreme flatness of normed modules and Arveson-Wittstock type theorems

A. Ya. Helemskii|ArXiv.org|Apr 9, 2008

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

ひとこと要約

本稿は、ヒルベルト空間 L 上の有界作用素代数 B(L) におけるノルム付き加群について、平坦性の関数解析的類似を導入し、その加群と射の射影的テンソル積を取ることで等長的準同型が保存されることを証明する。主な応用として、完全有界作用素に関する Arveson–Wittstock 型拡張定理を導出し、古典的量子 Hahn–Banach の定理の非行列形が直接的にこの結果の系として得られることを示す。

ABSTRACT

We show in this paper that a certain class of normed modules over the algebra of all bounded operators on a Hilbert space possesses a homological property which is a kind of a functional-analytic version of the standard algebraic property of flatness. We mean the preservation, under projective tensor multiplication of modules, of the property of a given morphism to be isometric. As an application, we obtain several extension theorems for different types of modules, called Arveson-Wittstock type theorems. These, in their turn, have, as a straight corollary, the `genuine' Arveson-Wittstock Theorem in its non-matricial presentation. We recall that the latter theorem plays the role of a `quantum' version of the classical Hahn-Banach theorem on the extension of bounded linear functionals. It was originally proved by Wittstock (1981), and a crucial preparatory step was done by Arveson (1969).

研究の動機と目的

• B(L)、すなわちヒルベルト空間 L 上の有界作用素の代数におけるノルム付き加群のホモロジー的性質である「極端な平坦性」を定義し、その性質を研究すること。
• この性質が、B(L)-加群と射の射影的テンソル積を取ることで等長的準同型が保存されることを確立すること。
• この性質を用いて加群の準同型の拡張定理を導出し、Arveson–Wittstock の定理を一般化すること。
• 主な拡張結果から、非行列形の Arveson–Wittstock の定理が直接的に得られることを回復すること。

提案手法

• 極端な平坦性を、加群と射の射影的テンソル積を取ることで等長的準同型が保存されるという性質として定義する。
• 標準的な無限次元分離的ヒルベルト空間 L を用いて、代数 B(L) = B および有限ランク作用素の代数 F(L) = F を固定する。
• 随伴作用素を用いて左加群、右加群、双加群構造を関係付ける加群双対および共役加群を構成する。
• 作用素空間および完全有界写像の文脈において、拡張と核心制限の理論を適用する。
• F ⊗ B(H) が B(L ⊗ H) に等長的に埋め込まれることを用いて、双加群準同型を介して拡張を実現する。
• レビュアーの洞察を活用し、双加群版の Arveson–Wittstock の定理と主定理との間の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 B(L) 上の加群と射の射影的テンソル積を取ることで等長的準同型を保存する、代数的平坦性の関数解析的類似が存在するか？
• RQ2 このような平坦性の性質を用いて、作用素空間間の完全有界作用素の拡張定理を導くことができるか？
• RQ3 非行列形の Arveson–Wittstock の定理は、一般の B(L)-双加群準同型の拡張結果からどのように導かれるか？
• RQ4 拡張定理の文脈において、Ruan／半Ruan加群の圏と作用素 B(L)-双加群の圏との関係は何か？

主な発見

• 本稿は、ある種のノルム付き B(L)-加群が関数解析的平坦性を有することを確立した。具体的には、そのような加群と射の射影的テンソル積を取ることで等長的準同型が保存されることを示した。
• 任意の有界 B(L)-双加群準同型が、ある形の B(L ⊗ H) の加群に倣う場合、その定義域がより大きな加群の部分加群である限り、同じノルムで拡張可能であることを証明した。
• 非行列形の Arveson–Wittstock の定理は、主な拡張定理の直接的な系として得られた。
• 拡張結果が、作用素加群の圏間の等長的関手を介して、一般の双加群版 Arveson–Wittstock の定理と同値であることが示された。
• 拡張された準同型の核心制限を F ⊗ B(H) に施すと、元の完全有界作用素が cb-ノルムを保ったまま適切に拡張される。
• 証明は、ランク1作用素の構造と、p · a · p = p ⊗ T（p ∈ F である射影について）であることに依拠しており、これは像の包含関係 F ⊗ B(H) が保証される。