An example of a measure-preserving flow with minimal self-joinings (Q789562): Difference between revisions

A measure-preserving flow \(\{T_ t\}\) of a probability space (\(\Omega\),\(\mu)\) is said to have minimal self-joinings (MSJ) if for each \(k>0\) any ergodic \(\{T_ t\times...\times T_ t\}\)-invariant measure on \(\Omega^ k\) all of whose one-dimensional marginals are \(\mu\) must be a product of off-diagonals. An off-diagonal measure on \(\Omega^{\ell}\) (where \(\ell\) may be one) is any measure of the form \(T_{t_ 1}\times...\times T_{t_{\ell}}\mu_{\Delta}\), where \(\mu_{\Delta}\) is the diagonal measure over \(\mu\) on \(\Omega^{\ell}\). It is shown here that when \(\{T_ t\}\) is a simple 2-step flow over Chacón's map [\textit{A. del Junco}, \textit{M. Rahe} and \textit{L. Swanson}, ibid. 37, 276-284 (1980; Zbl 0445.28014)] \(\{T_ t\}\) is weakly mixing and has MSJ. It follows that the map \(T_ a\) is prime (has only the trivial factor algebras) when \(a\neq 0\). Moreover \(T_ a\) and \(T_ b\) are non- isomorphic for \(a\neq b\), whence any joining of non-zero times of \(\{T_ t\}\) (repetitions allowed) must also be a product of off-diagonals.