Torsion and fibrations
We study the behaviour of analytic torsion under smooth fibrations. Namely, let F \to E \to^{f} B be a smooth fiber bundle of connected closed oriented smooth manifolds and let $V$ be a flat vector bundle over $E$. Assume that $E$ and $B$ come with Riemannian metrics and $V$ comes with a unimodular (not necessarily flat) Riemannian metric. Let $ρ_{an}(E;V)$ be the analytic torsion of $E$ with coefficients in $V$ and let $\Pf_B$ be the Pfaffian $\dim(B)$-form. Let $H^q_{dR}(F;V)$ be the flat vector bundle over $B$ whose fiber over $b \in B$ is $H^q_{dR}(F_b;V)$ with the Riemannian metric which comes from the Hilbert space structure on the space of harmonic forms induced by the Riemannian metrics. Let $ρ_{an}(B;H^q_{dR}(F;V))$ be the analytic torsion of $B$ with coefficients in this bundle. The Leray-Serre spectral sequence for deRham cohomology determines a certain correction term $ρ^{Serre}_{dR}(f)$. We prove $ρ_{an}(E;V) = \int_B ρ_{an}(F_b;V) \cdot \Pf_B + \sum_{q} (-1)^q \cdot ρ_{an}(B;H^q_{dR}(F;V)) + ρ^{Serre}_{dR}(f)$.