[论文解读] Reduced products of UHF algebras under forcing axioms

Paul McKenney|arXiv (Cornell University)|Mar 20, 2013

Advanced Operator Algebra Research参考文献 23被引用 9

一句话总结

该论文在Todorčević公理和Martin公理下证明，任意两个可分单位UHF代数的约化积之间的同构映射均可通过一个固定的函数 $ e: \mathbb{N} \to \mathbb{N} $ 所诱导的 *-同态序列来定义，从而证实了Coskey与Farah的猜想。关键结果是：此类同构映射存在当且仅当对所有但有限多个 $ n $，有 $ \mathcal{A}_n \simeq \mathcal{B}_{e(n)} $，且该同构映射由一致的 *-同态族严格确定。

ABSTRACT

If $A_n$ is a sequence of C*-algebras, then the C*-algebra $\prod A_n / \bigoplus A_n$ is called a reduced product. We prove, assuming Todorcevic's Axiom and Martin's Axiom, that every isomorphism between two reduced products of separable, unital UHF algebras must be definable in a strong sense. As a corollary we deduce that two such reduced products $\prod A_n / \bigoplus A_n$ and $\prod B_n / \bigoplus B_n$ are isomorphic if and only if, up to an almost-permutation of $\mathbb{N}$, $A_n$ is isomorphic to $B_n$.

研究动机与目标

• 在力迫公理下，确认Coskey与Farah关于UHF代数约化积之间同构映射的平凡性猜想。
• 通过识别代数结构上的必要与充分条件，刻画两个UHF代数约化积同构的条件。
• 证明任意此类约化积之间的同构映射均可以强形式定义——具体而言，通过由固定函数 $ e: \mathbb{N} \to \mathbb{N} $ 所诱导的一致 *-同态族。
• 建立同构映射由一系列 *-同态 $ \mathcal{F}_n \to \mathcal{B}_{e(n)} $ 所决定，其中每个 $ \mathcal{F}_n \subseteq \mathcal{A}_n $ 为有限维代数。

提出的方法

• 证明使用Todorčević公理（TA）和Martin公理（MA）作为力迫公理，分析乘子代数中同构图的Borel结构。
• 通过开着色公理（OCA），一种TA的形式，应用拉姆齐理论型二分法，从同构图中构造一致的 *-同态族。
• 该方法涉及将同构映射提升至乘子代数中的严格代数提升，并利用Borel图条件确保定义的可确定性。
• 利用文献[30]中关于中心自同构的主要结果，识别出一个函数 $ e: \mathbb{N} \to \mathbb{N} $，使得同构映射在中心序列上表现为由 $ e $ 所诱导的平移。
• 通过一个趋于零的序列 $ \delta_n \to 0 $，对近似同态进行扰动以获得精确同态，并应用扰动论证以确保与同构映射的相容性。
• 利用 $ \mathbf{\Sigma}^1_2 $ 和 $ \mathbf{\Pi}^1_2 $ 陈述在力迫扩张下的绝对性，可无损失一般性地假设TA。

实验结果

研究问题

• RQ1 在力迫公理下，UHF代数约化积之间的每个同构映射是否都能以强且一致的方式定义？
• RQ2 UHF代数序列 $ \mathcal{A}_n $ 与 $ \mathcal{B}_n $ 的何种结构条件可保证其约化积同构？
• RQ3 此类同构映射是否可由固定函数 $ e: \mathbb{N} \to \mathbb{N} $ 与一致的 *-同态族实现？
• RQ4 此类同构映射的图是否必然在乘子代数单位球上的严格拓扑下为Borel集？
• RQ5 Borel图的存在是否蕴含严格代数提升的存在？

主要发现

• 在Todorčević公理与Martin公理下，$ \prod \mathcal{A}_n / \bigoplus \mathcal{A}_n $ 与 $ \prod \mathcal{B}_n / \bigoplus \mathcal{B}_n $ 之间的每个同构映射都可在强意义下被定义。
• 该同构映射完全由一个函数 $ e: \mathbb{N} \to \mathbb{N} $ 决定，使得对所有但有限多个 $ n $，有 $ \mathcal{A}_n \simeq \mathcal{B}_{e(n)} $。
• 该同构映射在任意有限维子代数 $ \prod \mathcal{F}_n / \bigoplus \mathcal{F}_n $ 上的限制，均来自一系列 *-同态 $ \mathcal{F}_n \to \mathcal{B}_{e(n)} $。
• 该同构映射的图在乘子代数单位球上的严格拓扑下是Borel集。
• Borel图的存在蕴含严格代数提升的存在，该提升通过一致的 *-同态族构造而成。
• 该同构映射在Coskey与Farah的意义下是平凡的：它由固定的指标平移与一致的 *-同态族诱导，而非由任意Borel数据诱导。