ScalingStacks

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 A​u​t​(X)Aut(X), the group of holomorphic automorphisms of XX, acts transitively on XX, one can regularize ω\omega-psh functions by averaging over the Haar measure of the connected component of the identity of A​u​t​(X)Aut(X). This is very similar to the way one regularizes psh functions in ℂn\mathbb{C}^{n} 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 φh\varphi_{h} be the ω\omega-psh function which is the translate of φ\varphi by an automorphism which is at distance hh from identity. We use the notation φh\varphi_{h} by analogy with the ℂn\mathbb{C}^{n}-situation, where φh​(x)=φ⁡(x+h)\varphi_{h}(x)=\varphi(x+h). Since φ\varphi is bounded, it has gradient in L2L^{2}, hence

‖φh−φ‖L2≤C​|h|,||\varphi_{h}-\varphi||_{L^{2}}\leq C|h|,

by using Cauchy-Schwarz inequality in a local chart. We can thus apply proposition 3.2 to obtain that

‖φh−φ‖L∞≤C′​|h|γ,||\varphi_{h}-\varphi||_{L^{\infty}}\leq C^{\prime}|h|^{\gamma},

for all γ<2/(2+n​q)\gamma<2/(2+nq). Since φh​(x)≃φ⁡(x+h)\varphi_{h}(x)\simeq\varphi(x+h) in a local chart, this precisely means that φ\varphi is Hölder-continuous of exponent γ\gamma. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.