In this first lecture, I give a general introduction about the plan of the lectures and the materials to be covered and start with the study of Riemannian submersions. Thanks to Ugo Boscain, the videos of the lectures are available and I greatly thank him for that.
It is a fact that many interesting hypoelliptic diffusion operators may be studied by introducing a well-chosen Riemannian foliation. In particular, several sub-Laplacians on sub-Riemannians manifolds often appear as horizontal Laplacians of a foliation and several of the Kolmogorov type hypoelliptic diffusion operators which are used in the theory of kinetic equations appear as the sum of the vertical Laplacian of a foliation and of a first order term.
The goal of the lectures is to survey some geometric analysis tools to study this kind of diffusion operators. We specially would like to stress the importance of subelliptic Bochner’s type identities in this framework and show how they can be used to deduce a variety of results ranging from topological informations on a sub-Riemannian manifold to hypocoercive estimates and convergence to equilibrium for kinetic Fokker-Planck equations. As an illustration of those methods we will give a proof of a sub-Riemannian Bonnet-Myers type compactness theorem and, in the last lecture, study a version of the Bakry-Emery criterion for Kolmogorov type operators.
For the proof of the sub-Riemannian Bonnet-Myers theorem we will adapt an approach developed in a joint program with Nicola Garofalo. The object of this program has been to propose a generalized curvature dimension inequality that fits a number of interesting subelliptic situations including the ones considered in these lectures. While some of them will be discussed here, the numerous applications of the generalized curvature dimension inequality are beyond the scope of the lectures and we will only give the relevant pointers to the literature. We focus here more on the Bonnet-Myers theorem and the geometric framework in which this curvature-dimension estimate is available.
The course will be organized as follows.
- We introduce first the concept of Riemannian foliation and define the horizontal and vertical Laplacians. Basic theorems like the Berard-Bergery-Bourguignon commutation theorem will be proved.
- We will study in details some examples of Riemannian foliations with totally geodesic leaves that can be seen as model spaces. Besides the Heisenberg group, these examples are associated to the Hopf fibrations on the sphere. We give explicit expressions for the radial parts of the horizontal and vertical Laplacians and for the horizontal heat kernels of these model spaces.
- We will prove a transverse Weitzenbock formula for the horizontal Laplacian of a Riemannian foliation with totally geodesic leaves. It is the main geometric analysis tool for the study of the horizontal Laplacian. As a first consequence of this Weitzenbock formula, we prove that if natural assumptions are satisfied, then the horizontal Laplacian satisfies the generalized curvature dimension inequality. As a second consequence, we will prove sharp lower bounds for the first eigenvalue of the horizontal Laplacian.
- We will introduce the horizontal semigroup of a Riemannian foliation with totally geodesic leaves and discuss fundamental questions like essential self-adjointness for the horizontal Laplacian and stochastic completeness. We also prove Li-Yau gradient bounds for this horizontal semigroup.
- By using semigroup methods, we will prove a sub-Riemannian Bonnet-Myers theorem in the context of Riemannian foliations with totally geodesic leaves.
- The last course will be an introduction to the analysis of hypoelliptic Kolmogorov type operators on Riemannian foliations. We mainly focus on the problem of convergence to equilibrium for the parabolic equation associated to the operator and on methods to prove hypocoercive estimates. The example of the kinetic Fokker-Planck equation is given as an illustration.
Let and be smooth and connected Riemannian manifolds.
Definition: A smooth surjective map is called a Riemannian submersion if its derivative maps are orthogonal projections.
Example: (Warped products) Let and be Riemannian manifolds and be a smooth and positive function on . Then the first projection is a Riemannian submersion.
Example: (Quotient by an isometric action) Let be a Riemannian manifold and be a closed subgroup of the isometry group of . Assume that the projection map from to the quotient space is a smooth submersion. Then there exists a unique Riemannian metric on such that is a Riemannian submersion.
If is a Riemannian submersion and , the set is called a fiber.
For , is called the vertical space at . The orthogonal complement of shall be denoted and will be referred to as the horizontal space at .
We have an orthogonal decomposition
and a corresponding splitting of the metric
The vertical distribution is of course integrable since it is the tangent distribution to the fibers, but the horizontal distribution is in general not integrable. Actually, in all the situations we will consider the horizontal distribution is everywhere bracket-generating in the sense that for every , . In that case it is natural to study the sub-Riemannian geometry of the triple . As we will see, many interesting examples of sub-Riemannian structures arise in this framework and this is really the situation which is interesting for us.
We shall mainly be interested in submersion with totally geodesic fibers.
Definition: A Riemannian submersion is said to have totally geodesic fibers if for every , the set is a totally geodesic submanifold of .
Example: (Quotient by an isometric action) Let be a Riemannian manifold and be a closed one-dimensional subgroup of the isometry group of which is generated by a complete Killing vector field . Assume that the projection map from to is a smooth submersion. Then the fibers are totally geodesic if and only if the integral curves of are geodesics, which is the case if and only if has a constant length.
Example: (Principal bundle) Let be a principal bundle over with fiber and structure group . Then, given a Riemannian metric on , a -invariant metric on and a connection form , there exists a unique Riemannian metric on such that the bundle projection map is a Riemannian submersion with totally geodesic fibers isometric to and such that the horizontal distribution of is the orthogonal complement of the vertical distribution. In the case of the tangent bundle of a Riemannian manifold, the construction yields the Sasaki metric on the tangent bundle.
As we will see, for a Riemannian submersion with totally geodesic fibers, all the fibers are isometric. The argument, due to Hermann relies on the notion of basic vector field that we now introduce.
Let be a Riemannian submersion. A vector field is said to be projectable if there exists a smooth vector field on such that for every , . In that case, we say that and are -related.
Definition: A vector field on is called basic if it is projectable and horizontal.
If is a smooth vector field on , then there exists a unique basic vector field on which is -related to . This vector is called the lift of .
Notice that if is a basic vector field and is a vertical vector field, then and thus is a vertical vector field. The following result is due to Hermann.
Proposition: The submersion has totally geodesic fibers if and only if the flow generated by any basic vector field induces an isometry between the fibers.
Proof: We denote by the Levi-Civita connection on . Let be a basic vector field. If are vertical fields, the Lie derivative of with respect to can be computed as
Because is orthogonal to , we now have . Similarly . We deduce
Thus the flow generated by any basic vector field induces an isometry between the fibers if and only if is always vertical which is equivalent to the fact that the fibers are totally geodesic submanifolds.