Spectral Asymmetry and Riemannian Geometry. I: MPCPS 77-5

Download as pdf or txt
Download as pdf or txt
You are on page 1of 27

Math. Proc. Camb. Phil. Soc.

(1975), 77, 43 MPCPS 77-5 Printed in Oreat Britain

43

Spectral asymmetry and Riemannian Geometry. I


B Y M. F. ATIYAH, V. K. PATODI AND I. M. SINGER Oxford University Tata Institute for Fundamental Research, Bombay Massachusetts Institute of Technology, Cambridge, Massachusetts (Received 25 March 1974) 1. Introduction. The main purpose of this paper is to present a generalization of Hirzebruch's signature theorem for the case of manifolds with boundary. Our result is in the framework of Riemannian geometry and can be viewed as analogous to the Gauss-Bonnet theorem for manifolds with boundary, although there is a very significant difference between the two cases which is, in a sense, the central topic of the paper. To explain this difference let us begin by recalling that the classical GaussBonnet theorem for a surface X with boundary Y asserts that the Euler characteristic E(X) is given by a formula:

where K is the Gauss curvature of X and cr is the geodesic curvature of Y in X. In particular if, near the boundary, X is isometric to the product Y x R+, the boundary integral in (1-1) vanishes and the formula is the same as for closed surfaces. Similar remarks hold in higher dimensions. Now if X is a closed oriented Riemannian manifold of dimension 4, there is another formula relating cohomological invariants with curvature in addition to the Gauss-Bonnet formula. This expresses the signaturef of the quadratic form on H2(X, R) by an integral formula (1-2) where px is the differential 4-form representing the first Pontrjagin class and is given in terms of the curvature matrix R by px = (2n)-2TrR2. I t is natural to ask if (1-2) continues to hold for manifolds with boundary, provided the metric is a product near the boundary. Simple examples show that this is false, so that in general O. (1-3)

The notation in (1-3) is meant to emphasize t h a t / ( F ) depends only on Y (as an oriented Riemannian manifold) and not on X. In other words, if X' is another manifold with boundary Y, then s i g n X - - | 2>1 = s i g n X ' - - |
V

p'v
P+Q

f The signature of the quadratic formes? S 3^ ia p q.


1 p+1

44

M. F. ATIYAH, V. K. PATODI AND I. M. SINGER

This is an easy consequence of (1 -2) applied to the closed manifold l u ( - Z ' ) obtained by glueing X' (with orientation reversed) to X along Y. We are therefore left with the question of understanding how f(Y) depends on the metric on Y. The following properties are clear from (1*3): / is a continuous function of the metric, f(-Y) = -f(Y), (1-4) (1-5)

where Y is Y with the same metric but with opposite orientation. A natural conjecture, consistent with (i) and (ii) would be that/is given by some integral expression f(Y)= I 6, where 6 is a 3-form on Y canonically constructed out of the metric. J F However, if this were the case, it would imply that / was multiplicative for finite coverings, namely f(Y) = df(Y), whenever F is a d-fold covering of Y. Explicit examples show that this is false: in fact, for Y = 3-sphere,/(Y) = 0 but/(F) + 0 for a suitable lens space Y (a quotient of the 3-sphere by the cyclic group of order d)f. Thus / must be a global invariant of the metric. Rather surprisingly, and this is our main result, it turns out to be a spectral invariant. We recall that the eigenvalues A of the Laplace operator of the metric are conveniently studied via the Zeta-function:{ () = S A-8. (1-6) Real-valued invariants of the metric satisfying (1-4) can then be obtained by evaluating (s) at some point where it is known to be finite. Invariants obtained in this way are however insensitive to the choice of orientation so that they will not satisfy (l-5). To find a function of the eigenvalues which satisfies (1-5) we have to do something more subtle. To begin with, we should use the Laplace operator on forms as well as on scalar functions. Next we observe that this total Laplace operator A is in fact the square of a self-adjoint first order operator B = (d* *d). Thus the eigenvalues of A are of the form A2, where A is an eigenvalue of B. Now, unlike A, the operator B is not positive so its eigenvalues can be positive or negative. Taking this sign into account, we can therefore refine (1-6) to define a new function
V(s)=

2(signA)|A|-.
A#0

(1-7)

If we regard (1-6) as a generalization of the Riemann Zeta-function, then (1-7) can be regarded as analogous to the Dirichlet Z-functions. Since B involves the * operator (linearly), it follows that reversing the orientation of Y changes B into B and hence 7](s) into rj(s). If we now evaluate TJ(S) at a suitable value of s, we will therefore obtain an invariant satisfying (1-5). To decide what value of s is a reasonable candidate, we consider the behaviour of our function / with respect to scale changes of the metric. Since a scale change &2gri}-, k a positive constant) does not affect the curvature, it does not alter the (git i
f These examples will be treated in Part II. % An eigenvalue is repeated in (1-6) according to its multiplicity. Signs are technically most important in what follows, but to avoid complications at this stage we simply write + . The correct signs will be found in section 4.

Spectral asymmetry and Riemannian geometry. I

45

value of/. On the other hand an easy check (see ((2); section 5)) shows that the eigenvalues A of B become &~XA and so t](s) becomes k~srj(s). The only value of s for which 7j{s) is unaltered is therefore s = 0. To sum up, we see that the simplest spectral invariant of Y that behaves like/( Y) is 1/(0). In fact our main result (Theorem (4-14)) asserts t h a t / ( F ) = ^rj(O). The factor \ has an obvious explanation, because B is clearly the direct sum of two operators Bev, Bodd acting on forms of even and odd degrees respectively and * switches the two so that the ^/-invariant of Bey is half the ^-invariant of B. Thus we can remove the factor \ if we replace the operator B by the operator 5 e v . Note that in the classical notation for flat space BeT is essentially the operator /0 div \ \grad curl/ acting on the 4-vector consisting of a function and a vector-field (which may be identified with a 2-form). In the above discussion, we restricted ourselves to 4-dimensional manifolds X (with 3-dimensional boundary Y) only for simplicity. In fact everything goes through for 4&-dimensional manifolds (as stated in Theorem (4-14)), the main difference being that the simple integrand \px in (1 3) has to be replaced by the Hirzebruch i-polynomial in the Pontrjagin forms in the general case. Moreover, we show, in Proposition (4-20), that in computing TJ(S) the only relevant part of the operator B is d* acting on dQ2*"1, which is roughly in the middle dimension. Thus, in the classical situation discussed in the previous paragraph, only curl contributes to the computation of ij(s). For positive self-adjoint elliptic operators the Zeta-functions given by (1-6) have finite values at s = 0, which are given by explicit integral formulae. In view of Theorem (4-14) and of the non-local character of/, the 5/-functions must behave in a different way. The explanation for this difference between r/ and f is that r/ involves the separation of Spec B into positive and negative. This is a global operation and it accounts for the non-local character of y. Of course it is implicit in what we have said that TJ(S) has a finite value at s = 0. Now, just as for (s), this value is defined by analytic continuation in s from the half-plane of absolute convergence (Re s large). The behaviour near s = 0 of the two functions is however somewhat different. Whereas (0) is finite and explicitly computable as an integral, r/(s) has at first sight a simple pole at s = 0 with an explicitly computable residue. I t is a remarkable fact that, for the operator B above, the integral formula for this residue vanishes identically so that 97(0) is finite. This situation has some close analogies with the analytic i?-torsion studied in (14) and (15). There the appropriate ^-function turns out to vanish at s = 0 and one then proceeds to consider the next term in the Taylor expansion, namely '(0). This turns out to have a non-local character which is related to the global topological invariant studied in Reidemeister torsion. From yet another point of view, this paper has something in common with (14) and (15). Each of these three papers introduces an analytic invariant for manifolds which is related to a classical index invariant: namely the signature, Euler characteristic and arithmetic genus. However, the differences between the three cases are substantial and we do not see at present how to unify them under any common generalization.

46

M. F. ATIYAH, V. K. PATODI AND I. M. SINGER

