[論文レビュー] The noncommutative Choquet boundary III: Operator systems in matrix algebras

William Arveson|ArXiv.org|Oct 23, 2008

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

ひとこと要約

この論文は、非可換チョケット境界を用いて、行列代数内の有限次元かつ還元可能な作用素系を分類し、すべての such 系が、既約表現へのパラメータ化写像のユニタリ同値な族から生じることを示している。主な貢献は、パラメータ化列のユニタリ同値性を分類不変量として用いた完全な分類であり、境界イデアルと還元可能商を用いたすべての非還元的系の構成である。

ABSTRACT

We classify operator systems $S\subseteq \mathcal B(H)$ that act on finite dimensional Hilbert spaces by making use of the noncommutative Choquet boundary. S is said to be {\em reduced} when its boundary ideal is 0. In the category of operator systems, that property functions as semisimplicity does in the category of complex Banach algebras. We construct explicit examples of reduced operator systems using sequences of "parameterizing maps" $Γ_k: \mathbb C^r o \mathcal B(H_k)$, $k=1,..., N$. We show that every reduced operator system is isomorphic to one of these, and that two sequences give rise to isomorphic operator systems if and only if they are "unitarily equivalent" parameterizing sequences. Finally, we construct nonreduced operator systems $S$ that have a given boundary ideal $K$ and a given reduced image in $C^*(S)/K$, and show that these constructed examples exhaust the possibilities.

研究の動機と目的

• 有限次元ヒルベルト空間上に作用する還元可能作用素系を、非可換チョケット境界を用いて分類すること。
• このような系の $C^*$-包絡と境界イデアルの構造を特徴づけること。
• 指定された境界イデアルと還元可能商をもつすべての可能な非還元的作用素系を構成すること。
• パラメータ化写像のユニタリ同値性を用いて、還元可能作用素系の同型類に対する完全な不変量を確立すること。

提案手法

• パラメータ化写像 $\Gamma_k: \mathbb{C}^d \to \mathcal{B}(H_k)$ を用いて、それらの像の直和として作用素系を構成する。
• 各 $\Gamma_k(Z)$ の既約性により、表現が最小かつ非退化的であることが保証される。
• $C^*$-包絡は $k=1,\dots,N$ の $\mathcal{B}(H_k)$ の直和として特定され、境界イデアル $K$ は $\Omega_r$ 写像から生じる。
• 従属関係および分離条件 (a), (b), (c) により、$C^*$-代数が行列代数の中心的直和に分解されることを保証する。
• 弱分離および強分離条件を用いて表現を区別し、ピーク表現を同定する。
• 作用素系の同型類は、パラメータ化列 $\Gamma_k$ および $\Omega_r$ のユニタリ同値性によって分類される。

実験結果

リサーチクエスチョン

• RQ1 有限次元 $C^*$-代数内の還元可能作用素系は、完全等長同型の意味でどのように完全に分類可能か？
• RQ2 パラメータ化写像にどのような条件を課すと、関連する作用素系の境界イデアルが自明になるか？
• RQ3 指定された境界イデアルと還元可能商をもつ非還元的作用素系は、どのように構成可能か？
• RQ4 ピーク表現は、境界イデアルおよび $C^*$-包絡を同定する際に果たす役割は何か？
• RQ5 2つのパラメータ化列がいつユニタリ同値となり、いつ同型な作用素系をもたらすか？

主な発見

• 任意の還元可能作用素系 $S \subseteq \mathcal{B}(H)$ は、既約的かつ単位元を保存する写像 $\Gamma_k: \mathbb{C}^d \to \mathcal{B}(H_k)$ の族から構成されたものと完全等長同型に同一視可能である。
• このような2つの構成系が同型であるための必要十分条件は、それらのパラメータ化列がユニタリ同値であることである。
• 任意の有限次元作用素系の $C^*$-包絡は、等長同型の意味で中心的直和 $\mathcal{B}(H_1) \oplus \cdots \oplus \mathcal{B}(H_N)$ に一致する。
• 一般の有限次元作用素系の境界イデアル $K$ は、$\mathcal{B}(K_1) \oplus \cdots \oplus \mathcal{B}(K_M)$ の直和として与えられ、商 $C^*(S)/K$ は $C^*$-包絡に一致する。
• 従属および分離条件を満たす $\Gamma_k$ および $\Omega_r$ 写像を用いた構成により、指定された境界イデアルと還元可能商をもつすべての可能な非還元的作用素系が得られる。
• ピーク表現はちょうど $k=1,\dots,N$ の $\pi_k$ に一致し、それらの存在により $C^*$-包絡が境界イデアルによる商として正しく特定される。