[论文解读] Topological correspondence of multiple ergodic averages of nilpotent group actions

Wen Huang, Song Shao+1 more|arXiv (Cornell University)|Apr 25, 2016

Mathematical Dynamics and Fractals参考文献 15被引用 3

一句话总结

本文为幂零群作用下的多重遍历平均建立了一个拓扑对应，证明在弱混合与极小性条件下，多项式群作用下残差集点的轨道在乘积空间中是稠密的。关键结果通过使用具有有理系数的多项式序列，将Glasner定理由阿贝尔幂零群推广至非阿贝尔幂零群。

ABSTRACT

Let $(X,Γ)$ be a topological system, where $Γ$ is a nilpotent group generated by $T_1,\ldots, T_d$ such that for each $T\in Γ$, $T eq e_Γ$, $(X,T)$ is weakly mixing and minimal. For $d,k\in \mathbb{N}$, let $p_{i,j}(n), 1\le i\le k, 1\le j\le d$ be polynomials with rational coefficients taking integer values on the integers and $p_{i,j}(0)=0$. We show that if the expressions $g_i(n)=T_1^{p_{i,1}(n)}\cdots T_d^{p_{i,d}(n)}$ depends nontrivially on $n$ for $i=1,2,\cdots,k$, and for all $i eq j\in \{1,2,\ldots,k\}$ the expressions $g_i(n)g_j(n)^{-1}$ depend nontrivially on $n$, then there is a residual set $X_0$ of $X$ such that for all $x\in X_0$ \begin{equation*} \{(g_1(n)x, g_2(n)x,\ldots, g_k(n)x)\in X^k:n\in \mathbb{Z}\} \end{equation*} is dense in $X^k$.

研究动机与目标

• 将Glasner关于单个变换的拓扑多重递归结果，从单个变换推广至幂零群作用。
• 在幂零群作用下，于弱混合、极小系统中，建立多重遍历平均的拓扑类比。
• 刻画幂零群中多项式序列在何种条件下在乘积空间中产生稠密轨道。
• 证明具有稠密轨道的点的集合是残差集（Gδ），从而将阿贝尔群结果推广至非阿贝尔幂零群。
• 验证多项式序列非退化条件对稠密性结果的必要性。

提出的方法

• 利用幂零群及其Malcev基的结构，定义具有有理系数多项式（在零处为零）的多项式群元素 $ g_i(n) = T_1^{p_{i,1}(n)} \cdots T_d^{p_{i,d}(n)} $。
• 施加非退化条件：每个 $ g_i(n) $ 非常值，且对 $ i \neq j $，$ g_i(n)g_j(n)^{-1} $ 也非常值，以确保动力学行为的差异性。
• 应用拓扑动力系统工具：残差集、syndetic集与分段syndetic性，以分析轨道分布。
• 对 $ \Gamma $-多项式的权重使用归纳论证，并利用 $ \mathbf{P}\Gamma_0^* $ 的结构来控制轨道的重复性。
• 利用极小且弱混合系统中进入开集的返回时间具有syndetic性的事实，并据此构造稠密轨道集。
• 构造一个残差集 $ X_0 \subset X $，使得对所有 $ x \in X_0 $，集合 $ \{(g_1(n)x, \dots, g_k(n)x)\}_{n \in \mathbb{Z}} $ 在 $ X^k $ 中稠密。

实验结果

研究问题

• RQ1 在幂零群作用于极小、弱混合系统时，何种条件下多项式群作用在乘积空间中产生稠密轨道？
• RQ2 拓扑多重递归结果如何从阿贝尔群推广至非阿贝尔幂零群？
• RQ3 多项式序列的非退化条件在确保轨道稠密性中起何种作用？
• RQ4 能否为幂零群作用建立多重遍历平均的拓扑对应？
• RQ5 此类作用下具有稠密轨道的点的集合具有何种结构？

主要发现

• 对于在 $ X $ 上极小且弱混合的幂零群 $ \Gamma $，以及满足非退化条件的多项式序列 $ g_i(n) $，存在一个残差集 $ X_0 \subset X $，使得对所有 $ x \in X_0 $，集合 $ \{(g_1(n)x, \dots, g_k(n)x)\}_{n \in \mathbb{Z}} $ 在 $ X^k $ 中稠密。
• 非退化条件——即对 $ i \neq j $，$ g_i(n) $ 和 $ g_i(n)g_j(n)^{-1} $ 均非常值——对稠密性结果是必要的。
• 该结果将Glasner定理由单个变换推广至幂零群设置下的多重多项式作用。
• 具有稠密轨道的点的集合是残差集，因此是余稠密集，表明此类点在拓扑意义上是典型的。
• 证明依赖于返回时间的syndetic性与分段syndetic性，表明轨道重复性足够丰富，足以保证稠密性。
• 构造过程基于对 $ \Gamma $-多项式权重的归纳论证，以及 $ \mathbf{P}\Gamma_0^* $（即非常值 $ \Gamma $-多项式集合）的性质。