Thefinitenessof 7/(0) turns out to be a general phenomenon valid for all self-adjoint elliptic operators.f For certain other operators arising in Riemannian geometry (operators of 'Dirac type'), thisfinitenesscan be proved in exactly the same manner as for the particular operator B. That is, one computes the residue as an explicit integral and then shows it vanishes identically, or alternatively one deduces it fom the analogue of Theorem (4-14). For general self-adjoint operators, such a direct argument seems difficult and instead we shall deduce it (in Part III) from the special Riemannian cases by topological methods. We now return to explain the method of proof of our main theorem. Recall first that the Hirzebruch signature theorem for closed manifolds is a special case of the general index theorem for elliptic operators. In fact there is an operator (the ' signature operator') acting on certain spaces of differential forms whose index can be identified via Hodge theory with the signature of the manifold. It is natural therefore, for a manifold X with boundary Y, to try to set up a suitable elliptic boundary value problem for the signature operator whose index will be the signature of X. The difficulty with this programme is that there are topological obstructions to the existence of such boundary conditions (1) and these obstructions are non-zero for the signature operator. This is on the assumption that we are looking for classical or local boundary conditions as for example in the Dirichlet or Neumann problems. If we enlarge our point of view however and permit global boundary conditions, then it turns out that we can indeed set up an appropriate boundary value problem. Near the boundary, the signature operator takes the form (1-8) where u is the normal coordinate, o~ is a bundle isomorphism and B is the self-adjoint operator on Y described earlier. For our boundary condition, we require that the
boundary value </> \ Y should lie in the subspace spanned by the eigenfunctions (j>k of B with

A < 0. If P denotes the orthogonal projection onto the space spanned by the eigenfunctions with A ^ 0, the boundary condition is P{(j>\Y) = 0. The operator P is pseudo-differential and its symbol p = p(y, ) is an idempotent mxm matrix of rank \m defined on the cotangent sphere bundle of Y. It turns out that^> is not deform able (through idempotents of rank \m) to a matrix function of y alone, i.e. to the symbol of a multiplication operator. This is the topological obstruction referred to above which shows that there is no (elliptic) boundary condition of local type for the signature operator. For our global boundary condition P{(j>\ Y) = 0 however, we have a good elliptic theory and, in particular, afiniteindex. This index can be identified with the signature of X so that Theorem (4-14) appears as an index formula; the index being expressed as the sum of two terms, one an integral over the interior X and the other 1/(0) coming from the boundary Y. It is clear that the right context in which to view Theorem (4-14) is therefore that of index problems for such global boundary conditions. In section 3, we derive a general
( At least for odd-dimensional manifolds.

Spectral asymmetry and Riemannian geometry. I

47

analytical result, Theorem (3-10), giving such an index formula for first-order systems which are of the simple type (1-8) near the boundary (with B now being any selfadjoint first-order elliptic differential operator on Y). In Theorem (3-10), the interior integral is only given implicitly since it depends on the asymptotic behaviour of the corresponding heat kernel. If however our interior operator is one of the classical' Dirac type' operators arising in Riemannian geometry then the main results of (2) enable us to identify the integral with an explicit expression in the curvature. This is done in section 4 and leads to results such as Theorem (4-2) for the Dirac operator on spinors. As a simple illustration, we consider in some detail the case of Riemann surfaces with boundary. In the second half of section 4 we show how the special case of Theorem (4-14) fits into the general Riemannian framework. The main point here is to carry out the analogue of the Hodge theory for manifolds with boundary. Now there is already such a treatment (8), used successfully in (14), in which the absolute and relative cohomology groups of X and (X, Y) are computed in terms of harmonic forms satisfying appropriate local boundary conditions. Unfortunately this is not what we need here, and in fact the attempt to use these classical boundary conditions held up progress for a long time. Instead we have to connect cohomology to the null space JV of the signature operator with its global boundary condition. To explain our result, it is convenient to introduce the non-compact' elongation' X of X obtained by attaching the semi-infinite cylinder Y x R~ to the boundary Y of X. Note that a form in Jf extends to an exponentially decaying harmonic form on X, and so is certainly squareintegrable. The result we need is, then, Proposition (4-9) asserting that the space of square integrable harmonic forms on X is naturally isomorphic to the image of the relative cohomology H*(X, Y) in the absolute cohomology H*(X). This image is so to speak the part of the cohomology that lies half-way between the absolute and the relative, and when represented by harmonic L2-forms on X, it is naturally acted on by the duality operator *. There are many interesting generalizations and applications of our results, some of which have been mentioned in ((5); section 2), and we shall treat these in detail in Part II of this paper. In particular, we shall study the relation with coverings, exploiting the non-multiplicative character of TJ(O) alluded to earlier. We shall also discuss the relation of our invariant with the recent work of Chern and Simons (6). In denning our ^-function by (1-7), we mentioned the analogy with the L-functions of Number Theory. In fact, there are some 3-manifolds arising in the theory of real quadratic fields for which our invariant 7/(0) turns out to coincide essentially with the value L(0) of a certain .L-function of thefield.Modulo this identification Theorem (4-14) for these 3-manifolds reduces to a result of Hirzebruch(lO). One of the primary motivations of our present work was in fact an attempt to understand the significance of Hirzebruch's result in the wider context of Riemannian geometry. Conversely we hope that our results may have Number theoretical significance, particularly for totally real number fields. We shall return to this question in a future publication. In the search to identify the invariant/(F), denned by (1-3), another important clue was provided by a joint (unpublished) study of the first author and G. Lusztig. This study was concerned with a periodic family of self-adjoint elliptic operators and

48

M. F. ATIYAH, V. K. PATODI AND I. M. SINGER

an integer invariant called the spectral flow of the family. Roughly speaking the spectral flow is the net number of eigenvalues that change sign (from to +) while the parameter of the family is completing a period. Since it involves contrasting the positive and negative eigenvalues, this special flow clearly has something in common with our 7/-invariant. The precise relation will be explained in Part III. The main technical and computational part of the paper is in section 2 where we consider our boundary value problem on the semi-infinite cylinder Y x R+ instead of X. This can be treated quite explicitly assuming only well-known results concerning elliptic operators on the closed manifold Y. The fundamental solution of this cylinder problem then provides us in section 3 with a parametrix near the boundary for our boundary value problem on the compact manifold X. Combined in the usual way with an interior parametrix, this leads to the usual regularity and finiteness results, showing that our pro blem i s ' elliptic'. In fact our problem can easily be fitted into the general class of elliptic problemsf studied for example in (l1), but we have preferred to give a direct elementary treatment, partly because we need the explicit formulae for the heat equation. The basis of our general index formula (3-10) is in principle similar to that of (2) in that it uses the asymptotics of the heat equation. The only difference now is that our heat operator must take into account the boundary condition and this produces a boundary contribution in the asymptotics. The computation of this boundary contribution can be made on the cylinder and much of section 2 is concerned with this calculation, ending up with formula (2-25). The main results of this paper were announced without proof in (5). 2. Computations on the cylinder. In this section, we shall make some explicit calculations which will be basic to the rest of the paper. Let Y be a closed manifold, E a vector bundle over Y and A: Cx( Y, E) -> C( 7, E) a self-adjoint elliptic first order differential operator.% Then A has a discrete spectrum with real eigenvalues A and eigenfunctions <f>x. Let P denote the projection of C( Y, E) onto the space spanned by the <j>x for A > 0. Then P is a pseudo-differential operator. To see this, put B = A+H where H denotes projection onto the null-space of A, then B is invertible and so, by the results of Seeley (16), \B\ the positive square root of B2 is pseudo-differential. Clearly P = %B~1(B+ \B\). We now form the product Y x R+ of Y with the half-line u > 0 and consider the operator s
DM (2-1)

acting on sections/(?/, u) of E lifted to Y x R + (which we still denote by E). Clearly D is elliptic and its formal adjoint is

D*=-l

+ A.

(2-2)

| In the framework of (11) our problem would be an over-determined elliptic system. This is quite adequate for finiteness and regularity theorems but it does not deal with the index which must refer to a determined system. { E is assumed to have a 0 Hermitian inner product and Y a (7 measure dy, so that the inner product for sections of E is given as usual by U(y)> 9(y)) dy.

Jr

Spectral asymmetry and Biemannian geometry. I

49

We now impose the following boundary condition for D P/(-,0) = 0. (2-3) Note that this is a global condition for the boundary value f{',0): in fact it is equivalent to /. (/(y.O),0A(y)) = O for all A > 0 . Jr The adjoint boundary condition to (2-3) is clearly ( l - P ) / ( - , 0 ) = 0. (2-4) The space of all C sections satisfying (2-3) will be denoted by C<( Y x R+, E\ P) and ^comp will denote sections with compact support (i.e. vanishing for u > 0). Also Hl (for I ^ 0) will denote the Sobolev space of sections with derivatives up to order I in L% and H[oo the space of sections which are locally in Hl. More precisely <peE} iB(8/8uy^> eL2 for all j and for all differential operators B on Y of order I j. Then the following proposition asserts that (2-1) with the boundary condition (2-3) has a good fundamental solution Q.
PROPOSITION

(2-5). There is a linear operator Q- CcwomP(Tx R+>E) ->C(7x R+ E; P)

such that (i) DQg = g for all ge Cmp( YxR+,E) (ii) QDf = fforallfeCcmp(YxK+,E;P) (iii) The kernel Q{y,u; z, v) of Q is C< for u 4 = v {here y,zeY and u, veR+) (iv) Q extends to a continuous map H'-1 -> H[oofor all integral I > 1. Proof. To solve Df = g, we expand / and g in terms of an orthonormal basis of eigenfunctions of A:
f(y, u) = / A ( ) 4>\(y)> 9(y> u) = ^gx(u) <j>x{y).

We must now solve = 0 for We take the explicit solutions A ^ 0. (2-6)

AW =
Jo
/

for for
Ju

A<0

(2-7)

to define Qk. [Formally Q = SQA satisfies (i) and (ii) and to see that this formal solution for Q converges, it will be sufficient to prove (iv) by estimating the Sobolev norms. To do this, we rewrite the equations (2-7) in terms of the Laplace transform
Jo

and we get

/ ( ) =

gA(g) +/A(0) X + iE, '

(2 8)

'

PSP 77

50

M. F . A T I Y A H , V. K . P A T O D I A N D I . M. S I N G E R

where/ A (0) = 0 for A > 0 and / , (0) = eXvgx(v) dv for A < 0. Jo 2 Computing Z -norms from (2-8), we have

Hence, using Parseval's formula, we deduce for all A (2-9) Combined with (2-6), this gives
/A Uitt/ II < - o i l II

Since A is a first-order elliptic operator, the Sobolev norm ||

|| x for H1 may be defined

1 1 !=
Except for A = 0, (2-9) and (2-10) therefore give continuity H -> H1. For A = 0, fo(u) = f" gr0(v)rfuandthis,togetherwith(2-10),givescontinuityf?0^-ZfJooestablishing Jo (iv) for I = 1. More generally, multiplying (2- 9) by powers of A and differentiating (2- 6) with respect to u, we deduce

which establishes (iv) for general I. I t remains to verify (iii). Now Q is given by convolution in the u-variable with K{t) = e ( ) e - t w l P - e ( - < ) e t u l ( l - P ) , where e{t) is the characteristic function of the non-negative real line and ( 2 "H)

\A\ =AP-A(l-P).
For t > 0, e~*Ul is t h e ' heat operator' associated to the pseudo-differential operator \A | and so its kernel E{y, z, t) is a C00 function on Y x Y x R+. Alternatively, this can be deduced as follows. For 0 < t0 < tx < oo, we have
2

dydzdt

= P (S

(h-t0)

oo

Spectral asymmetry and Riemannian geometry. I


2m 2t |A| 2N

51

(since A e~ < C1iX~ which converges for large N). Since this holds for all j , k the Sobolev Lemma implies that E is C. By (2-11), the same is therefore true of K(t) for t # 0. Since Q(y,u; z, v) = K{y,z,u v), where K(y, z, t) denotes the kernel of K(t), = v. Q has a C*1 kernel for u 4 If we replace D by D* and the boundary condition (2-3) by (2-4), the only difference f g (v) dv. Thus D* in the above proof occurs for A = 0 in which case we put/0(%) = o Ju also has a fundamental solution with the properties in (2-5). If we regard D and D* as unbounded operators on L2 we have 2 PROPOSITION (2-12). The closure of the operators on L defined by D andD* with domains given by (2-3) and (2-4) respectively are adjoints of each other. Proof. If we decompose the Hilbert space L2( Y x R+, E) into two parts :H = H' H", H" involving the zero-eigenvalue of A and H' all the non-zero eigenvalues, then D and D* decompose accordingly. OnH", D = d/du, D* = 8/du and the adjointness is clear. On H' the fundamental solution Q of (2-5) gives a bounded inverse Q' for D and similarly we get a bounded inverse R' for D*. Then R' = (Q')* follows by continuity from the fact that (Df,g) = (f,D*g) for /, g e C^omp and satisfying (2-3) and (2-4) respectively. Since adjoints commute with inverses, the proposition is established. Let Si denote the closure of the operator D on L2 with domain given by (2-3). The domain of Q> is clearly contained in the closed subspace W, which is the kernel of the composite continuous map

#*( Y x R+ E) -^ L\ Y, E) L\ Y, E),
where r is restriction to the boundary.f A similar remark applies with D replaced by D* and (2-3) replaced by (2-4). Applying Proposition (2-12) we then see that equality must actually hold, namely Domain Si = W and similarly for Domain Si*. Now let us form the two self-adjoint operators
Ax = S)*Sl, A2 = S>S>*.

For t > 0, we can then consider the bounded operators e~tAi and e~tA*. We shall give the explicit kernels of these operators in terms of the eigenfunctions 0A of A. Consider first Ax, which is the operator given by d2/duz + A2 with the boundary condition

= 0 and

(1-P)1(?L

+ AA

j = 0.

(2-13)

Expanding in terms of the <f>x, so that/(y, u) = S/A(w) <f>x{y), we see that for each A we = 0 with the boundary conditions must study the operator d2/du2 + A2 on u 5 /A(0) = 0 if if A> 0 A < 0. (2-14) (2-15)

( Note that restriction is even continuous fl'jFx R+) -> Hi(Y).


4-2

52

M. F . A T I Y A H , V. K . P A T O D I AND I. M. S I N G E R

Now the fundamental solution for 8/dt d2jdu2 + A2 with the boundary condition (2-14) is easily seen to be

while for the boundary condition (2-15), standard Laplace transform methods (see ((6); section 14-2)) give

where erfc is the complementary error function denned by erfc (a;) =-p-1 The kernel of e~tAi at a point (y,u; z,v) is therefore given by multiplying (2-16) or (2-17) (according as A ^ 0 or A < 0) by <j>x.{y) <j>\{z) and summing over all A. For the operator A2, the boundary conditions for each A are A(0) = 0 if A < 0 = 0 if A Ss 0.
=o

(2-18) (2-19)

The fundamental solution of d/dt d2/du2 + A2 for (2-18) is again given by (2-16) while for (2-19) we must use (2-17) with A changed to A. Since e-^dg < e~x2 we see that (2-16) and (2-17) are both bounded by

Using the inequality x ^ ex^2, it follows that the kernel ex(t; y,u\ z,v) of e~tAi is bounded by
(2-20)

Since the kernel of e~tA* on the diagonal of Y x Yis bounded by Gt~nl2 (see for example ((2); section 4)) we deduce (2-21). The kernels ofe~mi and e~tA* are exponentially small intast-* for u = ) = v. More precisely they are bounded by
PROPOSITION

for some constant G as t->0. Proposition (2-21) asserts that, as usual, the contribution outside the diagonal (u = v) is asymptotically negligible. What we are primarily interested in is of course the contribution from the diagonal. Moreover we are interested in the difference between

Spectral asymmetry and Riemannian geometry. I


tA tA tA tA

53

e~ i and e~ *, so let K(t, y, u) denote the kernel of e~ i e~ * at the point (y, u;y,u) of (FxR+) x ( 7 x R + ) . Formulae (2-16), (2-17) and their counterparts for A2 then give

K{t,y,u) =

j ^ {

^| ^

^ ^]

)J (2-22)

where, for convenience, we have denned sign A = + 1 if A = 0. Integrating over Y x R+, we obtain K(t) = f" f K{t,y,u)dydu = _ S ^ ^ e r f c ( | A | V<) Jo J Y K * and hence, differentiating with respect to t, (2-23)

Note that, as t -> oo in (2-23), ."(<) -> \h, where h = dimKer^4 is the multiplicity of the 0-eigenvalue. Moreover, K(t) + \h ->- 0 exponentially as t -> oo. Also (2-23) shows that \K{t)\ < 1/V77-Se-A2t < C7-4" as < ^ 0. Hence for i?e() large Jo o converges. Integrating by parts and using (2-24), we get

(2-25)

by definition of rj(s). This is the final formula which we shall be applying in the next section. In particular if we assume that K(t) has an asymptotic expansion K{t) ~ then (2-25) yields aktik as * - 0,

where dN{s) is holomorphic for i?e(s) > - \{N +1). Thus (2-26) gives the analytic continuation of 7](2s) to the whole s-plane. In particular, rj(s) is holomorphic near 8 = 0 and its value at s = 0 is given by
(2-27)

Finally, we note that if, instead of defining K{t) by integrating over Y x R+, we integrate only over Y x [0, S] for some S > 0, the asymptotic expansion is unchanged. In fact, the difference is
S sign A^e2^:* erfc (S/Jt + \ A| Jt)
A

54

M. F . A T I Y A H , V. K . P A T O D I AND I . M. S I N G E R

which is bounded by

and hence is exponentially small. 3. The index formula. In this section, we shall consider a boundary value problem on a compact manifold X with boundary Y which coincides near the boundary with the problem studied in section 2. The computations in section 2 will then be used to derive an explicit formula for the index of our problem. The main result is stated in Theorem (3-10). Let D: C(Z, E) ->- C(X, F) be a first order elliptic differential operator. In a neighbourhood Y x I of the boundary, it is then of the form

where us I is the normal coordinate, a = crD(du) is the bundle isomorphism E -> F given by the symbol aD of D and Au: OGO( Y, Eu) -s- Cc0( Y, Eu) is an elliptic operator on Y depending on the parameter u (and Eu = E\ Y x {}). We now assume that Au is independent oiu. More precisely, this means that a suitable isomorphism of E n*(E0) identifies all Au with A = Ao (here n denotes the projection Yxl -> Y). With this assumption, we shall just write our operator in the form

As in section 2, we assume A is self-adjoint, with respect to given C00 hermitian inner products on E\ Y and a C measure dy on Y, and we shall fix inner products on E, F extending this inner product from Y x I to X and a Cm measure dx on X extending dydu on the collar. In particular, <r is taken to be an isometry. We consider the operator D with the boundary condition (2-3) and we construct a parametrix R by patching together the fundamental solution Q of (2-5) with an interior parametrix Q2. More precisely, let p(a, b) denote an increasing C00 function of the real variable u, such that p = 0 for % < a ,and p = 1 for u ^ b,

and define four (700 functions <f>x, 0 a , xjr^ i/r2 by

Note that ^ = 1 on the support of ^rt. We regard these functions of u as functions on the cylinder Y xl and then extend them to X in the obvious way: 0 1; \jrx being extended by 0 and <f>2, i/r2 being extended by 1. Finally, we put Qx = Qa1 and (considering (j)it i/ri as multiplication operators)

Spectral asymmetry and Riemannian geometry. I

55

Here Q2 can, for definiteness, be taken as the Green's operator for D on the double of X (note that, because of the form (3-1), there is a natural double of D on the double of X, the roles of E and F being switched on the two halves). R is a linear operator where C(X,E; P) is the space of sections of E which satisfy the boundary condition (2-3). Proposition (2-5) shows that R is a right parametrix, that is DR 1 has a (/"-kernel. Switching the roles of 0 i5 fa gives a left parametrix, hence R is, in fact, a 2-sided parametrix. Proposition (2-5) also shows that R is continuous from H1-1 -> Hl (for I > 1). It now follows that

and

D:CX(X,E;P)^C*>(X,F) Z>,: H \ X , E; P) -> Hl~i(X, F) (for 1 ^ 1 )

are Fredholm operators with the same null-space. Similar statements hold for the operator D* with the adjoint boundary condition (2-4) and by essentially the same argument as in (2-12), it follows that this gives the Hilbert space adjoint of D (as a closed operator on Z2). This implies that an _L2-section of F, orthogonal to the image of D, is necessarily C^ (being in Ker-Df). Thus D has a well-defined index, computed either in C00 or in L2, and indexZ> = d i m K e r ^ - d i m K e r ^ * , (3-2) where Q> is the closed operator defined by D (with domain H^X, E; P)). The operator &I*3I is then a self-adjoint operator and e~ts'B is the fundamental solution of 8/dt + D*D with the boundary condition (2-13). An approximate fundamental solution can be constructed from the fundamental solution elt constructed for the corresponding operator on the cylinder in section 2, and the fundamental solution1)e2 of d/dt + D*D on the double of X. Using the functions <f>t,fadefined above, we put f=<l>1e1rjr1 + 4>2e2f2. (3-3) Proposition (2-21) and the corresponding result for closed manifolds show that (d\dt + D*D)f is exponentially small as t-> 0. From this, and the fact t h a t / - > J as t -* 0, it follows (see for example(l3)) that our fundamental solution e = e~ts'B is given by a convergent series of the form

e=/+ S (-l)mcm*f,
l

where * denotes convolution in t and composition of operators. Here cx = (d/dt + D*D)f and c.m = cm_x*c1. In particular, for t > 0, e has a C kernel which differs from the kernel of / by an exponentially small term as t -* 0. Thus, in computing the asymptotic behaviour of Tr e~ts'B, we can replace e by/. Applying the same remarks to e~t3B* and subtracting, we obtain asymptotically 0' ~T [ K(t, y, u) fa(u) dydu+[
JX

F(t, x) fa(x) dx,

(3-4)

JOJ T

f Note that this is not the e2 of section 2 which was the counterpart of e t but for the operator

56

M. F . A T I Y A H , V. K . P A T O D I AND I. M. S I N G E R

where K is defined by (2-22) and F(t, z) is obtained from the kernels oe-tD*D and e-tDD' on the double of X. More precisely, F(t, x) = Fx{t, x)F2(t, x), where

10,(*) Is
(i runs over the eigenvalues of D*D (for i = 1) or DD* (for i = 2) and 0A are the corresponding eigenfunctions. Because of the estimates at the end of section 2, it follows that, in the first integral by so that we end up with the function K{t) o Jo given by (2-23). On the closed manifold (double of X), we know (see ((2); section 4)) that we have an asymptotic expansion F{t,x) ~ 2 <xk(x)ti, (3-5)

where the coefficients ak(x) are explicit local functions of the operators DD* and D*D. In the collar neighbourhood of Y, the operators DD* and D*D are isomorphic, via <r; and so F(t, x) ~ 0 for x in the collar. Hence, F(t, x) ^rz{x) ~ F(t, x) and so (3-4) becomes

*9 - Trc-** ~K(t)+

f ak(x)dxtik.

(3-6)

Now the operators ^ * ^ a n d ^ ^ * have discrete spectrum with finite multiplicities and their non-zero eigenvalues coincide. In fact, if p4, then 2)2)*{3)4>) = /iQi<f>

so <f>\-^!3<f> defines an isomorphism of the/i-eigenspace of S)*2> onto that of S>S>* (with inverse i/n-^/i-1^)*^). Also the null-space of Si*S> coincides with that of 2, while the null-space of 3)3)* coincides with that oiQ*. Hence by (3-2) index D = Txe-t3>'3Combined with (3-6), this gives an asymptotic expansion for K(t): K{t)~iadexDApplying (2-26) we deduce that f ak{z)dxtlk. (3-7)
k>-njX

2sJn
^ where = ^N(S) is holomorphic for Be(s) > iV+1 .

(3>8)

Thus 7]{s) is extended meromorphically to the whole plane and in particular ?/(0) = 2 f ao(x) dx-(h + 2 index D) Jx or index D = I ao(x)dx tr~^(3'9)

Spectral asymmetry and Riemannian geometry. I 57 This formula is what we have been aiming at and we therefore summarize our results so far in the following theorem:
THEOREM

(3-10). Let X be a compact manifold with boundary Y and let

be a linear first order elliptic differential operator on X (acting from the vector bundle E to the vector bundle F). We assume that, in a neighbourhood Yxl of the boundary, D takes the special form where u is the inward normal coordinate, a is a bundle isomorphism E\ Y -> F\ Y and A is a self-adjoint elliptic operator on Y. Let C(X, E; P) denote the space of sections f of E satisfying the boundary condition where P is the spectral projection of A corresponding to eigenvalues > 0. Then D: C>(X,E; P) -> C>(X,F) has a finite index given by indexZ> Jx where a0, h, 7/ are defined as follows: (i) ao(x) is the constant term in the asymptotic 'expansion (as t - 0) of

= fJ x

where ft', ^ denote the eigenvalues and eigenfunctions of D*D on the double of X, and /*", <j>" are the corresponding objects for DD*. (ii) h = dim Ker A = multiplicity of ^-eigenvalue of A (iii) 1/(5)= 2 sign A | A|~s, where A runs over the eigenvalues of A.
A*0

In (iii) the series converges absolutely for Re(s) large and then r/(s) extends to a meromorphic function on the whole s-plane with a finite value at s = 0. Moreover, if the asymptotic expansion in (i) has no negative power of t then v(s) is holomorphic for Re(s) > \.

Remark. This theorem can be viewed as providing information about the function v(s), associated to the operator A on Y; in particular that v(0) is finite. The proof depends on being able tofindX with dX = Y and an elliptic operator DonX extending 8/du + A. As we shall see in the next section, the natural operators A arising in Riemannian geometry tend to be extendable in this sense. For more general operators, one has to work somewhat harder and this will be discussed in Part III. The index of the boundary value problem in Theorem (3-10) can be given an alternative description by introducing the non-compact manifold l = Z u { 7 x [ 0 , -co)} illustrated in the figure.

58

M. F. ATIYAH, V. K. PATODI AND I. M. SINGER

We extend the bundles E, F (together with their inner products) to X in the obvious way and we take the measure dx = dydu on Y x [0, oo). We shall be primarily interested in the i 2 -sections of E and F over X, but we shall also consider a slightly larger space. By an extended 2/2-section of E, we shall mean a section/which is locally in L2 and such that, for large negative u,

where g is in L2 and / e Ker A. Thus/has fx as an asymptotic or limiting value as u -> oo. A similar definition holds for extended Z2-sections of F (using the isomorphism o~: E -- F in the cylinder Y x [0, oo)). (3-11). Let D: C'a(X,E,P)^Cco(X>F) be the operator in (3-10) and D*: C (X, F,l-P)^C*>(X, E) the adjoint operator. Then (i) K e r D is isomorphic to the space of L2-solutions of Df = 0 on X. (ii) KerD* is isomorphic to the space of extended L2-solutions of D*f = 0 on X.
PROPOSITION
X

Proof, (i) Let fe Ker D and expand it near the boundary in the form

where the <j>x are an orthonormal base of eigenfunctions of A. Since Df = 0, we have df/du + Af = 0,sothat/A(M) = e~A/A(0). Since Pf(; 0) = 0, we have/ A (0) = 0 for A ^ 0 and so /(p)=Se-kA(0)^). (3-12)
A<0

This shows that/extends to asection/on X which satisfies Df = 0 and is exponentially decaying as u -> oo, hence certainly in 2A Conversely a solution of Df = 0 on X, which is in L2, must be of the form (3-12), because terms involving e~Ku with A ^ 0 are not in L2. Thus/)->/ gives the required isomorphism, (ii) Let/eKerZ)*, then instead of (3-12), we get

