A quantitative version of the idempotent theorem in harmonic analysis

Ben Green¹ ; Tom Sanders¹

¹ Center for Mathematical Sciences<br/>University of Cambridge<br/>Cambridge CB3 0WA<br/>United Kingdom

Annals of mathematics, Tome 168 (2008) no. 3, pp. 1025-1054.

Résumé

Suppose that $G$ is a locally compact abelian group, and write $\mathbf{M}(G)$ for the algebra of bounded, regular, complex-valued measures under convolution. A measure $\mu \in \mathbf{M}(G)$ is said to be idempotent if $\mu \ast \mu = \mu$, or alternatively if $\widehat{\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 $\{\gamma \in \widehat{G} : \widehat{\mu}(\gamma) = 1\}$ belongs to the coset ring of $\widehat{G}$, that is to say we may write \[ \widehat{\mu} = \sum_{j = 1}^L \pm 1_{\gamma_j + \Gamma_j}\] where the $\Gamma_j$ are open subgroups of $\widehat{G}$.

Détail

DOI : 10.4007/annals.2008.168.1025