For a given K-polystable Fano variety $X$ and a natural number $l$ such that $(X, \frac{1}{l} B)$ is log canonical for some $B\in |-lK_X|$, we show that there exists a rational number $0<c_1<1$ depending only on $X$ and $l$, such that $D\in |-lK_X|$ is GIT-(semi/poly)stable under the action of Aut(X) if and only if the pair $(X, \fracε{l}D)$ is K-(semi/poly)stable for some rational $0<ε<c_1$.
In this note we study Fano threefolds with noncyclic torsion in the divisor class group. Since they can all be obtained as quotients of Fano threefolds, we get also all examples that can be obtained as quotients of low codimension Fanos in the weighted projective space.
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.
In this paper, we obtain a complete classification of smooth toric Fano varieties equipped with extremal contractions which contract divisors to curves for any dimension. As an application, we obtain a complete classification of smooth projective toric varieties which can be equivariantly blown-up to Fano along curves.
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.
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.
T.Kishimoto raised the problem to classify all compactifications of contractible affine 3-folds into smooth Fano 3-folds with second Betti number two and classified such compactifications whose log canonical divisors are not nef. In this article, we show that there are 14 deformation equivalence classes of smooth Fano 3-folds which can admit structures of such compactifications whose log canonical divisors are trivial. We also construct an example of such compactifications with trivial log canonical divisors for each of all the 14 classes.
We investigate the structure of geometrically ruled surfaces whose anti-canonical class is big. As an application we show that the Picard group of a normal projective surface whose anti-canonical class is nef and big is a free abelian group of finite rank.
Let X be a Fano manifold of dimension n and index n-3. Kawamata proved the non vanishing of the global sections of the fundamental divisor in the case n=4. Moreover he proved that if Y is a general element of the fundamental system then Y has at most canonical singularities. We prove a generalization of this result in arbitrary dimension.
In this paper we study the geometry of mildly singular Fano varieties on which there is an effective prime divisor of Picard number one. Afterwards, we address the case of toric varieties. Finally, we treat the lifting of extremal contractions to universal covering spaces in codimension 1.
We study Diophantine arithmetic properties of birational divisors in conjunction with concepts that surround $\mathrm{K}$-stability for Fano varieties. There is also an interpretation in terms of the barycentres of Newton-Okounkov bodies. Our main results show how the notion of divisorial instability, in the sense of K. Fujita, implies instances of Vojta's Main Conjecture for Fano varieties. A main tool in the proof of these results is an arithmetic form of Cartan's Second Main Theorem that has been obtained by M. Ru and P. Vojta.
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.
We show that a nef and big line bundle whose adjoint bundle has non-zero global sections on a nonsingular toric weak Fano 3-fold is normally generated. As a consequence, we see that all ample line bundles on a nonsingular toric weak Fano 3-fold are normally generated. We also show that an ample line bundle whose adjoint bundle has non-zero global sections on a Gorensein toric Fano 3-fold is normally generated. In our proof we do not use full classifications of Fano polytopes.
Let X be a complex Fano manifold of arbitrary dimension, and D a prime divisor in X. We consider the image H of N_1(D) in N_1(X) under the natural push-forward of 1-cycles. We show that the codimension c of H in N_1(X) is at most 8. Moreover if c>2, then either X=SxY where S is a Del Pezzo surface, or c=3 and X has a flat fibration in Del Pezzo surfaces onto a Fano manifold Y, such that the difference of the Picard numbers of X and Y is 4. We give applications to Fano 4-folds, to Fano varieties with pseudo-index >1, and to surjective morphisms whose source is Fano, having some high-dimensional…
Let $X$ be a Gorenstein canonical Fano variety of coindex $4$ and dimension $n$ with $H$ fundamental divisor. Assume $h^0(X, H) \geq n -2$. We prove that a general element of the linear system $|mH|$ has at worst canonical singularities for any integer $m \geq 1$. When $X$ has terminal singularities and $n \geq 5$, we show that a general element of $|mH|$ has at worst terminal singularities for any integer $m \geq 1$. When $n=4$, we give an example of Gorenstein terminal Fano fourfold $X$ such that a general element of $|H|$ does not have terminal singularities.
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.
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$.
The minimum of intersection numbers of the anti-canonical divisor with rational curves on a Fano manifold is called pseudo-index. It is expected that the intersection number of anti-canonical divisor attains to the minimum on an extremal ray, i.e. there exists an extremal rational curve whose intersection number with the anti-canonical divisor equals the pseudo-index. In this note, we prove this for smooth Fano 4-folds having birational contractions.
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…
In this paper we study Fano threefolds with a torsion divisor (Fano--Enriques). Due to this torsion divisor, they can be described as quotients of Fano threefolds by a finite abelian group action. We start from lists of Fano threefolds by Reid, Fletcher and Altınok and check which of them admit such an action with a Fano--Enriques quotient.
We describe the closed cone of moving curves of smooth Fano three- and fourfolds by giving finitely many equations that cut out the cone. The equations are induced by the exceptional divisors of divisorial contractions and by nef divisors on birational models obtained by sequences of flips.The results presented here are part of the author's Ph.D. thesis, written under the supervision of Stefan Kebekus.
The correspondence between Gorenstein Fano toric varieties and reflexive polytopes has been generalized by Ilten and Süß to a correspondence between Gorenstein Fano complexity-one $T$-varieties and Fano divisorial polytopes. Motivated by the finiteness of reflexive polytopes in fixed dimension, we show that over a fixed base polytope, there are only finitely many Fano divisorial polytopes, up to equivalence. We classify two-dimensional Fano divisorial polytopes, recovering Huggenberger's classification of Gorenstein del Pezzo $\mathbb{K}^*$-surfaces. Furthermore, we show that any three-dimensi…
Let $X$ be an $n$-dimensional complex Fano manifolds $(n\geq 3)$. Assume that $X$ contains a divisor $A$, which is isomorphic to a rational homogeneous space with Picard number one, such that the conormal bundle $\mathscr{N}^*_{A/X}$ is ample over $A$. Building on the works of Tsukioka, Watanabe and Casagrande-Druel, we give a complete classification of such pairs $(X,A)$.
We study the greatest common divisor problem for torus invariant blowing-up morphisms of nonsingular toric Fano varieties. Our main result applies the theory of Okounkov bodies together with an arithmetic form of Cartan's Second Main theorem, which has been established by Ru and Vojta. It also builds on Silverman's geometric concept of greatest common divisor. As a special case of our results, we deduce a bound for the generalized greatest common divisor of pairs of nonzero algebraic numbers.
We study the Picard variety of the Fano surface of nodal and mildly cuspidal cubic threefolds in arbitrary characteristic by relating divisors on the Fano surface to divisors on the symmetric product of a curve of genus 4.
Let X be a smooth, complex Fano 4-fold, and rho(X) its Picard number. If X contains a prime divisor D with rho(X)-rho(D)>2, then either X is a product of del Pezzo surfaces, or rho(X)=5 or 6. In this setting, we completely classify the case where rho(X)=5; there are 6 families, among which one is new. We also deduce the classification of Fano 4-folds with rho(X)>4 with an elementary divisorial contraction sending a divisor to a curve.
We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities. We show semiampleness dose not hold in general by constructing several examples. Based on those examples, we propose sufficient conditions which seem to be the best possible and we prove semiampleness under such conditions. In particular we derive semiampleness of the anti-canonical divisors of log canonical weak Fano 4-folds whose lc centers are at most 1-…
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.
In this paper we determine which blow-ups $X$ of $\mathbb{P}^n$ at general points are log Fano, that is, when there exists an effective $\mathbb{Q}$-divisor $Δ$ such that $-(K_X+Δ)$ is ample and the pair $(X,Δ)$ is klt. For these blow-ups, we produce explicit boundary divisors $Δ$ making $X$ log Fano.
We study the cones of q-ample divisors on smooth complex varieties. In favourable cases, we identify a part where the closure of this cone and the nef cone have the same boundary. This is especially interesting for Fano (or almost Fano) varieties.
We prove that the linear system $|-1/3K_X| on a non-singular Fano fivefold $X$ of index 3 contains an irreducible divisor with only canonical singularities.
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)).
We give a simple criterion for slope stability of Fano manifolds $X$ along divisors or smooth subvarieties. As an application, we show that $X$ is slope stable along an ample effective divisor $D\subset X$ unless $X$ is isomorphic to a projective space and $D$ is a hyperplane section. We also give counterexamples to Aubin's conjecture on the relation between the anticanonical volume and the existence of a Kähler-Einstein metric. Finally, we consider the case that $\dim X=3$; we give a complete answer for slope (semi)stability along divisors of Fano threefolds.
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.
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…
Let X be the blow-up of a smooth projective 4-fold Y along a smooth curve C and let E be the exceptional divisor. Assume that X is a Fano manifold and has an elementary extremal contraction $ϕ: X \to Z$ of (3,1)-type such that E is $ϕ$-ample (recall that a contraction map for a 4-fold is called (3,1)-type if the exceptional locus is a divisor and its image is a curve). We show that if the exceptional divisor of $ϕ$ is smooth, then Y is isomorphic to $\mathbb{P}^{4}$ and C is an elliptic curve of degree 4.
Let X be a smooth complex Fano 4-fold. We show that if X has a small elementary contraction, then the Picard number rho(X) of X is at most 12. This result is based on a careful study of the geometry of X, on which we give a lot of information. We also show that in the boundary case rho(X)=12 an open subset of X has a smooth fibration with fiber the projective line. Together with previous results, this implies if X is a Fano 4-fold with rho(X)>12, then every elementary contraction of X is divisorial and sends a divisor to a surface. The proof is based on birational geometry and the study of fam…
We consider a smooth projective surjective morphism between smooth complex projective varieties. We give a Hodge theoretic proof of the following well-known fact: If the anti-canonical divisor of the source space is nef, then so is the anti-canonical divisor of the target space. We do not use mod $p$ reduction arguments. In addition, we make some supplementary comments on our paper: On images of weak Fano manifolds.
In this paper, we prove that given a flat generically smooth morphism between smooth projective varieties with $F$-pure closed fibers, if the source space is Fano, weak Fano or a variety with the nef anti-canonical divisor, then so is the target space. We also show that relative anti-canonical divisors of generically smooth surjective nonconstant morphisms are not nef and big in arbitrary characteristic.
We prove that a Fano variety (with arbitrary singularities) of dimension $n$ in positive characteristic is isomorphic to $\mathbb{P}^n$ if the Seshadri constant of the anti-canonical divisor at some smooth point is greater than $n$ and classify Fano varieties whose anti-canonical divisors have Seshadri constants $n$. In characteristic $p>5$ and dimension $3$, we also show that Fano varieties $X$ with Seshadri constants $ε(-K_X,x)>2+ε$ at some smooth point $x\in X$ (for some fixed $ε>0$) have bounded anti-canonical degrees.
A normal projective variety X is called Fano if a multiple of the anticanonical Weil divisor, -K_X, is an ample Cartier divisor, the index of a Fano variety is the number i(X):=sup{t: -K_X= tH, for some ample Cartier divisor H}. Mukai announced, the classification of smooth Fano manifolds X of index i(X)=n-2, under the assumption that the linear system |H| contains a smooth divisor. In this paper we prove that this assumption is always satisfied. Therefore the result of Mukai provide a complete classification of smooth Fano n-folds of index $i(X)=n-2$, Mukai manifolds.
The main object of the present paper is a numerical criterion determining when a Weil divisor of a $\Q$--factorial complete toric variety admits a positive multiple Cartier divisor which is either numerically effective (nef) or ample. It is a consequence of $\Z$--linear interpretation of Gale duality and se\-con\-dary fan as developed in several previous papers of us. As a byproduct we get a computation of the Cartier index of a Weil divisor and a numerical characterization of weak $\Q$--Fano, $\Q$--Fano, Gorenstein, weak Fano and Fano toric varieties. Several examples are then given and studi…
We classify smooth Fano manifolds X with the Picard number $ρ_X \geq 3$ such that there exists an extremal ray which has a birational contraction that maps a divisor to a point.
Let X be a (smooth, complex) Fano 4-fold. For any prime divisor D in X, consider the image of N_1(D) in N_1(X) under the push-forward of 1-cycles, and let c_D be its codimension in N_1(X). We define an integral invariant c_X of X as the maximal c_D, where D varies among all prime divisors in X. One easily sees that c_X is at most rho_X-1 (where rho is the Picard number), and that c_X is greater or equal than rho_X-rho_D, for any prime divisor D in X. We know from previous works that if c_X > 2, then either X is a product of Del Pezzo surfaces and rho_X is at most 18, or c_X=3 and rho_X is at m…
Generalising toric geometry we study compact varieties admitting lower dimensional torus actions. In particular we describe divisors on them in terms of convex geometry and give a criterion for their ampleness. These results may be used to study Fano varieties with small torus actions. As a first result we classify log del Pezzo C*-surfaces of Picard number 1 and Gorenstein index less than 4. In further examples we show how classification might work in higher dimensions and we give explicit descriptions of some equivariant smoothings of Fano threefolds.
We construct Q-factorial terminal Fano varieties, starting in dimension 4, whose nef cone jumps when the variety is deformed. It follows that de Fernex and Hacon's results on deformations of 3-dimensional Fanos are optimal. The examples are based on the existence of high-dimensional flips which deform to isomorphisms, generalizing the Mukai flop. We also extend de Fernex and Hacon's positive results on deformations of Fano varieties. Toric Fano varieties which are smooth in codimension 2 and Q-factorial in codimension 3 are rigid. The divisor class group is deformation-invariant for klt Fanos …
We classify Fano threefolds with only Gorenstein terminal singularities and Picard number greater than 1 satisfying an additional assumption that the $G$-invariant part of the Weil divisor class group is of rank 1 with respect to an action of some group $G$.
We present a recursive algorithm computing all the genus-zero Gromov-Witten invariants from a finite number of initial ones, for Fano varieties with generically tame semi-simple quantum (and small quantum) (p, p)- type cohomology, whose first Chern class is a strictly positive combination of effective integral basic divisors.
We consider normal projective n-dimensional varieties X whose anticanonical divisor class -K is ample and where every Weil divisor is a rational multiple of K. The index i is the largest integer such that K/i exists as a Weil divisor. We show (i) if X has log-terminal singularities, and in addition 1-forms on the smooth part of X are holomorphic on a resolution, then (-K)^n =< (max(in,n+1))^n; (ii) if the tangent sheaf of X is semistable, then (-K)^n =<(2n)^n. The proof is based on some elementary but possibly surprising slope estimates on sheaves of differential operators on plurianticanonica…
