Gromov-Hausdorff Convergence of Constant Scalar Curvature Kähler Metrics near the Canonical Class

The case m=0 was proved in Section 1. For m>0, Lemma 6.7 proves the local metric assertion. Lemma 8.1 gives Proposition 7.2; Proposition 7.3 then proves Gromov–Hausdorff convergence.

Integration of (3.1) gives -\underline R=\int_X\operatorname{tr}_\varphi\chi\,d\mu\geq0. Choose source coordinates satisfying (?) at x_0, and normal target coordinates at \Phi(x_0), and write \omega_Z=\sqrt{-1}h_{\alpha\bar\beta}dw^\alpha\wedge d\bar w^\beta. Then

With R_{i\bar j k\bar l}=-\partial_k\partial_{\bar l} g_{\varphi,i\bar j} at the normal point, differentiation gives

By Cauchy–Schwarz inequality,

By (3.1),

Choose K\geq1 so that the bisectional curvature of \omega_Z is at most K-1. Raising both indices of \chi with g_\varphi, we obtain

Here \chi^{i\bar j}=g_\varphi^{i\bar b}\chi_{a\bar b} g_\varphi^{a\bar j}, so \chi^{i\bar j}=\lambda_i\delta_{ij} at the normal point.

For 0<\delta\leq1, put v=\operatorname{tr}_\varphi\chi+\delta. Since v>0,

The closedness of \chi gives, at the normal point,

Fix p\geq1, and choose b\in \mathbb R later. Testing (?) with e^{bF}v^{p-1},

Repeated indices in the last line are summed. Expanding its derivative and using (?) gives

Consequently,

Testing the equation \Delta_\varphi F=-\underline{R}+\delta-v with e^{bF}v^p similarly gives

Subtract \Lambda times (?) from (?):

where

We seek \Lambda>K and \mathcal Q\geq0. At the endpoint \lambda_i/v=1, requiring the summand to be p|v_i/v-\alpha F_i|^2 gives

For these choices, set u=e^{-\alpha F}v. Then

and the coefficients of the remaining terms satisfy

Substitution, followed by v_i/v=(\log u)_i+\alpha F_i, yields

For each i, the last bracket equals

Hence one gets the complete square identity

Choose

Thus (?) gives

Hölder’s inequality gives

Dropping the first nonnegative term in (?) yields

Since \mu(X)=1, multiplying by e^{p\alpha\sup F} gives

Let \delta\downarrow0. This proves (3.1) for p\geq2; for 1\leq p<2, use \|\operatorname{tr}_\varphi\chi\|_p\leq \|\operatorname{tr}_\varphi\chi\|_2.

Put w=|\nabla_\varphi F|_\varphi^2. The Bochner formula gives

Direct computation gives

Thus

The mixed Hessian has no sign; its coefficient vanishes for b=\frac12. This is [CC17, equations (4.3)–(4.4)], with reference Ricci form -\chi. Set

Then

Since 0\leq\lambda_i\leq\operatorname{tr}_\varphi\chi, dropping the Hessian squares gives

For p\geq2, testing (Proof) with u^{p-1} gives

For the first integral on the right,

Because e^{F/2}|\nabla_\varphi F|_\varphi =e^{F/4}\sqrt{u-1}\leq C\sqrt u, Young’s inequality gives

The terms without \nabla_\varphi u combine to

using u\geq1. Absorbing the gradient term and using |\nabla_\varphi u^{p/2}|_\varphi^2 =\frac{p^2}{4}u^{p-2}|\nabla_\varphi u|_\varphi^2 yields

Let \theta=q/[r(q-1)]\in(0,1), where q>1. Hölder and interpolation inequality give

Apply the uniform Sobolev inequality 2.3 to u^{p/2}. Choosing \tau=(2Cp^2)^{-1} in (?) and absorbing half the left side gives

For p_j=2q^j, both \sum_jp_j^{-1} and \sum_jp_j^{-1}\log p_j converge. Iteration and interpolation yield

Finally, by (3.1),

This proves (3.2).

Set v=1+\operatorname{tr}_\varphi\chi. Taking \delta=1, b=0 in (?) gives, for p\geq2,

Since 0\leq\lambda_i/v\leq1,

Absorption gives

and hence

For fixed r>q/(q-1), the coefficient 1+\operatorname{tr}_\varphi\chi has a uniform L^r bound. The interpolation and iteration in (?)–(?) therefore give

Finally, \lambda_i\leq\sum_j\lambda_j=\operatorname{tr}_\varphi\chi\leq C', so \chi\leq C'\omega_\varphi.

\chi\ge 0 gives

Note that \underline R_\varepsilon\to-m. Integration by parts yields

Likewise,