f(y,u)= Z
AS=O

a n d / i s now an extended 2-section of F (as defined above) with limiting value y)(3-13)

Conversely, an extended Z*2-section/of F satisfying D*f = 0 is necessarily of the form (3-13) so that/(->/gives an isomorphism as required. In view of (3-2) we therefore deduce (3-14) index D = h(E)-h(F)-hoo(F) where h(E) is the dimension of the space ofL solutions of Df = OonX, h(F) the corresponding dimension for D* and h^F) is the dimension of the subspace of KerA consisting of limiting values of extended L2-sections f of F satisfying D*f = 0. On the compact manifold X we have already seen that Ker D coincides with Ker D*D (with the appropriate boundary conditions). We shall now show that similar results hold for Zr2-sections on X.
COROLLARY
2

Spectral asymmetry and Biemannian geometry. I

59

PROPOSITION (3-15). Theresolutions ofD and D*D coincide on X, as do the extended L2-solutions. The same also holds with D and D* interchanged.

Proof. Any solution oD*Df = 0 has an expansion on Y x [0, - oo) of the form f(y,u) = "Ei(axeXu + bxe~Xu)^x(y)
A

(3-16)

and for this to be in L2 as u -* oo, we must have aA = 0 for A < 0 and bx = 0 for > 0. Hence, / i s exponentially decaying as u -> oo. More precisely, we have |/(',w)| < Ce"tt with a > 0, (3-17)

where I || denotes the Z2-norm on Y. Applying D to (3-16), we see that Df also satisfies an estimate of the form (3-17). We now apply Green's formula to the compact manifold Xv = I u [ 0 , P ] c l obtaining f
J Xp

(D*Df,f)dx-(
J XJJ

(Df,Df)dx=(
J YJJ

(Df,af)dy,

(3-18)

where J ^ = dXv is the copy of Y at u = f7.Inviewoftheestimates(3-17)for/andZ)/, it follows that the right-hand side of (3-18) tends to zero as U -> oo. Since D*Df = 0, (3-18) gives f (Df,Df)dx=0 (3-19)

and hence Df = 0. This proves the first part of the Proposition. For an extended ^-section/ satisfying D*Df 0, the expansion (3-16) may now have non-zero terms corresponding to A = 0 so, instead of (3-17), we can only assert that ||/(*,tt)|| is bounded as u -> oo. However applying D removes these terms and so (3* 17) holds for Z)/and this is now enough to show that the right-hand side of (3-18) tends to zero as U -> oo. As before, we conclude that Df = 0, proving the second part of the Proposition. The corresponding statements with D and D* interchanged are proved in exactly the same manner. In view of this Proposition, the dimensions in (3-14) can equally well be defined using D*D and DD*. We conclude this section with some further comments on the 0-eigenvalue. If we replace!) by D* from the beginning, we obtain an operator^: C^iXjF; P) -> C^iXjE), where P is essentially the spectral projection of A corresponding to A < 0. This is because near the boundary of X we have

