
Proof.
Suppose that
$({E}_{1},{\partial}_{0})$
and
$({E}_{2},{\partial}_{0})$
are unipotent smooth bundle pairs over
$B$
that are fiber homotopy equivalent. Then we want to show that
$${\tau}^{\delta}({E}_{1},{\partial}_{0})={\tau}^{\delta}({E}_{2},{\partial}_{0}).$$
By the thickening lemma we can make the fiber dimension of
$({E}_{2},{\partial}_{0})$
arbitrarily large. Then we can approximate the fiber homotopy equivalence by a fiberwise smooth embedding
$$g:({E}_{1},{\partial}_{0})\to ({D}_{2},{\partial}_{0}).$$
Using the thickening lemma again we can assume that
$g$
is a codimension
$0$
embedding. The complement of the image of
$g$
is a unipotent fiberwise
$h$
cobordism with trivial
${\tau}^{\delta}$
by the previous lemma. Thus
${\tau}^{\delta}({E}_{1},{\partial}_{0})={\tau}^{\delta}({D}_{2},{\partial}_{0})$
by additivity. □
7.2 Vanishing of the fiber homotopy invariant
The final step in the proof of Theorem 3.3 is to show the following.
Lemma 7.5.
Any higher torsion invariant
${\tau}^{\delta}$
which is also a fiber homotopy invariant of unipotent smooth bundle pairs must be zero.
Since
${\tau}^{\delta}$
is a fiber homotopy invariant, it is well defined on any fibration pair
$(Z,C)\to B$
with fiber
$(X,A)$
which is unipotent in the sense that
${H}_{*}(X;\mathbb{Q})$
and
${H}_{*}(A;\mathbb{Q})$
are unipotent as
${\pi}_{1}B$
modules and smoothable in the sense that it is fiber homotopy equivalent to a smooth bundle pair
$(E,{\partial}_{0})$
with compact manifold fiber
$(F,{\partial}_{0})$
. By definition, the relative torsion is related to the absolute torsion by
We will examine what it means for a fibration
$X\to Z\to B$
to be unipotent and smoothable in terms of diffeomorphism spaces of compact manifolds. Suppose that
$M\to E\to B$
is a smoothing of
$Z\to B$
. Then
$M$
is a compact smooth manifold homotopy equivalent to
$X$
. By taking the product with a high dimensional disk we may assume that the inclusion map of the boundary
$\partial M\hookrightarrow M$
is highly (at least
$4k$
) connected. The structure group of the bundle
$E\to B$
will be a subgroup of the diffeomorphism group of
$M$
consisting of orientation preserving diffeomorphisms which act unipotently with respect to a fixed flag
$\mathcal{\mathcal{F}}$
in the rational homology of
$M$
, i.e., these are diffeomorphisms which preserve the flag and act as the identity on the successive quotients. Let
$Dif{f}_{\mathcal{\mathcal{F}}}\left(M\right)$
denote the space of such diffeomorphisms with the
${C}^{\infty}$
topology. Then the smooth bundle
$E\to B$
is classified by a mapping
$B\to BDif{f}_{\mathcal{\mathcal{F}}}\left(M\right)$
.
$$\begin{array}{c}{\tau}^{\delta}(Z,C)={\tau}^{\delta}\left(Z\right){\tau}^{\delta}\left(C\right).\end{array}$$  (7.1) 
The difference torsion comes from a universal invariant
$${\tau}^{\delta}\in {H}^{4k}\left(BDif{f}_{\mathcal{\mathcal{F}}}\right(M);\mathbb{R})$$
associated to the universal bundle over
$BDif{f}_{\mathcal{\mathcal{F}}}\left(M\right)$
with fiber
$M$
. Let
${M}_{0}\subset M$
be the closure of the complement of a tubular neighborhood of
$\partial M$
. Then
${M}_{0}$
is a deformation retract of
$M$
. So, any diffeomorphism of
$M$
which is the identity on
${M}_{0}$
will automatically induce the identity in homology. Thus we have an inclusion map
$j:Diff(Mrel{M}_{0})\hookrightarrow Dif{f}_{\mathcal{\mathcal{F}}}\left(M\right)$
.
Proposition 7.6.
The universal difference invariant
${\tau}^{\delta}$
maps to zero under the induced map
$${j}^{*}:{H}^{4k}\left(BDif{f}_{\mathcal{\mathcal{F}}}\right(M);\mathbb{R})\to {H}^{4k}\left(BDiff\right(Mrel{M}_{0});\mathbb{R}).$$
 Proof. When the universal bundle with fiber $M$ is pulled back to $BDiff(Mrel{M}_{0})$ it will contain a trivial ${M}_{0}$ bundle. The remainder is an $h$ cobordism bundle for $\partial M$ . Therefore ${\tau}^{\delta}$ of this pullback is zero by additivity and Lemma 7.3 . □
