Proof. [02DZ]
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.
When , the group of holomorphic automorphisms of , acts transitively on , one can regularize -psh functions by averaging over the Haar measure of the connected component of the identity of . This is very similar to the way one regularizes psh functions in by using convolutions with an approximation of the identity for the convolution product. We refer the reader to [Hu] and the Appendix of [G] for more details.
Let be the -psh function which is the translate of by an automorphism which is at distance from identity. We use the notation by analogy with the -situation, where . Since is bounded, it has gradient in , hence
by using Cauchy-Schwarz inequality in a local chart. We can thus apply proposition 3.2 to obtain that
for all . Since in a local chart, this precisely means that is Hölder-continuous of exponent . ∎