A quantitative version of the idempotent theorem in harmonic analysis

DOI10.4007/ANNALS.2008.168.1025zbMATH Open1170.43003arXivmath/0611286OpenAlexW2116136991MaRDI QIDQ2389132FDOQ2389132

Ben Green, Tom Sanders

Publication date: 14 July 2009

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

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.

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

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

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)

Cited In (26)

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

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)