[论文解读] Circle actions on $\mathcal{O}_2$-absorbing $C^*$-algebras

Eusebio Gardella|arXiv (Cornell University)|Jun 17, 2014

Advanced Operator Algebra Research参考文献 17被引用 4

一句话总结

本文通过将诱导作用在本征理想空间上的作用作为不变量，对分离的、约化的 $\mathcal{O}_2$-吸收 $C^*$-代数上的具有 Rokhlin 性质的圆作用进行分类。一个关键结果是，此类作用在适当的意义下是典型的，且一个圆作用具有 Rokhlin 性质当且仅当其在所有有限子群上的限制都具有 Rokhlin 性质，该结果在 $\mathcal{O}_2$-吸收代数和 UHF-稳定代数中有应用。

ABSTRACT

We classify circle actions with the Rokhlin property on separable, nuclear $C^*$-algebras that absorb the Cuntz algebra $\mathcal{O}_2$ tensorially. The invariant we use is the induced action on the primitive ideal space. In particular, any two such actions on $\mathcal{O}_2$ are conjugate. The range of the invariant is discussed and computed for a class of $\mathcal{O}_2$-absorbing $C^*$-algebras. Additionally, we show that circle actions with the Rokhlin property on separable $\mathcal{O}_2$-absorbing $C^*$-algebras are generic, in a suitable sense. A crucial result in our work, which is of independent interest, is as follows: if $\alpha$ is a circle action with the Rokhlin property on a unital, separable $C^*$-algebra $A$ that absorbs the UHF-algebra $M_{n^\infty}$ tensorially, then the restriction of $\alpha$ to $\mathbb{Z}_n$ has the Rokhlin property. If $A$ moreover absorbs $\mathcal{O}_2$, then a circle action has the Rokhlin property if and only if all of its restrictions to finite subgroups have the Rokhlin property. We give several examples to show that our results cannot be extended to all unital Kirchberg algebras in the UCT class.

研究动机与目标

• 对分离的、约化的 $\mathcal{O}_2$-吸收 $C^*$-代数上的具有 Rokhlin 性质的圆作用进行分类。
• 将本征理想空间上的作用识别为这类圆作用的完全不变量。
• 确定该不变量的取值范围，并计算一类 $\mathcal{O}_2$-吸收 $C^*$-代数的不变量。
• 证明此类作用在适当的拓扑意义下是典型的。
• 证明在 $\mathcal{O}_2$-吸收代数中，圆作用的 Rokhlin 性质等价于其在所有有限子群上的限制的 Rokhlin 性质。

提出的方法

• 将诱导作用在本征理想空间上的作用作为具有 Rokhlin 性质的圆作用的分类不变量。
• 应用 Rokhlin 性质来分析圆作用在有限子群上的限制，特别是 $\mathbb{Z}_n$。
• 利用如下事实：若一个单射、分离的 $C^*$-代数 $A$ 吸收 $M_{n^\frown\infty}$，则具有 Rokhlin 性质的圆作用 $\alpha$ 蕴含 $\alpha|_{\mathbb{Z}_n}$ 也具有 Rokhlin 性质。
• 通过证明整个圆作用的 Rokhlin 性质等价于其在所有有限子群上的限制，将此结果推广至 $\mathcal{O}_2$-吸收代数。
• 利用 $\mathcal{O}_2$-吸收代数和 UHF-稳定代数的结构结果，分析不变量的取值范围并构造例子。
• 构造反例以说明这些结果不适用于 UCT 类中的所有单射 Kirchberg 代数。

实验结果

研究问题

• RQ1 在 $\mathcal{O}_2$-吸收 $C^*$-代数上，具有 Rokhlin 性质的圆作用的完全分类不变量是什么？
• RQ2 在 $\mathcal{O}_2$-吸收代数中，能否通过其在有限子群上的限制来表征圆作用的 Rokhlin 性质？
• RQ3 此类作用的本征理想空间不变量的取值范围是什么？
• RQ4 在 $\mathcal{O}_2$-吸收 $C^*$-代数上所有连续作用的空间中，具有 Rokhlin 性质的圆作用是否典型？
• RQ5 这些分类结果在多大程度上可推广至 UCT 类中的所有一般单射 Kirchberg 代数？

主要发现

• 诱导作用在本征理想空间上作为分类 $\mathcal{O}_2$-吸收 $C^*$-代数上具有 Rokhlin 性质的圆作用的完全不变量。
• 在 $\mathcal{O}_2$ 本身上，任意两个此类作用都共轭，意味着在同构意义下唯一。
• 对于吸收 $M_{n^\infty}$ 的单射、分离的 $C^*$-代数 $A$，若圆作用 $\alpha$ 具有 Rokhlin 性质，则其在 $\mathbb{Z}_n$ 上的限制也具有 Rokhlin 性质。
• 在 $\mathcal{O}_2$-吸收 $C^*$-代数中，一个圆作用具有 Rokhlin 性质当且仅当其在所有有限子群上的限制都具有 Rokhlin 性质。
• 在 $\mathcal{O}_2$-吸收 $C^*$-代数上所有连续作用的空间中，具有 Rokhlin 性质的圆作用在适当的拓扑下是典型的。
• 结果不适用于 UCT 类中的所有单射 Kirchberg 代数，反例已给出。