Proof. [032J]
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.
The mapping
is a continuous affine mapping whose kernel consists of constants mappings: indeed implies that is pluriharmonic hence constant by the maximum principle. Moreover is surjective: if is cohomologous to then for some -this is the celebrated -lemma on Kähler manifolds (see e.g. lemma 8.6, chapter VI in [15]). Thus coincides almost everywhere with a function of and . ∎