Funny rank-one weak mixing for nonsingular Abelian actions (Q5937667): Difference between revisions

A nonsingular action \(S\) of a locally compact second countable group \(G\) on a \(\sigma\)-finite Lebesgue space \((Y,{\mathcal A},\nu)\) has funny rank one if there is a sequence \((Y_n)^\infty_{n=1}\) of measurable subsets of \(Y\) and a sequence \((G_n)^\infty_{n-1}\) of finite \(G\)-subsets such that 1. the sequences \(S_gY_n\), \(g\in G_n\), are pairwise disjoint for each \(n\), 2. given \(A\in{\mathcal A}\) of finite measure, then \(\inf_{P\subset G_n}\nu(A\Delta\bigcup_{g\in P} S_gY_n)\to 0\) as \(n\to\infty\), 3. \(\sum_{g\in G_n} \inf_{r\in R} \int_{Y_n} \left|{d\nu\circ S_g\over d\nu}- r\right|d\nu\to 0\) as \(n\to\infty\). Two finite subsets \(C_1\) and \(C_2\) of \(G\) are called independent if \((C_1- C_1)\cap (C_2- C_2)= \{0\}\), and a sequence \((C_n)^\infty_{n=1}\) is independent if \(C_1+\cdots+ C_n\) and \(C_{n+1}\) is independent for all \(n\). Let \((C_n)^\infty_{n=1}\) and \((F_n)^\infty_{n=0}\) be two sequences of finite \(G\)-subset with \(F_0= \{0\}\), and for \(n> 0\) 1. \(F_n+ C_{n+1}\subset F_{n+1}\), \(\#(C_n)> 1\), 2. \(F_n,C_{n+1},C_{n+2},\dots\) is independent. Put \(X_n= F_n\times \prod_{k> n} C_k\), and define a map \(i_n: X_n\to X_{n+1}\): \[ i_n(f_n, c_{n+1}, c_{n+2},\dots)= (f_n+ c_{n+1},c_{n+2},\dots). \] Denote by \(X\) the topological inductive limit of \((X_n,i_n)\) and by \(\widehat i_n: X_n\to X\) the canonical embeddings. Assume that for a given \(g\in G\), there exists \(m\) and \(g+ F_n+ C_{n+1}\subset F_{n+1}\) for \(n> m\). Set \[ D^{(n)}_g= (F_n\cap (F_n- g))\times \prod_{k> n} C_k,\quad\text{and }R^{(n)}_g= D^{(n)}_{-g}. \] Define \(T^{(n)}_g: D^{(n)}_g\to R_g(n)\) by \[ T^{(n)}_g(f_n, c_{n+1}, c_{n+2},\dots)= (f_n+ g, c_{n+1}, c_{n+2},\dots). \] Now put \(D_g= \bigcup^\infty_{n=1}\widehat i_n(D^{(n)}_g)\) and \(R_g= \bigcup^\infty_{n=1}\widehat i_n(R^{(n)}_g)\). Then there exists a homeomorphism \(T_g: D_g\to R_g\). \(T= \{T_g\}_{g\in G}\) is called \((C,F)\)-action. The main theorem in this article concerns the construction of various infinite measure preserving transformations. Theorem 1. Let \(G\) be a countable Abelian group. For each one of the followings: 1. for every \(g\in G\) of infinite order, the transformation \(T_g\) has infinite ergodic index, 2. for each finite sequence \(g_1,\dots, g_n\) of \(G\)-elements of infinite order, the transformation \(T_{g_1}\times\cdots\times T_{g_n}\) is ergodic, 3. for each \(g\in G\) of infinite order, \(T_g\) has infinite ergodic index but \(T_{2g}\times T_g\) is nonconservative, 4. the Cartesian square of \(T\) is nonconservative, 5. \(T\) has trivial \(L^\infty\)-spectrum, nonergodic Cartesian square but all \(k\)-fold Cartesian products conservative, there exists a funny rank one infinite measure preserving free \((C,F)\)-action \(T\) of \(G\). A topological version of this theorem is also given. Moreover, given an \(AT\)-flow \(W\), a nonsingular \(G\)-action \(T\) with similar properties and such that the associated flow of \(T\) is \(W\) is constructed.