N. Berline E. Getzler M. Vergne - Heat Kernels and Dirac Operators (Grundlehren Der Mathematischen Wissenschaften) (2003)
N. Berline E. Getzler M. Vergne - Heat Kernels and Dirac Operators (Grundlehren Der Mathematischen Wissenschaften) (2003)
Michele Vergne
Springer
Nicole Berline
Centre de Mathematiques
Ecole Polytechnique
F-91128 Palaiseau Cedex, France
Ezra Getzler
MIT
Cambridge, MA 02139, USA
Michele Vergne
DMI, Ecole Normale Sup6rieure
45, rue d'Ulm
F-75005 Paris, France
Introduction 1
Acknowledgements ........................................... 13
Index 364
Introduction
obtained by taking the image under the symbol map o of (x I e-tD2 I x).
Let us describe the differential forms which enter in the study of the asymp-
totic expansion of (x I e-tD2 1 x). If g is a unimodular Lie algebra, let j9(X)
Introduction 5
The first four chapters lead up to the proof of the following theorem, which
calculates the leading order term, in a certain sense, of the heat kernel of a
Dirac operator restricted to the diagonal.
e_t02
Theorem 0.1. Consider the asymptotic expansion of (x I I x) at small
times t,
ao
e_tD2
xI I x)
%=o
Q(k) = det1/2(sinh(R/2)
J
In Chapter 4, we give a proof of Theorem 0.1 which relies on an approx-
imation of D2 by a harmonic oscillator, which is easily derived from Lich-
nerowicz's formula for the square of the Dirac operator, and properties of the
normal coordinate system.
Since the zero-form piece of the A-genus equals 1, we recover Weyl's for-
mula
lim (4irt)e(x a-t°2 I x) = rk(£);
t-40
in this sense, Theorem 0.1 is a refinement of Weyl's formula for the square of
a Dirac operator.
Define the index of D to be the integer
ind(D) = dim(ker(D+)) dim(ker(D-)),
where D is the restriction of D to P(M, £t). For example, ind(d+d*) is the
Euler characteristic
lim Str (x I I x)
t-40
exists and is given by the above integrand. This result, due to Patodi [89]
and Gilkey [64], is known as the local index theorem. It is very important,
since it generalizes to certain situations inaccessible to the global index theo-
rem of Atiyah and Singer, such as when the manifold M is no longer closed.
On important example is the signature theorem for manifolds with bound-
ary of Atiyah-Patodi-Singer [Ill. As another example, it is possible in the
case of infinite covering spaces to prove a local index theorem which gives
8 Introduction
the "index per unit volume" of the Dirac operator in question (Connes and
Moscovici [50]).
Note that the proofs of Patodi and Gilkey of the local index theorem re-
quired the calculation of the index of certain Dirac operators on homogeneous
spaces. In the proof which we present, we are able to calculate the index den-
sity by analysis of Lichnerowicz's formula for the square of the Dirac operator,
which was proved in [80].
In Chapter 5, we give another proof of Theorem 0.1. This proof, while
similar in some respects to the first, uses an integral expression for the heat
kernel of D2 in terms of the scalar heat kernel of the orthonormal frame
bundle SO(M); the Jacobian of the exponential map on SO(M) leads to the
appearance of the A-genus. Once more, Lichnerowicz's formula is fundamental
to the proof.
The second topic of this book is an equivariant version of the results of
Chapter 4. Suppose that a compact Lie group G acts on the manifold M
and on the bundle £, and that the operator D is invariant under this action
(for this to be possible, G must act on M by isometries). In this situation,
the action of the group G leaves the kernel of D invariant; in other words,
ker(D) is a representation of G. Thus, the index of D may be generalized to
a character-valued index, defined by the formula
indc(y, D) = Tr(y, ker(D+)) - Tr(-y, ker(D-)).
The analogue of the McKean-Singer formula holds here:
where 'y£ is the action of y E G on the space of sections of the vector bundle
S. In Chapter 6, we prove a formula, due to Gilkey [65], for the distribution
lira Str (x I ye CID' I x).
t->o
It is a product of the delta-function along the fixed point set Mry of the action
of y on M and a function involving the curvature of My, the curvature of
£, and the curvature of the normal bundle N of My. Integrating over M,
we obtain an expression for ind0(y, D) as an integral over My, which is a
theorem due to Atiyah, Segal and Singer [12], [15]. The proof that we give is
modelled on that of Chapter 5, and is hardly more difficult.
The Weyl character formula for representations of compact Lie groups is
a special case of the equivariant index theorem for Dirac operators. By the
Borel-Weil-Bott theorem, a finite-dimensional representation of G may be
realized as the kernel of a Dirac operator on the flag variety G/T of G, where
T is a maximal torus of G. If g is a regular element of G, then the fixed-point
set (G/T)-9 is in one-to-one correspondence with the Weyl group, and the
fixed point formula for the index may be identified with the Weyl character
formula, as is explained by Atiyah-Bott [6].
Introduction 9
Generalizing ideas of Bott [42] and Baum-Cheeger [18], we will show how
the fixed point formula for the equivariant index indG (ex, D) may be rewritten
as an integral over the whole manifold. To do this, we introduce the notion
of equivariant differential forms in Chapter 7; this is of independent interest.
Let M be a manifold with an action of a compact Lie group G; if X is in the
Lie algebra g of G, let XM be the corresponding vector field on M. Let C[g]
denote the algebra of complex valued polynomial functions on g. Let AG(M)
be the algebra of G-invariant elements of C[g] ® A(M), graded by
deg(P (9 a) = 2 deg(P) + deg(a)
for P E C[g] and a E A(M). We define the equivariant exterior differential
dg on C[g] ® A(M) by
:AG(M)-;C[91G
fM
where chg (X, £/S) E Ac (M) is a closed equivariant differential form which
specializes to the relative Chern character at X = 0, and A. (X, M) E AG (M)
similarly specializes at X = 0 to the A-genus.
Thus, the integrand is a dg-closed equivariant differential form depending
analytically on X for X near 0 E g, and which coincides with A(M) ch(£/S)
atX=0.
Let G be a compact Lie group, and let T be a finite dimensional irreducible
representation of G. As we will see in Chapter 8, Kirillov's formula for the
characters of the representation T of G is a special case of the above equivari-
ant index theorem: this formula says that there is an orbit M of the coadjoint
representation of G on g* such that
T'r(T(eX)) e'(.f,X) d0(f),
= j8 12(X)
JM
where d13(f) is the Liouville measure on M.
This formula, which unlike the Weyl character formula has a generalization
to any Lie group, inspired our expression for the equivariant index in terms of
equivariant differential forms. Note the similarity with the equivariant index
theorem: the equivariant A-genus corresponds to the factor jg 112(X), while
the equivariant Chern character corresponds to the measure ei(f,x) d$(f).
The final major topic of the book is the local index theorem for families of
Dirac operators. This` theorem, which is due to Bismut, is a relative version
of the local index theorem, in which we consider a fibre bundle 7r : M - B
and a smooth family of Dirac operators Dz, one for each fibre Mz = 7r-1(z),
(z E B). The kernels of the Dirac operators Dz now fit together to form
a vector bundle, if they are of constant dimension. The index of a single
operator D, ind(D) = dim(ker(D+)) - dim(ker(D-)), is now replaced by the
notion of the index bundle, which is the difference bundle
ind(D) = [ker(D+)] - [ker(D-)];
following Atiyah-Singer, we define in Chapter 9 a smooth index bundle even if
the dimension of the kernel ker(Dz) is not constant, but it is no longer canon-
ical. The index theorem of Atiyah-Singer [16] for a family gives a formula for
the Chern character of this index bundle.
It turns out that the formulation of a local version of this family index the-
orem requires the introduction of generalization of connections due to Quillen,
known as superconnections. Let f =H+ ®n- be a Z2-graded vector bundle.
A superconnection on 7-l is an operator acting on A(M, l) of the form
A=A101+A[1] +A12>+...,
where A(,] is a connection preserving the Z2-grading on 7-l, and A[i] for i 0 1
are i-form valued sections of End(7l) which exchange 7-f+ and 7-1- for i even
and preserves them for i odd; usually, A[01 E r(M, End (H)) is supposed to be
self-adjoint as well. The curvature of a superconnection A2 is its square, which
Introduction 11
where Po is the projection from 7-l onto its sub-bundle ker(D); thus,
ch(Vo) = ch(ker(D+)) - ch(ker(D-)).
Intuitively speaking, as t tends to infinity, the supertrace
Str(e-tn2+o(t"2))
ch(At) =
is pushed onto the sub-bundle ker(D). In fact, we can prove the following
formula,
lim ch(At) = ch(Vo).
t->oo
Let M -+ B be a fibre bundle with compact Riemannian fibres of dimen-
sion n, and let £ be a bundle of modules for the vertical Clifford algebras
CC(M/B) associated to the vertical tangent spaces of M -> B. Bismut
showed that the above picture can be extended to an infinite-dimensional set-
ting when D is a smooth family of Dirac operators on the fibres £Z -> M,
where £x and M,z are the fibres over z E B of £ and M. He introduced the
12 Introduction
(2) Chapters 2, 3 and 4 introduce the main ideas of the book, and take the
reader through the main properties of Dirac operators, culminating in
the local index theorem.
(3) Chapters 5, 6 and 8 are on the equivariant index theorem, and may be
read after the first four chapters, although Chapter 7 is needed in Chap-
ter 8.
(4) Chapters 9 and 10 are on the family index theorem, and can be read
after the first four chapters, except for Sections 9.4 and 10.7, which have
Chapter 8 as a prerequisite.
In the second printing, we have added some additional remarks at the
ends of Chapters 4 and 7, in order to give an idea of how the book would
have changed if we were writing it now. We have also made a number of
small corrections throughout.
Acknowledgements
This book began as a seminar in 1985 at MIT, and we would like to thank
the other participants in the seminar, especially Martin Andler and Varghese
Mathai, for their spirited participation. Discussions with many other people
have been important to us, among whom we would like to single out Jean-
Michel Bismut, Dan Freed and Dan Quillen. Finally, we are pleased to be
able to thank all of those people who read all or part of the book as it
developed and who made many comments which were crucial in improving the
book, both mathematically and stylistically, especially J6an-Frangois Burnol,
Michel Duflo, Sylvie Paycha, Christophe Soule, and Shlomo Sternberg. We
also thank the referee for suggestions which have improved the exposition.
We have not attempted to give a definitive bibliography of this very large
subject, but have only tried to draw attention to the articles that have influ-
enced us.
To all of the following institutes and funds, we would like to express our
gratitude: the Centre for Mathematical Analysis of the ANU, the ENS-Paris,
the Harvard Society of Fellows, the IHES, MIT, and the Universite de Paris-
Sud. We also received some assistance from the CNRS, the NSF, and the
Sloan Foundation.
Chapter 1. Background on Differential Geometry
it is the smooth vector bundle given by restricting the vector bundle M1, x £
over Ml x M2 to the graph P(hi) = {(x1, o(x1)) E M1 x M2} of 0, so that
O*£={(x,v)EM1x£I vE£0l0.
There is induced a pull-back map 0* : I'(M2i £) -* r(M1, r*£).
Definition 1.3. A principal bundle P with structure group G is a fibre
bundle P with a right action of a Lie group G on the fibres, that is, (p g) h
p .(gh) for p E P, g, h E G such that
7r(pg) =,7r(p) forallpEPandgEG,
and such that the action of G is free and transitive on the fibres. The fibres
of the bundle P are diffeomorphic to G itself, and so the base M may be
identified with the quotient manifold PIG.
A vertical vector on a fibre bundle £ with base M is a tangent vector on
£ which is tangential to the fibres: that is, X (lr* f) = 0 for any f E C' (M),
where lr* f = f o 7r. We denote the bundle of vertical tangent vectors by VS;
it is a subbundle of the tangent bundle T£. The space of vertical tangent
vectors to a point p in a principal bundle can be canonically identified with
g, the Lie algebra of G, by using the derivative of the right action of G on P.
If X E g, we denote by Xp the vector field such that if f E COO(P),
(XPf)(p) = f(pexpeX).
de e=0
Thus, we obtain a map from P x g to TP, whose image at p is just the vertical
subspace VpP. The vector field Xp will often be simply denoted by X.
If P is a principal bundle with structure group G and E is a left G-space,
with action of G on it given by the homomorphism
p : G --+ Diff (E),
we can form a fibre bundle over M with E as fibre, called the associated
bundle, by forming the fibred product P xG E, defined by taking the product
P x E and dividing it by the equivalence relation
(p,P(g)f),
for all p E P, g E G and f E E. In particular, if we take for E a vector space
which carries a linear representation of G, we obtain a vector bundle on M.
Every vector bundle with N-dimensional fibres on M is an associated bun-
dle for a principal bundle on M with structure group GL(N), called the bundle
of frames. In this book, we will use vector spaces over both IR and C, and
when it is clear from the context, we will not explicitly mention which field
we take homomorphisms or tensor products over. Thus, when we write here
GL(N), we mean either GL(N, ]R) or GL(N, C), depending on the context.
16 1. Background on Differential Geometry
Proposition 1.4. If £ is a vector bundle over M with fibre RN, let GL(E)
be the bundle whose fibre over the point x E M is the space of all invertible
linear maps from RN to the fibre E. Then GL(E) is a principal bundle for
the group GL(N, R), under the action
PxGEI ) PXGE2
Definition 1.5. Let ?r: £ --> M be a fibre bundle and let G be a Lie group.
We say that £ is an G-equivariant bundle if G acts smoothly on the left
of both S and M in a compatible fashion, that is,
y 7r = 7r y for all y E G.
If £ is a vector bundle, we require in addition that the action ye : E. -> £y . .
is linear.
.CV(X)s Ot'S,
dt t=o
where Ot is the family of diffeomorphisms generated by X. For example, if
V = TM, then we obtain the Lie bracket .C(X)Y = [X,Y].
One example of a tensor bundle is obtained by taking the exterior algebra
A(II8')*; this leads to the bundle of exterior differentials AT*M. The space of
sections r(M, AT*M) of the bundle of exterior differentials is called the space
of differential forms A(M); it is an algebra graded by
A'' (M) = F(M, AiT*M).
Similarly, we denote by A°(M) the algebra F°(M, AT*M) of compactly sup-
ported differential forms. If a is a differential form on M, we will denote
by a[i] its component in Ai(M). If a E Ai(M), we will write jal for the
degree i of a; such an a is called homogeneous. The space A(M) is a
super-commutative algebra (see Section 3 for the definition of this term), that
is,
aA = (-1)IaH-1010Aa.
We denote by d the exterior differential; it is the unique operator on
A(M) such that
(1) d : A' (M) -> A*+1(M) satisfies d2 = 0;
(2) if f E C°° (M), then df E A' (M) is the one-form such that (df) (X) _
X (f) for a vector field X;
(3) (Leibniz's rule) d is a derivation, that is, if a and Q are homogeneous
differential forms on M, then
d(a A 0) = (da) A 0 + (-1)tala A (d,3).
18 1. Background on Differential Geometry
,C(X)d = dC(X),
,C(X)(t(Y)a) = L([X,Y])a+t(Y)(G(X)a),
from which follows easily E. Cartan's homotopy formula:
forms represent zero in H (M). The graded vector space Eao H2(A(M), d)
is a graded algebra, with product defined by
[al] A [a2] = [a1 A a2] for closed forms a1 and a2.
This definition depends on the fact that if a1 and a2 are closed and one of
them is exact, then so is a1 A a2; for example, if a1 = do, then
a1na2=d(/8Aa2).
If M is a non-compact manifold, for example, a vector bundle, the defi-
nition of the de Rham cohomology may be repeated with A(M) replaced by
the differential forms of compact support A°(M). The cohomology of the
complex (A,* (M), d) is denoted HH (M) and called the de Rham cohomology
with compact supports.
Let P be a pricipal bundle with structure group G. There is a representa-
tion of the sections of an associated vector bundle P xG E as functions on the
corresponding principal bundle that is extremely useful in doing calculations
in a coordinate free way.
Proposition 1.7. Let C°° (P, E)G denote the space of equivariant maps from
P to E, that is, those maps s : P -> E that satisfy p(g-1)s(p).
There is a natural isomorphism between F(M, PxGE) and C°°(P, E)G, given
by sending s E C' (P, E)G to sM defined by
[p, s(p)1-
The differential forms will be taken over the field of real numbers unless either
they take values in a complex bundle or unless explicitly stated otherwise. If £
is the trivial bundle E = M x E, we may write A' (M, E) instead of Ak (M, £).
When P x G E is an associated bundle on M, we will describe A(M, P X G E)
as a subspace of the space of differential forms on P with values in E.
The group G acts on A(P, E) = A(P) ® E by the formula
g-(O(ge) =g./30g-e.
We denote by A(P, E) G C A(P) ® E the space of invariant forms. Elements
of A(P, E)G satisfy the following infinitesimal form of invariance:
.C(X)a + p(X)a = 0,
We will not prove the following proposition, since its proof is similar to
that of Proposition 1.7.
Let £ be a fibre bundle with base M. The quotient of the tangent bundle
T£ by its subbundle V. is isomorphic to the pull-back 7r*TM of the tangent
bundle of the base to £; that is, we have a short exact sequence of vector
bundles
0->V£-4TS ->7r*TM--+ 0.
There is no canonical choice of splitting of this short exact sequence, but
it is important to have such a splitting in many situations. Such a splitting is
called a connection.
1.1. Fibre Bundles and Connections 21
Note that we can equally well specify a connection by the horizontal sub-
bundle HE or by the connection form w. In many situations, however, the
connection form is more convenient.
An important object associated to a connection on a fibre bundle £ is its
curvature S2, which is a section of the bundle A27r*T*M ® V£: if X and
Y are vector fields on M and if Xe and Ye are their horizontal lifts, then
52(X, Y) is the vertical vector field on £ defined by the formula
Proof. Once a connection form wo is chosen, all others are described uniquely
in the form wo + a for some a E A' (P, g)ba, . The result now follows from
Proposition 1.9.
where PHP is the projection onto the horizontal sub-bundle of TP, and X
and Y are two vector fields on P. In stating the following proposition, we use
the Lie bracket on A(P, g) defined by
[a®A1,a®A2] = (a A/.3) ® [A,,A2],
for a and 0 in A(P), and Al and A2 in g. This makes A(P, g) into a Lie
superalgebra, as we will see in the Section 1.3. If a is a g-valued one-form and
Xl and X2 are two tangent vectors, then [a, a](Xi, X2) = 2[a(Xl), a(X2)].
Proposition 1.13. The curvature form SZ satisfies the formula
S2 = dw + [w, w].
2
Proof. If X E g, then
t(X)(dw + 2[w, w]) = G(X)w - d(t(X)w) + [X, w] = 0
by (1.7), since d(L(X)w) = dX = 0. Thus, the differential form dw + [w, w]
is seen to be horizontal; as it is clearly invariant, it is seen to be basic. To
complete the proof, we need only evaluate the two-form dw + 2 [w, w] on the
horizontal vectors Y and Z; it is easy to see that we obtain -t([Y, Z])w, which
is exactly equal to 1(Y, Z).
The choice of a connection on a principal bundle P determines connections
on all associated bundles £ = P XG E, by defining HE to be the image of
HP under the projection P x E -> E. We will be especially interested in this
construction for associated vector bundles, since it provides an analogue of
the exterior differential on spaces of twisted differential forms A(M, £), called
a covariant derivative.
Definition 1.14. If £ is a vector bundle over a manifold M, a covariant
derivative on £ is a differential operator
v : r(M, £) + r(M, T*M (9£)
which satisfies Leibniz's rule; that is, if s E r(M, 6) and f E Cc (M), then
V(fs)=df®s+fVs.
Note that a covariant derivative extends in a unique way to a map
V : A' (M, £) , A'+1(M £)
that satisfies Leibniz's rule: if a E Ak(M) and 9 E A(M, £), then
V(aA9) =daA9+ (-1)kaA V9.
This formula is the starting point for the definition of a superconnection,
which generalizes the notion of a covariant derivative and forms the topic of
Section 3.
If X is a vector field on M, we will denote by VX the differential operator
t(X)V, which is called the covariant derivative by the vector field X. It
1.1. Fibre Bundles and Connections 23
I.
I'(M, E) -° -} A' (M, E)
To show this, we must check that if s is an equivariant map from P to E,
then ds + p(w)s is basic. But choosing X E g, we see that
t(X) (ds + p(w)s) = X s + p(X)s = 0
since s E C°°(P, E)G. Similarly, the form ds + p(w)s c Al(P, E)G, since
s E CO°(P,E)G. It is easy to verify that V is indeed a covariant derivative.
There is another formula for the covariant derivative when written on the
principal bundle in terms of the projection onto the horizontal subspaces of
TP:
Vs=PHMods forsEC°°(P,E)G.
Indeed, if XH is a horizontal tangent vector, then
t(XH)(d + p(w))s = c(XH)ds
since XH is horizontal, while if Xv is a vertical tangent vector,
t(Xv)(d + p(w))s = 0,
since s E C°° (P, E)G. Thus, if sP E CO° (P, E)G corresponds to the section
s E r(M,6), and X E T(M,TM) is a vector field with horizontal lift XP,
then for any p E P above x,
(Vxs) (x) = In (XP sp) (p)]
Proposition 1.16. There is a one-to-one correspondence between connec-
tions on the frame bundle GL(E) and covariant derivatives on the vector
bundle S.
Proof. If V is a covariant derivative on E, we may construct a one-form
w E Al(P,End(E))G by
w(X)s(p) = (V.,. xs)(p) - (X s)(p) for s E C°°(P,E)G, X E TPP.
This defines w uniquely, since for any (p, v) E P x E, there exists an s E
C' (P, E)G such that s(p) = v. The one-form w satisfies
t(X)w=p(X) for allXEg,
and hence is a connection form.
As an example of this result, let £ = M x E be a trivial vector bundle
on M with connection V = d + w. The frame bundle GL(E) of 6 is equal
1.1. Fibre Bundles and Connections 25
for all g E G. If G is compact, there will exist such connections, since we may
average with respect to the Haar measure on G,
f(gT*M®E)_1 V.gEdg
(1.10)
(1.11) v,Y(t)T--Y(t) = 0,
This shows that the trivialization of Proposition 1.17 is compatible with the
metrics on the fibres of E. Thus, if e,, is an orthonormal basis of E = 60, we
obtain smooth sections, which we also denote by ea, which are orthonormal
at each point of U; these sections make up an orthonormal frame.
Let 7r : E - * M be a vector bundle on M. A covariant derivative Ve on £
determines a connection on GL(£), and hence a connection on the total space
£, that is, a splitting
TS =V£ED H£.
The bundle VE is isomorphic to 7r*£. We denote by 0 E A' (£, V£) the
connection one-form of this connection.
Definition 1.19. If E is a vector bundle, its tautological section x E
r(£, n*£) is the smooth section which to a point v E 6 assigns the point
(v,v) E 7r *S.
If X and Y are two vector fields on M, then T (X, Y) E r(M, TM) is given
by the explicit formula
T(X,Y) _ VxY -VyX - [X,Y].
A connection on TM gives rise to a covariant derivative on any vector
bundle which is associated to GL(M), in particular the exterior bundle AT*M;
by naturality, this connection satisfies
Vx(aA0) =Vxan/.3+aAVx,@
for any homogeneous differential forms a and 0, and vector field X. If a is a
k-form and X, Y1i ... , Yk are vector fields, we see that
k
X-a(Yl,... Yk) = (VXa)(Yl,... ,Yk)+a(Y1,... ,VxYi,- ,Yk)-
i=1
In statement of the following proposition, we use the exterior product map
E : T*M ®A*T*M -* A*+1T*M.
Proposition 1.22. If V is a torsion free connection on TM, the exterior
differential is equal to the composition
P(M, AT*M) -°> P(M,T*M (9 AT*M) E, I'(M, A*+1T*M).
Proof. Let us denote the operator defined above by D. Using the fact that V
satisfies Leibniz's rule, we see that D does too:
D(a/) = Da A Q + (-1)I0'Ia n D,(3.
(Note that this part of the proof is independent of whether V is torsion-free
or not.)
Given Leibniz's rule, it clearly suffices to show that D agrees with d on
functions (which is clear), and one-forms. The proof now rests upon the
following formula: for any f E C°O(M),
D2f = D(df) = -(T,df) E A2(M),
where T E A2 (M, TM) is the torsion of the affine connection V. In partic-
ular, if T vanishes, then D agrees with d on one-forms. To prove this, we
choose a local coordinate system on M, and let dxi and Xi = a/8xi be the
corresponding frames of the cotangent and tangent bundles. If we denote the
covariant derivative in the direction Xi by Vi,. D is given by the formula
D = E e(dxi)Di.
i
Thus, D(df) equals
EE(dx')Di(8j f dxj) = >e(dx')8j fVidxj.
ij ij
30 1. Background on Differential Geometry
The bundle of densities JAI is very closely related to the bundle of volume
forms AnT*M; the first corresponds to the character I det(A)I-1 of GL(n)
and the second to the character det(A)-1. Unlike IAA, the line-bundle AnT*M
is trivializable if and only if M is orientable. If M is a connected orientable
manifold, its frame bundle GL(M) has two components; an orientation of
M is the choice of one component, which is a principal bundle for the group
GL+(n) of matrices with positive determinant. We say that frames in the
chosen component GL+(M) are oriented. An orientation of a manifold M is
equivalent to the choice of an isomorphism between the bundles A"T*M and
JAM!. If v E An(M) is a volume form on M, the corresponding density vJ is
such that Ivk(X) = v(X) if X E AnTXM is oriented.
If M is an n-dimensional oriented manifold, we define the integral of a
compactly supported differential form a E A,(M) to be the integral of the
density corresponding to a[n]:
f a=
M M
la[njl.
There is a fibred version of this integral. Let -7r : M --+ B be a fibre bundle
with n-dimensional fibre, such that both M and B are oriented. If a E Ak (M)
is a compactly-supported differential form on M, its integral over the fibres
of M --> B is the differential form fM/B a E Ak-n (B) such that
(1.15) fM a A 7r*Q,
f(fM/ B a/ n
for all differential forms 0 on the base B. We sometimes write -7r*a instead
of f M/B a. It follows easily from (1.15) that
(1.17) dB 1
M/B
a = (-1)n JM/B dMa.
This formula shows that the integral over the fibres induces a map
He (M) _He-n(B)
M/B
on de Rham cohomology.
The following result is an example of a transgression formula: it says that
the cohomology class of the integral over the fibres does not change if the map
it is deformed smoothly.
32 1. Background on Differential Geometry
The last property is a purely algebraic consequence of the first three, which
we leave as an exercise.
When we are given a frame Xi for the tangent bundle with dual frame
Xi, we can write the components of the curvature matrix in the form Rj"kl =
(R(Xk, X1)Xj, Xi); here, the i and j indices refer to the fact that R takes
values in End(TM), and the k and l indices are the two-form indices. Using
the metric, define
(1.19) Rijkl = (R(Xk,XI)Xj,Xi)-
The components Rijkl satisfy Rijkl = Rklij If ei is an orthonormal frame of
TM with dual frame ei, the two-form (Rei, ej) is given by the formula
(1.20) (Rei, ej) _ - Rijklek A el.
k<1
called the Ricci curvature, and its trace the scalar rM R1,,,.i,,,, called
the scalar curvature of M.
We denote by Jdxl E I'(M, JAI) the Riernannian density associated to
the Riemannian metric on M, which is such that
JdxJ(ei n ... A e,,,) = 1
when ei is an orthonormal frame of TM. The existence of IdxI corresponds to
the fact that the character I det I of GL(n) used to define the line bundle JAI is
trivial on the structure group O(n), so that the density bundle is canonically
isomorphic to M x R. It follows that IdxI is covariant constant under the
Levi-Civita derivative. We will often write dx instead of IdxI, although this
notation should be restricted to oriented manifolds.
If f is a smooth function on a Riemannian manifold M, the gradient of
M, denoted grad f, is the vector field on M dual to df, that is, for every
vector field X on M,
where by xt we mean the tangent vector in TT, to the path xt at time t. Define
the Riemannian distance between two points d(xo, x1) to be the infimum of
L(xt) over all smooth paths between them.
1.2. Riemannian Manifolds 35
Like any second-order ordinary differential equation, the equation for a geode-
sic has a unique solution for t small, given the starting point xo and the
derivative x = xo E Two M at the starting point. The end point xi of the
resulting curve is called the exponential of the vector x at xo and is written
expxo x. It is defined if x is small enough. (This terminology arises because
on a compact Lie group with the left and right invariant metric, the geodesics
turn out to be the same as the one-parameter subgroups and we recover the
exponential map of the Lie group.)
The derivative d expxo of the exponential map at xo itself is just the identity
map of Two M, so that by the inverse-function theorem, the exponential map is
a diffeomorphism from a small ball around zero in Ty0 M to a neighbourhood
of xo in M. (The radius of the largest ball in T 0M for which this is true
is called the injectivity radius at xO.) Thus the exponential map defines a
system of coordinates around xo, called the normal coordinate system (this
is also known as the canonical coordinate system). The important property of
this coordinate system is that the rays emanating from the origin in TT0 M map
onto geodesics in M. We will use letters of the form x to denote coordinates
in the normal coordinate system: thus, x E TT0M represents the coordinates
of the point expxo x.
We will now collect some formulas for the pull-back of the metric and
covariant derivatives by the exponential map. In particular we will see that
the ray from 0 to x is the curve of shortest length between xo and exp,,o x
when x is small.
If we apply the construction of Proposition 1.17 to the tangent bundle with
its Levi-Civita connection, we obtain a smooth trivialization of TM over a
normal coordinate chart centred at a point xo E M. Choose an orthonor-
mal frame of the tangent space Two M, with respect to which the coordinate
functions are xi, and the corresponding partial derivatives are 8i; thus, the
vectors 8i are orthonormal at xo, although not in general elsewhere. In this
coordinate system, the point xo has coordinates x = 0. The radial vector field
R is the vector field defined by the formula R = E' l xi8i. Let ei be the
orthonormal frame of TM obtained from the smooth trivialization of TM in
this coordinate patch; thus, ei = 8i + O(lxl) and O7zei = 0.
Since the Levi-Civita connection is torsion-free and [7Z, ai] = -ai, it follows
that
Proposition 1.28. The Taylor expansion of the functions gij (x), defined by
(ai, aj)X in normal coordinates at xo has the following form:
ai0 ej.
With respect to the frame ej, the fundamental one-form
0= dxiai E A'(M,TM)
i
equals E Bjej, where Oi = >i 8 dxi. Thus the R'-valued one-form 0 = (0j)
satisfies the structure equation
dO+w AO=O,
1.3. Superspaces
Although this is not a book on supergeometry, we will constantly use the
terminology of super-objects. Recall that a superspace E is a 7L2-graded
vector space
E=E+ED E-,
and that a superalgebra is an algebra A whose underlying vector space is
a superspace, and whose product respects the 7L2-grading; in other words,
Ai Aj C Ai+j. (We will denote the two elements of Z2 by + and -, although
1.3. Superspaces 39
we should really denote them by 0 mod 2 and 1 mod 2.) An exterior algebra
is an example of a superalgebra, with the Z2-grading
AtE AEE.
(-1)==f1
An ungraded vector space E is implicitly Z2-graded with E+ = E and E- _
0. The algebra of endomorphisms End(E) of a superspace is a superalgebra,
when graded in the usual way:
End (E) = Hom(E+, E+) ® Hom(E-, E-),
End- (E) = Hom(E+, E-) ® Hom(E-, E+).
Proof. We must verify that Str[a, b] = 0. If a and b have opposite parity, this
is clear, since [a, b] is then odd in parity and hence Str[a, b] = 0.
If a = (o a ) and b = (o b ) are both even, then
([a+, b+]
[a, b] _ 0 [a-0b-])
has vanishing supertrace, since
b_]
TrE+ [a+, b+] = 'IrE- [a , = 0.
If a = (a o ) and b = (b+ o) are both odd, then
a-b++b-a+ 0
ab
[ ]= ( 0 a+b- + b+a
has supertrace
(E®F)+=E+®F+®E-®F-,
(E®F)-=E+®F-®E-®F+.
If A and B are superalgebras, then their tensor product A ® B is the
superalgebra whose underlying space is the Z2-graded tensor product of A
and B, and whose product is defined by the rule
(ai ®bi) .(a2 (9 b2) = (-1)Iblf a2Iaia2 ®b1b2.
(This product is imposed by the sign rule.) Note that this Z2-graded product
is not the same as the usual product on A 0 B, so is this algebra is some-
times denoted A®B; however, we will never make use of the ungraded tensor
product, so there is no ambiguity.
Definition 1.32. If A is a supercommutative algebra and E is a superspace,
we extend the supertrace on End(E) to a map
Str : A ®End(E) --* A,
by the formula Str(a (9 M) = a Str(M) for a E A and M E End(E).
This extension of the supertrace still vanishes on supercommutators in
A ® End(E), since
(1.25) [a®M,b®N] = (-1)IMI-(blab®[M,N]
when A is supercommutative.
1.3. Superspaces 41
where m± = rk(£t).
For example, if M is an n-dimensional manifold, det(TM) is the volume-
form bundle AnT*M.
Definition 1.34. A Hermitian superspace is a superspace E such that
both E+ and E- are complex vector spaces with Hermitian structures.
If E is a Hermitian superspace, we say that u E End- (E) is odd self-adjoint
if it has the form
u=
O 0),
where u+ : E+ --> E-, and u- is the adjoint of u+.
Let V be a real vector space with basis ei. We will denote tk = 46k) and
6k = e(ek). We will identify AkV* with (AkV)* by setting (e1, ej) = SJ,
where
I={1 and
J = {1 < j1 <... <jk <dim(V)}
are multi-indices, that is, subsets of {1, ... , dim V}, and er = ei' ... eik, ej
ej, ... ejk. (Here, as occasionally in the rest of this book, we write v w instead
of v A w for the product in an exterior algebra.) Using this identification, it is
easy to see that s(a)* = t(a) E End(AV) and that t(v)* = e(v) E End(AV).
If A E End(V), we denote by )\(A) the unique derivation of the superalgebra
AV which coincides with A on V C AV; it is given by the explicit formula
A non-zero linear map T : AV --* 11 which vanishes on AkV for k < dim(V)
is called a Berezin integral. Let us explain why such a linear map is called
an integral. If V is a real vector space, the superalgebra AV* is the algebra
of polynomial functions on the purely odd superspace with E+ = 0, E- = V.
If ei is a basis for V with dual basis ei, the elements ez E AV* play the
role of coordinate function on V. From this point of view, the contraction
t(v) : AV* -+ AV*, (v E V), is the operation of differentiation in the direction
v. We now see that a Berezin integral is an analogue of the Lebesgue integral:
a Berezin integral T : AV* -* R is a linear form on the function space AV*
which vanishes on "partial derivatives":
1, 111 n,
(1.28) T(ei) =
0, otherwise.
If a E AV, we will often denote T (a) by a[,,I, although strictly speaking a[n]
is an element of AThV and not of IR. If A E A 'V, its exponential in the algebra
AV will be denoted by expA A.
In this way, we reduce the proof to the case in which V is the vector space R2,
and Ael = 9e2, Ae2 = -Be1. In this case, Pf(A) = 0, while the determinant
ofA=(e o)isG2. r-,
The choice of sign in the square root det1/2(A) depends on the choice of
orientation of E.
1.4. Superconnections
In this section, we describe Quillen's concept of a superconnection. If M is a
manifold and £ = £+ ® £- is a superbundle on M, let A(M, 6) be the space
of £-valued differential forms on M. This space has a Z-grading given by the
degree of a differential form, and we will denote the component of exterior
degree i of a E A(M, £) by a[ ]. In addition, we have the total 7L2-grading,
which we will denote by
A(M, £) = A+ (M, £) ® A- (M, £),
and which is defined by
A'(M,£) _ A2i(M £f) ®EA2a+1(M,£:F);
which, applied to the sections of these bundles, gives the desired supertrace:
Str : A(M, End(£)) - A(M),
characterized by the formula Str(a (9 A) = a Str(A) for a E A(M) and
A E r(M, End(£)). The algebra A(M) is supercommutative, so by (1.25),
this extension behaves like a supertrace from a superalgebra to C, in that it
vanishes on supercommutators. It is clear that the supertrace map preserves
the Z2-gradings of these spaces, that is, it maps A±(M, End (S)) to A± (M).
Suppose f (z) is a polynomial in z. If A2 E A+ (M, End(£)) is the curvature
of the superconnection A on £, then f (A2) is the element of A+ (M, End (9)),
defined by
(where the bracket is, of course, an anticommutator, since both At and dAt/dt
are odd operators). We now use the following formula: if at : [0, 1] -+
A+ (M, End (E)) is a family of differential forms on M with values in End (E)
of even total degree, then
i=O
= n Str(i tat-1)
where the last step uses the fact that is a supertrace in order to replace
Str(at&tat -2-1) by Str(atat-1). Applying this with at = At, we obtain
a
dt
Str(.f (At)) = Strl dtt '(A2))
f
= Str I [At, d t f'(A2)1)
t since [At, At ] = 0
=dStr(dtt f'(A2)).
t
which shows explicitly that Str(f (Ao)) and Str(f (A2)) differ by an exact
form. p
There is another way to obtain the transgression formula, which is similar
to Proposition 1.24. Introduce the space M x R, with projection q : M x R -+
M. Using the family At of superconnections, we may define a superconnection
Ai on the superbundle q*£, by the formula
09,6(x, s)
(x, s) s)) (x) + ds A
8s
1.5. Characteristic Classes 49
The curvature .F of A is
f(J)=f(Fs-dasAds).
(1.30) ch(A) =
The Chern character form is additive with respect to taking the direct sum
of superbundles with superconnections:
(1.31) ch(A ® l3) = ch(A) + ch( )
Furthermore, it is multiplicative with respect to taking the tensor product of
superbundles with superconnections:
(1.32) ch(A (9 1 + 10 3) = ch(A) A ch(l3).
These two formulas explain why the differential form ch(A) is called a char-
acter.
The transgression formula for the Chern character of a family of supercon-
nections gives
ch(At) = -d Str( Ate-At),
dt
which implies that
f1
(1.33) ch(Ao) - ch(Al) = d J Str( dd t e-At) dt.
Using the formula det(A) = expTr(logA), we see that A(V) may be under-
stood as the exponential of the characteristic form associated to the power
series log ((z/2)/ sinh(z/2)), that is,
2
1 F/2 l
A(V) = expTr 2 log (
sinh(F/2)))'
The A-genus is multiplicative, in the sense that
A(v1 ® V2) = A(v1) A A(02).
The reason that A(V) only has non-vanishing terms in dimensions divisible
by 4 is that the function f (z) is an even function of z, so f (02) only involves
even powers of the curvature V. In fact, the coefficients of the A-genus of E
are polynomials in what are called the Pontryagin classes of M, but we will
not need to know how these are defined; the first few terms of the expansion
of A(V) in terms of the classes Tr(Fc) are as follows:
(1.36)
Thus
Td(V) = det(eFF 1) E A2'(M,C).
Like A(V), the Todd genus is multiplicative. The cohomology class of Td(V)
will be denoted Td(£). In particular, the Todd genus Td(M) of a complex
manifold M is the Todd genus of its tangent bundle TM.
As we will see, the A-genus and its cousin the Todd genus arise quite
naturally in a number of situations in mathematics, for example, in the Atiyah-
Singer index theorem and in the Weyl and Kirillov character formulas.
(27r)-N/2 f IM U = 1 E A°(M).
Lemma 1.45. Let R be the vertical Euler vector field on V, and let ht (v) _
tv. With H : A'(V) --+ A*-'(V) defined by the formula
Hp = f ht
1 (t(R),(j) t-ldt.
o
m(a,/3) = f0
1
(27r)-N/2 f U A,6 =
V
f M
j*/3.
(27r)-N/2 f
v
U A,3 = (27r)-N/2 f U
v
A p* (j*/l)
+ (27r)-N/2 f v
U A dH/3 + (21r)-N/2 f v
U A Hd/3.
The first term on the right-hand side equals fm j* f3, the second term vanishes
by Stokes's theorem, since U is closed, and the third term vanishes since 0 is
closed.
54 1. Background on Differential Geometry
In this section, we will construct a Thom form using the Berezin integral.
Let us start with a model problem, the construction of a volume form U on
an oriented Euclidean vector space V with integral fy U = (2ir)N/2; this is a
Thom class for V considered as a vector bundle over a point. If x1, ... , XN
is an orthonormal coordinate system on V, we define U by
U(x) = e-Ixl2/2dx1 A ... A dxN.
We will show later how to remedy the fact that U does not have compact
support.
Now, consider the identity map V --+ V to be an element of A° (V, V), with
exterior differential dx E A' (V, V). The exponential a-idx lies in A(V, AV).
We extend the Berezin integral T : AV --3 R to a map T : A(V, AV) -+ A(V)
by
T(a (9 ) = a E A(V) and l; E AV.
= (-i)N(-1)N(N-1)12
dX1 A ... A dXN,
00
e-sl2 dx = 27r.
a(s)(a ® (Si A ... A sj)) _ sk)a 0 (s1 A ... Ask A... A sj)
k=1
for a E A(V) homogeneous and Sk E r(V,p*V), (1 < k < j). The contraction
a(s) defines a map a(s) : Ai'j -+ Ai'j-'. We will identify so(V) with A2V by
the map
A E so(V) -- E(Aei, ej )ei A ej.
i<j
For any s E A°'1 = F(V,p*V) and a E A, T(a(s)a) = 0, since a(s)a has
no component in A*,N. It follows that the Berezin integral T : A(V, Ap*V)
A(V) also satisfies the formula
dT(a) =T((V +a(s))a)
Let us list some elements of the algebra A:
(1) the tautological section x E A°'1 = T(V,p*V);
(2) the elements 1x12 E A°'0 and Vx E A',', formed from x;
A2,2 =
(3) the curvature F = (Vv)2 E A2(M,so(V)) gives an element of
A2(V, A2p*V) by identifying it with an element of A2(M, A2V), and pulling
it back to V by the projection p : V --+ M; abusing notation, we will write
this pull-back as F also.
Lemma 1.51. (1) Let S2 =x12/2 + iVx + F E A. Then
(V - ia(x))f2 = 0.
56 1. Background on Differential Geometry
Then (V - ia(x))p(f) = 0.
Proof. By Leibniz's rule, we have V (1x12) = -2a(x)Vx. By the definition of
curvature, we have V(Vx) = a(x)F, while by the Bianchi identity, we have
VF = 0. Combining all of this with the obvious facts that a(x)x = 1x12 and
a(x)1x12 = 0, we see that (V - ia(x))f = 0.
The formula (V - ia(x))p(S2) = 0 now follows from the fact that V - ia(x)
is a derivation of the algebra A.
Note that Sl E EO<k<2 Ak'k, so that p(fl) E Eo<k<N Ak,k We see that
T(p(S2)) E AN(V), and the above lemma shows that
dT(p(S2)) = T ((V - ia(x))p(52)) = 0,
so that T(p(52)) is a closed N-form on V.
We now define the form U on V by choosing p to be the function p(x) _
where e(N) = 1 if N is even and i if N is odd:
(1.37) U= e(N)T(e-sz)
= e(N)T(e-(I"I2/2+ivx+F)).
We will study in greater detail the analogies between this formula and that of
the Chern character in Section 7.7. Observe that the Thom form depends on
the orientation of V (through T), on its metric, and on its connection.
Proposition 1.52. The form (27r)-N/2U has integral 1 over each fibre.
Proof. To calculate f v/M U, it suffices to consider the the case in which M is
a point, so that V is a vector space; this is just Lemma 1.49.
The Thom form U constructed above has rapid decay at infinity instead
of being compactly supported. However, using the diffeomorphism from the
interior of the unit ball bundle of V to V given by the formula
y H y
1y12)1/2'
(1 -
we can pull back the Thom form U to obtain a Thom form with support in
the unit ball bundle of V.
Just as for the Chern character, there are transgression formulas for the
Thom form which show how it changes when the metric is rescaled and when
the connection changes. Let us first consider the effect of rescaling the metric:
this is equivalent to replacing S by
SZt = t2Ix12/2 + itVx + F.
Let Ut denote the Thom form corresponding to nt.
1.6. The Euler and Thom Classes 57
dt
IX12
back dVs/ds to V, and let 1 + iVsx + Fq be the element of A
corresponding to the connection V8.
Proposition 1.54. We have the transgression formula
dUs
= -e(N) dT dd s e-n' )
Proof. It is easy to see that
dQ_,
= (Vs - ia(x)) d--'
ds ds
Using the formula (Os - ia(x)) , = 0, we see that
d e-spa = ds e-ne = -(Vs - ia(x)) (Y! ens)
and hence that
ddss
= -e(N) T I (V8 - ia(x)) (e_))
_ -e(N) dT I dd s I .
which is the analogue of the trangression formula (1.33) for the Chern char-
acter. This shows that the cohomology class of X(V) is independent of the
connection used in its definition.
We can also show that the cohomology class of X(V) is independent of the
metric used in its definition. If and ')1 are two metrics on V, then
we can find an invertible orientation preserving section of End(V) such that
(v, v)1 = (gv, gv)o-
If Vo is a Euclidean covariant derivative for the metric then it is easy
to see that V1 = g'1 Vo g is a Euclidean covariant derivative with respect
to the metric .)1. If we now construct the Euler forms of the two covariant
derivatives Vi with respect to the metrics we see that they are equal.
A case of special importance is that in which the bundle V is the tangent
bundle TM of an oriented even-dimensional Riemannian manifold. In this
case, the differential form X(V), where V is the Levi-Civita connection, is
called the Euler form X(M) of the manifold, and lies in A'a(M), where n
is the dimension of M. For example, if M is a two-dimensional Riemannian
C0
) then M
manifold, and if {el, e2} is an orthonormal basis of T,,M for which R(el, e2) _
.gel A e2.
Let v E I'(M, V) be a section of the vector bundle V. The pull-back v*U
is a closed differential form of degree N on M, given by the formula
v*U = T(e-(Iv12/2+sVvv+F)
The transgression formula Proposition 1.53 implies that v*U is cohomologous
to the Euler class for any v E F(M, V):
/1
x(Vv) - v*U = -i d T (v A e-(O dt.
J0
1.6. The Euler and Thom Classes 59
(1.39) f Mvt U = f
M
(1 - (IIvII2))vi U + f
M
V)(IIv1I2)vt U.
x E S.,. 1
)
llv(x)ll-'v(x)
The index v(p, v) is an integer which is independent of the coordinate chart
used in its definition, as well as the small parameter u.
We can again choose small balls VP around the zeroes of v such that 11v 11 > e
on the complement of UPVP. The map sending x E VP to v(x) is a covering
map over the set of regular values, and using Sard's theorem, we see that
fvT>
V,(Ilvll )vt U = tnv(p, v) fRn V)(iIvIi2)e
t211X112/2dx1 A ... A dxn.
The book of Kobayashi-Nomizu [74] is perhaps the best reference for the the-
ory of bundles and connections.
This operator can be used to study the geometry of the manifold, and is also
important because it arises frequently in physics problems, such as quantum
mechanics and diffusion in curved spaces. All of the eigenfunctions of A are
smooth functions and, if the manifold M is compact, i has a unique self-
adjoint extension. The Laplacian has a heat kernel, which is the function
kt (x, y) on R+ x M x M which solves the equation
at kt (x, y) + A.kt (x, y) = 0,
subject to the initial condition that limt_*0 kt(x, y) is the Dirac distribution
along the diagonal 6(x, y). It turns out that the heat kernel kt(x, y) is a smooth
function whose behaviour when t becomes small reflects the local geometry
of the manifold M. In particular, there is an approximation to kt(x, y) near
the diagonal, of the form
00
(47rt)-,/2e-d(xy)2/4t E
kt(x, y) - tifi(x, y),
i=0
where d(x, y) is the geodesic distance between x and y, the integer n is the
dimension of M, and the functions fi(x, y) are given by explicit formulas when
restricted to the diagonal.
In this chapter, we will construct the heat kernel of a more general class
of operators which generalizes the scalar Laplacian to vector bundles. The
construction is extremely intuitive geometrically, being based on the explicit
formula involving a Gaussian for the heat kernel of the Laplacian on Eu-
clidean space. Since the manifold on which we work is compact, we require
no estimates more sophisticated than the summation of geometric series.
These generalized Laplacians are introduced in Section 1, while the con-
struction of the heat kernel, when M is compact, occupies Sections 2-4. In
Section 5, we give some applications, such as the smoothness of eigenfunctions
of generalized Laplacians and the Weyl formula for the asymptotic number
64 2. Asymptotic Expansion of the Heat Kernel
(2.1) vk (D) (x, t;) = lira t-k (e-itf . D eitf) (x) E End(£x),
t--+00
If £1 and £2 are two bundles on M with connections VEI and DE2, let AEI,
AEz and AEI®E2 be the Laplacians defined with respect to the connections
V&1, VE2 and VSI®E2 = VE® 01+10V62. The following formula is clear:
for si E r(M, £i),
A61062 (S1 (9 s2) = (AEIS1) ® S2 - 2Tr(VElsl (& V-0282) + s1 ® AE2s2.
Proof. Let us define an operator yE from r(M, £) to A' (M, £) by the formula
(fo grad fl, 17-s) = fo (-H(fis) + f, (Hs) + (Ofl)s),
2
for all fo and fl E CO°(M). The relation
0(flf2) = (Afl)f2 - 2(dfl, df2) + fl(of2)
and the formula [[H, fl], f2] = -2(dfl, df2) implies that this definition is con-
sistent, in the sense that
(fograd(flf2),DES) = (foflgrad f2+fof2grad fl,DES),
and that yE is a connection on the bundle £:
[(grad f,VE),h] = [-2[H,f] + 2Of,h] = -2[[H,f],h] = (grad f,dh).
It is now easy to show that F = H - DE is a zeroth-order operator: if f is
any smooth function on M, then
[H - DE, f] = 0,
since both [H, f] and [DE, f] equal -2(grad f, VS) +Af.
To summarize, a generalized Laplacian is constructed from the following
three pieces of geometric data:
(1) a metric g on M, which determines the second-order piece;
(2) a connection Ve on the vector bundle £, which determines the first-order
piece;
(3) a section F of the bundle End(£), which determines the zeroth order
piece.
If S is a vector bundle and £* is its dual vector bundle, then the space
r, (m, £) of compactly supported sections of £ is naturally paired with the
space of sections of £* ® IAA: if we take two sections s1 E r,(M,£) and
s2 E r(M, £* (9 1AI), then their pointwise scalar product (sl, s2). is a section
of the density bundle IAA, so can be integrated, giving a number fM(s1, s2),
the pairing of the two sections. In particular, if £ is a Hermitian bundle, then
the space r, (M, S ®1AI1/2) has a natural inner-product.
Definition 2.6. (1) If Si and £2 are two vector bundles on M and D
r(M, £1) -> r(M, £2) is a differential operator, the formal adjoint D* of D
is the differential operator
D* : r(M, £2 (9 Al)
J--+ r(M, £i (9 JAI)
such that
(Ds, t) = (s, D*t)
IM IM
for s E r°(M, £1) and t E r(M, £2 ®JAI).
68 2. Asymptotic Expansion of the Heat Kernel
d*a idxJ = 0
fM
if a is a compactly supported one-form.
If a is a one-form, the function Tr(Va) is given by the formula
d*a = -Tr(Va),
and hence for any compactly supported C1 one-form a, we have
Tr(Va) IdxI = 0.
IM
2.1. Differential Operators 69
f X (f) I dxl =- f
M M
Tr(VX) f ldxl.
f (a,df)Idxl=fM X(f)Idxl=- f
M M
Tr(Da)fIdx!.
The following proposition extends the above formula for the divergence, by
giving a formula for d*a in any degree.
Proposition 2.8. Denote by t : r(M,T*M ®AT*M) --> F(M, AT*M) the
contraction operator on differential forms defined by means of the Rieman-
nian metric on M. Then
d* = -t o VAT*M
Proof. Since the Levi-Civita covariant derivative is torsion free, we see from
Proposition 1.22 that d = e o V. Let /3p E A'(M), ,Qp+l E Ap+1(M), and
let a be the one-form given by the formula a(X) = (/3p, c(X)/3p+1). Using
Leibniz's rule and the fact that at each point x E M, e* = t, we see that
(EVgq,.p-1)a = -(8p, tVQp+1)x + Tr(Da)x.
Integration over M kills Tr(Va), and we obtain the proposition.
We will now calculate the formal adjoint of the Laplacian Y. Recall
that the bundle IAI- of s-densities on a Riemannian manifold has a natural
connection, which preserves the canonical section Idxl8. If DE®lAl is the
Laplacian associated to the connection Ve®lAl on the bundle 6 (9 JAI", we
have
oe®lAia(0IdxI9) =
)Idxls
Because of the following result, it is often more natural to write formulas with
half-densities. Let IM(s1, s2) denote the natural pairing between a compactly
supported section s1 of the bundle £ ® IAI1/2, and a section $2 of the bundle
£* 0 IAI'/2. We consider on the bundle £* the connection V* dual to the
connection Ve on S.
70 2. Asymptotic Expansion of the Heat Kernel
(DE®IAI1(2S,
S2) = (sl, 0e*®IAI112s2)
Jm
_ Tr(VE®IAI1(2s,i vE*®IAI"2s2),
M
where the last inner product is defined using the natural pairing between
T*M®£ and T*M®£*.
Proof. If we apply the Levi-Civita covariant derivative V to the density
(VE®IA11/2s1i S2)x, we obtain the continuous section of T*M ® T*M
V(VE®IAI11251,S2)x =
VE*®IAI'1/252)x,
(vT*M®E®IAI1/2VE(&IAI1/2 s1, S2)x + (VE®IAI1/251,
so that
Tr(V(VE®IA1'/2Sl,s2))x =
Tr(DE®IAI1(2s1i pE*(9IAl1/2s2)x.
l _ (DE®IAI112s1i 52)z +
Tr(V(VE®IAI1i2s1i
The reader should beware the distinction between the symbol x, denoting any
coordinate system on the manifold M, and x, denoting coordinates on the
tangent space Two M, or normal coordinates on M.
Let R be the radial vector field R xiaXi. Denote the Laplacians on
functions and on half-densities by A.
then
(at + A - j1/2( A . j-1/2))qt = 0.
V(jl/2ldxl1/2) = Vldxll/2 = 0.
To prove (3), we use integration by parts: if 0 E C,00 (TT0 M), then
here we have used that (dllxll2, dO)/2 = R4, which is a consequence of Prop
sition 1.27 (3). Since the adjoint of the vector field R with respect to the
density Idxl is -n - R, we see that
4te-11X112/4t(2(n+R(logj))
- t-111x112)
jl/2(0, j-1/2))qt
From these formulas, it is easy to show that (at + A -
vanishes.
72 2. Asymptotic Expansion of the Heat Kernel
0=- d2 2
be its Laplacian. If
qt (x, y) = (47rt)-1/2e (X-Y)2/4t ,
it is easy to check that
a
at
)
+ OX q, (x, y) = 0,
= (47rt)-1/2 e-(X-Y)2/4to(Y)
dy.
Jle
2.2. The Heat Kernel on Euclidean Space 73
k
Ako < O(ti/2+1).
Qtcb - E (k!
k=O
< 0(t(P+1)/2)
II Qtcb -k=0
E a(k) t k!2 c(k) (x) II
The proposition follows immediately from this estimate and the formula of
Lemma 2.12 for a(k).
This is proved by the same change of variables as was used in the proof of
the Proposition 2.13.
74 2. Asymptotic Expansion of the Heat Kernel
vector bundle £ on M or on M x M.
Let £1 and £2 be vector bundles on M, and let pr1 and pre be the pro-
jections from M x M onto the first and second factor M respectively. We
denote by Si 9£2 the vector bundle
pri£, ®pri£2
over M x M.
We will call a section p E P(M x M, (.'F(g IAI1/2) ® (£* (9 IAI1/2)) a kernel.
Using p, we may define an operator
P : P--(M,£ (& IAI1/2) , P(M,F® IAI1/2)
by
(Ps)(x) =
f EM
p(x, y) s(y)
By this, we mean that (Ps)(x) is the pairing of the distribution in
r--(m, E ®IAI1/2) with the smooth function p(x, ) E P(M, £* (9 IAI1/2).
There are two quite different ways to investigate the heat kernel of H, that
is, the kernel attached to the operator e-tH (t > 0) by the kernel theorem:
(1) If H is symmetric, if we can show that the operator H has a self-
adjoint extension H that is bounded below, then by the spectral theorem,
the operator e-tH, which we will simply denote by a tH, is well defined
as a bounded operator on the Hilbert space of square integrable sections of
E ®I A 11/2. If, in addition, we can show that a tH extends to an operator
which maps distributional sections to smooth sections, then it follows by the
kernel theorem that the kernel of e-tH is smooth.
(2) The other method, which we will follow, starts by proving the existence
of a smooth kernel pt (x, y) which possesses the properties that the kernel
of the operator e-tH should possess, without first constructing the operator
H. The advantage of this method is that it gives more information about the
operator e-1H than the first method, is more closely related to the geometry of
H, is technically more elementary, and does not require that H be symmetric.
The following definition summarizes the properties that the kernel of an
operator e-tH must have.
Definition 2.15. Let H be a generalized Laplacian on E ® IAI1/2. A heat
kernel for H is a continuous section pt(x, y) of the bundle (Se JAI 1/2) Z (6*
IAI1/2) over 1[8+ x M x M, satisfying the following properties:
(1) pt(x, y) is C' with respect to t, that is, i9pt(x,y)/at is continuous in
(t, x, y),
(2) pt (x, y) is C2 with respect to x, that is, the partial derivatives
2ptX y)
axiaxi
are continuous in (t, x, y) for any coordinate system x;
(3) pt(x, y) satisfies the heat equation
(at+Hx)pt(x,y) = 0;
(4) pt (x, y) satisfies the boundary condition at t = 0: if s is a smooth section
of £ ® IAI1/2, then
lim Pts = s.
t--+o
Here we denote by Pt the operator defined by the kernel pt, and the limit
is meant in the uniform norm IIsIIo = supXEM IIs(x)II, for any metric on
E.
Our first task is to prove that the heat kernel is unique. We consider the
formal adjoint H* of H, which is a generalized Laplacian on E® ®IAI1/2
Lemma 2.16. Assume that the operator H* has a heat kernel, which we
denote by pt . If s(t, x) is a map from 1R+ to the space of sections of E ®IAI1/2
76 2. Asymptotic Expansion of the Heat Kernel
Proof. If sl(t, ) and 82 (t, ) are C2 sections of £ ®JAI 112 for each t > 0, we
have
H*s2(t,
(Hsi(t,'), s2(t, .)) = (sl(t, .), -))-
fM JM
AO) = f(x,y)EMxM
(s(O, x),pt-e(x, y)u(y))
where 0 < 0 < t. Differentiating with respect to 0 and using the heat equation
Definition 2.15 (3), we see that f (0) is constant. By considering the limits
when 0 tends to t and to 0, we obtain
Proposition 2.17. (1) Suppose there exists a heat kernel pt for the operator
H*. Then there is at most one heat kernel pt for H.
(2) Suppose there exist heat kernels pt for H*, and pt for H. Then pt(x, y) _
(pt (y, x))*.
(3) Suppose there exist heat kernels pt for H*, and pt for H. Then the
operators Pts(x) = fm pt (x, y)s(y) dy form a semi-group.
Proof. Consider f (0) = fM((Pes)(x), (Pt Bu)(x)) for 0 < 0 < t, where s and
u are smooth sections of r(M, £ (& IAI1/2); as before, this is independent of 0
and we obtain
(Pt s, u) = (s, Pt u)
Often,
O f t e n , we will parametrize Ok by the coordinates
Let
L e t vk be the volume of Ok for the Lebesgue measure dti ... dtk. Since
vo = 1 and
1 1
yk-1
Vk = I VOl(tkOk-1) dtk = tk-lvk-1 dtk = ,
0 J0
we see that Vk = 1/k!. The rapid decay of vk will be important in the following
proofs, when we must show that certain series converge.
Theorem 2.19. Let Qt : R+ -* End(V) be defined by the integral
Qt = f tOk
Kt-tkRtk-tk-1... Rte-t1Rt1 dtl ... dtk;
78 2. Asymptotic Expansion of the Heat Kernel
(dt + H) 1:(-i)kQt = 0.
k=0
To estimate Pt - Kt for small t, we use the uniform bounds over t/k,
lKt-tk < Co and JRtj+1 -t: I < Cta,
which lead to the bound
iQt i < CoCktka tk , tk
since vol(tAk) = M.
k!
It is clear from this that the series defining Pt converges, and that Pt =
Kt + O(tl+a). 0
An important special case of this formula is the Volterra series for the
exponential of a perturbed operator: if H = Ho + H1 E End(V) and Kt =
e-tHo, we see that Rt = (d/dt + H)e-'HO = HletHo, and we obtain
00
e-t(Ho+Hl) = e-tHo + E(-i)kjk,
k=1
where
Ik = f e-(t-tk)H0H1e-(tk-tk-1)H0...Hle-t1HO dt1...dtk.
Ok
This formula implies in particular that
h%t = I
k Kt-tkRtk-tk-1 ...Rtl
defined by the kernel
qt (x, y) = JA k 1Mk
We will first prove that if N is chosen large enough, this integral is convergent
and that the kernel qt is differentiable to some order depending on N. To do
this, we need some estimates.
80 2. Asymptotic Expansion of the Heat Kernel
where the coefficients (x, y) ' -r Dt (x, y, H) are smooth sections of the bundle
E®E* defined in a neighbourhood of the diagonal of M x M and qt is modelled
on the Euclidean heat kernel: in normal coordinates around y (x = expy x),
(47rt)-n/2e-IIXII2/4tldxll/2
qt(x, y) =
= (47rt)-n/2e-d(z,11)2/4t j (X)-1/2Idx I1/2.
B= j1/2 o H o j-1/2.
Then, for any time dependent section st of E,
+t-1vjz
(at + H)stqt = ((at + B)st)qt.
where A is the scalar Laplacian. Proposition 2.11 gives explicit formulas for
the last two terms:
Definition 2.25. Let -1)t (x, y) be a formal power series in t whose coefficients
are smooth sections of £ E E* defined in a neighbourhood of the diagonal of
M x M. We will say that qt (x, y)dt(x, y)Idyj1/2 is a formal solution of the
heat equation around y if x H-* (Dt(x, y), considered as a section of the bundle
E ®£y over a neighbourhood of y in M, satisfies the equation
(at + t-1 V7z + B)(Dt(., y) = 0.
We can now prove the existence and uniqueness of the formal solution of
the heat equation. Let x and y be sufficiently close points in M, and write
x = expy x for x E TyM. Denote by -r (x, y) : Ey --+ Ex the parallel transport
along the geodesic curve x3 = expy sx : [0,1] --> M.
Theorem 2.26. There exists a unique formal solution kt(x, y) of the heat
equation
(at + H.)kt(x,y) = 0
of the form
00
fo
In particular, I)o(x, y) = 7-(x, y).
Proof. In the left side of the equation
00
Example 2.27. We can use the explicit iterative formula for (Di(x, y) given
above to calculate the subleading term 4P1(x, x) in the asymptotic expansion
of kt(x, y) on the diagonal. We have
(bi(x,x) =
However, since Do(x, y) = T(x, y), we /see that
the manifold; thus, the exponential map is a diffeomorphism for lxi < E. We
define the approxiamte solution by the formula
N
(2.7) kt'(x,y) =
i=O
In the next theorem, we will prove that kN possesses the properties that
were used to construct the true heat kernel in Section 3. Indeed, we will see
that it satisfies somewhat stronger estimates than were stated in Theorem 2.20.
Theorem 2.29. Let £ be an even positive integer.
(1) For any T > 0 the kernels kt', 0 < t < T, define a uniformly bounded
family of operators Kt' on rt (M, £ ®IAI1/2), and
tl KNs-s1le=0.
(2) There exist differential operators Dk of order less than or equal to 2k such
j
that Do is the identity and such that for any s E Ft+1(M, £ (D I Al 1/2),
Q/2-9
`K NS _ ` tkDkS I2= O(t(R+I)/2-.7).
II t l
k=0
k=0
rt T
The bound on (x, y) follows from the formula for by by means of Propo-
sition 2.24, which shows that
N
rN(x, y) _ [(at + t-' Viz + Bx) - (O(d(x, Y)2) E tZ,Dj (x, y, H))] qt (x, y).
i=o
The right-hand side in this formula is made up of two kinds of terms, those
which involve at least one differentiation of the factor '(d(x, y)2), and those
which only involve time derivatives or derivatives of the functions 'Di. The
first type vanishes for d(x, y) < E/2 and so is very easy to estimate, since for
d(x,y) > e/2
y)2)e-d(x,v)2/4t = O(tk)
a° O(d(x,
for any k. From the system of differential equations defining the functions I)i,
we see that the terms which do not involve a derivative of b(d(x, y)2) cancel,
except for one remaining term equal to
= = O(t-1),
t-1/2(-2x/t1/2)e-x2/t
axe-x2/t = = O(t-1/2).
Theorem 2.30. Let pt (x, y, H) be the heat kernel of the generalized Lapla-
Ae01°I112 +F.
cian H = There exist smooth sections -Di E r(M x M, E ®E*)
such that, for every N > n = dim(M)/2, the kernel kN(x, y, H) defined by
the formula
N
(47rt)-"/2e-d(x,y)2/4t j(X,y)-1/2JdxI 1/2 (9 Idyl 1,2
h(d(x, y)2) E t2<Di(x, y, H)
i=0
is asymptotic to pt (x, y, H):
II at (pt(x, y, H) - kN (x, y, H)) II$ = O(tN-n/2-a/2-k).
The leading term 4o (x, y, H) is equal to the parallel transport T(x, y) : y
£5 with respect to the connection associated to H along the unique geodesic
joining x and y.
If s E r(M, £ (9 All/2) is a smooth section of E ®IAI1/2, we see from
Theorem 2.29 that Pts, defined by
(Pts)(x) = f pt(x,y,H)s(y)
EM
is Hilbert-Schmidt, and
Note that if A and B are Hilbert-Schmidt, then Tr(AB*) = (A, B)HS; also
(2.10) Tr(AB) = TY(BA) _ (Ae;, ej) (Bej, e2).
aj
Proof. This follows from the fact that Pt = (Pt/2)2, and the fact that Pt/2 is
Hilbert-Schmidt. The trace of Pt is given by the formula
Tr(Pt) = (Pt/2, Pt1 2)HS
Ix,v) EM2
pt/2(x,y)pt/2(y,x)
pt(x, x). O
f.EM
Let H = + F be a generalized Laplacian on £, and consider the
Ae®1AI112
f I J qt(x, y) f (y) dy12 dx < J(fqt(x , y) dy) (f qt (x, y)I f(Y) 12 dy) dx
< C f fqt(x,Y)lf(y)l2dxdY < C2IIf1I2
that >z e-tAl is finite for each t > 0. This shows that the spectrum of H is
discrete with finite multiplicity. Thus, we have proved the following result:
Proposition 2.36. If His a symmetric generalized Laplacian, then the op-
erator Pt is equal to e-tH. The operator H has discrete spectrum, bounded
below, and each eigenspace is finite dimensional, with eigenvectors given by
smooth sections of Eo JAI 1/2.
We will not be very careful about distinguishing between the operator H
and its closure H, and will write e-1H for the operator pt = e tH. From the
spectral decomposition of H it follows that
e-tAj
Pt (x, y) = E 0j (x) ®0j (y)-
'Al.
I(x 11'(o,oo)e-(t-1)HP(0,.) I y)I2 < Ce
J(.,V)EM2
However, the left-hand side is nothing but the square of the Hilbert-Schmidt
norm of P(o,ac)e-(t-1)HP(0oo). Thus, if 0 < Al < A2 < ... are the positive
eigenvalues of H, repeated according to their multiplicities, we must show
that
E e-2(t-1)Aj
< Ce"1.
j>1
Thus, we see for t large that
e-2(t-1)Aj < e-(t-2),\j ) . sup e-tAj
j>1
j>1 j>1
< e-(t-2)A1) . e-tai < e-Aj) _ e-tA1
j>1 j
- (f.EM x I
P(o,oo)e-HP(o,oo) I x)) e-tAi. 0
92 2. Asymptotic Expansion of the Heat Kernel
for each natural number k. The operator Gk has a CL kernel for k > 1 +
(dim(M) + 1)/2.
9k (x, y) = (k 1 fpt(x,y)tk_ldt
1)!
converges and defines a kernel which is in fact the kernel of the operator Gk.
We start by splitting the integral into two pieces,
9k(x, y) _
(k
1 1)1 f 1
pt(x, y)tk-1 dt +
(k
1
00
1)! f pt(x, y)tk-1 dt.
We bound the first integral by means of the following lemma.
Lemma 2.39. The family of kernels tk-lpt(x, y), (t < 1), is uniformly
bounded in the Ce-norm when k > 1 + (e + n)/2.
2.6. The Trace of the Heat Kernel 93
Proof. Using the asymptotic expansion for the heat kernel pt (x, y), we see
that it suffices to prove the lemma for the kernel
y)2)t- dim(M)/2e- d(x V)2/4t
qt(x, y) = '5(d(x,
where V) is a smooth function on R+ which equals 1 near zero and 0 in
[e2, oo). Using the fact that 10ae-d(x y)2 /4t[ < Ct-1'!/2, it is easily seen
that for k > 1 + (2 + n)/2, the family of kernels tk-1a"qt(x, y) is uniformly
continuous for0<t<1, a<t.
We will complete the proof by showing that the second integral converges
to a smooth kernel, using Proposition 2.37. Indeed, for any Ce-norm,
C(2) e-tai/2 tk-1 dt
1 IIpt(x, y) Ie tk-1 dt <
(k -1)! floc, (k -1)! 100
which is finite.
In Section 9.6, we will extend this theorem to fractional powers of the Green
operator.
It is straightforward to extend this theorem to an arbitrary self-adjoint
generalized Laplacian H. We define the Green operator of H to be the inverse
of H on ker(H)1, and to vanish on ker(H). The integral representation of
G is similar to the above one, except that we must handle the non-positive
eigenvalues separately: if )L. m < .. < \_1 < 0 are the strictly negative
eigenvalues of H, and if Pa, is the projection onto the eigenspace of H with
eigenvalue \i, then we see that
00
(2.11) Gk = 1 P(o,00)e-txtk-1 dt + J:(),_i)-kPac,
7n
(k -1)! fo i=1
Since the operators P_,\ are smoothing operators, the estimates on the kernel
of Gk may be carried out in exactly the same fashion as when H is positive.
The above theorem has the following important consequence, known as
elliptic regularity.
Corollary 2.40. Let H be a symmetric generalized Laplacian on,6 (9 JAI 1/2.
(1) Ifs E FL2 (M, £ (9 lAI1/2) is such that Hks, in the sense of generalized
sections, is square-integrable for all k, then s is smooth.
(2) If A is a bounded operator on rL2 (M, £ (9 JAI1/2) which commutes with
H, and ifs E I'(M, £ ®IAI1/2) is smooth, then As E P(M, £ (& JAI'/') is
smooth.
Proof. We may assume that H is positive by adding a large positive constant
to H. It follows that 1 = Gk o Hk = Hk o Gk.
Since Gk commutes with H, we see that s = GkHks. By hypothesis,
Hks is square-integrable, hence by the above estimates, GkHks lies in Ce for
2 < 2k - n - 1. Letting k tend to oo, we obtain the first part.
94 2. Asymptotic Expansion of the Heat Kernel
Ei (47rt)-1z/2
rk(£) vol(M) + 0(t-n/2+1)
f0 00 e"
converges for t > 0, and such that
00
lim t" dp(A) = C
t-40 Jo
for some positive constants a and C. If f (x) is a continuous function on the
unit interval [0, 1], then
00 00
t ota f f(e-t),) e-t' dµ()) =rya) f .f (e-t)ta-ie-t dt.
2.6. The Trace of the Heat Kernel 95
N(A) N
vol(S')
4_rr(3/2)
r
and it is easily checked that the coefficient of f equals 2 (since vol(Sl) = 2ir
and r(3/2) = vr7r/2).
In the next proposition, we will extend the formula for the trace of the heat
kernel to any operator with smooth kernel. The proof is an application of the
Green operator.
96 2. Asymptotic Expansion of the Heat Kernel
I x,y)EM2
gk (x, y)Hka(y, x)
a(x, x).
J.EM
Let D be a differential operator acting on r(M, £ (& IAI1/2). If K is an
operator with smooth kernel, then so are DK and KD, and hence they are
trace class. More precisely, the operator DK has smooth kernel Dxk(x, y)
while integration by parts shows that KD has smooth kernel Dyk(x, y).
Proposition 2.45. Let D be a differential operator acting on the bundle E.
If K is an operator with smooth kernel, then Tr(DK) = Tr(KD).
Proof. Choose a positive generalized Laplacian on the bundle £, and let G
be its Green operator. For sufficiently large N, the operator DGN has a
continuous kernel, and hence is a Hilbert-Schmidt operator. Thus,
Tr(DK) = Tt ((DGN)(HNK)) ='I4'((HNK)(DGN)) by (2.10)
= Tr((HNKD)GN) = Tr(GN(HNKD)) = L(KD).
Let us construct an asymptotic expansion for the kernel of the operator
DPt, where D is a differential operator.
Proposition 2.46. If Pt is the heat kernel of a generalized Laplacian H and
D is a differential operator of degree m on the bundle E, then there exist
smooth kernels Tj(x, y, H, D) such that the kernel (x I DPt I y) satisfies
N
n/2),
(x I DPt I y) - ht (x, y) t''W i(x, y, H, D) II = G(tN
i=-m
2.6. The Trace of the Heat Kernel 97
8Xgt(x,Y) = gt(x,Y)
(x- p
013,3 tIQI+j)
I0I+2.7<<I«I
Ptky -
(-t)iHi ky,
z,
i=0
from which the proposition follows.
98 2. Asymptotic Expansion of the Heat Kernel
8zpt(x, y, z) f (f
0 yiEM
pt-s (x, yi, z) (8zHz)y,ps (yl, y, z)) ds;
As a first step in the proof, we will prove a result about the dependence of
the formal heat kernel of the family HZ on the parameter z. Since we are only
interested in results local in z, we may assume without loss of generality that
the injectivity radius is everywhere bounded below by e > 0. Let Vi : R+ ->
[0, 1] be a cut-off function.
Lemma 2.49. For each t > 0, the formal solution kN(x, y, z) = kN(x, y, Hz)
depends smoothly on z. Given T > 0 and z lying in a compact subset of R,
the family of kernels azkN(x, y, z), 0 < t < T, form a uniformly bounded
collection of operators on re(M, £ (9 JAI 1/2) for each £ > 0.
m<k
E azr1 IIe
Application of the operator KN (z) with kernel kN (x, y, z), 0 < t < 1, gives a
uniformly bounded family of linear operators for this norm; this follows from
the fact that the operator az Kt (z) equals
m
(i;)(azKN(z))ax
m
combined with the fact that the family 93KN(z) is uniformly bounded on
re(M, £ ® IAI1/2) for t E [0,1]. Thus, we see that the series for az pt(x, y, z)
converges uniformly in the Ce-norm as long as N > m + (Q + n)/2. Since N
is arbitrary, this proves the smoothness of pt(x, y, z) in z.
100 2. Asymptotic Expansion of the Heat Kernel
Let us now prove Duhamel's formula for apt (x, y, z) /8z. Let 0 be a smooth
section of £ 01 AI 1/2. If we apply the operator at + HZ to the section a--Pt-,o E
F(M, £ (9 AI1/2), we obtain
A (x) =
a
(P0) + ff pt-.,(x, yl, z)(azHz) ,1ps(y,, y2, x) qS(y2) ds
satisfies the heat equation (at+HZ)At = 0. We will show that At (x) converges
to zero as t -+ 0; by the uniqueness of solutions to the heat equation, it follows
that it vanishes. Since 0 is an arbitrary element of F(M,£ (9 AI 1/2), this
proves Duhamel's formula.
We have the following asymptotic expansion for Pt b in I'(M, E (9 JAI 1/2):
tHz k
k=0
to (f yEM azpt
(x, y, z)*(y)) = 0.
f yi,y2)EM2
pt-8(', y,, z)(a=HZ)y,ps(yl, Y2, Z) O(y2)
lim f (
t-+0 0
f
(yi,y2)EM2
pt-e(., yl, z)(aZHZ)ylps(yl, y2, z) O(y2)) ds = 0.
The following corollary will be used repeatedly in the rest of the book.
Corollary 2.50. If Hz is a one-parameter smooth family of generalized La-
placians on a vector bundle E over a compact manifold, then
a tH'
(aaz
Bibliographic Notes
The pioneers of the approach to the analysis of the heat kernel that we present
in this chapter were Minakshisundaram and Pleijel [86]. A more recent work
which presents some applications to Riemannian geometry is the book by
Berger-Gauduchon-Mazet [20]; we have followed this book closely in Sec-
tions 2-4.
Chapter 3. Clifford Modules and Dirac Operators
In this chapter, we begin the study of Dirac operators, which are a gener-
alization of the operator discovered by Dirac in his study of the quantum
mechanics of the electron.
The problem that Dirac asked was the following (he was actually working
in four-dimensional Minkowski space and not in a Riemannian manifold):
what are the first-order differential operators whose square is the Laplacian?
Generalizing the question, one is motivated to ask: if M is a manifold and
E is a vector bundle over M, what are the first-order differential operators D
whose square is a generalized Laplacian on r(M, E)?
At this level of generality, the answer is quite easy to give. The operator
D, if written in local coordinates, takes the form
D = ) ak(x)8k + b(x),
where ak(x) and b(x) are sections of End(s), and it is easily seen that
E. ak(x)8k transforms as a section of the bundle Hom(T*M, End(£)); this
section is -i times the symbol of D introduced in Chapter 2,
a(D)(x,1: G dxk) =i>ak(x)ek
k k
The square of D is
D2 = 2 T(ai(x)aj (x) + ai (x)a'(x))8283 + first order operator,
which act on a twisted spinor bundle. We will discuss this special case in
Section 6. Also in Section 6, we show how some of other the classical operators
of differential geometry are generalized Dirac operators, such as d + d* on a
Riemannian manifold, and a + a* on a Kahler manifold.
Since the algebra T (V) carries a natural action of the group O(V, Q) of
linear maps on V preserving the quadratic form Q and the above ideal is
104 3. Clifford Modules and Dirac Operators
invariant under this action, it follows that the Clifford algebra carries a natural
action of O(V, Q) as well.
Let a H a* be the anti-automorphism of T(V) such that v E V is sent
to -v. Since the ideal JQ is stable under this map, we obtain an anti-
automorphism a a* of C(V).
Using o, the Clifford algebra C(V) may be identified with the exterior
algebra AV with a twisted, or quantized, multiplication c -Q 0. We will need
the following formula later: if v E V and a E C(V), then
(3.3) v([v, a]) = -2t(v)o(a)
We will now show that if V is a real vector space with positive-definite
scalar product, then there is a natural embedding of the Lie algebra so(V)
into C(V).
Proposition 3.7. The space C2(V) = c(A2V) is a Lie subalgebra of C(V),
with bracket the commutator in C(V). It is isomorphic to the Lie algebra
so(V), under the map r : C2(V) --* so(V) obtained by letting a E C2(V) act
on CI (V) V by the adjoint action:
-r(a) v = [a, v].
Proof. It is easy to check that the map -r(a) really does preserve C1(V), so
defines a Lie algebra homomorphism from C2(V) to gr(V). To see that it
maps into so(V), observe that
Q(r(a) -v,w) +Q(v,-r(a) -w) = -2[[a,v],w] - 2[v, [a,w]].
Since [[v, w], a] = 0, Jacobi's identity shows that this vanishes.
The map r must be an isomorphism, since it is injective and since the
dimensions of C2(V) and so(V) are the same, namely n(n - 1)/2. 0
106 3. Clifford Modules and Dirac Operators
We will make constant use in this book of the fact that a matrix A E so(V)
corresponds to the Clifford element
Indeed, writing g = expc(a) with a E A2V, we see from the fact that [a, v]
r(a)v that expc(a)v expc(a)-1 = exp(T(a)) v.
Proposition 3.10. If dim(V) > 1, the homomorphism
r: Spin(V) --+ SO(V)
is a double covering.
Proof. The map 'r is clearly surjective, since the exponential map is surjective
on SO(V). Let g E Spin(V) be such that T(g) = 1. Then [9,v] = 0 for all
v E V. Formula (3.3) implies that c(v)o,(g) = 0 for all v E V, so that g is a
scalar.
If dim(V) > 1, then -1 E Spin(V), as follows from (3.5) with t = 7r.
Consider the canonical anti-automorphism a H a* of C(V). On C2(V),
this anti-automorphism equals multiplication by -1, since if v and w are
orthogonal vectors,
(v w)* = (-w) (-v) = _v. w.
Since
Jv (X) _ sinh(X/2)
X/2
- eX/2 - e-X/2
X
and let
Csinh(X/2)1
jv(X) = det(Jv(X)) = det
\ X/2 J
108 3. Clifford Modules and Dirac Operators
Let us compare the two functions a(expc(a)) and expAa(a) from C(V) to
AV. If X E End(V), let
Hv(X) - X/2.
tanh(X/2)
be the analytic map from End(V) to itself which is defined on the set of
X whose spectral radius is less than 27r. Since Hv(0) = 1, there is a well
defined square root BT' 1'(X) E GL(V) if X lies in a neighbourhood of 0. For
a E C2(V), we will denote Hv(-r(a)) by Hv(a), and jv(T(a)) by jv(a). We
denote by a g a the automorphism of the algebra AV corresponding to
an element g E GL(V).
Proposition 3.13. If a E C2(V) = c(A2V) is sufficiently small, we have
o-(expc(a)) = jv 2(a) det(H/ 2(a)) (Hv1'2(a) . exPA(a(a))).
Proof. We can choose an orthonormal basis (ei)$ 1 of V such that
a = 91ele2 + 92e3e4 + ....
In this way we reduce the proof to the case in which V is two-dimensional and
a = 9ele2. In this case, expc a = cos 9 + sin 9e1e2i while jv 2(a) = 9-1 sin 0,
and the matrix Hv(a) equals 9 cot 9.
The preceeding proof shows that on the Cartan subalgebra of so(V) of
matrices of the form
Xe2ti_1 = 29ie2Li 1 < i < dim(V)/2,
Xe2i = -29ie2i-1,
we have the formula
I
jv(X) = 11 I\ 9
r sin
0i )
i=1
3.2. Spinors
In this section, we will construct the spinor representation of the Clifford
algebra of a Euclidean vector space V. We will suppose that V has even
dimension n, and, in addition, that an orientation on V has been chosen, to
remove an ambiguity which otherwise exists in defining the Z2-grading of the
spinor space.
In the following lemma, we do not assume that V is even-dimensional.
Lemma 3.17. Let ej, 1 < j < n, be an oriented, orthonormal basis of V,
and define the chirality operator
r = i Pel...en,
c(w) s = 21/2e(w)s, if w E P,
if wEP=P
To see that C(V) ® C is in fact isomorphic to End(S), we only need to
observe that dim(C(V)) = dim(S)2, and that no element of C(V) acts as
the zero map on S. The uniqueness of the spinor representation is now a
consequence of the fact that the algebra of matrices is simple, that is, it has
a unique irreducible module.
We will now show that if the polarization P of V is oriented, the operator
c(F) on S = AP is equal to (-1)k on AkP, so that
(3.7) S+ = A:: P.
A(T(a)) = AiE(wi)t('wi),
for all f E C' (M), and hence D1 - Do may be represented by the action of a
section of End- (E). Thus, the collection of all Dirac operators on a Clifford
module is an affine space modelled on r(M, End- (£)). In order to sharpen
this identification, we will introduce the notion of a Clifford superconnection
on a Clifford module.
Definition 3.39. (1) If DE is a connection on a Clifford module £, we say
that V is a Clifford connection if for any a E r(M, C(M)) and X E
r(M,TM),
[Ox, c(a)] = c(Vxa).
In this formula, Vx is the Levi-Civita covariant derivative extended to
the bundle C(M).
(2) If A is a superconnection on a Clifford module £, we say that A is a
Clifford superconnection if for any a E r(M, c(m)),
(3.12) [A, c(a)] = c(Va).
In this formula, Va is the Levi-Civita covariant derivative of a, which is
an element of A1(M, C(M)).
It follows from this definition that if A is a Clifford superconnection, then
the formula (3.12) holds for all a E A(M, C(M)).
The collection of all Clifford superconnections on .6 is an affine space based
on A- (M, Endc(M) (£)), the space of sections of AT*M ® Endc(M) (£) of odd
total degree; this follows from the fact that if A is a Clifford superconnection
on £ and a E A- (M, EndQ(M) (£)), then A + a is again a Clifford supercon-
nection.
118 3. Clifford Modules and Dirac Operators
(3.13) pat
jk
Proof. Part (1) follows from the formula for the Clifford action on W ® S,
which sends a E C(M) to 1 ® c(a) E r(M, End(W ® S)). Thus, we see that
[A"V®1+1® V8,1®c(a)]=1®[V8,c(a)]=1®c(Va).
To see that the assignment of a twisted Clifford superconnection on W ® S
to a superconnection on W is a bijection, we simply observe that the space of
Clifford superconnections on W ® S is an affine space modelled on the space
of sections A-(M,EndC(M)()IV ®£)) = A- (M, End(W)), as is the space of
superconnections on W.
If A is a Clifford superconnection on the twisted Clifford module W ® S,
we define an operator Al't' acting on sections of W by the formula
Adx''®8i+ el ®AI,
i=1 Ic{i,...,n}
120 3. Clifford Modules and Dirac Operators
A2 = RE + Fe/s.
In this formula, RE E A2(M,C(M)) C A2(M,End(£)) is the action of the
Riemannian curvature R of M, on the bundle £, given by the formula
Proof. Define Fe/S to equal A2 - RE. If we can show that the operation
e(FE/S) of exterior multiplication by FEIS, acting on A(M, 6), commutes
with the operators c(a), where a E P(M,T*M) C r(M,C(M)), then it will
follow immediately that FE/S is actually a differential form with values in
EndC(M)(£). But this commutation follows immediately from the the fact
that A is compatible with the Clifford action, as expressed in (3.12):
[A2, c(a)] _ [A, [A, c(a)]] = [A, c(Da)] = c(V2a).
To finish the proof, we use the fact that V2a = Ra,where R is the Riemannian
curvature of M and that [RE, c(a)] = c(Ra), so that
[A2, c(a)] = c(Ra) = [RE, c(a)] -
0 D-
D= D+ 0 ,
where D- = (D+)*.
An important invariant that can be associated to the operator D is its index.
If E = E+ ® E- is a finite-dimensional superspace, define its dimension to
be
dim(E) = dim(E+) - dim(E-).
The superspace ker(D) is finite dimensional.
3.4. Index of Dirac Operators 123
Consider the Hilbert spaces 1-l of L2-sections of E±. The following lemma
is the analogue for the supertrace of Proposition 2.45.
Lemma 3.49. If D is a differential operator on E and if K has a smooth
kernel, then Str[D, K] = 0.
Proof. If K and D are both even, this follows immediately from Lemma 2.45.
On the other hand, if D and K are both odd, that is, D = (D+ o) and
K = (K+ o ), then Str(DK+ KD) = Tr[K-, D+] +Tr[D-, K+] = 0, again
by Proposition 2.45.
The supertrace of the projection onto the kernel of D is clearly equal to
the index of D:
Str(Po) = dim(ker(D+)) - dim(ker(D-)) = ind(D).
The McKean-Singer formula generalizes this formula, and will allow us to use
the kernel of a-tD2 to calculate the index of D.
e-tD2
Theorem 3.50 (McKean-Singer). Let (x I I y) be the heat kernel
of the operator D2. Then for any t > 0
fM
We give two proofs of this formula. The first one uses the spectral
theorem for the essentially self-adjoint operator D2. If A is a real number,
let na be the dimension of the A-eigenspace 1i of the generalized Laplacian
D2, acting on r(M, E+). We have the following formula for the supertrace of
e-tD2:
2
Str(e-tD E(nt - n-)e-'A.
A>0
Since the Dirac operator D commutes with D2, it interchanges 7-la and 7-la ,
and moreover induces an isomorphism between them if A # 0, since in that
case, the composition
is equal to the identity. Thus, nt - na = 0 for A > 0, and we are left with
no - na , which is of course nothing but the index of D.
3.4. Index of Dirac Operators 125
SStr(e-t°2 Ple-tD2p1
_ Po)I = IM Str((x I I x)) dx < Cvol(M)e-tA1/2,
dta(t) _
_ -2 Str([D, De-tD2]),
since D is odd, and this vanishes by Lemma 3.49.
With the McKean-Singer formula in hand, it is easy to see that the index
of a smooth one-parameter family of Dirac operators (Dz I z E R) is a smooth
function of z, since the heat kernel of (Dz)2 is. However, the index is an
integer, so it follows that it is independent of s. Even without using the fact
that the indexe_tD2
is an integer, we can show explicitly that the variation of the
supertrace of vanishes, by means of the following result.
d ind(Dz) = d Str(e-t(Dz)2)
dz dz
= -t Str([dd z, We t(° )2]).
Once again, this last quantity vanishes by Lemma 3.49.
126 3. Clifford Modules and Dirac Operators
D22 _ AA + c(FE/S) + r4
where FEIs E A2 (M, Endc(M) (E)) is the twisting curvature of the Clifford
connection A defined in Proposition 3.43, and
c(FEIS) = EFEIS(ei,ej)c(ea)c(ei).
i<j
D2 =2
ij
=2 E[c(dxi),c(dxj)]AiAj + c(dx') [Ai, c(dxj)]Aj
+ Ec(dxi)c(dxj)[Ai,Aj]
ij
and the symmetry Fik = rki which follows from Viak = V kai, so that
Let A2 be the curvature tensor of the connection A, and let ei, (1 < i < n),
be an orthonormal frame of TM. The above calculation gives the formula
Using the fact that the antisymmetrization of Rklij over ijk vanishes, we
obtain
But Eij c(ej)c(e1)Rikjk = - Ei Rikik, since Rikjk = Rikik Hence, the right-
hand side equals -2rMi and the Lichnerowicz formula follows.
In this section, we will show that the classical linear first-order differential
operators of differential geometry are Dirac operators with respect to very
natural Clifford modules and Clifford connections. By classical, we mean an
operator considered by Atiyah and Singer [13]. Our exposition follows closely
that of Atiyah and Bott [6].
The operators that we describe here, rather briefly, are those for which the
index theorem of the next chapter might be considered to be classical; both
the Gauss-Bonnet-Chern theorem and the Riemann-Roch-Hirzebruch theorem
turn out to be special cases, in which we take as our Clifford module respec-
tively the operator d + d* on A(M), and the operator a + a* on AO,* (M, S),
where M is a Kahler manifold and S is a holomorphic Hermitian bundle.
128 3. Clifford Modules and Dirac Operators
The De Rham Operator. Our first example is related to the de Rham op-
erator
'-0 12
0 A° (M) A1(M) + A2 (M) )
Proof. Since the Laplacian A has a smooth heat kernel, we see that it is es-
sentially self-adjoint, has a discrete spectrum with finite multiplicities, and
smooth eigenfunctions. Thus, the space ker(Di) coincides with the zero-
eigenspace of the closure of di*+1di + d1_1di in the Hilbert space rLz (M, £i)
of square-integrable sections of £i.
On the orthogonal complement to ker(A), we can invert the generalized
Laplacian A to obtain its Green operator G, which we extend by zero on
ker(A); moreover, if a E r(M, £i) is smooth, then Ga E r(M, £i) is also
smooth (Corollary 2.38). Observe that A commutes with d and d* as does G.
The operator d*G on r(M, s) satisfies
[d, d*G] = (dd* + d*d)G =1 - Po,
where P0 is the orthogonal projection onto ker(A). Thus, d*G is what is
known as a homotopy between the identity operator on rL2 (M, and Po,
and gives us an explicit decomposition ker(di) = im(dti_1) ® ker(Di).
Thus, we may identify the kernel of the Dirac operator d + d* with He (d).
The dimension of the kernel of d + d* on the space of even-degree sections
Ei r(M, £2i) is equal to >i dim(H2i(d)), while the dimension of its kernel
on Ei r(M, £2i+1) is equal to Ei dim(H2i+1(d)). Thus, the index of d + d*
equals
(dim(H2 (d)) - dim(H2i+1(d))),
which equals the Euler number of (£, d) by definition.
Corollary 3.55. The kernel of the Laplace-Beltrami operator dd* + d*d on
Ai(M) is naturally isomorphic to the deRham cohomology space Hi(M,R).
The index of the Dirac operator d+d* on A(M) is equal to the Euler number
of the manifold M.
The Euler number defined using the de Rham cohomology is equal to the
Euler number defined in Theorem 1.56 by means of a vector field with non-
degenerate zeroes; this may be shown using Morse theory, but would take us
too far afield to discuss here.
Corollary 3.56 (Kiinneth). If M and N are two compact manifolds,
He (M x N) ^_' He (M) (9 He (N).
Proof. Choose Riemannian metrics on M and N, with Laplace-Beltrami op-
erators OM and AN. The Laplace-Beltrami AMxN on M x N with the
product metric is AM ®1 + 1® AN. Using the spectral decomposition of the
positive operators OM and AN, we see that the zero eigenspace of AMXN is
the tensor product of the zero eigenspaces of OM and AN.
130 3. Clifford Modules and Dirac Operators
The Lichnerowicz formula for the square of a Dirac operator, when applied
to the operator d+d*, gives a formula for the Laplace-Beltrami operator which
is known as Weitzenbock's formula. Let us denote by LATM the Laplacian
of the exterior bundle AT*M. The bundle AT*M is the bundle associated
to the principal bundle GL(M) by the representation A : GL(n) --> A(Rn)*
of (1.26), so that the curvature of the Levi-Civita connection on the bundle
AT*M is given by the formula
bid ektlRijkl = 0.
where the first term on the right-hand side vanishes on one-forms. In partic-
ular, if the manifold M has Ricci curvature uniformly bounded below by a
positive constant c, then the Laplace-Beltrami operator is bounded below by
c on one-forms, since the operator OAT *M itself positive. By Hodge's The-
orem, this implies that the first de Rham cohomology space of the manifold
vanishes; the Hurewicz theorem then tells us that the manifold has finite fun-
damental group. This result is a simple example of the so-called vanishing
theorems that follow from lower bounds for the square of the Dirac opera-
tor, and which are proved by combining assumptions on curvature and the
Lichnerowicz theorem.
3.6. Some Examples of Clifford Modules 131
This definition differs from the usual one by a power of i in order that
*2=1.
Applying this operator to each fibre of the complexified exterior bundle
ACT*M = AT*M ®R C of an oriented n-dimensional Riemannian manifold
M, we obtain the Hodge star operator
*:A CT*M -> A'-k T*M.
Proposition 3.58. (1) If a E A1(M, C), then * 1e(a)* = (-1)nt(a).
(2) If a and Q are k-forms on M, then
f a A *p =
M
(-1)kn+k(k-1)/2 ip fM(a,,3)dx,
= (a,*d*0)dx.
The signature a(Q) is the number p - q, which depends only on the quadratic
form Q.
If M is a manifold of even dimension n, the bilinear form on Hn/2(M, R)
defined by (a,,3) --> fm a A# satisfies
f a A 0 = (-1)n/2J )ina
M M
Thus, if the dimension of M is divisible by four, this quadratic form is sym-
metric. The signature of M is by definition the signature of the restriction of
this quadratic form to the space Hn'2(M,]R), and we denote it by o(M).
If M is an oriented compact Riemannian manifold of dimension divisible
by four, the signature operator of M is the Dirac operator d + d* for the
Clifford module AT*M with 7L2-grading coming from the Hodge star *.
Proposition 3.61. The index of the signature operator d + d* equals the
signature a(M), so by the McKean-Singer formula,
a(M) = Tr(*e-t°),
where A is the Laplace-Beltrami operator.
Proof. Let ai E A' (M) be a basis for the harmonic forms fk, where k < n/2.
Note that the differential forms at = ai ±*ai form a basis for the direct sum
of the spaces of harmonic forms ?-lk®ln-k since * maps the space of harmonic
forms into itself. Now, at is self-dual and a- is anti-self-dual, thus the index
of the Dirac operator d + d* restricted to Ak(M) ® An-k(M) is zero.
Now consider the harmonic forms of degree n/2. We may find a basis ai
such that *ai = ai for i < m and *ai = -ai for i > m; it is clear that
the index of d + d* with respect to the Z2-grading defined by * is 2m - n.
Since n is divisible by four, the signature form may be rewritten as follows:
if a E H n/2 satisfies *a = ±a, (then
the homotopy invariance of the index that the signature Q(W) is an invariant
which depends solely on the manifold M, its orientation, and the vector bundle
W.
The Dirac Operator on a Spin-Manifold. Let S be the spinor bundle
over an even-dimensional spin manifold M. The most basic example of a
Dirac operator is the Dirac operator on S associated to the Levi-Civita con-
nection Vs on S; this operator is often referred to as the Dirac operator
on M. A section of the spinor bundle S lying in the kernel of D is known
as a harmonic spinor. More generally, we may consider the Dirac operator
Dw®s on a twisted spinor bundle W (&S with respect to a Clifford connection
of the form
Vw®s = Ow ®1 +1® Os. If F1^' is the curvature of V'", then the twisting
curvature FE1 s of Ol'w®s equals Fw, and the Lichnerowicz formula becomes
D2 - AW®s + r4
W®s - FW(ei, ej)c(e2)c(ej) +
i<j
In particular, for the spinor bundle S itself, we have
D2=s+r4
Lichnerowicz used this formula to prove the following result.
Proposition 3.62. If M is a compact spin manifold whose scalar curvature
is non-negative, and strictly positive at at least one point, then the kernel of
the Dirac operator on the spinor bundle S vanishes; in particular, its index
is 0.
Proof. Ifs E r(M,S), then
f (D2s,s)dx=fMIIVs1I2dx+4
M
f MrMIISII2dx.
Thus, if Ds = 0, we obtain Vs = 0 and rms = 0. Then (s, s) is constant on
M, hence s = 0.
On a spin-manifold M, the signature operator of the last section may be
rewritten as a twisted Dirac operator in an explicit way. Indeed, from the
isomorphism of Clifford modules
AT*M®C=C(M)®C=End(S)=S*®S,
we see that the Dirac operator d+d* on AT*M is the Dirac operator obtained
by twisting the Dirac operator on the spinor bundle S by the bundle S*. The
two different Z2-gradings on AT*M correspond to the two different ways of
grading the twisting bundle S*: if we treat it as a 7L2-graded bundle, we
recover the grading of AT*M according to the parity of the degree, while if
we treat S* as an ungraded bundle, we recover the grading coming from the
Hodge star *.
3.6. Some Examples of Clifford Modules 135
E,5 (d2z)
i=1
az
The sheaf O(W) of holomorphic sections of a holomorphic bundle W is the
kernel of a acting on the sheaf r(M, w) = .A°'0(M, W) of smooth sections of
W. We say that a covariant derivative V on a holomorphic vector bundle is
holomorphic if V°'1 = a.
Proposition 3.65. If W is a holomorphic vector bundle with a Hermitian
metric h(s, t), there exists a unique holomorphic covariant derivative on W
preserving the metric.
Proof. If V is holomorphic and preserves the Hermitian metric h, then taking
the component of dh(s,t) lying in A°'1(M), we see that
ah(s, t) = h(V°'1s, t) + h(s, O1'0t).
If moreover V°'1 = 8, this equation determines V1'0. It is then easy to check
that V = O''0 + V°" is a covariant derivative.
Let V be a holomorphic covariant derivative on W which preserves a
Hermitian metric h. Since the curvature is skew-adjoint as a section of
A2T *M ® End (W) , we see that (01'0) 2 = 0, so that the curvature of V is
the section of A1'1(M,End(W)) equal to [V',o, V0,1]
3.6. Some Examples of Clifford Modules 137
Thus we see that if dfl = 0, the Levi-Civita covariant derivative preserves sec-
tions of T1 "0M and induces on the complex vector bundle T1>0M the canonical
holomorphic covariant derivative.
d= E(Z')Vz, +E(Zi)Vz,
i
from which we see that
a = YE(Zi)vzs.
Let a be the one-form on M such that for any /jq E Ar'q (M, W) and /3q+1 E
,,4n,q+l (M W)
i i
The last term vanishes after integration over M and we obtain the desired
formula for a*, from which it is clear that ,/(a + 0*) = c o V.
The cohomology of the complex
®K.
and by A(Fc®K*) the endomorphism >1j e(dzz)t(dzj)F of A$(T°°1M)*.
Then the Bochner-Kodaira formula shows that
> M (A(FG®K)a, a)
The right-hand side is strictly positive if i > 0 and a # 0; thus the conditions
as = 0 and 8*a = 0 imply that a = 0.
(2) For the bundle CI ® W, the Bochner-Kodaira formula gives
For m sufficiently large the term mA(F4) dominates the other curvature terms,
and we obtain (2).
The reason for the importance of this result is that it shows that for m
large, dim(H°(M, 0(C (9 W))) = Eul(Cm ® W). Riemann-Roch-Hirzebruch
theorem that we prove in the next chapter gives an explicit formula for
Eul(Cm ® W) and hence for dim(H°(M, 0(Gm (9 W))). This combination
of an index theorem with a vanishing theorem is a very powerful technique in
differential geometry.
Bibliographic Notes
The book of Lawson and Michelson [79] is a valuable reference for many of
the topics in this chapter.
This result need not hold for a Dirac operator associated to a general
Clifford superconnection; for a discussion of the modifications which must
be made in the general case, see the Additional Remarks at the end of this
chapter.
The i = 0 piece of Theorem 4.1 is precisely Weyl's formula
lim (47rt)n/2kt(x, x) = Ide .
t-+o
Thus, Theorem 4.1 is an extension of Weyl's theorem in the case of a general-
ized Laplacian which is the square of a Dirac operator associated to a Clifford
connection.
The idea of the proof is to work in normal coordinates x E U around a
point xo E M, where U is an open neighbourhood of zero in V = T"'M.
Using the parallel transport map for the connection De, we may trivialize
the bundle E over the set U, obtaining an identification of I'(U, End(s)) with
C°O(U, End(E)), where E _ £, ,. There is an isomorphism o of the vec-
tor space End(E) = C(V*) ® Endc(v.)(E) with AV* 0 Endc(v.) (E). We
introduce a rescaling on the space of functions on R+ x U with values in
AV* ® EndC(v.) (E) by the formula
n
(&a) (t, x) = E u-i/2 a(ut, u1/2x)
i=0
4.1. The Local Index Theorem 145
tr/2
exp(-$t (coth(tr/2)(x2+ y2)-2cosech(tr/2)xy) -tf).
(47rtsinh(tr/2))
The above filtration argument reduces the calculation of (S,4k)(t,x) to the
calculation of the heat kernel of a harmonic oscillator, with differential form
coefficients, in which r is replaced by the Riemannian curvature R of M and
f by the twisting curvature Fe/s of S. The A-genus of the manifold M and
the twisting curvature Fe/s appear as consequences of the above formula for
Pt (0, 0; H).
In the rest of this section, we will discuss some of the consequences of this
theorem. The main consequence of Theorem 4.1 is that it provides the local
index theorem for Dirac operators, which is a strengthening of Atiyah and
Singer's result. By the McKean-Singer formula, for every t > 0,
while the integrals of all other terms fm Str(kj (x)) dx, j n/2, vanish.
To identify the term Str(kn/2(x)) as a characteristic form on M, we must
introduce some notation. If we write a Clifford module £ locally as W ® S,
where S is a spinor bundle and W is an auxiliary bundle, then by (3.28), for
a E r(M, End(W)) = r(M, Endc(M) (£)),
Strw (a) = 2-n/2 Str& (ra),
where r E r(M, C(M)) is the chirality operator. We will avoid making
use of this decomposition, which is often only possible locally. Instead, we
use the relative supertrace of Definition 3.28; the relative supertrace of a E
r(M, Endc(m) (£)) is
Stre/s(a) = 2-n/2 Stre(ra).
We extend the relative supertrace to a linear map
Str8/s : A(M, Endc(M)(S)) -* A(M),
and define, for a Clifford superconnection VE on E, the relative Chern
character form of the bundle £ by the formula
ch(£/S) = Stre/s(exp(-Fe/s)).
so that
Str£(kn/2)(x) = (-2i)n/2 Strs/s(0-n(kn/2(x))
Thus Theorem 4.1 implies the following theorem for the index of a Dirac op-
erator associated to a Clifford connection.
(27ri)-n/2 det1/2
(sinh (R/2)) Strs/s(eXP(-F£/s))
It is important to note that there is no a priori reason to suppose that
the limit limt._,0Strkt(x,x) exists at each point, and indeed, this is not
necessarily true for Dirac operators which are not associated to a Clifford
connection. However, since the index of a Dirac operator is independent of
the Clifford superconnection used to define it, we obtain the Atiyah-Singer
formula for the index of an arbitrary Dirac operator.
(2iri)-n/2
ind(D) = A(M) ch(£/S).
JM
The factor (27ri)-n/2
is absent from the usual statement of this theorem,
since it is part of the topologist's definition of the characteristic classes, the
purpose of which is to ensure that the characteristic Chern classes are integral.
However, in this book, we prefer the more natural (to the geometer) definitions
of the A-genus form
R/2
A(M) = det1/2
sinh(R/2)
The curvature tensor (Ve)2 is equal to Eij k<l Ri3kl 62 t3 6k A e, which when
rewritten in terms of the operators ci and bi equals
Rijkl(c2 + bz)(ci - V)ek Ael = -4 E Rijkl(cici - bibj)ek Ael,
ij,k<l ij,k<l
where we have used the antisymmetry of Rijkl in i and j to show that
Rijkl (cibj - b2ci) = E Rijkl (cibj + ci bi) = 0.
ij ij
From this formula and (1.20), it is easy to see that F£/s is given by the
formula
FsIs = -4 1: (Rei,ej)bbj
ij
Let us now calculate the term A(M) Stre/s(exp(-FE/s)) which enters in the
formula for the index of d + d*. Let X(TM) E An(M) be the Euler form of
the manifold M associated to the Levi-Civita connection (1.38).
Proposition 4.5. We have A(M) Stre/s(exp(-FE/s)) = in/2X(TM).
Proof. When a = Ei<j aijei A ej E A2V, we have seen that
JIM
Eul(M) = -- r, dx.
Of course, this is possibly the most difficult proof of this basic theorem of
differential geometry, with the exception of proofs using quantum field theory.
150 4. Index Density of Dirac Operators
R/2
L(M) = det1/2
(tanh(R/2)
It follows by the same calculation that the twisted signature with respect
to an auxiliary vector bundle W is given by the formula
This formula is due to Atiyah-Singer [13], and is one of the main steps in
their calculation of the index of an arbitrary elliptic operator on a compact
manifold.
The first non-trivial term in the Taylor expansion of the L-genus may be
easily calculated:
_ Tr(R 2)
o(M)
- fm 24,7r2
.
4.1. The Local Index Theorem 151
The Index Theorem for the Dirac Operator. In the case of the Dirac
operator on a spinor bundle over a spin-manifold, the curvature Fe/S = 0, so
that
ind(D) _ (27ri)-n/2 fM A (M).
Y(Rwk, wt)e(wl)c(wk)
kl
where wk is a basis of T1'0(M) and wk is the dual basis, while the End(E)-
valued two-form RE of Proposition 3.43 equals
so that
A(M) Tre/s(eXp(-Fe/s)) = Td(M) Tr(exp(-FW)),
where Td(M) is the Todd genus of the complex manifold M:
is bounded on the space of test functions S(R), satisfies the heat equation
(at + HH)gt(x) = 0,
154 4. Index Density of Dirac Operators
To find a solution to this problem, one is guided by the fact that the operator
H is quadratic in differentiation and multiplication to seek a solution which
is a Gaussian function of x and y; in addition, the solution must clearly be
symmetric in x and y, since the harmonic oscillator is self-adjoint:
pt(x,y) = exp(atx2/2 + btxy + aty2/2 + ct).
Applying the heat operator to this ansatz, and dividing by pt (x, y), we find
pt(x,y)+Hpt(x,y)
(atx2/2 + btxy + aty2/2 + et - (atx + bty)2 - at + x2)pt(x,y)
In particular, we obtain the following ordinary differential equations for the
coefficients:
at/2 = at - 1 = bt and ct = at.
These equations have.the solutions at = - coth(2t + C), bt = cosech(2t + C)
and ct = -1/2log sinh(2t + C) + D, and in order to determine the values of
the integration constants C and D, we simply have to substitute in the initial
conditions for pt(x, y), which show that C = 0 and D = log(2ir)-1/2. Thus,
we have obtained the following solution to the heat equation for H:
pt (x, y) = (27r sinh 2t)-1/2 exp (- ((coth 2t)(x2 + y2) - 2(cosech 2t)xy)) .
2
This formula is known as Mehler's formula.
We will mainly use this formula when y = 0. By change of variables (or
by direct calculation), for any real numbers r, f , it follows that the function
pt (x, r, f) defined by
1/2
(4.1) (47rt)-1/2 (sinh(tr/2)) exp(-(tr/2) coth(tr/2)x2/4t - t f )
We will now generalize the above argument so that it applies to the formal
heat equation that we use to prove Theorem 4.1, as well as in the proof of the
index theorem for families in Chapter 10.
Let V be an n-dimensional Euclidean vector space with orthonormal basis
ei. Let A be a finite dimensional commutative algebra over C with identity
(in the applications A will be the even part of an exterior algebra).
4.2. Mehler's Formula 155
w= 1) . Ri,,x;dxi.
+F.
i
Consider the following A-valued function defined on the space of n x n
antisymmetric matrices with values in A:
iv (R) = det
/ eR/2 - e- R/2 1
R/2 .
(x tR coth(tR) x)
Proof. We have to prove that dpt/dt = -Hpt. Both sides of this formula
are analytic with respect to the coefficients Rig of the matrix R. Thus it
is sufficient to prove the result when R has real coefficients. Choosing an
appropriate orthonormal basis of V, it suffices to verify the above formula
when V is two dimensional and Rel = re2, Re2 = -rel, so that
H = -(al + 192) - Zr(x2a1 - x1192) - (4r)2(xi + x2) + F
and
of the form
00
>tk.D 1, (X)
pt(x) = qt (x)
k=0
and such that -Do (0) = ao. The function pt (x, R, F, ao) is given by the formula
where 0 is the Laplacian of the bundle £ with respect to the connection V6, ei
a local orthonormal frame of TM with dual frame ei of T*M, ci equals c(ei),
and Fs/S(ei,ej) E Endc(M)(£) are the coefficients of the twisting curvature
of the Clifford connection VS.
Fix xo E M and trivialize the vector bundle £ in a neighbourhood of xo by
parallel transport along geodesics. More precisely, let V = Tx0M, E = £xo
and U = {x E V I lIxIl < e}, where e is smaller than the injectivity radius
of the manifold M at xo. We identify U by means of the exponential map
x H expxo x with a neighbourhood of x0 in M. For x = expxo x, the fibre E.
and E are identified by the parallel transport map r(xo, x) : £x -+ E along
the geodesic x9 = expxo sx. Thus the space C°O(U,£) of sections of 9 over
158 4. Index Density of Dirac Operators
where Rklij = (R(8i, 8j)al, ak)ro is the Riemannian curvature at xo, and
fikl(x) = O(Ixl2) E C°°(U),
gi(x) = O(Ixj) E C°O(U, Endc(v.)(E)) r(U,End(W)),
are error terms.
where
L= - E((D)2 - es V) 41rM +
i<j
FE/s(ei, ej)cc'
a
.
The factor of un/2 in this definition is included because the heat kernel is a
density in the variable x; to put this in a more elementary way, it is needed
in order that the rescaled kernel continues to satisfy the initial condition
limt_,o k(u, t, x) = 8(x) for all 0 < u < 1. Note that the Euclidean heat
kernel qt(x) _ (4 rt)-n /Ze-jjxjj2/4t is invariant under this rescaling.
If T (t, x) _ E°__0 t'Ti(x) is a formal power series in t with polynomial
coefficients W (x), we define the rescaled series by
00
,p (U, t, x) = E(ut)i p,(u1/2x)
i=0
This is a formal series in u1/2 with coefficients polynomial functions of (t, x).
i=0
Thus we obtain
N
""
k(u,t,x) - qt(x) 0(ut)i,bi(u1/2x) < C'(N)uN,
i=0
for (t, x) lying in compact subsets of (0, 1) x U and 0 < u < 1, which gives the
desired asymptotic expansion of the function u k(u, t, x). The argument
for the derivatives of k(u, t, x) is similar.
4.3. Calculation of the Index Density 161
The main idea of our proof of the index theorem is to modify the rescaling
of space-time of (4.4) by inclusion of a "rescaling" of AV*. Given 0 < u < 1
and a E C°° (1R x U, AV* (9 End(W)), let Sua equal
n
(&"a) (t, x) = E u-i/2a(ut, u112x) [i] .
i=o
This rescaling has the following effect on operators on C°°(JR+ x U, AV* ®
End(W)):
r(u,t,x)]p] -
i=0
It is clear that we must define yj(t,x)0,] to be the coefficient of uw/2 in the
sum
(j+p)/2
u-P12 E (ut)iWi(u1/2x)[P],
i=0
which is a polynomial on ][8+ x V with values in APV* ® End(W). It is clear
that the sum yj (t, x) = EP'=0 yj (t, x) (p] satisfies bv,yj = uj/2yj. Furthermore,
y; (t, x) fpl = 0 for j < -p, and hence yj (t, x) = 0 for j < -n.
We see that for (t, x) E (0,1) x U and 0 < u < 1,
2N
ui/2yi CuN.
r(u, t, x) - qt (x) E (t, x) I I <
i=-n/2
The argument for the derivatives is similar. The values of yi (0, 0) are deter-
mined by
00
E ui/2yi(0, 0) = (b. IF) (0, 0) = 1 O
i=-n/2
Using the fact that L(u) = K + 0(u 1/2), which will be proved later, we
can now show that there are no poles in the Laurent series expansion in u1/2
of r(u, t, x),
00
r(u, t, x) N qt(x) E ui/2yi(t, x).
i=-n
4.3. Calculation of the Index Density 163
The other thing that we learn from this argument is that the leading term
of the expansion of r(u, t, x), namely r(0, t, x) = gt(x)yo(t, x), satisfies the
heat equation for the operator L(0) = K, with initial condition
-YO (0, 0) = 1.
Thus, to calculate r(0, t, x), we have only to obtain a formula for K, and to
apply the results of the last section.
In order to state the formula for K, let us denote by R the matrix with
nilpotent entries equal to
+ F.
i j
Since fikl(x) = O(Ixl2), we see that Va'u has a limit as u --* 0, equal to
ai + 4
1
E
j;k<l
(Rzo)klijxiekel.
164 4. Index Density of Dirac Operators
Using the fundamental symmetry of the curvature Rijkl = Rklii and the defi-
nition (4.5) of Rij = Ek<e(Rxo)jiklekel, the. above limit is seen to equal
Va,0=8i- 4Rijxj.
L1(u) = (De ') 2 + E FE/S (ei, e1) (ul/2x) (ei - utz) (e - utj )
i i<j
L2(u) = 4urM(ul/2X) +ul/2 Ve'
Clearly, lim,,,. L2(u) = 0, since its leading term is the sum of urM(xo)/4 and
0
u1/2 times limo -}O Ei Ooe e,, which we have just shown to be nonsingular.
The first term of L1 (u) has limit
- - E(ai - 4 E
(,76,0) 2
i i j
Bibliographic Notes
Theorem 4.1, is proved in Getzler [60], using a symbol calculus for pseudo-
differential operators which combines the usual symbol for pseudodifferential
operators with the Clifford symbol a. It is also in this article that the approx-
imation of D2 by a harmonic oscillator is introduced. Another exposition of
this proof may be found in Roe's book [96].
Bibliographic Notes 165
Earlier proofs which were special cases of the proof of [60] were those
of the Gauss-Bonnet-Chern theorem by Patodi [88], and the Riemann-Roch
theorem for Riemann surfaces by Kotake [77]. The previous proofs of the
local index theorem, by Patodi [89], Gilkey [64], and Atiyah-Bott-Patodi [8],
use power counting and symmetries of the Riemannian curvature to show
that the top-order piece a, (kt(x, x)) must be a characteristic form given by a
universal formula for all n-dimensional manifolds, and then calculate sufficient
special cases of the global index theorem to characterize this characteristic
form completely. Thus, this route to calculating the local index density is
less direct. This approach to the local index theorem is explained in Gilkey's
book [66].
There have been a number of other proofs of the local index theorem sim-
ilar to ours, among which we mention Bismut [28], Friedan-Windey [59] and
Yu [107]. Also, the work of the physicist Alvarez-Gaume [1] was influential in
the development of this point of view.
The Gauss-Bonnet-Chern theorem is due to Chern [47]; we gave an adap-
tation of his original proof in Section 1.6. The local Gauss-Bonnet-Chern
theorem is due to Patodi [88].
The signature theorem is proved by Hirzebruch in [69], using cobordism
theory; in [70], Hirzebruch tells the story of his discovery of this theorem.
The twisted signatures were first calculated by Atiyah-Singer [13], also using
cobordism theory. In the same article, they introduce the twisted Dirac oper-
ator and calculate its index. Their work was motivated by one of the central
problems of analysis: to calculate the index of an arbitrary elliptic differential
operator on a compact manifold. Atiyah and Singer used Bott periodicity to
show that the index of any elliptic pseudodifferential operator may be written
in terms of the numbers av(W). References for their general index theorem are
two seminars directed by Cartan [46] and Palais [87], and of course Atiyah's
Collected Works [2]; an excellent account of Atiyah and Singer's discovery of
their theorem may be found in the introduction to [2].
The local index theorem is proved for the a-operator on Kahler manifolds
by Patodi [88], and for the twisted signature operator by Gilkey [64]. Atiyah-
Bott-Patodi [8] give a unified treatment of the local index theorem for the
classical Dirac operators by Gilkey's method.
The index of the 0-operator was first calculated by Hirzebruch [69], in the
special case of smooth projective varieties; another proof, which proves a much
more general result, and led to the introduction of K-theory into the study
of index problems, is due to Grothendieck [39]. Atiyah and Singer gave the
first proof valid for an arbitrary compact complex manifold, as a corollary of
their general index theorem. The local index theorem for these operators was
proved by Kotake [77] for Riemann surfaces, and by Patodi [88] and Gilkey [64]
in general.
166 4. Index Density of Dirac Operators
Additional Remarks
There is an extension of Theorem 4.1 to Dirac operators associated not to a
Clifford connection but rather to a Clifford superconnection.
Let E be a Clifford module on the manifold M, and let A be a Clifford
superconnection on E. Introduce a family of rescaled superconnections
n
AE _ ail-al/2A[i].
i=0
Let FE/s be the twisting curvature of the superconnection A.
Theorem 4.21. Let Dt be the Dirac operator associated to the Clifford super-
connection At-,, and let k, , (t, x, y) = (x I e-utDt I y) be the heat kernel of
the generalized Laplacian tDt .
(1) There exist sections 1)i E C°°([8+, Ci(M) ® EndC(M) (E)) of the Clifford
bundle of M such that as t --> 0,
(47rut)_n/2
ku(t, x, x) - E ti/2,bi(u, x).
i=0
n
(2) En uj(45i(u, x)) = detl/2 (sinh(uR/2)) exp(-uFE/s)
i=o
The proof of the local index theorem of Getzler [61] is based on the Feynman-
Kac formula in stochastic differential geometry. It is shown in Getzler [62] that
with almost no modification, the same proof works for Theorem 4.21. The
same theorem is implicit in Bismut-Cheeger [33], which also uses stochastic
methods. In both cases, one obtains global estimates) for the error
In this chapter, we will give another proof of Theorem 4.1 for a Dirac operator
D, independent of the one in Chapter 4. This proof generalizes easily to obtain
the fixed point formula for the equivariant index of a group of isometries, as
we will see in the next chapter. A feature of the proof is that it gives an
explanation for the striking similarity between the A-genus and the Jacobian
of the exponential map on a Lie group, both of which involve the j-function
sinh(X/2)
(X) X/2
Indeed, the A-genus will appear naturally through the Jacobian of the expo-
nential map on the principal bundle SO(M) over M: this Jacobian can be
computed along the fibres in terms of the curvature of M, and this is where
the j-function makes its appearance, as we will see in Section 1.
Let us explain the idea of this proof. Let P -+ M be a principal bundle
endowed with a connection, with compact structure group G, and let £ be
a vector bundle associated to P, with Laplacian 0£. It is easy to see that
the kernel kt of the heat semi-group a-tAe is obtained from the scalar heat
kernel ht on the manifold P by averaging over the fibres Px - G. This gives
integral formulas for the coefficients of the asymptotic expansion of kt(x,x),
as we will see in Section 2.
Let M be a spin-manifold of dimension n, and let Spin(M) be the corre-
sponding principal bundle with structure group Spin(n); Spin(M) is a double
cover of SO(M). Let D be the Dirac operator on the spin bundle S of M. Since
by Lichnerowicz's formula, the square of the Dirac operator is a generalized
Laplacian, we obtain a formula for the restriction kt(x,x) = (x I e-tD2 I x)
of the heat kernel to the diagonal in terms of the scalar heat kernel ht of the
Riemannian manifold Spin(M): apart from minor factors, kt is given by the
integral
term of the asymptotic expansion of ht. The elimination of the singular part
of Str(kt(x, x)) is reduced to the following simple lemma: if is a nilpotent
element of an algebra A (which for us will be an exterior algebra), and if f
is a polynomial in one variable, then
je(a) = dete
( 1 - e-ada)
ad a
Qp9(XP,YP) = 9-1QP(XP,YP)
follows from the G-invariance of w.
The skew-symmetric endomorphism r(Qp a) E End(TM) is given by
Lemma 5.2. Let X and Y be vector fields on M, and let a and b be elements
of Z. Then
(1) VaPb = [a, b].
(2) V XP a=
(3) VzPYP = (VXY)P - !Q(XP,YP)
170 5. The Exponential Map and the Index Density
X (Y' Z) + Y(Z, X) - Z(X, Y) + ([X, Y], Z) - ([Y, Z], X) + ([Z, X], Y).
To prove (1), we observe that (V', b, XP) = 0, while
(Vd b, c) = a ([a, b], c) - .1 ([b, c], a) + ([c, a], b) = z ([a, b], c),
z
since the scalar product on g is G-invariant.
To prove (2), we observe that
2(V XP,YP) =-([XP,YP],a) - 2(T(92 'a)XP,1'P)
by the definition of -r, while (V XP, b) = 0. A similar argument leads to the
proof of (3).
As a consequence of Lemma5.2, we obtain a description of the horizontal
and vertical geodesics in P.
Theorem 5.4. The map J(p, a) preserves the subspaces V and V of TpP,
and we have
1 - e-T(np a)/2
J(p,a)Jv =
T (Qp - a) /2
1-e-ada
J(p, a) I e =
ad a
Proof. The formula for J(p, a) 1a follows from (5.2) and Lemma 5.3 (1). To
calculate J(p, a) I v, we need to compute 8t expp(a + tX)l t=o, for X E V.
Introduce p(s, t) = expp s(a + tX) and p(s) = expp(sa). For every t E R,
the curve s H p(s, t) is a geodesic. Put Y(s) = 8tp(s, t) It=o, so that Y(s) is
a vector field along the curve p(s), corresponding to the deformation of the
geodesic p(s) into the geodesic p(s, e); such a vector field is called a Jacobi
vector field. We have J(p,a)X = Y(s)I3=1. Let RP E A2(P,End(TP)) be
5.1. Jacobian of the Exponential Map on Principal Bundles 171
the curvature of the manifold P. The Jacobi vector field Y(s) is determined
by the differential equation
(5.4) VP VP Y(s) = RP(a3p,Y(s)) -asp
with initial conditions Y(O) = 0 and VaPgY(s)I3=o = X. Let us recall how
these equations are obtained: since V is torsion free, taking the covariant
derivative of Vaga8p = 0 gives
0 = Va,Va,asp= VasVa,a3p+R(atp,asp)asp
= VasVa,atp + R(atp, a8p)a5p,
Let X be a vector field on M. Since VPa = 0 and [a, XP] = 0, we see that
RP(a,XP)a = VaVPxPa.
It follows that
RP(a,XP) - a = (.Ir(ftp -a))2XP.
If V (s) is an horizontal vector field on P along the curve p(s), the vectors
Va Va V (s) and RP (a, V(s))a are horizontal. Thus the differential equation
(5.4) implies that Y(s) remains horizontal, and identifies with an element y(s)
of V. In this context, the differential equation (5.4) says /that
f 0(p)dp = (f 0(p9)dg)dx.
P JM G
- (De:ei)P) - EE 2.
i a
In the identification of F(M, £) with (Coo (P) (9 E)G, the operator Ve;, corre-
sponds to eP, while, using the G-invariance of elements of (C°° (P) ® E)G,
the vertical vector field Ea may be replaced by the multiplication operator
-p(Ea); the proposition follows.
(P1 I
e-to' P2) = e-tcas
I
M \ fG
= e-tcas M f (f P1 I e-toP p29) P(9)-1 dg) 0(P2) dx,
To simplify the statement of the next theorem, we will suppose that the
Casimir Cas of the representation p of G on E is a multiple of the identity.
Theorem 5.8. There exist smooth functions I)i on P x g such that
(p e-taE I p)
a symp °O
(4irt)-(dim(M)+dim(g))/2Ig (p,a)e-IIaII2/4tp(eXpa)-1 jg(a)da.
i =0
V
Proof. Let ht(p1ip2) be the heat kernel of AP on COO(P). By Theorem5.8,
we have
(p l e-toE I p) = e-tCas G
ht(p,pg) p(g)-1 dg
Let fi(t) be a cut-off function which vanishes for t greater than half the
square of the injectivity radius of M.
In Section 2.5, we showed how to obtain a formal series E°_o tii, whose
coefficients (bi are smooth functions in the neighbourhood
{(P1,P2)I d(pl,p2) < r}
of the diagonal of P x P such that if
N
(4irt)-dim(P)/2
hiT (p1 ,P2) = (d(pl,p2)2)e-d(Pi,P2)2/4t
EtiW (pi,p2),
i=0
we have
O(tN-dim(')/2)
ub(Pi,p2) - hN(pi,p2)1I =
By Theorem 2.30 and Corollary 5.5, we have, for a small,
N
ht (p, p exp a) = (4irt)- d,m(P)/2e-IIaII2/4t ti`I`i(P, a) + O(tN-dim(e)/2),
i=0
5.2. The Heat Kernel of a Principal Bundle 175
If F E (r(P, 7r* End(W)) (9 g)G, then applying the map p : U --+ End (E), we
obtain a section
where
=VW+ZF'.
Let 0 be the Laplacian of the bundle a*W associated to the Riemannian
structure of P and the connection V.
i a
Observe that
VE`+ = Ea)2
(Ea +IF1
a a
_ Ea + 1(F1 Ea)Ea + 2Ea(F1 -Pa) + 1(F1 Ea)2.
a
5.2. The Heat Kernel of a Principal Bundle 177
Ea)2.
a a
(P1
I e-t' I P2) = e-teas IG ht(p1,p29)p(9)-' d9-
There exists smooth sections (pl,p2) - I'j (pl,p2) E Hom(Wp2, Wpl), defined
in a neighbourhood of the diagonal of P x P, such that if
N
htr(p1,p2) = (47rt)-dim(P)/2 (d(p17p2)2)e-d(p,,p2)2/4t
EtiIi(Pl,p2),
i=0
we have
Ilht(pl,p2) - hiv(Pl,p2)II = O(tN-dim(e)/2)
Furthermore, the first term (Do(p1i p2) does not depend on F, and is given
by the formula
'Do (p1, p2) = det-1/2 (J(pl, expP1' p2)) T (pl, p2),
where T(p1, p2) E Hom(Wp2, Wpl) is the geodesic parallel transport with
respect to the connection V. We will compute T in the next lemma.
Lemma 5.11. For p E P and a E g, we have
T(p,pexpa) = exp(2Fp -a).
Proof. The function t H T (t) = T (p, p exp ta) is the solution of the differential
equation
a) T (t) = 0, T (0) = 1,
dtT (t) 2 (Fp exp to .
and, by (5.6), we have Fpexpta . a = Fp a.
The rest of the proof of Theorem 5.9 is the same as that of Theorem 5.8,
except that the Do term is multiplied by T (p, p exp a), calculated above.
When we apply the above theorem to the heat kernel of D2 in Section 4,
the factor jv1/2(T(a Stp)/2) in
will gives rise to the A-genus of M, while the factor exp(Fp' a/2) will lead
to the relative Chern character.
tlim e-11x-e112/4tO(x)
o(4irt)-n/2 f n dx = ( ).
Proof. If (D and its derivatives are rapidly decreasing functions on Rn, we
have
f n 6) - 1)(x)) dx = E jI
J#o
J
2n
aJ-D(x) dx = 0.
Thus
f e-IIx-E112/4to(x) dx =
f e-11112/4tq(x + 6) dx
Rn n
= E JI . L.
J
t dx.
Proof. The coefficients of the matrix r(a)2 are linear combinations of mono-
mials aikakj. Thus (1) follows from the relation ek n ek = 0.
The adjoint representation can be written as ad(a) = T-(a) n 1 + 1 A 7(a) for
a E g. Hence it follows from (1) that the evaluation at e A e* of any coefficient
of (ad(a))k vanishes, when k > 2. Since 7-(a) is antisymmetric, we also have
Tr(T(a) A r(a)) = - Tr(r(a)2) and Tr(ad a) = 0. Thus, for any k > 1, the
evaluation at e n e* of Tr((ad a) k) vanishes.
Using the relation det(A) = exp(Tr(logA)), we can write je(a) in the form
j. (a) = exp(Tr(Eck(ada)k)),
k>1
and (3) follows from (2). (Alternatively, (2) and (3) can be seen as a conse-
quence of the fact that the constants are the only elements in AV which are
invariants under the full orthogonal group O(V).)
The following proposition is the crucial technical tool leading to the elimi-
nation of the singular part of the heat kernel index density.
Proposition 5.14. If (D is a smooth slowly increasing function on g, then
tli o (47rt)-dim(e)/2 f e-IlaII2/4t expA(a/2t) -D(a) da = 4)(e n e*).
8
180 5. The Exponential Map and the Index Density
St (eXpc (a/2) )
and taking the limit, we deduce the result from the case y = 1.
We restate the above result in a slightly different way.
Proposition 5.16. Let (D be a smooth function on g defined in a neighbour-
hood of 0. Let y E Cm(V), with symbol am('y) E AmV. Consider the formal
power series
w
Proof. Proposition5.15 asserts that the Laurent series Eti+m/2bt(Ci) has
i=o
no poles, and computes the constant term.
so is a scalar.
We suppose given a Hermitian complex vector bundle W --j M and a
Hermitian connection V'^' on W with curvature Fw, and we let D be the
corresponding twisted Dirac operator of the twisted spinor bundle W ® S.
182 5. The Exponential Map and the Index Density
Let kt (x, y) be the heat kernel of the operator D2; along the diagonal, it is a
section of the bundle End(W (& S) = C(M) ® End(W).
Since the operator D2 satisfies the Lichnerowicz formula
D2 = AW®S + V(FW) + 4rM,
where
F°= 1rM
4
where 'j form a series of smooth functions on g with values in End(WW), and
j V1/2(T
-Do(a) = jg 1/2(a) (gp . a)/2) exp(-FP . a/2).
In the identification End(S) ^_' C(V) = AV by the symbol map o,, the matrix
p(exp a) corresponds to the element expC(a) of AV. The first assertion of
Theorem 4.1 follows immediately from Proposition 5.15 with y = 1.
The formula in Proposition 5.15 for the leading order of the above asymp-
totic expansion shows that
v(k) = (Do (2e A e*) jg(2e A e*).
By Lemma 5.13, the function js (2a) evaluated at e A e* equals 1. Thus, it
remains to calculate (Do (2e A e*).
Identifying V and V*, we consider the curvature Fp as an element of
A2 V 0 End (W.) and the Riemannian curvature Rp as an element of A2 V
End(TTM). The function a i-, FP1 a is a End(W,,)-valued linear function on
g, thus its evaluation at e A e* is an element of A2V ® End(WW). Similarly
the function a H T(527, a) is an End(T,,M)-valued linear function on g, thus
its evaluation at e A e* is an element of A2V 0 End(TxM).
Lemma 5.17. We have Fp (e A e*) = Fp and T(f2p .(e A e*)) = R.
Proof. The curvature FP is the element
ei A ej ®Fp (eP, eP)
i<j
of A2V ® End(WW). If Fp E End(WW) 0 g is given by (5.4) and a =
F-i<j aij ei A ej E g, we see that FP a = Ei<j aijFp (eP, el'). Replacing
Bibliographic Notes 183
the scalar variables aij by the Grassmann variables ei A ej, we obtain the first
formula.
The second formula is more subtle. Let us write lp E A2V ®g as
f2p = T ek A el ® (flp(ek,el),ei n ej) ei A ej.
i<j;k<l
Let Eij = T(ei n ej), so that {Eij I i < j} is a basis of so(V). Since the
Riemannian curvature Rp E A2V (g So (V) is the image of the curvature SZp by
the representation T of g in V, we see that
Rp = 57 ek n el ®(SIp(ek, el), ei n ej) Eij.
i<j;k<l
The fundamental symmetry of the Riemannian curvature shows that
RP = ei n ej ® (lp(ek, el), ei A ej) Ekz.
i<j;k<l
For a = >i<j aijei A ej E g, the element f2p a of A2V equals
57 (lp(ek, el), ei A ej) aijek A el,
i<j;k<l
so that
T(Qp . a) = E (Qp(ek, el), ei A ej) aijEk1.
i<j;k<l
Replacing the variable aij by the Grassmann variable einej, we obtain (2).
The function -Do (2a) is the product of the real function jo 112 (2a), the real
function jV112(T(!Qp a)) and the End(W,,)-valued function exp(-Fp a). We
know that jB 112 (2e A e*) = 1. By the preceding lemma, the evaluation of
the function jv1/2(T(Qp a)) at e A e* equals the A-genus of M, while the
evaluation of the End(WW)-valued function exp(-Fp a) at e A e* equals the
element exp(-FW) of A(M, End(W)). This completes our second proof of
Theorem 4.1.
Bibliographic Notes
The method used in this chapter first appeared in Berline-Vergne [25]. This
work was influenced by the articles of Getzler [60] and Bismut [28].
Chapter 6. The Equivariant Index Theorem
where the coefficients -Di(y, x) are generalized sections of End(S) which are
supported on M'Y, and such that 1Di (y, x) has Clifford filtration degree 2i +
dim(M) -dim(Mry). We will calculate O2i+dim(M)-dim(M'r)C('Y) x) explicitly,
obtaining a formula of a similar type to that of Chapter 4, which is the case
where H = {1}; this formula involves the curvature of the normal bundle N
of My in M and the action of H on it.
We begin the chapter with some generalities on the equivariant index. In
Section 2, we give a proof of the Atiyah-Bott fixed point formula for the equi-
variant index of the 5-operator when the fixed point set is discrete; this serves
as a simple introduction to the equivariant index theorem. In Section 3 we
state Theorem 6.11, while in Section 4, we show that it implies the equivariant
index formula of Atiyah-Segal-Singer for indH(y, D) as an integral over M'r
and the local formula of Gilkey. The rest of the chapter is devoted to the
proof of Theorem 6.11, by a method generalizing that of Chapter 5.
6.1. The Equivariant Index of Dirac Operators 185
indH(y, D) = Str(ye-tD2)
= IM dxl.
Proof. We will give two proof of this result, which are transcriptions of the
two proofs of the McKean-Singer formula Theorem 3.50 in its simplest version.
If A is a real number, the A-eigenspace 7-la of the generalized Laplacian D2,
acting on r(M, £}) is a finite dimensional representation of H, with character
ye-tD2:
The Dirac operator D induces an isomorphism between 7-1 and 7-la when
A 0. Since D commutes with H, this isomorphism respects the action of
H, so that
Xa (7) - Xa (7) = 0 ford > 0,
and we are left with Xo (y) - Xo (y), which is nothing but the equivariant
index of D.
The second proof of Theorem 3.50 generalizes as follows. If a(y, t) is the
function Str(ye_tD2), we again see by Lemma2.37 that for t large,
Ce-tal/2
Str(ye-toe - 7Pker(D)) I < vol(M),
dta(y,t) _ -Str(yD2e-tD2)
De-'D2]),
_ -2 Str([-yD,
since D is odd and [D, y] = 0. This last line vanishes by Lemma 3.49. E3
If 'y acts on M with isolated nondegenerate fixed points, Atiyah and Bott
gave a fixed point formula for the index of the transformation y, even if H is
a non-compact group.
In this section, we will give a proof of Atiyah-Bott formula for those com-
plexes D for which there exist a Hermitian structure on £ and a Riemannian
metric on M such that the operator D + D* is a Dirac operator. Let £ -+ M
be a H-equivariant vector bundle over a Riemannian manifold M. However,
we do not need to assume that H acts by isometries on M; in particular, H
need not be compact.
If x is an isolated fixed point of the action of an element -y E H on M,
denote by -lx the tangent action at the fixed point x, and by yy the endomor-
phism of the fibre £x induced by y. The point x is called a non-degenerate
fixed point if the endomorphism (1 - yr) of TAM is invertible; for example,
this condition is satisfied if x is an isolated fixed point and H is a compact
group. Let L be a generalized Laplacian on £ and let kt(y, x) I dxI be the
restriction of the kernel of 7e-'L to the diagonal; it is a section of £ ® IAI,
where IAI is the bundle of smooth densities on M.
Recall that a generalized section s E r-O°(M,£) of a bundle £ is a contin-
uous linear form on the space of smooth sections of £* ® Ithus,
Al; the space of
smooth sections F(M, £) of £ may be embedded in F-°°(M, £). We use the
notation fM(s(x), O(x)) I dxI for (s, 0 I dxI ). If X E M, the delta distribution
Sx at x is the generalized section (6, 0) = O(x) of the bundle of densities Al. I
IP
a neighbourhood of all other fixed points of the action of y on M, then as
t -+ 0, the section x(x)kt(y, x) of End(S) 0 IAI has a limit in the space of
generalized sections of End(g) ® IAI, given by
We must compute
From the above two lemmas, we obtain the following special case of the
Atiyah-Bott fixed point formula.
Theorem 6.6 (Atiyah-Bott). Let £ -- M be a Z-graded Hermitian vector
bundle on a Riemannian manifold M, and let D be a first-order differential
operator on r(M, £) such that D2 = 0, and such that the operator DD*+D*D
is a generalized Laplacian.
Let y be a bundle map of the bundle S covering the action of 'y on M,
and commuting with D. Assume that the action of ry on M has only isolated
non-degenerate fixed points. Then
Str(^GO)
indH('y, D) _
xoEM' I det(1 - rya )I'
where M7 is the fixed point set of the action of y on M.
Let us state the formulas that this theorem gives for the d and 0-complexes.
Corollary 6.7. If M is a compact manifold, and ry is a diffeomorphism of
M with isolated non-degenerate fixed points, then
(-1)2 Tr (- , HZ(M)) _ E e(xo, -y),
i xoEM'r
where e(x°i y) is the sign of the determinant det(1 - ryxa ).
Proof. The operator d acts on sections of the 7G-graded bundle £ = AT*M
and satisfies the condition of the above theorem for any choice of Rieman-
nian metric on M. If y is an endomorphism of a real vector space V, then
Ei(-1)'Tr(y, AiV*) = det(1 - y-1, V).
Note that when y lies in a compact group, the sign of det(1-yxo) is always
positive, since the real eigenvalues of ry are ±1.
Next, we turn to the 6-complex.
Corollary 6.8. If M is a compact complex manifold with holomorphic vector
bundle W - M, and y is a holomorphic transformation of W --> M, then
y acts on the a-cohomology spaces H°'i(M, W). If the action of y on M has
only isolated non-degenerate fixed points, then
.w
(ylo 1
i xoEM'Y
detTxo
io M( 'Yxo )
Since I det(1 - 7;" 01)1 = detT ooM(1 - yxo) detTo 1M(1 -, -y,-;0 1), the corollary
follows.
190 6. The Equivariant Index Theorem
Proof. We have yc(a)y-1 = c(ya) for a E r(M, T*M). Thus the action
on £xo of y at a point xo E M7 commutes with the Clifford action of
C(T x0M'Y). It is clear that the commutant of C(T**0M'Y) in End(£.,o) is
C(Nxo) ®EndC(M)(£)X0.
be the restriction of the kernel of the operator rye tD2 to the diagonal. The
main result of this chapter is to show that kt('y,x) has an asymptotic ex-
pansion when t --> 0 in the space of generalized sections r-O° (M, C(M)
Endc(M) (£) (& IAI), and to calculate the leading order of the expansion. This
theorem is a generalization of a result of Gilkey.
Theorem 6.11. The section kt(y) of the bundle C(M) ® Endc(M)(E) ® IAI
has an asymptotic expansion as t -+ 0 in the space of generalized sections of
C(M) ® Endc(M)(£) ® IAI of the form
00
kt(y) '" (47ft)-dim(M')/2 Etti-Pi(Y)
i=0
T,
i=0
a2i+dim(N) (-Di (y)) = 1'(-Y) ' 6Mry ,
agree, and e(y)(xo) = -1 if they do not; thus, for fixed y, e(y) is a function
from M'Y to {±1} which is constant on each component.
This discussion implies the following result.
Proof. We will show that this theorem is a consequence of Theorem 6.11. Let
U be a tubular neighbourhood of MY and let 0 be a smooth function with
support in U identically equal to 1 in a neighbourhood of M. Using a
partition of unity, we see that
Here, we have rewritten the Riemannian volume jdxl in terms of the Rieman-
nian volume on N and a smooth function b(xo, v) satisfying b(xo, 0) = 1, by
the formula
fM
(x) dxl =
fMl
fNs0
(eXp0 v)b(xo, v) dyl Idxol
Applying Proposition 6.12 with ¢(v) = O(expx0 v) b(xo, v), we see that
where the Clifford degree of 4Di(xo) is less than or equal to 2(i + ei) We
now use the fact that the supertrace vanishes on elements of Clifford degree
strictly less than n. It follows from Theorem 6.11 that Str(I(t, y, xo)) has an
asymptotic expansion without singular part, so that
from which the theorem follows immediately on substituting the formula for
Cn (Ddim(M1)I2).
There are two special cases of this formula in which the geometry is easier
to understand. The first case is that in which M has an H-equivariant spin-
structure, with spinor bundle S. Thus, the Clifford module S is a twisted
spinor bundle W ®S, where W = Homc(M) (S, 6), and D is the twisted Dirac
operator associated to an invariant connection VW on W with curvature Fw.
Then Proposition 6.15 shows that
Differentiating both sides of the equation exppl(t) X(t) = p2(t) with respect
to t, we obtain
v1 + J(p1, a)Xl = v2,
here, we have used the fact that expel (t) a = expP2 (tv1), which follows because
both sides of this equation are geodesic curves starting at p2 with tangent
vector v1. Thus, we obtain
X (t1, t2) =a+ J(pi, a)-1(t2v2 - tivl) + a(I tl i + It2I)
In particular, since the horizontal and vertical tangent spaces are orthogon
for t1 = t2 = 0, this implies that II X (t1, t2)112 - IIail2 vanishes to at least
second order.
Denote by VP the Riemannian covariant differentiation on P, and by RP
its curvature. Consider the map p : ][83 P given by
p(s, ti, t2) = expP,(t,)(sX(t1, t2))
This map satisfies the equations
oa asp = 0, la9pII2 = IIX(t1,t2)II2, and a8p19-o = X(t1i t2).
Thus, for i = 1, 2,
as (at.;p, asp) = (VP Da at;p) asp) ,
= (v VP 8,,p, a9p),
q by the vanishing of the torsion,
= (RP(a3p, at:p)a8p, asp) ,
= 0, since RP is antisymmetric.
From this, we see that (8t;p, 89p) is an affine function of s. Furthermore, the
vector at,pl s=i is tangent to the curve
t1 H expP, (t1) X (t1, t2) = p2 (t2)
Thus 8t,p19=1 = 0, from which it follows that
(at,P,asp) = (1 - s)(8t,p,asp)I9-o
Writing
We can lift this kernel to the principal bundle P, obtaining there the kernel
I ye-t(Ow(&E+F)
(PO I pi) E F(P x P,W ®W*) ®End(E).
be a smooth function on N,,o with small support. Our aim is to study the
asymptotic behaviour of the time-dependent element of End(W,) (& End(E)
Lemma 6.19.
po I ye-t0E I pl) = e-teas fG
ht(po, yp19)p(9)-1 dg
When a = 0, we have Q1(0, -/)(V) = 11(1 - yl)vll2. Thus, for small a, the
quadratic form Q1 (a, y) is not degenerate on AI . By Morse's Lemma, there
exists a local diffeomorphism v H w = Fa(v) of N.,,, such that Fa(0) = 0 and
f(a,v) = Ila1I2+IIWII2 Note that
dv = I det(Q1(a,'Y))I-1/2.
dw w=0
Thus, we see that I(t, y, 0, x0) is asymptotic to
asymp
(47rt)- dim(P)/2e-tCas e-(II.II2+II_112)/4t
00
dv
1(w))O(F,,'(w)) V)(a)p(eXP(a)-1'Y)j2(a) dw Idal Idwl.
i=0
The change of variable w -> t-1/2w gives us the asymptotic expansion of the
right-hand side that we wished to prove, with
0(0)
Do (p, a) _
det(Q1(a, 7))I1/23e/2(a) 3T a) /2)
In the case of a twisting bundle W, we consider the heat kernel ht of the
operator 0 + F of Theorem 5.9, and we use the formula
such that det(1- yi) # 0, we see that ' belongs to C(Vi), and that its symbol
ate, (7) is non-zero.
We may identify the curvature F W of the connection Vw with an element
of A2 V ®End(WW0 ). Lichnerowicz's formula (Theorem 3.52) shows that D2
OW®s + F° + F1, where Fp° = r /4 and Fp = Fr. Thus, by Theorem 6.18,
we obtain the following result. o
Lemma 6.20. The section I(t, y, 0, x0) has the asymptotic expansion
We now replace a by 2eo A eo. Using the fundamental symmetry of the Rie-
mannian curvature as in Lemma 5.17 we see that
jui/2(T(Do
, eo A e0)) = A(M'Y),
which completes the proof of Proposition 6.12.
Bibliographic Notes
The fixed point formula Theorem 6.16 for elliptic operators invariant un-
der a compact Lie group G was proved by Atiyah-Segal [12]; the proof uses
the Atiyah-Singer index theorem [14] and the localization result for the ring
KG(M). The Atiyah-Bott fixed point formula was proved in (5].
The generalization of the local index theorem to a fixed point formula in the
presence of a compact group action, was announced by Patodi [90] in the case
of the 8-operator, and was proved by Donnelly-Patodi [52] for the G-signature.
It was first proved for the twisted G-signature operator by Gilkey [65]. Our
proof of Theorem 6.11 is taken from Berline-Vergne [25], which was inspired
by Bismut [29]. For a proof more in the style of Chapter 4, see the article of
Lafferty-Yu-Zhang [78].
Chapter 7. Equivariant Differential Forms
for any a E C[g] 0 A(M), hence (AG(M), d9) is a complex. The elements
of AG(M) such that dga = 0 are called equivariantly closed forms; those of
the form a = dg @ are called equivariantly exact forms. This complex was
introduced by H. Cartan.
Definition 7.1. The equivariant cohomology HG(M) of M is the coho-
mology of the complex (AG(M), do).
We will also consider equivariant differential forms X F-+ a(X) which de-
pend smoothly on X in a neighbourhood of 0 E g, and not polynomially; the
algebra of all of these is written AG (M). Although AG (M) is not a Z-graded
algebra, it has a differential d9, defined by the same formula as before, which
is odd with respect to the Z2-grading.
If H --; G is a homomorphism of Lie groups, there is a pull-back map
AG(M) --> AH(M) on equivariant forms, defined using the restriction map
C[g] --} C[b]. This is a homomorphism of differential graded algebras; that
is, it sends exterior product to exterior product and equivariant exterior diff-
erential dg to exterior differential dry, and hence induces a map HH(M) -->
HH(M).
It is clear that when H is the trivial group {1}, the equivariant cohomology
of M is the ordinary de Rham cohomology. Thus, letting H = {1} and pulling
back by the inclusion of the identity {1} -+ G, we obtain a map AG(M) -
A(M), given explicitly by evaluation a H a(0) at X = 0.
If 0 : N --p M is a map of G-manifolds which intertwines the actions of G,
then pull-back by 0 induces a homomorphism of differential graded algebras
0* : AG(M) -> AG(N). In particular, if N is a G-invariant submanifold of
M, the restriction map maps AG(M) to AG(N).
If M is a compact oriented manifold, we can integrate equivariant differ-
ential forms over M, obtaining a map
Ag(aA0) = dgaA0+(-1)kalaAAgO
for all a E C[g]®A(M) and 0 e C[g]®A(M, E). The operator A. preserves the
subspace AG(M,£) C C[g] ® A(M,£), and we will also denote its restriction
to this space by Ag.
Bearing in mind the formula
dga(X) + £(X)a(X) = 0,
we are motivated to define the equivariant curvature F. of the equivariant
superconnection A. by the formula
If 0 E AG(M, End (6)), let A.0 be the element of AG(M, End(s)) such that
e(Ae0) = [Ag, e(0)].
A9Fg=0.
7.1. Equivariant Characteristic Classes 209
= F - [A,t(X)]+£e(X).
where [t(X), A] = t(X)A+At(X) is the supercommutator, and F = A2 is
the curvature of A. In particular, F. (0) = F. Motivated by this formula for
F9 (X), we make the following definition.
Definition 7.5. The moment of X E g (relative to a superconnection A) is
the element of A+ (M, End(£)) given by the formula
µ(X) = £e(X) - [t(X),A].
Observe that µ = F9 - F is an element of AG(M,End(£)), so that
F9(X) = F+µ(X).
The following formula is a restatement of the equivariant Bianchi identity,
(7.1) Ai(X) = t(X)F.
The use of the word moment is justified by the similarity between this equation
and the definition of the moment of a Hamiltonian vector field in symplectic
geometry, as we will see later.
In the special case in which the invariant superconnection A on the equi-
variant bundle E is a connection V, the above formulas take a simplified form.
Since [V, t(X)] = Vx, we see that the moment µ(X), given by the formula
µ(X) = Le(X) -Vx,
lies in r(M, End(E)), and hence
µ E (g* ®r(M, End(£)))G C AG(M, End(£)).
If the vector field XM vanishes at a point xo E M, the endomorphism
µ(X)(xo) coincides with the infinitesimal action .C(X)(xo) of exp tX in £xo.
We can give a geometric interpretation of the moment µ(X) in this case.
Denote by ir : 9 -+ M the projection onto the base. The action of G on 6
210 7. Equivariant Differential Forms
I 1 Str(
dtg f'(FB)) dt.
As in the non-equivariant case discussed in Section 1.4, we can also allow
f (z) to be a power series with infinite radius of convergence. In particular, the
equivariant Chern character form chg (A) of an equivariant superbundle
7.1. Equivariant Characteristic Classes 211
df = t(Hf)1l.
Assume that a Lie group G acts on M and that the action is Hamiltonian:
this means that, for every X E g, there is given a function µ(X) on M such
that
(1) µ(X) depends linearly on X;
(2) the vector field XM is the Hamiltonian vector field generated by µ(X),
that is
dg(X) _ t,(XM)Q;
(3) p(X) is equivariant, that is, g µ(X) =µ(g X) for g E G.
The symplectic moment map of the action is the C°° map µ : M -> g*
defined by (X, p(m)) = µ(X)(m). One sees easily that
X 1)920(x)=A(X)+Q
is an equivariantly closed form on M such that Q,(0) = Q.
This equivariant differential form may in some cases be identified with i
times the equivariant curvature of an equivariant line bundle. Let .C be a
complex line bundle on M. Suppose that L carries a connection V whose
curvature
(v) 2 = is E A2(M)
equals i times the symplectic form 0 on M. Furthermore, suppose that the
Lie group G acts on the manifold M and on the line bundle L, in such a way
as to preserve the connection V L. It follows immediately that the symplectic
form SI is preserved by the action of G.
We may define the moment of this action, pC(X) = C'c(X) - V j, and the
equivariant curvature
Fg = µn + ifl E A2 (M).
In fact, ulc equals v '-I times the moment u defined above, since by (7.1),
ib(XM)SZ = dµc(X).
It follows that Fg = Mg.
7.2. The Localization Formula 213
Lpe2i-1 = Aie2i,
Lpe2i = -Aie2i-1
Theorem 7.11. Let G be a compact Lie group with Lie algebra g acting on a
compact oriented manifold M, and let a be an equivariantly closed differential
form on M. Let X E g be such that XM has only isolated zeroes. Then
IM
a(X) = (-27) t \' ,I
a (X)(p )
1/2(Lp )'
pEMo(X)
0Aa(X)
dxO ))
hm
P E--+o sE dx0
(The sign change comes from exchanging the interior for the exterior orienta-
tion of S. P.). Let us fix a point p. Near p, 0 = 0P. Resealing the variable x by
a factor of e /2, the sphere SE becomes the unit sphere S1, while 0(dx0)-1
- fs, 0(dx0)-1 =
JS1
0(1 - d0)-1 =
l
0(d0)Q-1 =
JB l
(d0)e
But
(d0)' = (-2)e1! (Al ... At)-l dxl A... A dx,.
Since the volume of the 2$-dimensional unit ball equals ire/2!, we obtain the
theorem.
We now turn to the localization formula in the general case. Fix an element
X e g, and let Mo denote the set of zeroes of X.
Proposition 7.12. The set Mo of zeroes of the vector field XM is a sub-
manifold of M, which may have several components of different dimension.
The normal bundle Al of Mo in M is an even-dimensional orientable vector
bundle.
Proof. Fix a G-invariant Riemannian structure on M. If x0 is a zero of XM,
the one parameter group exp tX acts on Two M. If a tangent vector at x0 is
fixed by exp tX, then the geodesic tangent to it is contained in M0, which
proves that Mo is a submanifold of M.
The Lie derivative Y - L(X )Y = [XM, Y] is an endomorphism of Nxo =
Two M/T o Mo which is invertible and antisymmetric. This implies that the
real vector bundle Al can be given a complex structure and is therefore even-
dimensional and orientable. Indeed, observe that the eigenvalues of C(X) in
.IV:,C:o = Nxo ®] C come in pairs ±iAj, with A; > 0. Therefore, we have a
decomposition
N-CO
LN(Y) = ON + µN(Y).
fm a(Y) = fm et(d0e)(Y)a(Y).
7.2. The Localization Formula 217
Proof. We give two arguments, the second of which extends better to non-
compact manifolds. The first proof follows from the fact that etdgO - 1 is
equivariantly exact:
etde9 - l (0(etd 1_ 1) \
- dg JI
d9
dt M,f = f (dse)(Y)et(d0B)(Y)a(Y)
M
fM de(OetdHea)(y) = 0,
=
since a is equivariantly closed. Thus, we may set t = 0 without changing the
integral, whence the result.
Thus, we must compute the limit when t -> 0 of
n/2
e(dae)(Y)/ta(y) = e(XY)/ta(Y) tk
IM fM k!
k=0
To do this, we study the form 0 in the neighbourhood of Mo.
By orthogonal projection, the Levi-Civita connection V gives a connection
V'v on the normal bundle N which is compatible with the induced metric.
Identifying Mo with the zero section of N, we obtain a canonical isomorphism
TNIMO = TMIM0.
Consider the moment map pM(Y)Z = -VzY of TM. Since am(Y) com-
mutes with the operator £(X) on Mo, it preserves the decomposition
. TMJM0 =TMo ®N;
thus, the restriction of µM (Y) to N coincides with the moment endomorphism
1'(Y). The endomorphism e(X) of Al coincides with the infinitesimal
action L(X). The action of Go on the manifold N determines vector fields on
N. The vector field Xj.r is vertical and is given at the point (x, y) E Mo x N"
The connection J
by the vector -pm(X)y E N,.
determines a splitting of the tangent space to the total
space N into horizontal and vertical tangent spaces. We denote by (vi, v2) o
the Euclidean structure of the vector bundle N. Consider the one-form 80 on
the total space N given by
(7.5) 00(Z) = (XN, Zv)o
where Zv is the vertical part of a vector field Z on N.
To prove Theorem 7.13, we could proceed as in the proof of Theorem 7.11,
multiplying the one-form 00 by a cut-off function to obtain a one-form 0 which
coincides with 00 in a neighbourhood of Mo. However, we will see in the next
218 7. Equivariant Differential Forms
lemma that this is not necessary, since Bo arises naturally as a scaling limit
of the one-form 0.
Let be a diffeomorphism of a neighbourhood U of the zero section in N
with a neighbourhood of Mo in M, such that
O(x, 0) = x for x E Mo,
do I M, = I on T Al Mo = TM I MO .
An example of such a map is the exponential map 0 (x, y) = expx y, but the
exponential map is difficult to compute explicitly in most cases, so that it is
interesting to permit a different choice of &i. Transport the metric and
the one-form 8 to U, by means of the diffeomorphism ii. Consider the dilation
St, t > 0, of Al given by the formula
St(x, y) = (x, t112y), where x E Mo and y E NM.
We assume that U is preserved by St for t < 1.
Lemma 7.15. (1) dO(Z1, Z2) = -2(µm(X)Z1i Z2) for Z1, Z2 E r(M,TM)
(2) lim t-16t 0 = Bo
t-+o
(3) For Y E go, lim t-1 (X, Y) (.,tii2y) = (µN(X )Y, µN(Y)Y)o
t--+o
Proof. It is easy to calculate dB, using the explicit formula for the exterior
differential of a one-form: if Z1 and Z2 are vector fields on M, then
and
The vector field X, v is vertical and is given at the point (x, y), x E M,
y E Nom, by the vector -µN(X)y E .M . If Y E go, the vector field YM
commutes with XM, and hence is tangent to Mo, so that the function (X, Y)
vanishes to second order on Mo. Equation (7.8) shows that
We have
00 = -(li'(X)Y,ONY)o
Recall that V is invariant under.C(X), so that [Vu, e (X)] = 0. We see
that dOo equals
-(uN(X)VNY,V y)o - (pN(X)Y,RY)o
It follows that
e-(µN(X)Y,µN(Y)Y)oed0o = e-(I,N(X)Y,(F'N(Y)+RRr)Y)o-(,-A (X)VNY,VAY)o.
7.3. Bott's Formulas for Characteristic Numbers 221
The proof of the theorem is completed by the following lemma. Here, the
element xgo(.N)(Y) = det1/2(-(pN(Y) + RN)) is an invertible element of
A(Mo), for Y sufficiently near X.
Lemma 7.16.
I e-(,,N(X)Y,(µN(y)+RN)Y)o-(µN(X)vNy,o"(y)o - (27r)rk(N)/2
JAr/Ma x90 (.N) (Y)
-(µ(X)Y,(A(Y)+R)Y)-({i(X)dY,dY)
IV e
Since µ(X) and µ(Y) + R are antisymmetric and commute, the matrix
-µ(X) (µ(Y) + R)
is symmetric. Its zero-degree component -µ(X)µ(Y) is positive definite when
X = Y, and hence for all Y sufficiently close to X. Hence, we obtain
I V
e-(,u(X)Y,(,u(Y)+R)Y)dyi A... A dyn = 7rn/2 det(-µ(X)(µ(Y) + R))-1/2
Xe2i-1 = xie2i,
Xe2i = -xie2i-1
f
(-27r)-t
,D(M) =
Lpe2i-, = -Aie2i,
Lpe2ti = Aie2i-1,
where Ai are integers called the exponents of the action at p. Recall that by
definition det112(Lp) = al ... Ae, and depends on the orientation of TpM but
not on its metric.
7.3. Bott's Formulas for Characteristic Numbers 223
Theorem 7.17 (Bott). Let M be a manifold on which the circle acts with
isolated fixed points. If 1) is a homogeneous polynomial of degree k < Q,
(D(Lp) (D (M) k = Q,
detl/2(Lp) 0, k < P.
Proof. Identify the Lie algebra of G with {uX I u E R}. Choose a G-invariant
metric, and let uum (X) + R be the equivariant curvature of the associated
Levi-Civita connection. If -D is a polynomial, u --p 4D(upM(X) + R) is an
equivariantly closed form on M, and we see from Theorem 7.11 that
u_$ uLp
(-27r)-'e fM (uµM(X) +R) = detl/2(Ln)
The left hand side of this equation is a polynomial in u with value at zero the
characteristic number (D (M), while the right hand side is a Laurent polynomial
in u. The equality of the two sides implies remarkable cancellations properties
over fixed points of the values of -1) (Lp) if deg(d)) < 2, while the equality of the
constant term of this Laurent polynomial gives the formula when deg(4D) _
2.
When applied to the Pfaffian function 4(X) = Pf(X) on so(n), the char-
acteristic number (-27r)-t fm Pf(R) is (-1)E times the Euler characteristic of
M, by the Gauss-Bonnet-Chern theorem, and we see that the number of fixed
points of the circle action is the Euler characteristic of M. Since the vector
field X generating the circle action is an infinitesimal isometry, it always has
index v(p, X) = 1 at an isolated zero X (p) = 0. Thus, this result is a very
particular case of the Poincare-Hopf theorem, Theorem 1.58.
The general localization theorem allows us to generalize the above formula
to situations in which M° (X) is not zero-dimensional; this extension was
made by Baum and Cheeger. Let us merely mention the case of the Pffafian,
in which we obtain the following result.
Proposition 7.18. Let M be a compact oriented even-dimensional Rieman-
nian manifold, and let X be an isometry of M with fixed point set Mo. Then
the Euler characteristic of M equals the Euler characteristic of M°.
Proof. Observe that
detl/2(-Rg
detl/2(-R9(X))IMo = (X)) det1/2(-R°),
where R° is the Riemannian curvature of M°. By the localization theorem,
we see that
(27r)
-n/2 dim(Mo)/2 det1/2(-R°).
J det"2(-Rg(X)) = fM0
Setting X = 0 and applying the Gauss-Bonnet-Chern theorem to both sides,
the result follows.
224 7. Equivariant Differential Forms
dp = (est/2") =
1n1 = (2ir)e2!'
element of the Lie algebra of G such that Mo(X) consists of a finite number
of points, then
eilL(X)(p)
eiIA(X)di = ie
fm pEM0(X) detl/2(Gp(X))
M JfM
Corollary 7.20. Let X be a Hamiltonian vector field with Hamiltonian f
on a compact symplectic manifold M, such that the flow generated by X is
periodic, and X has discrete zeroes. Then the error term in the stationary-
phase approximation to the integral fm eitf dQ vanishes:
(2'7r)ee7,iv(Hp)/4ap(.f, dx)eZtf(p)
f Meitf di3 = E
pEMo
t
Proof. We need the following lemma.
Lemma 7.21. The Hessian Hp(Y, Z) of the function f at the point p E
M0(X) is given by the formula
Hp(Y, Z) = -ct(Lp(X)Y, Z).
Proof. Since L(Z) f = t(Z)a(X)52, we have
L(Y),C(Z) f = c(Y)(t(Z)t(X)cI)
= t(G(Y)Z)t(X)c + t(Z)t(C(Y)X)n + t(Z)t(X)(L(Y)c ).
Since X vanishes at p, we obtain Hp(Y, Z) = -S1([X,Y], Z), proving the
lemma.
By the lemma, we see that
ap(f, dO) = (2ir)-'l det(Gp(X))I-1/2
Thus, we must prove that for each critical point p of f,
(7.9) sgn(detl/2(Gp(X))) = i-n/2 evric(Hp)/4
Let (V, SZ) be a symplectic vector space, and let A be an invertible semisim-
ple endomorphism of V with purely imaginary eigenvalues. The quadratic
226 7. Equivariant Differential Forms
while
detl/2(A) _ I Ai.
It is now easy to check (7.9).
Of course, using the general localization formula, it is possible to remove
the condition in the above theorem that Mo (X) is zero-dimensional, at the
cost of introducing the curvature of the normal bundle to M0(X).
FM(X) = e ,X)df3;
fM
this is a generalized function on g if the orbit M is sufficiently well-behaved.
Such integrals are very important in representation theory. The above lemma
shows that such a Fourier transform is the integral of an equivariantly closed
differential form, since
Be = 3 E ) Be],
where 3 is the centre of Be and [gc, Be] is semisimple. Consider the collection
of all abelian subalgebras a of Be such that the transformations
{ad X I X E a} c End(gc)
are simultaneously diagonalizable; a maximal subalgebra among this set is
called a Cartan subalgebra, and as is well known, any two Cartan subalgebras
are conjugate under the action of the adjoint group Ad(gc).
Choose a Cartan subalgebra h of Be. If a E F*, define
'(Be). = {X E gc I [H,X] = (a,H)X}, for all H E h.
wEWIWa
E IaEPa
Proof. Let X be a regular element of t. In this case the zero set of the vector
field generated by the action of exp tX on g* is the subspace t* of g* which
is fixed by the whole of T. Thus the zero set of the vector field XM, is the
finite set
Mant*={wAIwEW/Wa}.
Applying Theorem7.11, we see that it suffices to compute det1/2(Gwa(X)).
The element 11aE pA fa A ea determines the orientation of to T5MA. Since
,C,\(X)f. = ia(X)ea, we find that det1,2(Ga(X)) = H Epa(ia(X)).
wEW l
(7.10) O(wX)
(8wO)(Pr(gX)) dg =
fG wrw 7,9/t(wX)
To see that j*c(O) = 0 if 0 is invariant under the Weyl group, we apply this
formula to the function 7rg/t4'
It suffices to prove (7.10) for q5(X) = ezl-',X>, A E t* regular. Indeed, this
proves it by continuity for all A, hence for all 0 E C°°(t), and finally, since G
is compact, for all 0 E C°°(t).
For the function q5(X) = ei(a,X), (8.0)(X) = w(iA)e$(a,X) and the left-
hand side of (7.10) becomes
iIPIw(A) f e'(a,9X> dg.
c
If A is regular, this is equal to FM,, (X) up to a constant independent of X. To
evaluate this constant, we compare both sides with X = 0; Proposition 7.26
shows that
f(a)(Pr(gX)) dg = i1P1FMa(X)
Applying Corollary 7.25, we obtain (7.10). 0
When G is a non-compact Lie group and M is a coadjoint orbit of G,
the Fourier transform FM (X) = fm eif (X) d13 may often still be defined as
a generalized function on g. If K is a compact subgroup of G, the action
of K on M is the Hamiltonian action of a compact Lie group, and so, by
Proposition 7.10, for X E t the form (X)d)3 is exact outside the zeroes of
XM. Thus we can hope that when FM admits a restriction-as a generalized
function on the Lie algebra f of K, the localization formula will allow us to
compute this restriction FMI t. We state here a result of this type, where
G is a real semisimple Lie group with maximal compact subgroup K. This
result can be proved using Stokes's theorem and estimates at infinity on the
noncompact manifold M.
Let G be a connected real semisimple Lie group with Lie algebra g, and
let K be a maximal compact subgroup of G with Lie algebra t. Let g =1= ® p
be the Cartan decomposition of g, and let T be a maximal torus of K with
Lie algebra t. If the Cartan subalgebra tc of tc is also a Cartan subalgebra
232 7. Equivariant Differential Forms
of gc, we say that G and K have equal rank. We have then g = t ® r, where
r = [t, g] and we identify t* with a subset of g*.
Let L = A(gc, te), and 0,, = {a I (gc),,,, c pc}; a root belonging to it,,, is
called noncompact. For A E t*, let Pa = {a E A I (A, iHa) > 0}, and let nA
be the number of non-compact roots contained in PA. If
f,.={HEtI (a,H) 0forallaEA}
is the set of regular elements in t, then G t, is an open set of g. The function
FM (X) is a generalized function on g and is analytic on G t,.. The restriction
of FM to G t, is thus determined by its restriction to t,.. When M is of
maximal dimension, the following formula is due to Rossmann.
Theorem 7.29 (Rossman). Let M be a closed orbit of the coadjoint rep-
resentation of a real semisimple Lie group G such that G and K have equal
rank. Let W = W(tc, fc) be the compact Weyl group. Then for X E t,., we
have the following results:
(1) IfMnt*=0, then Fm(X) = 0.
(2) If M = G A with A E t*, and Wa is the subgroup of W stabilizing A,
ei(wa,X )
FM(X) = (_i)n(A) E
[LwEW/Wa iL EPa (wa, X)'
Lemma 7.30. The projection h onto the algebra A(P)hor of horizontal forms
is given by the explicit formula
m
h = J1 (I - wit(Xi))
i=1
(-1)r(r+l)/2Wi1 ...Wi,L(Xil) ... L(Xi,.).
1<il <... <i,<m
Proof. If pi = I - wit(Xi), the relations
[w2, wi] = [L(Xi), L(Xj)] = 0 and [t(Xi), wi] = aij,
imply that L(Xi)pi = [pi, pj] = 0 and p% = pi. It is also clear that pi is
an algebra homomorphism and that (lliR 1 pi)wk = 0. Thus f z"_' 1 pi is the
projection h on the space of horizontal forms.
Let D denote the operator h d h on A(P); under the identification of
A(P)bas with A(B), the restriction of D to A(P)bas corresponds to d, since
h acts as the identity on A(P)hor and d preserves A(P)bas-
Lemma 7.31. (1) D = h - (d - E', 1lit(Xi)), and
(2) D2 + h - (E-1 fit(Xi)) = 0
Proof. Since d is a derivation and hwi = 0, hdwi = SZi, we have for a E A(P),
m
h d h(a) = h d (a - wit(Xi)a)
i=1
M
= h(da - S2iL(Xi)a).
i=1
To calculate D2, we observe that
m
1it(Xi))
i=1
= h (d - Q't.(Xi))
2
ti=1
M m
= h (- do 2L(Xi) - n',C(Xi))
i=1 i=1
since h(dW) = 0.
= cb . dg(f (&a).
which is just the ordinary Chern-Weil homomorphism. In the general case, the
map q5, still has a geometric interpretation. The connection on P determines
a horizontal subbundle HM of the tangent bundle TM, where HM is defined
as the image of HP under the projection P x M -> M. We have TM =
HM ® VM, where VM is the vertical tangent bundle. Thus, if (p, m) E
P x M projects to y = [p, m] E M, we have the isomorphism
fw1
(N)
f;1
Ae A(N)
236 7. Equivariant Differential Forms
A,, (M)
'- ) A(M)
m-) A(B)
C[9]G
where the left vertical arrow is the integration over M and the right vertical
arrow is the integration over the fibres of M -* B.
We will now relate the equivariant curvature with the ordinary curvature.
Let E = E+ ® E- be a G-equivariant superbundle on M, with invariant
superconnection A. Let FE = A2 E A(M, End(E)) be the curvature of A and
let µE be its moment. Consider the associated family of vector bundles
£=PX E->M=PXGM.
Then A(M, £) may be identified with the space of basic forms A(P x M, E)bas,
where we consider E as a vector bundle on P x M. The operator
m
hE
i=1
is a projection from A(P x M, E) onto A(P x M, E)hor. Consider the operator
=hE.(dp(9
De
on A(P x M, E), where d p ®1 + 1®A is the pull-back of the superconnection A
on P x M. Clearly De preserves A(M, £) and induces on it a superconnection.
Definition 7.36. The superconnection A£ on A(M, £) is the restriction of
the operator De to A(P x M, £)bas.
Let us compute the curvature F1 = (AE)2 of the superconnection A6. The
operator DE on A(P x M, £) satisfies
Ds (as) = (Da)s + (-1)kkI h(a)DEs
forallaEA(PxM)andsEA(PxM,£),where By the
formula D2 + h(Ez'__ 1 SZV.C(Xi)) = 0 of Lemma 7.31, we see that the operator
m
(DE) 2
+ ho Q,C(Xi)
i=1
commutes with exterior multiplication by any horizontal differential form, and
hence equals hE F. We will now compute Fs as a function of the curvature
FE of A and the moment µE.
Lemma 7.37. (1) DE = hE (dp + A - EZ"' 1 SZia(Xi))
7.6. Equivariant Cohomology and Families 237
Proof. The proof of (1) follows the proof in Theorem 7.34 that V 0" = Y'w d,
except that the operator d = dp + dM on A(P x M) is replaced by dp + A.
To prove (2), we must show that
m
(L (X)) _ nZG(Xi) 0.
i=1
0. AX) if ®a)) = 0w
i=1
fif ®G(Xi)a)
m
l
=h nif (Q) ®G(Xi)a)
M
= hc C(Xi)(f(0) ®a)),
i=1
= Str(e-(11X112-zc(dX)+c(X))).
The differential form 0,, (AV) has the important property of decaying rapidly
in the fibre directions.
In Section 1.6, we defined the Thom form of an oriented Euclidean vec-
tor bundle V --f M. This may be obtained by a construction analogous to
that used above; we will restrict attention to the case of even-dimensional
V, although a similar construction works in the odd-dimensional case. The
equivariant Thom form Uv of the vector space V may be defined by a formula
analogous to that of AV, except that we work within the Grassman algebra
of V instead of its Clifford algebra. The analogy between the Clifford alge-
bra and the Grassmann algebra leads us replace the C(V)-valued equivariant
curvature Fv of Sv by the AV-valued form fv on V, given by the formula
fv(X) =IIxII2+idx+X =I: x +i1: dxkek+1: Xklek A el.
k k k<1
This is the analogue of the differential form which we denoted S2 in Section 1.6.
If e E V, we denote by LA(e) the derivation of A(V, AV) defined by
1,V (a (-1)Iala forc
and by tA(X) the operator
tA(x) = Exktn(ek)
k=1
It is easy to verify that for every X E g,
(d - t(Xv))fv(X) - 2itA(x)fv(X) = 0.
This formula is the analogue of Part (1) of Proposition 1.51.
Let exp(-fv(X)) be the exponential of fv(X) in the algebra A(V, AV).
Since the operators d, t(Xv) and tA(x) are derivations, we see that
(7.12) (d - tA(XV) - 2itA(x)) exp(-fv(X)) = 0.
The equivariant Thom form UV on V is defined using the Berezin integral
T : A(V, AV) -+ A(V) in place of the supertrace Str : A(V, C(V)) -> A(V):
Uv(X) = T(exp(-fv(X))) = T(e-(IIxII2+idx+x))
More explicitly, Uv (X) is given by a sum over multi-indices I C {1, ... , n}
of the form
Uv(X) = e-IIxII2 1: PI,(X)dxi
IZI even
where PI (X) are homogeneous polynomials of degree (n - III) /2 in X, I' is
the complement of I, and P1, (X) coincides up to a sign with the Pfaffian of
XIl = Xjkej A ek E A2RI .
{(j,k)EI' Xr'Ij<k}
242 7. Equivariant Differential Forms
In particular,
e-1
Uv(X) = Pf(-X)e-11X112 +' ai + e-Ilxll2dxl A ... A dxn,
i=1
7r_e Uv(X)=1.
v
(2) If i : {0} --> V is the injection of the origin into V,
i.(UV(X)) = Pf(-X).
Proof. It is clear that T(LA(x)a) = 0 for every a E A(V,AV). Applying the
Berezin integral to exp(-fv(X)), we see from (7.12) that
(d - t(Xv))T (exp(-fv(X))) = 0.
The other properties of Uv (X) are obvious.
Definition 7.42. Define U(V) E A(V) by the formulas
(27r)-e U(V) = 1.
JVIM
Recall the function jv (X ), which we have already met a number of times
in this book:
sinh(r(X)/2)
jv(X) = det
{ (X)/2
By definition,
S1
0w UV 2) = det1/2 I Q/2/2) = A(V)-1.
Bibliographic Notes
Section 1. The complex of equivariant differential forms was introduced in
H. Cartan [45]. He shows that if G is compact, the cohomology HG (M) of
this complex agrees with the topological definition of equivariant cohomology
H' (M x G BG, R). The map between the two theories may be described using
the Chern-Weil map of Section 6, with base the universal classifying space BG
(or a finite-dimensional approximation).
The definitions of the moment of an equivariant connection, the equivari-
ant curvature and equivariant characteristic classes are taken from Berline
and Vergne [23], except that here we allow superconnections instead of just
connections.
Sections 2, 3 and 4. Theorem 7.13 is due to Berline-Vergne [21] when X = Y,
and to Bismut [31] as stated. The original proof used an argument due to
Bott, of approximating MO by a small tubular neighbourhood, similar to
that which we give here for the proof of Theorem 7.11. Here, we use an
argument by Gaussian approximation; it is interesting to observe its close
analogy to the proof of the McKean-Singer formula. Special cases which were
proved earlier include Bott's formulas for characteristic numbers, when the
zero-set of the vector field is discrete [42], corresponding formulas when the
zero-set may have arbitrary codimension proved in the Riemannian case by
Baum and Cheeger [18] and in the holomorphic case by Bott [43], Duistermaat
and Heckman's theorem on the exactness of stationary phase for functions
whose Hamiltonian vector field generates a circle action Corollary [57], and
the localization theorem for equivariant differential forms, proved by Berline
and Vergne [21], and by Atiyah and Bott [7]. A generalization of Theorem 7.11
to algebraic manifolds with singularities has been given by Rossman [98].
A localization theorem for equivariant K-theory was proved by Segal [101],
and by Quillen for equivariant generalized cohomology theories [91]. The
similarity between the localization properties of the complex of equivariant
differential forms and the localization theorem in K-theory were observed by
Berline and Vergne [21] and Witten [105].
Witten has proposed an interesting analogy between the local index the-
orem for the Dirac operator on a manifold M and the localization theorem
in equivariant cohomology for the action of the circle group on on the loop
space LM (see Atiyah [4]). Bismut generalizes their results to twisted Dirac
operators in [31].
Section 5. The homogeneous Hamiltonian actions of Section 5 were introduced
by Kostant [75]. A general relationship between the Fourier transform of a
coadjoint orbit and the character of the corresponding representation was
conjectured by Kirillov [72], [73], based on his work on his formulas for the
characters of compact and nilpotent groups. Further conjectures on this for-
mula are stated in Vergne [102].
Theorem 7.24 is proved in Harish-Chandra [68].
Additional Remarks 245
Additional Remarks
Let M be a compact manifold on which a compact group G acts differentiably.
If g E G, denote by G(g) = {h E G I gh = hg} the centralizer of g, by 9(g)
its Lie algebra, and by M(g) the fixed point set of g acting on M, considered
as a manifold with differentiable G(g)-action.
In Block-Getzler [37] and Duflo-Vergne [56], a de Rham model 1CG(M) for
the G-equivariant K-theory of a G-manifold M is introduced. (In the first
of these articles, the relationship with equivariant cyclic homology is also
described.) An element of 1CG(M) is represented by a collection of equi-
variant differential forms {w9(X)}gEG, called a bouquet, where wg(X) E
,AG(g)(M(g)) is a G(g)-equivariant differential form on M(g). Axioms of
invariance and compatibility for bouquets are given in [37] and [56].
By analogy with the case of equivariant differential forms, one can define an
integral for bouquets. If M has a G-invariant spin-structure, Proposition 6.14
induces a family of orientations on the fixed point sets M(g). Let R°°(G) =
C°°(G)G be the ring of smooth functions on G invariant under the adjoint
action of G. The integral fM 1CG(M) - R°O(G) is defined by the formula
e
wg (X) AB (g) (X, M(g))
f w(9 exP X) = JM(g) detl/2 (1 -
M
(8.1)
(2 r)dim(N)/2 A(M r) chG(y, E/S)
indG(y, D) = fM7 TM I Jdxoj,
(27ri)-/2 detl/2(1 _'YNexp(-RN))
which expresses the equivariant index as an integral over the fixed point set
Mry of -y in M. In this section, we will rewrite this for -y near the identity in
G, in terms of the equivariant cohomology of M; we call the resulting formula
the Kirillov formula, by analogy with Kirillov's formulas for characters of
Lie groups.
Let M be a compact oriented Riemannian manifold of even dimension n,
and let G be a Lie group, with Lie algebra g, acting on M by positively
oriented isometries. Let R be the Riemannian curvature of M, and let
[c(a),c()I = c(T(a))
248 8. The Kirillov Formula for the Equivariant Index
Let us first comment on some differences between the fixed point formula
(8.1) and the Kirillov formula for indc(y, D). In the first formula, it is not a
priori clear, and in fact quite remarkable that the right-hand side of the fixed
point formula depends analytically on -y near y = 1, and in particular that it
has a limit when -y --> 1 equal to
(27ri)_n12
ind(D) _ A (M) ch(£/S).
fM
In contrast the analytic behaviour of indG(e-X, D) near X = 0 is exhibited in
the Kirillov formula. However, the fact that this analytic function of X is the
restriction to a neighbourhood of zero of an analytic function of e -X is not
apparent. This fact is an analogue of the integrality property of the A-genus
of a spin manifold.
The Kirillov formula can be deduced from the localization formula, since
the integrals over M of an equivariantly closed form a(X) localize on the set
of zeroes of XM.
We now start the proof of Theorem 8.2. Choose X E g sufficiently close
to zero that the zero set of XM coincides with the fixed point set Mo of
-y = exp(-X). By Proposition 7.12, the bundle N is orientable, and hence so
is Mo. Fix compatible orientations on Mo and its normal bundle N. Let T,v
be the Berezin integral
TAr : r(MO, AN*) - C°°(Mo).
Since ye E P(Mo, C(N*) ® Endc(M) (E)) r(Mo, AN* ® Endc(M) (E)), we
see that
Tg (-ye) E r (Mo, Endc(M) (E)) .
The fixed point formula for the equivariant index states that
N)/2 A(Mo) chG('y, E/S)
indG(y, D) = (2iri) -n/2 f
Mo detl/2(1 -'yNexp(-RN))
where RN is the curvature of the normal bundle N -> Mo, yN is the induced
action of y on N, and chG(y, E/S) is the differential form on Mo given by the
formula
2dim(N)/2
chG('Y,E/S) = Stre/s(TN('ye).exp(-Fols))..
detl/2(1 - yN)
By the localization theorem, we have
(Ag(X, M) chg(X, E/S)) IMo
A(X, M) ch(X, E/S) = (27r)dim(N)/2
fM JMo 1/2
detN (-R.Ar(X))
Thus, we need only prove that, for -y = e-X with X sufficiently small,
A(Mo) chG(y, E/S) (Ag(X, M) chg(X, E/S)) 1 Mo
det1/2 (1 - yAexp(-RN)) det1/2(-Re (X))
250 8. The Kirillov Formula for the Equivariant Index
Observe that the differential forms detN2(-RA( (X)) and chG(y, £/S) both
depend on the orientation of N. We will choose an orientation such that
detN2(.N(X)) > 0. Under the splitting
TMIM0 =TMo®N,
the Riemannian curvature restricted to Mo splits as R = Ro ® RN, where
Ro is the Riemannian curvature of Mo. The Riemannian moment /M(X) of
X restricted to Mo is the infinitesimal action of X on TM, and equals the
moment p/ (X). Thus,
Rg(X) = I 0o Re(X))
It follows that
Rg(X)/2
A,; (X, M) = det1/2
(sinh(Rg(X)/2)
2 RN(X)/2
= detl/2 (sinhh(oRo/2)) detl/2 (sinh(Rg(X)/2) )
so that
2dim(N)/2
chg('Y,£/S) = Stre/S(TV(rye)exp(-Fo/S))
detl/2(1 - yN)
= (-l)dim(N)/2 Stre/S(exp(-pe/S(X)) eXp(-FO /S))
= ch.(X, £/S).
This completes the proof of Theorem 8.2.
WEWe(w ) ei(wa,X)
Tr( Tx(e X )) =
11a,=PA (e(a,X)/2 - e-(a,X)/2)
Let us now describe Kirillov's formula for the character of the representa-
tion TA. As usual, for X E g, let
smh(ad X/2)
jg (X) = det
ad X/2
We can define an analytic square root of je (X) on the whole of g. Indeed, if
XEt,
j9 (X)
e(a,X)l2 - e-(a,X)12
\
e(a,X)/2 -
(/a' X/ 1\ (CY, X)
aEA aEP
Thus, by Chevalley's Theorem 7.28, there exists a unique analytic G-invariant
function je/2 on g, which on t is equal to
j1/2 (x) e(a,X)/2 - e-(a,X)l2
aEP (a'X)
252 8. The Kirillov Formula for the Equivariant Index
In this section, we will explain how these formulas are special cases of two
forms of the equivariant index theorem, respectively the fixed point formula
Theorem 6.16 and the Kirillov formula Theorem 8.2. To do this, we must
find an equivariant Dirac operator whose equivariant index is the character
of TA. As underlying space, we take the flag manifold G/T. Consider GIT
as a Riemannian manifold, with the metric induced by the restriction of the
opposite of the Killing form to r = Te(G/T). Choosing a system P C A of
positive roots, let
_ Xa - X_a _ iXa + ix-,
ea , .f«
IIH0II 11H011
Lemma 8.5. Let Ag (X, G/T) be the equivariant A-genus of the Riemannian
manifold GIT. Then A.(X,G/T) and jg 12(X) represent the same class in
the equivariant deRham cohomology H,,(G/T).
Theorem 8.7. The fixed point formula for the equivariant index of Da is
given for X E t by the formula
EwEW e(w)ei(wa,X)
indG(e X , D A ) = faEP(e(«,X)12
- e-(a,X)/2)'
Thus, the index indG(g, DA) equals the character of the representation Ta up
to a sign.
The Kirillov formula Theorem 8.2 for the equivariant index of Da at X E g
small is
W
detT (1 -
where the sign e(w, t, P) is the quotient of the orientations of r determined
respectively by P and by the element p(wtw-1) in the Clifford algebra C(t)
of the Euclidean space t. We have, for t = ex, X E t,
Since the Clifford module S®La that we are considering is a twisted spinor
bundle, the Kirillov formula may be rewritten as
[1
P Trgo,p(G/T,Gµ)(eX ) - EW
rL,EP(e(a,X)/2 - e-(«,X)/2)
Before proving this theorem, let us show how it implies the Kirillov formula
for the equivariant index. Recall that the heat equation computation of the
index is based on the McKean-Singer formula Proposition 6.3: for every t > 0,
(rye-tD2
indG (ry, D) Str )
= -t Str((Duc(X) + c(X)Du)exetDu)
_ -tStr([Du,c(X)exetDu])
This vanishes by Lemma 3.49
Let us now set u = 4. It follows from this proposition that for every t > 0,
indG(e-'X,
D) 00 (' 'ker(D+)(,C(X)') Trker(D-)(IC(X)j)) .
j=0 3.
Proposition 8.12. If FS/S and MS/S(X) are, respectively, the twisting cur-
vature and the twisting moment of X for the connection Vs and rM is the
scalar curvature of M, then
H(X) = Ax + 4rM + c(FE/S) + MS/S(X).
Proof. Recall from Lemma 7.15 that (MM (X )Y, Z) dOx (Y, Z) for Y, Z E
r(M, TM). Since 8x is a scalar-valued one-form, the z twisting curvature
Fe/S,x of the connection Ve,x is equal to F8/S-4d9x. Let Dx = D+.1c(X);
since Dx is the Dirac operator associated to the connection V,6,-X, Lich-
nerowicz's formula shows that
H(X) = DX +'C-6(X)
= L_x + 4rM + c(FEIS) + VX + MS(X) + 4 c(dOx).
Since Ox = 0-x + VX and pe/S(X) = MS(X) + 4 c(d9x) (by definition of
the twisting moment), the result is proved.
We could model the proof of Theorem 8.10 on the proofs of the simple index
theorem of either Chapter 4 or Chapter 5. We will follow the former. Thus,
as in Section4.3, let V = Tx0M, E = £xu and U = {x E V I lixil < e}, where
e is smaller than the injectivity radius of the manifold M at xo. We identify
U by means of the exponential map x H expxo x with a neighbourhood of xo
in M.
For x = expxo x, the fibre £x and E are identified by the parallel transport
map -r(xo, x) : £x --p E along the geodesic x3 = expx,, sx. Thus the space
I,(U, £) of sections of £ over U may be identified with the space C°°(U, E).
Choose an orthonormal basis 8i of V = T,,M, with dual basis dxi of
T*XOM, and let ci = c(dx) E End(E). Let ei be the local orthonormal frame
obtained by parallel transport along geodesics from the orthonormal basis 8i
of Tx0M, and let ei be the dual frame of T*M.
260 8. The Kirillov Formula for the Equivariant Index
ax(x) = -4 f (t(R)9x)(tx)t-1dt,
0
p(X, x)
of the covariant derivative Ve'X = V. - 49x((9i) is given on elements of
C°°(U,E) by the formula
ai+4 RijklxjckC' - 4 f(X)xi+Efijk(x)c'Ck+gi(x)+(hi(x),X).
fG
j;k<l j j<k
Here, Rijkl = (R(ak, al).oaj, ai).o and uM(X) _ aj)xo are
the Riemannian curvature and moment atxo, and flik(x) E Coo (U), 9i (X) E
CO°(U, Endc(v.) (E)) and hi(x) E C°°(U) ®g* are error terms which satisfy
fijk(x) = O(IxI2), gi(X) = O(JxI), and hi(x) = O(1x12).
Proof. Let us write
p(X, x) (d -
9x)p(X,x)-1
=d+wx,
where
Wx = -(dax + 49x) _ wi(X,x) dxi
where hi(x) = O(Jx12). Since p(X,x)(V8 X)p(X,x)-1 = V-0 +wi, the lemma
follows from Lemma 4.14.
8.3. The Heat Kernel Proof of the Kirillov Formula 261
Let (x I e-tx(x) I xo) be the heat kernel of the operator H(X); by The-
orem2.48, (x I e-tx(x) I xo) depends smoothly on X E g. We transfer this
kernel to the neighbourhood U of 0 E V, thinking of it as taking values in
End(E), by writing
k (t, x, X) = A(X, x)T (xo, x) (x I e tx(x) I xo ),
where x = expxo x. Since we may identify End(E) = C(V*) 0 End(W) with
AV*®End(W) by means of the full symbol map or, k(t, x,X) is identified with
a AV*®End(W)-valued function on Uxg. Consider the space AV*®End(W)
as a C (V *) ®End (W) module, where the action of C(V*) on AV* is the usual
one c(a) = e(a) - t(a). The following lemma shows that k(t, x, X) maybe
characterized as a solution to a heat equation on the open manifold U; the
proof is analogous to that of Lemma 4.15.
Lemma 8.14. Let L(X) be the differential operator on U, with coefficients
in C(V*) ® End(W), defined by the formula
i j
Proof. Using the fact that u1/2Suci5u 1 = E(ei) - ut(ei), we see that the diff-
erential operator
ej)(ui/2x)c
- i
E FE'S(ei,
i<j
(u)o (u) + (µE/1(X))(u1/2x)
8.3. The Heat Kernel Proof of the Kirillov Formula 263
and
u1/2 S'X' + 4urM(ul/2x).
i
Clearly, these last two terms vanish in the limit u --> 0. The first term has
the limit
i j
while the second and third terms converge to
(4irt)-n/2 +AM
1/2 exp(-t(F + µe/s(X )))
det (siiri (R(R + µ(M()X))/2 /
x exp(- 1 Cx t(R+AM(X)) coth(t(R+AM(X))Ix))
4t 2 \ 2
If J is an integer, let C[g](J) be the quotient of the algebra of polynomials
on the vector space g by the ideal of polynomials of order J+1. If a E C[g](J),
it has a unique polynomial representative of the form a(X) a0Xa;
we define the norm of a to be sup,, Ia,, 1.
We can think of r (u, t, x, X) as defining an element
rj(u,t,x,X) E C°O(R+ x U, AV* (9 End(W)) ®C[g](J)
by taking the Taylor series expansion of r(u, t, x, X) at X = 0 up to order J,
in other words,
rJ(u,t,x,X) = >
IoI<J
aj.
(a5r(u,t,x,X))x=0X°
ax'
for 0 < u < 1 and (t, x) lying in a compact subset of (0,1) x U. Furthermore,
yi,J(0, 0) = 0 if i # 0, while yo,J(0, 0) = 1.
Proof. By Theorem 2.48, there exist AV* ® End(W)-valued smooth functions
Oi on U x g such that
N
C(N)tN-n/2
I I k (t, x, X) -qt (x) E ti0i (X, X) I
i=0
for t E (0, 1), x E U, and X in a bounded neighbourhood of 0 E g. Fur-
thermore, we can differentiate this asymptotic expansion with respect to the
parameter X. It follows that there exist AV* ® End(W) ® C[g](J)-valued
smooth functions iJ ,J on U such that
N
J)tN-n/2
k J (t, x, X) - qt (x) E tz?Pi,J (x, X) < C(N,
i=0
for t E (0, 1) and x E U, where kj(t, x, X) is the Taylor expansion of k(t, x, X)
around X = 0 to order J. As in the proof of Proposition 4.16, we can suppose
thati,J is polynomial in x.
Rescaling by U E (0, 1), we obtain
N
rj (u, t, x, X) [p) - u-p/2qt (x) E (ut)'gt i,J (ul/2x u-1X) [p]
i=0
we see that yi, J (0, 0, X) [p] = 0 unless i = p = 0, and that yo, J (0, 0, X) = 1. 0
It is clear that rJ (u, t, x, X) satisfies the differential equation
(8.3) (Bt+LJ(u,X))rJ(u,t,x,X) =0,
where LJ(u,X) is the action induced by the differential operator L(u,X)
on C°° (U) ® AV" ® End(W) ® C [g] (J) . Let us show how this implies that
Bibliographic Notes 265
Applying Theorem 4.12 to the operator K(X), we obtain the following result.
Proposition 8.17. The limit lim r j (u, t, x, X) exists, and is given by re-
u->o
duction modulo X j+' of the formula
Bibliographic Notes
The Kirillov formula Theorem 8.2 was proved in Berline-Vergne [24], using
the localization theorem for equivariant differential forms and the equivariant
index theorem of Atiyah-Segal-Singer. The local version of the theorem proved
in Section 3 is a generalization of the results of Bismut [32]; in particular, the
definition of the "quantized equivariant curvature" H(X), and the proofs of
Propositions 8.11 and 8.12 are due to him.
In Sections 9.4 and 10.7, we will explain the relationship between the Kiril-
lov formula and the index theorem for families with compact structure group;
the relationship comes about by considering the family P xG M, where P
is an approximation of the universal bundle EG for G. We will see that the
Kirillov formula is equivalent to Bismut's local family index theorem, in the
case of families with compact structure group.
266 8. The Kirillov Formula for the Equivariant Index
Additional Remarks
There is a formula combining the equivariant index formula of Chapter 6
with the Kirillov formula, proved in Berline-Vergne [24]. This formula may
be formulated using the language of bouquets discussed in the Additional
Remarks at the end of Chapter 7. Introducing a bouquet bch(E/S) which
collects the equivariant relative Chern characters of the bundle E over the
fixed point sets M(g), we have
b
indG(D) = (27ri)-dim(M)/2 J bch(E/S).
M
This type of formula has also been used to express the index of a transversally
elliptic operator (Berline-Vergne [27]; see also Duflo [53]), and to reformulate
results on characters of non-compact groups (Vergne [103]).
Chapter 9. The Index Bundle
Let Po be the projection from 7-l onto the subbundle ker(D). We may also
define a connection on the superbundle ker(D) by projection,
P0.
In Section 1, we will prove the following result:
lim ch(At) = ch(Vo).
t--+oo
Intuitively speaking, as t tends to infinity, the supertrace
Str(e-t°2+o(t1i2))
ch(At) = Str(e-At) =
is pushed onto the sub-bundle ker(b). The proof, which is given in Section 1,
is substantially more complicated than this simple idea.
Our real interest lies in an infinite-dimensional version of this, in which
the family D of operators on the finite dimensional bundle 7{ is replaced
by a family of Dirac operators. Our technical tools will be the estimates
of Chapter 2 on the heat kernels of generalized Laplacians, and the spectral
theorem.
268 9. The Index Bundle
where A(M/B) is the A-genus of the vertical tangent bundle T(M/B), and
dim(M/B) = dim(M) - dim(B) (we assume that M is connected). This
formula is true at the level of cohomology for any family of Dirac operators,
as we will show in the next chapter.
Section5 is devoted to studying the case when the vector spaces ker(Dz)
vary in dimension. The index bundle ind(D) is now only locally a vector
bundle, but it turns out that it has a well-defined Chern character in de Rham
cohomology, and that ch(At) lies in the same cohomology class for all t > 0
if A is a superconnection on 7r*£ such that A[o] = D. In Chapter 10, in the
case where the family D is associated to a Clifford connection, we will present
Bismut's construction of a very particular superconnection for which ch(At)
possesses a limit limt_,o ch(At); combined with the results of this chapter,
this enables us to calculate the Chern character of the index bundle ind(D).
In Section 6, we define the zeta-function and zeta-function determinant of a
generalized Laplacian. Using this, we define in Section 7 the determinant line
bundle det(ir*£, D) associated to a smooth family of Dirac operators, and, in
the case in which the index of DZ is zero, a section det(D+) of det(7r*£, D). The
determinant line bundle has a canonical metric, known as the Quillen metric,
and we define a connection on det(,7r*£, D) preserving this metric given the
data of a connection on the bundle M --3 B and a Hermitian connection on
the bundle £ over M.
7-l+ = fl (D'H
7.1- = 7-l0 ®1-li ,
270 9. The Index Bundle
and hence that the bundle ker(D-) is isomorphic to the bundle coker(D+)
7-1-/im(D+), and the bundles ?i and 71j are isomorphic.
Let A = A[o] + A]1] + A[2] +... be a superconnection on 71, with curvature
.7=' = A2 E A(B, End(7-l)). By (1.34), the Chern character form of A,
A= PO
which preserves the spaces A(B,7-lo) and A(B,71k) C A(B,7{).
We will make constant use of the following notation: if K E A(B, End(7-1)),
we write
K= a Q
,
7 b
.7==A2= R 0
0 S
Denote by Vo the connection on the bundle 7-Lo given by projecting the con-
nection A(1) onto the bundle 7-Lo:
Vo=PoA]1]Po.
9.1. The Index Bundle in Finite Dimensions 271
Lemma 9.1. The differential form R lies in M2, and the curvature of the
connection Do equals R[21 .
Proof. The superconnection Ao = Po - A A. Po on the bundle Ho has curvature
Ao=R. Since we see that
i>2
(3) Denote the inverse of T[01 on xl by G. The curvature R[2] of the con-
nection Vo on Ho equals
R[2] = X[2] - Y1]GZ[1].
we obtain
R+µv Po[A,ll]P,
P, [A, V] PO S + vµ
We write
-1
1 -YzG Xi Yi 1 -YjG X.i Yi
GZi 1 Zi Ti GZi 1 Zi T,
0 -YZG
Since E Mi, we see that
GZi 0
1 -YzG 1 YiG
E M2z-
GZi 1 -GZi 1
We have the following explicit formulas for Xi, Yi, Zi, and Ti mod M2i:
Xi = Xi - 2(YiG)Zi + (YiG)TT(GZZ)
Xi (mod M2i);
Y Yi(1 - GTi) + (Xi - (YG)ZZ)(YjG) E Mj+1;
Zi = (1 - TG)Zi + (GZZ)Xi - (GZi)Yi(GZi) E Mi+1;
Ti = Ti + (GZi)Xi(YZG) + Z2(YG) + (GZZ)Y
Ti (mod M1).
Thus, we can continue the induction.
Now, suppose that we have a matrix g of the required form which diagonal-
izes .7. This implies that
1+K M X Y U 0 1+K M
N 1+L Z T 0 V N 1+L
for some
K M E M1, from which we obtain the equation
N L
X +KX +MZ Y+KY+MT U(1 + K) UM
NX+Z+LZ NY+T+LT VN V(1 +L)
Since X is in M2 and K, L, M, N, Y and Z are all in M1, we see that
(1) V = (T +LT +NY)(1 +L)-1 -T (mod MI),
(2) hence GV - 1 (mod MI),
(3) U = (X + KX + MZ)(1 + K)-1 - X + MZ (mod M3),
(4) Y + MT = UM - KY E M2i
274 9. The Index Bundle
0
0
e-tbt(V) St(g)
Lemma 9.5. We have the estimate ie-tbt(v) 1 < Ce et for some positive e,
as well as for all of its derivatives.
Proof. Essentially, this is true because V[o] = T[o] = D2 is positive definite on
'Hi. The proof uses the Volterra series for a tst(v) (see 2.5): if V = D2 + A,
then
e-t6t(V) = 1:(-t)klk,
k>O
where
Ik = f e--otD26t(A)e-Q1tD2St(A)...St(A)e-01k-ltD26t(A)e-°ktD2do-1...da,.
Ok
On the simplex
Ok = &0, ... 0k) E Rk+1 I Ek 0 ai = 1, ai
, 01,
Corollary 9.6. The limit limt_,OO ch(At) exists, and equals the Chern char-
acter of the connection Vo on the superbundle Ho = ker(D).
We will now give an explicit homotopy between ch(At) and limt_,00 ch(At).
Let us write
a(t) = Str(ddtte At) E A(B).
The transgression formula (1.33) states that
d ch(A,) = _da(s).
ds
This may also be seen by the following construction, which is valid for _any
smooth family As of superconnections on a superbundle £ --+ B. Let B =
B xR+, and let E be the superbundle £ x R+ over b, which is the pull-back
to b of S. Define a superconnection A on £ by the formula
(9,3(X, s)
(A/3) (x, s) = (A3/9(., s)) (x) + ds A
8s
The curvature F of A is
=F3-d9 Ads,
where F., = A2 is the curvature of A9. Since (ds)2 = 0, the Volterra series
expansion of
e-7 is
Let
a(s) = Str(dAse-1-e).
d
Taking the supertrace of the above formula, we see that
ch(A) = ch(A9) + a(s) A ds,
with respect to the decomposition b = B x R+. Since ch(A) is closed in
A(B) and ch(A9) is closed in A(B), we infer that
dch(A9) = _da(s).
ds
Integrating this formula, we see that
T d
ch(At) - ch(AT) = - f ch(A9) ds
T
d Str (d 88 a-A2,) ds
= itt
T
= d f a(s) ds.
t
276 9. The Index Bundle
Our task is to show that this integral converges as T - oo. We will prove
this by a small modification of the proof of Theorem 9.2.
Theorem 9.7. The differential form
\
a(t) = Str I d tt e-A2 I E A(B)
0C a(s) ds E A(B)
it
J
is convergent, and defines a differential form which satisfies the formula
ch(At) - ch(Vo) = d
At e-tst(.r)ll
a( t) = St r (d
dt l
Since
di m(B )
dAt D
dt 2t1 /2
i=2
2t(i+l)/2
we have
dAt 1 0 0
+0 (t -3/2 ).
dt 2t l/2 0 D
O(t-3/2) O(t-2)
O(t_1) O(t-3/2)
Since only the diagonal blocks contribute to the supertrace, this proves the
theorem.
In the special case in which A has the form V + D, so that A[j] = 0 for
i > 2, we see that At = V + tl/2 D equals V at t = 0. Furthermore,
a ()
t = 1 Str( D e-A2) = 1O(t-1/2) for t --> 0,
2t1/2 1 O(t-3/2) for t --> oo.
9.2. The Index Bundle of a Family of Dirac Operators 277
The bundle 7r*£ carries a metric, defined by means of the canonical metric on
each fibre r(MM, £z (9 IAm. 11/2). Indeed, if Oz E 7r*£z = r(Mz7 £z o I AMs I1/2),
we see that ICrz(x)12 E r(Mz7IAM I), and hence may be integrated:
I0x12 = f I0z(x)I2.
Mx
278 9. The Index Bundle
The reason for inserting the line bundle IA,I112 is precisely in order to have
such a canonical metric along the fibres 7r..E. The fibre bundle M will have
a metric along the fibres, which trivializes IA,,I. However, unlike in the case
where B is a point, it is important to distinguish between the bundles 7r*E
and z --* r(Mz, £z).
Instead of working with the bundle End(7r*E) of all endomorphisms of 7r,,E,
we will restrict our attention to only those endomorphisms of the fibres which
are the sum of a differential operator and a smoothing operator. Thus, we will
denote by D(E) the bundle of algebras over B whose fibre at z is the algebra
D(MM, Ez (9 J Am. I1/2) of differential operators on Ez ® IAM. I1/2, and whose
smooth sections are families of differential operators Dz whose coefficients in
a local trivialization of M and E depend smoothly on the coordinates in B.
We denote by K(£) the bundle of algebras whose fibre at z is the algebra of
smoothing operators on the bundle Sz ® IAM= I1/2, and whose smooth sections
are smooth families of smoothing operators Kz. (We refer to reader to the
appendix for more details on this bundle.) Since IC(S) is a bundle of modules
for D(E), we may form an algebra from the sums of operators in D(E) and
K(£).
Definition 9.8. The P-endomorphisms of the infinite-dimensional bun-
dle 7r*E are smooth sections of the bundle D(E) + K(£), that is, families of
operators which may be written in the form
Dz + Kz,
where (Dz I Z E B) is a smooth family of differential operators acting on the
family of bundles Ez ® I AM= I1/2, and (Kz I Z E B) is a smooth family of
smoothing operators on the same family of bundles. We write Endp(7r*E) for
the space of smooth sections of this bundle.
We will consider a smooth family D = (Dz I Z E B) E r(B, D(S)) of Dirac
operators on S. Thus, D is an odd operator with respect to the 7L2-grading,
with components Dt : r(B,-7r*EF), and D2 E r(B,D(E)) is
a family of generalized Laplacians. Note that the Dirac operator Dz defines
a Riemannian structure on the fibre Mz (that is, an inner product on the
vector bundle T(M/B) --> M of vertical tangent vectors), and an action of
the Clifford algebra bundle C(T*(M/B)) on E. In particular, we obtain a
canonical trivialization of the bundle IA,r I.
Now assume that for each z E B, the operator Dz is self-adjoint with
respect to the Hermitian structure on the vector bundle £z. The vector space
ker(Dz) has finite dimension. The aim of this section is to define the index
bundle of the family D as a superbundle on B whose fibre at z E B is equal
to ker(Dz) when the dimension of this vector space is independent of z; in
Section 5, we will show that the difference bundle [ker(D+)] - [ker(D-)] makes
sense even without this condition.
If X is not an eigenvalue for any operator of the family Dz, then the su-
perbundle ? [o,a) whose fibre at the point z is the spectral subspace of (D')2
9.2. The Index Bundle of a Family of Dirac Operators 279
im(Pz) over B.
Proof. The dimension of the vector space im(Pz) is an integer, given by the
formula
dim(im(Pz)) = Tr(Pz) fMTPz
,
where (x I Pz I x) E r(Mz, End (E) (9 1AM= 1) is the restriction to the diagonal
of the kernel of Pz. Since (x I Pz I x) varies smoothly as a function of z
by assumption, the trace varies smoothly as well; thus the dimension of the
image of Pz is constant.
We now prove that the family of vector spaces im(Pz) form a smooth
superbundle. If z° E B, let U be a neighbourhood of z° in B such that
7r : M ---* B may be trivialized over U. In this way, we may replace the base
B by an open ball U C RP, the family M by the product M° x U, and the
bundle £ by the bundle £° x U, where £° -- M° is a superbundle over M°.
The space 7r*£z of sections of £z ® 1AM= X1/2 does not depend on z. This gives
a trivialization of 7r*£ as r(M°i £° ®lAM(, 11/2) x U. Thus Pz is a smooth
family of finite rank projectors on the fixed space r(M°,£° 01AMo1 1/2).
Choose a basis O°, (1 < j < m), of im(P°) at the point 0 E U. We may
extend these sections smoothly to U, by extending the corresponding sections
of £ (9 1A, 1/2 over Mz to -7r-1(U) C M, and we obtain m families of sections
E r(U,7r,£). The sections Pct are smooth as a function of z, lie in
im(P), and are linearly independent for JzJ sufficiently small. Thus, they form
a basis of im(P), for lzJ small. From the smoothness of P with respect to
z, we see that Pz0J1(y) is smooth with respect to (y, z) E M° x U, and from
this we deduce the smoothness of the transition maps between two open sets
U C B with a trivialization of 7r*£ above them.
If A is a real number, let Ua be the subset of B on which A is not an eigen-
value of (Dz)2. Let (P[1 0,A) I z E U),) be the family of orthogonal projectors
onto the spectral subspace [0, A) of (Dz)2, with respect to the L2-norm.
Proposition 9.10. (1) The sets U., form an open covering of B.
(2) The family P(°,,\) lies in r(Ua, K(£)); that is, the operators Pro Al form
a smooth family of smoothing operators on the bundles. (9 JAm. I'/' for
zEU,,.
280 9. The Index Bundle
(3) The vector spaces (9-l[o,Al)z = im(Pro a)) form a smooth finite-dimension-
al superbundle 7-l[o,al C over a.
Proof. As in the proof of Lemma 9.9, we may assume that the base is an
open ball U C R2, that M is a product Mo x U, and that the bundle E is
the pull-back of a superbundle Eo -- Mo. The fibre P(Mo, £o ® IAMO 11/2) of
the bundle 7r*E carries a metric which depends on z E U; however, by
Lemma 2.31, the Hilbert space completion rL2 (Mo, So ® 1AM,, 11/2) does not
depend on the metric. _
Ic (KZ - u)-1 (8z Kz) ... (Kz - u)-1(8z kKZ) (KZ - u)-1 du.
We will show that the Chern character of the index bundle ind(D) can be
computed from a superconnection with A[o] = D, by the same formula as in
Str(e-A2).
ZKIdz7,
9.3. The Chern Character of the Index Bundle 285
8
du Str(K) _ Str(KI) dzi A dzl
azi
8
_ ( Str (x I K12 x)) dzi A dzl
i
IJM0
ch(A) = Str(e-A2);
Theorem 9.17. Let A be a superconnection on the bundle ir.£ for the family
of Dirac operators D.
(1) The differential form ch(A) is closed.
(2) If AQ is a one-parameter family of superconnection on the bundle 7r*E
for the family of Dirac operators D0., then
Proof. The fact that ch(A) is closed follows from Lemma 9.15, since
dB Str([A, e-]) = 0.
286 9. The Index Bundle
We will also need the algebra N = A(B, )C(£)), filtered in the same way.
Let G = (GZ I z E B) be the family of Green operators GZ of (Dz )2.
Proposition 9.20. The action of left and right multiplication by G preserves
N.
Proof. Since this is a local question, we may suppose that the bundles M and
£ over B are trivial, by replacing B by an open subset U. We may rewrite
the integral representation of G given in (2.11) as follows, where PO is the
projection onto the kernel of D:
G= f e-t(°2+'°) dt -P0.
Thus, we may decompose all ((G + P0)K), where K E N, into terms propor-
tional to 00
f (aa18 t(D2+Po))(az2K)dt,
where k jai I + 1 and Di E r(B, Endp (i*£)). This integral may be bounded
using the exponential decay of (x I e-t(o2+1'°) I y) proved in Proposition 2.37.
Using the formula
,9- (GK) = 8- ((G + Po)K) - 9-(PoK),
we see that GK is in N. The case where G multiplies on the right is simi-
lar.
Let P1 = 1 - PO be the projection onto im(D). If K E M, we will write
K= a PoKPo POKP1
E
N N
-y S P1KPo P1KP1 N M
Let
X
= IZ YI
T
be the curvature of the superconnection A; then X, Y and Z are in N.
Let R[21 be the curvature of the connection Vo on the bundle ker(D). By
the same proof as in Section 1, we have the formula R121 = X[2] - YY11GZ[11.
The space of endomorphisms g E M of the form g = 1 +K, where K E M
form a group, with
00
(1 + K)-1 = 1 + 1:(-K)k.
k=1
288 9. The Index Bundle
Thus, as before, we may put F into block diagonal form; there is a family
of operators K E Nl such that, with g = 1 + K,
.F =g-1 U 0
0 V 9,
where U - R[2] (mod N3) and V e D2 (mod N1). Note that the family of
operators St(V) is for each t > 0 the sum of a family of generalized Laplacians
D 2 and an element of P1 .M 1 P1. It follows from Appendix 2 that the family
of heat kernels e`61(v) is a section in A(B, K(£)) for each t > 0. Furthermore,
the uniqueness of solutions of the heat equation implies that
St(g)-1(e-t0
e-tst(,-) =
(U) e-t0(V))St(9)
If A(t) : (0, oo) -> F(B, )C(£)), we will write A(t) = O(f (t)) if for all e > 0
and 2 E N and each function 0 E CC° (B) of compact support, there is a
constant C(P, e, 0) such that
I l rr* (O) (x) x I A(t) I y) I l e < C(e, e, q) f (t) for all t > e.
Let U be a relatively compact open subset of B. If X is the infimum over
U of the lowest non-zero eigenvalue of the operators D2, then it follows from
Proposition 9.49 that over U,
Pie-t6t(v)Pl = O(e-tA/2)
Thus, we have
1R2
e O(t-1/2) 0
0 [ 6t(9) +St(9) 0 O(e-t,\/2
9.3. The Chern Character of the Index Bundle 289
and Alzj E M2, we see that if K(t) (0, oo) --+ r(B,1C(£)) is a family of
:
From this will follow the existence of a limit limt_,o ch(At), which can in fact
be calculated explicitly, and the following analogue of (9.2):
00
lim ch(At) - ch(Vo) = dJ a(t) dt.
t->o o
Theorem 9.25. Let D+R be the sum of family of Dirac operators D and an
odd self-adjoint family of smoothing operators R. Let A be a superconnection
for the family D + R.
(1) The differential form ch(A) is closed.
(2) If AQ is a one-parameter family of superconnections on the bundle it*£,
then
ch(AQ) = -dB Str (ddo-°° e-Yo )
.-
Thus the class of ch(Ao.) in de Rham cohomology is a homotopy invariant
of the superconnection A.
(3) In particular, the class of ch(A) in deRham cohomology depends only on
the homotopy class of the Dirac operator D.
Theorem 9.26. Assume that ker((D + R)z) has constant dimension for z E
B.
(1) The vector spaces ker((D + R)z) form a smooth vector bundle ker(D + R)
over B.
(2) The limit
lim ch(At) = ch(ker(D + R)) E A(B)
t-3oo
holds with respect to each C'-norm on compact subsets of B.
We could also state the analogue of the transgression formula, but since
we will not make use of it, we leave its formulation to the reader.
292 9. The Index Bundle
where Ag (X, N) and the (X, W) are equivariant characteristic classes given
by the formulas
Rg (X)/2
Ag (X, N) = det1/2
sinh(Rg (X)/2)
chg(X,W) = Str(exp(-Fg (X))).
By Proposition 7.38 (2), we see that the Chern-Weil map 4a : Ac (N) --r
A(M) sends these equivariant characteristic forms to the corresponding char-
acteristic forms of the associated bundles:
ge(Ag(N)) = A(MlB),
Oe(ch9(W))= ch(W)
The result follows from the formula fMJB 000 = 00 o fN
We will see in Chapter 10 that the above formula for ch(ker(D)) holds in
cohomology for any family of Dirac operators. We will also show that the
local version of the family index theorem implies the local Kirillov formula.
In this section, following Atiyah and Singer, we will show that the index bundle
of a family of Dirac operators over a compact base B may be represented as
the formal difference of two vector bundles, even without the assumption that
ker(b) has constant dimension.
Let us start by recalling the definition of a difference bundle. This is
an equivalence class of superbundles on a manifold B, with respect to the
equivalence relation that £ - F if there are vector bundles 9 and rl such that
E) 9 (D R;
£-®9=F-®7-l.
The class of £ is denoted by [£+] - [£-] and is called the difference bundle
of £. If g is a vector bundle, we will associate to it the difference bundle
191-101.
If B is compact, the difference bundles forms an abelian ring K(B) called
the K-theory of B. The sum in this ring is induced by taking the direct sum,
and the product by taking the tensor product, of superbundle representatives.
It is easily verified that the additive identity is the zero bundle, the multiplica-
tive identity is the class of the trivial line bundle, which we will denote by [C],
and the negative of [£+] - [£-] is [£-] - [£+]. We will not give any further re-
sults about the ring K(B): as explained in the introduction, our emphasis in
this book is on explicit representatives, by superbundles or differential forms,
9.5. The Case of Varying Dimension 295
rather than the classes that they represent in K-theory K(B) or de Rham co-
homology H*(B). We do note, however, that the Chern character defines a
homomorphism of rings from K(B) to the de Rham cohomology H* (B) of B;
this follows from the fact that the Chern character vanishes on superbundles
of the form 9 ®!9 In fact, this map may be shown to induce an isomorphism
of K(B) ® C with the even de Rham cohomology, by the Atiyah-Hirzebruch
spectral sequence.
If ker(D) has constant dimension, we have defined the index bundle to be
the difference bundle represented by ker(D). Since M is compact, there is a
positive e such that UA = M for 0 < A < E. It follows that ind(D) is also
represented by R[o,a) for 0 < A < e. Motivated by this, we would like to define
ind(D) in such a way that when restricted to Ua, it has the superbundle H[o,a)
as representative. The following lemma shows that this approach is consistent
on UaflU,,,,for 0<A<M.
Lemma 9.29. If 0 < A < µ, then the difference bundles represented by f[o,a)
and 'H[o,m) are equal.
Proof. By the isomorphism
x[o,µ) = 'Hjo,a) ®x(a,p),
we see that we must prove that on Ua fl UN,,
x(A,µ) - x(A,1A)
On the bundle 7-la µ), the operator (D+)*D+ = D-D+ has spectrum lying in
the interval (A, µ), and hence is invertible (an explicit inverse is given by the
Green operator G). It follows that the operator
for 0 E r(B, 7r£+) and r(B, zr*£-) respectively, and ui E CO°(B). We thus
have a family (D,+ )z of the type described in (9.4).
In order for ker(D;) to vanish, we must demand that D,+ is surjective for
all z E B. The following lemma shows how to choose suitable i,b .
Lemma 9.30. There exists an integer N and a map z/' : CN -+ r(B, it*£-)
such that the map is surjective at each point in z E B.
Proof. By Proposition 3.48, we know that
ker(Dz) ® Dz [r(Mz7£z+ (9 IA,,1112)] = r(MM,£z (9 1A,, 11,2)
at each point z E B. We need to construct a collection ,b of sections of 7r*£-
such that at each point z E B, the projection onto the vector space ker(Dz)
of the sections zk2 span it. We proceed as follows.
Given zo E B, we can find a A > 0 such that zo E U.., a ball U(zo) C B
around zo and sections tfi E r(U(zo), such that for every z E U(zo) the
elements Of form a basis of (710 A))z. If X E C'°(U(zo)) is a cut-off function
on U(zo) equal to 1 around zo, the sections x(z) 0z can be extended to smooth
sections of the bundle it on B. Thus, for each zo E B, there exists a A > 0,
an open set V(zo) C U(zo) and sections 'Vi E r(B,-7r £) such that Of span
9.5. The Case of Varying Dimension 297
(?t[o a))z, and hence their projections onto the vector space ker((D-)z) span
this space, for z E V(zo). Since B is compact, it is covered by a finite number
of sets V(zo), and we may take for (V)i) the union of the sections O for just
these sets.
If A is a positive number, let U,\,,, be the open subset of Ua consisting of
those points z E U), such that the composition of
_ P(O,,))
(CN 0 , (ir*s)z (f[o,a))z
is surjective. If Al is the smallest non-zero eigenvalue of (DZO)2, then zo is in
U,,O if A < A A. Thus, B is covered by the open sets {Ua,,, I A E R}.
Proposition 9.31. (1) If 0 satisfies the conditions of Lemma9.30, we have
the short exact sequence of vector bundles on Ua ,
P10, X)
0 --+ ker(DV,) 'H+
to a) ® (B X CN) P(O, )D ?-l[a ,
a)
--40.
Thus, over Ua, the difference bundles [ker(D.p)] - [CN] and H[o,a) are
equivalent.
(2) The difference bundle [ker(Dp)] - [CN] of K(B) is independent of the
choice of map : CN -+ I'(B,-7r. -) satisfying Lemma9.30.
Proof. Let us show that the bundle map
P[o,a) E) 1 : ker(Dp) C 7r.£+ (D (B x CN) -> 7-l[o a) ® (B X CN)
is injective. Indeed, if (0, u) E ker(Dp) lies in the kernel of this map, then we
see that u = 0, and hence that 0 E ker(D). However, the projection P[o,A) is
the identity on ker(D) if A > 0, and hence 0 = 0.
The bundle map
P[o,a)D.O : x[o a) ® (B X CN) .- R- a)
is surjective by the definition of U.>,.O.
The composition of the two maps
Pl°"\)61 P1°')D
ker(D1) C (B X CN) 7'{[o a) ®(B x CN) [o,A)
is the bundle map from ker(D,,) to which sends (0, u) E ker(D,,) to
a E (7r*£+)z such that Pro A)a = 0 and (D+)zO +'iI?(u) = (D+)za. Thus
- a, u) E ker(D ), and its image by P[o,al is our element (0, u).
It remains to prove the independence of this construction from the map
: CN -- r(B, 7r*£-). Consider another map i : CN -- r(B, -7r*£-). The
bundle ker(D ,) may be identified with a subbundle of ker(D e,) by sending
(0, u) E (7r*£+) z ® CN to u, 0) E (ir*£+) CN ® CN. Consider the
sequence of bundles
0 --> ker(Dp) --3 ker(Dpe.) --> (B x CN) -: 0,
where the last arrow maps (0, u, u) E ker(DV,®,) to u E CN. This sequence is
exact at each point z E B. To see this, choose u E CN. The surjectivity of D
implies that there exists u E CN and 0 E it*£z such that '(u) = Do+,O(u).
Using this proposition, we may define the index bundle of any family of
Dirac operators on a compact base.
Definition 9.32. The index bundle of a smooth family of Dirac operators
over a compact base B is the virtual bundle
ind(D) = [ker(D,,)] - [CN],
where is chosen as in Proposition 9.31.
We can now prove a generalization of the McKean-Singer formula to su-
perconnections associated to families of Dirac operators.
Theorem 9.33. Let A be a superconnection on the bundle 7r*£ for the family
D. Then the cohomology class of ch(A) is equal to the Chern character of the
index bundle ind(D).
Proof. Unlike in the case where ker(D) had constant dimension, the differen-
tial form Str(e-t6t(A2)) may have no limit as t -+ oo when the dimension of
ker(D) is not constant. However, we may replace the family D over M -+ B
by a family Dp over M' - B such that ker(D,,) is a vector bundle.
Let A be a superconnection for the family D, and transfer the operators
A[ j] to operators on A(B, 7r*£'). Let AE denote the superconnection A + eR,y
for the family D + ER,,. Applying Theorem 9.25 to the one-parameter family
AE, we see that the cohomology class of the differential form
Str(e-2)
ch(AE) =
does not depend on e. For e = 1, we know by Theorem 9.26 that ch(AE)
represents the cohomology class of ch(ker(D.,,)), the Chern character of the
vector bundle ker(D,1). Taking e = 0, we see that
ch(Ao) = ch(A) + N E A(B).
It follows that ch(A) and ch(ker(D,,)) - N represent the same class in coho-
mology, from which the theorem follows.
9.6. The Zeta-Function of a Laplacian 299
Proof. Choose Re s large, and split the integration over [0, oo) into the inter-
vals [0,1] and (1, oo):
The second term, the contribution of the integral at infinity, is clearly entire,
by the exponential decay of f (t) as t --> oo. The first term may be expanded
in an asymptotic series, and then integrated explicitly, term by term:
1
Jf1 f(t) is-1 dt _ fk tk/2+s-1 dt
° k<K fo
0 0
+ r(s),
k<K s + k/2 s2
where r(s) is holomorphic in the right-half plane Re s > -K/2. Since the
inverse of the Gamma function F(s)-1 is entire, (1) follows.
Since P(s)-1 = s + ys2 + 0(s3), it follows that M[f] has the Taylor series
around s = 0
-gs-1 + (fo -'Yg) + O(s),
proving part (2) of the lemma.
If h is as in the statement of the lemma, then to show that f °° h(s) ds has
an asymptotic expansion of the required form, we write, for t small,
At) =
J
1 E I hksk/2J ds - J t\(h(s) - E hksk/2 1 ds
k<0 k<0
r
+
J0
1(h(s) - E hksk/2) ds + h(s) ds
k<0 J
from which we obtain
f (t) - -
kO-2
E k/2 + 1
tk/2+1- h_2 log t + c,
E
c = {k<0JkO-2} k/2 + l
+
J l (h(s)
- hksk/2) ds +
J 00 h(s) ds. El
k<0
If we define f (t) to equal fo-yg, where fo and g are the coefficients
of to and log t in the asymptotic expansion of f, we see that part (2) of the
above lemma implies the formula
d
s_0sM[f] = t I f(t),
ds M
We will call LI Mt.-.o f (t) the renormalized limit of f (t) as t ---r 0.
9.6. The Zeta-Function of a Laplacian 301
dt,
r(s)
where P(a,.... ) is the spectral projection associated to H onto the eigenvalues
lying in (A, oo). This function equals Tr(Pla )H-s} for s > n/2, where n is
the dimension of the manifold M.
As an example, consider the scalar Laplacian -d2/dt2 on the circle, with
eigenvalues {0,1,1, 4, 4, ... , n2, n2, ... }. If 0 < A < 1 and s > 1/2, we see
that
00
00
((s, H, ) = I ( J e-tn2ts-1 dt = 2 1: n-23 = 2((2s),
n=1 0 n=1
where ((s) is the Riemann zeta function.
We can understand the behaviour of the zeta-function as a function on the
complex plane by means of the Minakshisundaram-Pleijel asymptotic expan-
sion of the heat kernel.
Proposition 9.35. The function ((s, H, A) possesses a meromorphic exten-
sion to the whole complex plane, and is holomorphic at s = 0.
Proof. As t --+ 0, we have
m
Tr(P(a .)e-tH) = Tr(etH) _ E e-tXk
k=0
00
.., E tkak,
k=-n/2
where A0 < ... < Am < A are the eigenvalues of H lying in (-00, .\], enu-
merated according to multiplicity. The fact that Tr(P(a,00)e-tH) decays ex-
ponentially fast as t -> oo has been proved in Lemma 2.37.
Denote by C'(s, H, A) the derivative of C(s, H, A) with respect to s. Follow-
ing Ray and Singer, we define the zeta-function determinant of a gener-
alized Laplacian H for which 0 is not an eigenvalue to be
det(H) = e s (o,H,o)
This definition is motivated by the fact that if H is a positive endomorphism
of a finite dimensional Hermitian vector space V, and
C(s, H) = M [Tr(e-tH)] = Tr(H-s)
If H is a self-adjoint Laplacian, let 0 < A < p, and let A < al < .. <
be an enumeration of the eigenvalues of H lying in the interval (A, µ].
The following result is clear.
Proposition 9.36. The zeta-function of H satisfies the formula
m
Proposition 9.37. Over the set UA, the derivative with respect to the pa-
rameter z of the zeta-function of a family of generalized Laplacians is given
by the formula
HZ'.\)
a((s' = -sM [Tr(P(a oo)&ZHZ(HZ)-1e-tH1
az
Proof. Using the method of Lemma 9.34, it is not hard to show that the deriva-
tive aC(s, HZ, A)/az of the zeta-function is meromorphic. Thus, we may argue
at large Re s, where both sides of the formula are given by convergent inte-
grals. If we differentiate the expression
for the zeta-function with respect to z and apply Corollary 2.50, we obtain
that
(9.5)
Hz,
A) _ -M [tTr(Pa )aZHZe-thI)]
+ M [Tr r)
Since P = P(\ 00) is a projection, Leibniz's rule shows that
aZP = PaZP + aZPP;
multiplying on the left and right by P, we see that P0ZPP = 0, so that
8ZP = P(aZP)(1- P) + (1 - P)(8ZP)P.
Thus the second term on the right-hand side of (9.5) vanishes. On the other
hand, integration by parts shows that in general,
9.6. The Zeta-Function of a Laplacian 303
M[tf'] _ -sM[f],
so that the first term can be rewritten in the desired form.
az
for the variation of the determinant of a family of operators Hz on a finite-
dimensional vector space.
a
0, Hz ),) LIM
Tr(P(\,.)azHz(Hz)-le-tH=)
io
Proof. To apply Lemma 9.34 (2), we must show that
(P00)azHz(Hz)-ie-tH=)
Tr
lP(a
oo)e-sH=)
1: ak(z) Sk
k=-n/2
Recalling from the proof of the previous proposition that
ax (P(
00)e-eH=)
= -s Tr(P(a 00)azHze sH=),
Tr(P(a
00)azHze-sH=) ,., _ 8zak Sk-1.
k=-n/2
From this, applying the sign rule for graded tensor products, we see that
Odetr' det(D+) _ -det(D+)Trn+((D+)-1dD+) - Str(w) det(D+).
On the other hand,
Tr,,+ ((D+)-1 VEnd(%) ((D+)-1(dD+ + w-D+ + D+w+))
D+) = Tr.,+
= Tr7j+ ((D+)-1dD+) + Str(w).
9.7. The Determinant Line Bundle 305
We will now show how to define a determinant line bundle using a family
of Dirac operators D parametrized by a base B. Recall that if £ and F are
two vector bundles, then
(sz(x),tz(x))e..
LM.
Ma
We would like to define a natural metric on the line bundle det(7r*£, D). From
the metric on 7r*£, we obtain a natural metric on each of the vector bundles
7-l[o,a), which is known as the L2-metric. It follows that each of the line
bundles det(7-l[o,a)) has a natural metric, which it inherits from the metric on
R[o,a) in the natural way. However, the metrics on the bundles det(7-l[o,a))
and det(N(o,, )) over Ua n Uµ are not equal, and they differ by a factor equal
to
det (D+ A))
where the metric is the L2-metric on the trivial line bundle det(7l(a,µ)).
The family of generalized Laplacians D- D+ on 7r*£+ consists of self-adjoint
operators, since (D+)* = D-. The following lemma is clear.
Lemma 9.40. If A < Al < < Am <,u are the eigenvalues of D- D+ lying
between A and p, then
m
11A/2'
Idet(D(A,/L))I
=
i=1
306 9. The Index Bundle
on the line bundle det(f[o,a)) agrees with the corresponding metric on the
line bundle det(7-L[o,,,)), and hence all of these metrics patch together to form
a metric on the line bundle det(ir*E, D), which is the Quillen metric.
If the family D has index zero, then dim(7-1 a)) for all
A > 0, and so that it makes sense to speak of the section a)) of the
determinant line bundle det(1-1[o,,)) over the set Ua. Since
we see that these sections patch together to give a section det(D+) of the line
bundle det(ir*E, D).
Proposition 9.41. Let D be a family of Dirac operators of index zero on a
vector bundle E over the family of manifolds M ---> B. There is a canonical
smooth section det(D+) of the determinant line bundle det(7r*£, D), which
vanishes precisely where D is not invertible. The section det(D+) satisfies
the formula
1 det(D+) IQ = det(D-D+)i/2
where by det(D-D+) we mean the zeta function determinant e-C' (0,o-D+,o)
of the symmetric Laplacian D- D+. (This is the analogue for Dirac operators
of the formula det(A*A) = I det(A) 12 in finite dimensions.)
We will now define a natural connection on the determinant line bundle
det(7r*E, D), compatible with the Quillen metric. To do this, we need a unitary
connection on the bundle 7r*£, for example, the one defined in Section 2
from connections on the bundle M/B and on the Hermitian vector bundle S.
From the connection 0(0,x) = P[o,a)V .eP(o,a) on 1-l[o,a), we obtain a con-
nection on det(7-l[o,a)) compatible with the L2-metric, which we denote by
Qdet('Kja, ;,)) .
The operator D(a,,,.) = P(a,,,)D over the open set U,, has the property
that the bundle ker(D(a,00)) equals 7lto,a). We may define a superconnection
associated to the operator D(a,,,) by the formula
Aa = D(a,.) + V
9.7. The Determinant Line Bundle 307
2s1/2
_ -2 Tr'.ef ((1 -
2
D±]e-so ),
since P(a,,,) (V"weP(A )) P(A,.) = 0. The result now follows from Propo-
sitions 2.46 and 2.47, which give asymptotic expansions for Tr(DPt) and
Tr(KPt) at small t respectively, where Pt is a heat kernel, D is a differential
operator, and K is a smoothing operator.
By Lemma 9.34, we conclude that the functions f °O aE (s, A)111 ds have
asymptotic expansions for t small. Let
00
Qa = 2 LIM a:' (s, A)111 ds E A'(B).
t-0 Jt
The sum i3a +)3- is real, while the difference as - ,Qa is imaginary.
Lemma 9.43. d('(0, D- D+, A) _ - (i3t + Qa )
Proof. Using the formula ff'O a aH ds = H-le-tH, we see that
00
,3 = - LIM0 TI E+ (P(A ) D-
D+]e-sot)
ds
t /
D+](D-D+)-le-to-o+)
OO)D-[V"'e,
tIM T ,.e+(P(a
308 9. The Index Bundle
and
D-]e se2) ds
i3 = - LIM
t--o jt,:,o
Tr'1".s-
i
The lemma follows immediately from Proposition 9.38.
We can now define the connection on det(7r,,E, D). On det(H[o,),)), we take
the connection
Odet(?- [o, \)) +)3' .
Lemma 9.44. The section det(D+a,,)) is parallel with respect to the connec-
tion Odet(7{(a,µ)) + (i9 - Qa) on det(f(a,u,)).
on the line bundles det(7I[o,a)) and det(f(o,µ)) agree over the set Ua fl Uµ,
when we identify these two bundles by multiplying by the section det(D+a w))
of det(7l(a µ)). Denote the resulting connection on det(a*E, D) by Vdet(r.E,D)
uniformly in x E M.
lim f EM pt(x, y) s(y) = s(x)
t --+o
Let us start with the case where A is the algebra of complex numbers C,
so that there is no component .P[+]. Thus, we wish to construct the heat
310 9. The Index Bundle
Qt-_ (-t)k
00
f e-aotHOKe aitHO ... Ke-aktHO do,
k=0 k
converges in the sense that the corresponding series of kernels converges for
t > 0, with respect to any Ct-norm, t > 0, to a kernel
qt E r(M x M, (£ (9 JAI1/2) ® (E*,g JAI 1/2)).
The sum is C°O with respect to t and is a solution of the heat equation
(at + (Ho). + KK)gt(x, y) = 0
with the following boundary condition at t = 0: if 0 is a smooth section of
£ ®IAI1/2, then
lim Qts = s in the uniform norm.
t-0
Thus qt(x, y) is a heat kernel for the operator H = Ho+K. Furthermore the
kernel of the difference
00
e-H - e-tHO = E(_t)k eaOtHOKe-altH0 ...Ke-aktH° do,
k=1 JOk
tends to 0 when t --+ 0.
Proof. Since K is a smoothing operator, the operator a-tHOK has a smooth
kernel for all t > 0, and
IIe-tHoKIIP < C(t)IIKIIP,
Thus the series >k>1 converges with respect to the Ct-norm, uniformly for
t > 0, with similar estimates for the derivatives with respect to t. It is easy
to verify, as in theorem 2.23, that the complete sum >k>0 is a solution of the
heat equation. The estimate II a tH - e-tHo IIt = 0(t) is clear, and implies the
boundary condition for t = 0.
Appendix. More on Heat Kernels 311
where
Ik = e-QOtH_F[+]e-o,1tH.[+] ... e-Qk_1tHF[+]e-QktH do..
fOk
The sum is finite, since Ik E Mk, and for k large, we know that Ak = 0, and
hence Mk is zero. Thus, we only have to make sense of each term in the sum.
We need the following lemma.
Lemma 9.47. Let D be a differential operator of order k. There exists a
constant C > 0 such that if K is a smoothing operator, one has the following
bounds: for t E [0, T], where T is a positive real number, we have
ll De-tHK111:5 CJJKllk+e
312 9. The Index Bundle
IIKe-tHDIIt S CIIKIIk+e-
Proof. There exists a constant C(t) such that for 0 E Pt(M, £) one has for
t E [0,T], Ile-tH0IIe < C(i)11011e. The bound IIDe-tHKIIt < C(t)IIKIIk+t
follows easily. Then we write
Ke-'H D =
The above bound applies to the kernel of D*e tH*K* , yielding II Ke-tHDII t <
C(e)IIKIIk+t
We can now complete the proof of the following theorem.
Theorem 9.48. There exists a unique heat kernel pt (x, y) for F, which is a
smooth map from t E (0, oo) to r (M x M, (£ (9 IAI1/2) ® (£®®IAI1/2)) .
Proof. We must show that each term Ik has a smooth kernel. On the simplex
Ok, one of the v;, must be greater than (k+1)-1. Since for (k+1)-1 < a- < 1
and fixed t, the operator e-'1H has uniformly smooth kernel, it follows by
iterated application of Lemma 9.47 that the operator
e-too HF[+] e-a1 tH T[+] ... e-ak_ 1 tH F[+] a-ak tH
on
has a smooth kernel which depends continuously (o-o, ... , Qk) E Ok. Thus
the integral makes sense as an operator with smooth kernel. As in Chapter 2,
we see easily that e-tH + >k>o (-t) klk satisfies the heat equation for F. The
boundary condition as t -r 0 holds, since for 0 smooth, each term Ikcb has a
limit as t -> 0; when multiplied by (-t)k, each term contributes zero except
the term Io = e-tH. Uniqueness is proved as in Chapter 2 as a consequence
of the existence of the heat kernel for the adjoint operator F*.
There is an analogue of Proposition 2.37 for operators of the type F.
Proposition 9.49. Suppose F = H+.P[+] where H = Ho + K is the sum of
a symmetric generalized Laplacian Ho and a symmetric smoothing operator
K, and .P[+] E M,. If Pi is the projection onto the positive eigenspace of H
and P, commutes with F[+], then there exists an e > 0 such that the kernel
of the operator e-t' satisfies the estimates
II(x I Pie-tFP, I y) < C(t) e-et
onMxM ast ->oo.
Proof. Using the Volterra series, we may write
k=0
where
Ik = e-QOtH. e-a1tH ....P e-aktH
J
Appendix. More on Heat Kernels 313
Lk
By the analogue of Proposition 2.37 to the operator H, we see that for t
sufficiently large, and for each Q,
(KZO)(x) = fM
kZ(x, y) (y)
for 0 E r(MZ, £Z ® JAM. I1/2). We define the bundle IC(E) over B to be the
bundle whose smooth sections are given by
r(B, K(£)) = r(M x,r M, (£ (9 IArI1/2) ® (E* (9 1A, 11/2));
as explained in Definition 9.8, 1C(£) is a sub-bundle of Endp(E).
Suppose we are given a smooth family of generalized Laplacians HZ along
the fibres of M -1 B; in other words, we are given the following data, from
which we construct the Laplacians HZ in the canonical way:
(1) a smooth family gM/B E r(M, S2(T(M/B))) of metrics along the fibres;
314 9. The Index Bundle
Tr(KZ)
= f MIBTr((x I KZ I x)) E C-(B)
We may also state the family version of this theorem. Let A be a bundle
of finite-dimensional graded algebras with identity over B (in practice, A =
AT*B) and let M be the bundle of filtered algebras M = A ® End-p(9). Let
.F E r(B, A ® End-p(£)) be a family of P-endomorphism with coefficients in
A, of the form
T=Ho+K+.F[+],
where Ho E r(B, D(£)) is a smooth family of generalized Laplacians, K E
r(B, )C(£)) is a smooth family of smoothing operators, and T[+] is an element
of r(B,M1) = >ti 1 r(B, Ai 0 Endp(£)).
Theorem 9.51. For each t > 0, the kernel of the operator a-tom is a smooth
family of smoothing operators with coefficients in A, that is, a smooth section
in r(B, A (9 K(£)).
Bibliographic Notes 315
Bibliographic Notes
The main theorem of this chapter, Theorem 9.33, is proved in the first part of
Bismut's article on the family index theorem [30]. This theorem is a synthesis
of the heat kernel approach of McKean and Singer towards the local index
theorem with Quillen's theory of superconnections. Our other main reference
for this chapter is Berline and Vergne [26], where Theorem 9.2 is proved. The
proof of our refinement Theorem 9.19 of Theorem 9.33 is new.
Sections 1, 2 and 3. Atiyah and Singer first defined the family index of a
continuous family of elliptic pseudodifferential operators, as an element of the
K-theory of the base [16]. They then derived a formula for this family index,
generalizing the Riemann-Roch theorem of Grothendieck [39]. For expositions
of topological K-theory, see the books of Atiyah [3] and Karoubi [71].
Bismut, by contrast, obtained a formula for the Chern character of the
family index in the special case of a family of Dirac operators; in this, he
was inspired by Quillen's definition of the Chern character of a superconnec-
tion [93].
The results on the convergence of the transgressed Chern character (Theo-
rems 9.7 and 9.23) are new, but were inspired by an analogue of Theorem 9.23
for complex manifolds due to Gillet and Soule [67].
Section 4. The example presented in this section comes from Section 5 of
Atiyah and Singer [16]. However, since we have the Kirillov formula of Chap-
ter 8 at our disposal, we are able to give a formula for the Chern character
form of the index bundle.
Section 5. The techniques of this section are those of Atiyah and Singer [16].
Section 6. The zeta-function of the Laplace-Beltrami operator was introduced
by Minakshisundaram and Pleijel [86]. This- work was extended to elliptic
pseudodifferential operators by Seeley [99], and applied in the original proof
of the Atiyah-Bott fixed point formula [5] (see Section 6.2). The definition of
the zeta-function determinant of a Laplacian was given by Ray and Singer [94].
Section 7. Our definition of the determinant line bundle is taken from an
article by Bismut and Freed [34]; the construction is based on the ideas of
Quillen [92]. This theory began with the work of physicists, in particular
Alvarez-Gaume and Witten on anomalies of quantum field theories (which is
in fact precisely the theory of the Chern class of the determinant line bundle
of a family of Dirac operators); see for example [106].
Chapter 10. The Family Index Theorem
to
lim ch(At) = (27ri)-"/2 f A(M/B) ch(£/S),
B
f0
00
Str
(e) dt
318 10. The Family Index Theorem
(2) The one-form k E A' (M) (the mean curvature) is the trace of S:
Proof. It is easy to check that both sides are derivations of A(M), and that
they agree on horizontal forms. Thus, we only need to check that they agree
on the vertical one forms e'. We start by checking this when both sides are
evaluated on ek A fa: on the one hand,
f
-(V l Be', ek) - (V /Bek, et) + ([fa, ek], ei) = ([fa, ek], e4).
10.1. Riemannian Fibre Bundles 321
We must also evaluate both sides on f, A fa: but the equality comes down to
The following proposition shows that the choice of metric 9B on the base is
irrelevant in constructing V M/ B . In what follows, we will denote by g (X, Y)
the inner product of two vector fields X and Y with respect to the metric g,
or simply (X, Y) if the metric g is evident from the context.
Proof. This follows easily from the formula (1.18) for the Levi-Civita connec-
tion V9, which we will use constantly in this chapter:
2(VXY, Z) =([X,Y], Z) - ([Y, Z], X) + ([Z, X], Y)
+X(Y, Z) +Y(Z, X) - Z(X,Y).
If the vectors X, Y and Z are all vertical, that is, sections of T (M/B), then
the right-hand side reduces to the Levi-Civita connection on the fibres for the
vertical metric gM/B. On the other hand, if X is horizontal but Y and Z are
vertical, then [Y, Z] is vertical, so that ([Y, Z], X) vanishes, and we see that
Proof. We use the formula of Proposition 10.1. Since VM/B preserves the
metric gM/B on T(M/B), and hence VM/BVM/B = 0, we see that
as follows from the above lemma. But this equals -.1 (52(X, Y), Z) by the
definition of Q.
324 10. The Family Index Theorem
(5) If X is vertical and Y and Z are the horizontal lifts of vector fields on B,
then (V Y, Z) is equal to
9u = gM/B ® ugB.
In particular, go = limu_._,o gu is the degenerate metric that we introduced
above. The family of metrics gu is only a tool in investigating the geometry
of go. Let gu be the dual metric on TM,
Tu(eZfa)fa = -uSape'
ITu(f0, fo)fry = u (Sa7f'6
- 60ryfa)
Tu(eZej)fa = 0.
It is clear from these formulas that the family of actions Tu has a well-defined
limit as u -> 0, which we denote by T°:
ZTO(eiej)ek = Sikej _ Sjkei
(10.2) 2TO(e'fa)ej =5iifa
TO(fa fO)e' = 0
T°(a)fa=0 forallaEA2T*M.
It is important to note that T° (a) vanishes on T*B.
We will denote the negative of the adjoint of Tu(a) E End(T*M), where
a E A2T*M, by Tu(a) E End(TM), and the negative of the adjoint of T°(a)
by To (a). Note the formula
Zgu(Tu(a)X,Y) = (a,X AY),
for X,Y E r(M,TM) and a E A2T*M.
It is clear that A2T*M has a family of Lie brackets induced on it by the
maps Tu, defined by the formula
Iru[al,a2]u = [Tu(al),TU(a2)].
We denote the limit of [al, a2]u as u --+ 0 by [a/l, a2]o, which satisfies
TO[al,a2]o = [T°(al),T°(a2)]-
Let VM'u, u > 0, be the Levi-Civita connection on TM corresponding to
the metric gu, and let p® be the direct-sum connection introduced in the last
section. In the notation of this section, we may restate Proposition 10.6 as
VM'u = Ve + lru(w).
2
where w is the element of Al (M, A2T*M) of Definition 10.5. It follows that
the family VM'u of connections has a well-defined limit as u --k 0, which we
will denote by VT"M'0, and which is given by the formula
VM'0=0®+2T0(w)-
326 10. The Family Index Theorem
We denote by VT 'M,' and VT *M,0 the dual connections on TM, that is,
(10.3)
pT*M,0 = V® + 2r°(w)
Proof. Written as a four-tensor g u (Ru (W, X )Y, Z), the curvature of the metric
gu is a polynomial in u and u-1, and we must show that R is the constant
term in this expansion, by proving that
lim ugu(Ru(W, X) Y, Z) _ (RB(W, X) y' Z)B
u->o
From the formula VM,u = Ve + 27'u(w), we see that
(VM u) 2 _ (Ve)2 + [V ®, Tr(w)] + 7
[Tu(w), T.(w)J
2 8
2Tu(V11w)
ll = (V®)2+ + 2Tu(4[w,w]u])-
Since (Ve)2 = (7r*VB)2 + (VM/B)2, it follows that
gu (Ru (W, X )Y, Z) =u-1(ir*RB (W, X )Y, Z) B + (RM/B (W, X) y' Z)
+ (V®w) (W, X) (Y, Z) + 4 [w, w]u(W, X) (Y, Z),
where we recall that [w,w]u = (Tu)-1([-ru(w),Tu(w)]). The existence of the
limit as u -f 0 now follows from the fact that [w, w]u = [w, w]o + O(u), and
we have
will be the one of the main tools in calculating the family index of the family
D. In order to study E, we will write it as the limit of a family of Clifford
modules for the bundles of Clifford algebras C,,(M), all constructed on the
same underlying vector bundle as E.
In order to define the Clifford action
m,,, : C,, (M) -* End(E) '= End(AT*HM ®E),
it suffices to define the actions of T*HM C C,,,(M) and T*(M/B) C C,,(M).
The Clifford action of a horizontal cotangent vector a E r(M, T*HM) is given
by the formula
mu(a) = e(a) - ut(a),
acting on the first factor AT*HM in E, while the Clifford action of a vertical
cotangent vector simply equals its Clifford action on E. It is a straightforward
task to check that
mu(a)2 = -gu(a, a) for a E r(M,T*M).
In particular, we see that the limiting Clifford module action limu_,o mu is
just the degenerate action mo introduced above.
There are connections VE,0 and VF,,' on the Clifford module lE analogous
to the connections p® and that we have constructed on the bundle
T*M. As before, to construct these connections, we must choose a horizontal
metric 9B on B. The connection y1,6) on lE ^_' Alr*T*B ® 6 is defined by
taking the sum of the Levi-Civita connection 7r*VB on the bundle A-7r*T*B
with the connection De on E,
DE'e=7r*VB®1+1(D De;
[VX°, mo(a)] =
The restriction of VE'u, and in particular of VE,o, to each fibre of the bundle
M/B is independent of the horizontal metric gB used in its definition.
Modules on Fibre Bundles 329
Proof. The first step of the proof is to show that VE,® is a Clifford connec-
tion with respect to any of the Clifford actions mu,, if C,,,(M) is given the
connection V :
[V ,mu(a)] = mu(VXa)
This formula follows from considering the two cases, in which X respectively
horizontal and vertical. The proof that VE,u is a Clifford connection for
the action mu and the connection VTM,u on Cu(M) follows by observing
that, almost by definition, [mu (w (X) ), mu (a)] = mu (Tu (w (X) )cx) . Finally,
the independence of the horizontal metric 9B of the restriction of VE,u to a
fibre of the bundle M/B follows as it did for VM,u from the fact that it*VB
vanishes on vertical vectors.
In the rest of this chapter, we will make use of the frame {C2} U { f a} of T*M
introduced in the last section, as well as the dual frame {ei} U {f,,} of TM.
We adopt the convention for indices that i, j, ... , label vertical vectors, a,
Q, ... , label horizontal vectors, while a, b, ... , label all vectors, horizontal
or vertical. With this convention, we denote by ea any one element of the
cotangent frame {ei} U {fa}, and the Clifford action m. (e') by m'U.
In the next section, we will need a formula for the curvature of the Clifford
connection VE°o. First, observe that an easy generalization of Proposition 3.43
shows that the curvature (Ve) 2 of the connection Ve on £ equals
where RM'b = (RM/B (ea, eb)ej, ei) and Fe/s E A.2 (M, Endc(M/B) (£)) is
by definition the twisting curvature of the Clifford connection Ve on the
Clifford module 6 over C(M/B). In the special case in which the fibres
M/B have a spin-structure with spinor bundle S(M/B), we may write £ as
£ = S(M/B) ®W, where the twisting bundle W is a Hermitian vector bundle
with connection Vw, and the twisting curvature Fe/S is then nothing but the
curvature of the connection V1^'.
Let A be the natural action of End(TB) on ATB defined in (1.26). Then
A(RB) is given by the formula (3.15).
Proposition 10.11. The curvature of the connection VE,o on E equals
A(RB) + Zmo(R) + Fels.
Proof. We have
(VE'e + 2mo(w))2 = (VE,®)2 + 2[VE'®,mo(w)] + s[mo(w),m0(W)]
The proposition follows from the formulas
(1) (DE'e)2 = a((VB)2) + (V6)2 = A(RB) + 2mo(RM/B) +Fels,
(2) [VE'®, mo(w)] = mo(V(9w), and
(3) [mo(w), mo(w)] =mo([w,w]o)
330 10. The Family Index Theorem
The connection
2
on the bundle S(B) ® £ is a Clifford connection with respect to the Levi-
Civita connection V on C(M).
(3) If M is a spin manifold with spinor bundle SM, and £ is the relative
spinor bundle S(M/B) =' Homc(B)(lr*S(B),SM), then S(B) ®£ is nat-
urally isomorphic to SM, and V5(B)®e may be identified with the Levi-
Civita connection on S(M).
To finish this section, we give a lemma that we will need later.
Lemma 10.13. If E is any Clifford module for the Clifford algebra bundle
C,,, (M/), with action m, then we have the equality
2w(ei)(ej, fa)mumuma +
ija ia,Q
+ 2w(fa)(ei, fp)mwmuma
a(3i
10.3. The Bismut Superconnection 331
A2 = 1 a ]E,0 Mb
mOv6
IE 0
]
ab
_1 E[ma mb v,Ov,0
a b
0 0] a b
ab
+
ab
ma0 [VE,0
a mb]VE°
0 b' + 2i
ab
mamb a,
0 0[0E'0 VF,0
b ]'
ac i
Here we have used the facts that VM,O agrees with VM/B when restricted to a
fibre M, that the connection VM,O on TM is torsion-free, and the adjunction
formula
1`(vT.M'Oeb
VT'M,0eb = ac )2c = - (eb vM'0e )Cc
a a e a ec ,
c c
It follows that
A2 = OM/B + momo ([va'°, Ob'°] - 0[e eb]) .
z ab
where Rabcd = R(e°i ed)(eb, ea). The first term of this sum equals
-21 «perybaRB
ya«fi'
«p-Y6
Lemma 10.20. For each t > 0, the heat operator a-tF acting on r(M, E)
has a kernel
(x I e-t-, I y) E r(M x,,. M,7r*A® £ ®,r £*),
in the sense that if 0 E r(M, E), we have
(e-t.7=O)(x)
= I x I e-tF I y) 0(y) dy,
M=
Lemma 10.22. Extend the map Str : r(MZ,End(£Z)) -+ COO (M;,) to a map
Str : r(MZ, AZ (gEnd(£Z)) -> AZ ®COO(MZ). Then
ch(At) =
Str(e_,Ft)
= Str(e-t"' Y)
IM
= Str (SB (e-tF))
= SB (Str(e-t-F))
Now, the kernel of the operator e-t-F is by definition equal to kt(x, y), and
the lemma follows now from the fact that
Str(e-tom`) =
.
Let us show that the local family index theorem of Bismut is a corollary of
Strs/S(e-F9/S)
where
0'[,,q] (a) E AP, ® AqT*x(M/B) ®Endc(M)(Ex),
we have the formula
Stre. (a) = (-2i) /2 E StrE/S(o[P,n1(a)).
P
Since o[P,n] (kj) = 0 if 2j < n + p, we see that there is no singular term in the
asymptotic expansion of 6B (Strex (kt (x, x))) as t --> 0. The explicit formula
of Theorem 10.21 for Ej O2j(kj) implies the formula for the leading order in
the asymptotic expansion.
Bearing in mind the family McKean-Singer theorem of Chapter 9, we obtain
the cohomological form of the Atiyah-Singer family index theorem.
Corollary 10.24 (Atiyah-Singf er).
Let U = {x E V I lixii < e}, where e is smaller than the injectivity radius
of the fibre M2. We identify U by the exponential map x '---> exp.0 x with a
neighborhood of xo in M2. Let TM/B (xo, x) be the parallel transport map in
the bundle T (M/B) along the geodesic from x to xo, defined with respect to
the connection VM/B defined in Section 1; since we are working on a single
fibre M, this connection is nothing but the Levi-Civita connection of M2.
Using this map, we can identify the fibre T,,(M/B) with the space V, so that
the space of differential forms A(U) is identified with C' (U, AV*).
Choose an orthonormal basis dxi of V* = T*x0(M/B), and let ei E
r(U,T*(M/B)) = r(U,V*) be the orthonormal frame of T*(M/B) over U
obtained by parallel transport of dxi along geodesics by the Levi-Civita con-
nection on Mx. We denote by ea a local frame of T*M on U consisting of the
union of the cotangent frame ei and of a fixed basis f" of T*ZB.
Let E = £.,O be the fibre of the Clifford module £ at xo, let Sv be the
spinor space of V*, and let W = HomC(v.) (Sv, E), so that E is naturally
isomorphic to Sv ® W. Recall the Clifford action mo of T*M on Alr*T *B ® £,
for which vertical cotangent vectors act by Clifford multiplication on £, and
horizontal tangent vectors act by exterior multiplication on A = A7r*T*B.
Let r1(xo, x) be the parallel transport map in the bundle Az ® £ along the
geodesic from x to xo, defined with respect to the Clifford connection VE,O
of Section 2. Using this map, we can identify the fibre A® ®£. of E at x
with the space AH* ® Sv ® W, and the space of sections P(U, A. (9 £) with
C°°(U, AH* ® Sv ® W).
Although the bundle E over M. is the tensor product of the bundle £ with
the trivial bundle A, the term 2mo(w) in the definition of the connection
VE,0 means that parallel transport with respect to VE,O is not equal simply
to the tensor product of the identity on AZ with parallel transport in £ by the
connection Ve. Using the parallel transport map 1E(xo, x), we can analyse
the Clifford action mo of T*2M on E. by transporting it back to xo, where
it becomes an x-dependent action of T* = H* ® V* on A,, ® E.
mo (ei) = ci + E uiae°
a
mo(fa) = Ear
where ua are smooth functions on U satisfying ua(x) = O(1xD.
by (10.3), and the fact that w(X, Y) = 0 if both X and Y are vertical. Now,
we use the fact, proved in Proposition 10.10, that VE'O is a Clifford connection:
[VX°, mo(a)] = mo(VM'Oa). This shows that
[V i°,mo(e2)] w(R)(ei,f.)f
a
Integrating this ordinary differential equation with the initial condition that
at x = 0, mo (ei) = ci, we obtain the first formula.
The second formula is clear: since 7-0(a)f' = 0 for all a E A2T xM, the
connection VM,0 coincides with it*VB on the sub-bundle 7r*TB of horizontal
vectors, so that f a = VR f a = 0. C]
We need another simple lemma.
Lemma 10.26. In the trivialization of E over U induced by the parallel
transport map r E (xo, x), the connection VE'0 equals d + O, where
of the curvature of the bundle T(M/B) belong to A2T* and act on the space
C- (U, AT* (9 End (W)) -
Proposition 10.28. The differential operator uSu L Su 1 on C°°(U, AT* ®
End(W)) has a limit K when u tends to 0, equal to
aijxj)2
+ F.
i j
- Cul/2 oez° bu 1
I2
+ uSu mamb su 4FE/S(ea, eb)(u1/2x)
i / a<b
-u Su Vo°:e, _6.-I + 4rM= (u1/2x).
It is clear that both the third and fourth terms behave as O(ul/2) as u --+ 0,
while
u5umambbu lFE/S(ea, eb)(ul/2x) _ >Ea,bFab + 0(ul/2).
a<b a<b
Putting all of these equations together, and using the fact that ei = ai at
x = 0, we obtain the theorem.
Consider the time-dependent function on U given by transferring the heat
kernel Kx I e-l"' I xo) to the open set U C TT0Mx by means of the parallel
transport map TE (x0, X):
k(t, x) = TE(xo, x) (x I e-t-F I xo), where x = expx0 x.
Then k(t, x) lies in C°°(U, AH* ® End(Sv) (9 End(W)); using the symbol
map End(Sv) -> C(V*) --+ AV*, we may think of k(t,x) as a map from U
to AV* ® AH* 0 End(W) ^_' AT* ® End(W), and is a solution to the heat
equation
(at + L) k(t, x) = 0
with initial condition limt_,0 k(t, x) = S(x). As in Chapter 4, we rescale the
heat kernel as follows.
Definition 10.29. The rescaled heat kernel r(u, t, x) equals
'yi (t, x) on ][8 x V such that for every integer N, the function rN (u, t, x) defined
by
2N
qt(x) E ui/2yi(t, x)
i=-n
approximates r(u, t, x) in the following sense: for N > j + IaI/2,
I1Olta.'(r(u,t,x) -rN(u,t,x))II <_ C'(N,j,a)vN,
for 0 < u < 1 and (t, x) E (0,1) x U. Just as in Chapter 4, yi(0, 0) = 0 if
i ,-E 0, while -yo (0, 0) = 1. Using the fact that L(u) = K + O(u1/2), we can
show in the same way as when the base B is a point that there are no poles
in the Laurent series expansion of r(u, t, x), that is, that 'yi(t, x) = 0 for i < 0
so that
r(u, t, x) ,., qt (x) E uZ/2,yi(t, x).
i=0
The limit limu_,o r(u, t, x) = qt (x)'yo(t, x) is a formal solution to the heat
equation
(at + K)gt(x)-yo(t, x) = 0
with initial condition yo (0, 0) = 1. The following theorem follows from Theo-
rem 4.12.
Theorem 10.30. The limit limu.. 0 r(u, t, x) exists and is given by the for-
mula
tRM/B/2(sinh(tRM/B/
(47rt) -n/2 det1/2 exp(-tF)
2))
1 RM/B/2
x exp(-4t
\x coth(tRM/B/2)
I I
over the manifold B = B x R+. Consider the special case in which A3 is the
rescaled superconnection
(6B)-1,
As = 81126E . A
with curvature J t = At .
a l(t)
1 _ j=1
tj/2-laj/2,
fch(
where aj/2 E A(B).
(2) The Chern form ch(At) is given by the transgression formula
= (2i)/2
f MID
A(M/B) ch(E/S) - d J a(s) ds.
0
10.5. The Transgression Formula 345
Proof. It is clear that Parts (2) and (3) are an immediate consequence of
Part (1) and the explicit formula for limt_,o ch(At) which comes from the
local family index theorem.
Let I[8+ be the positive real line (0, co), and consider the family of manifolds
M = M x ]f8+ over the base b = B x R+. To prove that the function s F-+ a(s)
is integrable as s -- 0, we will apply the family index theorem to this family,
with respect to the following additional data:
(1) the vertical metric gM,B on M equals s-1gM/B;
(2) the connection on the family M -- B equals the natural extension of
the given connection on the family M/B in the directions tangential to
B, and the trivial one in the direction tangential to R+, for which the
horizontal tangent space is spanned at each point by 8/8s;
(3) the Clifford bundle over M is E x R+, with Clifford connection VE +dx+.
We denote by S, k -and T, the metric and tensors corresponding to the above
data on M, and by A and F the corresponding Bismut superconnection and
its curvature. Let n = dim(M) - dim(B) be the dimension of the fibres of
the family M -> B.
Lemma 10.33. (1) If X and Y are vertical vector fields on M, then the
tensor S(X, Y) equals
Pro Given vector fields on M, we may extend them to vector fields on all
of M by taking the extension which is independent of s E R+. Denote by 83
the vector field on M which generates translation along R+. If X and Y are
346 10. The Family Index Theorem
(S(X,Y),as) = 2as(X,Yif
a
- 2
ass-1(X,I') _ -zs-2(X,Y),
If we take the square of the above formula for the total Bismut supercon-
nection, we see that
A2 As + ass ds,
The theorem will follow from the local family index theorem applied to the
Bismut superconnection A. By this theorem, we know that b,' Stre (e-tF_) E
A(B) has an asymptotic expansion in t as t --+ 0 of the form
where Oj/2 E A(B) and aj/2 E A(B) are differential forms on b which do
not involve ds. Using the fact that
aAst aAt
as s=1 at
Define two one-forms c (s,A)[1] E .A'(B), given by traces over lr*£+ and
7r*£- respectively:
± A)[1] =
a(s, (aA 2
ass e-
By Lemma9.42, we see that a+(s, A)[l] = a-(s,,\)[1].
As in Section 9.7, we denote the one-forms 2 LI Mt-.o f too at (s, A) [1] ds by
,Oa ; these satisfy p\+ = j3 . Thus, the sum i3X + Qa is real, while the
difference 0,+\ -#a is imaginary. Also, we proved that
Lemma 10.34. The difference a+(s,.X) [i] - a- (s,,\) [1] is bounded by a mul-
tiple of s-1/2 in A(UA) for small s, and hence
= ((Vdet(%[o,a)))2 + 2d(/3a - as ),
since the differential form 0,+ + (3a is closed. The theorem follows from
Lemma 10.34.
350 10. The Family Index Theorem
where A. and chg(E/S) are the equivariant A-genus of N and the equivariant
relative Chern character of E.
10.7. The Kirillov Formula and Bismut's Index Theorem 351
In the fibre bundle M -> B, the tensor S is equal to zero, and hence
its trace k is also zero. To calculate the Bismut superconnection, we must
describe the curvature tensor Il of M.
Proof. From the formula for A given in Proposition 10.15, we see that A(01 _
DN and A[21 = 4c(SZp). To check that
jJ CaVEa = Vir.E
a
352 10. The Family Index Theorem
we may assume that P is trivial, as in the proof of Lemma 10.36. We see that
E«QE
« _ E«vaEs9+9(8 )N
a
_ I ILN(0(8«)N))
«
= E--«L'(9( )N)
_ > 6kGE(Xk)-
k
we see that
dAt dAt 1 dAt t, Qt
dt = [ dt
, At] =l d ]
and hence that
-A2 ) -A,
dt
St r(e _ - St r ( Q te 0,
[ , /
since the supertrace vanishes by Lemma 3.49. O
We have seen in Section 9.4 that Kirillov's formula for indG(e-X , DN) im-
plies that
f
(27ri)-n/2
tlimo A(M/B) ch(e/S).
B
Proof. This follows from Theorem 10.38 and the fact that supercom-
mutes with DN and c(cl):
A2 = (D + 4C(fP))2 + (V7r.E)2
_ (D + IC(gp))2 + L(clp).
From this lemma, we see that the coefficients of the asymptotic expansion
of (p I e-1A2 I p) depend polynomially on 52k, and are obtained from the co-
efficients of the asymptotic expansion of (p I e-tx(x) I p) by replacing X by
c p.
The converse result is also true: the local family index theorem implies the
local Kirillov formula. To show this, we use the following lemma from the
theory of classifying spaces.
Lemma 10.40. There exist fibre bundles PN -> BN for which the Chern-
Weil map C[g]G -+ A(BN) is an injection up to polynomials of degree N, for
anyN>0.
Proof. Let V be a faithful unitary representation of G. From the embedding
we see that U(V (&CN) acts freely on PN = U(V (gC2N)/ U(V (&C"T ). There is
an embedding of G in U(V ®CN), in which we map g E G to g®I. Let BN =
PN/G. The result follows from the fact that if m > n, iri(U(m)/U(n)) = 0
for i < 2n.
The local index theorem for families for the bundle PN -+ BN implies the
local Kirillov formula for K(X) up to order N. Since N is arbitrary, we
obtain the local Kirillov formula to all orders.
354 10. The Family Index Theorem
Bibliographic Notes
Sections 1-4. The results of the first four sections of this chapter are due to
Bismut [30], although the proof of the main result (Theorem 10.21), the local
family index theorem, follows our proof of the local index theorem in Chap-
ter 4 of this book. In his work, Bismut uses the term Levi-Civita superconnec-
tion where, for obvious reasons, we prefer the term Bismut superconnection.
Theorem 10.19 is new, and gives a natural interpretation of the Bismut super-
connection. For closely related approaches to the family index theorem, see
the articles of Berline-Vergne [26], Donnelly [51] and Zhang [108].
Sections 5 and 6. The "anomaly" formula for the curvature of the natural
connection on the determinant line bundle was proved by Witten in the special
case where there are no zero modes (see for example [106]), based on the work
of many theoretical physicists. Further special cases were proved by Atiyah-
Singer [17] and Quillen [92], and the theorem is stated and proved in full
generality in the article of Bismut and Freed [35]. In this chapter, it appears
in a generalized form inspired by the article of Gillet and Soule [67].
Section 7. The relationship between the family index theorem for a family
with compact structure group and the equivariant index theorem is in Atiyah
and Singer [16]. The remarkable observation that such a relationship holds at
the level of differential operators, as in Proposition 10.39, is due to Bismut [30].
For an extension of the results of this chapter in the direction of algebraic
geometry, see Bismut, Gillet and Soule [36].
Bibliography
[43] R. Bott. A residue formula for holomorphic vector fields. J. Diff. Geom. 1 (1967),
311-330.
[44] R. Bott and L. Tu. Differential forms in algebraic topology. Graduate Texts in Math.
82, Springer-Verlag, Berlin-Heidelberg-New York, 1982.
[45] H. Cartan. La transgression dans un groupe de Lie et dans un espace fibre principal.
In Colloque de Topologie, C. B. R. M., Bruxelles, 1950, pp. 57-71.
[46] H. Cartan. Theoreme d'Atiyah-Singer sur 1'indice d'un operateur differentiel.
Seminaire Cartan-Schwartz, 16e annde: 1963/64, Secretariat mathSmatique, Paris,
1965.
[47] S. S. Chern. A simple intrinsic proof of the Gauss-Bonnet formula for closed Rie-
mannian manifolds. Ann. Math. 45 (1944), 741-752.
[48] S. S. Chern and J. Simon. Characteristic forms and geometric invariants. Ann. Math.
99 (1974), 48-69.
[49] C. Chevalley. The algebraic theory of spinors, Columbia University Press, New York,
1954.
[50] A. Connes and H. Moscovici. The L2-index theorem for homogeneous spaces of Lie
groups. Ann. Math. 115 (1982), 291-330.
[51] H. Donnelly. Local index theorem for families. Michigan Math. J. 35 (1988), 11-20.
[52] H. Donnelly and V. K. Patodi. Spectrum and the fixed point set of isometries. Topol-
ogy 16 (1977), 1-11.
[53] M. Duflo. Operateurs transversalement elliptiques et former differentielles
dquivariantes. Sem. Bourbaki (1994-95), no. 791.
[54] M. Duflo, G. Heckman and M. Vergne. Projection d'orbites, formule de Kirillov et
formule de Blattner. Mem. Soc. Math. Prance, 15 (1984), 65-128.
[55] M. Duflo and M. Vergne. Orbites coadjointes et cohomologie equivariante. In The or-
bit method in representation theory, Progress in Mathematics, vol. 82, Birkhauser,
Boston, 1990.
[56] M. Duflo and M. Vergne. Cohomologie 6quivariante et descente. Asterisque 215
(1993), 5-108.
[57] J. J. Duistermaat and G. Heckman. On the variation in the cohomology of the sym-
plectic form of the reduced phase space. Invent. Math. 69 (1982), 259-268. Adden-
dum, 72 (1983), 153-158.
[58] A.Erdelyi. Asymptotic expansions, Dover, New York, 1956.
[59] D. Friedan and P. Windey. Supersymmetric derivation of the Atiyah-Singer index
theorem. Nucl. Phys. B235 (1984), 394-416.
[60] E. Getzler. Pseudodifferential operators on supermanifolds and the index theorem.
Comm. Math. Phys. 92 (1983), 163-178.
[61] E. Getzler. A short proof of the Atiyah-Singer index theorem. Topology 25 (1986),
111-117.
[62] E. Getzler. The Bargmann representation, generalized Dirac operators and the index
of pseudodifferential operators on R1. To appear, Contemporary Math.
[63] P. B. Gilkey. Curvature and the eigenvalues of the Laplacian for elliptic complexes.
Adv. in Math. 10 (1973), 344-382.
[64] P. B. Gilkey. Curvature and the eigenvalues of the Dolbeault complex for Kaehler
manifolds. Adv. in Math. 11 (1973), 311-325.
[65] P. B. Gilkey. Lefschetz fixed point formulas and the heat equation. In Partial diff-
erential equations and geometry. Proceedings of the Park City conference, 1977,
ed. C. Byrnes, Lecture notes in pure and applied math., vol. 48, Marcel Dekker,
NewYork-Basel, 1979, pp. 91-147.
358 Bibliography
[66] P. B. Gilkey. Invariance, the heat equation and the Atiyah-Singer index theorem,
Publish or Perish, Washington, 1984.
[67] H. Gillet and C. Soule. Analytic torsion and the arithmetic Todd genus. Topology 30
(1991), 21-54.
[68] Harish-Chandra. Fourier transforms on a Lie algebra, I. Amer. J. Math. 79 (1957),
193-257.
[69] F. Hirzebruch. Topological methods in algebraic geometry, 3rd ed., Grundlehren der
mathematische Wissenschaften 131, Springer-Verlag, Berlin-Heidelberg-New York,
1966.
[70] F. Hirzebruch. The signature theorem: reminiscences and recreation. In Prospects
in mathematics, Annals of Mathematics Study 70, Princeton Univ. Press, 1971, pp.
3-31.
[71] M. Karoubi. K-theory, an introduction, Grundlehren der mathematische Wis-
senschaften 226, Springer-Verlag, Berlin-Heidelberg-New York, 1978.
[72] A. A. Kirillov. Method of orbits in the theory of unitary representations of Lie groups.
Funktsional Anal. i Prilozhen. 2 (1968), no. 1, 96-98.
[73] A. A. Kirillov. Elements of the theory of representations, Grundlehren der mathe-
matische Wissenschaften 220, Springer-Verlag, Berlin-Heidelberg-New York, 1976.
[74] S. Kobayashi and K. Nomizu. Foundations of differential geometry, J. Wiley and
Sons, New York-London-Sydney, 1963.
[75] B. Kostant. Quantization and unitary representations. In Modern analysis and ap-
plications, Lecture Notes in Mathematics 170, Springer-Verlag, Berlin-Heidelberg-
New York, 1970, pp. 87-207.
[76] T. Kotake. The fixed-point formula of Atiyah-Bott via parabolic operators. Comm.
Pure Appl. Math. 22 (1969), 789-806.
[77] T. Kotake. An analytical proof of the classical Riemann-Roch theorem. In Global
analysis (Proc. Sympos. Pure Math. 16), Amer. Math. Soc., Providence, 1970, pp.
137-146.
[78] J. D. Lafferty, Y. L. Yu and W. P. Zhang. A direct geometric proof of the Lefschetz
fixed point formulas. Trans. Amer. Math. Soc. 329 (1992), 571-583.
[79] H. B. Lawson, Jr. and M-L. Michelson. Spin geometry, Princeton Mathematical Se-
ries 38, Princeton Univ. Press, Princeton, 1989.
[80] A. Lichnerowicz. Spineurs harmoniques. C. R. Acad. Sci. Paris. Sdr. A 257 (1963),
7-9.
[81] V. Mathai and D. Quillen. Superconnections, Thom classes and equivariant differen-
tial forms. Topology 25 (1986), 85-110.
[82] H. McKean and I. M. Singer. Curvature and the eigenvalues of the Laplacian. J. Diff.
Geom. 1 (1967), 43-69.
[83] J. Milnor. Morse theory, Annals of Mathematics Study 51, Princeton Univ. Press,
Princeton, 1963.
[84] J. W. Milnor. Remarks concerning spin manifolds. In Differential and combinatorial
topology, a symposium in honor of Marston Morse, S. S. Cairns (ed.), Princeton
Univ. Press, Princeton, 1965, pp. 55-62.
[85] J. W. Milnor and J. D. Stasheff. Characteristic classes, Annals of Mathematics Study
76, Princeton Univ. Press, Princeton, 1974.
[86] S. Minakshisundaram and A. Pleijel. Some properties of the eigenfunctions of the
Laplace operator on Riemannian manifolds. Canad. J. Math. 1 (1949), 242-256.
Bibliography 359
[87] R. S. Palais, ed. Seminar on the Atiyah-Singer index theorem, Annals of Mathemat-
ics Study 57, Princeton Univ. Press, Princeton, 1965.
[88] V. K. Patodi. Curvature and the eigenforms of the Laplace operator. J. Difj. Geom.
5 (1971), 233-249.
[89] V. K. Patodi. An analytic proof of the Riemann-Roch-Hirzebruch theorem. J. Difj.
Geom. 5 (1971), 251-283.
[90] V. K. Patodi. Holomorphic Lefschetz fixed point formula. Bull. Amer. Math. Soc.
79 (1973), 825-828.
[91] D. Quillen. The spectrum of an equivariant cohomology ring I and II. Ann. Math.
94 (1971), 549-602.
[92] D. Quillen. Determinants of Cauchy-Riemann operators over a Riemann surface.
Funktsional Anal. i Prilozhen. 19 (1985), no. 1, 37-41.
(93] D. Quillen. Superconnections and the Chern character. Topology 24 (1985), 89-95.
[94] D. B. Ray and I. M. Singer. R-torsion and the Laplacian on Riemannian manifolds.
Adv. Math. 7 (1971), 145-210.
[95] D. B. Ray and I. M. Singer. Analytic torsion for complex manifolds. Ann. Math. 98
(1973), 154-177.
[96] J. Roe. Elliptic operators, topology and asymptotic methods, Pitman Res. Notes in
Math. Series 179, Longman Scientific and Technical, Harlow, 1988.
[97] W. Rossman. Kirillov's character formula for reductive groups. Invent. Math. 48
(1978), 207-220.
[98] W. Rossman. Equivariant multiplicities on complex varieties. Astdrisque 113-114
(1989),313-330.
[99] R. Seeley. Complex powers of an elliptic operator. In Proc. Sympos. Pure Math. 10,
Amer. Math. Soc., Providence, 1967, pp. 288-307.
(100] R. Seeley. A proof of the Atiyah-Bott-Lefschetz fixed point formula. An. Acad. Brasil
Cience 41 (1969), 493-501.
[101] G. B. Segal. Equivariant K-theory. Inst. Hautes Etudes Sc. Publ. Math. 34 (1968),
129-151.
[102] M. Vergne. Formule de Kirillov et indice de l'operateur de Dirac. In Proceedings
of the International Congress of Mathematicians, Warszawa, 1983, pp. 921-93.4,
North Holland, Amsterdam-New York Oxford, 1984.
[103] M. Vergne. Geometric quantization and equivariant cohomology. In First European
Congress of Mathematics. I. pp. 249-295. Progress in Mathematics, Birkhaiiser,
Basel-Boston-Berlin.
[104] R. O. Wells, Jr. Differential analysis on complex manifolds. Graduate texts in math-
ematics 65, Springer-Verlag, New York, 1980.
[105] E. Witten. Supersymmetry and Morse theory. J. Dif. Geom. 17 (1982), 661-692.
[106] E. Witten. Global gravitational anomalies. Comm. Math. Phys. 100 (1985), 197-
229.
[107] Y. L. Yu. Local index theorem for Dirac operator. Acta Math. Sinica, New Series
3(2) (1987), 152-169.
[108] W. P. Zhang. The local Atiyah-Singer index theorem for families of Dirac opera,
tors. In Differential geometry and topology, Lecture Notes in Mathematics 1369,
Springer-Verlag, Berlin-Heidelberg-New York, 1989, pp. 351-366.
List of Notations