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.
(Theorem 1.5, sketch)
By formula (1.6) and the integrability condition (1.10),
| (1.12) |
|
|
|
so the closedness of is equivalent to (1.11). Since represents the appropriate first Chern class, must be the curvature of a -connection . Modulo gauge admits the local formula
| (1.13) |
|
|
|
Gauge equivalent choices of the connection define the structures on up to holomorphic isometry.
The integrability of the complex structure follows from the fact that the differential ideal generated by forms is closed:
| (1.14) |
|
|
|
using (1.10)(1.6) and the definition of . The Kähler condition follows from (1.10)(1.6).
The Calabi-Yau condition follows from the more general formula
|
|
|
∎