Annals of Mathematics, 159 (2004), 53–216
Equivariant de Rham torsions
By Jean-Michel Bismut and Sebastian Goette*
Abstract The purpose of this paper is to give an explicit local formula for the difference of two natural versions of equivariant analytic torsion in de Rham theory. This difference is the sum of the integral of a Chern-Simons current and of a new invariant, the V -invariant of an odd dimensional manifold equipped with an action of a compact Lie group. The V -invariant localizes on the critical manifolds of invariant Morse-Bott functions. The results in this paper are shown to be compatible with results of Bunke, and also our with previous results on analytic torsion forms.
Contents Introduction 1. The classical equivariant de Rham torsion 2. The Chern equivariant infinitesimal analytic torsion
3. Equivariant fibrations and the classes VK (M/S)
4. Morse-Bott functions, multifibrations and the class VK (M/S) 5. A comparison formula for the equivariant torsions 6. A fundamental closed form 7. A proof of the comparison formula 8. A proof of Theorem 7.4 9. A proof of Theorem 7.5 10. A proof of Theorem 7.6 11. A proof of Theorem 7.7 12. A proof of Theorem 7.8 References
*Jean-Michel Bismut was supported by Institut Universitaire de France (I.U.F.). Sebas- tian Goette was supported by a research fellowship of the Deutsche Forschungsgemeinschaft (D.F.G.). 54 JEAN-MICHEL BISMUT AND SEBASTIAN GOETTE
Introduction
In a previous paper [BGo1], we have established a comparison formula for two natural versions of the holomorphic equivariant analytic torsion. This com- parison formula is related to a similar formula obtained in [Go] for η-invariants. In this paper, we establish a corresponding formula, where we compare two natural versions of equivariant analytic torsion in de Rham theory. On one hand the classical equivariant version [LoRo] of the Ray-Singer analytic tor- sion [RS] appears. On the other hand, we construct an adequately normalized version of the infinitesimal equivariant torsion, by imitating the construction of the Chern analytic torsion forms of [BGo2], which are themselves a renor- malized version of the analytic torsion forms of Bismut-Lott [BLo]. Our equiv- ariant infinitesimal torsion is a renormalized version of the torsion suggested by Lott [Lo]. The difference of these two torsions is expressed as the integral of local quantities. One of these is an apparently new invariant of odd-dimensional manifolds equipped with the action of a Lie group. This invariant localizes naturally on the critical manifolds of an invariant Morse-Bott function. Now, we will explain our results in more detail. Let X be a compact manifold, and let F, ∇F be a flat vector bundle on X. Let Ω· (X, F) ,dX be the de Rham complex of F -valued smooth differential forms on X, and let · · N be the number operator of Ω (X, F). Let H (X, F) be the cohomology of Ω· (X, F) ,dX . Let gTX,gF be metrics on TX,F. Let dX,∗ be the adjoint of X · d with respect to the obvious L2 Hermitian product on Ω (X, F). Let G be a compact Lie group acting on X, whose action lifts to F , and which preserves ∇F ,gTX,gF . Then G acts on Ω· (X, F) ,dX and on H·(X, F). If g ∈ G, set −s TX F F X,2 (0.1) ϑg g , ∇ ,g (s)=−Trs Ng D .