We now consider the left hand side of
3.5 multiplied with
${\alpha}^{n+r}\phi $
. To begin with,
$${\int}_{{\mathbb{P}}^{n}}{\int}_{\epsilon}{e}^{\tau +H}\wedge {R}^{f}\wedge {\alpha}^{n+r}\phi $$
is well defined with the same argument as above, and again one can replace
$\tau $
by
$\omega $
. Moreover, since
${\alpha}^{n+r}\phi $
contains no
${\epsilon}_{j}$
,
$${\int}_{\epsilon}{\delta}_{f}({e}^{\tau +H}\wedge {U}^{f})\wedge {\alpha}^{n+r}\phi ={\int}_{\epsilon}{\delta}_{f}({e}^{\tau +H}\wedge {U}^{f}\wedge {\alpha}^{n+r}\phi )=0.$$
Since
$${\delta}_{{\stackrel{~}{f}}_{z}}{\sum}_{j}{\stackrel{~}{\epsilon}}_{j}\wedge {\epsilon}_{j}^{*}={\sum}_{j}F\left({z}^{\prime}\right){\zeta}_{0}^{{d}_{j}}{\epsilon}_{j}^{*}={f}_{z},$$
another computation shows that the component of bidegree
$(n,n)$
of
$${\int}_{\epsilon}{\delta}_{{\stackrel{~}{f}}_{z}}({e}^{\tau +H}\wedge {U}^{f})\wedge {\alpha}^{n+r}\phi $$
is equal to
$${\int}_{\epsilon}{f}_{z}\wedge {\sum}_{k=0}^{m-1}{\omega}_{m-k-1}\wedge {H}_{k}\wedge {U}_{k+1,k}\wedge {\alpha}_{1}^{n-k}{\alpha}_{0}^{k+r}\phi .$$
Again one can check that this form is scalar valued. Summing up we have the desired decomposition 3.1 with
$$S(\zeta ,{z}^{\prime})\wedge {R}^{f}\left(\zeta \right)={\int}_{\epsilon}{e}^{\omega +H}\wedge {R}^{f}\wedge {\alpha}^{n+r}={\sum}_{k=codim{Z}^{f}}^{m}{\int}_{\epsilon}\frac{(n+r)!}{(n-k)!(k+r)!}{\omega}_{m-k}\wedge {H}_{k}\wedge {R}_{k,k}^{f}{\alpha}_{1}^{n-k}{\alpha}_{0}^{k+r},$$
and
$${T}^{j}(\zeta ,{z}^{\prime})={\int}_{\epsilon}{\epsilon}_{j}^{*}{\zeta}_{0}^{{d}_{j}}\wedge {\sum}_{k=1}^{m-1}\frac{(n+r)!}{(n-k)!(k+r)!}{\stackrel{~}{I}}_{n-k-1}\wedge {H}_{k}\wedge {U}_{k+1,k}\wedge {\alpha}_{1}^{n-k}{\alpha}_{0}^{k+r}\phi ,$$
Both
$\alpha $
and
$H$
are polynomials in
${z}^{\prime}$
so it just remains to check the degrees of
${T}^{j}$
. The worst case occur when
$k$
is as large as possible which is
$k=\mu =min(m-1,n)$
. Then the factor
${\alpha}_{0}^{k+r}$
has degree
$k+r$
. Recall that
$H=\sum {H}_{\ell}\wedge {\epsilon}_{\ell}^{*}$
and that
$\text{deg}{H}_{\ell}={d}_{\ell}-1$
. The term
${H}_{j}$
cannot occur, because of the presence of
${\epsilon}_{j}^{*}$
, and thus we get that
${d}_{j}+\text{deg}{Q}_{j}$
is at most
${d}_{1}-1+{d}_{2}-1+\cdots {d}_{\mu +1}-1+1+\mu +r={d}_{1}+\cdots +{d}_{\mu +1}+r$
. □