InTechOpen uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Mathematics » "Manifolds - Current Research Areas", book edited by Paul Bracken, ISBN 978-953-51-2872-4, Print ISBN 978-953-51-2871-7, Published: January 18, 2017 under CC BY 3.0 license. © The Author(s).

Chapter 4

Spectral Theory of Operators on Manifolds

By Paul Bracken
DOI: 10.5772/67095

Article top

Spectral Theory of Operators on Manifolds

Paul Bracken
Show details


Differential operators that are defined on a differentiable manifold can be used to study various properties of manifolds. The spectrum and eigenfunctions play a very significant role in this process. The objective of this chapter is to develop the heat equation method and to describe how it can be used to prove the Hodge Theorem. The Minakshisundaram‐Pleijel parametrix and asymptotic expansion are then derived. The heat equation asymptotics can be used to give a development of the Gauss‐Bonnet theorem for two‐dimensional manifolds.

Keywords: manifold, operator, differential form, Hodge theory, eigenvalue, partial differential operator, Gauss‐Bonnet

1. Introduction

Topological and geometric properties of a manifold can be characterized and further studied by means of differential operators, which can be introduced on the manifold. The only natural differential operator on a manifold is the exterior derivative operator which takes k ‐forms to k+1 forms. This operation is defined purely in terms of the smooth structure of the manifold, used to define de Rham cohomology groups. These groups can be related to other topological quantities such as the Euler characteristic. When a Riemannian metric is defined on the manifold, a set of differential operators can be introduced. The Laplacian on k ‐forms is perhaps the most well known, as well as other elliptic operators.

On a compact manifold, the spectrum of the Laplacian on k ‐forms contains topological as well as geometric information about the manifold. The Hodge theorem relates the dimension of the kernel of the Laplacian to the k ‐th Betti number requiring them to be equal. The Laplacian determines the Euler characteristic of the manifold. A sophisticated approach to obtaining information related to the manifold is to consider the heat equation on k ‐forms with its solution given by the heat semigroup [13].

The heat kernel is one of the more important objects in such diverse areas as global analysis, spectral geometry, differential geometry, as well as in mathematical physics in general. As an example from physics, the main objects that are investigated in quantum field theory are described by Green functions of self‐adjoint, elliptic partial differential operators on manifolds as well as their spectral invariants, such as functional determinants. In spectral geometry, there is interest in the relation of the spectrum of natural elliptic partial differential operators with respect to the geometry of the manifold [46].

Currently, there is great interest in the study of nontrivial links between the spectral invariants and nonlinear, completely integrable evolutionary systems, such as the Korteweg‐de Vries hierarchy. In many interesting situations, these systems are actually infinite‐dimensional Hamiltonian systems. The spectral invariants of a linear elliptic partial differential operator are nothing but the integrals of motion of the system. There are many other applications to physics such as to gauge theories and gravity [7].

In general, the existence of nonisometric isospectral manifolds implies that the spectrum alone does not determine the geometry entirely. It is also important to study more general invariants of partial differential operators that are not spectral invariants. This means that they depend not only on the eigenvalues but also on the eigenfunctions of the operator. Therefore, they contain much more information with respect to the underlying geometry of the manifold.

The spectrum of a differential operator is not only studied directly, but the related spectral functions such as the spectral traces of functions of the operator, such as the zeta function and the heat trace, are relevant as well [8, 9]. Often the spectrum is not known exactly, which is why different asymptotic regimes are investigated [10, 11]. The small parameter asymptotic expansion of the heat trace yields information concerning the asymptotic properties of the spectrum. The trace of the heat semigroup as the parameter approaches zero is controlled by an infinite sequence of geometric quantities, such as the volume of the manifold and the integral of the scalar curvature of the manifold. The large parameter behavior of the traces of the heat kernels is parameter independent and in fact equals the Euler characteristic of the manifold. The small parameter behavior is given by an integral of a complicated curvature‐dependent expression. It is quite remarkable that when the dimension of the manifold equals two, the equality of the short‐ and long‐term behaviors of the heat flow implies the classic Gauss‐Bonnet theorem. The main objectives of the chapter are to develop the heat equation approach with Schrödinger operator on a vector bundle and outline how it leads to the Hodge theorem [12, 13]. The heat equation asymptotics will be developed [14, 15] andit is seen that the Gauss‐Bonnet theorem can be proved for a two‐dimensional manifold based on it. Moreover, this kind of approach implies that there is a generalization of the Gauss‐Bonnet theorem as well in higher dimensions greater than two [16, 17].

