[论文解读] Orbit Equivalence and actions of F_n

Asger Törnquist|arXiv (Cornell University)|Dec 8, 2009

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

一句话总结

本文证明了在标准博雷尔概率空间上，自由群 $\mathbb{F}_n$（$2 \leq n \leq \infty$）存在不可数无穷多组轨道不等价的几乎处处自由作用，具体而言至少有 $E_0$ 组这样的作用。通过结合动力系统、博雷尔可约性以及贝克尔-基克斯里斯定理，作者证明这些作用的轨道等价性不是光滑的，从而排除了实值完全不变量的存在性。

ABSTRACT

In this paper we show that there are "E_0 many" orbit inequivalent free actions of the free groups F_n, $2\leq n\leq\infty$, by measure preserving transformations on a standard Borel probability space. In particular, there are uncountably many such actions.

研究动机与目标

• 证明在标准博雷尔概率空间上，对于 $2 \leq n \leq \infty$，$\mathbb{F}_n$ 至少存在 $E_0$ 组轨道不等价的几乎处处自由作用。
• 通过证明 $E_0$-可约性，表明此类作用的轨道等价性无法被具体分类（即不是光滑的）
• 通过建立更强的复杂度下界，强化加波里奥和波波的关于连续统多组轨道不等价作用的结果
• 将贝克尔-基克斯里斯定理应用于保测变换群上的等价关系，以推导出 $E_0$-可约性
• 通过扩展论证，将结果从 $\mathbb{F}_3$ 推广至 $\mathbb{F}_2$ 和 $\mathbb{F}_n$（$n > 3$）

提出的方法

• 构造 $\mathbb{F}_2$ 在标准博雷尔概率空间上的特定几乎处处自由作用，使得 $L^\infty(X)$ 中的某个子群 $G$ 在该作用下不变，从而形成具有相对性质 (T) 的半直积
• 在 $\mathcal{M}_\infty(X)$（保测变换群）上定义一个等价关系 $\mathbf{R}$，其中 $S \mathbf{R} S'$ 当且仅当由 $S$ 和 $\mathbb{F}_2$ 生成的等价关系轨道等价
• 证明 $\mathbf{R}/\mathbf{F}$ 的类是可数的，从而推出 $\mathbf{R}$ 在 $\mathcal{M}_\infty(X) \times \mathcal{M}_\infty(X)$ 中是第一纲集
• 应用贝克尔-基克斯里斯定理：若等价关系 $E$ 是第一纲集，且在由同胚作用的群作用下具有稠密轨道，则 $E_0 \leq_B E$
• 利用内自同构群 $\operatorname{Inn}(E_{\mathbb{F}_2})$ 通过共轭作用于 $\mathcal{M}_\infty(X)$，确保轨道稠密，从而满足贝克尔-基克斯里斯定理的条件
• 通过构造乘积空间 $Y = X \times \{0,1\}$ 并借助翻转变换 $\tau$ 提升作用，保持轨道等价性，从而将结果从 $\mathbb{F}_3$ 扩展至 $\mathbb{F}_2$ 和 $\mathbb{F}_n$（$n > 3$）

实验结果

研究问题

• RQ1 在标准博雷尔概率空间上，$\mathbb{F}_n$ 是否存在不可数无穷多组轨道不等价的几乎处处自由作用？
• RQ2 在博雷尔可约性下，此类作用的轨道等价性的复杂度是否可被 $E_0$ 作为下界？
• RQ3 对于 $n \geq 2$ 的 $\mathbb{F}_n$ 自由作用，轨道等价性是否是光滑的（即能否由实数完全分类）？
• RQ4 能否通过拓扑或动力系统构造，将 $\mathbb{F}_3$ 的结果推广至 $\mathbb{F}_2$ 和 $\mathbb{F}_n$（$n > 3$）？
• RQ5 与 $\mathbb{F}_n$ 作用相关的轨道等价性是否严格比 $E_0$ 更复杂，还是可能恰好是 $E_0$-完全的？

主要发现

• 对于 $2 \leq n \leq \infty$，$\mathbb{F}_n$ 存在至少 $E_0$ 组轨道不等价的几乎处处自由作用，即不可数无穷多组这样的作用
• 在 $\mathcal{M}_\infty(X)$ 上定义的等价关系 $\mathbf{R}$（由 $\mathbb{F}_2$ 和变换 $S$ 生成的等价关系轨道等价性定义）在 $\mathcal{M}_\infty(X) \times \mathcal{M}_\infty(X)$ 中是第一纲集
• 根据贝克尔-基克斯里斯定理，$E_0 \leq_B \mathbf{R}|A$，其中 $A$ 是生成 $\mathbb{F}_3$ 几乎处处自由作用的变换集合，从而证明了 $\mathbb{F}_3$ 情况下的主结论
• $\mathbb{F}_2$ 的结果可由 $\mathbb{F}_3$ 情况通过乘积空间构造（使用翻转映射 $\tau$）推出，该构造在保持轨道等价性的同时提升作用
• 对于 $n \geq 2$ 的 $\mathbb{F}_n$ 几乎处处自由保测作用，其诱导等价关系的几乎处处相等性不是光滑的，因为 $E_0 \leq_B \mathbf{F}$，其中 $\mathbf{F}$ 是诱导等价关系的相等性
• 作者猜想 $\mathbb{F}_n$ 作用的轨道等价性严格比 $E_0$ 更复杂，但此猜想仍待证明