[論文レビュー] Classification of $L^p$ AF algebras

N. Christopher Phillips, Maria Grazia Viola|arXiv (Cornell University)|Jul 28, 2017

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

ひとこと要約

この論文は、$p \in [1, \infty) \setminus \{2\}$ に対して、空間的 $L^p$ AF代数の完全な分類を確立し、スケーリングされた順序付き $K_0$-群の同型が、環、バナッハ代数（等長的に）、行列ノルム付きバナッハ代数（完全に等長的に）という複数のカテゴリーにおける代数の同型を示すことを証明している。主な貢献は、エリオットのAF C*-代数分類定理の $L^p$ 版を提供することであり、一意的な $L^p$ 行列ノルム構造を備え、任意の可算なスケーリング付きリーマン群をそのような代数の $K_0$-群として実現可能であることを示している。

ABSTRACT

We define spatial $L^p$ AF algebras for $p \in [1, \infty) \setminus \{ 2 \}$, and prove the following analog of the Elliott AF algebra classification theorem. If $A$ and $B$ are spatial $L^p$ AF algebras, then the following are equivalent: 1) $A$ and $B$ have isomorphic scaled preordered $K_0$-groups. 2) $A \cong B$ as rings. 3) $A \cong B$ (not necessarily isometrically) as Banach algebras. 4) $A$ is isometrically isomorphic to $B$ as Banach algebras. 5) $A$ is completely isometrically isomorphic to $B$ as matrix normed Banach algebra. As background, we develop the theory of matrix normed $L^p$ operator algebras, and show that there is a unique way to make a spatial $L^p$ AF algebra into a matrix normed $L^p$ operator algebra. We also show that any countable scaled Riesz group can be realized as the scaled preordered $K_0$-group of a spatial $L^p$ AF algebra.

研究の動機と目的

• AF C*-代数のエリオット分類定理を $L^p$ 演算子代数の設定に拡張すること。
• 空間的 $L^p$ AF代数を、AF C*-代数の自然な $L^p$ 版として定義し、それらを研究すること。
• スケーリングされた順序付き $K_0$-群の同型が、複数の代数的および位相的カテゴリーにおける代数の同型を示すことを証明すること。
• 空間的 $L^p$ AF代数に一意的な $L^p$ 行列ノルムが存在することを確立し、それが標準的であることを示すこと。
• 任意の可算なスケーリング付きリーマン群を、空間的 $L^p$ AF代数の $K_0$-群として実現できることを示すこと。

提案手法

• 空間的 $L^p$ AF代数を、空間的部分等長写像を保存する合同写像を伴う有限次元 $L^p$ 演算子代数の帰納極限として定義する。
• 行列ノルム付き $L^p$ 演算子代数の理論を発展させ、完全に等長な同型写像を定義し、それらを研究する。
• 任意の空間的 $L^p$ AF代数が一意的な $L^p$ 行列ノルムを備え、その行列ノルム構造が標準的であることを証明する。
• $K_0$-群の同型から代数間の準同型を構成するために、帰納極限の議論と近似の相互作用を用いる。
• $C(X)$ の $L^p$-空間への合同表現の構造定理を適用し、単位化過程における射影と近似単位元を分析する。
• $L^p$ 行列ノルムの唯一性と $K_0$-群の構造を活用し、$K_0$-群の同型が、すべての関連カテゴリーにおける代数の同型を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 エリオットのAF C*-代数定理に類似する分類定理を、$p \neq 2$ の $L^p$ 演算子代数に確立できるか？
• RQ2 $K_0$-群分類を支えるために、正しい $L^p$ AF代数の概念とは何か？
• RQ3 このような代数における $L^p$ 行列ノルムは一意的であり、標準的に定義可能か？
• RQ4 任意の可算なスケーリング付きリーマン群を、空間的 $L^p$ AF代数の $K_0$-群として実現できるか？
• RQ5 空間的 $L^p$ AF代数の同型型は、環、バナッハ代数、完全に等長なカテゴリーの間でどのように関係しているか？

主な発見

• 二つの空間的 $L^p$ AF代数が行列ノルム付きバナッハ代数として完全に等長同型であるための必要十分条件は、それらのスケーリングされた順序付き $K_0$-群が同型であることである。
• スケーリングされた順序付き $K_0$-群の同型は、環としての同型、バナッハ代数としての同型（等長的に）、および完全に等長な行列ノルム付き代数としての同型を示す。
• 任意の可算なスケーリング付きリーマン群は、ある空間的 $L^p$ AF代数のスケーリングされた順序付き $K_0$-群として現れる。
• 空間的 $L^p$ AF代数は一意的な $L^p$ 行列ノルムを備えており、この構造は同型写像のもとで保存され、完全に等長同型のカテゴリーが適切に定義される。
• 分類はすべての $p \in [1, \infty) \setminus \{2\}$ に対して成り立ち、$K_0$-群がすべての関連カテゴリーにおける完全な不変量である。
• 空間的写像を備えた $L^p$ 演算子代数の帰納極限は再び $L^p$ 演算子代数であるため、帰納極限に関してこのクラスは安定である。