where the last identity follows from [\chi_\varepsilon]=[\omega_\varepsilon]. Both \chi_\varepsilon and \omega_\varepsilon are positive. Thus

1. By Cauchy–Schwarz inequality

Since \|F_\varepsilon\|_\infty\le C, \mu_\varepsilon, \Omega, {\omega}^n are all equivalent,

Rellich compactness gives h_{\varepsilon_j}\to h in L^1; then

2. Take K\Subset K'\Subset Y^\circ. For d>0,

On f^{-1}(K'), \Omega, {\omega}^d\wedge f^*\chi_Y^m are equivalent; hence fiber integration yields

The dual norm decreases on restriction, so

The smooth compact family of connected fibers has a uniform L^1 Poincaré inequality:

Integrating proves the second estimate. Passing to distributions, \nabla_V u=0; connectedness gives fiberwise constancy.

Apply Lemmas 4.1 and 4.2 and a common subsequence. Exponentiation and the function x\mapsto xe^x are Lipschitz on the common bounded range. Hence their L^1 convergence follows from that of F_{\varepsilon_j}, proving total variation and entropy convergence. Positivity follows by passing to the current limit in \chi+\varepsilon_j{\omega}+dd^c\varphi_{\varepsilon_j}\ge0. The uniform potential bound passes to an almost everywhere representative of the limit, whose quasi-plurisubharmonic regularization has the corresponding bounded local potentials.

Fix a smooth \varphi\in \operatorname{PSH}(Y,\chi_Y), one has

Since powers of a pull-back form above degree m vanish, uniformly for t\in [0,1],

Here we used that f_*({\omega}^d)=V_F, so division cancels the factor \binom nd\varepsilon^dV_F:

A similar argument also shows that

and integration along fiber gives

Note that the energy E_\varepsilon is concave, so

Taking \varepsilon\to 0, we have

Here, we used

Since \varphi_\varepsilon and F_\varepsilon are uniformly bounded.

Now we choose a sequence of bounded smooth \varphi_j\in \operatorname{PSH}(\mathbb{CP}^N,\ell^{-1}\omega_{FS}) that \varphi_j\downarrow u. First let \varepsilon\to 0 with j fixed. Since \varphi_j-u\geq 0, we have

Let j\to \infty,

Hence E_{\varepsilon}(\varphi_\varepsilon)\to E_Y(u). Moreover, we have

for any smooth \varphi\in \operatorname{PSH}(Y,\chi_Y). Apply the decreasing approximation again, it follows that the above inequality holds for any bounded \varphi\in \operatorname{PSH}(Y,\chi_Y). The equation follows from the variational formula discussed before.

If n=1, then m=1, d=0, and f is an isomorphism of smooth curves. Both conclusions follow from V_\varepsilon\to V_Y. For the rest of the proof assume n\geq2. Fix smooth \varphi with \chi_Y+dd^c \varphi\ge\delta\chi_Y, put \widehat\omega=\chi+\varepsilon{\omega}+dd^c f^*\varphi, h=\varphi_\varepsilon-f^*\varphi, and

We claim that

Recall the binomial expansion in Lemma 4.4:

Write h=(\varphi_\varepsilon-f^*u)+(f^*u-\varphi). Then

For the second integral, Lemma 4.4 has already proved \operatorname{MA}_Y(u)=e^Ff_*\Omega. Thus

The last limit uses e^{F_\varepsilon}\leq C and \|e^{F_\varepsilon}-e^{f^*F}\|_{L^1} \leq C\|F_\varepsilon-f^*F\|_{L^1}\to0. Subtracting these two limits proves the claim.

Next, for smooth compactly supported (1,1) test form \Xi on Y^\circ, pair it with f_*(V_\varepsilon^{-1}(\widehat{\omega}^{n-1}-\omega_\varepsilon^{n-1})). The pairing is a sum of the following terms

All covectors of \bar\partial f^*\Xi are horizontal with bounded coefficients in \chi. Cauchy–Schwarz inequality gives

Since \widehat\omega\ge\delta\chi, the first squared factor is at most \delta^{-1}I_\varepsilon. The other squared factor is

If m=1, this factor is identically zero because \chi^2=0. Therefore

For 0<\delta<1, put v_\delta=(1-\delta)u, so that \chi_{v_\delta}=(1-\delta)\chi_u+\delta\chi_Y\geq\delta\chi_Y. For bounded psh functions, we have

Indeed, for T=\chi_u^k\wedge\chi_{v_\delta}^{m-1-k}, bounded Bedford–Taylor integration by parts on the resolution yields

This proves the uniform bound in (?).

Choose smooth u_j\downarrow u, and set \varphi_{\delta,j}=(1-\delta)u_j. The three limits are taken in the order \varepsilon\to0, then j\to\infty, then \delta\to0. For fixed \delta,j, direct computation gives

Hence (Proof) and (?) imply

For fixed \delta, monotone convergence of the Bedford-Taylor products implies

Letting j\to\infty in the preceding estimate and using (?), we obtain

Finally,

Let \delta\to0 to obtain (?). These formulas also hold when m=1.

Proof of (2). The bounds for F_\varepsilon and \operatorname{tr}_{\omega_\varepsilon}\chi imply

Thus, for every bounded nonnegative measurable b on Y,

Equivalently, as positive measures on Y,

For b\in C^\infty_c(Y^\circ), apply (i) with the test form \Xi=b\chi_Y. Since \chi=f^*\chi_Y, this gives

For nonnegative b, the preceding bound passes to this limit. Consequently,

Recall D=Y\setminus Y^\circ. Its inverse image is proper analytic, and bounded Bedford–Taylor products give no mass to proper analytic sets on a resolution. Therefore

The same measure inequality thus holds on all of Y.

It remains to allow test functions without compact support in Y^\circ. Fix b\in L^1(Y,f_*\Omega). The restriction of f_*\Omega to Y^\circ is a smooth positive volume form; it has finite total mass and gives no mass to D. Smooth approximation and exhaustion of Y^\circ therefore give

The two measure bounds imply

First let \varepsilon\to0 with j fixed, using the convergence already proved for b_j. The triangle inequality gives

This proves (?).

Direct computation shows

and

Moreover

Then similar expansion in the proof of Lemma 4.4 gives, for fixed smooth psh function \varphi\in \operatorname{PSH}(Y,\chi_Y),

Note that |F_\varepsilon|, \operatorname{tr}_{\omega_\varepsilon}\chi are uniformly bounded,

By Lemma 4.5,

Hence, a similar concavity argument as in Lemma 4.4 gives,

We choose \varphi_j\downarrow u, with \varphi_j\in \operatorname{PSH}(\mathbb C P^N,\ell^{-1}\omega_{FS}) being smooth. Monotone convergence of the mixed energies gives the desired convergence.

For a smooth \chi_\varepsilon-psh function \varphi, the normalized Mabuchi energy is defined as

The Mabuchi energy is convex along geodesics, and cscK metrics minimize it. Now we apply this to two family of metrics:

1. For {\tilde\omega}_\varepsilon, the potential \psi_\varepsilon\to f^*\varphi_{\rm can}, and \nu_{\rm can}=e^{f^*\varphi_{\rm can}}f_*\Omega, and \operatorname{tr}_{{\tilde\omega}_\varepsilon}\chi\leq C.

2. For \omega_\varepsilon, by passing to subsequence, the potential \varphi_\varepsilon\to f^*u, and \nu_u=e^Ff_*\Omega=\operatorname{MA}_Y(u), and \operatorname{tr}_{\omega_\varepsilon}\chi\leq C.

On Y, one has

Since \underline{R}_\varepsilon\to -m and the bounded \log-density converges in L^1, we get

The same argument in Lemma 4.4,4.5,4.6 also works for {\tilde\omega}_\varepsilon, and we get

Since \omega_\varepsilon is the unique cscK metric, we have \mathcal{M}_\varepsilon(\varphi_\varepsilon)\leq \mathcal{M}_{\varepsilon}(\psi_\varepsilon).

Note that from concavity, we also have

Therefore

Here we used that \operatorname{MA}_Y(u)=e^Ff_*\Omega by Lemma 4.4, and the equation of the canonical metric on the base \operatorname{MA}_Y(\varphi_{\rm can})=e^{\varphi_{\rm can}}f_*\Omega.

Now the difference of the entropy term

where we let s=e^{F-\varphi_{\rm can}} and used the facts that s\log s-s+1\geq 0 and = attains only at s=1. Therefore, every inequality is equality. In particular, s=1 almost everywhere, i.e.

Note the following elementary inequality

It follows that

The first factor is bounded due to the cohomology class

and

By Cauchy–Schwarz inequality, one gets (i).

For (2),

and likewise with the measures interchanged. Finally,

Markov’s inequality gives the last assertion.

Apply Lemma 4.8 to \omega_\varepsilon and {\tilde\omega}_\varepsilon. Their normalized densities are uniformly bounded above and below and have the same total-variation limit. The uniform convergence of the metric in regular part in Theorem 2.4 gives

Use the \omega_{\rm SRF}-orthogonal complement of the vertical tangent bundle. The reference form has zero mixed term; its horizontal restriction is f^*\omega_{\rm can}+O_K(\varepsilon) and its vertical restriction is \varepsilon\omega_{{\rm SRF},y}. Since f^*\alpha vanishes on vertical vectors, duality gives

When d=0, this follows directly from convergence of positive metrics on f^{-1}(K). For 0<\eta<1, outside a set of measure tending to zero,

so duality gives

The comparison-family limit gives convergence in measure as \eta\downarrow0. Since |f^*\alpha|_{\omega_\varepsilon}^2 \leq C_\alpha\operatorname{tr}_{\omega_\varepsilon}\chi\leq C_\alpha, the convergence holds in every finite L^p.

Suppress \varepsilon and use \mu_\varepsilon for all integrals and norms. We first estimate U_+=\max\{U,0\}. For \delta>0, set

-\Delta_\omega U_+\leq|\Delta_\omega U| in the weak sense, hence -\Delta_\omega v\leq|\Delta_\omega U|. For p\geq2 and \xi=\xi_{s,t}, use the nonnegative test function \xi^2v^{p-1}. All integrals in the next display are over f^{-1}(B_t), and all differential norms use \omega_\varepsilon. Integration by parts and Young’s inequality give

The cutoff bound and the uniform Sobolev inequality imply

Put p_*'=p_*/(p_*-1)<q and \theta=q/[p_*(q-1)]\in(0,1). For h=\xi v^{p/2}, Hölder’s inequality and interpolation give

Choose \tau=(2Cp^2)^{-1} and absorb the first term. Since \|h\|_{L^2}^2\leq\int_{f^{-1}(B_t)}v^p and \xi=1 on f^{-1}(B_s),

Set r_l=r(1+2^{-l}) and p_l=2q^l. Taking (s,t,p)=(r_{l+1},r_l,p_l) in (Proof) yields

Consequently,

Since U_+\leq v and \mu_\varepsilon(X)=1,

Let \delta\downarrow0. The same argument for -U estimates U_-=(-U)_+ and proves the desired estimate.

Fix q/(q-1)<p_*<\infty. On any coordinate ball B_{2r}\Subset Y^\circ, set U=F_\varepsilon-f^*\varphi. Then one has

Choose a smooth \omega_{\rm can}-unitary (1,0)-froms \alpha_1,...,\alpha_m on a neighborhood of B_{2r}. Then by Lemma 4.9, and |F_\varepsilon|\leq C,

Combined with \underline{R}_\varepsilon\to -m, it follows that

Moreover, we showed in Lemma 4.7 that F_\varepsilon\to f^*\varphi\ _{\rm can} in L^p for any finite p. Hence \|U\|_{L^{p^*}(f^{-1}(B_{2r}),\mu_\varepsilon)}\to 0. For any given K\Subset X^\circ, choose finitely many coordinate balls such that

Applying Lemma 4.10, we get the desired L^\infty convergence.

Work over B_{2r}\Subset Y^\circ, with base coordinates y^1,\ldots,y^m. For a=\sum_{\alpha=1}^m a_\alpha\,dy^\alpha with constant coefficients and |a|_{\omega_{\rm can}}\leq1 on B_{2r}, set

We have

Suppress \varepsilon and put

Fix x\in f^{-1}(B_{2r}) and choose holomorphic coordinates z^1,\ldots,z^n normal for \omega at x:

Write h_i=\partial_i h, h_{ik}=\partial_k\partial_i h, with \sum_jg^{i\bar j}g_{k\bar j}=\delta^i_k. Since h is holomorphic,

Straightforward computation gives

At x, we have

Thus, using \operatorname{Ric}(\omega)=-\chi-dd^c F,

Thus

It is also (Proof) for the holomorphic map h to flat \mathbb C. A unitary change of the normal coordinates diagonalizes \chi, with eigenvalues \lambda_i\geq0, so

In particular,

We retain the square in (Proof) below. The smoothness of u_0 on the fixed chart gives

Consequently,

Set v=(u-f^*u_0)_+, \xi=\xi_{s,t} and \psi=\xi^2v^{p-1}, where p\geq3. All following integrals use d\mu_\varepsilon on f^{-1}(B_t), and all differential norms use \omega. Testing (Proof) with \psi,

To estimate the last term, note that at the normal point

Hence

Integration by parts, and the bounds u+|\nabla F|_\omega\leq C from Lemma 3.2 and the trace estimate in base give

Here the square is absorbed using

Since

the remaining terms satisfy

After absorption, the cutoff bound and 0\leq v\leq C imply

The uniform Sobolev inequality therefore yields

Then Moser iteration implies

Write u_\varepsilon(a),u_0(a) to denote the covector dependence. Since \operatorname{tr}_{\omega_\varepsilon}\chi\leq C, for |a|,|b|\leq1,

For a finite \delta-net of the Euclidean unit covectors, the convergence of v_+\to 0 is uniform. Hence

Let \delta\downarrow0. Since u_0(a)\geq c_r|a|^2 on \overline{B_r}, homogeneity gives

For Z\in T^{1,0}X, duality then gives

Finally choose K\subset\bigcup_{j=1}^N B_{r_j} with \overline{B_{2r_j}}\Subset Y^\circ. The maximum of the finitely many errors o_{r_j}(1) tends to zero. The preceding inequality is therefore equivalent to the desired sharp Schwarz-type estimate on f^{-1}(K).

Since \chi|_{X_y}=0, one has

where v_{\varepsilon,y}:=\varepsilon^{-1}\left(\varphi_\varepsilon|_{X_y}-V_F^{-1}\int_{X_y}\varphi_\varepsilon{\omega_y}^d\right), and dd^c_V means the differential on the fiber(vertical) direction. Moreover,

0\leq \chi\leq \operatorname{tr}_{\omega_\varepsilon}\chi\omega_\varepsilon\leq C\omega_\varepsilon, \chi^m\wedge\omega_\varepsilon^d\leq C^m\omega_\varepsilon^n. Note that V_\varepsilon\leq C\varepsilon^d and F_\varepsilon\leq C. Over a compact f^{-1}(K)\Subset X^\circ,

Hence

Standard L^\infty-estimate for complex Monge-Ampère equation gives the desired estimate for v_{\varepsilon,y}.

By Lemma 5.1, we can choose 0<\delta_\varepsilon\to 0 such that \omega_\varepsilon-(1-\delta_\varepsilon)f^*\omega_{\rm can}\geq 0. Thus

Let h_{{\rm RF},y}=\omega_{{\rm SRF},y}^d/{\omega_y}^d. Then

Here we used that F_\varepsilon\to f^*\varphi_{\rm can} in L^\infty away from singlar fiber(Lemma 4.11). Consequently,

From stability estimate for complex Monge-Ampère equation, we get the desired L^\infty-closeness of the potentials. To see the convergence is uniform on K, we sketch a proof here. Set a=v_{\varepsilon,y}-\rho_y, and \omega_{\varepsilon,y}'=\omega_{{\rm SRF},y}+dd^ca. Both forms are positive, \|a\|_\infty\leq C_K, and (\omega_{\varepsilon,y}')^d/\omega_{{\rm SRF},y}^d\leq C_K. The smooth reference metrics \omega_{{\rm SRF},y} over K' have common Sobolev and Poincaré constants and are uniformly equivalent to {\omega_y}. Since \int a\,{\omega_y}^d=0, integration by parts gives

