Basis divisors and balanced metrics (Q1982285)

Let \(L\) be an ample \(\mathbb{Q}\)-line bundle over a projective manifold \(X\). Let \(m\in\mathbb{N}\) be sufficiently divisible so that \(mL\) is very ample. Given any basis \(\{s_i\}_{i=1}^{d_m}\) of \(H^0(X,mL)\), \(D=\frac{1}{md_m}\sum_{i=1}^{d_m}(s_i)\) is called an \(m\)-basis divisor of \(L\). Denote by \(\delta_m(L)\) the infimum of log canonical threshold (lct) \(lct(X,D)\) of all \(m\)-basis divisors of \(L\). It's known that \(\delta(L):=\limsup_m\delta_m(L)=\lim_m\delta_m(L)\) characterizes uniform \(K\)-stability on a Fano variety, and \(\delta(L)=1\) is a threshold for the existence of twisted Kähler-Einstein metric. One goal of this paper is to find an analytic interpretation of these algebraically defined \(\delta_m\)- and \(\delta\)-invariant. Associated to the Monge-Ampère energy \(E(\cdot)\) on the space of Kähler potentials or smooth \(\omega\)-strictly plurisubharmonic functions where \(\omega\) is given by the curvature of \(L\), one may define an analytic counterpart \(\delta^A(L)\) of \(\delta(L)\). It is conjectured that \(\delta(L)\) equals to the threshold \(\delta^A(L)\). Motivated by this conjecture, and inspired by the relation of \(\alpha\)-invariant and lct, the authors introduce the \(m\)th analytic stability threshold \(\delta_m^A(L)\) associated to a functional \(E_m(\cdot,\cdot)\) that quantizes \(E(\cdot)\), which can be regarded as the optimal constant in a quantized Moser-Trudinger inequality. The functional \(E_m(\cdot,\cdot)\) is defined on the space of all Hermitian inner products on the complex vector space \(H^0(X,mL)\). Then the authors prove that \(\delta_m^A(L)=\delta_m(L)\) (i.e. Theorem 2.8), a quantized version of the above conjecture. As a consequence, the authors obtain \(\delta(L)=\lim_m\delta_m^A(L)\), which may serve as an analytic interpretation of the \(\delta\)-invariant. The ingredients of the proof include the lower semi-continuity of complex singularity exponents, a relation between \(E_m\)-functional and the \(m\)th expected vanishing order of \(L\) along divisors, Bergman geodesics, and a valuative description of \(\delta_m(L)\). Given a smooth form \(\theta\) cohomologous to \(c_1(X)-c_1(L)\). As another main result, the authors prove that \(\delta_m(L)=1\) is a threshold for the existence of \(\theta\)-balanced metrics of level \(m\) (i.e. Theorem 2.3). This quantization approach also gives a way to calculate \(\delta_m\)-invariant (see Theorem 2.11). In particular, the authors are able to compute \(\delta_m(-K_X)\) for toric Fano manifolds \(X\), for example, \(\delta_m(-K_{\mathbb{P}^n})=1\).