Starting on Monday, March 29, I will begin my graduate class for the winter quarter, entitled “Higher order Fourier analysis“. While classical Fourier analysis is concerned with correlations with linear phases such as (where ), quadratic and higher order Fourier analysis is concerned with quadratic and higher order phases such as , , etc.

In recent years, it has become clear that certain problems in additive combinatorics are naturally associated with a certain order of Fourier analysis. For instance, problems involving arithmetic progressions of length three are connected with classical Fourier analysis; problems involving progressions of length four are connected with quadratic Fourier analysis; problems involving progressions of length five are connected with cubic Fourier analysis; and so forth. The reasons for this will be discussed later in the course, but we will just give one indication of the connection here: linear phases and arithmetic progressions of length three are connected by the identity

while quadratic phases and arithmetic progressions of length four are connected by the identity

and so forth.

It turns out that in order to get a complete theory of higher order Fourier analysis, the simple polynomial phases of the type given above do not suffice. One must also consider more exotic objects such as *locally* polynomial phases, *bracket polynomial phases* (such as , and/or *nilsequences* (sequences arising from an orbit in a nilmanifold ). These (closely related) families of objects will be introduced later in the course.

Classical Fourier analysis revolves around the Fourier transform and the inversion formula. Unfortunately, we have not yet been able to locate similar identities in the higher order setting, but one can establish weaker results, such as higher order *structure theorems *and *arithmetic regularity lemmas*, which are sufficient for many purposes, such as proving Szemeredi’s theorem on arithmetic progressions, or my theorem with Ben Green that the primes contain arbitrarily long arithmetic progressions. These results are powered by the *inverse conjecture for the Gowers norms*, which is now extremely close to being fully resolved.

Our focus here will primarily be on the finitary approach to the subject, but there is also an important infinitary aspect to the theory, originally coming from ergodic theory but more recently from nonstandard analysis (or more precisely, ultralimit analysis) as well; we will touch upon these perspectives in the course, though they will not be the primary focus. If time permits, we will also present the number-theoretic applications of this machinery to counting arithmetic progressions and other linear patterns in the primes.

## 8 comments

Comments feed for this article

10 March, 2010 at 2:14 am

PDEbeginnerGreat! I am looking forward to learning it! At the same time, I will try my best to finish reading Random matrices, even it is a little hard for me :)

10 March, 2010 at 2:47 am

MarkI think you have some verb missing in “but one can weaker results”.

[Corrected, thanks – T.]10 March, 2010 at 3:46 pm

mmailliw/williamWhat type of background will you be assuming for this course in terms of, say, classical Fourier analysis?

10 March, 2010 at 6:42 pm

Terence TaoThe material in my lecture notes

http://terrytao.wordpress.com/2009/04/06/the-fourier-transform/

would be more than sufficient. I will mostly need the Fourier transform on finite abelian groups, on the integers, and on torii, with an emphasis on the algebraic identities (e.g. relating convolution with multiplication) that this transform enjoys.

17 March, 2010 at 1:49 am

OlofTerry, did you mean to put some squares in the identity for four-term progressions?

[Corrected, thanks – T.]5 April, 2010 at 9:16 am

EckhardSorry for being picky, but did you mean to have only one ‘also’ in ‘but there is also an important infinitary aspect to the theory also’?

[

Corrected, thanks – T.]11 April, 2010 at 9:44 am

studentHi Prof. Tao,

What are you going to teach after that course? Do you have a plan for the following 2-3 semesters?

Thanks

12 April, 2010 at 8:23 am

Terence TaoIn the fall I will be teaching 245A (measure and integration theory). This is the predecessor to 245B, which I taught a few years ago and whose notes are on this blog. In the winter I will be on sabbatical.