Let u=a_+, from difference of two equations we get

Here q>1 is a common fiber Sobolev exponent, and the zero-order Sobolev term is absorbed using 0\leq u\leq C_K. Moser iteration gives

Applying this to both signs proves \|a\|_{L^\infty}\leq C_K\eta_\varepsilon^{\beta/2}\to0.

As before, choose 0<\delta_\varepsilon\to 0 such that \gamma_\varepsilon:=\omega_{\varepsilon}-(1-\delta_\varepsilon)f^*\omega_{\rm can}\geq 0. Then R_\varepsilon:=f_*(\gamma_\varepsilon^{d+1})/((d+1)\varepsilon^dV_F)\geq 0.

Only products in the fiber direction contribute to the fiber integration, hence

As a result, T_\varepsilon=(1-\delta_\varepsilon)\omega_{\rm can}+R_\varepsilon-\frac{\varepsilon f_*(\omega_{\rm SRF}^{d+1})}{(d+1)V_F}. On the other hand,

Hence

Since f_*\omega_\varepsilon^n\to V_{\varepsilon}f^*\omega_{\rm can}^m by Lemma 4.11, we get

This proves T_\varepsilon\to \omega_{\rm can} uniformly away from singular fibers.

For a potential \varphi, recall that the energy is

Here and in the following dd^c is taken with respect to the full directions. It follows that

