You are currently browsing the tag archive for the ‘nilmanifolds’ tag.

A sequence of complex numbers is said to be quasiperiodic if it is of the form

for some real numbers and continuous function . For instance, linear phases such as (where ) are examples of quasiperiodic sequences; the top order coefficient (modulo ) can be viewed as a “frequency” of the integers, and an element of the Pontryagin dual of the integers. Any periodic sequence is also quasiperiodic (taking and to be the reciprocal of the period). A sequence is said to be almost periodic if it is the uniform limit of quasiperiodic sequences. For instance any Fourier series of the form

with real numbers and an absolutely summable sequence of complex coefficients, will be almost periodic.

These sequences arise in various “complexity one” problems in arithmetic combinatorics and ergodic theory. For instance, if is a measure-preserving system – a probability space equipped with a measure-preserving shift, and are bounded measurable functions, then the correlation sequence

can be shown to be an almost periodic sequence, plus an error term which is “null” in the sense that it has vanishing uniform density:

This can be established in a number of ways, for instance by writing as the Fourier coefficients of the spectral measure of the shift with respect to the functions , and then decomposing that measure into pure point and continuous components.

In the last two decades or so, it has become clear that there are natural higher order versions of these concepts, in which linear polynomials such as are replaced with higher degree counterparts. The most obvious candidates for these counterparts would be the polynomials , but this turns out to not be a complete set of higher degree objects needed for the theory. Instead, the higher order versions of quasiperiodic and almost periodic sequences are now known as *basic nilsequences* and *nilsequences* respectively, while the higher order version of a linear phase is a *nilcharacter*; each nilcharacter then has a *symbol* that is a higher order generalisation of the concept of a frequency (and the collection of all symbols forms a group that can be viewed as a higher order version of the Pontryagin dual of ). The theory of these objects is spread out in the literature across a number of papers; in particular, the theory of nilcharacters is mostly developed in Appendix E of this 116-page paper of Ben Green, Tamar Ziegler, and myself, and is furthermore written using nonstandard analysis and treating the more general setting of higher dimensional sequences. I therefore decided to rewrite some of that material in this blog post, in the simpler context of the qualitative asymptotic theory of one-dimensional nilsequences and nilcharacters rather than the quantitative single-scale theory that is needed for combinatorial applications (and which necessitated the use of nonstandard analysis in the previous paper).

For technical reasons (having to do with the non-trivial topological structure on nilmanifolds), it will be convenient to work with vector-valued sequences, that take values in a finite-dimensional complex vector space rather than in . By doing so, the space of sequences is now, technically, no longer a ring, as the operations of addition and multiplication on vector-valued sequences become ill-defined. However, we can still take complex conjugates of a sequence, and add sequences taking values in the same vector space , and for sequences taking values in different vector spaces , , we may utilise the tensor product , which we will normalise by defining

This product is associative and bilinear, and also commutative up to permutation of the indices. It also interacts well with the Hermitian norm

since we have .

The traditional definition of a basic nilsequence (as defined for instance by Bergelson, Host, and Kra) is as follows:

Definition 1 (Basic nilsequence, first definition)Anilmanifold of step at mostis a quotient , where is a connected, simply connected nilpotent Lie group of step at most (thus, all -fold commutators vanish) and is a discrete cocompact lattice in . Abasic nilsequence of degree at mostis a sequence of the form , where , , and is a continuous function.

For instance, it is not difficult using this definition to show that a sequence is a basic nilsequence of degree at most if and only if it is quasiperiodic. The requirement that be simply connected can be easily removed if desired by passing to a universal cover, but it is technically convenient to assume it (among other things, it allows for a well-defined logarithm map that obeys the Baker-Campbell-Hausdorff formula). When one wishes to perform a more quantitative analysis of nilsequences (particularly when working on a “single scale”. sich as on a single long interval ), it is common to impose additional regularity conditions on the function , such as Lipschitz continuity or smoothness, but ordinary continuity will suffice for the qualitative discussion in this blog post.

Nowadays, and particularly when one needs to understand the “single-scale” equidistribution properties of nilsequences, it is more convenient (as is for instance done in this ICM paper of Green) to use an alternate definition of a nilsequence as follows.

Definition 2Let . Afiltered group of degree at mostis a group together with a sequence of subgroups with and for . Apolynomial sequenceinto a filtered group is a function such that for all and , where is the difference operator. Afiltered nilmanifold of degree at mostis a quotient , where is a filtered group of degree at most such that and all of the subgroups are connected, simply connected nilpotent filtered Lie group, and is a discrete cocompact subgroup of such that is a discrete cocompact subgroup of . Abasic nilsequence of degree at mostis a sequence of the form , where is a polynomial sequence, is a filtered nilmanifold of degree at most , and is a continuous function which is -automorphic, in the sense that for all and .

