We give some bounds on the anticanonical degrees of Fano varieties with Picard number 1 and mild singularities, extending results of Kollár et al. from the early 90's and improving them even in the smooth case. The proof is based on a study of positivity properties of sheaves of differential operators on ample line bundles, and avoids the use of rational curves and bend-and-break. This note is a self-contained exposition of the main ideas of math.AG/9811022
The purpose of the present paper is to generalize Sakai's work on anticanonical models of rational surfaces to varieties of Fano type. We first prove a characterization of Fano type varieties using the singularities of anticanonical models. Secondly, we study the decomposition of the anticanonical map using the $K_X$-minimal model program.
We give the first examples of flat fiber type contractions of Fano manifolds onto varieties that are not weak Fano, and we prove that these morphisms are Fano conic bundles. We also review some known results about the interaction between the positivity properties of anticanonical divisors of varieties of contractions.
We show that any Fano fivefold with canonical Gorenstein singularities has an effective anticanonical divisor. Moreover,if a general element of the anticanonical system is reduced, then it has canonical singularities. We also prove nonvanishing of anticanonical system in the case of log canonical Gorenstein singularities.
In this paper we show that a general element of $|-K_X|$ on a four-dimensional Fano manifold has at most terminal singularities. We then determine an explicit local expression of these singular points.
Seshadri constants, introduced by Demailly, measure the local positivity of a nef divisor at a point. In this paper, we compute the Seshadri constants of the anticanonical divisors of Fano manifolds with coindex at most $3$ at a very general point. As a consequence, if $X$ is a nonsingular Fano threefold which is very general in its deformation family, then $\varepsilon(X,-K_X;x)\leq 1$ for all points $x\in X$ if and only if $\vert-K_X\vert$ is not base point free.
In this paper we address Fano manifolds X with a locally unsplit dominating family of rational curves of anticanonical degree equal to the dimension of X. We first observe that their Picard number is at most 3, and then we provide a classification of all cases with maximal Picard number. We also give examples of locally unsplit dominating families of rational curves whose varieties of minimal tangents at a general point is singular.
It is well known that the Hodge conjecture with rational coefficients holds for degree 2n-2 classes on complex projective n-folds. In this paper we study the more precise question if on a rationally connected complex projective n-fold the integral Hodge classes of degree 2n-2 are generated over $\mathbb Z$ by classes of curves. We combine techniques from the theory of singularities of pairs on the one hand and infinitesimal variation of Hodge structures on the other hand to give an affirmative answer to this question for a large class of manifolds including Fano fourfolds. In the last case, on…
Building on the work of Casagrande-Codogni-Fanelli, we develop our study on the birational geometry of the Fano fourfold $Y=M_{S,-K_S}$ which is the moduli space of semi-stable rank-two torsion-free sheaves with $c_1=-K_S$ and $c_2=2$ on a polarised degree-one del Pezzo surface $(S,-K_S)$. Based on the relation between $Y$ and the blow-up of $\mathbb{P}^4$ in $8$ points, we describe completely the base scheme of the anticanonical system $|{-}K_Y|$. We also prove that the Bertini involution $ι_Y$ of $Y$, induced by the Bertini involution $ι_S$ of $S$, preserves every member in $|{-}K_Y|$. In pa…
The anticanonical complex has been introduced as a natural generalization of the toric Fano polytope and so far has been succesfully used for the study of varieties with a torus action of complexity one. In the present article we enlarge the area of application of the anticanonical complex to varieties with a torus action of higher complexity, for example, general arrangement varieties. As an application of our techniques we classify the three-dimensional canonical Fano intrinsic quadrics with automorphism group having a maximal torus of dimension one.
We show that the set of Fano varieties (with arbitrary singularities) whose anticanonical divisors have large Seshadri constants satisfies certain weak and birational boundedness. We also classify singular Fano varieties of dimension $n$ whose anticanonical divisors have Seshadri constants at least $n$, generalizing an earlier result of Liu and the author.
We apply a recent theorem of Li and the first author to give some criteria for the K-stability of Fano varieties in terms of anticanonical Q-divisors. First, we propose a condition in terms of certain anticanonical Q-divisors of given Fano variety, which we conjecture to be equivalent to the K-stability. We prove that it is at least sufficient condition and also relate to the Berman-Gibbs stability. We also give another algebraic proof of the K-stability of Fano varieties which satisfy Tian's alpha invariants condition.
Given $ε>0$, we show that over an algebraically closed field of characteristic $p>5$, the anticanonical volume of a Fano threefold $X$ (with arbitrary singularities) whose anticanonical divisor has Seshadri constant $ε(-K_X,x)>2+ε$ at some smooth point $x\in X$ is bounded from above.
We discuss in this note which K3 surfaces appear as anticanonical divisors in a Fano threefold. We prove in particular that a general K3 surface with given Picard lattice P and polarization class h in P is an anticanonical divisor in a Fano threefold if and only if (P,h) is isomorphic to (Pic(V), c_1(V)) for some Fano threefold V, where Pic(V) is equipped with the intersection product (L,M) --> (L.M.c_1(V)).
The map given by the anticanonical bundle of a Fano manifold is investigated with respect to a number of natural notions of higher order embeddings of projective manifolds. This is of importance in the understanding of higher order embeddings of the special varieties of adjunction theory, which are usually fibered by special Fano manifolds. An analysis is carried out of the higher order embeddings of the special varieties of adjunction theory that arise in the study of the first and second reductions. Special attention is given to determining the order of the anticanonical embeddings of the th…
We study the deformation theory of a Q-Fano 3-fold with only terminal singularities. First, we show that the Kuranishi space of a Q-Fano 3-fold is smooth. Second, we show that every Q-Fano 3-fold with only "ordinary" terminal singularities is Q-smoothable, that is, it can be deformed to a Q-Fano 3-fold with only quotient singularities. Finally, we prove Q-smoothability of a Q-Fano 3-fold assuming the existence of a Du Val anticanonical element. As an application, we get the genus bound for primary Q-Fano 3-folds with Du Val anticanonical elements.
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 study global log canonical thresholds on anticanonically embedded quasismooth weighted Fano threefold hypersurfaces having terminal quotient singularities to prove the existence of a Kahler-Einstein metric on most of them, and to produce examples of Fano varieties with infinite discrete groups of birational automorphisms.
Let $X$ be a Fano manifold. While the properties of the anticanonical divisor $-K_X$ and its multiples have been studied by many authors, the positivity of the tangent bundle $T_X$ is much more elusive. We give a complete characterisation of the pseudoeffectivity of $T_X$ for del Pezzo surfaces, hypersurfaces in the projective space and del Pezzo threefolds.
For fixed degree $d\leq 12$, we study the Hilbert scheme of degree $d$ smooth Fano threefolds in their anticanonical embeddings. We use this to classify all possible degenerations of these varieties to toric Fano varieties with at most canonical Gorenstein singularities.
We study the evolution of anticanonical line bundles along the Kähler Ricci flow. We show that under some conditions, the convergence of Kähler Ricci flow is determined by the properties of the anticanonical divisors of $M$. As examples, the Kähler Ricci flow on $M$ converges when $M$ is a Fano surface and $c_1^2(M)=1$ or $c_1^2(M)=3$. Combined with the work in \cite{CW1} and \cite{CW2}, this gives a Ricci flow proof of the Calabi conjecture on Fano surfaces with reductive automorphism groups. The original proof of this conjecture is due to Gang Tian.
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…
Let $(X,Δ)$ be an $n$-dimensional $ε$-klt log $\QQ$-Fano pair. We give an upper bound for the volume ${\rm Vol}(-(K_X+Δ))=(-(K_X+Δ))^n$ when $n=2$ or $n=3$ and $X$ is {$\QQ$-factorial} of $ρ(X)=1$. This bound is essentially sharp for $n=2$. Existence of an upper bound for anticanonical volumes is related the Borisov-Alexeev-Borisov Conjecture which asserts boundedness of the set of $ε$-klt log $\QQ$-Fano varieties of a given dimension $n$.
Let $X$ be a $\mathbb Q$-Fano variety admitting a Kähler-Einstein metric. We prove that up to a finite quasi-étale cover, $X$ splits isometrically as a product of Kähler-Einstein $\mathbb Q$-Fano varieties whose tangent sheaf is stable with respect to the anticanonical polarization. This relies among other things on a very general splitting theorem for algebraically integrable foliations. We also prove that the canonical extension of $T_X$ by $\mathscr O_X$ is semistable with respect to the anticanonical polarization.
We obtain a combinatorial description of Gorenstein spherical Fano varieties in terms of certain polytopes, generalizing the combinatorial description of Gorenstein toric Fano varieties by reflexive polytopes and its extension to Gorenstein horospherical Fano varieties due to Pasquier. Using this description, we show that the rank of the Picard group of an arbitrary $d$-dimensional $\mathbb{Q}$-factorial Gorenstein spherical Fano variety is bounded by $2d$. This paper also contains an overview of the description of the natural representative of the anticanonical divisor class of a spherical va…
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.
The goal of this article is to study the equations and syzygies of embeddings of rational surfaces and certain Fano varieties. Given a rational surface X and an ample and base-point-free line bundle L on X, we give an optimal numerical criterion for L to satisfy property Np. This criterion turns out to be a characterization of property Np if X is anticanonical. We also prove syzygy results for adjunction bundles and a Reider type theorem for higher syzygies. For certain Fano varieties we also prove results on very ampleness and higher syzygies.
A conjecture of Batyrev and Manin relates arithmetic properties of varieties with ample anticanonical class to geometric invariants; in particular, counting functions defined by metrized ample line bundles and the corresponding asymptotics of rational points of bounded height are interpreted in terms of cones of effective divisors and certain thresholds with respect to these cones. This framework leads to the notion of balanced line bundles, whose counting functions, conjecturally, capture generic distributions of rational points. We investigate balanced line bundles in the context of the Mini…
We study the problem of existence of Kähler--Einstein metrics on smooth Fano threefolds of Picard rank one and anticanonical degree $22$ that admit a faithful action of the multiplicative group $\mathbb{C}^\ast$. We prove that, except possibly two explicitly described cases, all such smooth Fano threefolds are Kähler--Einstein.
We give a complete classification of smooth, complex projective Fano 4-folds of Picard number 3 having a prime divisor of Picard number 1. They form 28 distinct families, and we compute the main numerical invariants, study the base locus of the anticanonical divisor, and give a comment on rationality. Furthermore, we give an upper bound of both the dimension of the automorphism group and the dimension of the base of the Kuranishi family of a general member.
We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, $H_2(X,\mathbb{Z})$ is generated by classes of rational curves.
We generalize Givental's Theorem for complete intersections in smooth toric varieties in the Fano case. In particular, we find Gromov--Witten invariants of Fano varieties of dimension $\geq 3$, which are complete intersections in weighted projective spaces and singular toric varieties. We generalize the Riemann-Roch equations to weighted projective spaces. We compute counting matrices of smooth Fano threefolds with Picard group Z and anticanonical degrees 2, 8, and 16.
The systematic study of rational surfaces $Y$ with an anticanonical cycle $D$ dates back to a fundamental paper of Looijenga in 1981. Recently, Gross, Hacking and Keel have introduced new ideas into the subject. The goal of this mainly expository paper is to survey some results about such surfaces, old and new. We discuss the birational geometry and deformation theory of such pairs as well as the behavior of nef and big linear systems. We prove a theorem of Torelli type due to Gross-Hacking-Keel and describe some consequences. Among the new results in this paper are (1) a proof that the diffeo…
We consider some families of smooth Fano hypersurfaces $X_{n+2}$ in ${\bf P}^{n+2} \times {\bf P}^3$ given by a homogeneous polynomial of bidegree $(1,3)$. For these varieties we obtain lower bounds for the number of $F$-rational points of bounded anticanonical height in arbitrary nonempty Zariski open subset $U \subset X_{n+2}$. These bounds contradict previous expectations about the distribution of $F$-rational points of bounded height on Fano varieties.
The 'moduli continuity method' permits an explicit algebraisation of the Gromov-Hausdorff compactification of Kähler-Einstein metrics on Fano manifolds in some fundamental examples. In this paper, we apply such method in the 'log setting' to describe explicitly some compact moduli spaces of K-polystable log Fano pairs. We focus on situations when the angle of singularities is perturbed in an interval sufficiently close to one, by considering constructions arising from Geometric Invariant Theory. More precisely, we discuss the cases of pairs given by cubic surfaces with anticanonical sections, …
Let X be a Fano manifold such that every rational curve in X has anticanonical degree at least the dimension of X. We prove that X is a projective space or a quadric.
We introduce a new effective stability named "divisorial stability" for Fano manifolds which is weaker than K-stability and is stronger than slope stability along divisors. We show that we can test divisorial stability via the volume function. As a corollary, we prove that the first coordinate of the barycenter of the Okounkov body of the anticanonical divisor is not bigger than one for any Kähler-Einstein Fano manifold. In particular, for toric Fano manifolds, the existence of Kähler-Einstein metrics is equivalent to divisorial semistability. Moreover, we find many non-Kähler-Einstein Fano ma…