Proposition 7.7.
There is a fibration sequence
$$Diff(Mrel{M}_{0})\to Dif{f}_{\mathcal{\mathcal{F}}}\left(M\right)\to rEm{b}_{\mathcal{\mathcal{F}}}({M}_{0},intM)$$
where
$Em{b}_{\mathcal{\mathcal{F}}}({M}_{0},intM)$
is the space of orientation preserving smooth embeddings
${M}_{0}\to intM$
which is unipotent on
${H}_{*}({M}_{0};\mathbb{Q})\sim ={H}_{*}(M;\mathbb{Q})$
with respect to the flag
$\mathcal{\mathcal{F}}$
and
$r$
is the restriction map.
The following lemma and its proof goes along the lines of a discussion I had with John R. Klein.
 Proof. See the appendix of [7] . □
Lemma 7.8.
Given unipotent smoothable fibrations
$(Z,C)$
and
$Y$
over
$B$
and any continuous mapping
$f:C\to Y$
over
$B$
the union
$Y{\cup}_{C}Z$
is also unipotent and smoothable with
$${\tau}^{\delta}\left(Y{\cup}_{C}Z\right)={\tau}^{\delta}\left(Y\right)+{\tau}^{\delta}(Z,C).$$
 Proof. Unipotence follows from the MayerVietoris sequence for the fiber homology of $Y{\cup}_{C}Z$ . Additivity of torsion gives the formula. Smoothing is easy, very similar to the construction in subsection 4.3 . □
Lemma 7.9.
For any unipotent smoothable fibration pair
$(Z,C)$
the fiberwise smash
$Z{/}_{B}C$
and fiberwise suspension
${\Sigma}_{B}\left(Z{/}_{B}C\right)\to B$
(with fibers
$X/A$
and
$\Sigma (X/A)$
) are unipotent and smoothable with
${\tau}^{\delta}\left(Z{/}_{B}C\right)={\tau}^{\delta}(Z,C)={\tau}^{\delta}\left({\Sigma}_{B}\right(Z{/}_{B}C\left)\right).$
 Proof. Taking $Y=B$ in the previous lemma we get $${\tau}^{\delta}\left(Z{/}_{B}C\right)={\tau}^{\delta}\left(B{\cup}_{C}Z\right)={\tau}^{\delta}(Z,C)={\tau}^{\delta}\left(Z\right){\tau}^{\delta}\left(C\right).$$ Apply this to the cofibration sequence $X/A\vee X/A\to X/A\to \Sigma (X/A)$ to get $${\tau}^{\delta}\left({\Sigma}_{B}\right(Z{/}_{B}C\left)\right)={\tau}^{\delta}\left(Z{/}_{B}C\right)2{\tau}^{\delta}\left(Z{/}_{B}C\right)={\tau}^{\delta}\left(Z{/}_{B}C\right).$$ Where we use the equation ${\tau}^{\delta}(X\vee Y)={\tau}^{\delta}\left(X\right)+{\tau}^{\delta}\left(Y\right)$ which is another special case of Lemma 7.8 . □
Lemma 7.10.
${\tau}^{\delta}\left(Z\right)=0$
for pointed unipotent smoothable fibrations with rationally acyclic fibers.
The rest of the proof of the Lemma 7.5 follows suggestions of E. Bruce Williams.

