In this paper we investigate non-rationality of divisors on 3-fold log Fano fibrations $(X,B)\to Z$ under mild conditions. We show that if $D$ is a component of $B$ with coefficient $\ge t>0$ which is contracted to a point on $Z$, then $D$ is birational to $\mathbb{P}^1\times C$ where $C$ is a smooth projective curve with gonality bounded depending only on $t$. Moreover, if $t>\frac{1}{2}$, then genus of $C$ is bounded depending only on $t$.
We give necessary and sufficient conditions for unirationality and rationality of Fano threefolds of geometric Picard rank-1 over an arbitrary field of zero characteristic.
A Fano-Enriques threefold is a three-dimensional non-Gorenstein Fano variety of index 1 with at most canonical singularities. We study the birational geometry of Fano-Enriques threefolds with terminal cyclic quotient singularities. We investigate their rationality, and also provide an example of a Fano-Enriques threefold, whose pliability is 9, i.e. a Fano-Enriques threefold birationally equivalent to exactly 9 Mori fibre spaces in Sarkisov category.
We classify some special classes of non-rational Fano threefolds with terminal singularities. In particular, all such hyperelliptic and trigonal varieties are found.
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 classify nonrational Fano threefolds $X$ with terminal Gorenstein singularities such that $\mathrm{\rk}\, \mathrm{\Pic}(X)=1$, $(-K_X)^3\ge 8$, and $\mathrm{\rk}\, \mathrm{\Cl}(X)\le 2$.
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 prove rationality criteria over algebraically non-closed fields of characteristic $0$ for five out of six types of geometrically rational Fano threefolds of Picard number $1$ and geometric Picard number bigger than $1$. For the last type of such threefolds we provide a unirationality criterion and prove stable non-rationality under additional assumptions.
The main aim of this article is to show that a very general 3-dimensional del Pezzo fibration of degree 1,2,3 is not stably rational except for a del Pezzo fibration of degree 3 belonging to explicitly described 2 families. Higher dimensional generalizations are also discussed and we prove that a very general del Pezzo fibration of degree 1,2,3 defined over the projective space is not stably rational provided that the anticanonical divisor is not ample.
We describe the set of Mori structures for a Fano 3-fold of index 2 and degree 1 (the double cone over the Veronese surface). In partiular, it is proved that such a Fano variety is not rational, the group of birational automorphisms coincides with the group of biregular automorphisms, and there are no structures of conic bundle.
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…
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 prove that a very general complex hypersurface of degree $n+1$ in $\mathbb{P}^{n+1}$ containing an $r$-plane with multiplicity $m$ is not stably rational for $n \ge 3$, $m, r > 0$ and $n \ge m+r$. We also investigate failure of stable rationality of a very general hypersurface of degree $n+1$ in $\mathbb{P}^{n+1}$ admitting several isolated ordinary double points.
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.
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.
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…
We provide a new construction of rationality for cubic fourfolds via Mori's theory and the minimal model program. As an application, we present the solution of the Kuznetsov's conjecture for $d=42$ (the first open case). Our methods also show an explicit connection between the rationality of cubic fourfolds belonging to the first four admissible families $\mathcal C_d$, with $d=14,26,38$, and $42$ and some birational models of minimal K3 surfaces of degree $d$ contained in well known rational Fano fourfolds.
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.
We refine the classification of weak Fano threefolds with sextic del Pezzo fibrations by considering the Hodge numbers of them. By the refined classification result, such threefolds are classified into 17 cases. The main result of this paper is to show that there exists an example for each of 17 cases, except for 2 cases.
In this paper, we study the structure of Fano fibrations of varieties admitting an int-amplified endomorphism. We prove that if a normal $\mathbb{Q}$-factorial klt projective variety $X$ has an int-amplified endomorphism, then there exists an étale in codimension one finite morphism $\widetilde{X} \to X$ such that $\widetilde{X}$ is of Fano type over its albanese variety. As a corollary, if we further assume that $X$ is smooth and rationally connected, then $X$ is of Fano type.
We study the polynomial fibration induced by the equation of the Klein surfaces obtained as quotient of finite linear groups of automorphisms of the plane; this surfaces are of type A, D, E, corresponding to their singularities. The generic fibre of the polynomial fibration is a surface defined over the function field of the line. We proved that it is not rational in cases D, E, although it is obviously rational in the case A. The group of automorphisms of the Klein surfaces is also described, and is linear and of finite dimension in cases D, E; this result being obviously false in case A.
Fano fibrations arise naturally in the birational classification of algebraic varieties. We show that these morphisms always induce a semiorthogonal decomposition on the derived category of the fibred space, extending classic results such as Orlov's projective bundle formula to the non-flat and singular case.
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 show boundedness of $3$-folds of $ε$-Fano type with Mori fibration structures. The proof is based on the birational boundedness result in our previous work arXiv:1509.08722 combining with arguments in Kawamata \cite{K} and Kollár--Miyaoka--Mori--Takagi \cite{KMMT}.
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 …
We find a characterization for Fano 4-folds $X$ with Lefschetz defect $δ_{X}=3$: besides the product of two del Pezzo surfaces, they correspond to varieties admitting a conic bundle structure $f\colon X\to Y$ with $ρ_{X}-ρ_{Y}=3$. Moreover, we observe that all of these varieties are rational. We give the list of all possible targets of such contractions. Combining our results with the classification of toric Fano $4$-folds due to Batyrev and Sato we provide explicit examples of Fano conic bundles from toric $4$-folds with $δ_{X}=3$.
We prove a criterion of nonsingularity of a complete intersection of two fiberwise quadrics in a scroll over $P^1$. As a corollary we derive the following addition to the Alexeev theorem on rationality of standard Del Pezzo fibrations of degree 4 over $P^1$: we prove that any fibration of this kind with the topological Euler characteristic -4 is rational.
The present paper provides a geometric characterization of complete flag varieties for semisimple algebraic groups. Namely, if $X$ is a Fano manifold whose all elementary contractions are $\mathbb P^1$-fibrations then $X$ is isomorphic to the complete flag manifold $G/B$ where $G$ is a semi-simple Lie algebraic group and $B$ is a Borel subgroup of $G$.
Let X -> Y be a fibration whose fibers are complete intersections of two quadrics. We develop new categorical and algebraic tools---a theory of relative homological projective duality and the Morita invariance of the even Clifford algebra under quadric reduction by hyperbolic splitting---to study semiorthogonal decompositions of the bounded derived category of X. Together with new results in the theory of quadratic forms, we apply these tools in the case where X -> Y has relative dimension 1, 2, or 3, in which case the fibers are curves of genus 1, Del Pezzo surfaces of degree 4, or Fano three…
Let X be a smooth, complex Fano variety. For every prime divisor D in X, we set c(D):=dim ker(r:H^2(X,R)->H^2(D,R)), where r is the natural restriction map, and we define an invariant of X as c_X:=max{c(D)|D is a prime divisor in X}. In a previous paper we showed that c_X<9, and that if c_X>2, then either X is a product, or X has a flat fibration in Del Pezzo surfaces. In this paper we study the case c_X=2. We show that up to a birational modification given by a sequence of flips, X has a conic bundle structure, or an equidimensional fibration in Del Pezzo surfaces. We also show a weaker prope…
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 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.
We prove a structure theorem for non-isomorphic endomorphisms of weak Q-Fano threefolds, or more generally for threefolds with big anti-canonical divisor. Also provided is a criterion for a fibred rationally connected threefold to be rational. As a consequence, we show (without using the classification) that every smooth Fano threefold having a non-isomorphic surjective endomorphism is rational.
In our previous research, we constructed the affine varieties $Σ_{\mathbb{A}}^{13}$ and $Π_{\mathbb{A}}^{14}$ whose partial projectivizations admit $\mathbb{P}^{2}\times\mathbb{P}^{2}$-fibrations with relative Picard number one. In this paper, we produce prime quasi-smooth $\mathbb{Q}$-Fano 3-folds which are anticanonically embedded of codimension four and belong to 23 (resp.8) classes in the Graded Ring Database [GRDB], as weighted complete intersections in weighted projectivizations of $Σ_{\mathbb{A}}^{13}$ (resp.$Π_{\mathbb{A}}^{14}$ or its cone). We also show that a general member of the a…
We study (smooth, complex) Fano 4-folds X having a rational contraction of fiber type, that is, a rational map X-->Y that factors as a sequence of flips followed by a contraction of fiber type. The existence of such a map is equivalent to the existence of a non-zero, non-big movable divisor on X. Our main result is that if Y is not P^1 or P^2, then the Picard number rho(X) of X is at most 18, with equality only if X is a product of surfaces. We also show that if a Fano 4-fold X has a dominant rational map X-->Z, regular and proper on an open subset of X, with dim(Z)=3, then either X is a produ…
Let $f\colon X\to Z$ be a Mori fibre space. McKernan conjectured that the singularities of $Z$ are bounded in terms of the singularities of $X$. Shokurov generalised this to pairs: let $(X,B)$ be a klt pair and $f\colon X\to Z$ a contraction such that $K_X+B\sim_\R 0/Z$ and that the general fibres of $f$ are Fano type varieties; adjunction for fibre spaces produces a discriminant divisor $B_Z$ and a moduli divisor $M_Z$ on $Z$. it is then conjectured that the singularities of $(Z,B_Z+M_Z)$ are bounded in terms of the singularities of $(X,B)$. We prove Shokurov conjecture when $(F,\Supp B_F)$ b…
We construct a $14$-dimensional affine variety $Σ^{14}_{\mathbb{A}}$ with a $\rm{GL}_3$- and a $(\mathbb{C}^*)^6$-actions. We denote by $Σ^{13}_{\mathbb{A}}$ the affine variety obtained from $Σ^{14}_{\mathbb{A}}$ by setting one specified variable to $1$ (we refer the precise definition to Definition 1.1 of the paper). We show that several weighted projectivizations of $Σ^{13}_{\mathbb{A}}$ and $Σ^{14}_{\mathbb{A}}$ produce, as weighted complete intersections, examples of prime $\mathbb{Q}$-Fano threefolds of codimension four belonging to $24$ classes of the graded ring database. Except No.360 …
A. Borisov classified into finitely many series the set of isomorphism classes of germs of toric $\Q$-factorial singularities, of fixed dimension and with minimal log discrepancy over the special point bounded from below by a fixed real number. We extend this classification to germs of toric Fano fibrations, possibly not $\Q$-factorial. As an application, we verify in the toric setting a conjecture proposed by V. V. Shokurov on the existence of bounded complements.
