Proof of the local index formula and some of its applications
Raphaël Ponge
2004-01-01
Abstract:We give a new short proof of the index formula of Atiyah and Singer based on combining Getzler’s rescaling with the (fairly standard) Greiner’s approach of the heat kernel asymptotics. As application we can rather easily compute the Connes-Moscovici cyclic cocycle of even and odd Dirac spectral triples, and then recover the Atiyah-Singer index formula (even case) and the Atiyah-Patodi-Singer spectral flow formula (odd case). The Atiyah-Singer index theorem ([AS1], [AS2]) gives a cohomological interpretation of the Fredholm index of an elliptic operator, but it reaches its true geometric content in the case Dirac operator for which the index is given by a local geometric formula. The local formula is somehow as important as the index theorem since, on the one hand, all the common geometric operators are locally Dirac operators ([ABP], [BGV], [LM], [Ro]) and, on the other hand, the local index formula is equivalent to the full index theorem ([ABP], [LM]). It was then attempted to bypass the index theorem to prove the local index formula. The first direct proofs were made by Patodi, Gilkey, Atiyah-Bott-Patodi, partly by using invariant theory (see [ABP], [Gi]). Some years later Getzler ([Ge1], [Ge2]) and Bismut [Bi] gave purely analytic proofs, which then led to many generalizations of the local index formula (see also [BGV], [Ro]). The short proof of Getzler [Ge2] combines the Feynman-Kac representation of the heat kernel with an ingenious trick, the Getzler rescaling. In this paper we give another short proof by combining Getzler rescaling with Greiner’s approach of the heat kernel asymptotics ([Gr], [BGS]). Our approach is quite close to other proofs like those by Melrose [Me, Chap. 8], Simon [CFKS, Chap. 12], and Taylor [Ta, Chap. 10], but here the justification of the convergence of the supertrace of the heat kernel, which is the key in the proof, follows from very elementary consideration on Getzler’s orders (lemma 2.7). In fact, the proof shows a more general result and so implies a differentiable version of the asymptotics for the supertrace of the heat kernel, which is hardly accessible by means of a probabilistic representations of the heat kernel as in [Ge2] (see proposition 2.12). In the second part of the paper we show how proposition 2.12 allows us to easily compute the even CM cyclic cocycle [CM1] associated to a Dirac spectral triple, both in the even case (theorem 4.1) and in the odd case (theorem 5.1). Therefore, we can bypass the use of Getzler’s asymptotic pseudodifferential calculus [Ge1] of the previous computations of the CM cocycle for Dirac spectral triples ([CM1, remark II.1], [CH], [Le]). Recall that the CM cocycle is important because it represents the cyclic cohomology Chern character of a spectral triple (i.e. a ”noncommutative manifold”) and is given by a formula which is local in the sense of noncommutative geometry ([CM1]; see also [Hi] and section 3). Thus it allows the local index formula to hold in a purely operator theoretic setting. For instance, the computation for Dirac spectral triples allows us to recover, in the even case, the local index formula of Atiyah-Singer and, in the odd case, the spectral flow formula of Atiyah-Patodi-Singer [APS] (cf. [CM1, remark II.1] and sections 4 and 5; see also [Ge3] for the odd case).