Thus # h a s a slightly larger domain than D*: C(X, F, 1 -P) -> C(Z, E) and hence a different index. In fact, applying Corollary (3-14), we get

index B = h(F)-h(E)-htc(E).

(3-21)

where hm(E) is the dimension of the subspace of Ker^4 consisting of limiting values of

60
2

M. F . A T I Y A H , V. K. P A T O D I AND I. M. S I N G E R

extended Z/ -sections f of E satisfying Df = 0. On the other hand, Theorem (3-10) applied to I> gives indexZ)= ao{x)dx 7T~^, (3-22) * Jx where a0, h, 9/(0) refer to the operator D (the point being that ao and 7/(0) change sign when we replace D by 3 but h = dimKer A = dimKer( A) is unaltered). Thus (3-21) and (3-22) yield ao(x) dx Jx
=

5 ^ = h(F) - h(E) - hx(E) l

(3-23)

while Theorem (3-10) and Corollary (3-14) applied to D give

J'

\ao(x) dx -

^(

= h(E) - h(F) - hw(F).

(3-24)

Adding (3-23) and (3-24) we deduce (3-25) h = h<a{E)+hx{F). This formula suggests that every section in Ker A is uniquely expressible as a sum of limiting values coming from E and F respectively. In any case, the dimensions behave as if this were true and we shall use (3-25) in the next section for one of our applications. 4. The Riemannian case. We shall now apply the general index formula of section 3 to the cases that naturally arise in Riemannian geometry. The main result of (2) asserts, then, that the integrand oco(x) dx that occurs in Theorem (3-10) can be identified explicitly as a suitable Pontrjagin form and that the asymptotic expansion in (3-10) (i) has no negative powers of t (implying, according to Theorem (3-10), that v(s) will be holomorphic for Re (s) > ). The prototype, and in some sense the fundamental case, is that of the Dirac operator and so we begin by describing this. Let X be an oriented compact manifold with boundary of dimension 2n, so that Y = dX has dimension 2n 1. We assume, moreover, that X is a spin manifold and we choose a definite spin structure. Finally, we choose a Riemannian metric on X which coincides with a product metric o n T x / i n a neighbourhood of the boundary. Then the Dirac operator of X is an elliptic first order differential operator D:Ca>{X,8+)-+C*>{X,8-), where S+ and S~ are the two spin bundles (associated to the two half-spin representations of Spin (2n)). For its definition and formal properties we refer to ((2); section 6) or ((12); Chapter IV). The restriction of S+ to Y may be identified with the spin bundle S of Y (associated to the spin representation of Spin (2n 1)), and in 7 x / w e have

where A is the Dirac operator on Y, u is the inward normal coordinate and <r is Clifford multiplication by the unit inward normal. Note that the Dirac operator on Y depends

Spectral asymmetry and Biemannian geometry. I

61

on the choice of orientation (it changes sign if we reverse the orientation). The sign convention we are using may be considered as defined by (4-1). As usual, a solution of Af = 0 (or equivalently A2f = 0) is called a harmonic spinor on Y. Combining Theorem (3-10) with the results of ((2); section 6), we obtain (4- 2). The index of the Dirac operator on X with the global boundary condition (2-3) is given by h + V(0) index D = A(p)
THEOREM

-L-

where h is the dimension of the space of harmonic spinors on Y, v(s) is the v-function of the Dirac operator on Y and A(p) is the Hirzebruch A-polynomial applied to the Pontrjagin forms pi of the Biemannian metric on X. Moreover TJ(S) is holomorphic for Re(s) > \. Remarks (1) Using (3-14), we can replace index D above by h(S+) h(S~) hx(S~), these integers being computed from the non-compact 'elongation' X of X as in section 3. Together with (3-25) this yields the formula given in Theorem 4 of (5). (2) The condition that X be isometric to a product near Y can clearly be relaxed. On the one hand it is fairly clear that the analytical results of section 3, concerning operators like D, continue to hold: the fundamental solution given in section 2 must now be used as simply the first step in an iterative procedure to construct a parametrix. Thus index D will be defined and will remain constant under continuous variation of the interior metric (while the metric on Y remains fixed). On the other hand the integral in (4-2) remains unaltered, provided the first two normal derivatives of the metric vanish on Y: this is because two such metrics yield a C2-metric on the double of X, and so we can argue as in section 1. Thus, (4-2) continues to hold as it stands for such metrics. For a more general metric, there will be an extra integral over Y involving the second fundamental form, and this is the analogue of the geodesic curvature in Gauss-Bonnet. (3) If n is odd, i.e. dimX = 2 mod 4, then A(p) = 0. We now distinguish the two cases n = 1 and K E 3 mod 4, using the particular structure of the Clifford algebra in these dimensions (see (3)). (a) n s 1 mod 4, so dim Y = I mod 8, then the Dirac operator A on Y is of the form A = iB, where B is real skew-adjoint (cf. the case Y = circle, B = d/dx). Hence Spec A is symmetric about the origin, so n(s) = 0 and (4-2) reduces to: h = 2 index D. Now h mod 2 is directly seen to be an invariant of Y, independent of the metric (see (4)) and so (4-2) gives an analytic proof that this invariant vanishes when Y is a spin boundary, or in other words A mod 2 is a spin-cobordism invariant. This was known before but only as a corollary of the mod 2 index theorem ((4); Theorem (3-1)). (b) n = 3mod4,sodim Y = 5 mod 8. In this case, the spin-bundle of Y has a natural quaternionic structure (defined say by j) and jA = Aj. This shows again that n(s) = 0 and also that the harmonic spinors have a quaternion structure. Thus h is automatically even and (4-2) gives no further information (except to identify \h with index D).

62

M. F. ATIYAH, V. K. PATODI AND I. M. SINGER

Suppose now is a hermitian vector bundle on X with a unitary connexion and that, near the boundary, the metric and connexion are constant in the normal direction. Then we have a generalized Dirac operator Dg, acting on spinors with coefficients in (that is, we tensor the spin bundles with E) and near Y we have

where Ag is the generalized Dirac operator on Y. Using the results of ((2); section 6), (4-2) generalizes to

^tai^

(4.3)

where hg, ijg(s) relate to the operator Ag and in the integrand ch denotes the Chern character of (as a differential form), sJ is the sum of all Hirzebruch polynomials Ak and we pick out the form in the product of top dimension. Similar formulae hold for spinc-manifolds (the condition (02{X) = 0, defining a spinmanifold being now relaxed to allow o)2{X) to be the image of an integral cohomology class). As explained in ((2); section 6), this includes the case of complex Kahler manifolds. As a simple illustration, let us consider the case of Riemann surfaces. Let X be a compact Riemann surface (without boundary) and delete from it small disjoint open discs Blt ...,BT around points p v ...,pr. Then X = XU Bt
i= l

is a surface, whose boundary Y consists of r circles. If zt is a local parameter centred at pit we choose a metric on X \Jp t, which is | dz^ | 2 near p t . This identifies the elongated manifold X conformally with the punctured surface X U pi. Applying now the analogue of (4-3) for the 8-operator on X, we obtain

Jjj-jl.

(4-4)

Here we have used the fact that the tangential component of d on each boundary circle is the standard operator 1(8/86), hence rj(s) = OandA = 1. Now the Chern form cx of a surface coincides with the Euler form and so, by Gauss-Bonnet,

J.

= 2-2Sr-r,

where g is the genus of X Thus (4-4) becomes index 8 = 1 g r. (4-5) I t is interesting to check (4-5) directly using (3-14). Since a holomorphic Z2-function on X decays exponentially at oo, we have h(E) = 0 (assuming r > 0, so that X + X). On the other hand, the space of holomorphic 2-one-forms is a conformal invariant (the condition J w A w < oo does not use the metric) and hence can be computed from the punctured surface X \J pt. One easily checks that a holomorphic L2 form must then

Spectral asymmetry and Riemannian geometry. I

63

extend holomorphically across the puncture, so that h(F) = g. To compute h^F) we use (3-25) and the fact that h^E) = 1 (extended holomorphic L2 functions on X being just the constants). Applying (3-14) this gives index 3 = 0 g (r 1), which checks with (4-5). Included amongst the case of (4-3) is that of the signature operator. This is of particular importance because of its relation with cohomology and so we shall now treat this in detail. Moreover, since the signature operator exists without the spin restriction involved in (4-3), we need to give it an independent treatment. We recall that, for an oriented Riemannian manifold X of dimension 21, the operator d + d* acts on the space Q. of all differential forms and anti-commutes with the involution T defined by T<j> i(p-i)+' * ^ for <j>elv. Denoting by Q+ and fi_ the + 1-eigenspaces of T, it follows that d + d* interchanges Q + and l_, and hence defines by restriction an operator which we call the signature operator. For a closed manifold X of dimension 4k, one checks easily, by the Hodge theory, that index A = sign(X), where sign (X) denotes the signature of the quadratic form on H2k(X; R) given by the cup-product. Suppose now X is a manifold with boundary Y and is isometric to a product near the boundary; then near Y, A is of the required form

