[论文解读] Explicit examples of equivalence relations and factors with prescribed fundamental group and outer automorphism group

Steven Deprez|arXiv (Cornell University)|Oct 18, 2010

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

一句话总结

本文通过广义共诱导作用与余换道超刚性，给出了 II₁ 因子与 II₁ 等价关系的显式构造，其基本群与外自同构群可预先指定。研究证明，每个第二可数的幺模局部紧群均可作为 II₁ 等价关系的外自同构群出现；对于 SL±ₙ(ℝ) 等群，该结论同样适用于 II₁ 因子，从而以具体例子解决了长期存在的存在性问题。

ABSTRACT

In this paper we give a number of explicit constructions for II$_1$ factors and II$_1$ equivalence relations that have prescribed fundamental group and outer automorphism group. We construct factors and relations that have uncountable fundamental group different from $\IRpos$. In fact, given any II$_1$ equivalence relation, we construct a II$_1$ factor with the same fundamental group. Given any locally compact unimodular second countable group $G$, our construction gives a II$_1$ equivalence relation $\RelR$ whose outer automorphism group is $G$. The same construction does not give a II$_1$ factor with $G$ as outer automorphism group, but when $G$ is a compact group or if $G=\SL^{\pm}_n\IR=\{g\in\GL_n\IR\mid \det(g)=\pm1\}$, then we still find a type II$_1$ factor whose outer automorphism group is $G$.

研究动机与目标

• 提供 II₁ 因子与等价关系的显式构造，其基本群与外自同构群可预先指定，超越抽象的存在性结果。
• 解决长期悬而未决的公开问题：II₁ 因子中是否存在不同于 ℝ₊⁎ 的不可数基本群。
• 证明每个第二可数的幺模局部紧群均可作为 II₁ 等价关系的外自同构群出现。
• 确定在何种条件下，此类群亦可作为 II₁ 因子的外自同构群出现，特别是针对紧致群与 SL±ₙ(ℝ)。
• 建立等价关系的基本群与因子的基本群之间的联系，通过保持 Cartan 子代数结果实现。

提出的方法

• 利用群在概率空间上的广义共诱导作用，通过余换道与在可数集上的传递群作用构造。
• 在半有限情形下应用余换道超刚性与交织技术，以控制所得冯诺依曼代数的结构。
• 采用固定余换道 ω:Λ×I→Λ₀ 的共诱导作用构造，定义在乘积空间 (Y₀,ν₀)ᴵ 上，确保弱混合性与中心化子控制。
• 证明在稳定子与轨道结构满足传递性与满射性条件时，该作用的中心化子同构于基底作用的中心化子。
• 利用广义共诱导构造，将任意第二可数的幺模局部紧群实现为 II₁ 等价关系的外自同构群。
• 通过在群为紧致或 SL±ₙ(ℝ) 时调整构造方法，将该方法扩展至 II₁ 因子，利用特定群论性质确保外自同构群与目标一致。

实验结果

研究问题

• RQ1 能否构造出具有不可数基本群（不同于 ℝ₊⁎）的 II₁ 因子的显式例子？
• RQ2 哪些第二可数的幺模局部紧群可作为 II₁ 等价关系的外自同构群出现？
• RQ3 对于哪些群 G，可显式构造出满足 Out(M) ≅ G 的 II₁ 因子？
• RQ4 每个可由 II₁ 等价关系实现的基本群，是否也可作为 II₁ 因子的基本群出现？
• RQ5 在何种条件下，广义共诱导作用构造能保持实现指定外自同构群所必需的中心化子结构？

主要发现

• 本文构造了具有不可数基本群（不等于 ℝ₊⁎）的 II₁ 因子的显式例子，以具体实现方式解决了长期存在的存在性问题。
• 通过广义共诱导作用构造，每个第二可数的幺模局部紧群均可作为 II₁ 等价关系的外自同构群出现。
• 对于紧致群与 SL±ₙ(ℝ)，相同构造可生成具有指定外自同构群的 II₁ 因子，其适用范围超越一般情况。
• 任何 II₁ 等价关系的基本群均可实现为 II₁ 因子的基本群，从而在两者之间建立了直接联系。
• 在满足传递性与轨道结构条件时，广义共诱导作用的中心化子同构于基底作用的中心化子，从而可精确控制自同构群。
• 该构造提供了一类灵活的示例，其中通过群作用与余换道可显式控制基本群与外自同构群。