A variant of a Yamaguchi's result (Q1207182)

Yamaguchi extended the classical F. and M. Riesz theorem to a transformation group such that a compact abelian group acts on a locally compact Hausdorff space. Let us recall that a subset \(\Lambda\) of \(\widehat {G}\) is a Riesz set if \({\mathcal M}_ \Lambda (G) \subset L^ 1(G)\) (where \({\mathcal M}_ \Lambda (G)\) denotes the space of measures in \({\mathcal M} (G)\) whose Fourier transforms vanish off \(\Lambda\)). With this terminology, the classical F. and M. Riesz theorem asserts that \(\mathbb{N}\) is a Riesz subset of \(\mathbb{Z}\). Godefroy introduced and studied the notion of nicely placed and Shapiro sets. A subset \(\Lambda\) of \(\widehat {G}\) is said nicely placed if the unit ball of \(L^ 1_ \Lambda(G)\) is closed in measure. A subset \(\Lambda\) of \(\widehat{G}\) is said Shapiro if every subset of \(\Lambda\) is nicely placed. The authors show that the conclusion of Yamaguchi's theorem also holds for another class of subsets \(\Lambda\) of \(\widehat {G}\): the nicely placed subsets. More precisely, the authors prove the following: Theorem 2. Let \((G,X)\) be a transformation group in which \(G\) is a compact abelian group and \(X\) is a locally compact Hausdorff space. Let \(\sigma\) be a positive Radon measure on \(X\) which is quasi-invariant and let \(\Lambda\) be a nicely placed subset of \(\widehat {G}\). If \(\mu\) is in \({\mathcal M} (X)\) with \(\text{spec }\mu\) contained in \(\Lambda\) then \(\text{spec }\mu_ a\) and \(\text{spec }\mu_ s\) are both contained in \(\Lambda\) (where \(\mu = \mu_ a + \mu_ s\) is the Lebesgue decomposition of \(\mu\) with respect to \(\sigma\)).