[论文解读] Amalgamated Free Products of $w$-Rigid Factors and Calculation of their Symmetry Groups

Adrian Ioana, Jesse Peterson+1 more|ArXiv.org|May 27, 2005

Advanced Operator Algebra Research参考文献 22被引用 21

一句话总结

本文建立了对合并自由积（AFP）II₁因子的刚性定理，证明具有相对性质(T)的子代数必须酉共轭于某个自由因子中。通过使用形变/刚性技巧与Bass-Serre型论证，推导出关于标量、Cartan子代数以及超有限子代数的AFP因子的同构定理，从而首次实现了外自同构群的显式计算，并构造出具有平凡基本群与平凡外自同构群的II₁因子。

ABSTRACT

We consider amalgamated free product II$_1$ factors $M = M_1 *_B M_2 *_B ...$ and use ``deformation/rigidity'' and ``intertwining'' techniques to prove that any relatively rigid von Neumann subalgebra $Q\subset M$ can be intertwined into one of the $M_i$'s. We apply this to the case $M_i$ are w-rigid II$_1$ factors, with $B$ equal to either $\Bbb C$, to a Cartan subalgebra $A$ in $M_i$, or to a regular hyperfinite II$_1$ subfactor $R$ in $M_i$, to obtain the following type of unique decomposition results, à la Bass-Serre: If $M = (N_1 *_C N_2 *_C ...)^t$, for some $t>0$ and some other similar inclusions of algebras $C\subset N_j$ then, after a permutation of indices, $(B\subset M_i)$ is inner conjugate to $(C\subset N_i)^t$, $\forall i$. Taking $B=\Bbb C$ and $M_i = (L(\Bbb Z^2 times \Bbb F_{2}))^{t_i}$, with $\{t_i\}_{i\geq 1}=S$ a given countable subgroup of $\Bbb R_+^*$, we obtain continuously many non stably isomorphic factors $M$ with fundamental group $\mycal F(M)$ equal to $S$. For $B=A$, we obtain a new class of factors $M$ with unique Cartan subalgebra decomposition, with a large subclass satisfying $\mycal F(M)=\{1\}$ and Out$(M)$ abelian and calculable. Taking $B=R$, we get examples of factors with $\mycal F(M)=\{1\}$, Out$(M)=K$, for any given separable compact abelian group $K$.

研究动机与目标

• 建立AFP因子的子代数定理，表明具有相对性质(T)的刚性子代数必须酉共轭于某个自由因子中。
• 推导关于B = ℂ、B = A（Cartan）和B = R（超有限）的AFP因子的同构定理，表明此类因子之间的同构保持自由积结构的逐分量性。
• 计算某些AFP因子的外自同构群Out(M)，回答康内在1973年提出的关于是否存在基本群平凡的II₁因子的问题。
• 将这些结果推广至自由积群作用的轨道等价（OE）刚性，表明在相对性质(T)假设下，OE同构蕴含逐分量OE同构。
• 通过自由积放大w-刚性因子，构造出基本群为任意指定乘法子群S ⊂ ℝ₊*的II₁因子新例子。

提出的方法

• 利用波帕形变/刚性理论中的形变/刚性技巧分析AFP因子的结构。
• 应用Bass-Serre型子代数定理：任何AFP因子中的刚性子代数必须共轭于某个自由因子中。
• 采用双模互连技巧以检测包含关系中相对性质(T)的存在。
• 利用同质包含条件（例如在半自乘积或Cartan包含中）以确保对合并代数结构的技术控制。
• 应用群测度空间因子理论与冯诺依曼等价（vNE）的结果，推导自由积群作用的OE刚性。
• 利用Dykema-Radulescu关于放大因子自由积的结果，将基本群计算为ℝ₊*的任意乘法子群。

实验结果

研究问题

• RQ1 在自由因子具有相对性质(T)的假设下，能否从同构类型中恢复合并自由积II₁因子的结构？
• RQ2 是否存在外自同构群平凡的II₁因子，如康内1973年所提出的问题？
• RQ3 当每个因子具有相对性质(T)时，自由积群作用之间的轨道等价同构是否蕴含逐分量轨道等价？
• RQ4 除了已知构造外，II₁因子的基本群能否实现为ℝ₊*的任意乘法子群？
• RQ5 自由积w-刚性II₁因子的外自同构群是什么？它与底层群作用的上同调有何关系？

主要发现

• 本文首次构造出基本群ℱ(M) = {1}与外自同构群Out(M) = {1}均平凡的II₁因子显式例子。
• 对任意可分紧阿贝尔群K，均存在满足ℱ(M) = {1}与Out(M) = K的II₁因子。
• 当在超有限II₁因子R上合并时，AFP因子的外自同构群同构于H¹(σ, Γ)，即自由积群作用的一阶上同调群。
• 放大w-刚性因子的自由积∗_{s∈S} P^s的基本群等于ℝ₊*的乘法子群S ⊂ ℝ₊*，从而提供一类具有任意基本群的新因子。
• 对于在ℂ上合并的AFP因子，本文证明了冯诺依曼代数对Kurosh定理的类比：若M₁*…*Mₘ ≅ (N₁*…*Nₙ)^t，则m = n，且经排列后θ(Mᵢ)与Nᵢ^t内共轭。
• 本文建立了vNE（冯诺依曼等价）型Bass-Serre刚性结果：若两个自由积群作用vNE，且每个因子具有相对性质(T)，则这些作用在分量上OE同构。