A remark of decompositions of the regular representations of semi-direct product groups (Q788845)

Let N and K be locally compact Abelian groups. suppose that K acts on N by automorphisms and consider the semidirect product \(N\times_ sk\). Then \(\hat N\times K\) becomes a \(K\times K\)-space by setting \[ k\cdot(\chi,s)\cdot t=(k\cdot \chi,s-k+t) \] for \(k,t,s\in K\) and \(\chi\in \hat N\). A \({\mathbb{T}}\)-valued Borel function a on \(\hat N\times K\) is called cocycle of \((K,\hat N\times K,K)\) if for \(k,t\in K\) and \((\chi,s) \in \hat N \times K\) \[ a(k\cdot(\chi,s)\cdot) = a(k\cdot(\chi,s)) \overline{a(\chi,s)}a((\chi,s)\cdot t). \] Let \(a\) be a cocycle of \((K,\hat N\times K,K)\). For \(t\in K\) and \(\xi\in L^ 2(\hat N\times K)\) set \[ (\rho^ a_ t\xi)(\chi,s)= a(\chi,s)\overline{a(\chi,s+t)}\xi(\chi,s+t). \] \(\rho^ a\) is a representation of k on \(L^ 2(\hat N\times K).\) For \(f\in L^\infty(\hat N)^ K\) let \(T_ f\) be the associated multiplier operator on \(L^ 2(\hat N)\). Le \(A^ a\) be the von Neumann algebra that is generated by the operators on \(L^ 2(\hat N\times K)\) of the form \((T_ f\otimes 1)\phi_ t^ a (f\in L^\infty(\hat N)^ k,t\in K)\). There is a compact space Z and a positive finite measure \(\sigma\) on Z such that \(L^\infty(\hat N)^ K\) is isomorphic to \(L^\infty(Z,\sigma).\) Let \({\mathcal F}\) be the Fourier transform \(L^ 2(N)\to L^ 2(\hat N)\). The regular representation \(\lambda\) of \(N\times_ sk\) on \(L^ 2(N\times K)\) is transformed to \(L^2(\hat N\times k)\) by \({\mathcal F}\otimes 1\): \[ \mu:= ({\mathcal F}\otimes1) \lambda({\mathcal F}\otimes 1)^{- 1}. \] It is shown that \(A^ a\) is a maximal Abelian subalgebra of \(\mu(G)''\). To prove this, the author constructs a direct integral decomposition of \(\mu\) over the space \(Z\times\hat K\) into irreducibles such that \(A^ a\) is the algebra of diagonalizable operators.