Kähler-Einstein metrics on symmetric general arrangement varieties (Q2139847)

Let \(X_{a,b}^{2n-1}\) be the hypersurface of bidegree \((a,b)\) in \(\mathbb{P}^n\times \mathbb{P}^n\) defined by the equation \(\sum_{i=0}^n x_i^ay_i^b=0\). It is equipped with an action of \((\mathbb{C}^*)^n\) by \[ (t_1,\ldots,t_n)\cdot ([x_0:\cdots :x_n],[y_0:\cdots :y_n]) = ([x_0:t_1^bx_1:\cdots :t_n^bx_n],[y_0:t_1^ay_1\cdots :t_n^ay_n]). \] Consider also the quadric \(Q^{2n}\) in \(\mathbb{P}^{2n+1}\) defined by the equation \(\sum_{i=0}^n x_iy_i =0\) in homogeneous coordinates \([x_0:\cdots:x_n:y_0:\cdots y_n]\). It is equipped with an action of \((\mathbb{C}^*)^{n+1}\) by \[ (t_0,\ldots,t_n)\cdot [x_0:\cdots :x_n:y_0:\cdots :y_n] = [t_0x_0:\cdots :t_nx_n:t_0y_0:\cdots :t_ny_n]. \] For every \(i\), this action leaves stable the subvariety \(Z_i\) of \(Q^{2n}\) defined by \(x_i=y_i=0\). Let \(W^{2n}\) denote the successive blowup \(\operatorname{Bl}_{Z_n}\cdots \operatorname{Bl}_{Z_1}\operatorname{Bl}_{Z_0}Q^{2n}\). The main result of the paper is that \(X_{1,2}^5\), \(X_{1,3}^5\) and \(W^6\) admit Kähler-Einstein metrics. The proof relies crucially on a remarkable result of Süss allowing to relate the alpha invariant of a \(T\)-variety to that of its Chow quotient, equipped with a boundary divisor [\textit{H. Süß}, Adv. Math. 246, 100--113 (2013; Zbl 1288.32035)]. In the paper, the author carries out the explicit computation of Chow quotients for the families \(X_{a,b}^{2n-1}\) and \(W^{2n}\). He further computes the alpha invariant of the pairs \((\mathbb{P}^2,\gamma B)\) where \(\gamma<\frac{3}{4}\) and \(B\) is the divisor in \(\mathbb{P}^2\) defined by \(xyz(x+y+z)=0\), in homogeneous coordinates \([x:y:z]\). These pairs (for different values of \(\gamma\)) appear as the Chow quotients of \(X_{1,2}^5\), \(X_{1,3}^5\) and \(W^6\). Tian's alpha invariant criterion [\textit{G. Tian}, Invent. Math. 89, 225--246 (1987; Zbl 0599.53046)] concludes the proof.