with B a self-adjoint operator on Y. In fact we may identify the restriction of Cl+ to Y with the space of all differential forms on Y and a little computation then shows that B<j> = (-l)k+P+1(e*d-d*)<fi, (4-6) where * now denotes the duality operator on Y, 4k = dim X and <j> is either a 2^-form (e = 1) or a (2p 1) -form (e = 1). Note that B preserves the parity of forms on Y and commutes with <j> i-> ( - \)v * <j), so that B = Bev BoAi and Bev is isomorphic to Boid. In particular, the ^/-function of B is twice the ^/-function of 5 e v , and the same holds for the dimension of the null spaces. Combining Theorem (3-10) with the local signature theorem of ((2); section 5) we deduce, as in (4-2) and (4-3),

indexA=\

L(p)-(h + 7](0)),

(4-7)

Jx where h and T\ refer to the operator Ber, and L is the Hirzebruch Z-polynomial. Also by (3-14), we can replace index A by indexA = h+-h~ h^, (4-8) where h are the dimensions of Inharmonic forms in Q of the elongated manifold X and ft~ is the dimension of the space of limiting values of extended L2 harmonic forms

64

M. F. ATIYAH, V. K. PATODI AND I. M. SINGER

in Q_(X). We proceed now to give topological interpretations to the integers occurring in (4-8). First we prove the following result which is of some independent interest: (4-9). The space 3f{X) of L2harmonic forms on X is naturally isomorphic to the image &{X) o / # * o m p ( l ) -> H*(t) {or equivalently H*{X, Y) -+ H*(X)).
PROPOSITION

