Rajchman measures on compact groups (Q1120778)

On a compact group Rajchman measures are Radon measures whose Fourier- Stieltjes transforms have norms \(>\epsilon\) only for finitely many elements of the dual object. The norms on the dual object considered are \(d_{\sigma}^{- 1/p}\| {\hat \mu}\|_{\phi_ p}\), \(1\leq p\leq \infty\). \(\| \cdot \|_{\phi_ p}\) denotes the von Neumann norm. There are essentially only two different classes of Rajchman measures \({\mathcal R}_ p\), one corresponding to the norms for \(p<\infty\) and one to the operator norm \(\| \cdot \|_{\phi_{\infty}}\). It is shown that Rajchman measures are intermediate between continuous and absolutely continuous measures and \(\nu \ll \mu \in {\mathcal R}_ p\Rightarrow \nu \in {\mathcal R}_ p\), which extends theorems of \textit{C. F. Dunkl} and \textit{D. E. Ramirez} [Mich. Math. J. 17, 311-319 (1970; Zbl 0188.206), ibid. 19, 65-69 (1972; Zbl 0213.136)], for \({\mathcal R}_{\infty}\). The main theorem characterizes \({\mathcal R}_ p\) by vanishing on a certain class of Borel sets and answers a question of \textit{R. Lyons} [Ann. Math., II. Ser. 122, 155-170 (1985; Zbl 0583.43006)] how his result on Rajchman measures on l.c. Abelian groups extends to l.c. non Abelian groups for compact groups. A similar characterization holds for Rajchman measures on homogeneous spaces. (Author) A. Rajchman conjectured (1922) that there exists some class of sets in T (denoted by W) which could be used to characterize those Radon measures \(\mu\) on T of which the Fourier transform \({\hat \mu}\) vanishes at infinity (denote such class by R) in such a way: \(\mu\in R\) iff \(\mu (E)=0\), \(\forall E\in W\). \textit{R. Lyons} was the first to establish such result for locally compact Abelian groups [Ann. Math., II. Ser. 122, 155- 170 (1985; Zbl 0583.43006)]. This paper establishes such result for compact non-Abelian groups. The author uses \((d_{\sigma}^{-1/p}\| A\|_{\phi_ p)\sigma \in \hat G}\in c_ 0(\hat G)\) to define the class \(R_ p\) of Radon measures \(\mu\) on G, where A is \(\mu\)'s Fourier coefficient operator, and \(\| A\|_{\phi_ p}\) is von Neumann norm of A, \(1\leq p\leq \infty\), and defines the similar classes \(W_ p\) and \(\bar W_ p\) of sets in G, and obtains the corresponding characterization: Theorem 3. \(\mu \in R_ p\) iff \(\mu (E)=0\), \(\forall E\in W_ p\), or equivalently \(\mu (E)=0\), \(\forall E\in \bar W_ p\), \(1\leq p\leq \infty\).