Proof.
This essentially follows from the fact that is located on the slice and is a complex submanifold of . Indeed, we can decompose
| (3.266) |
|
|
|
where does not involve .
Given any compactly supported test form , we can write
| (3.267) |
|
|
|
where does not involve . Immediately,
| (3.268) |
|
|
|
and
| (3.269) |
|
|
|
So it follows that
| (3.270) |
|
|
|
This implies that in the distributional sense. By the standard elliptic regularity, we have .
Now write
| (3.271) |
|
|
|
where is -invariant, i.e. of type in , and is anti--invariant. Since is a complex submanifold of , the Dirac current is -invariant, hence is also a Green’s current for , so we see that is smooth. Then we have
| (3.272) |
|
|
|
where is smooth.
Similarly since the is invariant under , the difference is smooth.
To see the expansion of , we notice that is a Kähler, in particular minimal, submanifold of . So the mean curvature of in vanishes. Also notice is parallel on so if either or . This then implies that
| (3.273) |
|
|
|
where
| (3.274) |
|
|
|
|
| (3.275) |
|
|
|
|
In particular, . Re-writing
| (3.276) |
|
|
|
in terms of the complex coordinates and bearing in mind (3.261) we obtain the desired formula for .
∎