Proof.
By pointed we mean that
$Z$
has a section
$B\to Z$
whose image is a copy of
$B$
. By the previous lemma we may assume that the fiber
$X$
has been suspended many more times than the dimension of
$B$
. Since
$X$
is a rationally trivial finite complex it has only finitely many homotopy classes of self maps. Thus there is a finite covering
$\stackrel{~}{B}$
of
$B$
so that the action of
${\pi}_{1}\stackrel{~}{B}$
on
$X$
is trivial up to pointed homotopy. Since
${H}^{4k}(B,\mathbb{R})$
maps monomorphically into
${H}^{4k}(\stackrel{~}{B};\mathbb{R})$
it suffices to show that the difference torsion of the pull back
$\stackrel{~}{Z}$
of
$Z$
to
$\stackrel{~}{B}$
is trivial. By assumption there is a smooth thickening $M\to E\to \stackrel{~}{B}$ of the bundle $\stackrel{~}{Z}\to \stackrel{~}{B}$ where $M$ is a compact $n$ manifold homotopy equivalent to $X$ . By passing to the normal disk bundle we may assume that the vertical tangent bundle of $E$ is trivial.Since the bundle has a section this means that $E$ contains a trivial $n$ disk bundle $\stackrel{~}{B}\times {D}^{n}$ . Therefore the bundle is classified by a mapping $\stackrel{~}{B}\to BDif{f}_{0}(Mrel{D}^{n})$ where $Dif{f}_{0}$ means diffeomorphisms tangentially homotopic to the identity.
: We may assume that $Dif{f}_{0}(Mrel{D}^{n})$ is connected and therefore $BDif{f}_{0}(Mrel{D}^{n})$ is simply connected.Claim 1 Proof: Let ${M}_{0}$ be the closure of the complement of a collar neighborhood of $\partial M$ in $M$ . We may assume the disk ${D}^{n}$ lies in ${M}_{0}$ . By taking the product with a disk if necessary we may assume that ${M}_{0}$ contains as a deformation retract a spine $K\simeq X$ of dimension $<(n4k)/2$ . Let $f$ be any diffeomorphism of $M$ which is tangentially homotopic to the identity. By immersion theory, the restriction of $f$ to ${M}_{0}$ is isotopic by regular immersions to the inclusion map. Since ${M}_{0}$ has a small dimensional spine we can deform this immersion isotopy into an isotopy through embeddings. This extends to $M$ by isotopy extension. But $\partial M$ is simply connected.So, its concordance space $\mathcal{C}(\partial M)$ is connected by Cerf [8] . Thus $f$ is isotopic to the identity as claimed. : There is a fibration sequence: $$Em{b}_{0}({M}_{0},intMrel{D}^{n})\to BDiff(Mrel{M}_{0})\to BjBDif{f}_{0}(Mrel{D}^{n})$$ where $Em{b}_{0}$ means embeddings isotopic to the inclusion map.Claim 2 Proof: Choose a fixed embedding ${\phi}_{0}:M\to {\mathbb{R}}^{\infty}$ and let $EDiff(Mrel{D}^{n})$ be the space of all embeddings $\phi :M\to {\mathbb{R}}^{\infty}$ which agree with ${\phi}_{0}$ on ${D}^{n}$ . Then $EDiff(Mrel{D}^{n})$ is contractible and admits a free action by $Dif{f}_{0}(Mrel{D}^{n})$ .The quotient space $BDif{f}_{0}(Mrel{D}^{n})$ is the space of all pairs $(W,[\phi \left]\right)$ where $W$ is a submanifold of ${\mathbb{R}}^{\infty}$ containing ${D}^{n}$ and $\left[\phi \right]$ is an isotopy class of diffeomorphisms $\phi :M\to W$ which are equal to ${\phi}_{0}$ on ${D}^{n}$ . The classifying space for $Diff(Mrel{M}_{0})$ , $$BDiff(Mrel{M}_{0})=EDiff(Mrel{D}^{n})/Diff(Mrel{M}_{0}),$$ is the space of all pairs $(W,\psi )$ where $W\subset {\mathbb{R}}^{\infty}$ is as above and $\psi :{M}_{0}\to W$ is an embedding equal to ${\phi}_{0}$ on ${D}^{n}$ and whose image has complement a collar neighborhood of $\partial W$ . Each $\psi $ determines an isotopy class $\left[\phi \right]$ and, for $W=M$ , the space of all $\psi $ which give the isotopy class $\left[id\right]$ of the identity is exactly $Em{b}_{0}({M}_{0},intMrel{D}^{n})$ as claimed. : $Em{b}_{0}({M}_{0},intMrel{D}^{n})$ is rationally trivial through degree $4k$ .Claim 3 Proof: By immersion theory and transversality this space has the $4k$ homotopy type of the identity component of the space of all pointed maps $X\to X\times O$ which is rationally trivial since $X$ is rationally trivial.One consequence of this is that the mapping $Dj$ in Claim 2 is a rational homotopy equivalence through degree $4k$ . Thus $Dj$ induces an isomorphism in rational cohomology in degee $4k$ . But $D{j}^{*}\left({\tau}^{\delta}\right)=0$ by Proposition 7.6 . Therefore, the universal class ${\tau}^{\delta}$ is trivial. □
Lemma 7.11.
${\tau}^{\delta}\left(Z\right)=0$
on all unipotent smoothable fibration.
This completes the proof of Lemma 7.5 which implies the Main Theorem 3.3 .

