[论文解读] Crossed product C*-algebras by finite group actions with the projection free tracial Rokhlin property

Dawn Archey|arXiv (Cornell University)|Feb 19, 2009

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

一句话总结

本文为缺乏非平凡投影的C*-代数引入了无投影的迹Rokhlin性质，使得在有限群作用下研究半直积成为可能。研究表明，若一个具有稳定秩1和有限极小迹态的单个、稳定有限、有单位元的C*-代数允许此类作用，则其半直积也具有稳定秩1——但引理3.16中的一个错误使最终证明失效。

ABSTRACT

In this paper we introduce an analog of the tracial Rokhlin property, called the {\emph {projection free tracial Rokhlin property}}, for $C^*$-algebras which may not have any nontrivial projections. Using this we show that if $A$ is an infinite dimensional stably finite simple unital $C^*$-algebra with stable rank one, with strict comparison of positive elements, with only finitely many extreme tracial states, and with the property that every 2-quasi-trace is a trace, and if $α$ is an action of a finite group $G$ with the projection free tracial Rokhlin property, then the crossed product $C^*(G, A, α)$ also has stable rank one (Except there is a mistake in Lemma 3.16, so this is no longer proven)

研究动机与目标

• 将迹Rokhlin性质推广至可能不包含非平凡投影的C*-代数。
• 解决现有Rokhlin型性质在非投影丰富的C*-代数中的局限性。
• 建立半直积C*-代数保持稳定秩1的条件。
• 将群作用下稳定秩保持性的结果推广到更广泛的C*-代数类。
• 为研究投影结构最小的C*-代数上的动力系统提供一个框架。

提出的方法

• 将无投影迹Rokhlin性质作为经典迹Rokhlin性质在无非平凡投影的C*-代数中的类比进行引入。
• 利用该性质分析有限群作用下半直积C*-代数的结构。
• 应用稳定秩1、正元素的严格比较以及有限极小迹态等条件以约束代数设定。
• 利用每个2-拟迹都是迹的假设，确保迹态空间的足够正则性。
• 运用迹逼近和Rokhlin型分解技术来控制半直积的结构。
• 利用C*-代数动力系统框架分析半直积的稳定性性质。

实验结果

研究问题

• RQ1 迹Rokhlin性质能否被适配到缺乏非平凡投影的C*-代数上？
• RQ2 在何种条件下，具有无投影迹Rokhlin性质的有限群作用能在半直积中保持稳定秩1？
• RQ3 在该背景下，严格比较、有限极小迹态以及2-拟迹的迹条件如何相互作用？
• RQ4 为使稳定秩1从原C*-代数提升到其半直积，需要哪些结构约束？
• RQ5 经典Rokhlin理论在非投影丰富的C*-代数中能在多大程度上被推广？

主要发现

• 无投影迹Rokhlin性质被定义于无非平凡投影的C*-代数上，扩展了Rokhlin型分析的适用范围。
• 证明了在该类作用下，具有稳定秩1的单个、稳定有限、有单位元的C*-代数的半直积也继承了稳定秩1。
• 该结果依赖于严格比较正元素和有限个极小迹态等假设。
• 每个2-拟迹都是迹的条件确保了迹态空间的充分正则性。
• 由于引理3.16中存在错误，证明结构被破坏，最终结论未被证明。
• 尽管存在缺陷，所引入的框架和定义对未来研究非投影丰富的C*-代数仍具有重要意义。