One can easily identify a -automorphic function on with a function on , but there are some (very minor) advantages to working on the group instead of the quotient , as it becomes slightly easier to modify the automorphy group when needed. (But because the action of on is free, one can pass from -automorphic functions on to functions on with very little difficulty.) The main reason to work with polynomial sequences rather than geometric progressions is that they form a group, a fact essentially established by by Lazard and Leibman; see Corollary B.4 of this paper of Green, Ziegler, and myself for a proof in the filtered group setting.

It is easy to see that any sequence that is a basic nilsequence of degree at most in the sense of the first definition, is also a basic nilsequence of degree at most in the second definition, since a nilmanifold of degree at most can be filtered using the lower central series, and any linear sequence will be a polynomial sequence with respect to that filtration. The converse implication is a little trickier, but still not too hard to show: see Appendix C of this paper of Ben Green, Tamar Ziegler, and myself. There are two key examples of basic nilsequences to keep in mind. The first are the polynomially quasiperiodic sequences

where are polynomials of degree at most , and is a -automorphic (i.e., -periodic) continuous function. The map defined by is a polynomial map of degree at most , if one filters by defining to equal when , and for . The torus then becomes a filtered nilmanifold of degree at most , and is thus a basic nilsequence of degree at most as per the second definition. It is also possible explicitly describe as a basic nilsequence of degree at most as per the first definition, for instance (in the case) by taking to be the space of upper triangular unipotent real matrices, and the subgroup with integer coefficients; we leave the details to the interested reader.

The other key example is a sequence of the form

where are real numbers, denotes the fractional part of , and and is a -automorphic continuous function that vanishes in a neighbourhood of . To describe this as a nilsequence, we use the nilpotent connected, simply connected degree , Heisenberg group

with the lower central series filtration , , and for , to be the discrete compact subgroup

to be the polynomial sequence

and to be the -automorphic function

one easily verifies that this function is indeed -automorphic, and it is continuous thanks to the vanishing properties of . Also we have , so is a basic nilsequence of degree at most . One can concoct similar examples with replaced by other “bracket polynomials” of ; for instance

will be a basic nilsequence if now vanishes in a neighbourhood of rather than . See this paper of Bergelson and Leibman for more discussion of bracket polynomials (also known as generalised polynomials) and their relationship to nilsequences.

A *nilsequence of degree at most * is defined to be a sequence that is the uniform limit of basic nilsequences of degree at most . Thus for instance a sequence is a nilsequence of degree at most if and only if it is almost periodic, while a sequence is a nilsequence of degree at most if and only if it is constant. Such objects arise in higher order recurrence: for instance, if are integers, is a measure-preserving system, and , then it was shown by Leibman that the sequence

is equal to a nilsequence of degree at most , plus a null sequence. (The special case when the measure-preserving system was ergodic and for was previously established by Bergelson, Host, and Kra.) Nilsequences also arise in the inverse theory of the Gowers uniformity norms, as discussed for instance in this previous post.

It is easy to see that a sequence is a basic nilsequence of degree at most if and only if each of its components are. The scalar basic nilsequences of degree are easily seen to form a -algebra (that is to say, they are a complex vector space closed under pointwise multiplication and complex conjugation), which implies similarly that vector-valued basic nilsequences of degree at most form a complex vector space closed under complex conjugation for each , and that the tensor product of any two basic nilsequences of degree at most is another basic nilsequence of degree at most . Similarly with “basic nilsequence” replaced by “nilsequence” throughout.

Now we turn to the notion of a nilcharacter, as defined in this paper of Ben Green, Tamar Ziegler, and myself:

Definition 3 (Nilcharacters)Let . Asub-nilcharacter of degreeis a basic nilsequence of degree at most , such that obeys the additional modulation propertyfor all and , where is a continuous homomorphism . (Note from (1) and -automorphy that unless vanishes identically, must map to , thus without loss of generality one can view as an element of the Pontryagial dual of the torus .) If in addition one has for all , we call a

nilcharacterof degree .

In the degree one case , the only sub-nilcharacters are of the form for some vector and , and this is a nilcharacter if is a unit vector. Similarly, in higher degree, any sequence of the form , where is a vector and is a polynomial of degree at most , is a sub-nilcharacter of degree , and a character if is a unit vector. A nilsequence of degree at most is automatically a sub-nilcharacter of degree , and a nilcharacter if it is of magnitude . A further example of a nilcharacter is provided by the two-dimensional sequence defined by

where are continuous, -automorphic functions that vanish on a neighbourhood of and respectively, and which form a partition of unity in the sense that

