Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Differentiating (4.3) we see that
|
|
|
If we fix and choose a local never vanishing holomorphic section of , then we can define a local function on , which is constant on each fiber . Since , we see that
|
|
|
Then
| (4.5) |
|
|
|
Picking local coordinates as above, and writing
|
|
|
|
|
|
|
|
|
we see that
|
|
|
and since is holomorphic and is Ricci-flat we see that
|
|
|
which together with (4.5) gives (4.4).
∎