ScalingStacks

Remarks 3.8 . [02E8]

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

Remarks 3.8.

If we start with ωo\omega_{o} Kähler, and the log-resolution is non trivial, μ∗​ωo\mu^{*}\omega_{o} is not Kähler anymore.

This method that dates back to [Ko] can be used to prove a variant of [Y], Theorem 7 p. 399 where the divisor of s2s_{2} is a simple normal crossing divisor, under the sole assumption that ∫M|s2|−2​k2<∞\int_{M}|s_{2}|^{-2k_{2}}<\infty.

Now, it could not have been used to prove Theorem 8 p. 403 in 1978 since log-resolutions force the use of Monge-Ampère equations with degenerate L.H.S, for which the 𝒞0{\mathcal{C}}^{0}-estimate proved here was not available then.

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