[论文解读] Higher order regionally proximal equivalence relations for general minimal group actions

Eli Glasner, Yonatan Gutman+1 more|arXiv (Cornell University)|Jun 22, 2017

Mathematical Dynamics and Fractals参考文献 9被引用 4

一句话总结

本文引入了更高阶幂零区域临近关系 $\mathbf{NRP}^{[d]}(X)$，适用于一般极小群作用，将 Host–Kra–Maass 关系从阿贝尔群推广至一般群。证明了 $\mathbf{NRP}^{[d]}(X)$ 对所有极小作用均为等价关系，并表明其对应于阶数至多为 $d$ 的最大预尼尔因子，解决了 Tao 提出的问题，并通过包络半群方法将 Shao 和 Ye 的结果推广至非阿贝尔情形。

ABSTRACT

We introduce higher order regionally proximal relations suitable for an arbitrary acting group. For minimal abelian group actions, these relations coincide with the ones introduced by Host, Kra and Maass. Our main result is that these relations are equivalence relations whenever the action is minimal. This was known for abelian actions by a result of Shao and Ye. We also show that these relations lift through extensions between minimal systems. Answering a question by Tao, given a minimal system, we prove that the regionally proximal equivalence relation of order $d$ corresponds to the maximal dynamical Antolín Camarena--Szegedy nilspace factor of order at most $d$. In particular the regionally proximal equivalence relation of order one corresponds to the maximal abelian group factor. Finally by using a result of Gutman, Manners and Varjú under some restrictions on the acting group, it follows that the regionally proximal equivalence relation of order $d$ corresponds to the maximal pronilfactor of order at most $d$ (a factor which is an inverse limit of nilsystems of order at most $d$).

研究动机与目标

• 将 Host–Kra–Maass 的更高阶区域临近关系从阿贝尔群推广至一般群作用。
• 证明 $\mathbf{NRP}^{[d]}(X)$ 对所有极小作用（即使在非阿贝尔群下）均为等价关系。
• 证明 $\mathbf{NRP}^{[d]}(X)$ 在极小系统之间的扩展下保持不变。
• 证明 $\mathbf{NRP}^{[d]}(X)$ 对应于阶数至多为 $d$ 的最大动力 Antolín Camarena–Szegedy 尼尔空间因子，从而回答 Tao 提出的问题。
• 在群的限制条件下，通过 Gutman、Manners 和 Varjú 的结果，将 $\mathbf{NRP}^{[d]}(X)$ 与阶数至多为 $d$ 的预尼尔因子联系起来。

提出的方法

• 通过立方结构和 Host–Kra–Maass 框架，定义 $\mathbf{NRP}^{[d]}(X)$ 为闭的、$G$-不变关系，推广阿贝尔情形。
• 采用包络半群方法证明 $\mathbf{NRP}^{[d]}(X)$ 为等价关系，提供一种直接证明，避免使用 Ellis–Glasner–Shapiro 的结构理论。
• 利用 $\mathbf{NRP}^{[d]}(X)$ 在扩展下保持不变的事实：对扩展 $\pi: X \to Y$，有 $\pi \times \pi(\mathbf{NRP}^{[d]}(X)) = \mathbf{NRP}^{[d]}(Y)$。
• 证明 $\mathbf{NRP}^{[d]}(X) = \Delta$ 当且仅当 $X$ 是阶数至多为 $d$ 的系统，即因子 $X / \mathbf{NRP}^{[d]}(X)$ 是此类因子中的最大者。
• 应用尼尔空间与立方空间理论，通过立方集 $C_G^{[d+1]}(X)$ 刻画 $\mathbf{NRP}^{[d]}(X)$，利用恒等式 $\mathbf{NRP}^{[d]}(X) = \{ (x,y) \mid \urcorner^{[d+1]}(x,y) \in C_G^{[d+1]}(X) \}$。
• 利用 Gutman、Manners 和 Varjú 的结果推导出：在特定群条件下，$X / \mathbf{NRP}^{[d]}(X)$ 是阶数至多为 $d$ 的预尼尔因子，即阶数 $\leq d$ 的尼尔斯系统之逆极限。

实验结果

研究问题

• RQ1 能否将更高阶区域临近关系有意义地推广至阿贝尔群作用之外？
• RQ2 对一般群的极小作用，$\mathbf{NRP}^{[d]}(X)$ 是否为等价关系？
• RQ3 $\mathbf{NRP}^{[d]}(X)$ 是否对应于阶数至多为 $d$ 的最大尼尔空间因子？
• RQ4 $\mathbf{NRP}^{[d]}(X)$ 在极小系统之间的扩展下行为如何？
• RQ5 在何种条件下 $\mathbf{NRP}^{[d]}(X)$ 对应于阶数至多为 $d$ 的预尼尔因子？

主要发现

• 对任意极小系统 $(G,X)$，关系 $\mathbf{NRP}^{[d]}(X)$ 为等价关系，即使 $G$ 为非阿贝尔群亦成立。
• $\mathbf{NRP}^{[d]}(X)$ 在 $G$ 为阿贝尔群时与 Host–Kra–Maass 的更高阶区域临近关系一致。
• 因子 $X / \mathbf{NRP}^{[d]}(X)$ 是 $\mathbf{NRP}^{[d]}$ 为平凡关系的 $ (G,X) $ 的最大因子，因此是阶数至多为 $d$ 的最大系统。
• $\mathbf{NRP}^{[d]}(X)$ 对应于阶数至多为 $d$ 的最大动力 Antolín Camarena–Szegedy 尼尔空间因子，证实了与 Tao 问题相关的猜想。
• 在 $G$ 具有由紧致群生成的稠密子群的条件下，$X / \mathbf{NRP}^{[d]}(X)$ 是阶数至多为 $d$ 的预尼尔因子，即阶数 $\leq d$ 的尼尔斯系统之逆极限。
• $\mathbf{NRP}^{[d]}(X)$ 由立方条件刻画：$(x,y) \in \mathbf{NRP}^{[d]}(X)$ 当且仅当 $\urcorner^{[d+1]}(x,y) \in C_G^{[d+1]}(X)$。