Last Thursday (November 6, 2014), Giovanni Forni gave a 1-hour talk at Orsay about his joint work with Livio Flaminio and James Tanis on the speed of ergodicity of horocycle maps.

In this blog post, I will transcript my notes for Giovanni’s talk. Of course, all mistakes in this post are my entire responsibility. Also, I apologize in advance for any wrong statements in what follows: indeed, I arrived at the seminar room about 10 minutes after Giovanni’s talk had started; furthermore, since the seminar room was crowded (about 30 to 40 mathematicians were attending the talk), I was forced to sit in the back of the room and consequently sometimes I could not properly hear Giovanni’s explanations.

The main actor in Giovanni’s talk was the *classical horocycle flow* . By definition, is the flow induced by the action of the -parameter subgroup on the unit cotangent bundle of a hyperbolic surface of finite area (i.e., is a lattice of ).

The optimal speed of ergodicity (rate of convergence of Birkhoff averages) for classical horocycle flows was the subject of several papers in the literature of Dynamical Systems: for example, after the works of Zagier, Sarnak, Burger, Ratner, Flaminio-Forni, Strömbergsson, etc., we know that the rate of ergodicity is intimately related to the eigenvalues of the Laplacian (“size of the spectral gap”) of the corresponding hyperbolic surface (and, furthermore, this is related to the Riemann hypothesis in the case ).

The bulk of Giovanni’s talk was the discussion of the analog problem for horocycle *maps*, that is, the question of determining the optimal such that the iterates of the time map of the horocycle flow verify

The basic motivations behind this question are potential applications to “sparse equidistribution problems” (some of them coming from Number Theory) such as:

- The following
*particular case*of Sarnak’s conjecture on the randomness of Möbius function: for*all non-periodic*and , one hasIn other words, the non-conventional ergodic averages of the horocycle flow along prime numbers at

*every*point converge to the spatial average. - N. Shah’s conjecture: for
*each*, one hasfor

*all*and whenever with cocompact (i.e., the hyperbolic surface is compact). In other terms, the non-conventional ergodic averages of the horocycle flow along a*polynomial sequence*of times of the form , , at*every*point converge to the spatial average.

Also, Giovanni expects that the tools developed to obtain an estimate of the form could help in deriving *quantitative versions* of Ratner’s equidistribution results in more general contexts than the classical horocycles flows.

Before stating some of the main results of Flaminio, Forni and Tanis, let us just mention that:

- Sarnak and Ubis gave in 2011 the following evidence towards the particular case of Sarnak’s conjecture stated above: every weak- limit of the sequence of probability measures
converges to an absolutely continuous measure (with respect to ) whose density is bounded by . (Here, is the usual Dirac mass at );

- Very roughly speaking, an evidence in favor of Shah’s conjecture for
*very small*is the fact that behaves like a linear function (with a mildly large factor ) for , so that Shah’s conjecture should not be very far from the corresponding statement of equidistribution for linear sequences of times . As it turns out, Flaminio, Forni and Tanis were able to convert this heuristic argument in a proof of Shah’s conjecture for very small: indeed, they are confident that Shah’s conjecture is settled for and they hope to push their methods to get the same results for . Here, a key ingredient is Theorem 1 below where Flaminio, Forni and Tanis establish a precise control on the quantity .

After this brief introduction to horocycle maps, we are ready to state the main result of this post:

Theorem 1 (Flaminio-Forni-Tanis)Let be a cocompact subgroup of and fix . For all and , one has

where is the smallest eigenvalue of the Laplacian on the hyperbolic surface , is the following quantity (related to the so-calledspectral gap):

is an adequate Sobolev norm (say, , i.e., depends on the first twelve derivatives of ), is an “universal” constant (depending on only) and is a constant depending on and .

The right-hand side of (1) says that the quantity is controlled by a “spectral term” and by an “uniform term” . In particular, this quantity is controlled exclusively by the uniform part when the spectral gap is sufficiently large (i.e., ).

Remark 1The proof of Theorem 1 shows that the “spectral term” can also be eliminated if is a coboundary. In other terms, if where is a bounded function and is the infinitesimal generator (vector field) of the horocycle flow , then one has:

