On K-polystability for log del Pezzo pairs of Maeda type (Q2209813)

Let \(X\) be a Fano manifold defined over the complex number field \(\mathbb{C}\). It is a deep theorem that \(X\) admits a Kähler-Einstein metric if and only if \(X\) is \textit{K-polystable}. One can also consider K-polystability for log Fano pairs \((X, \Delta)\) defined over an algebraically closed field of characteristic zero. Recall that \((X, \Delta)\) is called a \textit{log Fano pair} if it is a projective klt pair such that \(-(K_X+\Delta)\) is an ample \(\mathbb{Q}\)-divisor on \(X\). In general, it is difficult to test K-polystability in a purely algebraic way because computing \textit{delta invariants} is not very helpful to show K-polystability if it is not uniformly K-stable. The main result of the paper under review is to show K-polystability for some log del Pezzo pairs purely algebraically (Theorem 1): \textit{For \(\delta \in [0, 1) \cap \mathbb{Q}\), consider a log del Pezzo pair \((X, \delta C)\), where \(X=\mathbb{P}^2\) or \(\mathbb{P}^1 \times \mathbb{P}^1\) and \(C\) is a smooth conic or the diagonal, respectively. Then \((X, \delta C)\) is \(K\)-polystable if and only if \(\delta < 3/4\) (resp. \(\delta < 1/2\)) when \(X=\mathbb{P}^2\) (resp. \(X=\mathbb{P}^1 \times \mathbb{P}^1\)).} This result is already known, and there is an algebraic proof. However, the proof in the paper is direct and easy. It is worth noting that the log del Pezzo pairs in the main result are not uniformly K-stable. As an application of the main theorem, the classification of K-polystable log del Pezzo pairs of Maeda type is given (Corollary 1). Recall that a log del Pezzo pair \((X, \Delta)\) is said to be of \textit{Maeda type} if \(X\) is smooth, \(D:=\text{Supp}~\Delta\) is simple normal crossing, and \(-(K_X+D)\) is ample.