Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
First, we prove Item (1). Since is a Riemannian product, we have for ,
(3.382)
is exact, which implies that the cohomology class is locally constant for . On the other hand, by the exponential decay property in (3.349) we see that
(3.383)
For Item (2), denote
(3.384)
Then is also a Green current for and it is also asymptotic to as . Therefore by uniqueness, .
Taking the -derivative at we get the conclusion.
∎