Recall that thanks to Lemma 4.7, on we can write
|
|
|
where the error term is a -form that goes to zero smoothly on compact sets.
From (4.8) we also have that
|
|
|
If we restrict the form to a fiber and divide by we get
|
|
|
Pulling back this via the map (the inverse of ) we get
|
|
|
Explicitly we have , which implies that , and so
|
|
|
which goes to zero smoothly as approaches zero, uniformly in . It follows that converges smoothly to , and the convergence is uniform as varies on compact sets of . Pulling back via , and using the fact that , we see that also converges smoothly to , as desired.
∎