We can write \omega_{\varepsilon}=f^*(\chi_Y+dd^c \bar{\varphi}_{\varepsilon,y})+\varepsilon({\omega}+dd^c v_{\varepsilon,y}), where \bar{\varphi}_{\varepsilon,y}=V_F^{-1}\int_{X_y}\varphi_{\varepsilon}{\omega_y}^d. Hence

By the definition of T_\varepsilon, we get

Note that

Hence let r_\varepsilon=v_{\varepsilon,y}-\rho-f^*(E_y(v_{\varepsilon,y})-E_y(\rho)), we get the desired representation and the estimate.

If d=0, f:X^\circ\to Y^\circ is biholomorphic. The sharp Schwarz estimate gives \omega_\varepsilon\geq(1-o(1))f^*\omega_{\rm can}, while Lemma 4.11 gives \omega_\varepsilon^n/(f^*\omega_{\rm can})^n\to1. Every eigenvalue is bounded below by 1-o(1) and their product tends to 1; hence every eigenvalue tends to 1. This proves (1), with the convention \omega_{\rm SRF}={\omega}. The fibers are points, so (2) is immediate. Assume henceforth d>0.

Suppose \varepsilon_j\to 0, and choose arbitrary x_j\in f^{-1}(K). After passing to subsequence, x_j\to x_0\in f^{-1}(K). We fix a submersion coordinates (y,z)\in \mathbb C^m\times \mathbb C^d around x_0, such that f(y,z)=y. Suppose x_j=(y_j,z_j). Define on a fixed polydisc centered at zero