The first step in the proof of Theorem 1 is to take Fourier transform in the time variable of the expression

By doing so, we are naturally lead to the study of the following *twisted* ergodic averages:

where (“”) and has zero average. Then, Flaminio, Forni and Tanis use this to show that Theorem 1 follows from the following result about twisted ergodic averages:

Theorem 2 (Flaminio-Forni-Tanis)In the setting of Theorem 1, one has

for any and .

Remark 2The proof of this theorem provides us with a constant as , and, in fact, in this regime. This isexpectedbecause it is known that the speed of mixing of the horocycle flow gets slower as the size of the spectral gap gets close to zero, and, thus, one can not hope for an “uniform control” without letting the constant explode as .

Remark 3The proof of this theorem also provides us with a constant as but Flaminio, Forni and Tanis have some hope to improve this (as there is no a priori reason to expect this kind of behavior in this regime).

Before giving a sketch of the proof of Theorem 2, let us recall that:

- Venkatesh obtained in 2010 the following bound:
where , and, more recently,

- Tanis and Visha announced (in 2014) that:

Observe that Venkatesh’s bound has the advantage that the implied constant is “universal” while this constant depends on in the case of Flaminio-Forni-Tanis and Tanis-Visha.

On the other hand, Flaminio-Forni-Tanis and Tanis-Visha obtain uniform exponents ( and resp.) on at the cost of sacrificing the uniformity on the constant (an expected fact, see Remark 2 above) contrary to Venkatesh’s bounds where the exponent on depends on the spectral gap.

Also, the control of Flaminio-Forni-Tanis of the constant on the regime (by , see Remark 2 above) is worse than Tanis-Visha’s control , but the exponent of obtained by Flaminio-Forni-Tanis (of ) is better than Tanes-Visha’s exponent (of ).

For the sake of comparison of the techniques employed by Venkatesh and Flaminio-Forni-Tanis, let us now quickly present a sketch of proof of Venkatesh’s bound. In a nutshell, Venkatesh’s method is based on the speed of ergodicity and mixing of the horocycle flow.

More concretely, let be a parameter to be chosen later and pose .

A direct computation reveals that there is no harm in replacing by in our way to estimate twisted ergodic averages because

where

Next, by Cauchy-Schwarz inequality, we have that . Moreover, the results of Burger and Flaminio-Forni on the speed of ergodicity of horocycle flows say that

with precise estimates in the error terms. In particular, our task becomes to understand how the quantity

approaches zero. Here, after “unfolding” this integral (using the definition of ), one can check that, for each , the resulting expression can be controlled in terms of Ratner’s results showing that the speed of mixing of horocycle flows is given by the size of the spectral gap. Finally, Venkatesh gets the bound described above by optimizing the choice of the parameter . See Section 3 of Venkatesh’s paper for more details.

From their side, Flaminio-Forni-Tanis use a different route to prove Theorem 2, namely, they employ *renormalization methods* to study twisted ergodic averages for horocycle flows.

This method is inspired from the renormalization method for *classical* ergodic averages of horocycle flows where one exploits the facts that the *geodesic flow* *dilates* the orbits of the horocycle flow in the sense that , and the geodesic flow is *exponentially mixing* (with precise estimates; see, e.g, the works of Dolgopyat, Liverani, Baladi-Liverani, etc.). Also, this method is similar in spirit to the techniques used by Forni to study of deviations of ergodic averages of interval exchange transformations and translation flows.

The basic idea to apply renormalization method sketched above in the context of twisted ergodic averages

is to reinterpret them as classical ergodic averages

of a *new* flow associated to the vector field on where and depends on .

Unfortunately, a straightforward application of the corresponding geodesic flow to renormalize does not seem to work well: the orbits of are *low* (1-)*dimensional objects* inside the unstable manifolds of the geodesic flow, and, thus, their equidistribution properties are harder to obtain (in comparison with the setting of classical ergodic averages of classical horocycles flows).

