ScalingStacks

Verified tagged author-source HTML · 2006.16961v1 · cited publication edition alignment unverified.

1 Introduction

Let (Y,ω)(Y,\omega) be a compact Kähler manifold, and d​μd\mu be a measure on YY. We say (Y,ω,d​μ)(Y,\omega,d\mu) satisfies the Skoda type inequality, if for any Kähler potential u∈P​S​H​(Y,ω)u\in PSH(Y,\omega) normalised to supu=0\sup u=0,

∫Ye−α​u​𝑑μ≤A,\int_{Y}e^{-\alpha u}d\mu\leq A, (1)

where α,A\alpha,A are independent of uu. A prototype theorem is

007L

Theorem 1.1. [19] On a fixed compact Kähler (Y,ω)(Y,\omega), the Skoda type inequality holds for d​μ=ωnd\mu=\omega^{n}.

007M

Remark 1.2. Here the supremum of all such α\alpha is known as Tian’s alpha invariant, important for existence questions of Kähler-Einstein metrics.

We are interested in keeping track of these constants α,A\alpha,A as (Y,ω,d​μ)(Y,\omega,d\mu) varies. The main theme of this paper is that oftentimes the Skoda constants can be chosen uniformly for quite flexible choices of probability measures d​μd\mu, even when the complex structure degenerates severely. In the literature α\alpha is much studied (cf. [19][11]), and a very recent preprint [7] made aware to the author after the completion of this work contains a uniform estimate for both α,A\alpha,A in the related context of Kähler-Einstein manifolds.

Our main application is to algebraic degenerations of Calabi-Yau manifolds. We work over ℂ\mathbb{C}. Let SS be a smooth affine algebraic curve, with a point 0∈S0\in S. An algebraic degeneration family is given by a submersive projective morphism π:X→S∖{0}\pi:X\to S\setminus\{0\} with smooth connected nn-dimensional fibres XtX_{t} for t∈S∖{0}t\in S\setminus\{0\}. A polarisation is given by an ample line bundle LL over XX; the sections of a sufficiently high power of LL induces an embedding X→ℂ​ℙNX\to\mathbb{CP}^{N}, hence a Fubini-Study metric ωX\omega_{X} on (X,L)(X,L). For 0<|t|≪10<|t|\ll 1, a fixed choice of ωX\omega_{X} induces rescaled background metrics ωt=1|log⁡|t||​ωX|Xt\omega_{t}=\frac{1}{|\log|t||}\omega_{X}|_{X_{t}} on XtX_{t} in the class 1|log⁡|t||​c1​(L)\frac{1}{|\log|t||}c_{1}(L).

A model of XX is a normal flat projective SS-scheme 𝒳\mathcal{X} which agrees with π:X→S∖{0}\pi:X\to S\setminus\{0\} over the punctured curve. It is called a semistable snc model if 𝒳\mathcal{X} is smooth, the central fibre over 0∈S0\in S is reduced and is a simple normal crossing divisor in 𝒳\mathcal{X}. By the semistable reduction theorem [12, chapter 2], after finite base change to another smooth algebraic curve S′S^{\prime}, we can always find some semistable snc model for the degeneration family X×S(S′∖{0})X\times_{S}(S^{\prime}\setminus\{0\}). Everything here is quasi-projective.

We say the degeneration family is Calabi-Yau if there is a trivialising section Ω\Omega of the canonical bundle KXK_{X}. Over a small disc 𝔻t\mathbb{D}_{t} around 0∈S0\in S, this induces holomorphic volume forms Ωt\Omega_{t} on XtX_{t} via Ω=d​t∧Ωt\Omega=dt\wedge\Omega_{t}. The normalised Calabi-Yau measure on XtX_{t} is the probability measure

d​μt=Ωt∧Ω¯t∫XtΩt∧Ω¯t.d\mu_{t}=\frac{\Omega_{t}\wedge\overline{\Omega}_{t}}{\int_{X_{t}}\Omega_{t}\wedge\overline{\Omega}_{t}}. (2)

Our main result is

007N

Theorem 1.3. (Uniform Skoda estimate) Given a polarised algebraic Calabi-Yau degeneration family π:X→S∖{0}\pi:X\to S\setminus\{0\} as above. Then there are uniform positive constants α,A\alpha,A independent of tt for 0<|t|≪10<|t|\ll 1, such that for the normalised Calabi-Yau measures d​μtd\mu_{t},

∫Xte−α​u​d​μt≤A,∀u∈P​S​H​(Xt,ωt)​ with ​supXtu=0.\int_{X_{t}}e^{-\alpha u}d\mu_{t}\leq A,\quad\forall u\in PSH(X_{t},\omega_{t})\text{ with }\sup_{X_{t}}u=0.

This is proved by reducing to the semistable snc model case, and prove a general Skoda type estimate there (cf. Theorem 2.9). A major consequence, readily reaped using Kolodziej’s estimate (cf. Theorem 3.1), is

007P

Theorem 1.4. (Uniform L∞L^{\infty}-estimate) Let ϕt\phi_{t} be the Kähler potential of the Calabi-Yau metric in the class (Xt,[ωt])(X_{t},[\omega_{t}]), namely

(ωt+−1​∂∂¯​ϕ)n∫Xtωtn=d​μt,supXtϕt=0.\frac{(\omega_{t}+\sqrt{-1}\partial\bar{\partial}\phi)^{n}}{\int_{X_{t}}\omega_{t}^{n}}=d\mu_{t},\quad\sup_{X_{t}}\phi_{t}=0.

Then ‖ϕt‖L∞≤C\left\lVert\phi_{t}\right\rVert_{L^{\infty}}\leq C independent of tt for 0<|t|≪10<|t|\ll 1.

007Q

Remark 1.5. Applications of pluripotential theory to Calabi-Yau metrics when the Kähler class is degenerating can be found in [9], which is used further in [20]. Our main results generalize certain aspects of [16] which focuses on degenerating projective hypersurfaces near the large complex structure limit.

007R

Acknowledgement. The author is a 2020 Clay Research Fellow, currently based at the Institute for Advanced Study. He thanks Song Sun and Simon Donaldson for discussions, and Sebastien Boucksom, Eleonora Di Nezza, and Valentino Tossati for comments.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.