You are currently browsing the tag archive for the ‘symmetric spaces’ tag.

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 $(n \alpha + \beta)_{n \in {\Bbb N}}$ in the unit circle ${\Bbb R}/{\Bbb Z}$, where $\alpha, \beta \in {\Bbb R}/{\Bbb Z}$. (One can think of this sequence as the orbit of $\beta$ under the action of the shift operator $T: x \mapsto x +\alpha$ on the unit circle.) This sequence can do one of two things:

1. If $\alpha$ is rational, then the sequence $(n \alpha + \beta)_{n \in {\Bbb N}}$ is periodic and thus only takes on finitely many values.
2. If $\alpha$ is irrational, then the sequence $(n \alpha + \beta)_{n \in {\Bbb N}}$ is dense in ${\Bbb R}/{\Bbb Z}$. In fact, it is not just dense, it is equidistributed, or equivalently that $\displaystyle\lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N F( n \alpha + \beta ) = \int_{{\Bbb R}/{\Bbb Z}} F$

for all continuous functions $F: {\Bbb R}/{\Bbb Z} \to {\Bbb C}$. 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 $( 2^n \alpha)_{n \in {\Bbb N}}$, which can exhibit an extremely wide spectrum of behaviours. For instance, the question of whether $(10^n \pi)_{n \in {\Bbb N}}$ is equidistributed mod 1 is an old unsolved problem, equivalent to asking whether $\pi$ is normal base 10.

Intermediate between linear sequences and exponential sequences are polynomial sequences $(P(n))_{n \in {\Bbb N}}$, where P is a polynomial with coefficients in ${\Bbb R}/{\Bbb Z}$. 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 $\{ \sqrt{2}n^2\}$ of $\sqrt{2} n^2$ 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 ${\Bbb R}/{\Bbb Z}$ to polynomial sequences $(g(n)\Gamma)_{n \in {\Bbb N}}$ in other homogeneous spaces, in particular nilmanifolds. Secondly, we need quantitative equidistribution results for finite orbits $(g(n)\Gamma)_{1 \leq n \leq N}$ rather than qualitative equidistribution for infinite orbits $(g(n)\Gamma)_{n \in {\Bbb N}}$.

On Thursday, Yau continued his lecture series on geometric structures, focusing a bit more on the tools and philosophy that goes into actually building these structures. Much of the philosophy, in its full generality, is still rather vague and not properly formalised, but is nevertheless supported by a large number of rigorously worked out examples and results in special cases. A dominant theme in this talk was the interaction between geometry and physics, in particular general relativity and string theory.

As usual, there are likely to be some inaccuracies in my presentation of Yau’s talk (I am not really an expert in this subject), and corrections are welcome. Yau’s slides for this talk are available here.
Read the rest of this entry »

The final Distinguished Lecture Series for this academic year at UCLA was started on Tuesday by Shing-Tung Yau. (We’ve had a remarkably high-quality array of visitors this year; for instance, in addition to those already mentioned in this blog, mathematicians such as Peter Lax and Michael Freedman have come here and given lectures earlier this year.) Yau’s chosen topic is “Geometric Structures on Manifolds”, and the first talk was an introduction and overview of his later two, titled “What is a Geometric Structure.” Once again, I found this a great opportunity to learn about a field adjacent to my own areas of expertise, in this case geometric analysis (which is adjacent to nonlinear PDE).

As usual, all inaccuracies in these notes are due to myself and not to Yau, and I welcome corrections or comments. Yau’s slides for the talk are available here. Read the rest of this entry » Foundations of Arith… on A geometric proof of the impos… Ari on Quantitative bounds for critic… Foundations of Arith… on A geometric proof of the impos… Bob Copeland on About Terrence Tao’s… on Almost all Collatz orbits atta… Terence Tao on Almost all Collatz orbits atta… mayor of Simpleton on Almost all Collatz orbits atta… Terence Tao on Almost all Collatz orbits atta… itaibn on Almost all Collatz orbits atta… Alberto Ibañez on Almost all Collatz orbits atta… random reader on Almost all Collatz orbits atta… Nadroj Straw on 245B, notes 0: A quick review… Terence Tao on Almost all Collatz orbits atta… Terence Tao on Almost all Collatz orbits atta… Terence Tao on Almost all Collatz orbits atta…