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)$.

34 pages, AMS-Latex2e