[论文解读] Nuclear dimension for an inclusion of unital C*-algebras

Hiroyuki Osaka, Tamotsu Teruya|arXiv (Cornell University)|Nov 8, 2011

Advanced Operator Algebra Research参考文献 32被引用 3

一句话总结

该论文证明，若一个有单位元的 C*-代数在其局部属于分解秩 ≤ n 或核维数 ≤ n 的代数类中，则其整体也属于该类。关键贡献在于证明了在具有有限 Watatani 指数和 Rokhlin 性质的包含关系下，有限分解秩与核维数的稳定性，从而证实了 Winter 和 Zacharias（2010）中的问题 9.4，并将结果推广至交叉积与基本构造。

ABSTRACT

Let $P \subset A$ be an inclusion of separable unital C*-algebras with finite Watatani index. Suppose that $E \colon A ightarrow P$ has the Rokhlin property, that is, there is a projection $e \in A' \cap A^\infty$ such that $E^\infty(e) = ({ m Index}E)^{-1}1$. We show that if $A$ has nuclear dimension $n$, then $P$ has nuclear dimension less than or equal to $n$. In particular, if an action $α$ of a finite group $G$ on $A$ has the Rokhlin property, then the nuclear dimension of the crossed product algebra $A times_αG$ is less than or equal to that of $A$.

研究动机与目标

• 建立局部属于有限分解秩或核维数类的 C*-代数整体也属于该类。
• 通过证明有限核维数在 Rokhlin 型包含关系下保持不变，解决 Winter 和 Zacharias（2010）中的问题 9.4。
• 将稳定性结果推广至具有 Rokhlin 性质的交叉积与基本构造。
• 研究在 Rokhlin 条件期望下纯性（严格比较与几乎可除的 Cuntz 半群）的继承性。
• 厘清有限指标类型包含关系中迹类与序结构之间的关系。

提出的方法

• 通过子代数在 C_n（相应地 C_nuc_n）中的逼近，引入 C*-代数在类 C_n（相应地 C_nuc_n）中局部成立的概念。
• 利用条件期望 E: A → P 的 Rokhlin 性质，其定义为存在 e ∈ A' ∩ A^∞ 满足 E^∞(e) = (Index E)^{-1}1。
• 应用 Osaka 和 Phillips（2011）关于 C_n 与 C_nuc_n 类的有限饱和性结果，推导出整体成员资格。
• 使用 Cuntz 半群 W(A) 及其几乎可除性来刻画纯性与包含关系下的稳定性。
• 利用维度下降代数 Z_{k,k+1} 的弱半投影性，将同态从 A 提升至 P 及基本构造。
• 应用 Winter 对纯性的刻画：通过严格比较与 W(A) 的几乎可除性，以及当 A 为精确且具有稳定秩一时代数时，严格比较等价于由迹决定的序结构。

实验结果

研究问题

• RQ1 若一个 C*-代数在其局部属于分解秩 ≤ n 的代数类中，是否必然整体属于该类？
• RQ2 在具有有限 Watatani 指数和 Rokhlin 性质的包含关系下，核维数是否保持不变？
• RQ3 对于具有 Rokhlin 性质的群作用，其在不变子代数与交叉积中是否保持有限分解秩与核维数？
• RQ4 在何种条件下，一个纯 C*-代数上有限群作用的不变子代数 P 也是纯的？
• RQ5 在具有 Rokhlin 性质的有限指标类型包含关系中，迹与投影的序结构之间有何关系？

主要发现

• 若 A 是局部 C_n（相应地 C_nuc_n）C*-代数，则 A ∈ C_n（相应地 C_nuc_n），确认这些类在局部逼近下是封闭的。
• 对于具有有限 Watatani 指数的包含关系 P ⊂ A 及具有 Rokhlin 性质的条件期望 E，若 dr(A) ≤ n（相应地 dim_nuc(A) ≤ n），则 dr(P) ≤ n（相应地 dim_nuc(P) ≤ n）。
• 若 A 为精确、纯且具有稳定秩一，且 E: A → P 具有 Rokhlin 性质，则 P 为纯代数。
• 对于具有 Rokhlin 性质的有限群作用 α，若 dr(A) ≤ n，则 dr(A^α) ≤ n 且 dr(A ⋊_α G) ≤ n。
• 若 dim_nuc(A) ≤ n 且 α 具有 Rokhlin 性质，则 dim_nuc(A^α) ≤ n 且 dim_nuc(A ⋊_α G) ≤ n。
• 若 A 为可分、有单位元、精确、纯且具有稳定秩一，且 α 具有 Rokhlin 性质，则 A^α 与 A ⋊_α G 均为纯代数。