Pluripotential theory and convex bodies: large deviation principle (Q2326502)

The paper under review continues the study in [\textit{T. Bayraktar} et al., Sb. Math. 209, No. 3, 352--384 (2018; Zbl 1454.32022); translation from Mat. Sb. 209, No. 3, 67--101 (2018)] of weighted pluripotential theory associated to a convex body and the grading on polynomials determined by it. Let \(P\in(\mathbb R^+)^d\) be a convex body containing a small dilation of the standard simplex, and let \(H_P(z)=\sup_{J\in P}\log|z^J|\) be its logarithmic indicator function. The analogues of the Lelong classes in this setting are the following classes of plurisubharmonic functions: \[ L_P=\{u\in \operatorname{PSH}(\mathbb C^d):u\leq H_P+C_u\}\,,\,\;L_{P,+}=\{u\in L_P:u\geq H_P+C'_u\}. \] One associates to \(P\) the following spaces of polynomials: \[ \mathrm{Poly}(nP)=\Big\{p(z)=\sum_{J\in nP\cap(\mathbb Z^+)^d}c_Jz^J:\,c_J\in\mathbb C\Big\}. \] The goal is to study notions from pluripotential theory, like extremal functions, related to \(L_P\) and \(\text{Poly}(nP)\), and associated to a nonpluripolar compact set \(K\subset\mathbb C^d\). The classical case is obtained when \(P\) is the standard simplex in \(\mathbb R^d\). In the present paper the authors obtain a large deviation principle in this more general setting (see Theorem 5.1). A tool needed for this is solving the (nonpluripolar) Monge-Ampère equation on a compact Kähler manifold \((X,\omega)\), in an energy class \(\mathcal E^1(X,\omega,\phi)\) of \(\omega\)-psh functions more singular than a given \(\omega\)-psh function \(\phi\) (see Theorem 2.8 for the general statement, and also Theorem 2.13 for the corresponding statement in \(\mathbb C^d\)).