Canonical representations generated by translationally quasi-invariant measures (Q679145): Difference between revisions

Consider a probability space \((X,{\mathcal B},\mu)\), where \(X\) is a locally convex Hausdorff linear space over \(\mathbb{R}\), where \(\mathcal B\) is the \(\sigma\)-algebra generated by \(X^*\) (the topological dual space of \(X\)), and where the (complex) \(L^2_\mu\) space is separable. For \(\varphi\in X\), define \(\mu_\varphi(B)= \mu(B-\varphi)\), \(B\in {\mathcal B}\). If \(\Phi\) is a subspace of \(X\), we say that \(\mu\) is \(\Phi\)-quasi-invariant if \(\mu_\varphi\) is equivalent to (shares the same null sets with) \(\mu\) for all \(\varphi\in\Phi\). Finally, a 1-cocycle is a complex-valued function \(\theta\) defined on \(X\times\Phi\) with the properties \[ \begin{aligned} \theta(x,\varphi_1+\varphi_2) &= \theta(x,\varphi_2)\theta(x- \varphi_2,\varphi_1),\quad \mu\text{-a.e. }x,\\ \theta(x,0) &= 1,\quad\text{all }x.\end{aligned} \] Such \(\mu\) and \(\theta\) create a canonical representation of \(\Phi\) in \(L^2_\mu\) where each \(\varphi\in\Phi\) is associated with the linear operator \(V_{\mu,\theta}(\varphi)\) which maps a function \(f\in L^2_\mu\) into the function \(\left({d\mu_\varphi\over d\mu} (x)\right)^{1/2}\theta(x, \varphi)f(x- \varphi)\in L^2_\mu\). The author makes an extensive study of these representations, including: (i) decompositions via direct integrals of Hilbert spaces, (ii) comparisons of the representations coming from different subspaces of \(X\), (iii) spectral measures, (iv) multiplicity, (v) countable direct products, (vi) the case where \(\mu\) is \(\Phi\)-ergodic, and (vii) the case where \(\mu\) is Gaussian. His self-designated three main results, too lengthy to be stated here, occur under categories (i), (v) and (vii).