[论文解读] Embedding of exact C*-algebras and continuous fields in the Cuntz algebra O_2

Eberhard Kirchberg, N. Christopher Phillips|arXiv (Cornell University)|Dec 9, 1997

Advanced Operator Algebra Research参考文献 36被引用 19

一句话总结

本文证明了每个可分精确 C*-代数均可等距嵌入到 Cuntz 代数 𝒪₂ 中，且在紧致空间上的此类代数的连续场也允许连续嵌入到 𝒪₂ 中，且具有受控的 Hölder 类型正则性。一个关键结果是构造了旋转代数场在 𝒪₂ 中取值的单位元、连续、具有 𝐿𝑖𝑝^{1/2} 正则性的表示，其参数 θ 的 Hölder 指数与希尔伯特空间表示中已知的最优值完全一致。

ABSTRACT

We prove that any separable exact C*-algebra is isomorphic to a subalgebra of the Cuntz algebra ${\cal O}_2.$ We further prove that if $A$ is a simple separable unital nuclear C*-algebra, then ${\cal O}_2 \otimes A \cong {\cal O}_2,$ and if, in addition, $A$ is purely infinite, then ${\cal O}_{\infty} \otimes A \cong A.$ The embedding of exact C*-algebras in $\OA{2}$ is continuous in the following sense. If $A$ is a continuous field of C*-algebras over a compact manifold or finite CW complex $X$ with fiber $A (x)$ over $x \in X,$ such that the algebra of continuous sections of $A$ is separable and exact, then there is a family of injective homomorphisms $ϕ_x : A (x) o {\cal O}_2$ such that for every continuous section $a$ of $A$ the function $x \mapsto ϕ_x (a (x))$ is continuous. Moreover, one can say something about the modulus of continuity of the functions $x \mapsto ϕ_x (a (x))$ in terms of the structure of the continuous field. In particular, we show that the continuous field $θ\mapsto A_θ$ of rotation algebras posesses unital embeddings $ϕ_θ$ in ${\cal O}_2$ such that the standard generators $u (θ)$ and $v (θ)$ are mapped to $\operatorname{Lip}^{1/2}$ functions.

研究动机与目标

• 证明每个可分精确 C*-代数均可作为子代数嵌入到 Cuntz 代数 𝒪₂ 中。
• 建立对于可分核型单位元单个简单 C*-代数 A，有 𝒪₂ ⊗ A ≅ 𝒪₂ 成立，且若 A 为纯无限代数，则 𝒪_∞ ⊗ A ≅ A。
• 构造从 C*-代数连续场的纤维到 𝒪₂ 的连续族单同态，确保截面映射的连续性。
• 提供嵌入旋转代数到 𝒪₂ 的定量正则性估计——具体为 𝐿𝑖𝑝^{1/2} 有界性，与希尔伯特空间表示中已知的最优性结果一致。

提出的方法

• 利用精确 C*-代数的结构及其作为 CAR 代数子商代数的刻画，通过近似表示与扰动技术构建到 𝒪₂ 的嵌入。
• 应用具有受控误差传播的递归逼近方法，使用单位元完全正映射与扰动引理构造单同态。
• 采用 ℝ 上的周期延拓策略，通过在有理点处的局部嵌入，构造旋转代数场的全局连续表示。
• 利用截面距离 d_S 与修正的 ρ₀ 函数建立距离估计框架，以控制在邻近参数处表示之间的范数差。
• 利用 𝒪₂ 对某些 C*-代数类的普遍性，并应用张量积同构关系，证明如 𝒪₂ ⊗ A ≅ 𝒪₂ 等结构性结果。
• 应用核型 C*-代数分类程序中的结果，利用 K-理论不变量与 Künneth 公式推导同构关系。

实验结果

研究问题

• RQ1 每个可分精确 C*-代数是否都能作为子代数嵌入到 Cuntz 代数 𝒪₂ 中？
• RQ2 是否存在从可分精确 C*-代数连续场的纤维到 𝒪₂ 的连续族单同态，使得截面映射连续？
• RQ3 此类连续嵌入的最优 Hölder 正则性是什么，特别是对于 𝕊¹ 上的旋转代数场？
• RQ4 是否可对所有可分核型单位元单个简单 C*-代数 A 证明 𝒪₂ ⊗ A ≅ 𝒪₂？
• RQ5 嵌入旋转代数到 𝒪₂ 中的 𝐿𝑖𝑝^{1/2} 正则性界是否最优，且能否在不使用无界算子的情况下实现？

主要发现

• 每个可分精确 C*-代数均存在一个到 Cuntz 代数 𝒪₂ 的单位元 *-同构嵌入。
• 对任意可分核型单位元单个简单 C*-代数 A，有 𝒪₂ ⊗ A ≅ 𝒪₂ 成立；若 A 为纯无限代数，则 𝒪_∞ ⊗ A ≅ A。
• 存在一个旋转代数 A_θ 的连续场的单 *-同态族 φ_θ: A_θ → 𝒪₂，使得对每个连续截面 a，映射 θ ↦ φ_θ(a(θ)) 连续。
• 对标准生成元 u(θ), v(θ) ∈ A_θ，嵌入满足 ‖φ_θ₁(u(θ₁)) − φ_θ₂(u(θ₂))‖ < C|θ₁ − θ₂|^{1/2}，且对 v 同样成立，其中 C < 840,000。
• Hölder 估计中指数 1/2 为最优，无法改进，这与 Haagerup 和 Rørdam 的希尔伯特空间表示中已知的最优性结果一致。
• 该构造为 𝒪₂ 中旋转代数的 𝐿𝑖𝑝^{1/2} 表示提供了新的、基于算子理论的证明，且完全独立于无界算子。