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 "à 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.

Let $(𝒪,\sum ,F_{\infty })$ be an arithmetic ring of Krull dimension at most $1,S=\text{Spec}\left(𝒪\right)$ and $(𝒳\to S;{\sigma }_1,...,{\sigma }_n)$ a pointed stable curve. Write $𝒰=𝒳\setminus {\cup }_j{\sigma }_j\left(S\right)$. For every integer $k>0$, the invertible sheaf ${\omega }_{𝒳/S}^{k+1}(k{\sigma }_1+...+k{\sigma }_n)$ inherits a singular hermitian structure from the hyperbolic metric on the Riemann surface ${𝒰}_{\infty }$. In this article we define a Quillen type metric ${∥·∥}_Q$ on the determinant line ${\lambda }_{k+1}=\lambda {\omega }_{𝒳/S}^{k+1}$$(k...$

We prove an analog in Arakelov geometry of the Grothendieck-Riemann-Roch theorem.

We propose a definition for analytic torsion of the contact complex on contact manifolds. We show it coincides with Ray–Singer torsion on any $3$-dimensional CR Seifert manifold equipped with a unitary representation. In this particular case we compute it and relate it to dynamical properties of the Reeb flow. In fact the whole spectral torsion function we consider may be interpreted on CR Seifert manifolds as a purely dynamical function through Selberg-like trace formulae, that hold also in variable...