[论文解读] There is no separable universal II_1-factor

Narutaka Ozawa|ArXiv.org|Oct 27, 2002

Advanced Operator Algebra Research参考文献 3被引用 14

一句话总结

本文证明了不存在任何可分的 II₁-因子能包含所有可分的 II₁-因子，其关键在于：不可数多个两两不同构、简单且具有 Kazhdan 性质 (T) 的 ICC 群，无法嵌入到任何可分 II₁-因子的酉群中。核心结论是，由于性质 (T) 群的刚性及其无法嵌入可分冯诺依曼代数的特性，这样的通用 II₁-因子并不存在。

ABSTRACT

Gromov constructed uncountably many pairwise non-isomorphic discrete groups with Kazhdan's property (T). We will show that no separable II_1-factor can contain all these groups in its unitary group. In particular, no separable II_1-factor can contain all separable II_1-factors in it. We also show that the full group C*-algebras of some of these groups fail the lifting property.

研究动机与目标

• 解决一个可分通用 II₁-因子是否存在并包含所有可分 II₁-因子作为子因子的问题。
• 研究不可数多个两两不同构、简单且具有 Kazhdan 性质 (T) 的 ICC 群嵌入可分 II₁-因子的酉群中的性质。
• 考察这些群的全群 C*-代数的提升性质及其通用 C*-代数性质。
• 通过冯诺依曼代数技术，确认 Connes 猜想在可数集合模意义下对一类性质 (T) ICC 群成立。

提出的方法

• 利用 Gromov-Olshanskii 构造方法，从一个无挠非循环双曲群中构造出不可数多个两两不同构、简单且 ICC 的商群，这些群均具有 Kazhdan 性质 (T)。
• 应用 Kazhdan 性质 (T) 的定义：通过统一的谱间隙——若一个酉表示几乎固定一个向量，则存在一个附近的不动点向量。
• 在可分 II₁-因子的标准表示的可分希尔伯特空间上使用对角论证法，提取出不可数多个不同的群像。
• 在希尔伯特空间上构造联合酉表示 π(s) = uα(s)Juβ(s)J，利用循环分离迹向量带来的典范共轭 J。
• 利用性质 (T) 的谱间隙，推导出整个群的不动点向量，从而在不同同态的核下导致矛盾。
• 在 C*-代数理论中应用对偶性和最大张量积技术，证明任何可分 C*-代数都无法成为这些群的全群 C*-代数类的互补通用代数。

实验结果

研究问题

• RQ1 一个可分的 II₁-因子能否将其所有可分 II₁-因子作为子因子包含在内？
• RQ2 是否存在一个可分的通用 II₁-因子，通过稳定等价关系包含所有可分 II₁-因子？
• RQ3 不可数多个非同构、简单且具有 Kazhdan 性质 (T) 的 ICC 群的全群 C*-代数是否满足提升性质？
• RQ4 所有这些群能否嵌入到超有限 II₁-因子的超幂的酉群中？
• RQ5 是否存在一个可分的互补通用 C*-代数，用于这些性质 (T) 群的全群 C*-代数类？

主要发现

• 任何可分的 II₁-因子都无法在其酉群中包含不可数多个两两不同构、简单且具有 Kazhdan 性质 (T) 的 ICC 群。
• 使得可分 II₁-因子 M 包含一个与 Γα 同构的子群的指标 α 的集合至多是可数的。
• 使得 M 包含一个与 LΓα 稳定等价的子因子的指标 α 的集合至多是可数的。
• 对于某个 α ∈ I，全群 C*-代数 C*Γα 不满足提升性质，意味着它们在某种意义上不是核的。
• 对于类 {C*Γα : α ∈ I} 或 {C*redΓα : α ∈ I}，不存在可分的互补通用 C*-代数。
• 矛盾源于性质 (T) 的谱间隙，强制在表示中存在不动点向量，而这一结果在不同群同态下不可能成立。