Proof.
Taking the fiberwise suspension we may assume that the fibers are pointed. By Lemma 7.10 it suffices to reduce the rank of the rational homology of the fiber $X$ of a pointed smoothable fibration without changing the value of ${\tau}^{\delta}\left(Z\right)$ . We use the fact that stable homotopy groups are rationally the same as reduced homology.Let $n$ be maximal so that the reduced rational homology ${\overline{H}}_{n}(X;\mathbb{Q})$ is nonzero.Choose one generator which is fixed by the action of ${\pi}_{1}B$ . (This exists since the action is unipotent.) Assuming that $X$ has been suspended a large number of times, a multiple of this generator is represented by some $\alpha \in {\pi}_{n}\left(X\right)$ . Multiplying by the order of the torsion subgroup of ${\pi}_{n}\left(X\right)$ we may assume that $\alpha $ represents a rationally nontrivial element of ${\pi}_{n}\left(X\right)$ which is fixed by the action of ${\pi}_{1}B$ .The homotopy groups ${\pi}_{i}\left(X\right)$ will be torsion and thus finite for all $n<i<n+dimB$ . Let $m$ be the product of the orders of all of these groups. Then, by obstruction theory, $m\alpha $ is represented by a fiber preserving continuous mapping $$f:(B\times {S}^{n},B\times *)\to (Z,B).$$ The fiberwise mapping cone ${C}_{B}\left(f\right)$ of $f$ has the same torsion: ${\tau}^{\delta}\left({C}_{B}\right(f\left)\right)={\tau}^{\delta}\left(Z\right)$ by Lemma 7.8 and its fiber $X\cup {e}^{n+1}$ has less rational homology than $X$ . The lemma follows by induction on the rank of the rational homology of $X$ . □
8 Existence of higher torsion
In this section we show that higher MillerMoritaMumford classes
${M}_{2k}$
and higher FranzReidemeister torsion
${\tau}_{2k}$
are linearly independent higher torsion invariants.
8.1 MillerMoritaMumford classes
If
$p:(E,{\partial}_{0})\to B$
is any smooth bundle pair (not necessarily unipotent) with compact fiber
$(F,{\partial}_{0})$
, the (higher relative) MillerMoritaMumford class
${M}_{2k}$
is defined to be the integral cohomology classes given by
$${M}_{2k}(E,{\partial}_{0}):=t{r}_{B}^{(E,{\partial}_{0})}\left(\right(2k)!c{h}_{4k}({T}^{v}E\left)\right)\in {H}^{4k}(B;\mathbb{Z})$$
for
$k\ge 1$
where
${T}^{v}E$
is the vertical tangent bundle of
$E$
,
$c{h}_{4k}\left(\xi \right):=\frac{1}{2}c{h}_{4k}(\xi \otimes \mathbb{C})$
is the Chern character and
$t{r}_{B}^{(E,{\partial}_{0})}$
is the relative transfer defined in ( 4.1 ). In degree 0 this formula gives a half integer:
$${M}_{0}(E,{\partial}_{0})=\frac{n}{2}\chi (F,{\partial}_{0})=\frac{n}{2}\left(\chi \right(F)\chi ({\partial}_{0}F\left)\right)$$
where
$n=dimF$
. The properties of the transfer [1] give the following properties of the higher MillerMoritaMumford classes.
Lemma 8.1 (vertical additivity of
${M}_{2k}$
).
Suppose that
$E$
is the union of two subbundle
$E={E}_{1}\cup {E}_{2}$
and
${E}_{1}\cap {E}_{2}={\partial}_{0}{E}_{2}\subseteq {\partial}_{1}{E}_{1}$
. Then
$${M}_{2k}(E,{\partial}_{0}{E}_{1})={M}_{2k}({E}_{1},{\partial}_{0})+{M}_{2k}({E}_{2},{\partial}_{0}).$$

Proof.
Choose a vertical tangent vector field for
$E$
which points inward along
${\partial}_{0}{E}_{1}$
, outward along the rest of
${\partial}^{v}E$
and points from
${E}_{1}$
to
${E}_{2}$
along
${\partial}_{0}{E}_{2}$
. Then the zero set of this vector field, say
$Z$
, is a disjoint union
$Z={Z}_{1}\prod {Z}_{2}$
where
${Z}_{i}\subset {E}_{i}{\partial}^{v}{E}_{i}$
. ${M}_{2k}(E,{\partial}_{0}{E}_{1})$ is given by restricting a multiple of the Chern character of ${T}^{v}E$ to $Z$ and pushing down to $B$ . (See [15] for a detailed discussion of this.) This is obviously the sum of the pushdowns of the restrictions to ${Z}_{1}$ and ${Z}_{2}$ which give ${M}_{2k}({E}_{1},{\partial}_{0})$ and ${M}_{2k}({E}_{2},{\partial}_{1})$ . □
Proposition 8.2.
For all
$k>0$
we have
 (1) (stability) ${M}_{2k}(E\times I)={M}_{2k}\left(E\right)$ .
 (2) (relative formula) ${M}_{2k}(E,{\partial}_{0})={M}_{2k}\left(E\right){M}_{2k}\left({\partial}_{0}E\right)$ .
 (3) (additivity) If ${E}_{1},{E}_{2}$ are smooth bundles over $B$ with the same vertical boundary ${E}_{1}\cap {E}_{2}={\partial}^{v}{E}_{1}={\partial}^{v}{E}_{2}$ then $${M}_{2k}({E}_{1}\cup {E}_{2})={M}_{2k}\left({E}_{1}\right)+{M}_{2k}\left({E}_{2}\right){M}_{2k}\left({\partial}^{v}{E}_{1}\right).$$
 (4) (transfer) If $q:D\to E$ is a bundle with fiber $X$ then ${M}_{2k}(D{)}_{B}\in {H}^{4k}(B)$ and ${M}_{2k}(D{)}_{E}\in {H}^{4k}(E)$ are related by $${M}_{2k}(D{)}_{B}=\chi (X\left){M}_{2k}\right(E)+t{r}_{B}^{E}({M}_{2k}\left(D{)}_{E}\right).$$
Remark 8.3.
The relative formula and additivity in the case
${E}_{1}\sim ={E}_{2}$
are important since they imply that the relative invariant
${M}_{2k}(E,{\partial}_{0})$
is related to the closed fiber case in the way that higher torsion invariants are supposed to behave.

