A fixed point formula of Lefschetz type in Arakelov geometry II: a residue formula

This is the second of a series of papers dealing with an analog in Arakelov geometry of the holomorphic Lefschetz fixed point formula. We use the main result of the first paper to prove a residue formula "`a la Bott" for arithmetic characteristic classes living on arithmetic varieties acted upon by a diagonalisable torus; recent results of Bismut-Goette on the equivariant (Ray-Singer) analytic torsion play a key role in the proof.