[论文解读] Topological characteristic factors and nilsystems

Eli Glasner, Wen Huang+3 more|arXiv (Cornell University)|Jun 22, 2020

Limits and Structures in Graph Theory参考文献 32被引用 5

一句话总结

本文证明了在几乎一一扩张下，极小拓扑动力系统 $(X,T)$ 的最大无限步 pro-nil 因子 $X_{\text{infty}}$ 是饱和意义下的拓扑特征因子。利用这一饱和性质，作者解决了若干开放问题：沿等差数列的多重遍历性、完全极小系统中多项式轨道的稠密轨道，以及在可 distal 系统的开扩张中高阶区域临近关系与等差数列关系的相等性。

ABSTRACT

We prove that the maximal infinite step pro-nilfactor $X_\infty$ of a minimal dynamical system $(X,T)$ is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of $π:X ightarrow X_\infty$, the induced open extension $π^*:X^* ightarrow X^*_\infty$ has the following property: for $x$ in a dense $G_δ$ set of $X^*$, the orbit closure $L_x=\overline{\mathcal{O}}((x,x,\ldots,x), T imes T^2 imes \ldots imes T^d)$ is $(π^*)^{(d)}$-saturated, i.e. $L_x=((π^*)^{(d)})^{-1}(π^*)^{(d)}(L_x)$. Using results derived from the above fact, we are able to answer several open questions: (1) if $(X,T^k)$ is minimal for some $k\ge 2$, then for any $d\in {\mathbb N}$ and any $0\le j

研究动机与目标

• 将最大无限步 pro-nil 因子 $X_{\\text{infty}}$ 建立为极小动力系统的拓扑特征因子。
• 解决关于极小系统与完全极小系统中多重遍历性与多项式轨道的开放问题。
• 证明在最大 distal 因子的开扩张中，$\mathbf{RP}^{[d]} = \mathbf{AP}^{[d]}$。
• 通过饱和与扩张技术，将 pro-nilsystems 的结果推广至一般极小系统。
• 为通过拓扑特征因子理解高阶遍历性与结构提供一个框架。

提出的方法

• 引入一个几乎一一扩张 $\pi^*: X^* \to X^*_{\infty}$，使得在 $T \times T^2 \times \cdots \times T^d$ 作用下的轨道闭包是 $\pi^{*(d)}$-饱和的。
• 利用饱和定理（定理 3.1）将 $\mathbf{RP}^{[d]}$ 与乘积系统中的遍历集合联系起来。
• 应用 $\infty$-步 nil 系统理论与 Furstenberg 的 distal 系统塔理论来分析结构与遍历性。
• 利用因子映射的开性与 $G_\delta$ 集的泛性，将性质从基系统传递到扩张系统。
• 利用关键引理（引理 4.1）将一般情形约化为 $d=1,2$ 的基本情形，再通过归纳结构推广。
• 应用关于 pro-nilsystems 及其轨道闭包的结果，证明一般极小系统的主定理。

实验结果

研究问题

• RQ1 最大无限步 pro-nil 因子 $X_{\infty}$ 是否为极小系统的拓扑特征因子？
• RQ2 当 $n_i \equiv j \pmod{k}$ 且 $(X,T^k)$ 极小时，是否对 $x$ 的一个稠密 $G_\delta$ 集有 $T^{n_i}x \to x, T^{2n_i}x \to x, \dots, T^{dn_i}x \to x$ 成立？
• RQ3 在完全极小系统中，$\{T^{n^2}x : n \in \mathbb{Z}\}$ 是否对 $x$ 的一个稠密 $G_\delta$ 子集在 $X$ 中稠密？
• RQ4 在最大 distal 因子的开扩张中，$\mathbf{RP}^{[d]} = \mathbf{AP}^{[d]}$ 是否成立？
• RQ5 在 $T \times T^2 \times \cdots \times T^d$ 作用下，轨道闭包 $\overline{\mathcal{O}}(x^{(d)}, \tau_d)$ 是否在最大 pro-nil 因子上饱和？

主要发现

• 最大无限步 pro-nil 因子 $X_{\infty}$ 是拓扑特征因子：对 $x$ 的一个稠密 $G_\delta$ 集，轨道闭包 $L_x = \overline{\mathcal{O}}((x,\dots,x), T \times T^2 \times \cdots \times T^d)$ 是 $\pi^{*(d)}$-饱和的。
• 若 $k \geq 2$ 时 $(X,T^k)$ 极小，则对任意 $d \in \mathbb{N}$ 与 $0 \leq j < k$，存在序列 $\{n_i\}$ 满足 $n_i \equiv j \pmod{k}$，使得对 $x$ 的一个稠密 $G_\delta$ 集有 $T^{n_i}x \to x, \dots, T^{dn_i}x \to x$。
• 在完全极小系统中，对 $x$ 的一个稠密 $G_\delta$ 子集，$\{T^{n^2}x : n \in \mathbb{Z}\}$ 在 $X$ 中稠密。
• 对任意作为其最大 distal 因子的开扩张的极小系统，对所有 $d \in \mathbb{N}$，有 $\mathbf{RP}^{[d]} = \mathbf{AP}^{[d]}$ 成立。
• 该结果可推广至多项式轨道：对任意非常值整系数多项式 $P(n)$，存在序列 $n_i \equiv j \pmod{k}$，使得对 $x$ 的一个稠密 $G_\delta$ 集有 $\{T^{P(n_i)}x\} \to x$。
• 提出了若干猜想，推测 $\overline{\mathcal{O}}(x^{(d)}, \tau_d)$ 的最大 $k$-步 pro-nil 因子为 $\overline{\mathcal{O}}(\pi_\infty x^{(d)}, \tau_d)$，且对完全极小系统，多项式轨道 $\{T^{P(n)}x\}$ 是稠密的。