[论文解读] Weakly mixing group actions: a brief survey and an example

Vitaly Bergelson, Alexander Gorodnik|ArXiv.org|May 2, 2005

Geometric and Algebraic Topology参考文献 49被引用 14

一句话总结

本文对弱混合群作用进行了全面综述，建立了 $Η$-作用的弱混合等价刻画，并通过 Følner 序列将该概念推广至可约群。证明了 $ΗΔ(2,\mathbb{Z})$ 的非交换子群不能是二阶混合的，并建立了类似于 Krengel 的结果，表明在有限指数子群下，混合作用意味着存在几乎正交函数。

ABSTRACT

The first part of the paper contains a survey of weakly mixing group actions of general group, and the second part discusses a special example of a weakly mixing action -- the SL(2,Z)-action on the torus T^2.

研究动机与目标

• 对弱混合群作用的理论进行综述与系统化，尤其关注 $Η$-作用和可约群。
• 利用 Følner 序列将弱混合的经典刻画从 $Η$-作用推广至一般可约群作用。
• 研究非交换子群在 $ΗΔ(2,\mathbb{Z})$ 中的高阶混合限制。
• 将 Krengel 关于 Lebesgue 谱的结果推广至 $ΗΔ(2,\mathbb{Z})$ 的子群在环面 $\mathbb{T}^2$ 上的混合作用。

提出的方法

• 利用 $Η$-作用弱混合的多种定义之间的等价性，包括 $T \times T$ 的遍历性、谱条件（谱测度无原子）以及相关性的均匀分布。
• 应用 Følner 序列，将弱混合推广至可数无限可约群的作用。
• 运用谱理论和 Herglotz 定理，将相关序列表示为谱测度的傅里叶变换。
• 利用 $ΗΔ(2,\mathbb{Z})$ 的结构及双曲元素的性质，分析共轭变换的联合混合行为。
• 应用 $ΗΔ(2,\mathbb{Z})$-子群的有限逼近性，构造避开特定共轭关系的有限指数子群。
• 构造在格点上具有紧支集的特征函数，以在有限指数子群下实现矩阵作用的正交性。

实验结果

研究问题

• RQ1 对于 $Η$-作用，弱混合的等价刻画是什么？如何将其推广至可约群作用？
• RQ2 非交换子群能否是 $ΗΔ(2,\mathbb{Z})$ 的二阶混合？其结构限制为何？
• RQ3 每个 $ΗΔ(2,\mathbb{Z})$ 子群在 $\mathbb{T}^2$ 上的混合作用是否都存在一个有限指数子群，使得函数在此子群下几乎正交？
• RQ4 在 Szemerédi 型定理的背景下，多项式平均与多重遍历平均如何与弱混合相关？
• RQ5 何种谱条件可保证弱混合？其与谱测度无原子性的关系为何？

主要发现

• 对于 $Η$-作用，弱混合等价于 $T \times T$ 的遍历性、无非平凡特征函数，以及谱测度无原子。
• 条件 $\lim_{N\to\infty}\frac{1}{N}\sum_{n=0}^{N-1}|\mu(A\cap T^{-n}B) - \mu(A)\mu(B)| = 0$ 可推广至 Følner 序列，从而实现向可约群的推广。
• 非交换子群不能是 $ΗΔ(2,\mathbb{Z})$ 的二阶混合，通过反证法，利用共轭双曲元素及其联合混合行为证明。
• 对任意 $f \in L^2(\mathbb{T}^2)$ 和 $\varepsilon > 0$，存在有限指数子群 $H_0 \subset H$ 及函数 $f_0$，使得对所有 $h \in H_0$，$h \neq e$，有 $\int f_0(h\xi)\bar{f}_0(\xi)\,d\xi = 0$，从而推广了 Krengel 的结果。
• 当共轭变换 $h_i = g^{-i}hg^i$ 共享特征值时，其联合混合性失效，与二阶混合的假设矛盾。
• $ΗΔ(2,\mathbb{Z})$-子群在 $\mathbb{T}^2$ 上的作用仅当谱测度无原子时才是混合的，且此类作用在 $L^2$ 中满足多项式平均的等分布性。