Proof.
The transfer formula follows from the formula
${T}_{B}^{v}D={T}_{E}^{v}D\oplus {q}^{*}{T}^{v}E$
and the additivity of the Chern character:
$$\begin{array}{cc}{M}_{2k}(D{)}_{B}& =t{r}_{B}^{D}\left(\right(2k)!c{h}_{4k}{T}_{B}^{v}D)\end{array}$$ $$\begin{array}{cc}& =t{r}_{B}^{E}t{r}_{E}^{D}\left(\right(2k)!c{h}_{4k}({T}_{E}^{v}D\left)\right)+t{r}_{B}^{E}t{r}_{E}^{D}\left({q}^{*}\right(2k)!c{h}_{4k}({T}^{v}E\left)\right)\end{array}$$ $$\begin{array}{cc}& =t{r}_{B}^{E}\left({M}_{2k}\right(D{)}_{E})+\chi (X\left){M}_{2k}\right(E)\end{array}$$ $$\begin{array}{}\end{array}$$ Vertical additivity (Lemma 8.1 ) applied to $E\sim =E\cup {\partial}_{0}E\times I$ gives $${M}_{2k}(E,{\partial}_{0})={M}_{2k}\left(E\right){M}_{2k}({\partial}_{0}E\times I)$$ By stability this gives the relative formula.Vertical additivity applied to $E={E}_{1}\cup {E}_{2}$ gives $${M}_{2k}\left(E\right)={M}_{2k}({E}_{1},{\partial}^{v})+{M}_{2k}\left({E}_{2}\right)$$ This gives additivity by the relative formula. □
Lemma 8.4.
If
${S}^{2n}\left(\xi \right)\to B$
is the
${S}^{2n}$
bundle associated to an
$SO(2n+1)$
bundle
$\xi $
over
$B$
then
$${M}_{2k}\left({S}^{2n}\right(\xi \left)\right)=2\left(2k\right)!c{h}_{4k}\left(\xi \right).$$
 Proof. This follows from additivity and the elementary calculation $${M}_{2k}\left({D}^{m}\right(\xi \left)\right)=\left(2k\right)!c{h}_{4k}\left(\xi \right)$$ for any linear disk bundle ${D}^{m}\left(\xi \right)$ . □
Theorem 8.5.
The higher MillerMoritaMumford class
${M}_{2k}$
is a nontrivial even higher torsion invariant for all
$k>0$
with
${s}_{1}=0$
and
${s}_{2}=\left(2k\right)!$
.
 Proof. The additivity axiom follows from additivity (Proposition 8.2 .3) applied to ${E}_{1}\cup {E}_{2}$ , $D{E}_{1}$ and $D{E}_{2}$ . The transfer axiom is a special case of the transfer formula (Proposition 8.2 .4). The calculation of ${s}_{2}$ follows from the above lemma. Finally, ${s}_{1}=0$ since $e\left(E\right)=(1{)}^{n}e(E)$ for an oriented bundle with closed $n$ dimensional fiber. □
