The partial \(C^0\)-estimate along a general continuity path and applications (Q2243568)

The authors establish a new partial \(C^0\)-estimate along a continuity path mixed with conic singularities along a simple normal crossing divisor and a positive twisted \((1,1)\)-form on Fano manifolds. To be precise, Consider a general continuity path \(\{\omega_t\}\) with \(T\in (0, 1]\) on a Fano manifold \(M\) as follows: \[Ric(\omega_t)=t\omega_t+(1-t)\Big(\sum_{r=1}^m 2\pi b_r[D_r]+b_0\alpha_0 \Big),\] where \begin{itemize} \item \(\alpha_0\) is a smooth positive \((1,1)\)-form in \(c_1(M)\); \item \(D_1,\dots, D_m\) are semi-ample irreducible divisors with simple normal crossing singularities; \item \(b_0,b_1=\frac{p_1}{q},\dots,b_m=\frac{p_m}{q}\) are positive rational numbers less than 1, where \(q\) is the smallest common denominator; \item \(\sum_{r=1}^m b_r[D_r]\in(1-b_0)c_1(M)\); \item \(\{\omega_t\}\in c_1(M)\) is a family of Kähler metrics with conic singularities along \(D_r\). \end{itemize} Let \(\rho_{\omega, l}\) be the Bergman kernel (restricted to the diagonal) of \(K^{-l}\) with respect to \(\omega\), the main theorem of the paper says that for the above continuity path, and for any \(l=l_i\to\infty\), one can find constants \(c_l\) (independent of \(t\)) such that \(\rho_{\omega_t,l}\geq c_l\). The method of proof follows that of \textit{G. Tian} [Commun. Pure Appl. Math. 68, No. 7, 1085--1156 (2015; Zbl 1318.14038)] and using ideas of \textit{G. Székelyhidi} [J. Am. Math. Soc. 29, No. 2, 537--560 (2016; Zbl 1335.53098)]. As an application, the authors prove the reductivity of the automorphism group of the limit space, which leads to a new proof of the Yau-Tian-Donaldson conjecture.