4.2.1 Skoda inequality [004D]
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
4.2.1 Skoda inequality
An upper semicontinuous -function on a coordinate ball in is called plurisubharmonic (psh) if it satisfies the sub mean value inequality when restricted to complex lines; this implies . The basic intuition is that regularity properties for psh functions in general dimensions are analogous to subharmonic functions on Riemann surfaces. This is captured by the local version of the Skoda inequality:
Theorem 4.2.
(cf. [79, Thm 3.1]) If is psh on , with with respect to the standard Euclidean metric , then there are dimensional constants , , such that
Remark 5.
The Skoda inequality might be contrasted with subharmonic functions on the unit ball in for , for which exponential integrability is far too much to expect.
On a compact Kähler manifold , we say an upper semicontinuous -function if its sum with the local potential of is psh, so that . This is the generalised notion of Kähler potentials. The standard global analogue of the Skoda inequality is:
Theorem 4.3.
[73] On a fixed , there are positive constants , depending only on , such that
In our applications, we need to work with a polarized algebraic degeneration of Calabi-Yau manifolds near the large complex structure limit, as in section 3. Let be a fixed Fubini-Study metric on induced by a projective embedding via the sections of a high power of , and use to define a family of background metrics on in the class . The normalization factor is to ensure two different choices of Fubini-Study reference metrics would differ by a potential with norm of order independent of small . Recall is the normalized Calabi-Yau measure.
We adapted the Skoda inequality to a uniform version [51]:
Theorem 4.4.
(Uniform Skoda estimate) There are uniform positive constants independent of for , such that for the normalised Calabi-Yau measures ,
The proof involves covering by plenty of small regions which look like standard balls in . An elementary but somewhat tricky construction of test function allows one to estimate norms of the local potentials. One then applies the local version of Skoda inequality to each small region, and sum over all regions.