[论文解读] Equivariant logic and applications to C*-dynamics

Eusebio Gardella, Martino Lupini|arXiv (Cornell University)|Aug 19, 2016

Advanced Operator Algebra Research参考文献 49被引用 7

一句话总结

该论文为局部紧群在度量结构上的作用构建了一个等变模型论框架，证明了 Łoś 定理和超幂饱和性的类比结果。该框架被应用于 C*-动力系统，证明在连续统假设下，强自吸收作用的中心序列代数的连续部分与序列代数之间存在等变同构，并通过零阶维数理论推导出关于维数不变量（如分解秩和核维数）的新不等式。

ABSTRACT

We introduce a model-theoretic framework for the study actions of a locally compact group on metric structures. In this setting, we prove analogs of fundamental model-theoretic results, such as \L os' theorem and countable saturation of ultrapowers. We then present applications to C*-dynamics. In particular, we prove that the continuous part of the central sequence algebra of a strongly self-absorbing action is indistinguishable from the continuous part of the sequence algebra, and in fact equivariantly isomorphic under the Continuum Hypothesis. As another application, we present a unified approach to several dimensional inequalities in C*-algebras. This is done through the notion of order zero dimension for an (equivariant) homomorphism. Finiteness of the order zero dimension implies that the dimension of the target algebra can be bounded by the dimension of the domain. The dimension can be, among others, decomposition rank, nuclear dimension, or Rokhlin dimension. As a consequence, we obtain new inequalities for these quantities. As a third application we obtain the following result: if a C*-algebra $A$ absorbs a strongly self-absorbing C*-algebra $D$, and $\alpha$ is an action of a compact group $G$ on $A$, then $\alpha$ absorbs any strongly self-absorbing action of $G$ on $D$. This has a number of interesting consequences, already in the case of the trivial action. For example, $D$-stability passes from $A$ to the crossed product. Additionally, our result restricts the possible value of the Rokhlin dimension of actions on $\mathcal{Z}$-absorbing C*-algebras to $\{0,1,\infty\}$. It also implies that an action of a finite group with finite Rokhlin dimension with commuting towers automatically has the Rokhlin property if the algebra is UHF-absorbing.

研究动机与目标

• 为局部紧群在度量结构上的作用发展一个模型论框架，特别是针对局部紧群。
• 将基本模型论结果（如 Łoš 定理和超幂饱和性）推广到等变设定中。
• 将该框架应用于 C*-动力系统，特别是理解中心序列代数和维数不变量。
• 通过零阶维数的概念统一并推广 C*-代数中的维数不等式。
• 为 D-稳定 C*-代数上的作用建立吸收结果，特别是当 D 为强自吸收时。

提出的方法

• 为局部紧群在度量结构上的作用引入等变模型论设定。
• 在等变背景下证明超幂的 Łoš 定理和可数饱和性的类比结果。
• 将同态（尤其是等变同态）的零阶维数定义为控制维数不变量的复杂性度量。
• 在连续统假设下，建立中心序列代数的连续部分与序列代数之间的等变同构。
• 应用该框架证明：在 D-吸收 C*-代数上的作用会吸收同群的任意强自吸收作用。
• 利用零阶维数推导出分解秩、核维数和 Rokhlin 维数的定量界。

实验结果

研究问题

• RQ1 在何种条件下，强自吸收作用的中心序列代数的连续部分与序列代数之间存在等变同构？
• RQ2 如何利用同态的零阶维数来以定义域的维数为基准，控制目标 C*-代数的维数？
• RQ3 D-吸收对 C*-代数上群作用的 Rokhlin 维数施加了何种限制？
• RQ4 是否可以对不同 C*-代数类统一刻画强自吸收作用的吸收性质？
• RQ5 在 UHF-吸收 C*-代数中，有限 Rokhlin 维数且具有交换塔结构的 Rokhlin 性质在多大程度上可被推出？

主要发现

• 在连续统假设下，强自吸收作用的中心序列代数的连续部分与序列代数之间存在等变同构。
• 若一个等变同态的零阶维数有限，则其目标 C*-代数的维数（如分解秩、核维数、Rokhlin 维数）将被其定义域的维数所控制。
• 若 C*-代数 A 吸收一个强自吸收 C*-代数 D，且 α 是群 G 在 A 上的作用，则 α 吸收 G 在 D 上的任意强自吸收作用。
• 当 A 是 D-稳定且 α 是强自吸收作用时，D-稳定性从 A 传递到交叉积 A ⋊α G。
• Z-吸收 C*-代数上作用的 Rokhlin 维数仅可能取值 {0, 1, ∞}。
• 有限群在 UHF-吸收 C*-代数上的作用，若具有有限 Rokhlin 维数且具有交换塔结构，则自动具有 Rokhlin 性质。