[论文解读] On the disjointness property of groups and a conjecture of Furstenberg

Eli Glasner, Benjamin Weiss|arXiv (Cornell University)|Jul 23, 2018

Advanced Topology and Set Theory被引用 5

一句话总结

本文将Furstenberg于1967年提出的关于伯努利系统与极小系统之间不相交性的猜想，推广至一类广泛的可数群。通过引入DJ与DDJ性质——群作用的动态条件——证明了每个有限生成的DDJ群均为DJ群，因此Furstenberg的猜想在所有此类群中成立，将先前关于ℤ的结果扩展至一般的可约群与剩余有限群。

ABSTRACT

In his seminal 1967 paper "Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation" Furstenberg introduced the notion of disjointness of dynamical systems, both topological and measure preserving. In this paper he showed that for actions of the integers the Bernoulli system $Ω= \{0, 1\}^\mathbb{Z}$, is disjoint from every minimal system, and that the subring $R_0$, over the field $\mathbb{Z}_2 =\{0, 1\}$, generated by the minimal functions in $Ω$, is a proper subset of $Ω$. He conjectured that a similar result holds in general and in our 1983 work "Interpolation sets for subalgebras of $l^\infty(\mathbb{Z})$" we confirmed this by showing that the closed subalgebra $\mathfrak{A}$ of $l^\infty(\mathbb{Z})$, generated by the minimal functions, is a proper subalgebra of $l^\infty(\mathbb{Z})$. In this work we generalize these results to a large class of groups. We call a countable group $G$ a DJ group if for every metrizable minimal action of $G$ there exists an essentially free minimal action disjoint from it. We show that amenable groups are DJ and that the DJ property is preserved under direct products. We define a simple dynamical condition DDJ on minimal systems, which is a strengthening of the Gottchalk-Hedlund property, and we say that a group $G$ is DDJ if every minimal $G$-system has this property. The DJ property implies DDJ and by means of an intricate construction we show that every finitely generated DDJ group is also DJ. Residually finite, maximally almost periodic and $C^*$-simple groups are all DDJ. Finally we show that Furstenberg's conjecture holds for every DDJ group.

研究动机与目标

• 将Furstenberg关于伯努利系统与极小系统之间不相交性的猜想，从ℤ推广至一类广泛的可数群。
• 定义并分析可数群上的DJ性质——即对任意给定的极小作用，存在一个本质上自由的极小作用与之不相交。
• 引入DDJ性质，作为Gottschalk-Hedlund条件的强化版本，作为DJ性质的充分条件。
• 建立DJ性质蕴含DDJ性质，并证明每个有限生成的DDJ群均为DJ群，从而在该设定下确认Furstenberg的猜想。
• 证明关键群类——可约群、剩余有限群、极大几乎周期群以及C*-单群——均为DDJ群，因此满足该猜想。

提出的方法

• 定义可数群G为DJ群，若对每个度量化的极小G作用，均存在一个与之不相交的本质上自由的极小作用。
• 引入DDJ性质，作为强化Gottschalk-Hedlund性质的动态条件，确保极小系统中的一致重复性与分离性。
• 证明DJ性质蕴含DDJ性质，建立群性质的层级结构。
• 构造一个复杂的例子，利用拓扑动力系统与符号动力系统技术，证明每个有限生成的DDJ群均为DJ群。
• 证明可约群为DJ群，且DJ性质在群的直积下保持不变。
• 利用其结构性质，验证剩余有限群、极大几乎周期群及C*-单群满足DDJ条件。

实验结果

研究问题

• RQ1 Furstenberg关于伯努利系统与极小系统之间不相交性的猜想，是否可超越ℤ推广至其他可数群？
• RQ2 在何种群论条件下，每个极小作用均存在一个不相交的本质自由极小作用？
• RQ3 DDJ性质——作为Gottschalk-Hedlund条件的强化版本——是否足以确保DJ性质？
• RQ4 诸如可约群、剩余有限群及C*-单群等关键群类是否为DJ或DDJ群？
• RQ5 DJ性质是否在群运算（如直积）下保持不变？

主要发现

• 可约群为DJ群，即每个度量化的极小作用均存在一个不相交的本质自由极小作用。
• DJ性质在群的直积下保持不变。
• 每个有限生成的DDJ群均为DJ群，建立了动态条件与不相交性质之间的桥梁。
• 剩余有限群、极大几乎周期群及C*-单群均为DDJ群，满足更强的动态条件。
• Furstenberg的猜想对所有DDJ群成立，确认了在该类群中，伯努利型系统与极小系统之间存在不相交性。
• 由l∞(ℤ)中极小函数生成的闭子代数𝔞是真子代数，将早期在ℤ上的结果推广至更广泛的群设定。