Elliott 纲领中交叉积何时可分类？

可分类意味着核性、单性与 Z-稳定性

论文在 Elliott 纲领的框架内展开，其分类定理覆盖满足 Universal Coefficient Theorem（UCT）的简单、可分、含单位、核性、Z-稳定的 C*-代数。这类代数完全由它们的 K-理论与迹（合称 Elliott 不变量）分类。综述把恰好满足这些假设的 C*-代数称为可分类的。

对于这里讨论的交叉积，其中两个假设是自动满足的。C(X)⋊G 的含单位性等价于 X 紧致且 G 离散，可分性等价于 X 可度量化且 G 可数。因此真正的工作是判定核性、单性与 Z-稳定性，并把每一项翻译成作用 G↷X 的语言。

核性等价于作用的顺从性

综述建立的第一个结构结果是：C(X)⋊G 的核性等价于作用 G↷X 的顺从性，这一性质由 Anantharaman-Delaroche 引入。该结论表述为定理 3.2.8，作用的顺从性定义见定义 3.2.1。

这一等价之所以重要，是因为它把一个算子代数的正则性条件转化为内在的动力学条件。一旦作用是顺从的，交叉积也满足 UCT，因此分类定理中的 UCT 假设在此情形下不构成额外障碍。综述指出，作用的顺从性因此是可分类性的必要动力学条件，而非可选的便利条件。

单性分解为极小性与拓扑自由性

在作用顺从的假设下，C(X)⋊G 的单性等价于两个动力学性质的组合：极小性与拓扑自由性。这是综述中的定理 3.3.9。两个条件单独都不充分；等价关系是针对这一对条件陈述的。

综述还把交叉积上的迹与 X 上的不变概率测度联系起来。定理 3.5.2 描述了这一关系，命题 3.5.7 表明：对于一个顺从动力系统，C(X)⋊G 上的每个迹都具有 τ_μ 的形式（其中 μ 是某个 G-不变概率测度），当且仅当作用是本质自由的。本质自由性的定义要求：对每个非单位群元素 g 和每个不变概率测度 μ，不动点集 X^g 的 μ-测度为零。这是自由性的测度论弱化，也是迹空间典范地等于不变测度空间的条件。

Z-稳定性是唯一尚待翻译的条件

在核性与单性都处理之后，分类定理中唯一还需要用动力学表达的假设就是张量吸收 Jiang-Su 代数 Z。综述没有回顾 Z 的构造，因为真正重要的性质是张量吸收 Z，而在简单核性的情形下，这一吸收条件可以完全不引用 Z、只用矩阵代数来刻画（定理 3.4.7）。论文在实践中把这一判据当作 Z-稳定性的定义。

正是在这里，综述不再是一份封闭的叙述，而成为对活跃前沿的报道。论文指出，把 Z-稳定性与系统的动力学性质联系起来的工作尚未完成，且越来越多的研究力量正投入其中。后几章的组织原则是两个被认为能刻画完整图景的猜想。

两个猜想区分顺从群与非顺从群

猜想 1.0.1 覆盖顺从群的自由、极小作用。它断言 C(X)⋊G 是 Z-稳定的，当且仅当 G↷X 具有小边界性质，即存在 X 拓扑的一组基，使得每个基元素对于 X 上每个 G-不变概率测度其边界测度为零（定义 4.4.1）。

猜想 1.0.2 覆盖非顺从群。它断言：若 G↷X 是非顺从群的一个顺从、拓扑自由、极小作用，则 C(X)⋊G 是 Z-稳定的。这里的预期是 Z-稳定性对非顺从群的作用自动成立，综述称这一点或许令人意外。

两个猜想并不对称。对顺从群，Z-稳定性被猜想为等价于一个可能不成立的非平凡动力学性质。对非顺从群，它被猜想为除了作用的顺从性、拓扑自由性与极小性之外，无需任何额外动力学假设即可成立。

即使对顺从群 Z-稳定性也可能失效

顺从群猜想并非空洞。Giol 与 Kerr 构造了整数群的首批极小、自由作用，其交叉积不是 Z-稳定的。由于整数群是顺从的，这些例子表明当 G 顺从时 Z-稳定性确实可能失效，也表明猜想 1.0.1 中的小边界性质确实在起作用，而非自动满足。

这是综述中最鲜明的对比。对顺从群，问题在于哪些作用具有小边界性质，而答案并非全部。对非顺从群，猜想预测了相反的行为，即 Z-稳定性无需任何额外动力学输入即可成立。综述收集了两方面的证据，并分离出仍然存在的障碍。

Kirchberg 二分法在此呈现动力学形式

Kirchberg 二分法指出，可分类的 C*-代数要么是稳定有限的，要么是纯无限的，分类定理也相应分成这两种情形。在交叉积的框架下，二分法得到简化：简单、核性的交叉积 C(X)⋊G 是稳定有限的，当且仅当 G 是顺从的（命题 3.4.15）。

因此，决定分类定理哪一半适用的是群本身的顺从性，而不仅仅是作用的顺从性。这是顺从性的另一种用法，与作用的顺从性等价于核性不同，综述把两者区分开来。后面关于悖论群与纯无限 C*-代数的章节沿着这一划分的纯无限一侧展开。

未闭合的一端是 Z-稳定性而非核性或单性

综述自身的定位是：顺从性、极小性与拓扑自由性是可分类性的必要动力学条件，而剩下的挑战是判定 C(X)⋊G 何时是 Z-稳定的。这就是论文设定的优先事项：不是重新推导核性或单性，而是弥合 Z-稳定性上的缺口。

对于要决定从何处入手的读者，决定性的划分依据是群。若 G 是顺从的，问题在于作用是否具有小边界性质，而 Giol 与 Kerr 的整数群例子表明答案可能是否定的。若 G 是非顺从的，猜想预测只要作用是顺从、拓扑自由且极小的，Z-稳定性就成立，无需进一步的动力学条件。综述把这两个猜想呈现为被认为完整的图景，同时指出相关机制与技术仍在构建之中。

本文引用的文献