A quantitative version of the idempotent theorem in harmonic analysis

Abstract

Suppose that G is a locally compact abelian group, and write M(G) for the algebra of bounded, regular, complex-valued measures under convolution. A measure μin M(G) is said to be idempotent if μ* μ= μ, or alternatively if the Fourier-Stieltjes transform μ^ takes only the values 0 and 1. The Cohen-Helson-Rudin idempotent theorem states that a measure μis idempotent if and only if the set {r in G^ : μ^(r) = 1} belongs to the coset ring of G^, that is to say we may write μ^ as a finite plus/minus 1 combination of characteristic functions of cosets r_j + H_j, where the H_j are open subgroups of G^. In this paper we show that the number L of such cosets can be bounded in terms of the norm ||μ||, and in fact one may take L <= \exp\exp(C||μ||^4). In particular our result is non-trivial even for finite groups.

28 pages

References in corpus (5)

• A Szemeredi-type regularity lemma in abelian groups, with applications
• The Littlewood-Gowers problem
• An application of a local version of Chang's theorem
• Finite field models in additive combinatorics
• On the Littlewood problem modulo a prime

Cited by in corpus (15)

• The structure theory of set addition revisited
• A quantitative version of the non-abelian idempotent theorem
• Linear forms and quadratic uniformity for functions on ${\mathbb{Z}}_N$
• Three-term arithmetic progressions and sumsets
• Bounds in Cohen's idempotent theorem
• Boolean functions with small spectral norm, revisited
• Approximate groups, I: the torsion-free nilpotent case
• Arithmetic progressions in sets of small doubling
• Beyond the Lascar Group
• Spectral theory of Fourier-Stieltjes algebras
• On the isomorphisms of Fourier algebras of finite abelian groups
• Chowla's cosine problem
• Finding linear patterns of complexity one
• The L^1-norm of exponential sums in Z^d
• The Erdos-Moser sum-free set problem