By Lemma 6.4,

The reference forms converges

where \operatorname{pr}_1 is the projection to y and \operatorname{pr}_2 is the projection to z.

The previous lemma provides b_j such that

Fix w_0 with dd^c w_0=\omega_\infty. Then

Let \omega_E=dd^c(|w|^2+|\zeta|^2), then we have the volume density convergence

Choose p>3n(n-1) and P>\max\{2n,p,(n-1)p\}. After a linear change, we can assume dd^c w_0=\omega_E(0). Choose a fixed r_*>0 such taht

Pull back by dilation z\mapsto r_*z and divide the potentials by r_*^2, retaining their names. The rescaled reference w_0 is fixed, so its ellipticity and third derivatives are bounded by some C_0. Since r_* is fixed, for all sufficiently large j,

By Theorem 6.6, we get \|\phi_j\|_{W^{2,P}(B_\frac12)}\leq C. Note that for any positive (1,1)-form \alpha,

Let \alpha=dd^c\phi_j, then we get

In particular both traces have bounded L^p norm. We also have the cscK equation R(dd^c\phi_j)=r_*^2\varepsilon_j\underline{R}_{\varepsilon_j}. So |R(dd^c\phi_j)|+|\phi_j|\leq C. Then we can apply Chen-Cheng’s local estimate [CC17, Section 6], on B_\frac14