8.2 Higher FRtorsion
Higher FranzReidemeister (FR)torsion invariants are real characteristic class
$${\tau}_{2k}(E,{\partial}_{0})\in {H}^{4k}(B;\mathbb{R})$$
for
$k\ge 1$
defined for smooth bundle pairs
$(F,{\partial}_{0})\to (E,{\partial}_{0})\to B$
which are relatively unipotent in the sense that
${H}_{*}(F,{\partial}_{0}F;\mathbb{Q})$
is unipotent as a
${\pi}_{1}B$
module.
(See [13] .) The main tool for computing the higher FRtorsion is the framing principle which is proved in a special case in [13] and in general in [15] .
We will state the framing principle leaving unanswered the difficult question:
What exactly is a “family of chain complexes” and how is the higher torsion of such a family defined? Suppose that
$(E,{\partial}_{0})\to B$
is a relatively unipotent smooth bundle pair and
$f:E\to \mathbb{R}$
is a fiberwise oriented generalized Morse function (i.e., it has Morse and birthdeath critical point and an orientation of the negative eigenspace of
${D}^{2}{f}_{t}$
along the Morse point sets so that they cancel with positive incidence along the birthdeath points). Suppose that the vertical gradient
${\nabla}^{v}f$
of
$f$
with respect to some metric points inward along
${\partial}_{0}E$
and outward along
${\partial}_{1}E$
and point from
${\partial}_{0}E$
towards
${\partial}_{1}E$
along
${\partial}_{0}E\cap {\partial}_{1}E$
(i.e., the zero set
$\Sigma $
of
${\nabla}^{v}f$
is dual to the relative Euler class
$e(E,{\partial}_{0})$
).
Theorem 8.6 (Framing Principle [15] ).
Let
$C\left({f}_{t}\right),t\in B$
be the family of cellular chain complexes obtained from the functions
${f}_{t}$
. Then
$${\tau}_{2k}(E,{\partial}_{0})={\tau}_{2k}\left(C\right({f}_{t}\left)\right)+(1{)}^{k}\zeta (2k+1){p}_{*}^{\Sigma}\left(c{h}_{2k}\left(\xi \right)\right)$$
Here
$\xi $
is the negative eigenspace bundle of
${D}^{2}{f}_{t}$
along the singular set, the pushdown is the alternating sum
${p}_{*}^{\Sigma}=\sum (1{)}^{i}{p}_{*}^{i}$
where
${p}_{*}^{i}$
is the restriction of the pushdown on the set
${\Sigma}^{i}\left({f}_{t}\right)$
of critical points of index
$i$
.
Remark 8.7.
The higher FRtorsion of a family of based free chain complexes
$C\left({f}_{t}\right)$
is defined provided that its rational homology is unipotent. We call
${\tau}_{2k}\left(C\right({f}_{t}\left)\right)$
the algebraic torsion. The other summand is called the correction term.
An easy example of this rule is given by a linear
$n$
sphere bundle
${S}^{n}\left(\xi \right)$
associated with an oriented
$n$
plane bundle
$\xi $
over
$B$
. This has a fiberwise Morse function
$f$
having exactly two critical point in each fiber of index
$0$
and
$n$
. The family of chain complexes
$C\left({f}_{t}\right)$
is constant and therefore has trivial algebraic torsion. The negative eigenspace bundle is trivial over
${\Sigma}^{0}\left({f}_{t}\right)$
and isomorphic to
$\xi $
over
${\Sigma}^{n}\left({f}_{t}\right)$
.
Therefore the framing principle gives the following.
Higher FRtorsion and the higher MillerMoritaMumford classes are related by:
This theorem says that
${M}_{2k}$
is proportional to the even part of
${\tau}_{2k}$
. The following calculation shows that the odd part of
${\tau}_{2k}$
has the same size (but opposite sign).
Corollary 8.8.
The higher FRtorsion of an oriented linear sphere bundle is given by
$${\tau}_{2k}\left({S}^{n}\right(\xi \left)\right)=(1{)}^{n+k}\zeta (2k+1\left)c{h}_{2k}\right(\xi )$$
if
$\xi $
is an oriented
$n$
plane bundle. □
Theorem 8.9.
[13] The higher FRtorsion
${\tau}_{2k}(E,{\partial}_{0})\in {H}^{4k}(B;\mathbb{R})$
is defined for relatively unipotent smooth bundle pairs
$(E,{\partial}_{0})\to B$
and satisfies the following conditions.
 (1) (relative formula) If $E$ and ${\partial}_{0}E$ are unipotent bundles then $${\tau}_{2k}(E,{\partial}_{0})={\tau}_{2k}\left(E\right){\tau}_{2k}\left({\partial}_{0}E\right).$$
 (2) (additivity) If $({E}_{1},{\partial}_{0}),({E}_{2},{\partial}_{0})$ are relatively unipotent smooth bundles over $B$ with ${E}_{1}\cap {E}_{2}={\partial}_{0}{E}_{2}\subseteq {\partial}_{1}{E}_{1}$ then $${\tau}_{2k}({E}_{1}\cup {E}_{2},{\partial}_{0}{E}_{1})={\tau}_{2k}({E}_{1},{\partial}_{0})+{\tau}_{2k}({E}_{2},{\partial}_{0}).$$
 (3) (stability) If $q:D\to E$ is a linear disk bundle and ${\partial}_{0}D={q}^{1}\left({\partial}_{0}E\right)$ then the higher FRtorsion of $(D,{\partial}_{0})$ as a bundle pair over $B$ is equal to the higher torsion of $(E,{\partial}_{0})$ : $${\tau}_{2k}(D,{\partial}_{0}{)}_{B}={\tau}_{2k}(E,{\partial}_{0}).$$

Proof.
The proofs of these theorems, given in great detail in [13] , can be summarized as follows. For additivity we may assume that there is a fiberwise oriented generalized Morse function (GMF)
$f$
on
$(E,{\partial}_{0})$
whose restriction to
$({E}_{1},{\partial}_{0})$
and
$({E}_{2},{\partial}_{0})$
is suitable for defining their torsion. Then the family of chain complexes
$C\left({f}_{t}\right)$
fits into a short exact sequence
$$0\to C\left(f\right{E}_{1})\to C({f}_{t})\to C(f\left{E}_{2}\right)\to 0$$
where
$C\left(f\right{E}_{i})$
is the family of chain complexes associated to the restriction of
$f$
to
${E}_{i}$
. However, algebraic torsion is additive for short exact sequences, i.e.,
${\tau}_{2k}\left(C\right({f}_{t}\left)\right)={\tau}_{2k}\left(f\right{E}_{1})+{\tau}_{2k}(f\left{E}_{2}\right)$
. The correction term is also additive since the critical set of
${f}_{t}$
will be a disjoint union of the critical sets of
$f{E}_{1}$
and
$f{E}_{2}$
. For stability we note that a fiberwise oriented GMF $f$ for $E$ gives a fiberwise oriented GMF $\sigma f$ on any linear disk bundle $p:D\to E$ by $\sigma f\left(x\right)=f\left(p\right(x\left)\right)+\parallel x{\parallel}^{2}$ .This has the same cellular chain complex and the same critical set with the same negative eigenspace bundles. So, the torsion is unchanged.The relative formula follows formally from additivity in the case $E\sim =E\cup {\partial}_{0}E\times I$ and stability which gives ${\tau}_{2k}({\partial}_{0}E\times I)={\tau}_{2k}\left({\partial}_{0}E\right)$ . □
Theorem 8.10.
[15] If
$E\to B$
is a unipotent smooth bundle with closed even dimensional fibers and
$k\ge 1$
then
$${\tau}_{2k}\left(E\right)=(1{)}^{k}\frac{\zeta (2k+1)}{2\left(2k\right)!}{M}_{2k}(E).$$