2. Geometrical preliminaries

For an n ‐dimensional Riemannian manifold M , an orthonormal moving frame {e1,,en} can be chosen with {ω1,,ωn} the accompanying dual coframe which satisfy


It is then possible to define a system of one‐forms ωij and two‐forms Ωij by solving the equations,


It then follows that the Christoffel coefficients and components of the Riemann tensor for M are


The inner product induced by the Riemannian metric on M is denoted here by ,:Γ(TM)×Γ(TM)F(M) and it induces a metric on Λk(M) as well. Using the Riemannian metric and the measure on M , an inner product denoted ,:Λk(M)×Λk(M)R can be defined on Λk(M) so that for α,βΛk(M) ,


where if (x1,,xm) is a system of local coordinates,


is the Riemannian measure on M . Clearly, α,β is linear with respect to α , β and α,α0 with equality if and only if α=0 . Hodge introduced a star homomorphism * :Λk(M)Λnk(M) , which is defined next.

Definition 2.1. (i) For ω=i1<<ikfi1ikωi1ωik , define


where ò is 1 , 1 , or 0 depending on whether (i1,,ik,j1,,jnk) is an even or odd permutation of (1,,n) , respectively.

(ii) If M is an oriented Riemannian manifold with dimension n , define the operator


In terms of the two operators d and δ , the Laplacian acting on k ‐forms can be defined on the two subspaces


The operator d+δ can be regarded as the operators on these subspaces,


Definition 2.2. Let M be a Riemannian manifold, then the operator


is called the Hodge‐de Rham operator. It has the property that it is a self‐conjugate operator, D0*=D1 and D1*=D0 . It is useful in studying the Laplacian to have a formula for the operator Δ=(d+δ)2 and hence for D0*D0 and D1*D1 as well.

Let {e1,,en} be an orthonormal moving frame defined on an open set U . Define as well the pair of operators


Lemma 2.1. The operators Ej± satisfy the following relations


If M is a Riemannian manifold and :Γ(TM)×Γ(TM)Γ(TM) is a Levi‐Civita connection, then a connection on the space Λ*(M) , namely (X,ω)Xω , can also be defined such that


The connection may be regarded as a first‐order derivative operator (X,Y,ω)D(X,Y)ω .

Definition 2.3. The second‐order derivative operator (X,Y,ω)D(X,Y)ω is defined to be


In terms of the operator (Eq. (12)), define a second‐order differential operator Δ0:Λ*(M)Λ*(M) by


where {ei}1n is an orthonormal moving frame. The operator Δ0 in Eq. (13) is referred to as the Laplace‐Beltrami operator.

Theorem 2.1. (Weitzenböck) Let M be a Riemannian manifold M with an associated orthonormal moving frame {ei}1n . The Laplace operator can be expressed as


In Eq. (14), R is the scalar curvature, R=i,jRijij and Δ0 is the Laplace‐Beltrami operator (13).

The operator defined by Eq. (14) does not contain first‐order covariant derivatives and is of a type called a Schrödinger operator. Thus, Weitzenböck formula (14) implies the that Laplacian can be expressed in the form Δ=Δ0F and is an elliptic operator. The Schrödinger operator (14) can be used to define an operator that plays an important role in mathematical physics. The heat operator is defined to be

The crucial point for the theory of the heat operator is the existence of a fundamental solution. In fact, the Hodge theorem can be proved by making use of the fundamental solution.

Definition 2.4. Let M be a Riemannian manifold, π:EM is a vector bundle with connection. Let Δ0:Γ(E)Γ(E) be the Laplace‐Beltrami operator, which is defined by means of the Levi‐Civita connection on M and the connection on the vector bundle E . Let F:Γ(E)Γ(E) be a F(M) ‐linear map. Then, Δ=Δ0F is a Schrödinger operator. If a family of R ‐linear maps


with parameter t>0 and q,pM satisfies the following three conditions, the family is called a fundamental solution of the heat operator (15) where Ep=π1(p) . First, G(t,q,p):EpEq is an R‐linear map of vector spaces and continuous in all variables t,q,p . Second, for a fixed wEp , let θ(t,q)=G(t,q,p)w , for all t>0 , then θ has first and second continuous derivatives in t and q , respectively andsatisfies the heat equation, which for t>0 is given by Hθ(t,q)=0 , which can be written as


