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 has
In 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 has
for 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-called spectral 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 1 The 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 2 The proof of this theorem provides us with a constant
as
, and, in fact,
in this regime. This is expected because 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 3 The 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 4 The 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 Lin on April 14, 2015
at 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: matheuscmss on April 15, 2015
at 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 Lin on April 15, 2015
at 11:24 am