We prove that a smooth Fano hypersurface $V=V_M\subset{\Bbb P}^M$, $M\geq 6$, is birationally superrigid. In particular, it cannot be fibered into uniruled varieties by a non-trivial rational map and each birational map onto a minimal Fano variety of the same dimension is a biregular isomorphism. The proof is based on the method of maximal singularities combined with the connectedness principle of Shokurov and Koll\' ar.
We classify birationally rigid orbifold Fano 3-folds of index one defined by $5 \times 5$ Pfaffians. We give a sharp criterion for birational rigidity of these families based on the type of singularities that the varieties admit. Various conjectures are born out of our study, highlighting a possible approach to the classification of terminal Fano 3-folds. The birationally rigid cases are the first known rigid examples of Fanos that are not (weighted) complete intersection.
We compute global log canonical thresholds of certain birationally bi-rigid Fano 3-folds embedded in weighted projective spaces as complete intersections of codimension 2 and prove that they admit an orbifold Kähler-Einstein metric and are K-stable. As an application, we give examples of super-rigid affine Fano 4-folds.
We compute global log canonical thresholds, or equivalently alpha invariants, of birationally rigid orbifold Fano threefolds embedded in weighted projective spaces as codimension two or three. As an important application, we prove that most of them are weakly exceptional, $K$-stable and admit Kähler--Einstien metric.
We determine birational superrigidity for a quasi-smooth prime Fano 3-fold of codimension 4 with no projection centers. In particular we prove birational superrigidity for Fano 3-folds of codimension 4 with no projection centers which are recently constructed by Coughlan and Ducat. We also pose some questions and a conjecture regarding the classification of birationally superrigid Fano 3-folds.
It is proved that a general Fano hypersurface of index 1 (in the projective space) with isolated singularities of general position is birationally rigid. Therefore it cannot be fibered into uniruled varieties of a smaller dimension by a rational map. The group of birational self-maps is either trivial or cyclic of order two.
We prove that a general Fano fibration $π\colon V\to {\mathbb P}^1$, the fiber of which is a double Fano hypersurface of index 1, is birationally superrigid provided it is sufficiently twisted over the base. In particular, on $V$ there are no other structures of a rationally connected fibration. The proof is based on the method of maximal singularities.
A conjecture of Pukhlikov states that a smooth Fano variety of dimension at least four and index one is birationally rigid. We show that a general member of the linear system given by the ample generator of the Picard group of the moduli space of stable, rank two bundles with fixed determinant of odd degree on a curve of genus at least three, is not birationally rigid.
We complete the study of birational geometry of Fano fiber spaces $π\colon V\to {\mathbb P}^1$, the fiber of which is a Fano double hypersurface of index 1. For each family of these varieties we either prove birational rigidity or produce explicitly non-trivial structures of Fano fiber spaces. A new linear method of studying movable systems on Fano fiber spaces $V/{\mathbb P}^1$ is developed.
In this paper we prove birational rigidity of large classes of Fano-Mori fibre spaces over a base of arbitrary dimension, bounded from above by a constant that depends on the dimension of the fibre only. In order to do that, we first show that if every fibre of a Fano-Mori fibre space satisfies certain natural conditions, then every birational map onto another Fano-Mori fibre space is fibre-wise. After that we construct large classes of fibre spaces (into Fano double spaces of index one and into Fano hypersurfaces of index one) which satisfy those conditions. The paper is a follow up of my pre…
We give a brief survey of the concept of birational rigidity, from its origins in the two-dimensional birational geometry, to its current state. The main ingredients of the method of maximal singularities are discussed. The principal results of the theory of birational rigidity of higher-dimensional Fano varieties and fibrations are given and certain natural conjectures are formulated.
Iterating the procedure of making a double cover over a given variety, we construct large families of smooth higher-dimensional Fano varieties of index 1. These varieties can be realized as complete intersections in various weighted projective spaces. A generic variety in these families is proved to be birationally superrigid; in particular, it admits no non-trivial structures of a fibration into rationally connected (or uniruled) varieties, it is non-rational and its groups of birational and biregular self-maps coincide.
This note points out a gap in the proof of the main theorem of the article "Birationally rigid hypersurfaces" published in Invent. Math. 192 (2013), 533-566, and provides a new proof of the theorem.
We continue to study birational geometry of Fano fibrations $π\colon V\to {\mathbb P}^1$ the fibers of which are Fano double hypersurfaces of index 1. For a majority of families of this type, which do not satisfy the condition of sufficient twistedness over the base, we prove birational rigidity (in particular, it means that there are no other structures of a fibration into rationally connected varieties) and compute their groups of birational self-maps. We considerably improve the principal components of the method of maximal singularities, in the first place, the technique of counting multip…
We prove that every birationally superrigid Fano variety whose alpha invariant is greater than (resp. no smaller than) $\frac{1}{2}$ is K-stable (resp. K-semistable). We also prove that the alpha invariant of a birationally superrigid Fano variety of dimension $n$ is at least $\frac{1}{n+1}$ (under mild assumptions) and that the moduli space (if exists) of birationally superrigid Fano varieties is separated.
We prove that a generic (in the sense of Zariski topology) Fano complete intersection $V$ of the type $(d_1,...,d_k)$ in ${\mathbb P}^{M+k}$, where $d_1+...+d_k=M+k$, is birationally superrigid if $M\geq 7$, $M\geq k+3$ and $\mathop{\rm max} \{d_i\}\geq 4$. In particular, on the variety $V$ there is exactly one structure of a Mori fibre space (or a rationally connected fibre space), the groups of birational and biregular self-maps coincide, $\mathop{\rm Bir} V= \mathop{\rm Aut} V$, and the variety $V$ is non-rational. This fact covers a considerably larger range of complete intersections than …
This is a continuation of a series of papers studying the birational Mori fiber structures of anticanonically embedded $\mathbb{Q}$-Fano $3$-fold weighted complete intersections of codimension $2$. We have proved that $19$ families consists of birationally rigid varieties and $14$ families consists of birationally birigid varieties. The aim of this paper is to continue the work systematically and prove that, among the remaining $52$ families, $21$ families consist of birationally birigid varieties.
We prove that for N greater than or equal to 4, all smooth hypersurfaces of degree N in P^N are birationally superrigid. First discovered in the case N = 4 by Iskovskikh and Manin in a work that started this whole direction of research, this property was later conjectured to hold in general by Pukhlikov. The proof relies on the method of maximal singularities in combination with a delicate formula on restrictions of multiplier ideals.
We prove birational superrigidity of generic Fano complete intersections $V$ of type $2^{k_1}\cdot 3^{k_2}$ in the projective space ${\mathbb P}^{2k_1+3k_2}$, under the condition that $k_2\geq 2$ and $k_1+2k_2=\mathop{\rm dim} V\geq 12$, and of a few families of Fano complete intersections of dimension 10 and 11. This is the third version: minor corrections were made, including a few typos.
We prove that in the parameter space of $M$-dimensional Fano complete intersections of index one and codimension two the locus of varieties that are not birationally superrigid has codimension at least $\frac12 (M-9)(M-10)-1$.
In this paper we consider Q-Fano 3-fold weighted complete intersections of codimension 2 in the 85 families listed in the Iano-Fletcher's list and determine which cycle is a maximal center or not. For each maximal center, we construct either a birational involution which untwists the maximal singularity or a Sarkisov link centered at the cycle to an another explicitly described Mori fiber space. As a consequence, 19 families are proved to be birationally rigid and the remaining 66 families are proved to be birationally nonrigid.
We study the geometry and the period map of nodal complex prime Fano threefolds with index 1 and degree 10. We show that these threefolds are birationally isomorphic to Verra solids (hypersurfaces of bidegree $(2,2)$ in $ ¶^2\times ¶^2$). Using Verra's results on the period map for these solids and on the Prym map for double étale covers of plane sextic curves, we prove that the fiber of the period map for our nodal threefolds is birationally the union of two surfaces, for which we give several descriptions. This result is the analog in the nodal case of a result obtained in arXiv:0812.3670 fo…
We study a wide class of affine varieties, which we call affine Fano varieties. By analogy with birationally super-rigid Fano varieties, we define super-rigidity for affine Fano varieties, and provide many examples and non-examples of super-rigid affine Fano varieties.
We prove that a Fano complete intersection of codimension $k$ and index 1 in the complex projective space ${\mathbb P}^{M+k}$ for $k\geqslant 20$ and $M\geqslant 8k\log k$ with at most multi-quadratic singularities is birationally superrigid. The codimension of the complement to the set of birationally superrigid complete intersections in the natural parameter space is shown to be at least $\frac12 (M-5k)(M-6k)$. The proof is based on the techniques of hypertangent divisors combined with the recently discovered $4n^2$-inequality for complete intersection singularities.
In this paper a large class of Fano double quadrics and cubics are shown to be factorial and birationally superrigid, in particular they admit no non-trivial structure of a fibration with rationally connected fibres and are therefore non-rational. This is shown using the "Method of maximal singularities" of Iskovskikh and Manin, expanded upon by Pukhlikov. In addition, an estimate of the codimension of the set of such varieties is calculated.
We prove the birational rigidity of Fano complete intersections of index 1 with a singular point of high multiplicity, which can be close to the degree of the variety. In particular, the groups of birational and biregular automorphisms of these varieties are equal, and they are non-rational. The proof is based on the techniques of the method of maximal singularities, the generalized $4n^2$-inequality for complete intersection singularities and the technique of hypertangent divisors.
We prove the birational superrigidity and the nonrationality of a cyclic triple cover of $\mathbb{P}^{2n}$ branched over a nodal hypersurface of degree $3n$ for $n\ge 2$. In particular, the obtained result solves the problem of the birational superrigidity of smooth cyclic triple spaces. We also consider certain relevant problems.
Using ideas from the theory of tropical curves and degeneration, we prove that any Fano hypersurface (and more generally Fano complete intersections) is swept by at most quadratic rational curves.
We prove that a general Fano hypersurface in a projective space over an algebraically closed field of arbitrary characteristic is separably rationally connected.
We survey some results on the nonrationality and birational rigidity of certain hypersurfaces of Fano type. The focus is on hypersurfaces of Fano index one, but hypersurfaces of higher index are also discussed.
We show that the Zariski closure of the set of hypersurfaces of degree $M$ in ${\mathbb P}^{M}$, where $M\geq 5$, which are either not factorial or not birationally superrigid, is of codimension at least $\binom{M-3}{2}+1$ in the parameter space.
It is conjectured that a Fano manifold of Picard number 1 which is not a projective space admits no endomorphisms of degree bigger than 1. Beauville confirmed this for hypersurfaces of projective space. We study this problem for hypersurfaces of an arbitrary Fano manifold of Picard number 1.
Let F(X_d) be a smooth Fano variety of lines of a hypersurface X_d of degree d. In this paper, we prove the Griffiths group Griff_1(F(X_d)) is trivial if the hypersurface X_d is of 2-Fano type. As a result, we give a positive answer to a question of Professor Voisin about the first Griffiths groups of Fano varieties in some cases. Base on this result, we prove that CH_2(X_d)=\mathbb{Z} for a complex smooth $3$-Fano hypersurface X_d whose Fano variety of lines is smooth.
We determine the rationality of very general quasismooth Fano 3-fold weighted hypersurfaces completely and determine the stable rationality of them except for cubic 3-folds. More precisely we prove that (i) very general Fano 3-fold weighted hypersurfaces of index 1 or 2 are not stably rational except possibly for the cubic threefolds, (ii) among the 27 families of Fano 3-fold weighted hypersurfaces of index greater than 2, very general members of specific 7 families are not stably rational and the remaining 20 families consists of rational varieties.
We give the first evidence for a conjecture that a general, index-one, Fano hypersurface is not unirational: (i) a general point of the hypersurface is contained in no rational surface ruled, roughly, by low-degree rational curves, and (ii) a general point is contained in no image of a Del Pezzo surface.
We classify birational maps into elliptic fibrations of a general quasismooth hypersurface in $\mathbb{P}(1,a_{1},a_{2},a_{3},a_{4})$ of degree $\sum_{i=1}^{4}a_{i}$ that has terminal singularities.
We establish birational superrigidity for a large class of singular projective Fano hypersurfaces of index one. In the special case of isolated singularities, our result applies for instance to: (1) hypersurfaces with semi-homogeneous singularities of multiplicity asymptotically bounded by twice the square root of the dimension of the hypersurface, (2) hypersurfaces with isolated singularities whose Tyurina numbers satisfy a similar bound, and (3) hypersurfaces with isolated singularities whose dual variety is a hypersurface of degree sufficiently close to the expected degree.
In this paper we propose and prove an explicit formula for computing the degree of Fano schemes of linear subspaces on general hypersurfaces. The method used here is based on the localization theorem and Bott's residue formula in equivariant intersection theory.
We classify all pencils on a general weighted hypersurface in $\mathbb{P}(1,a_{1},a_{2},a_{3},a_{4})$ of degree $\sum_{i=1}^{4}a_{i}$ whose general members are surfaces of Kodaira dimension zero.
We determine the complete list of anticanonically embedded quasi smooth log Fano 3-folds in weighted projective 4-spaces. This implies that the Reid-Fletcher list of 95 types of anticanonically embedded quasi smooth terminal Fano threefolds in weighted projective 4-spaces is complete. We also prove that there are only finitely many families of quasi smooth Calabi-Yau hypersurfaces in weighted projective spaces of any given dimension.
We show that the degrees of rational endomorphisms of very general complex Fano and Calabi-Yau hypersurfaces satisfy certain congruence conditions by specializing to characteristic p. As a corollary we show that very general n-dimensional hypersurfaces of degree $d\ge 5\lceil (n+3)/6\rceil$ are not birational to elliptic fibrations. A key part of the argument is to resolve singularities of general p-cyclic covers in mixed characteristic p.
Under a hypothesis on $k$, $d$ and $n$ that is almost the best possible, we prove that for every smooth degree $d$ hypersurface in $P^n$, the $k$-plane sections dominate the moduli space of degree $d$ hypersurface in $P^k$. Using this we prove rational simple connectedness of every smooth degree $d$ hypersurface in $P^n$, under a suitable hypothesis on $d$ and $n$ (previous results were only for general hypersurfaces).
The purpose of this paper is to compute the degree of irrationality of hypersurfaces of sufficiently high degree in various Fano varieties: quadrics, Grassmannians, products of projective space, cubic threefolds, cubic fourfolds, and complete intersection threefolds of type (2,2). This extends the techniques of Bastianelli, De Poi, Ein, Lazarsfeld, and the second author who computed the degree of irrationality of hypersurfaces of sufficiently high degree in projective space. A theme in the paper is that the fibers of low degree rational maps from the hypersurfaces to projective space tend to l…
We establish the vanishing of the third unramified cohomology group for many types of Fano hypersurfaces in projective space over an algebraically closed field of arbitrary characteristic, and over a finite field. For cubic hypersurfaces over a finite field, the case of fourfolds remains open. --- Sur un corps algébriquement clos et sur un corps fini, on établit de nouveaux résultats d'annulation pour la cohomologie non ramifiée de degré 3 pour de nombreux types d'hypersurfaces de Fano. Le cas des hypersurfaces cubiques de dimension 4 sur un corps fini reste ouvert.
We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then Fano variety of lines on a smooth rational cubic fourfold is birational to a Hilbert scheme of two points on a K3 surface; in particular, general cubic fourfold is irrational.
We show that five of Reid's Fano 3-fold hyperurfaces containing at least one compound Du Val singularity of type $cA_n$ have pliability at least two. The two elements of the pliability set are the singular hypersurface itself, and another non-isomorphic Fano hypersurface of the same degree, embedded in the same weighted projective space, but with different compound Du Val singularities. The birational map between them is the composition of two birational links initiated by blowing up two Type I centres on a codimension 4 Fano 3-fold of $\mathbb{P}^2 \times \mathbb{P}^2$-type having Picard rank…
We show that complex Fano hypersurfaces can have arbitrarily large degrees of irrationality. More precisely, if we fix a Fano index e, then the degree of irrationality of a very general complex Fano hypersurface of index e and dimension n is bounded from below by a constant times $\sqrt{n}$. To our knowledge this gives the first examples of rationally connected varieties with degrees of irrationality greater than 3. The proof follows a degeneration to characteristic p argument which Kollár used to prove nonrationality of Fano hypersurfaces. Along the way we show that in a family of varieties, …