Proof.
We explain the proof only in the case when there exists a fiberwise oriented GMF
${f}_{t}$
on
$E$
. Then
${f}_{t}$
is also a fiberwise oriented GMF. The negative eigenspace bundle of
${D}^{2}{f}_{t}$
is equal to the positive eigenspace bundle
$\eta $
for
${D}^{2}{f}_{t}$
. Also, the index of the critical points change from
$i$
to
$ni$
. So, the framing principle gives: $${\tau}_{2k}\left(E\right)={\tau}_{2k}\left(C\right({f}_{t}\left)\right)+(1{)}^{k}\zeta (2k+1\left){p}_{*}^{\Sigma}\right(c{h}_{2k}\left(\xi \right))$$ $${\tau}_{2k}\left(E\right)={\tau}_{2k}\left(C\right({f}_{t}\left)\right)+(1{)}^{n+k}\zeta (2k+1\left){p}_{*}^{\Sigma}\right(c{h}_{2k}\left(\eta \right))$$ However, the algebraic torsion has the property that ${\tau}_{2k}\left(C\right({f}_{t}\left)\right)=(1{)}^{n}{\tau}_{2k}(C\left({f}_{t}\right))$ .This is the involution property. Therefore, for $n=dimF$ even, we get the following by adding the above two equations. $$2{\tau}_{2k}\left(E\right)=(1{)}^{k}\zeta (2k+1\left){p}_{*}^{\Sigma}\right(c{h}_{2k}\left({T}^{v}E\right))=(1{)}^{k}\zeta (2k+1)\left(\frac{1}{\left(2k\right)!}{M}_{2k}\left(E\right)\right)$$ The theorem follows by dividing by 2. □
Theorem 8.11.
[13] The
${S}^{n}$
bundle associated to the
$SO(n+1)$
bundle
$\xi $
over
$B$
has higher FRtorsion
$${\tau}_{2k}\left({S}^{n}\right(\xi \left)\right)=(1{)}^{n+k}\zeta (2k+1\left)c{h}_{4k}\right(\xi )$$
 Proof. It follows from the stability of ${\tau}_{2k}$ that ${\tau}_{2k}=0$ on all linear disk bundles over $B$ . Since the ${S}^{n+1}$ bundle association to $\xi $ is the union of two disk bundles along their common boundary ${S}^{n}\left(\xi \right)$ we have by additivity (Theorem 8.9 .2) that $${\tau}_{2k}\left({S}^{n+1}\right(\xi \left)\right)=2{\tau}_{2k}\left({D}^{n+1}\right(\xi \left)\right){\tau}_{2k}\left({S}^{n}\right(\xi \left)\right)={\tau}_{2k}\left({S}^{n}\right(\xi \left)\right)$$ The left hand side is equal to $(1{)}^{n+1+k}\zeta (2k+1\left)c{h}_{2k}\right(\xi )$ by Corollary 8.8 ). The theorem follows. □
Corollary 8.12.
Higher FranzReidemeister torsion
${\tau}_{2k}$
is a higher torsion invariant with
${s}_{n}=\frac{1}{2}(1{)}^{n+k}\zeta (2k+1)$
.