Proof. Because of (3 15) the L2 harmonic forms on X coincide with the L2 solutions of {d + d*) 0 = 0. Since the Laplace operator preserves degrees of forms the components 0 9 of a harmonic form 0 = E0 9 are also harmonic. It follows that an L2 harmonic form 0 also satisfies d<fi = d*(f> = 0. In particular, 0 defines an element [0] of H*{X). To see that [0] lies in the image of H*omp(X), it is sufficient to check that its restriction to H*{ Y) is zero. Now, since <j> is closed,

f 0 = f 0>
J y J ya

where y is a cycle in Y and yu the corresponding cycle in Yu = Y x {u} c: X. But 0 is exponentially decreasing as u -> oo (see (3-17)) hence
Jy

0 = 0 for any y and so [0]

restricts to zero in H*{ Y). Thus 0 1 > [0] defines a map which we shall prove is an isomorphism. First, we deal with surjectivity. A quite general theorem of de Rham-Kodaira ((9); p. 169) asserts that any closed Z2-form i/r can be written as i/r = dd + 0, (4'9) where 0 e i 2 , d<f> = d*<fi = 0 and 6 is some current (distributional form). In particular, a closed C form i/r with compact support has such a decomposition. Since every ei?(X) is represented by such a ft and since H*{X) can be computed from the complex of currents, (4-9) shows that a(0) = , so that a is surjective. Finally, to prove injectivity we assume a(0) = 0, so that 0 = dd for some C form 6 on X. We claim first, that 6 can be chosen bounded (i.e. as -> oo, 6 = 60 + dxdv,, where 60, dx are forms on Y, depending on u, and are bounded). In fact, putting v = \ju we get a normal coordinate near the boundary for the compactification X of X (obtained by adjoining a copy of Y' at oo'). Since 0 is exponentially decaying as v -> 0, it follows that 0 extends to a C* form on X Hence 0 = d# with 0 a C^-form on X Since dv = dufu2, it follows that 60 and 6xu2 are both bounded. Now apply Green's formula to a compact part XJJ of X (given by u ^ U), and we get

f
J

(4-10)

where <j> = fo + fadu, 6 = do + dxdu and Yu = dXv is a copy of Y. Since </> -> 0 exponentially while 0 is bounded as U -> oo, the boundary contribution in (4-10) tends to zero. Since d*<f> = 0 and </> = dd, we deduce that

Spectral asymmetry and Eiemannian geometry. I as U -> oo. But

65

hence <f) = 0 and a is injective as required. Remark. In (9), it is pointed out that the Hodge theorem, identifying cohomology with harmonic forms on a compact manifold, does not extend to i 2 -forms on a noncompact manifold. Proposition (4-9) shows nevertheless that, for the special cylinderlike manifolds X, there is still an interesting connexion between L2 harmonic forms and cohomology. We recall now that the signature of a 4&-dimensional manifold X with boundary Y is defined to be the signature of the (non-degenerate) quadratic form denned on S2k(X). This quadratic form is induced by the degenerate quadratic form on H2k(X, Y) given by the cup-product: Poincare duality for (X, Y) shows that the radical is precisely the kernel of H2k(X, Y) - H2k(X) .[Hence, just as for a compact manifold, (4-9) implies
COROLLARY

(4-11). Sign (X) h+-7i~, where A = d i m ^ * and n Q.(X).

This corollary identifies two'of the three terms in formula (4-8). To deal with the third term h~, we consider the space Jf = > J^(X) of all extended L2 harmonic forms on X, as defined in section 3. Again, because of (3-15), any ^eJTsatisfies^ = d*<fi = 0 and hence we obtain a map /?: Jf-> H*(X) extending a. In the cylinder, we can write (j) = \jr + 6, where ijr = t/rg + ^du with \Jf0, ip'1 harmonic forms on Y (independent of u) and 6 an L2 harmonic form (hence decaying exponentially). The composition

is thus given by <j>\-^^r0. Now if JT* = Ct n Q , we see that, for <j>e Jf, we have
xjrxdu= T(I/T0) and so xjr0 = 0 ^xpeJt^.Thus, if ^: X'-*-H*(LX) are the restrictions of /?, we have (4-12) Kerj/? = ^f. Now Poincar6 duality in the exact sequence

H*(X) 4 H*(Y) 4 H*(X, Y)


shows that Imj isjdual to its orthogonal complement, so that dimlmj = idim#*(F) = h (where h is the same as in (4-7)). From (4-12) we therefore deduce
h S h, where h = Him Jf/j^> (4-13)

in the notation of section 3 and (4-8). But (3-25) asserts that h++h~ =2h

(recall that the h in (3-25) is 6imH*(Y) which is 2A of the present section). Hence
5 PSP77

66

M. F. ATIYAH, V. K. PATODI AND I. M. SINGER

^ = A = h, and so the integers h, h~ cancel when we combine (4-7) with (4-8). Using (4-11) we therefore derive our final result, the signature theorem for manifolds with boundary:
THEOREM (4-14). Let X be a ^k-dimensional compact oriented Riemannian manifold with boundary Y and assume that, near Y, it is isometric to a product. Then

signX = f L(p)- 9/(0), Jx


where these terms have the following meaning (i) Sign X is the signature of the non-degenerate quadratic form defined by the cupproduct on the image ofH2k(X, Y) in Hik(X); (ii) L(p) = L^Pi, ...,pk), where Lk is the Icth Hirzebruch L-polynomial and thepi are the Pontrjagin forms of the Riemannian metric; (iii) n(s) is the n-function {defined by (1*7)) for the self-adjoint operator on even forms on Y given by j and is holomorphic for Re(s) > J.

It is remarkable that the three terms in Theorem (4-14) arise from three different areas: sign X is a topological invariant, JL(p) is differential-geometric and v(0) is a spectral invariant. This interplay gives the theorem special interest and leads one to expect a variety of applications. In section 1, we mentioned the Gauss-Bonnet theorem as an analogue and motivation for the signature theorem we have just arrived at. However, we also pointed out the significant difference between the two cases, namely that in Gauss-Bonnet there is no term corresponding to v(0) in (4-14). We shall now explain this in more detail. We begin by recalling (see ((2); section 5)) that the signature operator A: Q+ - O_ interchanges even forms and odd forms, so that A = A+ A~, where
e.dd,
A. Q^. dd - Q i T .

Now let us replace A by .4+in the proof of (4-14). The tangential operator on y is, then, just Bev whose (/-function is half that of B: thus 7/(0) in (4-14) gets halved. Using the results of ((2); section 6), the integral in (4-14) now becomes -{
Z

L(p)+
JX

e},wheree
)

is the Euler form of the metric (generalizing (27T)-1 x Gauss curvature for surfaces). Tofindthe integer contribution, we must return to the general formula given in (3-10) together with the i 2 interpretation of the index given in (3-14). From these, we see that sign X in (4-14) must be replaced by (4-15) where Hev( Y) is the even-dimensional cohomology of Y and Stf, Jf refer to the L2, and extended L2, harmonic forms on X of the appropriate types ( , even/odd). Using (4-9), we deduce dim 3f+v - dim J^-, d = {sign X + E(Kevj)}, (4-16)

\JX

Spectral asymmetry and Riemannian geometry. I


ev odd

67

where E = dim H - dim # and j is the restriction H*(X) -* H*(Y). Moreover, in the course of proving (4-14), we showed that (4-13) was an equality and hence is an isomorphism. Thus dim Jf-dd - dim JT ~dd = dim (Im j) dd . Using (4-16), (4-17) and the equality dim# C T (r) = dim H*(Y) = dim(Imj) proved earlier, (4-15) becomes i{sign X + E(Kerj)} + $E(Lmj). (4-18) (4-17)

Finally, since E(Kerj) + E(Imj) = E(X), the Euler characteristic of X, we deduce the refinement of (4-14) which we want:

(4-19)

Replacing A+ by A~ yields the same formula except that E(X) and e are changed in sign. Adding the two formulae gives (4-14) back again, but subtracting them gives the Gauss-Bonnet theorem

E(X) = f e.
Jx From this point of view, we derive Gauss-Bonnet as the difference between two index problems in which the non-local boundary contribution ?/(0) cancels out. In fact, the topological obstruction mentioned in section 1 to the existence of a classical local boundary condition for the operator d + d*: Qev -> Qodd vanishes and one can derive Gauss-Bonnet from the index theorem as given in (l) in which there is no non-local contribution. The cohomological term sign (X) in Theorem (4-14) only involves the middle dimension H2k(X). In fact the analytical invariant 9/(0) can also be shown to involve only the 24-forms on Y. To see this, we use the decomposition Qev = flev @ dQ odd d*Q,ev and observe that the operator B of (4-6) annihilates HeT and coincides up to sign with d* on dQ odd and with *d on d*Q.oii. Now we have d*: dO?*1-1 -> dQ 4 *- 2 "- 1 , and 2p-l 2p-l *d: p =k

= 4Jc-2p 1 onlyif # 4&-2p + l.

Hence we can decompose B in the form


B =
ev
JDQ

@ ZJ-L X>2,

where Bo is the zero operator on H , Bx = d* on dQ.2k~1 and B2 is an operator of the form /O T\ \T* 0 )'
5-2

