In this paper, we investigate whether the 124 nonsingular toric Fano 4-folds admit totally nondegenerate embeddings from abelian surfaces or not. As a result, we determine the possibilities for such embeddings except for the remaining 21 nonsingular toric Fano 4-folds.
The purpose of this paper is to give basic tools for the classification of nonsingular toric Fano varieties by means of the notions of primitive collections and primitive relations due to Batyrev. By using them we can easily deal with equivariant blow-ups and blow-downs, and get an easy criterion to determine whether a given nonsingular toric variety is a Fano variety or not. As applications of these results, we get a toric version of a theorem of Mori, and can classify, in principle, all nonsingular toric Fano varieties obtained from a given nonsingular toric Fano variety by finite succession…
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 nonsingular projective $n$-fold $(n\ge 2)$ of Fano or of general type with ample canonical bundle $K_X$ over an algebraic closed field $κ$ of any characteristic. We produce a new method to give a bunch of inequalities in terms of all the Chern classes $c_1, c_2, \cdots, c_n$ by pulling back Schubert classes in the Chow group of Grassmannian under the Gauss map. Moreover, we show that if the characteristic of $κ$ is $0$, then the Chern ratios $(\frac{c_{2,1^{n-2}}}{c_{1^n}}, \frac{c_{2,2,1^{n-4}}}{c_{1^n}}, \cdots, \frac{c_{n}}{c_{1^n}})$ are contained in a convex polyhedron for al…
We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a finite simple graph to be Fano or weak Fano in terms of the graph.
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 give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be weak Fano in terms of the building set.
We give a necessary and sufficient condition for the nonsingular projective toric variety associated to the graph cubeahedron of a finite simple graph to be Fano or weak Fano in terms of the graph.
We characterize building sets whose associated nonsingular projective toric varieties are Fano. Furthermore, we show that all such toric Fano varieties are obtained from smooth Fano polytopes associated to finite directed graphs.
We show that if an ample line bundle L on a nonsingular toric 3-fold satisfies h^0(L+2K)=0, then L is normally generated. As an application, we show that the anti-canonical divisor on a nonsingular toric Fano 4-fold is normally generated.
It has been known that nonsingular Fano threefolds of Picard rank one with the anti-canonical degree 22 admitting faithful actions of the multiplicative group form a one-dimensional family. Cheltsov and Shramov showed that all but two of them admit Kähler-Einstein metrics. In this paper, we show that the remaining Fano threefolds also admit Kähler-Einstein metrics.
We investigate Gorenstein toric Fano varieties by combinatorial methods using the notion of a reflexive polytope which appeared in connection to mirror symmetry. The paper contains generalisations of tools and previously known results for nonsingular toric Fano varieties. As applications we obtain new classification results, bounds of invariants and formulate conjectures concerning combinatorial and geometrical properties of reflexive polytopes.
We analize the semistable degeneration of the Fano surface F when the cubic threefold becomes the Segre primal. This gives an explicit topological decomposition for F. The decomposition is used to decide that the Fano surface is not an an Eilenberg Mac-Lane K(π,1) space, this was the question that prompted us to look into the matter.
We obtain 866 isomorphism classes of five-dimensional nonsingular toric Fano varieties using a computer program and the database of four-dimensional reflexive polytopes. The algorithm is based on the existence of facets of Fano polytopes having small integral distance from any vertex.
In this paper we study the connection between rigid sheaves and separable-exceptional objects on Fano varieties over arbitrary fields. We give criteria for a rigid vector bundle on a Fano variety to be the direct sum of separable-exceptional bundles and for a separable-exceptional vector bundle to be part of a full separable-exceptional collection.
We prove in the case of minimal Fano threefolds a conjecture stated by Dubrovin at the ICM 1998 in Berlin. The conjecture predicts that the symmetrized/alternated Euler characteristic pairing on $K_0$ of a Fano variety with an exceptional collection expressed in the basis of the classes of the exceptional objects coincides with the intersection pairing of the vanishing cycles in Dubrovin's second connection. We show that the conjecture holds for $V_{22}$, a minimal Fano threefold of anticanonical degree~22, and for $V_5$, the minimal Fano threefold of anticanonical degree~40, by applying the m…
This note continues our previous work on special secant defective (specifically, conic connected and local quadratic entry locus) and dual defective manifolds. These are now well understood, except for the prime Fano ones. Here we add a few remarks on this case, completing the results in our papers \cite{LQEL I}, \cite{LQEL II}, \cite{CC}, \cite{HC} and \cite{DD}; see also the recent book \cite{Russo}
Let $X$ be a smooth cubic hypersurface, and let $F$ be the Fano variety of lines on $X$. We establish a relation between the Chow motives of $X$ and $F$. This relation implies in particular that if $X$ has finite-dimensional motive (in the sense of Kimura), then $F$ also has finite-dimensional motive. This proves finite-dimensionality for motives of Fano varieties of cubics of dimension $3$ and $5$, and of certain cubics in other dimensions.
Let $X$, $Y$ be Fano threefolds of Picard number one and such that the ample generators of Picard groups are very ample. Let $X$ be of index one and $Y$ be of index two. It is shown that the only morphisms from $X$ to $Y$ are double coverings. In fact nearly the whole paper is the analysis of the case where $Y$ is the linear section of the Grassmannian G(1,4), since the other cases were more or less solved in another article. This remaining case is treated with the help of Debarre's connectedness theorem for inverse images of Schubert cycles.
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.
We prove that ideal sheaves of lines in a Fano threefold $X$ of Picard rank one and index two are stable objects in the Kuznetsov component $\mathsf{Ku}(X)$, with respect to the stability conditions constructed by Bayer, Lahoz, Macrì and Stellari, giving a modular description to the Hilbert scheme of lines in $X$. When $X$ is a cubic threefold, we show that the Serre functor of $\mathsf{Ku}(X)$ preserves these stability conditions. As an application, we obtain the smoothness of non-empty moduli spaces of stable objects in $\mathsf{Ku}(X)$. When $X$ is a quartic double solid, we describe a conn…
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.
A reflexive polytope, respectively its associated Gorenstein toric Fano variety, is called pseudo-symmetric, if the polytope has a centrally symmetric pair of facets. Here we present a complete classification of pseudo-symmetric simplicial reflexive polytopes together with some applications. This generalizes a result of Ewald on pseudo-symmetric nonsingular toric Fano varieties.
Let $X$ be a nonsingular complex projective toric variety. We address the question of semi-stability as well as stability for the tangent bundle $T{X}$. In particular, a complete answer is given when $X$ is a Fano toric variety of dimension four with Picard number at most two, complementing earlier work of Nakagawa. We also give an infinite set of examples of Fano toric varieties for which $TX$ is unstable; the dimensions of this collection of varieties are unbounded. Our method is based on the equivariant approach initiated by Klyachko and developed further by Perling and Kool.
Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect obstruction theory relative to B. We study the resulting virtual cycles on the fibers of M'/B and relate them to the image of the virtual cycle [M]^vir under refined Gysin homomorphisms. Our main application is when M is a moduli space of stable codimension 1 sheaves with a fixed determinant L on a nonsingular projective surface or Fano threefold, B is the linear …
Explicit birational geometry of 3-folds represents a second phase of Mori theory, going beyond the foundational work of the 1980s. This paper is a tutorial and colloquial introduction to the explicit classification of Fano 3-folds (Q-Fano 3-folds), a subject that we hope is nearing completion. With the intention of remaining accessible to beginners in algebraic geometry, we include examples of elementary calculations of graded rings over curves and K3 surfaces. For us, K3 surfaces have at worst Du Val singularities and are polarised by an ample Weil divisor; they occur as the general elephant …
Q-factorial Gorenstein toric Fano varieties X of dimension d with Picard number rho(X) correspond to simplicial reflexive d-polytopes with rho(X)+d vertices. Casagrande showed that any simplicial reflexive d-polytope has at most 3d vertices, if d is even, respectively, 3d-1, if d is odd. Moreover, it is known that equality for d even implies uniqueness up to unimodular equivalence. In this paper we completely classify all simplicial reflexive d-polytopes having 3d-1 vertices, corresponding to d-dimensional Q-factorial Gorenstein toric Fano varieties with Picard number 2d-1. For d even, there e…
Let $(X, A)$ be a nonsingular polarized toric 3-fold. We show that if the adjoint bundle of $A$ has no glabal section, then all ample line bundles on $X$ are normally generated. Even if the adjoint bundle is effective, if it is not big, then it is shown the normal generation. In particular, we show that all ample line bundles on a nonsingular toric Fano 3-fold are normally generated.
We study some estimates along the Kahler Ricci flow on Fano manifolds. Using these estimates, we show the convergence of Kahler Ricci flow directly if the $α$-invariant of the canonical class is greater than $\frac{n}{n+1}$. Applying these convergence theorems, we can give a flow proof of Calabi conjecture on such Fano manifolds. In particular, the existence of Kahler Einstein metrics on a lot of Fano surfaces can be proved by flow method. Note that this geometric conclusion (based on the same assumption) was established earlier via elliptic method by G. Tian. However, a new proof based on Kah…
Type III unprojection plays a very important role in the birational geometry of Fano threefolds. It was first introduced by A. Corti on his calculations of Fano threefolds of genus 6 and 7. It seems that at present a general definition of the type III unprojection is still missing. After proving some general facts about residual ideals, we propose a definition for the generic Type III unprojection, and prove that it gives a Gorenstein ring.
We give an explicit construction for the extension of a symmetric determinantal quartic K3 surface to a Fano 6-fold. Remarkably, the moduli of the 6-fold extension are in one-to-one correspondence with the moduli of the quartic surface. As a consequence, we determine a 16-parameter family of surfaces of general type with p_g=1 and K^2=2 as weighted complete intersections inside Fano 6-folds.
Building on the work of Mukai, we explore the birational geometry of the moduli spaces M_{S,L} of semistable rank two torsion-free sheaves, with c_1=-K_S and c_2=2, on a polarized degree one del Pezzo surface (S,L); this is related to the birational geometry of the blow-up X of P^4 in 8 points. Our analysis is explicit and is obtained by looking at the variation of stability conditions. Then we provide a careful investigation of the blow-up X and of the moduli space Y=M_{S,-K_S}, which is a remarkable family of smooth Fano 4-folds. In particular we describe the relevant cones of divisors of Y,…
Smooth primitively polarized $\mathrm{K3}$ surfaces of genus 36 are studied. It is proved that all such surfaces $S$, for which there exists an embedding $\mathrm{R} \hookrightarrow \mathrm{Pic}(S)$ of some special lattice $\mathrm{R}$ of rank 2, are parameterized up to an isomorphism by some 18-dimensional unirational algebraic variety. More precisely, it is shown that a general $S$ is an anticanonical section of a (unique) Fano 3-fold with canonical Gorenstein singularities.
Let $X$ be a complex toric Fano $n$-fold and ${\cal N}(T)$ the normalizer of a maximal torus $T$ in the group of biholomorphic authomorphisms $Aut(X)$. We call $X$ {\em symmetric} if the trivial character is a single ${\cal N}(T)$-invariant algebraic character of $T$. Using an invariant $α_G(X)$ introduced by Tian, we show that all symmetric toric Fano $n$-folds admit an Einstein-Kähler metric. We remark that so far one doesn't know any example of a toric Fano $n$-fold $X$ such that $Aut(X)$ is reductive, the Futaki character of $X$ vanishes, but $X$ is not symmetric.
For a nonsingular projective 3-fold $X$, we define integer invariants virtually enumerating pairs $(C,D)$ where $C\subset X$ is an embedded curve and $D\subset C$ is a divisor. A virtual class is constructed on the associated moduli space by viewing a pair as an object in the derived category of $X$. The resulting invariants are conjecturally equivalent, after universal transformations, to both the Gromov-Witten and DT theories of $X$. For Calabi-Yau 3-folds, the latter equivalence should be viewed as a wall-crossing formula in the derived category. Several calculations of the new invariants a…
The 2-dimensional Lyness map is a 5-periodic birational map of the plane which may famously be resolved to give an automorphism of a log Calabi-Yau surface, given by the complement of an anticanonical pentagon of $(-1)$-curves in a del Pezzo surface of degree 5. This surface has many remarkable properties and, in particular, it is mirror to itself. We construct the 3-dimensional big brother of this surface by considering the 3-dimensional Lyness map, which is an 8-periodic birational map. The variety we obtain is a special (non-$\mathbb Q$-factorial) affine Fano 3-fold of type $V_{12}$, and we…