where Δq acts on the variable q . Finally, if φ is a continuous section of the vector bundle E , then


for all φ , where dvp is the volume measure with respect to the coordinates of p given in terms of the Riemannian metric.

Definition 2.5. Suppose a G0(t,q,p) is given. The following procedure taking G0(t,q,p) to G(t,q,p) is called the Levi algorithm:


The Cauchy problem can be formulated for the heat equation such that existence, regularity and uniqueness of solution can be established. The Hilbert‐Schmidt theorem can be invoked to develop a Fourier expansion theorem applicable to this Schrödinger operator.

Suppose Δ:Γ(E)Γ(E) is a self‐adjoint nonnegative Schrödinger operator, then there exists a set of C sections {ψi}Γ(E) such that


Moreover, denoting the completion of the inner product space Γ(E) by Γ(E)¯ , the set {ψi} is a complete set in Γ(E)¯ , so for any ψΓ(E)¯ ,


Finally, the set {ψi} satisfies the equation


where λi are the eigenvalues of Δ andform an increasing sequence: 0λ1λ2 where limkλk= .

Denote U(t,q) by (Ttψ)(q) when U(0,q)=ψ(q) and Tt satisfies the semigroup property and Tt is a self‐adjoint, compact operator.

Theorem 2.2. Let G(t,q,p) be the fundamental solution of the heat operator (15), then


with wEp holds in Γ(E)¯ .

Proof: For fixed t>0 and wEp , expand G(t,q,p)w in terms of eigenfunctions ψi(q) ,


Differentiating with respect to t and using Δψi=λiψi , we get


It follows from this that


and since σi depend linearly on w , so ci(p,w)=ci(p)w , where ci(p):EpR is a linear function. There exists c˜i(p) independent of w such that ci(p)w=c˜i(p),w so that


Consequently, for any βΓ(E) , we have


Moreover, β(q) can also be expanded in terms of the ψk basis set,


Upon comparing these last two expressions, it is clear that c˜k(p)=ψk(p) for all k andwe are done.

One application of the heat equation method developed so far is to develop and give a proof of the Hodge theorem.

Theorem 2.3. Let M,E,Δ be defined as done already, then

  1. H={φΓ(E)|Δφ=0} is a finite‐dimensional vector space.

  2. For any ψΓ(E) , there is a unique decomposition of ψ as ψ=ψ1ψ2 , where ψ1H and ψ2Δ(Γ(E)) .

The first part is a direct consequence of the expansion theorem and due to the fact HΔ(Γ(E)) , the decomposition is unique.

The Hodge theorem has many applications, but one in particular fits here. It is used in conjunction with the de Rham cohomology group HdR*(M) . Define


Since d2=0 , it follows that Bk(M)Zk(M) andthe k ‐th de Rham cohomology group of M is defined to be


From Eq. (21), construct


In 1935, Hodge claimed a theorem, which stated every element in HdRk(M) can be represented by a unique harmonic form α , one which satisfies both dα=0 and δα=0 . Denote the set of harmonic forms as Hk(M) .

Theorem 2.4. Let M be a Riemannian manifold of dimension n , then


where Δ=(d+δ)2 .

Proof: Since Δ=dδ+δd , this implies that Δ(Λk(M))Λk(M) andit is clear that

Hk(M)ker{d+δ:Λk(M)Λ*(M)}ker{Δ:Λk(M)Λ*(M)}=ker{Δ:Λk(M)Λk(M)}. To finish the proof, it suffices to show that ker{Δ:Λk(M)Λk(M)}Hk(M) . If αker{Δ:Λk(M)Λk(M)} , that is Δα=0 , then


This implies that dα=0 and δα=0 , hence αHk(M) .

Theorem 2.5. Let M be a Riemannian manifold of dimension n , then

  1. Hk(M) is a finite dimensional vector space for k=0,1,2,,n .

  2. There is an orthogonal decomposition of Λk(M) as