for all . Note that one needs both and to be not identically zero in order for all these conditions to be satisfied; it turns out (for topological reasons) that there is no scalar nilcharacter that is “equivalent” to this nilcharacter in a sense to be defined shortly. In some literature, one works exclusively with sub-nilcharacters rather than nilcharacters, however the former space contains zero-divisors, which is a little annoying technically. Nevertheless, both nilcharacters and sub-nilcharacters generate the same set of “symbols” as we shall see later.

We claim that every degree sub-nilcharacter can be expressed in the form , where is a degree nilcharacter, and is a linear transformation. Indeed, by scaling we may assume where uniformly. Using partitions of unity, one can find further functions also obeying (1) for the same character such that is non-zero; by dividing out the by the square root of this quantity, and then multiplying by , we may assume that

and then

becomes a degree nilcharacter that contains amongst its components, giving the claim.

As we shall show below, nilsequences can be approximated uniformly by linear combinations of nilcharacters, in much the same way that quasiperiodic or almost periodic sequences can be approximated uniformly by linear combinations of linear phases. In particular, nilcharacters can be used as “obstructions to uniformity” in the sense of the inverse theory of the Gowers uniformity norms.

The space of degree nilcharacters forms a semigroup under tensor product, with the constant sequence as the identity. One can upgrade this semigroup to an abelian group by quotienting nilcharacters out by equivalence:

Definition 4Let . We say that two degree nilcharacters , areequivalentif is equal (as a sequence) to a basic nilsequence of degree at most . (We will later show that this is indeed an equivalence relation.) The equivalence class of such a nilcharacter will be called thesymbolof that nilcharacter (in analogy to the symbol of a differential or pseudodifferential operator), and the collection of such symbols will be denoted .

As we shall see below the fold, has the structure of an abelian group, and enjoys some nice “symbol calculus” properties; also, one can view symbols as precisely describing the obstruction to equidistribution for nilsequences. For , the group is isomorphic to the Ponytragin dual of the integers, and for should be viewed as higher order generalisations of this Pontryagin dual. In principle, this group can be explicitly described for all , but the theory rapidly gets complicated as increases (much as the classification of nilpotent Lie groups or Lie algebras of step rapidly gets complicated even for medium-sized such as or ). We will give an explicit description of the case here. There is however one nice (and non-trivial) feature of for – it is not just an abelian group, but is in fact a vector space over the rationals !

Note: this post is of a particularly technical nature, in particular presuming familiarity with nilsequences, nilsystems, characteristic factors, etc., and is primarily intended for experts.

As mentioned in the previous post, Ben Green, Tamar Ziegler, and myself proved the following inverse theorem for the Gowers norms:

Theorem 1 (Inverse theorem for Gowers norms)Let and be integers, and let . Suppose that is a function supported on such thatThen there exists a filtered nilmanifold of degree and complexity , a polynomial sequence , and a Lipschitz function of Lipschitz constant such that

This result was conjectured earlier by Ben Green and myself; this conjecture was strongly motivated by an analogous inverse theorem in ergodic theory by Host and Kra, which we formulate here in a form designed to resemble Theorem 1 as closely as possible:

Theorem 2 (Inverse theorem for Gowers-Host-Kra seminorms)Let be an integer, and let be an ergodic, countably generated measure-preserving system. Suppose that one hasfor all non-zero (all spaces are real-valued in this post). Then is an inverse limit (in the category of measure-preserving systems, up to almost everywhere equivalence) of ergodic degree nilsystems, that is to say systems of the form for some degree filtered nilmanifold and a group element that acts ergodically on .

It is a natural question to ask if there is any logical relationship between the two theorems. In the finite field category, one can deduce the combinatorial inverse theorem from the ergodic inverse theorem by a variant of the Furstenberg correspondence principle, as worked out by Tamar Ziegler and myself, however in the current context of -actions, the connection is less clear.

One can split Theorem 2 into two components:

Theorem 3 (Weak inverse theorem for Gowers-Host-Kra seminorms)Let be an integer, and let be an ergodic, countably generated measure-preserving system. Suppose that one hasfor all non-zero , where . Then is a

factorof an inverse limit of ergodic degree nilsystems.

Theorem 4 (Pro-nilsystems closed under factors)Let be an integer. Then any factor of an inverse limit of ergodic degree nilsystems, is again an inverse limit of ergodic degree nilsystems.

Indeed, it is clear that Theorem 2 implies both Theorem 3 and Theorem 4, and conversely that the two latter theorems jointly imply the former. Theorem 4 is, in principle, purely a fact about nilsystems, and should have an independent proof, but this is not known; the only known proofs go through the full machinery needed to prove Theorem 2 (or the closely related theorem of Ziegler). (However, the fact that a factor of a nilsystem is again a nilsystem was established previously by Parry.)

