Birationally superrigid Fano 3-folds of codimension 4 (Q2305969): Difference between revisions

Let \(X\) be a Fano variety of Picard number one with \(\mathbb{Q}\)-factorial terminal singularities. We say that \(X\) is birationally superrigid if every birational map \(X\dashrightarrow Y\) from \(X\) to a Mori fibre space \(Y\rightarrow T\) is an isomorpohism. Due to its close relations to the non-rationality of Fano varieties and the existence of Kähler-Einstein metric, this notion has attracted many interests. In this paper under review, the author study the birational superrigidity for certian Fano \(3\)-folds. To state the main result, let us recall some basic notations. A \textit{prime Fano \(3\)-fold} \(X\) is a normal projective \(\mathbb{Q}\)-factorial \(3\)-fold with only terminal singularities such that \(-K_X\) is ample and the class group \(\text{Cl}(X)=\mathbb{Z}\) is generated by \(-K_X\). Then we consider the anti-canonical graded ring \(R(X,-K_X)=\bigoplus_{m\in\mathbb{Z}_{\geq 0}} H^0(X,-mK_X)\). By choosing minimal generators, we can embed \(X\) into a weighted projective space. By the \textit{codimension} of \(X\) we mean the codimension of \(X\) in this weighted projective space. By the works of Altinok, Brown, Iano-Fletcher, Kasprzyk, Prokhorov, Reid and others, there is a database of numerical data coming from graded rings that can be the anti-canonical graded ring of a prime Fano \(3\)-folds (see \url{http://www.grdb.co.uk/}). Up to codimension \(3\), the birational superrigidity of quasi-smooth prime Fano \(3\)-folds has been well studied, see the references in the paper under review. The main goal of the paper under review is to study the birational superrigidity of the known examples of quasismooth prime Fano \(3\)-folds with codimension \(4\). Here we note that there are \(145\) candidates of numerical data in this situation (see again \url{http://www.grdb.co.uk/}) and the existence of examples for \(116\) datas of them is proved in [\textit{G. Brown} et al., Compos. Math. 148, No. 4, 1171--1194 (2012; Zbl 1258.14049)] and there are \(5\) candidates with no projection centres: \(\sharp 25\), \(\sharp 116\), \(\sharp 282\), \(\sharp 308\) and \(\sharp 29374\). It was shown in [\textit{O. Debarre} et al., J. Algebr. Geom. 21, No. 1, 21--59 (2012; Zbl 1250.14029)] that the vareities corresponding to \(\sharp 29374\) are not birational superrigidity. The author showed in the paper under review that the varieties corresponding to the remanining \(4\) datas are birational superrigid with some additional assumptions for \(\sharp 282\).