Open Collections

UBC Theses and Dissertations

UBC Theses Logo

UBC Theses and Dissertations

Some new results on L² cohomology of negatively curved Riemannian manifolds Cocos, Mihail 2003

Your browser doesn't seem to have a PDF viewer, please download the PDF to view this item.

Item Metadata

Download

Media
831-ubc_2003-854361.pdf [ 1.58MB ]
Metadata
JSON: 831-1.0080053.json
JSON-LD: 831-1.0080053-ld.json
RDF/XML (Pretty): 831-1.0080053-rdf.xml
RDF/JSON: 831-1.0080053-rdf.json
Turtle: 831-1.0080053-turtle.txt
N-Triples: 831-1.0080053-rdf-ntriples.txt
Original Record: 831-1.0080053-source.json
Full Text
831-1.0080053-fulltext.txt
Citation
831-1.0080053.ris

Full Text

S O M E N E W R E S U L T S O N I? C O H O M O L O G Y O F NEGATIVELY CURVED RIEMANNIAN MANIFOLDS by MIHAIL COCOS PhD, University of British Columbia 2003 MSc, University of New Mexico 1997 BSc, University of Bucharest 1994 A THESIS S U B M I T T E D IN P A R T I A L F U L F I L L M E N T O F THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY in T H E F A C U L T Y O F G R A D U A T E STUDIES Department of Mathematics We accept this thesis as conforming to the required standard  T H E U N I V E R S I T Y O F BRITISH C O L U M B I A March 2003 © Mihail Cocos, 2003  In presenting this thesis in partial fulfillment of the requirements for an advanced degree at the University of British Columbia, I agree that the Library shall make it freely available for reference and study. I further agree that permission for extensive copying of this thesis for scholarly purposes may be granted by the head of my department or by his or her representatives. It is understood that copying or publication of this thesis for financial gain shall not be allowed without my written permission.  Department of Mathematics The University of British Columbia Vancouver, Canada  Abstract The present paper is concerned with the study of the L cohomology spaces of negatively curved manifolds. The first half presents a fmiteness and vanishing result obtained under some curvature assumptions, while the second half identifies a large class of metrics having the same L cohomology as the Hyperbolic space. For the second part we rely on the Heat-Flow method initiated by M.Gafmey. 2  2  Acknowledgement: I wish to thank Professor Jing Y i Chen for his constant encouragement and for the numerous helpful discussions we had regarding the material presented in this paper.  ii  Table of Contents Abstract  ii  Table of Contents  iii  Introduction  iv  Chapter 1.  Preliminaries  Chapter 2.  The Finite Dimensionality of 7i 's and Some  Chapter 3.  1 fc  Vanishing Results  12  On the Heat-Flow Method of Gaffney  24  Bibliography  33  / J  iii  Introduction The study of L harmonic forms on a complete Riemannian manifold is a very interesting and important subject; it also has numerous applications in the field of Mathematical Physics (see for example [22], [16]). For topological applications of L harmonic forms on noncompact manifolds see [5], [24]. It is well known that on the Hyperbolic space the harmonic L forms are zero, except in the case of forms of degree equal to the half dimension. A possible generalization of this is the following conjecture of Dodziuk & Singer [9], [23]: 2  2  2  Conjecture: Let M be a complete Riemannian manifold with sectional curvature K < —5 < 0. Then M has the same L cohomology as E P . n  2  There is another, probably more compelling reason for considering the conjecture above. Namely, it can be used to obtain topological information about compact quotients of M, as we shall now explain following Atiyah [2]. Let r be a discrete cocompact group of isometries acting freely on our noncompact manifold M. "Cocompact" means that the quotient M/T is compact. As the action of T is free, M/T is thus a compact Riemannian manifold. Since T commutes with the Laplace operator, the Hilbert spaces H are T-modules. Atiyah defines real valued L - B e t t i numbers k  2  ^  = dim 7Y , fc  r  satisfying Poincare duality, i.e B$ = J3'^ ~ teristic imM  k )  a  n  d the corresponding 1? -Euler charac-  x(M,r) = £ ( - l ) B * . f c  k  Atiyah shows that x ( M , T) equals the ordinary Euler characteristic of M/T which is an integer, and this is the basis of the relation between L -cohomology of M and the topology of M/T alluded to above. 2  More precisely, Hopf asked whether the sign of the sectional curvature determines the Euler characteristic of a compact Riemannian manifold. For example, if i V is a compact manifold of dimension In with negative sectional curvature, one should have 2 n  (-ir (jv ) > o. 2n  x  iv  Since the sign of the sectional curvature does not determine the sign of the Gauss-Bonnet integrand, this cannot be deduced from algebraic considerations alone.  Hopf conjecture is implied by the above mentioned conjecture as Dodziuck [8] and Singer [22] show by proving B£ = 0 if and only if 7i = 0. k  However, Anderson [1] constructed simply connected, complete, negatively curved manifolds for which the Dodziuck-Singer conjecture does not hold. This difficulty might be of a purely technical nature as Anderson's examples do not admit compact quotients. Having in mind the examples produced by Anderson we should obviously modify the conjecture of Dodzmk & Singer to the following: Conjecture: Let M be the universal cover of a oriented Riemannian manifold with negative sectional curvature. Then M has the same I? cohomology as EP\ n  It is now easy to see, although not very interesting from the point of view of Hopf's original conjecture, that in the two dimensional case the conjecture holds. Let us sketch the proof of this conjecture for covers of compact surfaces: Let ijj : ( M , g) —> ( M , g) represent the cover map of the negatively curved two dimensional manifold M . Since the sectional curvature is negative, it follows the genus of the surface M is strictly larger than one. Consequently M admits a metric h of constant sectional curvature equal to — 1 . Consider now the pullback of this metric on the universal cover of M. Let us denote this metric by h = tp*h. According to Cartan-Hadamard theorem [7] the Riemannian manifold (M, h) is isometric to the hyperbolic plane, hence they have the same L cohomology. Moreover, since M is compact it is obvious that g and h are quasi-isometric. This also implies that "upstairs" on the universal cover, h and g are also quasi-isometric. Hence the conjecture in dimension two holds. 2  2  As we see from the considerations above there are serious reasons to belive the conjecture will probably hold only in the case of universal covers of compact manifolds. Also we think it is very important that such metrics should be compared pointwise with the standard hyperbolic metric. A small step in this direction is done in the last chapter of this paper. In a positive direction there is the following result of Donnelly and Xavier [11], Theorem (Donnelly & Xavier): Let M be a complete, simply connected manifold, with  pinched sectional curvatures -1 < K < -1 + e for 0 < e < 1. Ifp<~=- then H = 0, for  e<l-—?— . (n — ly  p  2  A more recent refinement of their result is due to Jost and X i n [18],  Theorem (Jost & Xin): Let M be a Cartan-Hadamard manifold of dimension m > 2 whose sectional curvature satisfies —a < K < 0 and whose Ricci curvature is bounded from above by —b , where a,b are positive constants. If b > 2pa, then W — 0, provided p ^ m/2. 2  2  A more complete statement was made by Gromov [14], which settles the conjecture in the case of d-bounded Kahler manifolds, Theorem (Gromov): If M is a complete d-bounded Kahler manifold (in the sense that dn = to; LU being the Kahler form of M and n is bounded in the supremum norm) then H = 0 iffk^n andH ^ 0. 2n  k  n  Also a very interesting result in this direction is due to J.Dodziuk [10], Theorem (Dodziuk): Suppose M is diffeomorphfic with M and has a metric which in terms of geodesic polar coordinates centered at some point of M can be written as n  ds = dr + f{r) d9 . 2  Then H = 0 if k ^ n/2 and rl l is infinite dimensional. k  n  2  f ~ dr n  l  2  2  = oo. If n is even and J^°l/fdr  < oo then  2  One of the first results on the vanishing and finite dimensionality of the space of harmonic L forms were obtained by E.Vesentini in [25]. The main result of the first part of this paper follows his ideas closely. This result can be stated as follows: 2  Theorem 0.0.1. Let M be a complete manifold of infinite volume. Then we have the following: a) / / A i > I (R )  then H = 0,  k  k  M  b) IfXi > I \B (R ) k  M  r  then dim7^° < oo.  Here lM(R ) is a positive quantity depending on the curvature operator acting on kforms (see Definition 2.0.17) and Ai is the Poincare constant of the manifold. As a more k  vi  practical application of Theorem 0.0.1 we also prove vanishing and finiteness of the L spaces if the sectional curvature is appropriately pinched outside some compact set (see Corollary 2.0.20). 2  Following an observation of Gromov in [14] one can see that the space of I? harmonic forms is invariant under bi-Lipschitz homeomorphisms. Using the heat-flow method, initiated by Gaffney in [13], the author proves that if M is a noncompact manifold and g and g are two complete metrics on M such that L Q,g C L Cl then there exist a map Hg'•Jig ~~^ H-g which is linear and injective. As an application of this statement the author constructs a large class of metrics (which includes the quasi-isometry class of the hyperbolic metric) having the same I? cohomology as the Hyperbolic space. The nature of this comes from comparing the metric pointwise with the Hyperbolic one. 2  2  g  vii  Chapter 1 Preliminaries  Let M be a smooth, complete and oriented Riemannian manifold. Let C°°Vt denote the k  space of smooth  forms. The metric on M induces a natural pointwise scalar product  on forms and let us denote this by (a(x),/3(x)) where x G M and a,(3 G C°°£l . k  Thus  we obtain the square of length at a point x € M of a form a G fl as {a(x), a(x)) > 0. k  This leads to the definition of a norm of a form (if finite) by  JM  where dV is the volume form of the manifold and x represents the variable of integration.  By completing this space with respect to the above mentioned norm we obtain a Hilbert space, henceforth denoted by L Vt . The inner product in this space will be denoted by 2  k  (1.1)  where a,/3 G L Vt . W i t h the help of the metric one could naturally define the Hodge 2  k  Laplacian of the manifold  A : C°°O -» C°°Q , fc  k  A = d6 + 5d. In the above formula  d is the exterior derivative and 8 the formal adjoint. More details of the definition of A can be found in [17], [21].  1  One of the goals of this paper is to study the the space of L -harmonic forms (i.e Aa = 0 2  and a G L Q ). The heat equation will provide an injection from the space of compactly 2  k  supported de Rham cohomology classes into the space of L harmonic forms. This will 2  be shown in more detail in what follows.  The definition of I? cohomology groups is a slight modification of de Rham groups. Next we give the precise definition of these groups as well as the definition of the space of I? harmonic forms.  Definition 1.0.2.  E (L M) k  =  2  Z {L M)/B {L M) k  2  k  2  where  Z (L M) = {a\ae C°°Q n L Q , da = 0}, k  2  k  2  k  and  B (L M) = {(3\/3e k  B (L M) k  2  2  c°°n nL n , k  2  k  3^ e  c ^- n L n - \ p = d^}. 00  1  2  k  is the closure with respect to the L norm. 2  Definition 1.0.3.  7i = {a I a e C°°Q n L tt , Aa = 0} k  k  2  k  If M is compact, B is closed in Z , i.e. B = B , and the L cohomology is the same as k  k  k  k  2  the ordinary de Rham cohomology. In the compact case, in turn we have Hodge theory representinig each de Rham cohomology class by a harmonic form. In this sense, L 2  cohomology is the appropriate extension to the noncompact case inasmuch as here every L -cohomology class can be represented by an L -harmonic form. In the noncompact 2  2  case, B need not be closed in Z , essentially because the spectrum of the Laplacian k  k  2  need not have a positive lower bound, or equivalently, the Poincare inequality need not hold. A n example is the euclidean space R . For hyperbolic spaces, however, we do have N  such inequalities, and consequently B is closed. In any case, however, in order to have k  a uniform theory, one considers B in place of B . k  k  Examples: i) H*{R ) n  ii) W{W) H (U ) n  2n  = 0. = 0 if n is odd, and H {M. ) k  = 0 for every k ^ n. The dimension of  2n  is infinite.  The following decomposition theorem due to de Rham is well known ,  Theorem (de Rham): following  Let M be a complete Riemannian  manifold then we have the  decomposition:  Ln 2  k  = dL ^' 2  1  ®H ® k  8L Q . 2  k+1  A n easy corollary of this is:  Corollary 1.0.4.  If M is a complete Riemannian  manifold then H  k  ^  H (L M). k  2  It is well known ( cf. [14]) that for the hyperbolic space H , UJ is nonzero. Since H 2 n  is diffeomorphic to R  2n  1  2 n  ,on which 7i = 0, the H s are not topological invariants. As we k,  n  have already seen, the 7-^'s usually depend on the metric.  What is also known is that in the compact case a form is harmonic (Aa = 0) if and only if da = 0 and 5 a = 0, and this is a consequence of Stoke's Theorem and the very definition of S operator. The same result remains valid for an L -harmonic form (possibly an IP 2  form) on a complete manifold. The next proposition is due to Andreotti and Vesentini: 3  P r o p o s i t i o n 1.0.5. Let a be an L  2  harmonic form on a complete Riemannian  manifold.  Then da = 0 and 8a = 0.  P R O O F . We want to justify the integral identity ( A a , a) = (da, da) + (8a, 8a). We consider a family of cutoff functions a satisfying the following conditions: e  i) a is smooth and takes values in the interval [0,1] ; furthermore, a has compact e  e  support. ii) The subsets aj (l) l  C M exhaust M as e -» 0 .  iii) \da \ < ea everywhere on M 2  e  e  The construction of such a function is always possible on a complete Riemanian manifold and it is a standard technicality. A simple computation will give us 0=(Aa,a a) e  = I (e) + I (e) 1  where  and  By Schwarz inequality this yields  and hence I^(e) —> 0 for e —> 0 . •  4  2  The following proposition will be used in the following sections and it essentially asserts that d and * are adjoint operators on I? forms on a complete manifold. The proof is a typical application of a cut-off function argument. We give the proof in detail. P r o p o s i t i o n 1.0.6. Let M be a complete Riemannian manifold and a, (3, da, 5(3 be square integrable forms. Then (da, (3)  = (a, 5(3).  PROOF. Let a and (3 as above and let 0 < ip < 1 be a sequence of cut-off functions with n  the following two properties: \dip \ < £ for some positive constant C > 0 and ip (x) —»• 1 n  n  for every x E M. We have the pointwise identity (d(ip a),(3) = (dip Aa + i\) da,(3) n  n  n  (1.2)  and integrating the left hand side we get  Since ip., n  1 pointwise we have, according to the Lebesque Dominated Convergence  Theorem (1.3)  Now integrating the right hand side of (1.2) and using the pointwise estimate  (diP Aa,(3) < \di) \\a\\(3\ <-\a\\(3\ n  n  toghether with Lebesque' theorem, we get (1.4) Using (1.2), (1.3) and (1.4) we get the desired result. 5  •  As we have already seen, the L cohomology spaces are not topological invariants, yet one 2  recaptures the invariance if one restricts to bi-Lipschitz homeomorphism. More generally, let / : M —-> N be a Lipschitz map between Riemannian manifolds, i.e.,  dist (f(xi),f(x )) N  <  2  Cdist (x ,x ) M  1  2  for all pairs of points X\ and x in M. (If / is a smooth map, this is equivalent to|\df \\L<* < 2  const.) Then the induced map on forms, called f° sends L -forms on N to M. 2  The  composition of f° on 7i*(N) with the orthogonal projection h : L Vt*(M) -+ H*{M) 2  defines a linear map, between the harmonic spaces /* :H*(N) -*H*{M). It is well known that / * is Lipschitz homotopy invariant. That is, if / i and/2 can be joined by a homotopy F : M x [0,1] —>• N, which is a Lipschitz map for the product metric in M x  [0,1],  then / j * - / * . 2  R e m a r k . If M an N are compact one gets this way the usual homotopy invariance of 7i* as all maps can be approximated by Lipschitz maps. A more interesting case is that where M and N are infinite coverings of compact manifolds, say MQ and A^o respectively, and pertinent maps / : M —> N are lifts of continuous maps /  0  : M —> - AT . Here again 0  0  we may assume /o and / are Lipschitz, and then we can see that if /o is a homotopy equivalence, then the induced map /* : H*(N) is an isomorphism.  H*(M)  }  Before stating the following useful theorems we need to make a few definitions. In what 6  follows H is a separable Hilbert space and A is a linear operator defined on a dense subset V c H. Definition 1.0.7. Let A and H be as above. We say the operator A is closed, if and only if its grapf is a closed subset of H x H.  Let A,D and H as before. We call the operator A having domain D an extension of A if and only if the following hold i) D c D ii) Ax = Ax for any x  E  D  Definition 1.0.8. We say the operator A is closable if and only if there exist A a closed extension of A.  The smallest ( with respect to the inclusion of the domain) closed extension of an operator A is called the closure of A and is usually denoted by A.  Let us denote now by A(D) the range of the operator A . Here again we assume that D — H, i.e. D is dense in H. We shall define the operator A* by the identity  (Au, v) — (u, w), for every u E D, A*v = w  (1.5)  More precisely, the domain of the operator A*, here denoted by D*, is the set of all v for which there exist w E H such that (1.5) holds. If the vector w exists, for a given v, then it is unique by the classical Riesz Theorem. Definition 1.0.9. We call A a self adjoint operator if and only if A = A*.  7  Essential in the proof of the existence of the solution of the Heat Equation for forms is the Spectral Theory of Self-Adjoint operators, namely the Spectral Theorem of VonNeumann and the Friedrichs extension result. A n excellent reference for this is [19]. In what follows we state the existence and regularity of the solution to the (abstract) heat equation. This result is mainly due to F. Browder [3]. We consider A as being a second order elliptic operator acting on smooth sections of a fiber bundle endowed with a smooth scalar product.  Suppose the operator fulfills the following conditions: i) (Aa, (3) = (a, A(5) for any compactly supported a, (5, ii) (Act, a) > 0 for any compactly supported a. We are interested in finding a regular solution to the Cauchy problem:  da (1.6)  9t  a(0)  = a £ L. 2  0  More precisely we are interested in finding a path a: [0, oo) —>L T such that the two con2  ditions within the accolade are fulfilled. Here T denotes the space of sections of the fiber bundle. The most important result is contained in the following theorem of Browder, [3]:  Theorem(Browder):  There is always a C°° solution to the Cauchy problem if A  satisfies conditions (i) and (ii) above. Also lim^oo a(t) G ker A  8  S k e t c h of P r o o f :  Since under this assumptions, A is a semibounded operator, there  exist a semibounded self-adjoint extension A. Let \x be the spectral measure associated to A. Then the solution to the Cauchy problem( 1.6 )is given by  poo  a(x,t) = / Jo  e~ dfi\ao(x). Xt  Formally we may write the solution above as  a = e~ a tA  0  and by the spectral theorem we have poo  A a=  /  m  \ e- dii a (x) m  xt  x  Jo  0  hence Aa m  e L. 2  The above inclusion implies a{-,t)  E W' m  2  for an arbitrarly m. Hence by the Sobolev Imbedding Theorem we get spatial regularity. The temporal regularity is obvious. • The next theorem is due to M . Gaffney :  Theorem(Gaffney):  Let M  n  be a complete Riemannian manifold. Then the closure  of the Laplacian on forms is self-adjoint.  For the proof of this fact see [13]. As a result of these two theorems we have the following:  9  P r o p o s i t i o n 1.0.10. There is always a unique solution to the Cauchy problem of the heat equation for forms and the solution has the following a) l i m ^ o o a(t) t  b) a, 8a, da, Aa  6  properties:  H, k  are all in I? at any time t > 0,  c) the solution is C°° for all t > 0, d) if the initial data ao is closed then a is closed for all t > 0, e) the cohomology class is preserved by the flow.  Sketch of P r o o f : We shall only prove parts (d) and (e), since all the others are consequences of the previous two theorems.  Let ao G L? be a closed initial data for the  Cauchy problem (1.6). First we need to prove that ct(t) is closed for all t > 0. To see this let us consider the following scalar quantity  Differentiating with respect to t we obtain  dt  Since a is the solution to the problem (1.6), we get  and furthermore using the fact that d and 5 are self-adjoint  10  It follows that I(t) is decreasing with respect to t. But obviously I(t) > 0 and 1(0) = 0, hence l(t)=0 for all time t. This obviously means da(t) = 0, or equivalently a(t) is closed at any instant.  To see that [a(t)] — [ao], where [a] denotes the DeRham cohomology class of a, we shall consider an arbitrarly closed orientable submanifold of dimension equal to the degree of the form. Let us denote this submanifold by X. As before let us consider the following scalar quantity  f  Q(t) =  Jx  a(t).  Differentiating with respect to t, we get  dQ dt  t da Jx dt  f  J  x  or equivalently  dQ = - f (d5 + 5d)a. dt Jx Now using the fact that a is closed at all times we get dQ  dt  , d5a = 0.  J  x  Here above we have made use of Stokes' Theorem and the fact that X has empty boundary. In conclusion Jx  Jxx  •  11  a. 0  Chapter 2 The Finite Dimensionality of 7i ^s and Some Vanishing Results k  This section is concerned with finding sufficient geometric conditions on the manifold M which will guarantee the finite dimensionality of the L  2  cohomology spaces.  The  techniques are based on the classical Weitzenbock formula and a few standard P D E techniques.  Proposition(Weitzenb6ck formula):  Let M be a Riemannian manifold (not necessarily  complete). Let e; be a local orthonormal frame and rf the associated coframe. Then we have the following pointwise identity Aa = V*Va + K(a), where V represents the covariant derivative acting on forms, V* represents its formal adjoint and 71(a) — rf A (i R(ti, ej  ej)a).  For a proof of this formula see [17]. D e f i n i t i o n 2.0.11. The 71(a) operator defined by the identity in the previous proposition is called the Weitzenbock curvature term. We say 7Z is positive (negative) if and only if g (71(a), a) > 0 (< 0) for all a ^ O where g is the Riemannian metric of M. 12  We also need the following simple lemma. L e m m a 2.0.12. Let M be as above and (a )n>i be a bounded sequence in W ' £l l 2  n  be a cut-off function.  and tp  Then the following sequence ip = tpa is bounded in W fl and is 1,2  n  n  compactly supported.  P R O O F . We have \ijja \ = \ip\\a \ which in turn implies J n  n  \il) \ dV < A f 2  M  n  M  \a \dV where n  the constant A = sup\xp\ . This takes care of the L part of the norm. For the derivative 2  2  part we have the following pointwise identity: d(ipa ) — dip A a + ifjda . n  n  n  Therefore \d(il>a )\ < | # | | a | + l ^ l l ^ n l n  n  Integrating and applying an elementary inequality we get /  \d(il>a )\ dV < C i H ^ H , 2  2  n  +C,\\da \\ ,. 2  n  L  JM  Where the positive constants C\, C , depend only on ip. Next we have 2  \5(lpa )\ = I * d * C0OJn)| = \d n  *  (l/HXn)\ = \d(^  *  OJ„)|.  Hence \6(ipa )\ = \dijj A *a + ipd* a \ < \dip\\a \ + \tp\\8a \, n  n  n  n  n  now integrating and applying the same inequality again we get: /  \S(i;a )\ dV 2  n  <  dWonW ^ + 2  C \\5a \\ . 2  2  n  L2  JM  This concludes the proof of the lemma.  •  The following proposition is essential in proving the main result of this section. 13  P r o p o s i t i o n 2.0.13. On a complete manifold M, dimH < oo if and only if there exist k  R > 0 and C > 0 such that f  \a\ dV >C  f \a\ dV  2  2  JM  JB  R  for every a e H (here the positive scalar C > 0 may depend on R) . k  P R O O F . For the "only if" part we observe that both the quantities involved in the above  mentioned inequality are norms on a finite dimensional vector space, hence, equivalent.  For the "if" part, let R > 0 and C > 0 as in the hypothesis. Let ift be a cut-off function such that ip = 1 on BR and ip = 0 on B R . Assume dimH = oo and let a be a countable k  2  n  L -orthonormal sequence of harmonic forms in H . Then according to Lemma 2.0.12 the 2  k  sequence ip = ijxx satisfies the conditions of Rellich theorem, hence we can extract a n  n  subsequence convergent in L . We will use the same notation for the subsequence ipn2  Let us now estimate the distance between members of this sequence, namely d(ip , tp ) n  m  (here d( , )denotes the I? distance). We have d{lp , ll>m) = n  JM  = f  (i>n~ ^ m , Ipn ~ (|^n| + W  )<^-2 /  2  2  ^m)dV  JM  JM  {M )dV. m  Hence d(tp ,ipm)> n  I  (\a \ + \a \ )dV - 2 [ (^ ,ip )dV. 2  n  2  m  n  m  JM  JB  R  Now applying the inequality from hypothesis we can estimate the first term of right-hand side as follows: /  (|an| + 2  K |  2  ) ^ > 2 C .  JBR  So finally we get d{lp , 1pm)>2C-2 n  f JM  14  (V>„, 1pm)dV.  But the sequence i/j is obtained by multiplying an orthonormal sequence in L by a 2  n  cut-off function, so it is weakly convergent to zero in L and using a diagonal argument 2  we can see that the second term on the right-hand side of the inequality above can be made arbitrarily small (as n, m —• oo). By the Rellich theorem so is the left-hand side. It then follows that 2C < 0. Contradiction. •  As this proposition shows, in proving the finite dimensionality of 7i one could try to k  get an estimate as above. In fact Vesentini in [25] obtained the first result of this kind. More precisely he proved that if the curvature operator is positive outside some compact subset of the manifold then the desired inequality holds. In a similar fashion he also proved that if the curvature operator is nonnegative then H = 0. k  A related result was recently obtained by G.Carron in [4]. To state his result we need to make the following definition, Definition 2.0.14. The Gauss-Bonnet operator d+5 of a complete Riemannian manifold (M, g) is called non-parabolic at infinity when there is a compact set K of M such that for any bounded open subset D C M \ K there is a constant C(D) > 0 satisfying the inequality  C{D)  f \a\  2  JD  < [  \da\  2  + \5a\  2  for every a e C °°O.*(M \ 0  K).  JM\K  Observation The condition that the Gauss-Bonnet operator is non-parabolic at infinity is similar in nature with the assumption of Proposition 2.0.13.  Carron's result can now be stated as follows Proposition 2.0.15. If the Gauss-Bonnet operator of(M,g) is non-parabolic at infinity  15  then dimH* < oo.  Naturally one should try to express the non-parabolicity of the Gauss-Bonnet operator in terms of the curvature operator if possible. Carron proves the following, Proposition 2.0.16. If (M,g) is a complete Riemanian manifold whose curvature vanishes outside some compact set, then the Gauss-Bonnet operator is non-parabolic at infinity.  thus giving another proof of a very well known fact. In what follows we will give other geometric conditions that imply the required estimate and also will obtain another useful vanishing result. Before going to the main result we need to make a definition: Definition 2.0.17. Let M be a complete manifold and let R  k  be the Weitzenbock curva-  ture operator acting pointwise on k-forms. Let D C M be a subset. Then  I (R ) k  D  Remark:  = inf{c \c>0and  (R a{p), a(p)) > -c\a{p)\ , k  2  Obviously if D C D then I {R ) k  1  2  Dl  <  a G Q , p G D}, k  IA ) Rk  D  For the proof of the main theorem we will first need to prove one technical lemma. Lemma 2.0.18. Let M be a complete manifold whose curvature operator on fl  k  bounded from below. Then for any a G H we have  f  M  |Va|  case the Weitzenbock formula gives f \Va\ dV+ 2  JM  f (Ra,a)dV JM  16  = 0.  2  is  < oo. Hence in this  PROOF.  Let ip e  C ^ Q  be a compactly supported form. According to the Weitzenbock  formula we have Aip = V*Vip + Rip. Taking inner product of both sides with tp and integrating by parts (we can do this because ip is compactly supported) we get  (Ai;,iP)  = \\ViP\\  2  +  We can rewrite the left-hand side of the above identity in terms of d and 5 as follows  ll#ll  2  +  ll#ll  2  =  l|v^|| + W ^ ) . 2  In all of the above formulas H^H denotes the I? norm of tp. But the curvature operator is bounded from below i.e.  (Rip,tp) > — c\tp\ and this is pointwise, or equivalently 2  — {Rip,tp) < c\ip\ . Hence we get 2  ||W|| = / 2  \V*P\ dV<c[  \iP\ dV+\\diP\\  2  J M  2  2  +  \\6iP\\  (2.1)  2  J M  for any ip compactly supported in M . Now let a £ H and <p be a cut-off function such that <p = 1 on B  R  B R for arbitrary R > 1 and also  and zero outside  < 1. Applying (2.1) (taking into account that  2  0 < 0 < 1) to the compactly supported form (pa we get / J M  \S7{cPa)\ dV <c 2  [  |«|W-f-||^a)|| + ||(5(0cv)|| . 2  J M  In order to estimate the last two terms of (2.2) we proceed as follows:  \d(<f>a)\ = \d<p Aa\<  hence, I K r f < I M I  17  2  \d(p\\a\ < \a\  2  (2.2)  and also = | * d* (<f>a)\ = \d{4>{*ot))\ = \d(f) A (*a)| < | * ct\ — \a\ Integrating the above inequality yields  M4>a)\\<\\a\\. To get these two estimates we essentially used the fact that a G 7 i and * is a pointwise isometry. Also taking into account that \Va\ dV =  \V(<f>a)\ dV < f \V(<f>a)\ dV  2  2  2  JB  B  R  JM JM  R  we get f  | V a | r f y < c | | a | | + 2||a|| . 2  2  (2.3)  2  JB  R  Since R > 1 was arbitrarily chosen, letting R —> oo we get the desired result.  PROOF.  •  ( T h e o r e m 0.0.1)  As a result of Lemma 2.0.18 we have /  \Va\ dV+ 2  JM  f {Ra,a)dV = 0.  (2.4)  JM  By the definition of lM(R ) we have k  (Ra,a) > -I {R )W? k  M  or equivalently -(Ra,a) <  I (R )\a\ . k  2  M  This together with (2.4) gives /  \Va\ dV < I {R ) f M W . 2  k  M  JM  JM  18  (2.5)  Assume there is a nonzero harmonic L form a. Since the volume of M is infinite, it 2  follows that | a | is nonconstant so we may apply the Poincare inequality to \a\. Hence /  \Va\ dV  > Ai /  2  JM  \a\ dV, 2  JM  here we made use of the pointwise inequality: | V a | > | V | a | | 2  2  . This together with (2.5)  implies " Aif  \a\ dV  f  < I {R )  2  k  M  JM  \a\ dV. 2  JM  Since a is nonzero we have Ai <  I (R ) k  M  which contradicts the assumption of part (a) of the theorem.  For part (b) of the theorem let us observe first that there exists constant C > 0 such that (Ra(p),a(p))>-C\a(p)\  (2.6)  2  for any a G Q and p £ B .  To see this, one should consider the continuous function  k  R  f(p, v) = (RpV, v) defined on the unit sphere bundle of £IB  (since this set is compact, /  R  attains its infimum). Using Lemma 2.0.18 we have  / |VafW+ / JM  f  (Ra,a)dV+  JM\B  {Ra,a)dV  = Q.  JB  R  R  This together with (2.6) gives f \Va\ dV+  [  2  JM  f \Va\ dV 2  2  R  we have  k  M  \a\ dV. JB  R  Using the definition of I \B (R )  JM  (Ra,a)dV<cf  JM\B  R  - I \ (R ) k  M BR  j  2  2  JM\B M\B  RR  19  \a dV  \a\ dV<cf JB  R  now using the Poincare inequality as in part (1) we get Ai /  \a\ dV - I \ (R ) 2  f  k  M  BR  JM  \a\ dV<c[  \a\ dV.  2  2  JM\B  JB  R  R  A n d finally Ai /  f \a\ dV<C  \a\ dV - I \B (R ) 2  k  M  2  R  'M  JM JM  /  \a\ dV. 2  JB  R  By the hypothesis of part (b) [ W?dV<JM  °  j \a\ dV  AI - l \B (n )  J  K  M  (2.7)  2  R  B R  But this is exactly what Proposition 2.0.13 requires. Hence dim7Y < oo. • fe  Next we will show that I^(R ) = nk — k . This follows easily from the following lemma: k  2  L e m m a 2.0.19. Let e$ be an orthonormal frame at some point and r\i its associated coframe. Then the following formula holds k  (R (Vi A % . . . A ri ), Vi^V2...Arj ) W  k  k  = J2  n K  ^  (-)  i=l j=k+l  For a proof of this formula, one should consult [21].  By the homogeneity of H and since K = — 1 we get the desired formula, namely I (R ) = k  mn  nk-k . 2  This together with the well known fact that A IT) I (  -  imply the vanishing of the H whenever nk — k < ^ ~^ . k  2  20  n  2  8  In what follows we shall make use of the estimate obtained by H . McKean in [20], T h e o r e m (McKean):  Let M be a complete manifold of negative sectional curvature n  K < —b, where b > 0. Then the Poincare constant satisfies (n - Ifb >  As a direct application of Theorem 0.0.1 we obtain the following result: C o r o l l a r y 2.0.20. Let M be a complete, simply connected, negatively curved manifold n  with sectional curvature K pinched by — 1 < K outside some compact set and K < — 1 + e everywhere . Then the following hold: i) Ifn>6  and e < 1 —  ii) Ifn>9  PROOF.  , then dimTY < oo, 1  ande< £~^~*^ ,  then dim ft < oo. 2  2  For the proof of the first part we shall use (2.8) to estimate  IM^^R )1  Let a  be a unit length 1-form at a point outside BR where the pinching condition is satisfied. There exist  a:2)---)0: € T*M s.t a, a , • •., ot n  2  n  form an orthonormal coframe.  Then  according to (2.8) we have n  (R a,ot)  =  l  ^K{a,a )>-{n-l).  s  i  2=2  It follows that IM\B (R )  (n-1),  <  1  R  and by McKean's estimate of the Poincare constant of a negatively curved manifold [20] we have (n-l) (l-€) 2  A  Hence if e < 1  l  >  A  •  ^-r we have  n—1  IM\B (R )  < Al,  1  R  21  which means, according to Theorem 0.0.1, dimTf < oo. This concludes the proof of 1  part one.  For the proof of part two we have to employ more subtle estimates of the curvature operator in terms of the sectional curvature. We shall use the estimates obtained by Elworthy, L i , and Rosenberg in [12]. Let a be a unit length 2-form. According to Lemma 3.1 in [12] we have  (R (a), 2  a) > B — (A - B)(n - 2),  here A  =  2 n sup{^^K(vi,Vj)  orthonormal frame}  I vi,...,v  n  i=l 3 and 2 B  = inf i=l  n  ^2  J) I i> • • • > u  v  K( ii v  n  v  orthonormal frame}.  3  Outside of the compact set the pinching condition is satisfied so we have A  = 2(n - 2 ) ( - l + e) and  B  =  - 2 ( n - 2),  it follows that, outside B  R  {R {a),a) 2  > -2(n-2) -2e(n-2) , 2  which is equivalent to IM\B (R )  2(n-2) + 2e(n-2) . 2  <  2  R  Using the same estimate of McKean [20] and the hypothesis of the second -part of the corollary we obtain again M\B R  <  2  T  R  22  Ai,  which by the conclusion of the Theorem 0.0.1 implies dim7Y < oo. This concludes the 2  proof of the corollary. •  Remarks: a) If in the hypothesis of the Corollary 2.0.20 one asks for the curvature to be pinched everywhere, then one gets vanishing of the corresponding spaces. However, the e required is much smaller than the one obtained by Donnelly & Xavier. b) This result relies heavily on being able to estimate the lower bound of the curvature operator in terms of sectional curvature.  A better understanding of this  relationship, not easy in general, may lead to new results for the vanishing or finite dimensionality of the L cohomology spaces. 2  23  Chapter 3 O n the Heat-Flow M e t h o d of Gaffney  As we have seen before the heat flow takes an L -form and transforms it into harmonic 2  L  2  form preserving the cohomology class. A nice differential-topological result is the  following corollary: C o r o l l a r y 3.0.21. Let M  be an n-dimensional noncompact manifold.  n  Then any n-  degree compactly supported form is exact.  The proof relies on the following geometric lemma, which is of independent interest: L e m m a 3.0.22. Any noncompact manifold admits a complete metric of infinite volume.  PROOF.  Embed the manifold into some large Euclidean space R  N  such that the image  of the embeding is closed. This is always possible due to Withney's Embe ding theorem. We denote this metric by g. If the volume of the manifold with respect to this metric is infinite, we are done. If not let us fix a point p E M and let r(x) = d{x,p) be the geodesic distance to the fixed point. Since the image of the embeding is closed and noncompact, it cannot be bounded, hence r —> oo . Now choose f(x)  n  > -— —~ l  r  + 1 for ra < r < ra + 1, / G C°°.  24  (3.1)  (In (3.1) V denotes the volume of the geodesic ball of radius r = r(x)). This is always r  possible. Let us consider now the metric g = pg and denote the corresponding volume elements by dV and by dV . Then we have the following identity dV — f dV n  where n represents  the dimension of the manifold. Now obviously  /  / IdV > JM  m  >  >  =  [  0  PdV JB(p,m+l)\B(p,m) + 1 ) (Vm i  1 v  oo  v  1>  -  +  V)  (3.2)  m  OO.  m=0  In the inequalities above S(p, r) denotes the geodesic ball with respect to the metric g. As a conclusion we see that ( M , g) has infinite volume. On the other hand g > g which implies that any Cauchy sequence w.r.t. g is Cauchy w.r.t. g, hence a convergent sequence. This concludes the proof of the lemma. •  For the proof of Corollary 3.0.21 let us assume the contrary. Endow the manifold M  n  with a complete metric of infinite volume. Let a G C o ° ° ^ and [a] ^ 0, then let a(t) be n  the solution to the heat equation with initial data a and let [o!oo] = we obtain  limt_ oO;(£). + 0  Then  a harmonic I? n-form which is nontrivial. Contradiction. •  Observations: a) It is well known that on a noncompact manifold every top-degree form must be exact. For example see [15]. The proof we offered above makes no use of algebraic25.  topology techniques. b) The fact that the existence of a compactly supported nontrivial de Rham class induces a nontrivial L harmonic form, was used by Segal in [22] and by Hitchin in 2  [16]. The method used by Segal to prove this is not based on the heat flow method initiated by Gaffney. P r o p o s i t i o n 3.0.23. Let M be a complete Riemannian manifold. The following two conditions are equivalent: i) H  k  {0},  ii) closed L forms are orthogonal to coclosed L forms. 2  Suppose H  2  k  PROOF.  ^ 0 then there exists a G TC and k  But a G L ,da = 2  0,8a = 0 and by assumption (a, a) ^ 0. For the converse let us assume there exist a, (3 G L ,da — 0,5(3 = 0 and (a,(3) ^ 0. Let ji denote the solution to the heat flow 2  having as initial data ji{0) = a. Now consider Q(t) = (n(t),(3). Due to the properties of the solution to the heat equation this is a smooth function in t, for t > 0 and continuous for t > 0. Differentiating Q we get: Q(t) = (A, (3) Since (i is closed for a l H > 0 it follows Q(t)  (d5f,,(3)  {5^, 5(3) = 0.  This means Q(t) = Q(0) and (<*«,,/?) ^ 0. Therefore H ^ 0. • k  Next we will introduce the concept of the heat-flow map.  26  P r o p o s i t i o n 3.0.24. Let M be a manifold as before and a in L il* a closed form on 2  M. Let fi = —Afj, be the solution to the heat equation having initial data a. Then the following map H:L £l* ->H*, H(a) = l i m ^ o o ti{t) = Hoo is well defined and linear. 2  PROOF.  Obvious from the uniqueness of the heat flow.  •  R e m a r k : When considering different metrics on the same manifold we will indicate that the spaces or operators are taken w.r.t. the metric g by an appropriate index. For example the space of harmonic L forms w.r.t. the metric g will be indicated as H , the 2  g  Laplacian w.r.t. the metric g will be denoted by A , the Hodge-star operator by * , etc. g  g  The next theorem is another immediate application of the principle we used to prove Proposition 3.0.23. T h e o r e m 3.0.25. Let M be a noncompact manifold and let g and g be two complete metrics on M such that L Cl c L Vt . The map H :H -^H 2  PROOF.  is linear and injective.  2  g  g  g  g  g  A l l we have to prove is that kerH = 0. Let a G H such that H (a) g  g  g  = 0.  Since a G H means a is closed and coclosed w.r.t. the g metric. This means * a is also g  g  closed, hence * * a is coclosed w.r.t. the g metric. A l l the forms here are also L since 2  g  g  the *-operator preserves length. Let (3 = * * a. We have g  But  g  = ± *g a. In conclusion we have  Hence a = 0. Therefore H is injective. • g  27  R e m a r k : Having two conformal metrics g = f g on M, they are quasi-isometric if and 2  only if the conformal factor is bounded (i.e 0 < c < / < C). This easily follows from the very definition of quasi-isometric metrics. It also implies that the area of applicability of Theorem 3.0.25 is larger than that of the well known.fact that two quasi-isometric metrics have the same L cohomology. 2  A straight forward application of Theorem 3.0.25 is the following: C o r o l l a r y 3.0.26. Letg = f g be a conformal deformation of the hyperbolic metric g on 2  M  2n  such that f > c > 0, then the corresponding L cohomology spaces are isomorphic.  PROOF.  2  It suffices to show that for k < n we have  = 0. In mid-dimension degree  the fact that the space of harmonic 1? forms is conformal invariant is well known. We will show that L Q,g C L Q 2  2  g  Let e i , . . . , e  2 n  and applying Theorem 3.0.25 we conclude H~ = 0.  be a local orthonormal frame w.r.t. the g metric, and  associated dual frame. It follows that /  ei,...,  _ 1  metric and its associated coframe is frji,...,  is an orthonormal frame w.r.t. g  f~ e2 1  n  frj2n-  r)2n the  Hence if we denote by dV the volume  element w.r.t. g and by dV the volume of g we have d~V =  f dV. 2n  Now we need to compare the pointwise length of a /c-form w.r.t. the two metrics. To do this we notice as usual that a pointwise-orthonormal frame in £1™ is given by Vh  Ar?i A . . . 2  /\Vi , 1 < k < h • • • < ik < 2n. k  Also a pointwise orthonormal frame in fVii  A  is given by  fVii A . . . A frj , 1 < i i < i • • • < i < 2n. ik  2  It easily follows that  MS = r \< 2t  28  k  Integrating and using both identities we get  IWIJ= f  [  \<d~V =  JM  r*W\\f*dV><*^a\\\.  JM  It follows that L Vtg C I?VL which in turn implies the conclusion of the corollary. • 2  g  In order to give another interesting application of Theorem 3.0.25 we need to make the following definition: D e f i n i t i o n 3.0.27. Let V be a finite dimensional real vector space and let g and h be two  positively defined inner prodoucts on V. Let G : V —> V* and H : V —* V* denote the metric isomorfism induced by g and h respectively. Let A : V —» V denote the composition A = H~ G.  It is well known that A is orthogonally diagonalizable with respect to the  l  metric h and let 0 < fj,i < (i < • • • < A* be its eigenvalues. We will call these positive 2  n  numbers the eigenvalues of g w.r.t h. C o r o l l a r y 3.0.28. Let (M ,g) be a complete simply connected Riemannian manifold of n  negative sectional curvature . Let h denote the complete metric of constant —1 sectiona curvature. LetO < \x\ < n < • • • <  be the eigenvalues of g w.r.t. h as being functions  2  on the manifold (i.e /^ = /^(x) a) if su-p  ^ < oo then dim7i / (M, g) = oo, and 2  > 0 fork^ n/2 then dimH (M, g) = 0. k  xeM  PROOF.  x G M). The following holds: n  xeM  b) if lnf  ;  Mi  The idea of the proof is to show that the I? norms of a fc-form, when consid-  ered with the two different metrics are equivalent. Let us fix a point x € M and let ei, e ,..., e be a set of eigenvectors for g which are 2  n  orthonormal w.r.t. h. Let e , e , . . . , e be the associated dual coframe. It follows that 1  2  n  1  29  is an orthonormal frame w.r.t. g having associated coframe  Hence, if we denote by ujh and cu the volume forms for the two metrics respectively, we g  have  y^i • • • Mn  u = 7] A n A . . . A rf = 2  1  1  g  Let a be a A;-form expressed at x £ M as a = a ... e  il  il  ik  A . . . A e = a^...^— ik  rf A . . . A rf ,  1  1  V Mil ' ' ' Mi  k  fc  it follows that  \<*\l=-  I]  a  ?i-«*  a n d  K =  ii<i <-<ifc  H  4-^  .1  , •  h<ii<-<i  2  k  Next we compare the L norms, we have 2  *i<*2<-<i*  M i l " "Mi*  hence n/2  n/2  ^-\a\ u  < \a\ uj < ^laguh  2  h  2  h  g  g  Mn  (3.3)  Ml  Using the hypothesis that s u p  x e M  ^ < oo and integrating we obtain for a £ C ^ f W  xeM Mi  hence L 0^ 2  / 2  c  LnJ 2  n  2  and applying the conclusion of Theorem 3.0.25 we get dim7Y^ = d i m ^ 2  30  / 2  = oo.  2  To prove that H =.0 for k ^ n/2 we use again (3.3) and the hypothesis that mi k  xeM  >  0 for every k ^ n/2 and integrating again we obtain, for any aE C^Vt , k  X<EM  2  \a  H'  < \\a 3'  hence  Ln 2  k  C LQ 2  g  k h  for k ± n/2.  By Theorem 3.0.25 we obtain dim ft; = 0 for k ^ n/2.  This concludes the proof of the corollary. • To give a concrete example of an application of the Corollary 3.0.28 we shall construct a metric which has the same L cohomology as the hyperbolic metric but is not conformal 2  nor quasi-isometric to the hyperbolic metric. Let (  ) denote the euclidean coor-  dinates on HP, where n is even. With respect to these coordinates the hyperbolic metric is:  Consider now the following metric:  Both g and h are diagonal metrics but they are not conformal to each other. In this particular case it is easy to see that if  , / i denote the eigenvalues of g w.r.t h then n  fii = i + x\. 31  It follows, from the fact that /x/s are not bounded from above, that g is not quasi-isometric to h. Since obviously »n n+ x — = •: k < n Hi • l+x( 2  it implies d i m f t ^ = oo. On the other hand we have 2  tZ  12  fA  _ {n +  (i  \yi + x) ' 2  x  2  k  hence if A; < n/2  = 0. Now we only need to show that g is a complete metric. We shall  In conclusion  do this by comparision with h, namely we shall prove that g (X, X) > hp(X, X) for any p e I T and X e p  Let e i , e  T W. P  be an orthonormal frame for h at the point p e H and such that the metric n  n  g is diagonal. Obviously  Let X G TpW be a vector and X = X e 1  be its expresion with respect to the chosen  i  i  frame. Then obviously n  h (X,X)  =  p  J2( ^ i=l X  and n  g (X,X) p  = Y ^i(X ) i  2  /  i=l  Now taking into account that \ii = i + xi we obtain g (X,X)>h (X,X). p  p  It is also obvious this metric is not rotationally symmetric in the sense of Dodziuk.  32  Bibliography [1] M . T. Anderson, L harmonic forms and a conjecture of Dodziuk-Singer, Bui. Amer. Math! Soc. 13(2) (1985), 163-165. 2  [2] M . F . Atiyah, Elliptic operators, discrete groups and Von-Neuman algebras, Asterisque 32-33 (1976), 43-72. [3] F. E . Browder, Eigenfunction expansion for singular elliptic operators, Proceedings of National Academy of Sciences 42 (1954), 459-463. [4] G . Carron, L cohomology of manifolds with flat ends, preprint. 2  [5] J. Cheeger, On the Hodge theory of Riemannian pseudomanifolds, in "Geometry of the Laplace Operator" Proc. Sympos. Pure Math. 36, Amer. Math. Soc, Providence, 1980, 91-146. [6] G . DeRham, Varietes Differentiables, Hermann, Paris, 1973." [7] M . DoCarmo, Riemannian Geometry, Birkhauser, Boston, Mass., 1992. [8] J . Dodziuk, L harmonic forms on complete manifolds, in "Seminar on Differential Geometry" Annals of Mathematics Studies 102, Princeton University Press, Princeton, N J , 1982, 291-302. 2  [9] J. Dodziuk, De Rham-Hodge theory for L cohomology of infinite coverings, Topology 16, (1977), 157-165. 2  [10] J. Dodziuk, L harmonic forms on rotationally symetric Riemannian manifolds, Proc. Amer. Math. Soc. 77, (1979), 395-400. 2  [11] H . Donnelly, F. Xavier, On the differential form spectrum of negatively curved Riemannian manifolds, Amer. J . Math. 106, (1984), 169-185. [12] K . D . Elworthy, Xue-Mei L i , Steven Rosenberg, Bounded and 1? harmonic forms on universal covers, Geom. Funct. Anal. 8, (1998), 283-303. [13] M . Gaffney, The harmonic operator for exterior differential forms, Proceedings of National Academy of Science 37, (1951), 48-50. [14] M . Gromov, Kahler hyperbolicity and L -Hodge theory, J . Differential Geom. 33, (1991), 263-292. 2  [15] A . Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002. [16] N . Hitchin, L -cohomology of hyperkahler quotients, Comm. Math. Phys. 211(1), (2000), 153-165. 2  33  [17] J. Jost, Riemannian Geometry and Geometric Analysis, Springer-Verlag, Berlin, 1995. [18] J. Jost, Y . L . Xin, Vanishing theorems for L -cohomology groups, J . Reine Angew. Math. 525, (2000), 95-112. 2  [19] K . Maurin, Methods of Hilbert Spaces, Polish Scientific Publishers, Warsaw, 1967. [20] H . McKean, A lower bound for the spectrum of the Laplacian on a manifold of negative curvature, J . Differential Geom. 4, (1970), 359-366. [21] S. Rosenberg, The Laplacian on a Riemannian Manifold, Cambridge University Press, Cambridge, 1997. [22] G . Segal, A . Selby, The cohomology of the space of magnetic monopoles, Comm. Math. Phys. 177, (1996), 775-787. [23] I. Singer, Some remarks on operator theory and index theory, Springer Lect. Notes Math. 575, (1977), 128-138. [24] N . Teleman, Combinatorial Hodge theory and signature theorem, preprint. [25] E . Vesentini, Lectures on Levi convexity of complex manifolds and cohomology vanishing theorems, Tata Inst, of Fund. Research, Bombay, 1967.  34  

Cite

Citation Scheme:

        

Citations by CSL (citeproc-js)

Usage Statistics

Share

Embed

Customize your widget with the following options, then copy and paste the code below into the HTML of your page to embed this item in your website.
                        
                            <div id="ubcOpenCollectionsWidgetDisplay">
                            <script id="ubcOpenCollectionsWidget"
                            src="{[{embed.src}]}"
                            data-item="{[{embed.item}]}"
                            data-collection="{[{embed.collection}]}"
                            data-metadata="{[{embed.showMetadata}]}"
                            data-width="{[{embed.width}]}"
                            async >
                            </script>
                            </div>
                        
                    
IIIF logo Our image viewer uses the IIIF 2.0 standard. To load this item in other compatible viewers, use this url:
http://iiif.library.ubc.ca/presentation/dsp.831.1-0080053/manifest

Comment

Related Items