[论文解读] On a Class of Type II$_1$ Factors with Betti Numbers Invariants

Sorin Popa|ArXiv.org|Sep 11, 2002

Holomorphic and Operator Theory参考文献 28被引用 69

一句话总结

本文引入了一类新的II₁型因子，记为ℋ𝒯，其特征是存在唯一（在酉共轭意义下）的Cartan子代数，该子代数同时满足弱刚性性质（受Kazhdan和Connes-Jones的启发）与Haagerup紧逼近性质。主要贡献在于通过关联的轨道等价关系定义这些因子的ℓ²-Betti数，证明其在同构下为不变量，并满足Künneth型公式与放大公式，且对如ℤ²⋊SL(2,ℤ)这类群-测度空间构造给出了显式计算。

ABSTRACT

We prove that a type II$_1$ factor $M$ can have at most one Cartan subalgebra $A$ satisfying a combination of rigidity and compact approximation properties. We use this result to show that within the class $\Cal H \Cal T$ of factors $M$ having such Cartan subalgebras $A \subset M$, the Betti numbers of the standard equivalence relation associated with $A \subset M$ ([G2]), are in fact isomorphism invariants for the factors $M$, $β^{^{HT}}_n(M), n\geq 0$. The class $\Cal H\Cal T$ is closed under amplifications and tensor products, with the Betti numbers satisfying $β^{^{HT}}_n(M^t)= β^{^{HT}}_n(M)/t, \forall t>0$, and a K{ü}nneth type formula. An example of a factor in the class $\Cal H\Cal T$ is given by the group von Neumann factor $M=L(\Bbb Z^2 times SL(2, \Bbb Z))$, for which $β^{^{HT}}_1(M) = β_1(SL(2, \Bbb Z)) = 1/12$. Thus, $M^t ot\simeq M, \forall t eq 1$, showing that the fundamental group of $M$ is trivial. This solves a long standing problem of R.V. Kadison. Also, our results bring some insight into a recent problem of A. Connes and answer a number of open questions on von Neumann algebras.

研究动机与目标

• 定义并研究一类新的II₁型因子ℋ𝒯，其特征为存在一个满足弱刚性与Haagerup紧逼近性质的Cartan子代数。
• 在ℋ𝒯因子中证明此类Cartan子代数在酉共轭意义下唯一。
• 通过关联的轨道等价关系定义ℋ𝒯因子的ℓ²-Betti数。
• 证明这些Betti数是因子的不变量，并在放大与张量积下满足关键代数公式。
• 对如ℤ²⋊SL(2,ℤ)和扭曲群代数Lα(ℤ²)⋊SL(2,ℤ)等例子计算显式Betti数。

提出的方法

• 使用点化对应关系与完全正映射理论分析冯诺依曼代数的结构。
• 应用基本构造及其紧理想空间，研究包含关系与双模分解。
• 采用相对Property H与刚性嵌入的概念，刻画弱刚性条件。
• 利用SL(2,ℤ)的Haagerup紧逼近性质以及ℤ²⋊SL(2,ℤ)的Kazhdan刚性，验证HT条件。
• 将Betti数βn^HT(M)定义为βn(ℛ^HT_M)，即与HT Cartan子代数相关的轨道等价关系的ℓ²-Betti数。
• 利用共轭结果与算子代数技术（如基本构造、权重、谱投影）证明唯一性与不变性。

实验结果

研究问题

• RQ1 一个II₁型因子是否可以存在多个满足弱刚性与Haagerup逼近性质的Cartan子代数？
• RQ2 ℋ𝒯因子的ℓ²-Betti数与关联轨道等价关系的ℓ²-Betti数之间有何关系？
• RQ3 这些Betti数在放大与张量积下的行为与变换规则是什么？
• RQ4 哪些群-测度空间构造属于ℋ𝒯类，其Betti数为何？
• RQ5 在何种条件下扭曲群代数Lα(ℤ²)⋊SL(2,ℤ)属于ℋ𝒯类，其Betti数为何？

主要发现

• 任何属于ℋ𝒯类的II₁型因子M，其Cartan子代数A在酉共轭意义下唯一，且A自动是Connes意义下的Cartan子代数。
• A在M中的正规化子实现一个遍历的、保测度的、轨道等价的等价关系ℛ^HT_M，该关系是M在同构意义下的不变量。
• 对于群-测度空间因子M = L∞(𝕋²,μ) ⋊ SL(2,ℤ)，Betti数为β^HT_1(M) = 1/12，且当n ≠ 1时β^HT_n(M) = 0。
• 对于扭曲群代数Mα = Lα(ℤ²) ⋊ SL(2,ℤ)，其中α是本原n次单位根，Betti数为β^HT_1(Mα) = n/12，且当k ≠ 1时β^HT_k(Mα) = 0。
• 当且仅当n = n′时，Mα同构于Mα′，表明Betti数β^HT_1(Mα) = n/12是该族的完全不变量。
• ℋ𝒯类在放大与张量积下封闭，满足β^HT_n(M^t) = β^HT_n(M)/t，且β^HT_n(M₁ ⊗̄ M₂)满足Künneth型公式。