[論文レビュー] On the classification problem for C*-algebras

Arzikulov Farkhad|arXiv (Cornell University)|Feb 25, 2010

Advanced Operator Algebra Research参考文献 14被引用数 1

ひとこと要約

本稿は、フォン・ノイマン型 I, II, III 構造に基づく C$^*$-代数の新しい分類枠組みを導入し、それぞれの部分代数 $A_I$, $A_{II}$, $A_{III}$ に一意に分解する方法を確立する。各部分代数は、特徴的な annihilator ラティスの性質を持つ。主な貢献は、単純 C$^*$-代数に対する分類定理であり、それらが型 I$_n$, II$_1$, II$_\infty$, III に分類され、単純性および有限性の構造的特徴づけがなされている。

ABSTRACT

In the given article, we discuss the problem of the classification of general C$^*$-algebras. Also, it was introduced a new notions of C$^*$-algebra of von Neumann type I, C$^*$-algebras of types II and III. It is proved that any GCR-algebra is a C$^*$-algebra of von Neumann type I, and any C$^*$-algebra is a NGCR-algebra if and only if this C$^*$-algebra does not have a nonzero abelian annihilator. Also in the article there were proved that for a C$^*$-algebra $A$ there exist such unique C$^*$-subalgebras $A_I$, $A_{II}$, $A_{III}$ that $A_I$ is a C$^*$-algebra of von Neumann type I, there does not exist a nonzero abelian annihilator in the algebras $A_{II}$ and $A_{III}$, the lattice $\mathcal{P_{A_{II}}}$ of annihilators of $A_{II}$ is locally modular, the lattice $\mathcal{P_{A_{III}}}$ of annihilators of $A_{III}$ is purely nonmodular. Moreover $A_I\oplus A_{II}\oplus A_{III}$ is a C$^*$-subalgebra of $A$ and the annihilator of $A_I\oplus A_{II}\oplus A_{III}$ is the set $\{0\}$, i.e. $Ann_A(A_I\oplus A_{II}\oplus A_{III})=\{0\}$. In the final part of the article there were introduced notions of C$^*$-algebra of type I$_n$, C$^*$-algebra of types II, II$_1$, II$_\infty$ and III. Then we have proven that: any simple C$^*$-algebra of von Neumann type I is a C$^*$-algebra of type I$_n$ for some cardinal number $n$, any C$^*$-algebra of type II$_1$ is finite, any simple purely infinite C$^*$-algebra is of type III and any W$^*$-factor of type II$_\infty$ has a proper ideal $J$ such that $J$ is a simple C$^*$-algebra of type II$_\infty$. Finally it has been formulated a classification theorem for simple C$^*$-algebras.

研究の動機と目的

• 一般 C$^*$-代数の包括的分類システムを、標準的な GCR と NGCR の二分法を超えて構築すること。
• アニュレーター ラティスの性質を用いて、フォン・ノイマン型 I, II, III の C$^*$-代数を導入し、特徴づけること。
• 任意の C$^*$-代数が、構造的およびアニュレーターの性質が異なる三つの部分代数 $A_I$, $A_{II}$, $A_{III}$ に一意に分解されることを確立すること。
• 型 I$_n$, II$_1$, II$_\infty$, III などの新しい C$^*$-代数クラスを定義・分析し、W$^*$-因子 や単純代数といった既知のクラスと関連付けること。
• その型と構造的不変量に基づいて、単純 C$^*$-代数に対する分類定理を定式化し、証明すること。

提案手法

• GCR 構造を持つ C$^*$-代数をフォン・ノイマン型 I と定義し、すべての GCR-代数がこの型に属することを示す。
• アニュレーターが自明でない可換部分が存在しない代数を NGCR-代数と定義し、GCR の場合と双対的関係にあることを確立する。
• 各部分代数 $A_I$, $A_{II}$, $A_{III}$ を一意に構成し、$A_I$ はフォン・ノイマン型 I に属し、$A_{II}$ と $A_{III}$ はそれぞれ純粋非モジュラーおよび局所モジュラーなアニュレーター ラティスを持つこととする。
• $A_I \oplus A_{II} \oplus A_{III}$ が $A$ の C$^*$-部分代数であり、かつ $\text{Ann}_A(A_I \oplus A_{II} \oplus A_{III}) = \{0\}$ であることを証明する。
• 型 I$_n$ をフォン・ノイマン型 I の単純 C$^*$-代数のクラスと定義し、型 II$_1$, II$_\infty$, III を構造的分類のために導入する。
• アニュレーターのラティス理論的性質（モジュラー性と非モジュラー性）を用いて $A_{II}$ と $A_{III}$ を区別し、分解を可能にする。

実験結果

リサーチクエスチョン

• RQ1 アニュレーター ラティス構造に基づいて、一般の C$^*$-代数がフォン・ノイマン型 I, II, III に対応する成分に一意に分解可能か？
• RQ2 GCR-代数とフォン・ノイマン型 I の C$^*$-代数との関係は何か？
• RQ3 局所モジュラーおよび純粋非モジュラーなアニュレーター ラティスを持つ $A_{II}$ と $A_{III}$ の構造的差異は、それぞれのラティス性質によってどのように特徴づけられるか？
• RQ4 有限性、純粋無限性、または因子的挙動を示す C$^*$-代数の型は何か？ それらは W$^*$-因子 とどのように関連するか？
• RQ5 導入された型クラスに基づいて、単純 C$^*$-代数の完全な分類は何か？

主な発見

• 任意の C$^*$-代数は、一意に三つの部分代数 $A_I$, $A_{II}$, $A_{III}$ に分解可能であり、$A_I$ はフォン・ノイマン型 I に属し、$A_{II}$ は局所モジュラーなアニュレーター ラティス、$A_{III}$ は純粋非モジュラーなアニュレーター ラティスを持つ。
• $A_I \oplus A_{II} \oplus A_{III}$ のアニュレーターは自明であり、すなわち $\text{Ann}_A(A_I \oplus A_{II} \oplus A_{III}) = \{0\}$ である。これにより、分解が自明なアニュレーターを除き、代数全体を捉えきっていることが保証される。
• すべての GCR-代数はフォン・ノイマン型 I の C$^*$-代数に属する。これにより、構造的階層が確立される。
• C$^*$-代数が NGCR であることは、非自明な可換アニュレーターを持たないことに同値であり、アニュレーターの消滅によって特徴づけられる。
• フォン・ノイマン型 I の任意の単純 C$^*$-代数は、ある基数 $n$ に対して型 I$_n$ に属する。これにより、新しい分類が既知の単純代数と関連づけられる。
• 単純な純粋無限 C$^*$-代数は型 III に分類され、型 II$_\infty$ の W$^*$-因子 には、型 II$_\infty$ の単純 C$^*$-代数である真のイデアルが含まれる。これにより、フォン・ノイマン代数論と関連づけられる。