Singular compactness and the Neveu decomposition (Q1804792)

Let \((X, m)\) be a measure space, and let \(G\) be a weakly continuous locally compact semigroup of mappings on \(X\) which define contractions of \(L^1(X,m)\). Suppose that there is a left invariant measure \(\nu\) on \(G\) and a sequence \(\{K_n\}\) of compact subsets of \(G\) satisfying certain Følner type conditions. Let \(g^*\) denote the mapping of \(L^\infty (X,m)\) to itself which is the adjoint of the mapping of \(L^1(X,m)\) defined by \(g \in G\). We then define, for \(h \in L^1 (X,m)\), \(A_n h = {1\over \nu (K_n)} \int_{K_n} g^* (h) d\nu (g)\), so that \(A_n\) maps \(L^\infty (X,m)\) to itself. We call \(h\) very weakly wandering if \(A_n h \to 0\) as \(n \to 0\). Let \(E\) be a Borel set in \(X\). It is shown that the following two conditions are equivalent for \(E\): (i) there exists a \(G\)-invariant function in \(L^1(X,m)\) with support \(E\) and the support of every such function is a subset of \(E\); (ii) there exists a very weakly wandering function in \(L^\infty (X,m)\) with support \(X \setminus E\) and the support of every such function is a subset of \(X \setminus E\).