[論文レビュー] 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

ひとこと要約

この論文は、任意のコンpakto量子群のC*-代数上の作用へのモデル理論的枠組みのRokhlin次元およびRokhlin性質の拡張を行う。このような作用が度合い構造の論理において一階公理化可能であることを示すことにより、著者たちは、coexactおよび可分な設定を超えてRokhlin次元および等変order zero次元を一般化し、固定部分代数およびクローズド積における有限核次元および有限分解ランクの保存を証明する。

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*-代数上に作用するクラスが、度合い構造の論理において一階公理化可能であることを確立すること。
• coexactおよび可分性の仮定を外して、任意のコンパクト量子群へのRokhlin性質およびRokhlin次元の一般化を行うこと。
• Rokhlin次元のモデル理論的特徴付けを可能にするために、等変order zero次元の概念をコンパクト量子群作用へと拡張すること。
• 有限Rokhlin次元を有する作用において、固定部分代数およびクローズド積の下での有限核次元および有限分解ランクの保存を証明すること。
• 既存のRokhlin作用に関する保存および剛性結果を、非可分および非coexactな場合を含め、量子群の文脈で統合的かつ一般化すること。

提案手法

• C*-代数および量子群のための種類をもつ多様な種類の言語を用いて、コンパクト量子群のC*-代数上への作用を度合い構造の論理における構造として形式化する。
• Rokhlin型性質のモデル理論的本質を捉えるために、正的存在的埋め込みおよび論理式を定義する。
• G-C*-代数のクラスの公理化を用いて、量子群作用と整合する超積および還元積を定義する。
• 古典的およびcoexact量子群の設定から一般化された、G-不変*-準同型写像の等変order zero次元の概念を導入する。
• G作用のRokhlin次元を、作用が等変order zero次元nの分解をもつような最小のnとして定義する。
• モデル理論的保存定理を適用し、有限核次元および有限分解ランクが、作用が有限Rokhlin次元をもつ場合に固定部分代数およびクローズド積の下で保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 コンパクト量子群作用のRokhlin性質およびRokhlin次元は、coexactおよび第二可算な設定を超えて一般化可能か？
• RQ2 固定されたコンパクト量子群がC*-代数上に作用するクラスは、度合い構造の論理において一階公理化可能か？
• RQ3 等変order zero次元の概念をコンパクト量子群作用へとどのように拡張し、Rokhlin次元を定義できるか？
• RQ4 有限Rokhlin次元を有する作用において、固定部分代数およびクローズド積の下でC*-代数のどの構造的性質が保存されるか？
• RQ5 正的存在的埋め込みのモデル理論的枠組みを用いて、量子群作用の剛性および保存結果を導出可能か？

主な発見

• 任意の固定されたコンパクトまたは離散的量子群GがC*-代数上に作用するクラスは、度合い構造の論理において一階公理化可能である。
• G-C*-代数におけるRokhlin性質は、度合い構造の論理における正的存在的埋め込みとして特徴づけられ、これにより以前の結果が任意のコンパクト量子群へと一般化される。
• G作用のRokhlin次元は、等変order zero次元を介して定義され、Rokhlin次元0はまさにRokhlin性質に一致する。
• Rokhlin作用に関するすべての保存および剛性結果—以前はcoexactおよび可分性を仮定していた—が、任意のコンパクト量子群へと拡張される。
• 有限核次元および有限分解ランクは、有限Rokhlin次元を有する作用において、固定部分代数およびクローズド積の下で保存される。
• モデル理論的枠組みにより、量子群作用と整合するG-C*-代数の超積および還元積の構成が可能になる。