Proof. Since the -action on is holomorphic, is psh in for any choice of , so the average function is also psh. Any -invariant psh function must be convex in the log coordinates, because of the formula
∎
Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.
Proof. Since the -action on is holomorphic, is psh in for any choice of , so the average function is also psh. Any -invariant psh function must be convex in the log coordinates, because of the formula
∎