On the disjointness property of groups and a conjecture of Furstenberg

TL;DR

This paper extends Furstenberg's disjointness results from integer actions to a broad class of groups, introducing the DJ and DDJ properties, and proves the conjecture for DDJ groups, including many important classes.

Contribution

It generalizes the disjointness property to large classes of groups and introduces the DJ and DDJ properties, linking them to Furstenberg's conjecture.

Findings

Amenable groups are DJ groups.

DJ property is preserved under direct products.

Furstenberg's conjecture holds for DDJ groups.

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 $\Omega = \{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 $\Omega$, is a proper subset of $\Omega$. 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.