[论文解读] Rokhlin dimension for compact quantum group actions

Eusebio Gardella, Mehrdad Kalantar+1 more|arXiv (Cornell University)|Mar 31, 2017

Advanced Operator Algebra Research参考文献 34被引用 10

一句话总结

该论文将Rokhlin维数和Rokhlin性质的模型论框架扩展至任意紧致量子群在C*-代数上的作用。通过证明此类作用在度量结构逻辑中是首阶公理化的，作者们将Rokhlin维数和等变零阶维数的概念推广至非共精确和非可分情形，证明了在固定点代数和交叉积下，有限核维数和有限分解秩得以保持。

ABSTRACT

We show that, for a given compact or discrete quantum group $G$, the class of actions of $G$ on C*-algebras is first-order axiomatizable in the logic for metric structures. As an application, we extend the notion of Rokhlin property for $G$-C*-algebra, introduced by Barlak, Szabó, and Voigt in the case when $G$ is second countable and coexact, to an arbitrary compact quantum group $G$. All the the preservations and rigidity results for Rokhlin actions of second countable coexact compact quantum groups obtained by Barlak, Szabó, and Voigt are shown to hold in this general context. As a further application, we extend the notion of equivariant order zero dimension for equivariant *-homomorphisms, introduced in the classical setting by the first and third authors, to actions of compact quantum groups. This allows us to define the Rokhlin dimension of an action of a compact quantum group on a C*-algebra, recovering the Rokhlin property as Rokhlin dimension zero. We conclude by establishing a preservation result for finite nuclear dimension and finite decomposition rank when passing to fixed point algebras and crossed products by compact quantum group actions with finite Rokhlin dimension.

研究动机与目标

• 建立固定紧致或离散量子群在C*-代数上的作用类在度量结构逻辑中的首阶公理化。
• 将Rokhlin性质和Rokhlin维数推广至任意紧致量子群，消除先前对共精确性和可分性的假设。
• 将等变零阶维数的概念扩展至紧致量子群作用，实现Rokhlin维数的模型论表征。
• 证明当作用具有有限Rokhlin维数时，固定点代数和交叉积下有限核维数和有限分解秩的保持性结果。
• 统一并推广现有关于量子群设置中Rokhlin作用的保持性和刚性结果，包括非可分和非共精确情形。

提出的方法

• 将紧致量子群在C*-代数上的作用形式化为度量结构逻辑中的结构，使用包含C*-代数和量子群排序的多排序语言。
• 在此逻辑中定义正存在嵌入和公式，以捕捉Rokhlin型性质的模型论本质。
• 利用$G$-C*-代数类的公理化性质，定义与量子群作用相容的超积和约化积。
• 为$G$-等变*-同态引入等变零阶维数的概念，将其从经典和共精确量子群情形推广。
• 将$G$-作用的Rokhlin维数定义为使作用允许等变零阶维数$n$分解的最小$n$。
• 应用模型论保持定理，证明当作用具有有限Rokhlin维数时，有限核维数和有限分解秩在固定点代数和交叉积下得以保持。

实验结果

研究问题

• RQ1 能否将紧致量子群作用的Rokhlin性质和Rokhlin维数推广至非共精确和非第二可数情形？
• RQ2 固定紧致量子群在C*-代数上的作用类是否在度量结构逻辑中首阶公理化？
• RQ3 如何将等变零阶维数的概念扩展至紧致量子群作用，以定义Rokhlin维数？
• RQ4 当作用具有有限Rokhlin维数时，C*-代数的哪些结构性质在固定点代数和交叉积下得以保持？
• RQ5 能否使用正存在嵌入的模型论框架推导出量子群作用的刚性和保持性结果？

主要发现

• 任何固定紧致或离散量子群$G$在C*-代数上的作用类在度量结构逻辑中是首阶公理化的。
• 在度量结构逻辑中，$G$-C*-代数的Rokhlin性质被表征为正存在嵌入，将先前结果推广至任意紧致量子群。
• 通过等变零阶维数定义$G$-作用的Rokhlin维数，Rokhlin维数零恰好对应于Rokhlin性质。
• 此前要求共精确性和可分性的所有关于Rokhlin作用的保持性和刚性结果，现已被推广至任意紧致量子群。
• 当作用具有有限Rokhlin维数时，有限核维数和有限分解秩在固定点代数和交叉积下得以保持。
• 该模型论框架允许构造与量子群作用相容的$G$-C*-代数的超积和约化积。