math.DG math.AG
Optimal lower bounds for Donaldson's J functional. In this paper we provide an explicit formula for the optimal lower bound of Donaldson's J functional, in the sense of finding explicitly the optimal constant in the definition of coercivity, which always exists and takes negative values in general. This constant is positive precisely if the J equation admits a solution, and the explicit formula has a number of applications. First, this leads to new existence criteria for constant scalar curvature K "ahler (cscK) metrics in terms of Tian's alpha invariant. Moreover, we use the above formula to discuss Calabi dream manifolds and an analogous notion for the J equation, and show that for surfaces the optimal bound is an explicitly computable rational function which typically tends to minus infinity as the underlying class approaches the boundary of the K "ahler cone, even when the underlying K "ahler classes admit cscK metrics. As a final application we show that if the Lejmi Sz 'ekelyhidi conjecture holds, then the optimal bound coincides with its algebraic counterpart, the set of J semistable classes equals the closure of the set of uniformly J stable classes in the K "ahler cone, and there exists an optimal degeneration for uniform J stability.