Fano varieties with many selfmaps (Q2461784): Difference between revisions

Let \(X\) be a Fano \(n\)-fold that has at most log terminal singularities. The global log canonical threshold of \(X\) is the supremum of the \(\lambda \in \mathbb Q\) such that the pair \((X,\lambda H)\) is log canonical for every effective \(\mathbb Q\)-divisor \(H\) linearly equivalent to \(-K_X\). When \(X\) has at most quotient singularities and the global log canonical threshold is strictly bigger than \(n/(n+1)\), then \(X\) admits a (singular) Kähler-Einstein metric. \newline Suppose now that \(X\) is a hypersurface in the weighted projective space \(\mathbb P(1,a_1,a_2,a_3,a_4)\). The variety \(X\) is defined to be quasismooth if the affine cone over \(X\) is smooth outside its vertex (i.e. the singularities of \(X\) come from the \(\mathbb C^*\)-action defining the weighted projective space, in particular \(X\) has only quotient singularities). Families of quasismooth weighted threefold hypersurfaces of degree \(\sum a_i\) with only terminal singularities have been classified by Reid and Iano-Fletcher (these are the \textit{famous 95} [cf. \textit{A.R. Iano-Flechter}, in: Explicit birational geometry of 3-folds. Lond. Math. Soc. Lect. Note Ser. 281, 101--173 (2000; Zbl 0960.14027)]). In the paper under review, the author shows that if \(X\) is a general quasismooth hypersurface in \(\mathbb P(1,a_1,a_2,a_3,a_4)\) of degree \(\sum a_i\) with only terminal singularities and \(-K_X^3 \leq 1\), then the global log canonical threshold equals one. In particular \(X\) admits a (singular) Kähler-Einstein metric. The proof relies on preceeding work on weighted Fano threefold hypersurfaces by \textit{I. Cheltsov} and \textit{J. Park} [e.g. J. Reine Angew. Math. 600, 81--116 (2006; Zbl 1113.14030)] and \textit{A. Corti, A. Pukhlikov} and \textit{M. Reid} [in: Explicit birational geometry of 3-folds. Lond. Math. Soc. Lect. Note Ser. 281, 175--258 (2000; Zbl 0960.14020)]. The following corollary is proven: Let \(X_1 \times \ldots \times X_r\) be a product of varieties such that each factor \(X_i\) satisfies the hypothesis of the main theorem. Then \(X_1 \times \ldots \times X_r\) is not rational, and any rational map with rationally connected general fibre comes birationally from a projection onto a product \(X_{i_1} \times \ldots \times X_{i_k}\). Moreover we get a description of the group of birational automorphisms, this allows to produce examples of Fano varieties with infinite discrete groups of birational automorphisms.