[论文解读] Logic and $\mathrm{C}^*$-algebras: set theoretical dichotomies in the theory of continuous quotients

Alessandro Vignati|arXiv (Cornell University)|Jun 20, 2017

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

一句话总结

本文研究了集合论公理——特别是连续统假设（CH）和力迫公理——对余代数 C*-代数的自同构群结构的影响，这些余代数是 Čech-Stone 余空间的非交换类比。在 CH 下，余代数 C*-代数展现出丰富且不可定义的自同构群；在力迫公理下，其自同构群变得刚性，仅包含可定义的自同构，揭示了其在模型论与集合论行为上的鲜明二分性。

ABSTRACT

Given a nonunital $\mathrm{C}^*$-algebra $A$ one constructs its corona algebra $\mathcal M(A)/A$. This is the noncommutative analog of the Čech-Stone remainder of a topological space. We analyze the two faces of these algebras: the first one is given assuming CH, and the other one arises when Forcing Axioms are assumed. In their first face, corona $\mathrm{C}^*$-algebras have a large group of automorphisms that includes nondefinable ones. The second face is the Forcing Axiom one; here the automorphism group of a corona $\mathrm{C}^*$-algebra is as rigid as possible, including only definable elements

研究动机与目标

• 分析集合论公理——CH 和力迫公理——如何影响余代数 C*-代数的自同构群。
• 建立在 CH 下的模型论饱和性与在力迫公理下连续商的刚性之间的对偶关系。
• 研究在力迫公理下，C*-代数的约化积的自同构与同构的提升是否存在。
• 探讨在 C*-代数同态背景下 Ullam 稳定性的意义，及其与约化积同构的关联。
• 提出并检验关于在力迫公理下，单态可分核 C*-代数的约化积之间同构刚性的猜想。

提出的方法

• 利用 C*-代数的模型论，特别是 CH 下的饱和性性质，分析余代数的结构。
• 应用力迫公理推导刚性结果，表明余代数的自同构必须是可定义且本质上平凡的。
• 运用提升定理，将约化积的自同构与积代数之间的 ∗-同态联系起来，尤其在 AF 与 UHF 代数的背景下。
• 应用 Ullam 稳定性技术，分析两个 C*-代数之间的几乎 ∗-同态在何时均匀接近于实际的 ∗-同态。
• 分析序列 C*-代数的约化积 ∏Aₙ/⊕Aₙ 的结构，特别是单态可分的 UHF 和 AF 代数。
• 使用连续模型论与描述集合论，研究自同构群与非交换拓扑中集合论原理之间的相互作用。

实验结果

研究问题

• RQ1 在连续统假设与力迫公理下，余代数 C*-代数的自同构群有何不同？
• RQ2 在多大程度上，C*-代数约化积的自同构可以被提升为积代数之间的 ∗-同态？
• RQ3 在力迫公理下，是否每个单态可分 C*-代数约化积之间的同构均由指标集的几乎置换及对应因子的同构诱导？
• RQ4 在力迫公理下，单态可分简单核 C*-代数类是否具有 Ullam 稳定性，从而保证几乎 ∗-同态均匀接近于实际 ∗-同态？
• RQ5 余代数自同构群的刚性是否可推广至 UHF 和 AF 代数之外的非交换 C*-代数？

主要发现

• 在连续统假设下，余代数 C*-代数允许一个庞大的自同构群，包括不可定义的自同构，表明其具有高度的模型论饱和性。
• 在力迫公理下，余代数 C*-代数的自同构群尽可能刚性，仅包含可定义的自同构，暗示了强烈的结构约束。
• 对于单态可分的 UHF 代数，约化积 ∏Aₙ/⊕Aₙ 与 ∏Bₙ/⊕Bₙ 之间的同构成立，当且仅当存在一个 ℕ 的几乎置换 f，使得对所有 f(n) 有定义的 n，都有 Aₙ ≅ B_f(n)。
• 约化积自同构的提升定理表明，在力迫公理下，∏Aₙ/⊕Aₙ 的每个自同构均可提升为 ∏Aₙ 与 ∏Bₙ 之间的 ∗-同态。
• AF 代数的 Ullam 稳定性与提升的存在性相关：若 (Aₙ) 是单态简单可分 AF 代数的序列，则在力迫公理下，∏Aₙ/⊕Aₙ 的每个自同构均可通过 ∗-同态实现提升。
• 本文猜想：在力迫公理成立的前提下，对于单态可分简单核 C*-代数，其约化积之间的同构由指标集的几乎置换及因子的同构所诱导。