[论文解读] Some computations of 1-cohomology groups and construction of non orbit equivalent actions

Sorin Popa|ArXiv.org|Jul 12, 2004

Advanced Operator Algebra Research参考文献 15被引用 7

一句话总结

本文计算了新一类群 $ w\tilde{\mathcal{T}} $ 的自由遍历保测度作用的 1-上同调群，该类群推广了弱刚性群，并通过证明 $ \mathrm{H}^1(\sigma_\Lambda, G) \cong \mathrm{Char}(G) \times \Lambda $ 作为拓扑群，构造了不可数多个轨道非等价的作用。关键贡献在于确立 1-上同调作为区分轨道非等价作用的强有力不变量，超越了以往的成本或 $ \ell^2 $-贝蒂数等不变量。

ABSTRACT

For each group $G$ having an infinite normal subgroup with the relative property (T) (for instance $G = H imes K$ where $H$ is infinite with property (T) and $K$ is arbitrary), and any countable abelian group $Λ$ we construct free ergodic measure preserving actions $σ_Λ$ of $G$ on the probability space such that the 1'st cohomology group of $σ_Λ$, $H^1(σ_Λ)$, is equal to Char$(G) imes Λ$. We deduce that $G$ has uncountably many non stably orbit equivalent actions. We also calculate 1-cohomology groups and show existence of ``many'' non stably orbit equivalent actions for free products of groups as above.

研究动机与目标

• 计算可数离散群 $ G $ 的自由遍历保测度作用的 1-上同调群 $ \mathrm{H}^1(\sigma, G) $，涵盖广泛的一类群。
• 将已知可显式计算 $ \mathrm{H}^1 $ 的群的范围扩展至广义的性质 (T) 和弱刚性群之外。
• 构造一个连续族的自由遍历保测度作用，其 $ \mathrm{H}^1 $-群两两不同构，从而证明轨道非等价性。
• 表明 1-上同调是比成本或 $ \ell^2 $-贝蒂数更精细的不变量，因为它同时依赖于群和作用。
• 阐明变形/刚性技巧在计算非弱刚性群（如自由群）的 $ \mathrm{H}^1 $ 时的局限性。

提出的方法

• 引入类 $ w\tilde{\mathcal{T}} $，其包含可数群 $ G $，其中存在一个无限子群 $ H $，满足在 $ G $ 中具有相对性质 (T) 和 wq-正规性。
• 以 $ G $ 在 $ \prod_{g \in G} (\mathbb{T}, \lambda)_g $ 上的伯努利位移作用 $ \sigma $ 作为基础构造。
• 通过与 $ \sigma $ 交换的群 $ \Gamma $ 的作用 $ \beta $ 构造 $ \sigma $ 的商 $ \sigma^\Gamma $，并限制在不变子代数上。
• 应用公式 $ \mathrm{H}^1(\sigma^\Gamma, G) \cong \mathrm{Char}(G) \times \mathrm{Char}_\beta(\Gamma) $ 作为拓扑群。
• 利用任一可数阿贝尔群 $ \Lambda $ 均可作为某 $ \Gamma $-作用 $ \beta $ 的 $ \mathrm{Char}_\beta(\Gamma) $ 的事实。
• 利用伯努利位移的可塑性以及 $ N \otimes N $ 上的 $ \mathbb{R} $-作用 $ \alpha $，分析余胞的渐近行为，并在某些条件下证明上同调平凡性。

实验结果

研究问题

• RQ1 能否为广义弱刚性或性质 (T) 群之外的更广群类显式计算 1-上同调群 $ \mathrm{H}^1(\sigma, G) $？
• RQ2 能否为给定群 $ G $ 构造不可数多个自由遍历保测度作用，使其两两轨道非等价？
• RQ3 1-上同调是否比成本或 $ \ell^2 $-贝蒂数更有效地用于区分轨道非等价作用？
• RQ4 变形/刚性技巧在计算非弱刚性群（如自由群）的 $ \mathrm{H}^1 $ 时存在哪些局限性？
• RQ5 在何种条件下，一个余胞与一个特征标上同调等价？如何通过酉表示检测这一性质？

主要发现

• 对任意 $ G \in w\tilde{\mathcal{T}} $ 及任意可数离散阿贝尔群 $ \Lambda $，存在 $ G $ 的一个自由遍历保测度作用 $ \sigma_\Lambda $，使得 $ \mathrm{H}^1(\sigma_\Lambda, G) \cong \mathrm{Char}(G) \times \Lambda $ 作为拓扑群。
• 1-上同调群 $ \mathrm{H}^1(\sigma^\Gamma, G) $ 同构于 $ \mathrm{Char}(G) \times \mathrm{Char}_\beta(\Gamma) $，其中 $ \mathrm{Char}_\beta(\Gamma) $ 是 $ \Gamma $ 上的 $ \beta $-扭曲特征标群。
• 该构造产生了一族连续的自由遍历保测度作用，其 $ \mathrm{H}^1 $-群两两不同构，从而证明了它们两两轨道非等价。
• 本文表明 1-上同调是有效的轨道等价不变量，通过依赖于作用而非仅群本身，超越了成本和 $ \ell^2 $-贝蒂数等先前不变量。
• 对于自由群 $ \mathbb{F}_n $，其伯努利位移的 1-上同调满足 $ \tilde{\mathrm{H}}^1(\sigma, \mathbb{F}_n) = \{1\} $，表明在此情况下该不变量的效用有限。
• 余胞 $ w \in \mathrm{Z}^1(\sigma, G) $ 与一个特征标上同调等价，当且仅当其关联表示 $ \pi_t $ 同构于平凡表示与左正则表示的多个副本的子表示的直和。