Proof: By Theorem 2.1, Δ:Λk(M)Λk(M) is a Schrödinger operator, so the Hodge theorem applies. Thus Hk(M) is of finite dimension, so the first holds. The second part of the Hodge theorem is Λk(M)=Hk(M)+Δ(Λk(M)) . Since Δ(Λk(M))d(Λk1(M))+δ(Λk+1(M)) , we have Λk(M)=Hk(M)+d(Λk1(M))+δ(Λk+1(M)) . The three spaces in this decomposition are orthogonal to each other, so (ii) holds as well.

Theorem 2.6. (Duality theorem) For an oriented Riemannian manifold M of dimension n , the star isomorphism *:Hk(M)Hnk(M) induces an isomorphism


The k ‐th Betti number defined as bk(M)=dimHk(M,R) also satisfies bk(M)=bnk(M) for 0kn .

3. The Minakshisundaran‐Pleijel paramatrix

Let M be a Riemannian manifold with dimension n and E a vector bundle over M with an inner product and a metric connection. Here, the following formal power series is considered with a special transcendental multiplier eρ2/4t and parameters (t,p,q)(0,)×M×M , defined by


In Eq. (26), the function ρ=ρ(p,q) is the metric distance between p and q in M , Ep=π1(p) is the fiber of E over p and uk(p,q):EpEq are R ‐linear map.

It is the objective to find conditions for which Eq. (26) satisfies the heat equation or the following equality:


To carry out this, a normal coordinate system denoted by {x1,,xn} is chosen in a neighborhood of point p and is centered at p . This means that if q is in this neighborhood about p , which has coordinates (x1,,xn) , then the function ρ(p,q) is


In terms of these coordinates, we calculate the components of g ,


and define the differential operator


The notion of the heat operator (15) on Eq. (26) is worked out one term at a time. First, the derivative with respect to t is calculated


It is very convenient to abbreviate the function appearing in front of the sum in Eq. (30) as follows:


Let {e1,,en} be a frame that is parallel along geodesics passing through p and satisfies


In terms of the function in Eq. (31), the operator Δ0 acting on Eq. (26) is given as


The individual components of (32) can be calculated as follows; since Φ is a function eaΦ=eaΦ and so




and the Laplace‐Beltrami operator on the function Φ is given by


Expression (34) goes into the first term on the right side of Eq. (32). The second term on the right‐hand side of (32) takes the form,


Substituting these results into (32), it follows that


Combining Eq. (36) with the derivative of H with respect to t in Eq. (35), the following version of the heat equation results:


This is summarized in the following Lemma.

Lemma 3.1. Heat equation (27) for H(t,p,q) is equivalent to


for all k=0,1,2, and Eq. (38) is initialized with u1(p,q)=0 .

In fact, for fixed pM and wEp , there always exists a unique solution to problem (Eq. (38)) over a small coordinate neighborhood about p .

Definition 3.1. Denote the solution of Eq. (38) by u(p,q)w , which depends linearly on w . Then, um(p,q):EpEq and the Minakshisundaram‐Pleijel parametrix for heat operator (Eq. 15) is defined by


Based on Eq. (39), the N ‐truncated parametrix is defined based on Eq. (39) to be


Theorem 3.1. Choose a smooth function ϕ:M×MM and let G0(t,q,p)=ϕ(q,p)HN(t,q,p) . Then G0(t,q,p) is a k ‐th initial solution of the heat operator (15), where k=N2n4 and z is the greatest integer less than or equal to z .

Proof: Clearly, G0 is a linear map of vector spaces andis continuous and C in all parameters. From the previous calculation, it holds that


and uN(p,q) is C with respect to p and q . Since tNn2eρ2/4t is Ck([0,)×M×M) , hence H(φ(p,q)HN(t,q,p))Ck([0,)×M×M) . Consider integrating G0 against ψ(s,β) ,


The integral of Eq. (42) over M can be broken up into an integral over Qq(ò2)={sM|ρ(q,s)<ò/2} anda second integral over the set MMq(ò2) . On the latter set, the limit converges uniformly hence


To estimate the remaining integral, choose a normal coordinate system at q and denote the integration coordinates as (s1,,sn) , then the integrand of Eq. (42) is given as


Therefore, in the limit using Definition 2.4,


This result implies that


The convergence here is uniform.

There exists an asymptotic expansion for the heat kernel which is extremely useful and has several applications. It is one of the main intentions here to present this. An application of its use appears later.