68

M. F . A T I Y A H , V. K. P A T O D I AND I. M. SINGER

Since B2 is conjugate to the operator 0 and since ^(TT*) and J(T*T) have the same spectrum it follows that the spectrum of _B2 is symmetric so that its ^-function vanishes identically. Hence the 77-function of B is equal to the rj-function of Bx. Thus we have established
PROPOSITION (4-20). The term r/(s) in Theorem (4-14) is equal to v^s) where rji(s) is the rj-function of the operator d* acting on the space dQ2*"1. This Proposition leads to a suggestive way of looking at 9/(0). Let us define a quadratic form Q on Q2*-1 by

(4-21) JY In fact the radical of Q is Ker d, so that Q can be viewed as a non-degenerate quadratic form on dQ2fc~1 (note the formal analogy with the quadratic form leading to sign X). If da is an eigenvector of d* with eigenvalue A, then Q(a) = (a, *da) = A-1 (a., *d*da) = = -A~ 1 (da, da). -\-\a,d*da.)

Q(a) =[ a Ada.

Thus Q(ct) has the same sign as A. In other words, we can formally interpret n(0) as the ' signature' of the quadratic form Q (on the infinite-dimensional space eZQ24"1). The interest of this reformulation is that (4-21) does not involve the metric. However to give proper meaning to its signature, we need a metric and the value of the signature will indeed depend on the metric. We conclude with a few remarks about the finiteness of 77(0). Theorem (4-14) implies of course that, for the operator on Y defined in (4-14) (iii), ?/(0) is finite. This assumes however that we can find an oriented manifold X with boundary Y. This is not always the case but the main results of Thorn's cobordism theory assert that, in all odd dimensions, we can always find an X whose boundary consists of two copies of Y (with correct orientation). Clearly the ^-function on 2 Y is twice the ^/-function of Y and so the finiteness at s = 0 follows from Theorem (4-14). Similar remarks apply to the ^-functions of the Dirac operator and its generalizations as in (4-3). In each case we need to use the appropriate cobordism theory (see (17)) to deduce that, in odd dimensions, everything bounds after multiplication by some integer. In Part III, we shall give an alternative proof of these finiteness results independent of Theorems (4-14), etc. and we shall then deduce thefinitenessfor all self-adjoint elliptic operators on odd dimensional manifolds. REFERENCES
(1) ATIYAH, M. F. and BOTT, R. The index theorem for manifolds with boundary. Differential Analysis (Bombay Colloquium), (Oxford 1964). (2) ATIYAH, M. F., BOTT, R. and PATODI, V. K. On the heat equation and the index theorem. Invent. Math. 19 (1973), 279-330. (3) ATIYAH, M. F., BOTT, R. and SHAPIRO, A. Clifford modules. Topology 3 (Suppl. 1) 1964,3-38.

Spectral asymmetry and Riemannian geometry. I


(4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) (17)
ATIYAH,

69

M. F. and SINGEB, I. M. The index of elliptic operators V. Ann. of Math. 93 (1971), 139-149. ATIYAH, M. F., PATODI, V. K. and SINGER, I. M. Spectral asymmetry and Riemannian geometry. Bull. London Math. Soc. 5 (1973), 229-234. CABSLAW, H. S. and JAEGEB, J. C. Conduction of Heat in Solids, second edition (Oxford 1959). CHEBN, S. S. and SIMONS, J. Some cohomology classes in principal fibre bundles and their application to Riemannian geometry. Proc. Nat. Acad. Sci. U.S.A. 68 (1971), 791794. CONNOB, P. E. The Neumann problem for differential forms on Riemannian manifolds. Mem. Amer. Math. Soc. 20 (1956). DB RHAM, G. Variitis Diffirentiables. Hermann (Paris, 1960.) HIBZEBBTJCH, F. Hilbert modular surfaces. Enseignement Math. 19 (1973), 183-281. HOBMANDEB, L. Pseudo-differential operators and non-elliptic boundary problems. Ann of Math. 83 (1966), 129-209. PALAIS, R. Seminar on the Atiyah-Singer index theorem. Ann. of Math. Study 57 (Princeton, 1965). PATODI, V. K. Curvature and the eigenforms of the Laplace operator. J. Diff. Geometry 5 (1971), 233-249. RAY, D. and SINGEB, I. M. i?-Torsion and the Laplacian on Riemannian manifolds. Advances in Math. 7 (1971), 145-210. RAY, D. and SINGEB, I. M. Analytic torsion for complex manifolds. Ann. of Math. 98 (1973), 154-177. SEELEY, R. Complex powers of an elliptic operator. Proc. Sympos. Pure Math. 10, Amer. Math. Soc. (1971), 288-307. STONG, R. Notes on Cobordism Theory (Princeton, 1968).

You might also like