Proof.
First of all, note that the –forms have uniformly bounded –norm. Indeed, outside the gluing regions is a hyperkähler triple and thus is parallel and bounded. On the gluing regions, differs from the hyperkähler triple or by terms of order (with similar estimates on their derivatives). Finally, is bounded above since .
Now, let be an –orthonormal triple of harmonic self-dual forms with respect to . Since
|
|
|
is close to the identity and we can assume that
|
|
|
Finally, observe that for every we have
|
|
|
Indeed, using the definition (6.7) of and the construction of it is not difficult to estimate .
Now let be the –orthogonal projection
|
|
|
and regard as a map . By the remarks above we have
|
|
|
Thus if the projections and are uniformly bounded. Proposition 6.11 and the surjectivity of then yield the result.
∎