The purpose of this post is to record a partial implication in reverse direction to the correspondence principle:

As mentioned at the start of the post, a fair amount of familiarity with the area is presumed here, and some routine steps will be presented with only a fairly brief explanation.

This week I was in Columbus, Ohio, attending a conference on equidistribution on manifolds. I talked about my recent paper with Ben Green on the quantitative behaviour of polynomial sequences in nilmanifolds, which I have blogged about previously. During my talk (and inspired by the immediately preceding talk of Vitaly Bergelson), I stated explicitly for the first time a generalisation of the van der Corput trick which morally underlies our paper, though it is somewhat buried there as we specialised it to our application at hand (and also had to deal with various quantitative issues that made the presentation more complicated). After the talk, several people asked me for a more precise statement of this trick, so I am presenting it here, and as an application reproving an old theorem of Leon Green that gives a necessary and sufficient condition as to whether a linear sequence on a nilmanifold is equidistributed, which generalises the famous theorem of Weyl on equidistribution of polynomials.

UPDATE, Feb 2013: It has been pointed out to me by Pavel Zorin that this argument does not fully recover the theorem of Leon Green; to cover all cases, one needs the more complicated van der Corput argument in our paper.

The last two lectures of this course will be on Ratner’s theorems on equidistribution of orbits on homogeneous spaces. Due to lack of time, I will not be able to cover all the material here that I had originally planned; in particular, for an introduction to this family of results, and its connections with number theory, I will have to refer readers to my previous blog post on these theorems. In this course, I will discuss two special cases of Ratner-type theorems. In this lecture, I will talk about Ratner-type theorems for discrete actions (of the integers on nilmanifolds; this case is much simpler than the general case, because there is a simple criterion in the nilmanifold case to test whether any given orbit is equidistributed or not. Ben Green and I had need recently to develop quantitative versions of such theorems for a number-theoretic application. In the next and final lecture of this course, I will discuss Ratner-type theorems for actions of , which is simpler in a different way (due to the semisimplicity of , and lack of compact factors).

Ben Green and I have just uploaded our paper “The quantitative behaviour of polynomial orbits on nilmanifolds” to the arXiv (and shortly to be submitted to a journal, once a companion paper is finished). This paper grew out of our efforts to prove the *Möbius and Nilsequences conjecture* MN(s) from our earlier paper, which has applications to counting various linear patterns in primes (Dickson’s conjecture). These efforts were successful – as the companion paper will reveal – but it turned out that in order to establish this number-theoretic conjecture, we had to first establish a purely dynamical quantitative result about polynomial sequences in nilmanifolds, very much in the spirit of the celebrated theorems of Marina Ratner on unipotent flows; I plan to discuss her theorems in more detail in a followup post to this one.In this post I will not discuss the number-theoretic applications or the connections with Ratner’s theorem, and instead describe our result from a slightly different viewpoint, starting from some very simple examples and gradually moving to the general situation considered in our paper.

To begin with, consider a infinite linear sequence in the unit circle , where . (One can think of this sequence as the orbit of under the action of the shift operator on the unit circle.) This sequence can do one of two things:

- If is rational, then the sequence is periodic and thus only takes on finitely many values.
- If is irrational, then the sequence is dense in . In fact, it is not just dense, it is equidistributed, or equivalently that
for all continuous functions . This statement is known as the equidistribution theorem.

We thus see that infinite linear sequences exhibit a sharp dichotomy in behaviour between periodicity and equidistribution; intermediate scenarios, such as concentration on a fractal set (such as a Cantor set), do not occur with linear sequences. This dichotomy between structure and randomness is in stark contrast to exponential sequences such as , which can exhibit an extremely wide spectrum of behaviours. For instance, the question of whether is equidistributed mod 1 is an old unsolved problem, equivalent to asking whether is normal base 10.

Intermediate between linear sequences and exponential sequences are *polynomial sequences* , where P is a polynomial with coefficients in . A famous theorem of Weyl asserts that infinite polynomial sequences enjoy the same dichotomy as their linear counterparts, namely that they are either periodic (which occurs when all non-constant coefficients are rational) or equidistributed (which occurs when at least one non-constant coefficient is irrational). Thus for instance the fractional parts of are equidistributed modulo 1. This theorem is proven by Fourier analysis combined with non-trivial bounds on Weyl sums.

For our applications, we are interested in strengthening these results in two directions. Firstly, we wish to generalise from polynomial sequences in the circle to polynomial sequences in other homogeneous spaces, in particular nilmanifolds. Secondly, we need quantitative equidistribution results for finite orbits rather than qualitative equidistribution for infinite orbits .

## Recent Comments