Theorem 3.2. (Asymptotic expansion) Let M be a Riemannian manifold with dimension n and E a vector bundle over M with inner product and metric Riemannian connection. Let G(t,q,p) be the heat kernel or fundamental solution for heat operator (Eq. (15)) and (Eq. (39)) the MP parametrix. Then as t0 , G(t,p,p) has the asymptotic expansion G(t,p,p)H(t,p,p) , that is, for any N>0 , it is the case that


and the symbol on the right‐hand side of Eq. (44) signifies a quantity ξ with the property that


Proof: It suffices to prove the theorem for any large N . Let G0(t,q,p)=φ(q,p)HN(t,q,p) as in Theorem 3.2. The conclusion of the theorem is equivalent to the statement


From the previous theorem and existence and regularity of the fundamental solution, the result G of Levi iteration initialized by G0 is exactly the fundamental solution. Equality (Eq. (41)) means that there exists a constant A such that for any t(0,T) ,


Let v(M) be the volume of the manifold M . Using this result, the following upper bound is obtained


We have set B=ATNn2v(M) . Exactly the same procedure applies to |K2(t,q,p)| . Based on the pattern established this way, induction implies that the following bound results


The formula for Levi iteration yields upon summing this over m the following upper bound


Using this bound, the required estimate is obtained,


This finishes the proof.

Now if all the Hodge theorem is used, formal expressions for the index can be obtained. Suppose D:Γ(E)Γ(F) is an operator such that D*D and DD* are Schrödinger operators and D* is the adjoint of D . Suppose the operators D*D:Γ(E)Γ(E) and DD*:Γ(F)Γ(E) are defined, so they are self‐adjoint and have nonnegative real eigenvalues. Then the spaces Γμ(E) and Γμ(F) can be defined this way


For any m>0 , the dimensions of the spaces in (44) are finite and moreover,


Consequently, an expression for the index Ind(D) can be obtained from Eq. (45) as follows


Definition 3.2. For the Schrödinger operator Δ , let etΔ:Γ(E)Γ(E) , for t>0 be defined as


where G(t,q,p) is the fundamental solution of heat operator (Eq. (15)).

Let 0λ1λ2 be the eigenvalues of the operator Δ and {ψ1,ψ2,} the corresponding eigenfunctions. Intuitively, the trace of etΔ is defined as


This is clearly keλkt or μetμdimΓμ(E) , so the definition of tr is well‐defined if and only if


Theorem 3.3. For any p,qM , let {e1(p),,eN(p)} and {f1(q),,fN(q)} be orthonormal bases on Ep and Eq , respectively, then the following two results hold for t>0 ,


Proof: When t>0 , G(t,q,p) is continuous and hence satisfies (a). For and wΓ(E) , Theorem 2.5 yields the following expansion for G(t,q,p)Γ(E)¯ , hence the Parseval equality yields


Replacing w by the basis element ea(p) , this implies that


Then for any m , it follows that


Theorem 3.4. For any t>0 ,


Proof: From Theorem 2.2, it follows that


Integrating this on both sides, it is found that


Note that Eq. (48) is a series with positive terms which converges uniformly as t . Therefore,


In fact, as t0 , the equality


and the previous theorem imply that limt0tretΔ= .

4. An application of the expansions: the Gauss Bonnet theorem

As far as Ind(D) is concerned, it is the case for all t>0 that,


by Theorem 3.5, where G±(t,p,p) are the fundamental solutions of t+D*D and t+DD* . As t0 , Theorem 3.2 assumes the form


Lemma 4.1. Let {λi} be the spectrum of the Laplacian on zero‐forms, or functions, on M . Then,




The spectrum of the Laplacian on functions characterizes a lot of interesting geometric information. Note that Eq. (52) can be written as


and the trace does not appear in the case of functions. The superscript on the Laplacian Δp denotes the form degree acted upon andsimilarly on other objects throughout this section.

Two Riemannian manifolds are said to be isospectral if the eigenvalues of their Laplacians on functions counted with multiplicities coincide.

Corollary 4.1. Let M and N be compact isospectral Riemannian manifolds. Then M and N have the same dimension and the same volume.

Proof: Let {λi} denote the spectrum of both M and N with dimM=m and dimN=n . Then it follows that


This implies that m=n , which in turn implies that


Since the right‐hand side of the equation depends on t , but the left‐hand side does not, this result implies that


