fdcbb5899b97f669.tex
1: \begin{abstract}
2: Gowers introduced the notion of uniformity norm $\|f\|_{U^k(G)}$ of a bounded function $f:G\ra\R$ on an abelian group $G$ in order to provide a Fourier-theoretic proof of
3: Szemeredi's Theorem, that is, that a subset of the integers of positive upper density contains arbitrarily long arithmetic progressions. Since then, Gowers norms have found a number of
4: other uses,
5: both within and outside of Additive Combinatorics. The $U^k$ norm is defined in terms of an operator $\tri^k : L^{\infty}(G)\mapsto L^{\infty} (G^{k+1})$. 
6: In this paper, we introduce an
7: analogue of the object $\tri^k f$ when $f$ is a singular measure on the torus $\mathbb{T}^d$, and similarly an object $\|\mu\|_{U^k}$.
8: We provide criteria for $\tri^k \mu$ to exist, which turns out 
9: to be equivalent to finiteness of $\||\mu|\|_{U^k}$, and show that when $\mu$ is absolutely continuous with density $f$,
10: then the objects which we have introduced are reduced to the standard $\tri^k f$ and $\|f\|_{U^k(\T)}$. We further introduce a higher-order inner product between measures of finite $U^k$ norm and 
11: prove a Gowers-Cauchy-Schwarz inequality for this inner product.
12: 
13: \end{abstract}
14: