Delta invariants of projective bundles and projective cones of Fano type (Q2070926)

The \(\delta\)-invariant (also known as the stability threshold) of a Fano variety characterizes its K-stability. It was proved by \textit{K. Fujita} and \textit{Y. Odaka} [Tohoku Math. J. (2) 70, No. 4, 511--521 (2018; Zbl 1422.14047)] and \textit{H. Blum} and \textit{M. Jonsson} [Adv. Math. 365, Article ID 107062, 57 p. (2020; Zbl 1441.14137)] that a Fano variety \(X\) is K-semistable (resp. uniformly K-stable) if and only if \(\delta(X) > 1\) (resp. \(\delta(X) \geq 1\)). If \(X\) is not uniformly K-stable, the \(\delta\)-invariant equals the greatest Ricci lower bound as shown in [\textit{I. A. Cheltsov} et al., Sel. Math., New Ser. 25, No. 2, Paper No. 34, 36 p. (2019; Zbl 1418.32015); \textit{R. J. Berman} et al., J. Am. Math. Soc. 34, No. 3, 605--652 (2021; Zbl 1487.32141)]. In this article, the authors compute \(\delta\)-invariant of \(\mathbb{P}^1\)-bundles and projective cones over a Fano variety \(V\). Suppose \(V\) is a Fano variety of dimension \(n\) and Fano index \(\geq 2\). Let \(L = -\frac{1}{r}K_V\) be an ample line bundle for some rational number \(r>1\). Let \(\tilde{Y}:=\mathbb{P}_V(L^{-1} \oplus\mathcal{O}_V)\) be the \(\mathbb{P}^1\)-bundle as the compactification of the total space of \(L^{-1}\). Let \[ \beta_0:= \left(\frac{n+1}{n+2}\cdot \frac{(r+1)^{n+2} - (r-1)^{n+2}}{(r+1)^{n+1} - (r-1)^{n+1}} - (r-1)\right)^{-1}. \] Theorem 1.1 states that \[ \delta(\tilde{Y}) = \min \left\{\frac{\delta(V)r\beta_0}{1+\beta_0(r-1)}, \beta_0\right\}. \] Let \(Y\) be the projective cone over \(V\) with polarization \(L\). Then \(\tilde{Y}\to Y\) is a birational morphism that contracts the zero section \(V_0\) to the cone point in \(Y\). Theorem 1.4 implies that \[ \delta(Y) = \frac{(n+2)r}{(n+1)(r+1)}\min\left\{1, \delta(V), \frac{n+1}{r}\right\}. \] In particular, if \(V\) is K-semistable then \(r\leq n+1\) by \textit{K. Fujita} [Am. J. Math. 140, No. 2, 391--414 (2018; Zbl 1400.14105)], so we have \(\delta(Y) = \frac{(n+2)r}{(n+1)(r+1)}\). Similar computations of \(\delta\)-invariants are also done for log Fano pairs \((\tilde{Y}, aV_0+bV_\infty)\) and \((Y, cV_\infty)\). Applications are included for computations of \(\delta\)-invariants of certain singular hypersurfaces, and the existence of conical Kähler-Einstein metrics on projective spaces with certain cone angle along a smooth Fano hypersurface.