Iterating this argument leads to the set of equations


for all k>0 . In particular, since u0=1 , Eq. (53) leads to the conclusion vol(M)=vol(N) .

The proof illustrates that in fact there exist an infinite sequence of obstructions to claiming that two manifolds are isospectral, namely the set of integrals Mukdvp . The first integral contains basic geometric information. It is then natural to investigate the other integrals in sequence as well. Recall that Rp,Rp, denote the covariant derivatives of the curvature tensor at p . A polynomial P in the curvature and its covariant derivatives is called universal if its coefficients depend only on the dimension of M . The notation P(Rp,Rp,,kRp) is used to denote a polynomial in the components of the curvature tensor and its covariant derivatives calculated in a normal Riemannian coordinate chart at p . The following theorem will not be proved, but it will be used shortly.

Theorem 4.2. On a manifold of dimension n ,


for some universal polynomials Pkn .

Thus, P1n is a linear function with no constant term and u1(p,p) is a linear function of the components of the curvature tensor at p , with no covariant derivative terms. The only linear combination of curvature components that produces a well‐defined function u1(p,p) on a manifold is the scalar curvature R(p)=Rijij andso there exists a constant C such that u1(p,p)=CR(p) .

Theorem 4.3.


Proof: The proof amounts to noticing that P1n is a universal polynomial, so it suffices to compute C over one kind of manifold. A good choice is to integrate over Sn with the standard metric and work it out explicitly in normal coordinates. It is found that u1(p,p)=n(n1)/6 andit is known that R(p)=n(n1) for all pSn andthis implies Eq. (56).

The large t or long‐time behavior of the heat operator for the Laplacian on differential forms is then controlled by the topology of the manifold through the means of the de Rham cohomology. The small t or short‐time behavior is controlled by the geometry of the asymptotic expansion. The combination of topological information has a geometric interpretation. This is made explicit by means of the Chern‐Gauss‐Bonnet theorem. The two‐dimensional version of this theorem will be developed here.

These results can be summarized by the elegant formula


where v(M) is the volume of M .

Suppose that λ is positive and here we let Eλp denote the possibly trivial eigenspace of Δ on p ‐forms. If ωEλp then it follows that Δp+1dω=dΔpω=λdω , hence dωEλp+1 . Thus, a well‐defined sequential ordering of the spaces can be established. If ωEλp has the property that dω=0 , then λω=Δpω=(δd+dδ)ω=dδω . Therefore, since λ0 , it is found that ω=d(1λδω) . Thus, the sequence 0Eλ0ddEλn0 is exact. Since the operator d+δ is an isomorphism on kEλ2k , it follows that


Theorem 4.4. Let {λis} be the spectrum of the operator Δ , then


Proof: By (57),


The sum on the right is only over eigenvalues such that λip=0 and so


This has the consequence that


is independent of the parameter t . This means that its large or long t behavior is the same as its short or small t behavior. To put it another way, the long‐time behavior of tretΔ is given by the de Rham cohomology, while the short‐time behavior is dictated by the geometry of the manifold. Using the definition of the Euler characteristic, it follows that


From the asymptotic expansion theorem, the following expression for χ(M) results


The uks in Eq. (61) are the coefficients in the asymptotic expansion for tr(etΔs) . Since χ(M) is independent of t , only the constant or t ‐independent term on the right‐hand side of Eq. (61) can be nonzero. This implies the following important theorem.

Theorem 4.5. If the dimension of M is even, then


Theorem 4.6. (Gauss‐Bonnet) Let M be a closed oriented manifold with Gaussian curvature K and area measure daM , then


Proof: By the last theorem and the fact that trukp(x,x)=trukp1(x,x) , it follows that


since the scalar curvature is two times the Gaussian. Now it must be that tru11(x,x)=CR(x)=2CK(x) , for some constant C . The standard sphere S2 has Gaussian curvature one andso C can be calculated from Eq. (64),


Therefore, C=2/3 and putting all of these results into Eq. (64), Eq. (62) results.

As an application of this theorem, note that the calculation of u1 gives another topological obstruction to manifolds having the same spectrum.

Theorem 4.7. Let (M,g) and (N,h) be compact isospectral surfaces, then M and N are diffeomorphic.

Proof: As noted in Corollary 4.1,