Proof.
The additivity axiom follows from Theorem 8.9 .2. For the transfer axiom we need to prove the following for any smooth unipotent bundle
$E\to B$
with closed fiber
$F$
and any oriented linear sphere bundle
${S}^{m}\left(\xi \right)\to E$
.
There are four cases depending of the parity of $m$ and $n=dimF$ .$$\begin{array}{c}{\tau}_{2k}\left({S}^{m}\right(\xi ){)}_{B}=\chi ({S}^{m}\left){\tau}_{2k}\right(E)+t{r}_{B}^{E}({\tau}_{2k}\left({S}^{m}\right(\xi \left){)}_{E}\right)\end{array}$$ (8.1) If $n,m$ have the same parity then the transfer formula ( 8.1 ) is equivalent to the transfer formula for ${M}_{2k}$ which we already proved. (If $n,m$ are both odd the RHS is zero for both ${\tau}_{2k}$ and ${M}_{2k}$ .) If $n$ is even and $m$ is odd then, by the previous case we know that
But, the LHS of this is$$\begin{array}{c}{\tau}_{2k}\left({S}^{m+1}\right(\xi ){)}_{B}=2{\tau}_{2k}(E)+t{r}_{B}^{E}({\tau}_{2k}\left({S}^{m+1}\right(\xi \left){)}_{E}\right).\end{array}$$ (8.2)
by additivity. Combining ( 8.2 ) and ( 8.3 ) we get $${\tau}_{2k}\left({S}^{m}\right(\xi ){)}_{B}=t{r}_{B}^{E}({\tau}_{2k}\left({S}^{m+1}\right(\xi \left){)}_{E}\right).$$ However, $${\tau}_{2k}\left({S}^{m+1}\right(\xi ){)}_{E}={\tau}_{2k}({S}^{m}\left(\xi \right){)}_{E}$$ by Theorem 8.11 . So, ( 8.1 ) holds in this case.$$\begin{array}{c}{\tau}_{2k}\left({S}^{m+1}\right(\xi ){)}_{B}=2{\tau}_{2k}({D}^{m+1}\left(\xi \right){)}_{B}{\tau}_{2k}\left({S}^{m}\right(\xi ){)}_{B}=2{\tau}_{2k}(E){\tau}_{2k}({S}^{m}\left(\xi \right){)}_{B}\end{array}$$ (8.3) In the case $n$ odd and $m$ even, the LHS of ( 8.3 ) is zero since it is a multiple of $${M}_{2k}\left({S}^{m+1}\right(\xi ){)}_{B}=\chi ({S}^{m+1}\left){M}_{2k}\right(E)+t{r}_{B}^{E}({M}_{2k}\left({S}^{m+1}\right(\xi \left){)}_{E}\right)=0+0.$$ and the second term on the RHS of ( 8.1 ) is zero since the transfer map is zero.
Corollary 8.13.
The odd part of higher FRtorsion is given by
$${\tau}_{2k}^{}\left(E\right)={\tau}_{2k}\left(E\right)(1{)}^{k}\frac{\zeta (2k+1)}{2\left(2k\right)!}{M}_{2k}(E).$$
Remark 8.14.
A corollary of the main theorem is that any odd torsion invariant must be proportional to the above expression. In particular it is expected that the nonequivariant analytic torsion classes of [3] and [2] are odd torsion invariants and therefore proportional to
${\tau}_{2k}^{}$
.
References
 J.C. Becker and D.H. Gottlieb, The transfer and fiber bundles, Topology 14 (1975), 1–12.
 JeanMichel Bismut and Sebastian Goette, Families torsion and Morse functions, Astérisque (2001), no. 275, x+293.
 JeanMichel Bismut and John Lott, Flat vector bundles, direct images and higher real analytic torsion, J. Amer. Math. Soc. 8 (1995), no. 2, 291–363.
 M. Bökstedt, The rational homotopy type of $\Omega W{h}^{Diff}(*)$ , LNM 1051, SpringerVerlag, 1984, pp. 25–37.
 M. Bökstedt and F. Waldhausen, The map $BSG\to A(*)\to Q{S}^{0}$ , Algebraic Topology and Algebraic $K$ theory (William Browder, ed.), Annals of Math. Studies, vol. 113, 1987, pp. 418–431.
 U. Bunke, Higher analytic torsion of sphere bundles and continuous cohomology of $Diff\left({S}^{2n1}\right)$ , preprint, math.DG/9802100.
 Jean Cerf, Sur les difféomorphismes de la sphère de dimension trois $({\gamma}_{4}=0)$ , SpringerVerlag, Berlin, 1968.
 , La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudoisotopie, Inst. Hautes Études Sci. Publ. Math. (1970), no. 39, 5–173.
 W. Dwyer, M. Weiss, and B. Williams, A parametrized index theorem for the algebraic $K$ theory Euler class, Acta Math. 190 (2003), no. 1, 1–104.
 Sebastian Goette, Morse theory and higher torsion invariants I, math.DG/0111222.
 , Morse theory and higher torsion invariants II, math.DG/0305287.
 Kiyoshi Igusa, The stability theorem for smooth pseudoisotopies, $K$ Theory 2 (1988), no. 1–2, vi+355.
 , Higher FranzReidemeister Torsion, AMS/IP Studies in Advance Mathematics, vol. 31, International Press, 2002.
 , Axioms for higher torsion, preprint, 2003.
 , Higher complex torsion and the framing principle, math.KT/0303047, to appear in Memoires of AMS, 2003.
 Kiyoshi Igusa and John Klein, The Borel regulator map on pictures. II. An example from Morse theory, $K$ Theory 7 (1993), no. 3, 225–267.
 John Klein, The cell complex construction and higher Rtorsion for bundles with framed Morse function, Ph.D. thesis, Brandeis University, 1989.
 , Higher FranzReidemeister torsion and the Torelli group, Mapping Class Groups and Moduli Spaces, Contemp. Math., vol. 150, American Math. Soc., 1993, pp. 195–204.
 Xiaonan Ma, Formes de torsion analytique et familles de submersions, C. R. Acad. Sci. Paris Sér. I Math. 324 (1997), no. 2, 205–210.
 J. B. Wagoner, Diffeomorphisms, ${K}_{2}$ , and analytic torsion, Algebraic and Geometric Topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 1, Amer. Math. Soc., Providence, R.I., 1978, pp. 23–33.