for any k>0. Hence we get the smooth convergence \widetilde{\omega}_j\to \omega_\infty.

The model \varepsilon_j^{-1}D_j^*(f^*\omega_{\rm can} +\varepsilon_j\omega_{\rm SRF}) also converges to \omega_\infty. Moreover, \varepsilon_j^{-1}D_j^*(f^*\omega_{\rm can} +\varepsilon_j{\omega}) has a positive smooth limit. Invariance of relative form norms under pullback and common scaling gives

The centers x_j were arbitrary, so (i) is proved.

Restriction \omega_\varepsilon to a fiber, we have \varepsilon^{-1}\omega_\varepsilon|_{X_y} \leq C_K\omega_{{\rm SRF},y}. The fixed compact smooth family of Ricci-flat fibers has uniformly bounded diameters. This proves (ii).

The cited arguments are metric arguments and apply to the present family with the following inputs. For each K\Subset Y^\circ,

Theorem 2.2 gives, with constants independent of \varepsilon,

Since f^{-1}(D) is proper analytic, \Omega(f^{-1}(D))=0. Consequently, for a compact exhaustion K_j\Subset Y^\circ,

Together with the theorem of Szekelyhidi 2.1, these are the inputs to [LTZ26, Lemma 4.1]. The regular path construction in [LTZ26, Lemma 4.2] and (Proof) give [LTZ26, equation (4.14), in the proof of Lemma 4.3]. No evolution equation is used in these steps.

Fix \delta>0, and choose K\Subset Y^\circ by Lemma 7.1(i). By Lemma 7.1(ii) and Proposition 7.2, for all sufficiently small \varepsilon>0,

For arbitrary x,x'\in X, choose z,z'\in f^{-1}(K) with

The lower distance estimate then gives

Hence

First \varepsilon\to0, then \delta\downarrow0, yields

Combining this with Proposition 7.2 proves (i). This is the metric reduction of [LTZ26, Lemma 4.3], with the uniform lower estimate also controlling the endpoints outside f^{-1}(K).

For (ii), the surjectivity of f makes \mathcal R_f=\{(x,f(x)):x\in X\} a correspondence. Thus

Fix \delta>0 and a finite \delta-net \{z_1,\ldots,z_N\} in (Y,d_{\rm can}). For v_j(z)=d_{\rm can}(z,z_j),

Choose v_{\varepsilon,j} from the preceding lemma, and set

For all x,x'\in X,

Using \operatorname{diam}(X,\omega_\varepsilon)\leq C from Theorem 2.2,

Let \delta\downarrow0.

Lemma 8.6 provides g\in C^\infty(\mathbb C P^N), such that the solution \Delta_{\omega_{\rm can}}h=\lambda h+g satisfies \|h-v\|_{L^\infty}<\delta, and \operatorname{Lip}(h)<1+\delta. Set v_\varepsilon=h_\varepsilon, where h_\varepsilon is the solution to \Delta_{\omega_{\varepsilon}}h_\varepsilon=\lambda h_\varepsilon+f^*g. The preceding lemma shows the desired approximation property.

