A smooth zero-entropy diffeomorphism whose product with itself is loosely Bernoulli

Dynamical aspects of measure-preserving transformations (37A05) Ergodicity, mixing, rates of mixing (37A25) Topological entropy (37B40) Dynamical systems involving smooth mappings and diffeomorphisms (37C05)

Abstract: Let

M

be a smooth compact connected manifold of dimension

d g e q 2

, possibly with boundary, that admits a smooth effective

m a t h b b T^{2}

-action

preserving a smooth volume

u

, and let

m a t h c a l B

be the

C^{i n f t y}

closure of

. We construct a

C^{i n f t y}

diffeomorphism

T i n m a t h c a l B

with topological entropy

0

such that

T i m e s T

is loosely Bernoulli. Moreover, we show that the set of such

T i n m a t h c a l B

contains a dense

G_{d e l t a}

subset of

m a t h c a l B

. The proofs are based on a two-dimensional version of the approximation-by-conjugation method.

Review text

Let \((X,\mu)\) be an atom-free standard probability space. Let \(T:(X,\mu)\rightarrow (X,\mu)\) be a measure-preserving transformation and \(M\) be a smooth compact connected manifold of dimension \(d\geq 2\), possibly with boundary. The authors prove that \(T\times T\) is loosely Bernoulli under a slightly weaker hypothesis on the periodic approximations of \(T\). The following is the main theorem: Theorem. Let \(d\geq 2\) and let \(M\) be a \(d\)-dimensional smooth, compact and connected manifold, possibly with boundary, admitting a smooth effective torus action \(\mathcal{S} = \{S_{\alpha,\beta}\} _{(\alpha,\beta)\in \mathbb{T}^2}\) preserving a smooth volume \(\nu\). Then there is a weakly mixing \(C^{\infty}\)-diffeomorphism \(T\in \mathcal{B}\) of topological entropy 0 such that \(T\times T\) is loosely Bernoulli. Furthermore, the set of such diffeomorphisms is residual in \(\mathcal{B}\) in the \(C^{\infty}(M)\)-topology. The conjugation map is constructed. The authors show that the constructed diffeomorphism satisfies the requirements of their criterion for the loosely Bernoulli property of \(T\times T\). Further, they prove that the sequence of constructed measure-preserving smooth diffeomorphisms converges and give the explicit definition of two sequences of towers whose height difference is one. Lastly, the authors prove that the set of smooth diffeomorphisms with topological entropy zero and loosely Bernoulli Cartesian square is a residual subset in given set.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: A smooth zero-entropy diffeomorphism whose product with itself is loosely Bernoulli

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996480)