[论文解读] A topological semigroup structure on the space of actions modulo weak equivalence

Peter Burton|arXiv (Cornell University)|Jan 19, 2015

Advanced Topology and Set Theory参考文献 1被引用 4

一句话总结

本文在模弱等价的保测度群作用空间上引入了一种新的、更精细的拓扑——称为精细拓扑。证明了在该拓扑下，作用的乘积运算保持连续，使该空间成为一个交换的拓扑幺半群，当限制在自由作用上时，更成为一个拓扑幺半群。

ABSTRACT

We introduce a topology on the space of actions modulo weak equivalence finer than the one previously studied in the literature. We show that the product of actions is a continuous operation with respect to this topology, so that the space of actions modulo weak equivalence becomes a topological semigroup.

研究动机与目标

• 定义模弱等价的保测度群作用空间上的新拓扑，改进文献中已有的拓扑。
• 确立作用的乘积运算——通过在乘积空间上定义乘积作用——在弱等价类上诱导出一个良定义的二元运算。
• 证明该乘积运算关于新定义的精细拓扑是连续的。
• 证明在该结构下，自由作用的弱等价类空间成为一个拓扑幺半群。
• 通过基于矩阵值不变量的Hausdorff距离，提供弱等价关系的度量表征，这些不变量源自划分和群元素。

提出的方法

• 通过度量 $ d_f $ 定义精细拓扑，该度量结合了紧集 $ M_{t,k}^{ ext{A}}(a) $ 之间的Hausdorff距离，其中元素为测度值 $ \mu(\gamma^a A_l \cap A_m) $，针对有限集 $ F \subseteq \Gamma $、划分 $ \mathcal{A} $ 和群元素 $ \gamma $。
• 将集合 $ C_{t,k}(a) $ 构造为给定作用 $ a $ 的所有此类矩阵的闭包，并利用对所有 $ t,k $ 满足 $ C_{t,k}(a) = C_{t,k}(b) $ 作为弱等价 $ a \sim b $ 的刻画。
• 使用度量 $ d_f([a],[b]) = \sum_{t=1}^\infty \frac{1}{2^t} \left( \sup_k d_H(C_{t,k}(a), C_{t,k}(b)) \right) $ 定义精细拓扑。
• 通过证明：对任意有限集 $ F \subseteq \Gamma $、$ \epsilon > 0 $ 和划分 $ \mathcal{A} $，存在 $ N $，使得当 $ n \geq N $ 时，$ a_n \times b_n $ 的矩阵不变量在 $ l,m $ 上的 $ \ell^1 $-型和中，对 $ a \times b $ 的逼近误差小于 $ \epsilon $，来证明乘积运算 $ \times $ 的连续性。
• 应用一个关键的算术引理，以控制测度乘积差异，确保单个作用不变量的小扰动导致乘积作用不变量的小扰动。
• 利用三角不等式和对称差下测度的稳定性，控制 $ \mu^2(\gamma^{a\times b} A_l \cap A_m) $ 与 $ \mu^2(\gamma^{a_n \times b_n} B_l \cap B_m) $ 之间的距离，利用 $ a_n \to a $ 和 $ b_n \to b $ 在精细拓扑下的收敛性。

实验结果

研究问题

• RQ1 能否在模弱等价的作用空间上定义一种更精细的拓扑，使得乘积运算保持连续？
• RQ2 当将两个作用提升到乘积空间并与其原空间识别时，其乘积是否在弱等价意义下良定义？
• RQ3 基于测度动力系统中矩阵不变量的新型拓扑是否能产生连续的乘积结构？
• RQ4 在乘积运算下，自由作用的弱等价类空间的代数与拓扑结构是什么？
• RQ5 精细拓扑如何改进文献中已有的拓扑，特别是在动力学运算的收敛性与连续性方面？

主要发现

• 通过紧集矩阵不变量 $ C_{t,k}(a) $ 之间Hausdorff距离之和定义的精细拓扑，严格优于文献中研究过的模弱等价的作用空间上的已有拓扑。
• 在精细拓扑下，弱等价类上的乘积运算 $ \times $ 是连续的，使得 $ (\mathrm{A}_\sim(\Gamma,X,\mu), \times) $ 成为一个交换的拓扑幺半群。
• 对任意自由作用 $ a $，其与 $ s_\Gamma $（即Bernoulli位移）的乘积 $ a \times s_\Gamma $ 弱等价于 $ a $，表明 $ s_\Gamma $ 在自由作用空间上充当乘法单位元。
• 因此，自由作用的弱等价类空间 $ \mathrm{FR}_\sim(\Gamma,X,\mu) $，在精细拓扑和乘积运算下，形成一个交换的拓扑幺半群。
• 精细拓扑中的收敛性准则等价于：对任意有限集 $ F \subseteq \Gamma $、$ \epsilon > 0 $ 和划分 $ \mathcal{A} $，存在 $ N $，使得当 $ n \geq N $ 时，存在划分 $ \mathcal{B} $，使得对所有 $ \gamma \in F $，有 $ \sum_{l,m} |\mu(\gamma^{a_n} A_l \cap A_m) - \mu(\gamma^a B_l \cap B_m)| < \epsilon $。
• 证明依赖于一个关键的算术引理，该引理界定了小扰动下测度乘积的差异，确保逼近作用的乘积在精细拓扑下收敛于极限的乘积。