Szekelyhidi’s theorem shows that the (Y,d_{\rm can},\nu_{\rm can}) is a RCD(-1,2m) space. [HS26, Theorem 2.33](see also [JKY14]) shows the quantitative Lipschitz regularity of solution of Poisson equations over balls. Cover Y by finite balls gives

for \nu_{\rm can}-almost every x. Such h has a unique \operatorname{Lip}-representative; see the proof of [S25RCD, Proposition 9].

From local regularity, h\in W^{3,p}_{loc}(Y^\circ) for any p>1, and hence locally C^2. The previous lemma gives |\nabla h|^2\in L^\infty. Since \operatorname{Ric}(\omega_{\rm can})\geq -\omega_{\rm can}, we have, on Y^\circ,

where we take L=(2\lambda-1)^{-1}\sqrt{2}\operatorname{Lip}(g). Let w=|\nabla u|_\omega^2 and z=(w-L^2)_+. Test the Bochner formula with \xi_j^2z, where \xi_j is the cut-off with capacity tends to 0. Integration by parts and Young’s inequality give

Absorb the first term on the right. By Fatou’s lemma,

For the uniform convergence, test the equation with \lambda h+g, we get

After scaling, assume \operatorname{Lip}(g)\leq 1. For \lambda>2, \operatorname{Lip}(\lambda h+g)\leq 3. Hence if \|\lambda h+g\|_{L^\infty}\ge a>0,

A contradiction.

Let \xi_j be the sequence of cut-offs with capacity tends to 0. Choose test function \xi_j^2h, then

Here all integrals use d\nu_{\rm can}, and gradients are taken with respect to the metric \omega_{\rm can}. By Fatou’s lemma \nabla h\in L^2. It follows that h\in W^{1,2}. The weak equation holds globally by taking limit of test functions in W^{1,2}.

By Lemma 8.4, we can choose \lambda>1 such that the solution \Delta h_v =\lambda h_v+v, satisfies

By Stone-Weierstrass theorem, the smooth function on \mathbb C P^N are dense in C(Y). So we can choose such g_0\in C^\infty(\mathbb C P^N) such that \|g_0-v\|_{L^\infty}<\min\{\delta/3,\delta/(3\lambda C_\lambda)\}, and set g=-\lambda g_0. Then we have

The maximum principle and the test function H imply

Write u=|\nabla H|_\omega^2. At an \omega-unitary frame, with repeated indices summed, the Bochner identity is

For a nonnegative real test function \psi, integration in the \bar j direction gives the invariant identity

Since |\nabla F|+|\Delta H|\leq C,

Put v=1+u and take \psi=v^{p-1}, p\geq2. The two terms requiring absorption satisfy

Also \chi_{i\bar j}H_jH_{\bar i}\leq Cu and |G_iH_{\bar i}|\leq C\sqrt u. Testing (Proof), using (Proof), and retaining the positive Hessian term therefore gives

The common Sobolev inequality yields \|v\|_{L^{pq}}\leq(Cp^2)^{1/p}\|v\|_{L^p}. Iteration with p=2q^j gives \|v\|_{L^\infty}\leq C\|v\|_{L^2}. Finally

by (Proof). This bounds \|v\|_{L^\infty}.

The preceding lemma gives 0\leq u\leq C and 0\leq z\leq C. Test (Proof) with \psi=z^{p-1}, p\geq3. Use regularized positive parts and pass to the limit if necessary. On \{z>0\}, \nabla z=\nabla u. The first term in (Proof) is bounded by

The last term is absorbed by

All other terms are bounded by Cz^{p-1}. Since z^{p-1}+z^p\leq C z^{p-2} with a constant independent of p, we obtain

Thus

Let p_0=1 and p_{j+1}=q(p_j+2). Applying the last inequality with p=p_j+2 gives

Here

The product of the constants is bounded because \sum_j\log(C(p_j+2)^2)/(p_j+2)<\infty. Letting k\to\infty proves the estimate.

Maximum principle and testing with h_\varepsilon give \|h_\varepsilon\|_{L^\infty}\leq \lambda^{-1}\|g\|_{L^\infty} and \int_X(|\nabla h_\varepsilon|_{\omega_{\varepsilon}}^2+\lambda h_\varepsilon^2)d\mu_\varepsilon\leq \lambda^{-1}\|g\|_{L^\infty}. So we can apply Lemma 4.2 to conclude that passing to a subsequence, h_\varepsilon\to f^*v in every L^p(X,\Omega), and \|v\|_{L^\infty}<\infty. For \varphi\in C^\infty_c(Y^\circ), then we have

