A complete classification is presented of elliptic and K3 fibrations birational to certain mildly singular complex Fano 3-folds. Detailed proofs are given for one example case, namely that of a general hypersurface X of degree 30 in weighted P^4 with weights 1,4,5,6,15; but our methods apply more generally. For constructing birational maps from X to elliptic and K3 fibrations we use Kawamata blowups and Mori theory to compute anticanonical rings; to exclude other possible fibrations we make a close examination of the strictly canonical singularities of (X,(1/n)H), where H is the linear system associated to the putative birational map and n is its anticanonical degree.
We investigate birational boundedness of Fano varieties and Fano fibrations. We establish an inductive step towards birational boundedness of Fano fibrations via conjectures related to boundedness of Fano varieties and Fano fibrations. As corollaries, we provide approaches towards birational boundedness and boundedness of anti-canonical volumes of varieties of $ε$-Fano type. Furthermore, we show birational boundedness of $3$-folds of $ε$-Fano type.
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.
In this paper we give a criterion for birational rigidity of del Pezzo fibrations of degree 1 and 2 with only quotient singularities. As an application, we prove birational rigidity of suitable del Pezzo fibrations admitting an action of the Klein simple group.
In this paper we study 14 families among 85 families of anticanonically embedded Q-Fano threefolds weighted complete intersections of codimension 2 and show that every quasismooth member is birationally birigid, that is, it is birational to another Q-Fano threefold but not birational to any other Mori fiber space.
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 give first examples of $\mathbb{Q}$-Fano threefolds whose birational Mori fiber structures consist of exactly three $\mathbb{Q}$-Fano threefolds. These examples are constructed as weighted hypersurfaces in a specific weighted projective space. We also observe that the number of birational Mori fiber structures does not behave upper semi-continuously in a family of $\mathbb{Q}$-Fano threefolds.
In this paper, we classify Fano manifolds with elementary contractions of birational type such that the second or third exterior power of tangent bundles are numerically effective.
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 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.
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 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 announce a factorization result for equivariant birational morphisms between toric 4-folds whose source is Fano: such a morphism is always a composite of blow-ups along smooth invariant centers. Moreover, we show with a counterexample that, differently from the 3-dimensional case, even if both source and target are Fano, the intermediate varieties can not be chosen Fano.
Let X be a smooth Fano variety of dimension at least 4. We show that if X has an elementary birational contraction sending a divisor to a curve, then the Picard number of X is smaller or equal to 5.
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.
Del Pezzo fibrations appear as minimal models of rationally connected varieties. The rationality of smooth del Pezzo fibrations is a well studied question but smooth fibrations are not dense in moduli. Little is known about the rationality of the singular models. We prove birational rigidity, hence non-rationality, of del Pezzo fibrations with simple non-Gorenstein singularities satisfying the famous $K^2$-condition. We then apply this result to study embeddings of $\operatorname{PSL}_2(7)$ into the Cremona group.
There is two group actions on the Fano scheme of lines such that the quotient becomes an irreducible symplectic manifold. We showed that both quotients are birational to the generalized Kummer variety or the 2-points Hilbert scheme of a K3 surface.
We prove birational superrigidity of every hypersurface of degree N in P^N with singular locus of dimension s, under the assumption that N is at least 2s+8 and it has only quadratic singularities of rank at least N-s. Combined with the results of I. A. Chel'tsov and T. de Fernex, this completes the list of birationally superrigid singular hypersurfaces with only ordinary double points except in dimension 4 and 6. Further we impose an additional condition on the base locus of a birational map to a Mori fiber space. Then we prove conditional birational superrigidity of certain smooth Fano hypers…
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.
Determining when the birational automorphism group of a Fano variety is finite is an interesting and difficult problem. The main technique for studying this problem is by the Noether-Fano method. This method has been effective in studying this problem for Fano varieties of index one and two. The purpose of this paper is to give a new approach to this problem, and to show that in every positive characteristic there are Fano varieties of arbitrarily large index with finite (or even trivial) birational automorphisms. To do this we prove that these varieties admit ample and birationally equivarian…
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.
Varieties fibered into del Pezzo surfaces form a class of possible outputs of the minimal model program. It is known that del Pezzo fibrations of degrees $1$ and $2$ over the projective line with smooth total space satisfying the so-called $K^2$-condition are birationally rigid: their Mori fibre space structure is unique. This implies that they are not birational to any Fano varieties, conic bundles or other del Pezzo fibrations. In particular, they are irrational. The families of del Pezzo fibrations with smooth total space of degree $2$ are rather special, as for "most" families a general de…
We give a sufficient condition for birational superrigidity of del Pezzo fibrations of degree $1$ with only $\frac{1}{2} (1,1,1)$ singular points, generalizing the so called $K^2$-condition. As an application, we also prove that a del Pezzo fibrations of degree $1$ with only $\frac{1}{2} (1,1,1)$ singular points embedded in a toric $\mathbb{P} (1,1,2,3)$-bundle over $\mathbb{P}^1$ is birationally superrigid if and only if it satisfies the $K$-condition.
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 use the specialization homomorphism for the birational automorphism group to study finite order birational automorphisms. For a family of varieties over a DVR, we prove that a birational automorphism of order coprime to the residue characteristic cannot specialize to the identity. As an application, we show that very general $n$-dimensional hypersurfaces of degree $d \geq 5 \lceil (n+3)/6 \rceil$ have no finite order birational automorphisms.
The theorem referred to in the title is a technical result that is needed for the classification of elliptic and K3 fibrations birational to Fano 3-fold hypersurfaces in weighted projective space. We present a complete proof of the Curve Exclusion Theorem, which first appeared in the author's unpublished PhD thesis [Ry02] and has since been relied upon in solutions to many cases of the fibration classification problem. We give examples of these solutions and discuss them briefly.
We study birational geometry of Fano varieties, realized as double covers $σ\colon V\to {\mathbb P}^M$, $M\geq 5$, branched over generic hypersurfaces $W=W_{2(M-1)}$ of degree $2(M-1)$. We prove that the only structures of a rationally connected fiber space on $V$ are the pencils-subsystems of the free linear system $|-\frac12 K_V|$. The groups of birational and biregular self-maps of the variety $V$ coincide.
We prove birational superrigidity of generic Fano fiber spaces $V/{\mathbb P}^1$, the fibers of which are Fano complete intersections of index 1 and dimension $M$ in ${\mathbb P}^{M+k}$, provided that $M\geq 2k+1$. The proof combines the traditional quadratic techniques of the method of maximal singularities with the linear techniques based on the connectedness principle of Shokurov and Koll\' ar. Certain related results are also considered.
We develop the quadratic technique of proving birational rigidity of Fano-Mori fibre spaces over a higher-dimensional base. As an application, we prove birational rigidity of generic fibrations into Fano double spaces of dimension $M\geqslant 4$ and index one over a rationally connected base of dimension at most $\frac12 (M-2)(M-1)$. An estimate for the codimension of the subset of hypersurfaces of a given degree in the projective space with a positive-dimensional singular set is obtained, which is close to the optimal one.
We highlight a relation between the existence of Sarkisov links and the finite generation of (certain) Cox rings. We introduce explicit methods to use this relation in order to prove birational rigidity statements. To illustrate, we complete the birational rigidity results of Okada for Fano complete intersection 3-folds in singular weighted projective spaces.
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.
Bernardi and Tirabassi show the existence of full strong exceptional collections consisting of line bundles on smooth toric Fano $3$-folds under assuming Bondal's conjecture, which states that the Frobenius push-forward of the structure sheaf $\mc O_X$ generates the derived category $D^b(X)$ for smooth projective toric varieties $X$. In this article, we show Bondal's conjecture for smooth toric Fano $3$-folds and also improve their result, using birational geometry.
We prove birational superrigidity of Fano double hypersurfaces of index one with quadratic and multi-quadratic singularities, satisfying certain regularity conditions, and give an effective explicit lower bound for the codimension of the set of non-rigid varieties in the natural parameter space of the family. The lower bound is quadratic in the dimension of the variety. The proof is based on the techniques of hypertangent divisors combined with the recently discovered $4n^2$-inequality for complete intersection singularities.
Given a natural number $l$ and a weak Fano $n$-fold $X$ with $\operatorname{dim}\overline{φ_{-lK_X}(X)}\geq n-1$, we study the lower bound of the anti-canonical volume and the upper bound of the anti-canonical stability index. The method can also be used to give similar bounds for polarised Calabi-Yau varieties.
Extending previous results, we prove that for $n \ge 5$ all hypersurfaces of degree $n+1$ in ${\mathbb P}^{n+1}$ with isolated ordinary double points are birational superrigid and K-stable, hence admit a weak Kähler--Einstein metric.
In this paper, we prove various results on boundedness and singularities of Fano fibrations and of Fano type fibrations. A Fano fibration is a projective morphism $X\to Z$ of algebraic varieties with connected fibres such that $X$ is Fano over $Z$, that is, $X$ has "good" singularities and $-K_X$ is ample over $Z$. A Fano type fibration is similarly defined where $X$ is assumed to be close to being Fano over $Z$. This class includes many central ingredients of birational geometry such as Fano varieties, Mori fibre spaces, flipping and divisorial contractions, crepant models, germs of singulari…
In this paper we study smooth toric Fano varieties using primitive relations and toric Mori theory. We show that for any irreducible invariant divisor D in a toric Fano variety X, we have $0\leqρ_X-ρ_D\leq 3$, for the difference of the Picard numbers of X and D. Moreover, if $ρ_X-ρ_D>0$ (with some additional hypotheses if $ρ_X-ρ_D=1$), we give an explicit birational description of X. Using this result, we show that when dim X=5, we have $ρ_X\leq 9$. In the second part of the paper, we study equivariant birational morphisms f whose source is Fano. We give some general results, and in dimension …
This article treats smooth weak Fano 3-folds having an extremal ray of type D. Smooth weak Fano 3-folds with an extremal ray of type D except of degree 6 are classified into 47 deformation types.
We complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of co…
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.
We prove that a fibration X \to \Bbb P_1, the general fiber of which is a smooth Fano threefold, is rationally connected. The proof is based on a generalization of Tsen's classical theorem: a fibration X/C over a curve the general fiber of which is a Fano complete intersection in a product of weighted projective spaces has a section.
By Jahnke-Peternell-Radloff and Takeuchi, almost Fano threefolds with del Pezzo fibrations were classified. Among them, there exists 10 classes such that the existence of members of these was not proved. In this paper, we construct such examples belonging to each of 10 classes.
We study the group of relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstrass and Fano or anti-Fano fibrations we are able to describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier-Mukai partners then there is an isometric isomorphism between the fibre products of each of them and its dual abelian scheme. If the base is normal and the slope map is surjective we show that these two conditions are equivalent. Moreover in this situation we completely determ…
