[论文解读] All automorphisms of the Calkin algebra are inner

Ilijas Farah|arXiv (Cornell University)|May 22, 2007

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

一句话总结

本文证明，在托多尔切维奇公理（TA）下，可分希尔伯特空间上的卡金代数的所有自同构都是内自同构，从而解决了布朗-道格拉斯-菲爾莫于1977年提出的问题。该结果与菲利普斯和韦弗早先的结果相辅相成：后者在连续统假设下证明了存在外自同构，因此确立了卡金代数自同构的内/外二分性与ZFC独立，其中TA表明所有自同构均为内自同构，而CH则表明存在外自同构。

ABSTRACT

We prove that it is relatively consistent with the usual axioms of mathematics that all automorphisms of the Calkin algebra are inner. Together with a 2006 Phillips--Weaver construction of an outer automorphism using the Continuum Hypothesis, this gives a complete solution to a 1977 problem of Brown-Douglas-Fillmore. We also give a simpler and self-contained proof of the Phillips--Weaver result.

研究动机与目标

• 解决1977年布朗-道格拉斯-菲爾莫提出的关于卡金代数的所有自同构是否均为内自同构的问题。
• 证明在托多尔切维奇公理（TA）下，所有自同构为内自同构的一致性成立，TA是一种与ZFC独立的集合论原理。
• 通过连续统假设，提供菲利普斯-韦弗关于外自同构结果的自包含证明。
• 确立卡金代数自同构结构对集合论公理的敏感性，其中TA仅允许内自同构。

提出的方法

• 使用托多尔切维奇公理（TA），即贝尔范畴定理的强化形式，以约束卡金代数自同构的结构。
• 应用一致单位酉族的论证，表明任何满足特定有限可加条件的自同构必为内自同构。
• 通过希尔伯特空间H的余有限维子空间上的部分同构表示自同构。
• 利用自同构保持某些谱不变量时，必须保持指标不变量，而此类指标不变量仅被内自同构保持。
• 通过投影有限区间的表示，对自同构进行提升，从而导出一致单位酉族。
• 依赖组合结构定理（命题7.1），构造一个可提升为全局酉算子的部分同构，从而推出自同构为内自同构。

实验结果

研究问题

• RQ1 ZFC下所有卡金代数自同构均为内自同构是否一致？
• RQ2 外自同构的存在性是否依赖于额外的集合论公理？
• RQ3 在不同力迫公理下，卡金代数的自同构群能否被完全刻画？
• RQ4 在卡金代数中，酉等价模紧算子与自同构等价是否等价？
• RQ5 卡金代数的自同构能否将单边移位算子映射为其共轭？

主要发现

• 在托多尔切维奇公理（TA）下，可分希尔伯特空间上卡金代数的所有自同构均为内自同构。
• 该结果确立了完整的二分性：在TA下，所有自同构均为内自同构；在连续统假设下，存在外自同构。
• 本文提供了菲利普斯-韦弗利用连续统假设构造外自同构的自包含证明。
• 在TA下，卡金代数的自同构群是刚性的，即此类模型中不存在外自同构。
• 证明表明，任何保持弗雷德霍姆指标结构的自同构必为内自同构，这是由于指标保持的约束。
• 该结果意味着在TA下，B(H)上所有算子的酉等价模紧算子与自同构等价完全一致。