[論文レビュー] A double commutant theorem for operator algebras

David P. Blecher, Baruch Solel|ArXiv.org|Mar 26, 2003

Advanced Operator Algebra Research参考文献 15被引用数 20

ひとこと要約

この論文は、弱*閉包がその二重可換子に一致する、完全等長なヒルベルト空間表現を導入することにより、非自己随伴作用素代数に対する二重可換子定理を確立する。主な貢献は、ヴォイナッチュの古典的二重可換子定理を単位的作用素代数へ一般化し、特定の表現が $ \pi(A)'' = \overline{\pi(A)}^{weak^*}$ を満たすことを示したことである。$C^*$-代数理論および第二双対 $A^{**}$ を通じた双対性とも関連している。

ABSTRACT

Every unital nonselfadjoint operator algebra possesses canonical and functorial classes of faithful (even completely isometric) Hilbert space representations satisfying a double commutant theorem generalizing von Neumann's classical result. Examples and complementary results are given.

研究の動機と目的

• 古典的ツール（弱*閉包や密度定理）が存在しない非自己随伴作用素代数へ、ヴォイナッチュの二重可換子定理を拡張すること。
• 単位的作用素代数の標準的・完全等長的・ファンクターイナルなヒルベルト空間表現を同定し、二重可換子性を満たすものとする。
• 第二双対 $A^{**}$ を通じて作用素代数と $C^*$-代数理論との関係を確立し、特定の表現に対して $A^{**} \cong \pi(A)''$ を示すこと。
• 固定埋め込みに依存しない「座標フリー」な作用素代数の枠組みを提供するため、普遍的かつファンクターイナルな表現を強調すること。
• 非自己随伴作用素代数理論における基本的ツールの欠如を補うために、$\pi(A)^{\prime\prime} = \overline{\pi(A)}^{weak^*}$ を満たす表現を構成すること。

提案手法

• ヒルベルト $A$-加群を、完全に収縮的かつ非退化的な表現 $\pi: A \to B(H)$ を備えたヒルベルト空間として定義し、このような表現との間で双対的対応を確立する。
• 作用素代数 $A$ の普遍表現 $\pi_u$ を、$C^*(A)$ の普遍表現の制限として定義し、ファンクターイナル性と普遍性を保証する。
• 第二双対 $A^{**}$ を標準的モデルとして用い、特定の表現 $\pi$ に対して $\pi(A)^{\prime\prime} \cong A^{**}$ を示す。
• 作用素代数 $A$ が収縮的近似単位元（c.a.i.）を持つならば、標準的表現に対して $\pi(A)^{\prime\prime} = \overline{\pi(A)}^{weak^*}$ が成り立つことを証明し、ヴォイナッチュの定理を一般化する。
• 例として $\mathcal{T}_2$（$2 \times 2$ 上三角行列の代数）を適用し、標準的表現では二重可換子性が成立しないが、標準的表現と1次元評価表現の直和表現では条件を満たすことを示す。
• 非退化的表現 $\pi$ とすべての $x \in H$ に対して $x \in [\pi(A)x]$ が成り立つという条件を用いて、c.a.i. の存在を特徴づける。これにより代数的構造と動的挙動の関連が明確になる。

実験結果

リサーチクエスチョン

• RQ1 古典的ヴォイナッチの結果が失敗する非自己随伴作用素代数へ、二重可換子定理を一般化することは可能か？
• RQ2 作用素代数 $A$ の標準的・完全等長的・ファンクターイナルな表現 $\pi$ で、$\pi(A)^{\prime\prime} = \overline{\pi(A)}^{weak^*}$ を満たすものは何か？
• RQ3 作用素代数 $A$ の第二双対 $A^{**}$ は、$B(H)$ 内の表現 $\pi(A)$ の二重可換子とどのように関係しているか？
• RQ4 どのような条件下で、作用素代数 $A$ の表現 $\pi$ に対して $\pi(A)^{\prime\prime} = \pi(A)$ が成り立つのか（ヴォイナッチ代数の例に類似して）？
• RQ5 作用素代数 $A$ に収縮的近似単位元が存在するかどうかを、$\pi(A)$ によるベクトルの巡回的挙動を用いて特徴づけられるか？

主な発見

• 任意の単位的作用素代数 $A$ に対して、$\pi(A)^{\prime\prime} = \overline{\pi(A)}^{weak^*}$ を満たす標準的・完全等長的・ファンクターイナルなヒルベルト空間表現 $\pi$ が存在し、ヴォイナッチュの二重可換子定理を一般化する。
• 特定の表現のクラスに対して第二双対 $A^{**}$ は $\pi(A)^{\prime\prime}$ に同型であり、作用素代数と $C^*$-代数理論との間の双対性の橋渡しを果たす。
• 作用素代数 $A$ が双対作用素代数であるならば、$\pi(A)^{\prime\prime} = \pi(A)$ を満たす標準的完全等長正規表現が存在し、ヴォイナッチ代数の性質を模倣する。
• $\mathcal{T}_2$（$2 \times 2$ 上三角行列の代数）は、標準的表現では二重可換子性を満たさないが、標準的表現と1次元評価表現の直和表現では条件を満たす。
• 作用素代数 $A$ が収縮的近似単位元を持つための必要十分条件は、すべての非退化的収縮的表現 $\pi: A \to B(H)$ とすべての $x \in H$ に対して $x \in [\pi(A)x]$ が成り立つことである。
• 作用素代数 $A$ の普遍表現 $\pi_u$ は、$C^*(A)$ の普遍表現の制限として定義され、二重可換子性を満たし、$\pi_u(A)^{\prime\prime} \cong A^{**}$ が成り立つ。