ScalingStacks

Remark 8.7 . [01CD]

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

Remark 8.7.

Consider the setting of Theorem A, i.e. {ω}\{\omega\} is the class of an (ample) line bundle LL on XX. The strategy proposed in the preliminary work [KT00] to solve Monge-Ampère equations mostly deals with the case of a Dirac mass μ\mu at a divisorial point x∈Xdivx\in X^{\mathrm{div}}. The authors introduce the envelope (8.5), and assume by contradiction that MA⁡(φx)\MA(\varphi_{x}) is not supported at xx. They define a limit functional FF obtained by looking at the asymptotics of ball volumes in the space of sections of m​LmL as m→∞m\to\infty, and indicate that FF should satisfy F⁡(φx+ε​f)=F⁡(φx)+ε​∫f​MA⁡(φx)+O⁡(ε2)F(\varphi_{x}+\varepsilon f)=F(\varphi_{x})+\varepsilon\int f\MA(\varphi_{x})+O(\varepsilon^{2}) for each f∈C0​(X)f\in C^{0}(X). Comparing with [BB10] in the complex case, FF is likely to coincide with Eω∘PωE_{\omega}\circ P_{\omega}, so that a version of the differentiability property (Theorem 7.2) would also be a key ingredient in the approach proposed in [KT00].

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