harmonics forms on non compact manifolds.
The source of these notes is a series of lectures given at the CIMPA’s summer school ”Recent Topics in Geometric Analysis”. I want to thank the organizers of this summer school : Ahmad El Soufi and Mehrdad Shahsahani and I also want to thank Mohsen Rahpeyma who solved many delicate problems.
Theses notes aimed to give an insight into some links between cohomology, harmonics forms, the topology and the geometry of complete Riemannian manifolds. This is not a survey but a choice of few topics in a very large subject.
The first part can be regard as an introduction ; we define the space of harmonics forms, of cohomology. We recall the theorems of Hodge and de Rham on compact Riemannian manifolds. However the reader is assumed to be familiar with the basic of Riemannian geometry and with Hodge theory.
According to J. Roe () and following the classification of Von Neumann algebra, we can classify problems on harmonics forms in three types. The first one (type I) is the case where the space of harmonics forms has finite dimension, this situation is the nearest to the case of compact manifolds. The second (type II) is the case where the space of harmonics forms has infinite dimension but where we have a ”renormalized” dimension for instance when a discrete group acts cocompactly by isometry on the manifold; a good reference is the book of W. Lueck () and the seminal paper of M. Atiyah (). The third type (type III) is the case where no renormalization procedure is available to define a kind of dimension of the space harmonics forms. Here we consider only the type I problems and at the end of the first part, we will prove a result of J. Lott which says that the finiteness of the dimension of the space of harmonics forms depends only on the geometry at infinity.
Many aspects111almost all in fact ! of harmonics forms will not be treated here : for instance we will not describe the important problem of the cohomology of locally symmetric spaces, and also we will not speak on the pseudo differential approach developped by R. Melrose and his school. However the reader will find at the end of this first chapter a list of some interesting results on the topological interpretation of the space of harmonics forms.
In the second chapter, we are interested in the space of harmonic forms. This space contains the differential of harmonic functions with gradient. We will not speak of the endpoint result of A. Grigory’an ([32, 31]) but we have include a study of P.Li and L-F. Tam () and of A. Ancona () on non parabolic ends. In this chapter, we will also study the case of Riemannian surfaces where this space depends only on the complex structure.
The last chapter focuses on the cohomology of conformally compact manifolds. The result is due to R. Mazzeo () and the proof present here is the one of N. Yeganefar () who used an integration by parts formula due to H.Donnelly and F.Xavier ().
- 1 A short introduction to cohomology
2 Harmonics forms
- 2.1 Ends
- 2.2 versus
- 2.3 The two dimensional case
- 2.4 Bibliographical hints
3 cohomology of conformally compact manifold
- 3.1 The geometric setting
- 3.2 The case where .
- 3.3 A reduction to exact metric
- 3.4 A Rellich type identity and its applications
- 3.5 Application to conformally compact Riemannian manifold
- 3.6 The spectrum of the Hodge-deRham Laplacian
- 3.7 Applications to conformally compact manifolds
- 3.8 Mazzeo’s result.
- 3.9 Bibliographical hints
1. A short introduction to cohomology
In this first chapter, we introduce the main definitions and prove some preliminary results.
1.1. Hodge and de Rham ’s theorems
1.1.1. de Rham ’s theorem
Let be a smooth manifold of dimension , we denote by the space of smooth differential forms on and by the subspace of formed by forms with compact support; in local coordinates , an element has the following expression
where are smooth functions of . The exterior differentiation is a differential operator
locally we have
This operator satisfies , hence the range of is included in the kernel of .
The de Rham’s cohomology group of is defined by
These spaces are clearly diffeomorphism invariants of , moreover the deep theorem of G. de Rham says that these spaces are isomorphic to the real cohomology group of , there are in fact homotopy invariant of :
From now, we will suppress the subscript for the de Rham’s cohomology. We can also define the de Rham’s cohomology with compact support.
The de Rham’s cohomology group with compact support of is defined by
These spaces are also isomorphic to the real cohomology group of with compact support. When is the interior of a compact manifold with compact boundary
then is isomorphic to the relative cohomology group of :
where is the inclusion map.
1.1.2. Poincaré duality
When we assume that is oriented 222It is not a serious restriction we can used cohomology with coefficient in the orientation bundle. the bilinear map
is well defined, that is to say doesn’t depend on the choice of representatives in the cohomology classes or (this is an easy application of the Stokes formula). Moreover this bilinear form provides an isomorphism between and . In particular when is closed () and satisfies that
then there exists such that
1.1.3 .a) The operator . We assume now that is endowed with a Riemannian metric , we can define the space whose elements have locally the following expression
where and globally we have
The space is a Hilbert space with scalar product :
We define the formal adjoint of :
by the formula
When is the Levi-Civita connexion of , we can give local expressions for the operators and : let be a local orthonormal frame and let be its dual frame :
where we have denote by
the interior product with the vector field .
1.1.3 .b) harmonic forms. We consider the space of closed forms :
where it is understood that the equation holds weakly that is to say
That is we have :
hence is a closed subspace of . We can also define
Because the operator is elliptic, we have by elliptic regularity : . We also remark that by definition we have
and we get the Hodge-de Rham decomposition of
where the closures are taken for the topology. And also
1.1.3 .c) cohomology: We also define the (maximal) domain of by
that is to say if and only if there is a constant such that
In that case, the linear form extends continuously to and there is such that
We remark that we always have .
We define the space of reduced cohomology by
The space of non reduced cohomology is defined by
These two spaces coincide when the range of is closed; the first space is always a Hilbert space and the second is not necessary Hausdorff. We also have hence we always get a surjective map :
In particular any class of reduced cohomology contains a smooth representative.
1.1.3 .d) Case of complete manifolds. The following result is due to Gaffney (, see also part 5 in ) for a related result)
Assume that is a complete Riemannian metric then
We already know that , moreover using a partition of unity and local convolution it is not hard to check that if has compact support then we can find a sequence of smooth forms with compact support such that
So we must only prove that if then we can build a sequence of elements of with compact support such that
We fix now an origin and denote by the closed geodesic ball of radius and centered at , because is assumed to be complete we know that is compact and
We consider with with support in such that
and we define
Then is a Lipschitz function and is differentiable almost everywhere and
where is the differential of the function . Let and define
the support of is included in the ball of radius and centered at hence is compact. Moreover we have
Moreover when we have
But for almost all , we have hence
Hence we have build a sequence of elements of with compact support such that ∎
When is a complete Riemannian manifold then the space of harmonic forms computes the reduced cohomology :
With a similar proof, we have another result :
When is a complete Riemannian manifold then
Clearly we only need to check the inclusion :
We consider again the sequence of cut-off functions defined previously in (1.5). Let satisfying by elliptic regularity we know that is smooth. Moreover we have :
Similarly we get :
Summing these two equalities we obtain :
Hence when tends to we obtain
This proposition has the consequence that on a complete Riemannian manifold harmonic functions are closed hence locally constant. Another corollary is that the reduced cohomology of the Euclidean space is trivial333This can also be proved with the Fourier transform. :
On the Euclidean space a smooth form can be expressed as
and will be a solution of the equation
if and only if all the functions are harmonic and hence zero because the volume of is infinite.∎
When is not complete, we have not necessary equality between the space (whose elements are sometimes called harmonics fields) and the space of the solutions of the equation . For instance, on the interval the space is the space of constant functions, whereas solutions of the equation are affine. More generally, on a smooth compact connected manifold with smooth boundary endowed with a smooth Riemannian metric, then again is the space of constant functions, whereas the space is the space of harmonic function; this space is infinite dimensionnal when .
1.1.3e) Case of compact manifolds The Hodge’s theorem says that for compact manifold cohomology is computed with harmonic forms :
If is a compact Riemannian manifold without boundary then
When is the interior of a compact manifold with compact boundary and when extends to (hence is incomplete) a theorem of P. Conner () states that
and is the inward unit normal vector field. In fact when is a compact subset of with smooth boundary and if is a complete Riemannian metric on then for , we also have the equality
where if is the inward unit normal vector field, we have also denoted
1.2. Some general properties of reduced cohomology
1.2.1. a general link with de Rham’s cohomology
We assume that is a complete Riemannian manifold, the following result is due to de Rham (theorem 24 in )
Let and suppose that is zero in that is there is a sequence such that
then there is such that
In full generality, we know nothing about the behavior of at infinity.
We can always assume that is oriented, hence by the Poincaré duality (1.1.2), we only need to show that if is closed then
But by assumption,
Hence the result.∎
This lemma implies the following useful result which is due to M. Anderson ():
There is a natural injective map
As a matter of fact we need to show that if is closed and zero in the reduced cohomology then it is zero in usual cohomology: this is exactly the statement of the previous lemma (1.11). ∎
1.2.2. Consequence for surfaces.
These results have some implications for a complete Riemannian surface :
If the genus of is infinite then the dimension of the space of harmonic forms is infinite.
If the space of harmonics forms is trivial then the genus of is zero and is diffeomorphic to a open set of the sphere.
As a matter of fact, a handle of is a embedding such that if we denote then is connected.
We consider now a function on depending only on the second variable such that
then is a form with compact support in and we can extend to all ; we obtain a closed -form also denoted by which has compact support in . Moreover because is connected, we can find a continuous path joining to ; we can defined the loop given by
It is easy to check that
hence is not zero in . A little elaboration from this argument shows that
1.3. Lott’s result
We will now prove the following result due to J.Lott ():
Assume that and are complete oriented manifold of dimension which are isometric at infinity that is to say there are compact sets and such that and are isometric. Then for
We will give below the proof of this result, this proof contains many arguments which will be used and refined in the next two lectures. In view of the Hodge-de Rham theorem and of J. Lott’s result, we can ask the following very general questions :
What are the geometry at infinity iensuring the finiteness of the dimension of the spaces ?
Within a class of Riemannian manifold having the same geometry at infinity :
What are the links of the spaces of reduced cohomology with the topology of and with the geometry ”at infinity” of ?
There is a lot of articles dealing with these questions, I mention some of them :
In the pioneering article of Atiyah-Patodi-Singer (), the authors considered manifold with cylindrical end : that is to say there is a compact of such that is isometric to the Riemannian product . Then they show that the dimension of the space of -harmonic forms is finite ; and that these spaces are isomorphic to the image of the relative cohomology in the absolute cohomology. These results were used by Atiyah-Patodi-Singer in order to obtain a formula for the signature of compact Manifolds with boundary.
In [48, 50], R. Mazzeo and R.Phillips give a cohomological interpretation of the space for geometrically finite real hyperbolic manifolds. These manifolds can be compactified. They identify the reduced cohomology with the cohomology of smooth differential forms satisfying certain boundary conditions.
The solution of the Zucker’s conjecture by L.Saper-M.Stern and E.Looijenga (,) shows that the spaces of harmonic forms on Hermitian locally symmetric space with finite volume are isomorphic to the middle intersection cohomology of the Baily-Borel-Satake compactification of the manifold. An extension of this result has been given by A.Nair and L.Saper (,). Moreover recently, L. Saper obtains the topological interpretation of the reduced cohomology of any locally symmetric space with finite volume (). In that case the finiteness of the dimension of the space of harmonics forms is due to A. Borel and H.Garland ().
In a recent paper () Tamás Hausel, Eugenie Hunsicker and Rafe Mazzeo obtain a topological interpretation of the cohomology of complete Riemannian manifold whose geometry at infinity is fibred boundary and fibred cusp (see [49, 62]). These results have important application concerning the Sen’s conjecture ([34, 59]).
In , J. Lott has shown that on a complete Riemannian manifold with finite volume and pinched negative curvature, the space of harmonic forms has finite dimension. N. Yeganefar obtains the topological interpretation of these spaces in two cases, first when the curvature is enough pinched () and secondly when the metric is Kähler ().
Proof of J. Lott’s result. We consider a complete oriented Riemannian manifold and a compact subset with smooth boundary and we let be the exterior of , we are going to prove that
this result clearly implies Lott’s result.
The co boundary map is defined as follow: let where is a smooth representative of , we choose a smooth extension of , then is a closed smooth form with support in and if is the inclusion we have . Some standard verifications show that
is well defined, that is it doesn’t depend of the choice of nor on the smooth extension of .
The inclusion map induced a linear map (the restriction map)
We always have
Proof of lemma 1.14. First by construction we have hence we only need to prove that
Let and let a smooth representative of , we know that has a smooth extension such that is zero in . That is to say there is a smooth form such that
We claim that the form defined by
is weakly closed. As a matter of fact, we note the unit normal vector field pointing into and the inclusion, then let with the Green’s formula, we obtain
We clearly have , hence
Now because has finite dimension, we know that
Hence we get the implication :
To prove the reverse implication, we consider the reduced cohomology of relative to the boundary . We introduce
We remark here that the elements of have compact support in in particular their support can touch the boundary; in fact a smooth closed form belongs to if and only its pull-back by is zero. This is a consequence of the integration by part formula
where is the Riemannian volume on induced by the metric and is the unit inward normal vector field.
We certainly have and we define
These relative (reduced) cohomology space can be defined for every Riemannian manifold with boundary. In fact, these relative (reduced) cohomology spaces also have an interpretation in terms of harmonics forms :
There is a natural map : the extension by zero map :
When we define to be on and zero on , is clearly a bounded map moreover