An important part of my research from the past few years has been to try to understand the notion of Ricci curvature lower bound in sub-Riemannian geometry. On this problem, my point of view is more the one of an analyst or even a probabilist than a geometer: My main device is a second order differential operator, a sub-Laplacian, and my main tools to understand global geometric properties are heat flow techniques. In sub-Riemannian geometry, this point of view can be fruitful in some aspects that I will describe now.
Although during the last three decades there have been several advances in the study of sub Riemannian spaces and the closely connected theory of sub-elliptic pde’s, most of the developments to date are of a local nature. As a consequence, the theory presently lacks a body of results which, similarly to the Riemannian case, connect properties of solutions of the relevant pde’s to the geometry of the ambient manifold. To illustrate this point, let me discuss some of the most fundamental local estimates concerning the subelliptic Hörmander‘s type operators.
Let be a smooth and connected Riemannian manifold and be a smooth measure on . Let us assume that there exists on a family of vector fields that satisfy the bracket generating condition. We are interested in the subelliptic operator which is symmetric with respect to the measure . In order to study , the Riemannian distance of is most of the times confined to the background. There is another distance on , that was introduced by Carathéodory, which plays a central role. A piecewise curve is called subunitary at if for every one has We define the subunit length of as . If we indicate with the family of subunit curves such that and , then thanks to the fundamental accessibility theorem of Chow-Rashevsky the connectedness of implies that for every . This allows to define the sub-Riemannian distance on as follows
Another elementary consequence of the Chow-Rashevsky theorem is that the identity map is continuous and thus, the topologies of and coincide. Several fundamental properties of the metric have been discussed in the seminal paper by Nagel, Stein and Wainger. In particular, the following result provides a uniform local control of the growth of the metric balls in . It is known as the local doubling condition.
Theorem 1: For any there exist constants such that with one has
Moreover, given any compact set one has
This remarkable theorem is a fundamental local property of the metric space and may be connected to several local estimates related to the operator . We mention in particular the Poincaré inequality on balls:
Theorem 2: (D. Jerison) Let and . There exists a constant such that for every and ,
We stress again that these theorems and the methods to prove them are local in nature. This naturally raises the following question:
Question 1: Can we find conditions on the operator ensuring that global versions of theorems like Theorems 1 and 2 hold true ?
By global versions of Theorems 1 and 2, we mean that the estimates should hold true on non necessarily compact manifolds and with constants uniformly controlled by the sub-Riemannian geometry of . To find a way to tackle this question, let us first discuss what could be a satisfying answer in the simplest non trivial case: The case where is elliptic, that is form a basis of the tangent space at each point. In this case, there is a definite satisfying answer to Question 1: Global versions of the Theorems 1 and 2 may be obtained under the assumption that satisfies a curvature dimension inequality.
The notion of curvature dimension inequality originates from the analysis of the Laplace-Beltrami operator on a Riemannian manifold and more precisely from the Bochner’s formula which states that if is a Riemannian manifold with Laplacian , for any one has
Using the Cauchy-Schwarz inequality, which gives , we thus see that the assumption that the Riemannian Ricci tensor on be bounded from below by implies
What is remarkable is that this inequality perfectly captures the notion of Ricci lower bounds and dimensional upper bound: On a finite dimensional Riemannian manifold the inequality is actually equivalent to Ric and .
This observation leads Bakry to define the notion of curvature dimension inequality for arbitrary second-order differential operators. Let be, as before, a second order differential operator. Consider the following bilinear differential forms on functions ,
When , we simply write , . A straightforward computation shows that if, in a local chart,
then, in the same chart
As a consequence, for every smooth function , The bilinear form is of second order and has no sign in general. We observe that if is a Laplace-Beltrami operator, then Bochner’s formula writes
Definition: The operator is said to satisfy the curvature dimension inequality CD, , , if for every function :
As we just pointed it out, if is a Laplace-Beltrami operator, then it satisfies CD if and only if Ric and . But, what is interesting here is that the curvature dimension inequality may be satisfied without necessarily being a Laplace-Beltrami operator. In that case, the curvature dimension inequality is equivalent to a lower bound on the Bakry-Emery tensor of . We have then the following, a priori, satisfying answer to our Question 1:
Fact: If satisfies CD, with and , then we have global versions of Theorems 1 and 2.
More precisely, we have the following result:
Theorem: Let be a subelliptic second order operator that satisfies CD, with and . Then, there exist constants , depending only on and , for which one has for every and every :
for every .
Unfortunately, this fact only has a limited interest for us, since it is possible to prove that if a subelliptic operator satisfies CD, with and , then is actually elliptic ! With this in mind, the next question that naturally arises is:
Question 2: Is there an appropriate notion of curvature dimension inequality that applies to subelliptic operators ?
At this level of generality, this question certainly does not admit a definite satisfying answer. However with my co-author, N. Garofalo, we introduced a curvature dimension inequality that applies to a large class of subelliptic operators.
To introduce the relevant setting we consider a smooth, connected manifold endowed with a smooth measure and a smooth, locally subelliptic, second order differential operator which is symmetric with respect to . As above, we associate with the following symmetric, first-order, differential bilinear form:
There is a genuine distance canonically associated with which is continuous and defines the topology of . It is given by
We always assume that this distance is finite and that the metric space is complete. This implies that is essentially self-adjoint.
We also suppose, and this is the main new ingredient, that we are given on a symmetric, first-order differential bilinear form , satisfying
The following hypothesis on plays a pervasive role in the results that we will describe and is natural in several geometric situations: For every , we have
Before we proceed with the discussion, we pause to stress that, in the generality in which we work the bilinear differential form , unlike , is not a priori intrinsic. Whereas is determined once is assigned, the form in general is not intrinsically associated with . However, in several geometric examples the choice of will be natural and even canonical, up to a constant. This is the case, for instance, for one of the important geometric examples covered by our analysis: The CR Sasakian manifolds. Roughly speaking, we can think of as an orthogonal complement of : the bilinear form represents the square of the length of the gradient in the horizontal directions, whereas represents the square of the length of the gradient along the vertical directions.
Given the subelliptic operator and the first-order bilinear forms and on , we introduce the following second-order differential bilinear forms:
Observe that if , then as well. As for and , we will use the notations , . The main definition and tool we proposed is the following:
Definition: We say that the subelliptic operator satisfies the generalized curvature-dimension inequality CD if there exist constants , , , and such that the inequality
holds for every and every .
The motivation behind this definition comes from examples arising in geometry.
Theorem: Let be a strictly pseudo convex CR manifold with real dimension and vanishing Tanaka-Webster pseudohermitian torsion, i.e., a Sasakian manifold. The Tanaka-Webster Ricci tensor satisfies the lower bound
if and only if the CR sub-Laplacian of satisfies the curvature-dimension inequality CD with . Moreover, the hypothesis is satisfied.
With this examples in mind let us now come back to the general framework and give a good answer to Question 1 in many purely subelliptic examples. In the following theorem that I proved with N. Garofalo and M. Bonnefont, the hypothesis is supposed to be satisfied.
Theorem: Let be a subelliptic second order operator that satisfies CD, with , , and . Then, there exist constants , depending only on and , for which one has for every and every :
for every .
Besides this result, the generalized curvature dimension inequality was also used to prove a Bonnet-Myers type theorem, the first of its kind in sub-Riemannian geometry.
The study of this generalized curvature dimension condition and of some of its extensions has generated quite a lot of research with my colleagues Michel Bonnefont, Nicola Garofalo, Isidro Munive and my students Bumsik Kim and Jing Wang.