Since \varphi is supported in a compact subset of Y^\circ, the metric \omega_\varepsilon\to f^*\omega_{\rm can}+\varepsilon\omega_{\rm SRF} uniformly there. Therefore,

which implies

Interior elliptic regularity implies v\in C^\infty_{loc}(Y^\circ) and satisfies \Delta_{\omega_{\rm can}} v=\lambda v+g. Since v\in L^\infty, by Lemma 8.5, v can be extended to Y and v\in W^{1,2} and satisfies the global weak equation. From the uniqueness of solution, every subsequence has the same limit, and the lemma follows.

For simplicity, put e_\varepsilon:=h_\varepsilon-f^*h.

(1) Let d_{FS} be the ambient Fubini-Study metric restricted to Y. By lemma 3.3 and the normalization f^*\omega_{FS}=\ell\chi,

Therefore, for any cuver \gamma in X, aftering taking infumum,

Apply Lemma 8.7, we get |\nabla h_\varepsilon|_{\omega_{\varepsilon}}\leq C for a uniform constant C.

Let r=d_{\omega_{\varepsilon}}(x,x'), then

Since (\overline{Y^\circ},d_{\rm can}) is homeomorphic to (Y,d_{FS}), h is continuous on Y. Hence, by compactness of Y, for each \delta>0, there exits r_\delta\in (0,1), which is independent of \varepsilon, such that

By the volume noncollapsing estimate in Theorem 2.2,

However, Lemma 8.10 gives e_\varepsilon\to 0 in L^2(\Omega), and also in L^2(\mu_\varepsilon) since |F_\varepsilon|\leq C.

Hence \|e_\varepsilon\|_{L^\infty}\to 0.

(2) Choose \xi\in C^\infty_c(Y^\circ) with 0\leq\xi\leq1 and \xi=1 near K; write \xi also for f^*\xi. On \operatorname{supp}\xi, one has

\operatorname{tr}_{\omega_{\varepsilon}}\chi\leq C implies |\nabla\xi|_{\omega_{\varepsilon}}\leq C, |\Delta_{\omega_{\varepsilon}}f^*h|\leq C, |\Delta_{\omega_{\varepsilon}}e_\varepsilon|\leq C. Therefore

As a reusult,

Let L_h=\operatorname{Lip}_{d_{\rm can}}(h) and fix K\Subset Y^\circ. Note that our notation is |\nabla h|_{\omega}^2=\frac{1}{2}|\nabla h|_{g_{\omega}}^2 where g_\omega is the Riemannian metric of \omega. From the sharp Schwarz type estimate,

Note that

By Cauchy-Schwarz inequality and previous lemma,

Since \|e_\varepsilon\|_{L^\infty}\to 0, and |\nabla h_\varepsilon|_{\omega_{\varepsilon}} is uniformly bounded,

Let K\uparrow Y^\circ. Since \Omega(f^{-1}(D))=0,

Thus with Lemma 8.8, we get the desired estimate.

(1) The estimates of Song–Tian [ST16, Lemma 2.1 and Propositions 2.1, 2.2, 3.1] give

The last inequality is [ST16, equation (3.19)], obtained by the maximum principle. The cohomological volume satisfies

(2) Fix a smooth reference Kähler form with volume one. Part (1) implies that the density of \mu_t relative to its volume form is bounded above and below by fixed positive constants. Consequently all its Nash–Yau entropies are bounded, and the lower density function in [GPSS23, Theorem 2.1] can be chosen to be a positive constant. Moreover,

The cited theorem gives a uniform mean-zero Sobolev inequality for some q>1. Since \mu_t(X)=1 and |\int_Xv\,d\mu_t|^2\leq\int_Xv^2\,d\mu_t, it implies (?).

(3) It is a standard consequence of the uniform Sobolev inequality from part (2).

Take any sequence t_j\to\infty. On a compact subset of X^\circ, the bound {\tilde\omega}(t_j)\leq C_K{\omega} and (?) give equicontinuity in the fixed smooth metric. Arzelà–Ascoli and a compact exhaustion give a subsequence converging locally uniformly to a bounded continuous function. On each fiber over K\Subset Y^\circ,

Thus the limit is f^*h_\infty, for a bounded continuous function h_\infty on Y^\circ.

For \psi\in C^\infty_c(Y^\circ), integration by parts gives

All integrands are supported in a fixed compact subset of X^\circ. The local uniform convergence implyies

Interior elliptic regularity gives h_\infty\in C^\infty(Y^\circ). By Lemma 8.5, h_\infty=h. Every subsequential limit is therefore f^*h, which proves local uniform convergence for the whole family. Since h_t,h are bounded and \Omega(X\setminus X^\circ)=0, dominated convergence gives the finite-L^p limits.

The proof is identical to the proof of 8.10.

Just identical to the proof of Lemma 8.6.