On a surface, the scalar curvature is twice the Gaussian curvature, so by the Gauss‐Bonnet theorem,


However, oriented surfaces with the same Euler characteristic are diffeomorphic.

5. Summary and outlook

The heat equation approach has been seen to be quite deep, leading both to the Hodge theorem and also to a proof of the Gauss‐Bonnet theorem. Moreover, it is clear from the asymptotic development that there is a generalization of this theorem to higher dimensions. The four‐dimensional Chern‐Gauss‐Bonnet integrand is given by the invariant 132π2{K24|ρr|2+|R|2} , where K is the scalar curvature, |ρr|2 is the norm of the Ricci tensor, |R|2 is the norm of the total curvature tensor andthe signature is Riemannian. This comes up in physics especially in the study of Einstein‐Gauss‐Bonnet gravity where this invariant is used to get the associated Euler‐Lagrange equations.

Let Rijkl be the components of the Riemann curvature tensor relative to an arbitrary local frame field {ei} for the tangent bundle TM and adopt the Einstein summation convention. Let m=2s be even, then the Pfaffian Em(g) is defined to be


The Euler characteristic χ(M) of any compact manifold of odd dimension without boundary vanishes. Only the even dimensional case is of interest.

Theorem 5.1. Let (M,g) be a compact Riemannian manifold without boundary of even dimension m . then


This was proved first by Chern, but of greater significance here, this can be deduced from the heat equation approach that has been introduced here. There is a proof by Patodi [18], but there is no room for it now. It should be hoped that more interesting results will come out in this area as well in the future.


1 - Jost J. Riemannian Geometry and Geometric Analysis, Springer‐Verlag, Berlin‐Heidelberg; 2011.
2 - Yu Y. The Index Theorem and the Heat Equation Method, World‐Scientific Publishing, Singapore; 2001.
3 - Berline N, Getzler E, Vergne M. Heat Kernel and Dirac Operators, Springer‐Verlag, Berlin‐Heidelberg, 1992.
4 - Rosenberg S. The Laplacian on a Riemannian Manifold, London Mathematical Society, 31, Cambridge University Press, New York, NY, USA; 1997.
5 - Gilkey P B. The Index Theorem and Heat Equation, Mathematics Lecture Series, No. 4, Publish or Perish Inc, Boston, MA; 1974.
6 - Goldberg S I. Curvature and Homology, Dover, New York, 1970.
7 - Cavicchidi A, Hegenbarth F. On the effective Yang‐Mills Lagrangian and its equation of motion, J. Geom. Phys. 1998; 25, 69–90.
8 - McKean, H Singer I. Curvature and eigenvalues of the Laplacian, J. Diff. Geom. 1967; 1, 43–69.
9 - Atiyah M F, Patodi V K, Singer I. Spectral asymmetry and Riemannian geometry I, Math. Proc. Camb. Phil. Soc. 1975; 77, 43–69.
10 - Gilkey P B. Curvature and eigenvalues of Laplacian for elliptic complexes. Adv. Math. 1973; 11, 311–325.
11 - Bracken P. Some eigenvalue bounds for the Laplacian on Riemannian manifolds. Int. J. Math Sciences. 2013; 8, 221–226.
12 - Bracken P. The Hodge‐de Rham decomposition theorem and an application to a partial differential equation. Acta Mathematica Hungarica, 2011; 133, 332–341.
13 - Bracken P. A result concerning the Laplacian of the shape operator on a Riemannian manifold and an application. Tensor N S. 2013; 74, 43–47.
14 - Minakshisundaram S, Pleijel A. Some properties of the eigenfunctions of the Laplace operator on Riemannian manifolds, Can J. Math. 1949; 1, 242–256.
15 - Bracken P. A note on the fundamental solution of the heat operator on forms, Missouri J. Math Sciences. 2013; 25, 186–194.
16 - Chern S S. A simple proof of the Gauss‐Bonnet formula for closed Riemannian manifolds. Ann. Math. 1944; 45, 747–752.
17 - Gilkey P B, Park J H. Analytic continuation, the Chern‐Gauss‐Bonnet theorem andthe Euler‐Lagrange equations in Lovelock theory for indefinite signature metrics, J. Geom. Phys. 2015; 88, 88–93.
18 - Patodi V K. Curvature and the eigenforms of the Laplace operator. J. Differen. Geom.. 1971; 5 233–249.