Nevertheless, Flaminio-Forni-Tanis noticed that this renormalization scheme works after replacing the geodesic flow by an adequate *scaling* (playing the role of a “fake geodesic flow”). More precisely, the idea of Flaminio, Forni and Tanis is to find a scaling that dilates the orbits of (in a similar way that the geodesic flow dilates the orbits of the horocycle flow) which is well-behaved enough to allow equidistribution estimates.

In this direction, Flaminio, Forni and Tanis start by showing that the coboundaries (i.e., the functions of the form ) are characterized by a countable family of invariant distributions in the sense that is a coboundary if and only if for all . (Compare with these works of Flaminio-Forni on horocycle flows, and Forni on translation flows).

After that, they use this family of invariant distributions to build up an adequate scaling: the main point is that the scaling must be so that the sizes of the distributions get smaller; in this way, we can control the ergodic average of an arbitrary function because after scaling it becomes closer to a coboundary and the ergodic averages of a coboundary is easy to control (for example, they stay bounded if with bounded). Here, they introduce the following scaling (on vector fields):

where , is the infinitesimal generator of the geodesic flow , is the infinitesimal generator of the stable horocycle subgroup of , and is the infinitesimal generator of the rotation group .

Denoting by the induced metric associated to (i.e., is the metric obtained by making these vector fields into an orthonormal frame), one has

so that the invariant distributions gets effectively small when .

Furthermore, the crucial point about this scaling — making it into a helpful tool in the proof of Theorem 2 — is that Flaminio-Forni-Tanis can show that the *geometry* of stays uniformly bounded as .

Of course, this is a very important point in this argument because the implied constants above (showing up in the estimates of ergodic averages) are related to the *best constants* in Sobolev inequalities (among of several other things) and, hence, they stay uniformly bounded whenever the geometry of is under control. (For the sake of comparison, let us mention that this “bounded geometry” property (after scalings) in the context of translation flows corresponds to the recurrence properties of the Teichmüller geodesic flow on the moduli space of translation surfaces, see these papers of Forni here and here on this subject).

In summary, the key idea to obtain Theorem 2 is the introduction of a scaling of (“mimicking” the action of the geodesic flow on horocycle flow orbits or the Teichmüller geodesic flow on translation surfaces) making all -invariant distributions small (i.e., making all functions into almost coboundaries) in such a way that the underlying geometry of stays bounded. This completes our sketch of proof of Theorem 2.

We conclude this post with the following remark.

Remark 4The factor in (2) “explains” the behavior in Remark 2 above.

Very nice post! Some questions: In your second display, how does it relate to Sarnak’s disjointness conjecture of Mobius? Also, does the conjectural (second) display hold for any initial point x \in M? What about for periodic point?

By:

Yongxiao Linon April 14, 2015at 3:40 am

A quick (but vague) answer to your first question is: Sarnak’s disjointness conjecture concerns the Moebius function which is intimately related to prime numbers. So, it is not surprising that the study of equidistribution at prime times of orbits of zero topological entropy systems (such as the horocycle flow) has something to do with Sarnak’s conjecture (for a slightly more precise comment, see, e.g., page 16 of this lecture note http://publications.ias.edu/sites/default/files/Mobius%20lectures%20Summer%202010.pdf by Sarnak)

Of course, this is not a satisfactory answer (even if it serves as a sort of “motivation” for studying ergodic averages along special sequences of times), but I’m afraid that I can’t provide more detailed explanations in such a short comment.

Also, you’re absolutely right that I forgot to add the word “non-periodic” in the item preceding the statement of Shah’s conjecture: I’ll fix this typo right now.

On the other hand, there is no need to add the non-periodicity in the statement of Shah’s conjecture itself: indeed, there are *no* periodic orbits for the horocycle in the context of Shah’s conjecture because we are dealing with *compact* quotients of SL(2,R) by assumption.

By:

matheuscmsson April 15, 2015at 10:27 am

Thanks for the explanation. I see the point now. So the summation in the second display is roughly the Moebius against f. So that the second display gives a more precise form of Sarnak’s conjecture in the horocycle flow context. While for the vague version they have been able to prove it in this case (B-S-Z), since they are able to treat the bilinear sum (which should be the main difficulty).

By:

Yongxiao Linon April 15, 2015at 11:24 am