[论文解读] A simple C*-algebra with finite nuclear dimension which is not Z-stable

Ilijas Farah, Dan Hathaway+2 more|arXiv (Cornell University)|Jan 21, 2013

Advanced Operator Algebra Research参考文献 16被引用 8

一句话总结

该论文在连续统假设（CH）或较弱条件 b = c 的假设下，通过超限递归构造，构建了一个核维数为零但非 Z-稳定的简单 C*-代数。关键洞见在于其中心序列代数是交换但非平凡的，这导致尽管核维数有限，仍无法实现 Z-稳定性，从而表明在非可分情形下，Toms–Winter 猜想不成立。相同方法还构造出一个不与自身与 R 的张量积同构的超有限 II₁ 一类因子，表明在 CH 下，非可分情形中 R-稳定性也失效。该构造依赖于通过自同构控制中心序列并避免超中心性，利用集合论假设确保中心序列代数的非平凡性。

ABSTRACT

We construct a simple C*-algebra with nuclear dimension zero that is not isomorphic to its tensor product with the Jiang-Su algebra Z, and a hyperfinite II_1 factor not isomorphic to its tensor product with the separable hyperfinite II_1 factor R. The proofs use a weakening of the Continuum Hypothesis.

研究动机与目标

• 证明在非可分 C*-代数中，有限核维数并不蕴含 Z-稳定性，从而在可分情形之外挑战 Toms–Winter 猜想。
• 构造一个不 R-稳定的超有限 II₁ 一类因子，将正则性性质的失效扩展至非可分情形下的 von Neumann 代数。
• 证明在弱集合论假设下，简单 C*-代数和超有限 II₁ 一类因子中，中心序列代数为交换但非平凡的情形是可能的。
• 通过超限递归与自同构控制，提供一个反例，以证明在缺乏可分性时，'有限核维数 ⇒ Z-稳定性' 的蕴含关系不成立。

提出的方法

• 通过序数索引至 c 的局部矩阵代数（LM 代数）的直极限，进行 C*-代数的超限递归构造。
• 在每个阶段 ξ，检查来自先前阶段的中心序列是否为超中心；若不是，则通过 *-同态将代数嵌入更大的代数中以破坏其中心性。
• 利用满射 χ: c → c² 确保每个潜在的中心序列最终都会被考虑，并在非超中心时被破坏。
• 关键技术工具是引理 3.2，其利用自同构 α 确保对无穷多个 j 有 ∥x_j − α(x_j)∥ > ε，从而防止超中心性。
• 通过将范数拓扑替换为强算子拓扑，并使用稠密的 LM C*-子代数，将构造方法适配至 von Neumann 代数。
• 证明依赖于边界数 b 和假设 b = c，以确保共终性并控制序列，从而弱化对 CH 的依赖。

实验结果

研究问题

• RQ1 对于非可分 C*-代数，有限核维数是否蕴含 Z-稳定性？
• RQ2 一个超有限 II₁ 一类因子是否可能不 R-稳定？
• RQ3 是否存在一个 C*-代数，其中心序列代数为交换但非平凡，且非 Z-稳定？
• RQ4 在 ZFC 中能否证明有限核维数下 Z-稳定性的失效，还是必须依赖集合论假设？

主要发现

• 在连续统假设下，存在一个简单核代数 C*-代数，其核维数为零但非 Z-稳定。
• 该 C*-代数的中心序列代数是交换但非平凡的，根据引理 1.1，这蕴含非 Z-稳定性。
• 在较弱假设 b = c 下，存在一个局部矩阵 C*-代数，其中心序列代数为交换但非平凡，从而蕴含非 Z-稳定性。
• 在 CH 下，存在一个超有限 II₁ 一类因子，其不与自身与 R 的张量积同构，表明在非可分情形下 R-稳定性失效。
• 所构造 C*-代数的中心序列代数是交换且非平凡的，证明了在缺乏可分性时 Toms–Winter 猜想不成立。
• 该构造表明，在非可分 C*-代数中，局部 Z-稳定性（定理 4.1 中的条件 3）并不蕴含全局 Z-稳定性。