On \(1\)-cocycles induced by a positive definite function on a locally compact abelian group (Q397788)

Let \(G\) be a locally compact group and \(\pi\) a unitary representation of \(G\) on a Hilbert space \(\mathcal H_\pi\), then the group of 1-cocycles for \(\pi\) is defined as \(Z^1(G,\pi) = \{b: G \to \mathcal H_\pi ; b(gh) = \pi(g)b(h) +b(g), \forall g,h\in G \}\). The subgroup of 1-coboundaries for \(\pi\) is \(B^1(G,\pi) = \{b\in Z^1(G,\pi); \exists v\in \mathcal H_\pi \text{ such that } b(g) = \pi(g)v - v, \forall g\in G \}\). The quotient group \(H^1(G,\pi) = Z^1(G,\pi)/B^1(G,\pi)\) is the 1-cohomology group of \(\pi\) and \(\bar{H}^1(G,\pi) = Z^1(G,\pi)/\bar{B}^1(G,\pi)\) is the reduced 1-cohomology group, where \(\bar{B}^1(G,\pi)\) is the closure of \(B^1(G,\pi)\). The main result of the paper is Theorem 1: Let \(\varphi\) be a nonconstant, normalized positive definite function on a locally \(\sigma\)-compact abelian group \(G\), then by the (well-known Gelfand-Naimark-Segal) GNS-construction there is a unique cyclic representation \(\pi_\varphi\) on the Hilbert space \(\mathcal H_\pi\) with a cyclic vector \(\xi_\varphi\), such that \(\langle \pi_\varphi(x)\xi_\varphi | \xi_\varphi\rangle = \varphi(x)\) and that the property \(\bar{H}^1(G,\pi_\varphi) = 0\) is equivalent to either \(Hom(G,\mathbb C) = 0\) or \(\mu_\varphi(1_G) = 0\), where the constant function \(1_G\) is not in the support of the orthogonal complement \(\mu_\varphi^\perp\) of the Bochner's probability measure \(\mu_\varphi\) associated to \(\varphi\) on the Pontryagin dual \(\hat{G}\), \(\varphi(x) = \int_{\hat{G}} \xi(x)d\mu_\varphi(\xi)\) (see Theorem 1 for more a detailed statement).