A quantitative version of the idempotent theorem in harmonic analysis

DOI10.4007/ANNALS.2008.168.1025MaRDI QIDQ2389132zbMATHOpenAlexFDO

Authors Tom Sanders, Ben Green

Publication date 14 July 2009

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0611286

zbMATH Keywords

idempotent theoremBourgain systemquantitative idempotent theoremweak Freiman theorem

Mathematics Subject Classification ID

Fourier and Fourier-Stieltjes transforms on locally compact and other abelian groups (43A25) Structure of group algebras of LCA groups (22B10)

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 mu in M(G) is said to be idempotent if mu * mu = mu, or alternatively if the Fourier-Stieltjes transform mu^ takes only the values 0 and 1. The Cohen-Helson-Rudin idempotent theorem states that a measure mu is idempotent if and only if the set {r in G^ : mu^(r) = 1} belongs to the coset ring of G^, that is to say we may write mu^ 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 ||mu||, and in fact one may take L <= expexp(C||mu||^4). In particular our result is non-trivial even for finite groups.

Recommendations

• Bounds in Cohen's idempotent theorem
• Le théorème des idempotents dans $B(G)$
• A quantitative version of the non-Abelian idempotent theorem
• Ergodic and Mixing Properties of Measures on Locally Compact Abelian Groups
• Idempotents with small norms

Cited in

(26)

• scientific article; zbMATH DE number 3983832 (Why is no real title available?)
• Stable group theory and approximate subgroups
• On the relations between Auerbach or almost Auerbach Markushevich systems and Schauder bases
• The \(L^1\)-norm of exponential sums in \(\mathbb{Z}^d\)
• Idempotent multipliers on the space of analytic singular measures
• A Freĭman-type theorem for locally compact Abelian groups
• Idempotents with small norms
• A model-theoretic note on the Freiman-Ruzsa theorem
• Arithmetic progressions in sets of small doubling
• The non-equivalence between the trigonometric system and the system of functions with pointwise restrictions on values in the uniform and L¹ norms
• Erdős-Burgess constant in commutative rings
• Linear forms and quadratic uniformity for functions on \(\mathbb{Z}_{N}\)
• The coset and stability rings
• The structure theory of set addition revisited
• Approximate groups. I: The torsion-free nilpotent case
• Chowla's cosine problem
• Sets in \(\mathbb{Z}^k\) with doubling \(2^k + \delta\) are near convex progressions
• Boolean functions with small spectral norm, revisited
• Coset decision trees and the Fourier algebra
• Spectral theory of Fourier-Stieltjes algebras
• On isomorphisms between ideals of Fourier algebras of finite abelian groups
• Dimension-free bounds and structural results in communication complexity
• Bounds in Cohen's idempotent theorem
• Le théorème des idempotents dans $B(G)$
• The Erdős-Moser sum-free set problem
• A quantitative version of the non-Abelian idempotent theorem

This page was built for publication: A quantitative version of the idempotent theorem in harmonic analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389132)