[论文解读] 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 ∈ [1, \infty) \setminus \{2\} $ 的空间 $ L^p $ AF 代数建立了完整的分类，证明了缩放预序 $ K_0 $-群的同构意味着在多个范畴中代数的同构：环、巴拿赫代数（等距地）以及矩阵赋范巴拿赫代数（完全等距地）。其主要贡献是建立了 Elliott 的 AF C*-代数分类定理在 $ L^p $ 设置下的类比，具有唯一的 $ L^p $ 矩阵范数结构，并实现了任何可数的缩放 Riesz 群作为此类代数的 $ 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.

研究动机与目标

• 将 Elliott 的 AF C*-代数分类定理推广至 $ L^p $ 算子代数设置。
• 定义并研究空间 $ L^p $ AF 代数，作为 AF C*-代数在 $ L^p $ 设置下的自然类比。
• 证明缩放预序 $ K_0 $-群的同构意味着在多个代数与拓扑范畴中代数的同构。
• 建立空间 $ L^p $ AF 代数上唯一 $ L^p $ 矩阵范数的存在性，并证明该结构是典范的。
• 实现任何可数的缩放 Riesz 群作为空间 $ 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 能否为 $ p \neq 2 $ 的 $ L^p $ 算子代数建立类似于 Elliott 的 AF C*-代数定理的分类定理？
• RQ2 支持 $ K_0 $-群分类的 $ L^p $ AF 代数的正确概念是什么？
• RQ3 $ L^p $ 矩阵范数在这些代数上是否唯一，且能否典范地定义？
• RQ4 能否将每个可数的缩放 Riesz 群实现为某个空间 $ L^p $ AF 代数的 $ K_0 $-群？
• RQ5 空间 $ L^p $ AF 代数在环、巴拿赫代数和完全等距范畴中的同构类型之间有何关系？

主要发现

• 两个空间 $ L^p $ AF 代数作为矩阵赋范巴拿赫代数完全等距同构，当且仅当它们的缩放预序 $ K_0 $-群同构。
• 缩放预序 $ K_0 $-群的同构意味着代数在环、巴拿赫代数（等距地）以及完全等距矩阵赋范代数范畴中同构。
• 每个可数的缩放 Riesz 群都可作为某个空间 $ L^p $ AF 代数的缩放预序 $ K_0 $-群出现。
• 空间 $ L^p $ AF 代数具有唯一的 $ L^p $ 矩阵范数，该范数在同构下保持不变，从而使完全等距同构的范畴定义良好。
• 该分类对所有 $ p \in [1, \infty) \setminus \{2\} $ 成立，且 $ K_0 $-群在所有相关范畴中均为完整不变量。
• 配备空间映射的 $ L^p $ 算子代数的归纳极限仍是 $ L^p $ 算子代数，确保该类在归纳极限下稳定。