In the case of toric varieties, we continue the pursuit of Kontsevich's fundamental insight, Homological Mirror Symmetry, by unifying it with the Mori program. We give a refined conjectural version of Homological Mirror Symmetry relating semi-orthogonal decompositions of the $B$-model on toric varieties to semi-orthogonal decompositions on the $A$-model on the mirror Landau-Ginzburg models.
As evidence, we prove a new case of Homological Mirror Symmetry for a toric surface whose anticanonical bundle is not nef, namely a certain blow-up of $¶^2$ at three infinitesimally near points.
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 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 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}.
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.
We show that being a general fibre of a Mori fibre space is a rather restrictive condition for a Fano variety. More specifically, we obtain two criteria (one sufficient and one necessary) for a Q-factorial Fano variety with terminal singularities to be realised as a fibre of a Mori fibre space, which turn into a characterisation in the rigid case. We apply our criteria to figure out this property up to dimension three and on rational homogeneous spaces. The smooth toric case is studied and an interesting connection with K-semistability is also investigated.
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.
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.
We prove a conjecture on the relation between dimer models, coamoebas and vanishing cycles for the mirrors of two-dimensional toric Fano stacks of Picard number one. As a corollary, we obtain a torus-equivariant version of homological mirror symmetry for such stacks.
In this note we consider the problem of determining which Fano manifolds can be realised as fibres of a Mori fibre space. In particular, we study the case of toric varieties, Fano manifolds with high index and some Fano manifolds with high Picard rank.
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…
Let $X$ be a variety with at most terminal $\mathbb Q$-factorial singularities of dimension $n$. We study local contractions $f:X\to Z$ supported by a $\mathbb Q$-Cartier divisor of the type $K_X+ τL$, where $L$ is an $f$-ample Cartier divisor and $τ\geq 0$ is a rational number. Equivalently, $f$ is a Fano-Mori contraction associated to an extremal face in $\overline {NE(X)}_{K_X+τL = 0}$; these maps naturally arise in the context of the minimal model program. We prove that, if $τ> (n-3) >0$, the general element $X' \in |L|$ is a variety with at most terminal singularities. Then we apply this …
Let X be a projective variety with terminal singularities and let L be an ample Cartier divisor on X. We prove that if f is a birational contraction associated to an extremal ray $ R \subset \bar {NE(X)}$ such that R.(K_X+(n-2)L)<0, then f is a weighted blow-up of a smooth point. We then classify divisorial contractions associated to extremal rays R such that R.(K_X+rL)<0, where r is a non-negative rational number, and the fibres of f have dimension less or equal to r+1.
We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.
We study homological mirror symmetry of the singular hypersurface $X_0=V(t^{n+1}-x_0\dotsi x_n)\subseteq\mathbb{P}^{n+1}$. Following an SYZ type approach, we produce an LG-model, whose Fukaya-Seidel category recovers line bundles on $X_0$. As a byproduct of our approach, we answer a conjecture of N.Sheridan about generating the small component of the Fukaya category of the smooth index 1 Fano hypersurface in $\mathbb{P}^{n+1}$, without bounding co-chains.
We prove a more general and precise version of the Noether-Fano inequalities for birational maps between Mori fiber spaces. This is applied to give descriptions of global canonical thresholds on Fano varieties of Picard number one.
The fundamental property of Fano varieties with mild singularities is that they have a finite polyhedral Mori cone. Thus, it is very interesting to ask: What we can say about algebraic varieties with a finite polyhedral Mori cone? I give a review of known results. All of them were obtained applying methods which were originated in the theory of discrete groups generated by reflections in hyperbolic spaces with a fundamental chamber of finite volume. This is my report on Fano conference in Torino, October 2002
We prove homological mirror symmetry for Milnor fibers of simple singularities in dimensions greater than one, which are among the log Fano cases of Conjecture 1.5 in arXiv:1806.04345. The proof is based on a relation between matrix factorizations and Calabi--Yau completions. As an application, we give an explicit computation of the Hochschild cohomology group of the derived $n$-preprojective algebra of a Dynkin quiver for any $n \geq 1$, and the symplectic cohomology group of the Milnor fiber of any simple singularity in any dimension greater than one.
We discuss homological mirror symmetry of Fermat polynomials in terms of derived Morita equivalence between derived categories of coherent sheaves and Fukaya-Seidel categories (a.k.a. perfect derived categories of directed Fukaya categories), and some related aspects such as stability conditions, (kinds of) modular forms, and Hochschild homologies.
A Bott tower of height $r$ is a sequence of projective bundles $$X_r \overset{π_r}\longrightarrow X_{r-1} \overset{π_{r-1}}\longrightarrow \cdots \overset{π_2}\longrightarrow X_1=\mathbb P^1 \overset{π_1} \longrightarrow X_0=\{pt\}, $$ where $X_i=\mathbb P (\mathcal O_{X_{i-1}}\oplus \mathcal L_{i-1})$ for a line bundle $\mathcal L_{i-1}$ over $X_{i-1}$ for all $1\leq i\leq r$ and $\mathbb P(-)$ denotes the projectivization. These are smooth projective toric varieties and we refer to the top object $X_{r}$ also as a Bott tower. In this article, we study the Mori cone and numerically effective …
We rework the Mori-Mukai classification of Fano 3-folds, by describing each of the 105 families via biregular models as zero loci of general global sections of homogeneous vector bundles over products of Grassmannians.
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.
In this paper we classify weak Fano varieties that can be obtained by blowing-up general points in prime Fano varieties. We also classify spherical blow-ups of Grassmannians in general points, and we compute their effective cone. These blow-ups are, in particular, Mori dream spaces. Furthermore, we compute the stable base locus decomposition of the blow-up of a Grassmannian in one point, and we show how it is determined by linear systems of hyperplanes containing the osculating spaces of the Grassmannian at the blown-up point, and by the rational normal curves in the Grassmannian passing throu…
We show that every Mori dream space of globally $F$-regular type is of Fano type. As an application, we give a characterization of varieties of Fano type in terms of the singularities of their Cox rings.
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.
Given any field $k$ (not necessarily perfect), we study the smoothing of a semistable Fano variety over $k$. In characteristic 0, the reduced semistable Fano degenerate fibers of Mori fibrations are classified. In positive characteristic, under a suitable $W_2$ lifting assumption, we prove that a semistable Fano variety always appears as a degenerate fiber in a semistable family if it has a global log structure (in the sense of Fontaine-Illusie-Kato) of semistable type. A similar smoothing result over a mixed characteristic base is also obtained.
We prove Kontsevich's homological mirror symmetry conjecture for certain mirror pairs arising from Batyrev-Borisov's `dual reflexive Gorenstein cones' construction. In particular we prove HMS for all Greene-Plesser mirror pairs (i.e., Calabi-Yau hypersurfaces in quotients of weighted projective spaces). We also prove it for certain mirror Calabi-Yau complete intersections arising from Borisov's construction via dual nef partitions, and also for certain Calabi-Yau complete intersections which do not have a Calabi-Yau mirror, but instead are mirror to a Calabi-Yau subcategory of the derived cate…
Let $X/\mathbb{P}^1$ be a Mori fibre space with general fibre of Picard rank at least two. We prove that there is a proper closed subset $S\subsetneq X$, invariant by the connected component of the identity ${\rm Aut}^{\circ}(X)$ of the automorphism group of $X$, which is moreover the orbit of a section $s$ and whose intersection with a fibre is an orbit of the subgroup of ${\rm Aut}^{\circ}(X)$ acting trivially on $\mathbb{P}^1$. Such result is a tool to describe equivariant birational maps from $X/\mathbb{P}^1$ to other Mori fibre spaces and therefore finds its applications in the study of c…
For a general Fano $3$-fold of index $1$ in the weighted projective space $\mathbb{P}(1,1,1,1,2,2,3)$ we construct $2$ new birational models that are Mori fibre spaces, in the framework of the so-called Sarkisov program. We highlight a relation between the corresponding birational maps, as a circle of Sarkisov links, visualising the notion of relations (due to Kaloghiros) in Sarkisov program.
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 discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus. This answers Svaldi's question completely. We also treat the uniruledness of the degenerate locus of an extremal contraction morphism for quasi-log schemes. Furthermore, we prove that every fiber of a relative quasi-log Fano scheme is rationally chain connected modulo the non-qlc locus.
We classify smooth toric Fano varieties of dimension $n\geq 3$ containing a toric divisor isomorphic to $\PP^{n-1}$. As a consequence of this classification, we show that any smooth complete toric variety $X$ of dimension $n\geq 3$ with a $T$-fixed point $x\in X$ such that the blow-up $B_x(X)$ of $X$ at $x$ is Fano is isomorphic either to $\PP^n$ or to the blow-up of $\PP^n$ along a $\PP^{n-2}$. As expected, such results are proved using toric Mori theory due to Reid.
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 study the Picard rank of smooth toric Fano varieties possessing families of minimal rational curves of given degree. We discuss variants of a conjecture of Chen-Fu-Hwang and prove a version of their statement that recovers the original conjecture in sufficiently high dimension. We also prove new cases of the original conjecture for high degrees in all dimensions. Our main tools come from toric Mori theory and the combinatorics of Fano polytopes.
We prove that every non-trivial structure of a rationally connected fibre space (and so every structure of a Mori-Fano fibre space) on a general (in the sense of Zariski topology) hypersurface of degree $M$ in the $(M+1)$-dimensional projective space for $M\geq 14$ is given by a pencil of hyperplane sections. In particular, the variety $V$ is non-rational and its group of birational self-maps coincide with the group of biregular automorphisms and is therefore trivial. The proof is based on the techniques of the method of maximal singularities and the inversion of adjunction.
The quantum period of a variety X is a generating function for certain Gromov-Witten invariants of X which plays an important role in mirror symmetry. In this paper we compute the quantum periods of all 3-dimensional Fano manifolds. In particular we show that 3-dimensional Fano manifolds with very ample anticanonical bundle have mirrors given by a collection of Laurent polynomials called Minkowski polynomials. This was conjectured in joint work with Golyshev. It suggests a new approach to the classification of Fano manifolds: by proving an appropriate mirror theorem and then classifying Fano m…
For a Zariski general (regular) hypersurface $V$ of degree $M$ in the $(M+1)$-dimensional projective space, where $M$ is at least 16, with at most quadratic singularities of rank at least 13, we give a complete description of the structures of rationally connected (or Fano-Mori) fibre space: every such structure over a positive-dimensional base is a pencil of hyperplane sections. This implies, in particular, that $V$ is non-rational and its groups of birational and biregular automorphisms coincide. The set of non-regular hypersurfaces has codimension at least $\frac12(M-11)(M-10)-10$ in the na…
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.
In this paper we prove Homological Projective Duality for crepant categorical resolutions of several classes of linear determinantal varieties. By this we mean varieties that are cut out by the minors of a given rank of a n x m matrix of linear forms on a given projective space. As applications, we obtain pairs of derived-equivalent Calabi-Yau manifolds, and address a question by A. Bondal asking whether the derived category of any smooth projective variety can be fully faithfully embedded in the derived category of a smooth Fano variety. Moreover we discuss the relation between rationality an…
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…
The main goal of this paper is to study varieties with the best possible Mori theoretic properties (measured by the existence of a certain decomposition of the cone of effective divisors). We call such a variety a Mori Dream Space. There turn out to be many examples, including quasi-smooth projective toric (or more generally, spherical) varieties, many GIT quotients, and log Fano 3-folds. We characterize Mori dream spaces as GIT quotients of affine varieties by a torus in a manner generalizing Cox's construction of toric varieties as quotients of affine space. Via the quotient description, the…
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 note is a short survey on the Lefschetz defect, an invariant of smooth Fano varieties that has been recently introduced; it is related to the Picard number rho(X) of X, and to the Picard number of prime divisors in X. We explain the definition of the Lefschetz defect delta(X) and its origin, the known results - mainly on the case delta(X)>1, and several examples, especially in dimensions 3 and 4. In particular, we explain how the results on the Lefschetz defect allow to recover the classification of Fano 3-folds with rho(X)>4, due to Mori and Mukai. We also review the known examples of Fa…
This paper is devoted to the study of various aspects of deformations of log pairs, especially in connection to questions related to the invariance of singularities and log plurigenera. In particular, using recent results from the minimal model program, we obtain an extension theorem for adjoint divisors in the spirit of Siu and Kawamata and more recent works of Hacon and McKernan. Our main motivation however comes from the study of deformations of Fano varieties. Our first application regards the behavior of Mori chamber decompositions in families of Fano varieties: we prove that, in the case…
There exist exactly 166 4-dimensional reflexive polytopes such that the corresponding 4-dimensional Gorenstein toric Fano varieties have at worst terminal singularities in codimension 3 and their anticanonical divisor is divisible by 2. For every such a polytope, one naturally obtains a family of Fano hypersurfaces X with at worst conifold singularities. A generic 3-dimensional Fano hypersurface X can be interpreted as a flat conifold degeneration of some smooth Fano 3-folds Y whose classification up to deformation was obtained by Iskovskikh, Mori and Mukai. In this case, both Fano varieties X…
This paper is devoted to extend some Hu-Keel results on Mori dream spaces (MDS) beyond the projective setup. Namely, $\Q$-factorial algebraic varieties with finitely generated class group and Cox ring, here called \emph{weak} Mori dream spaces (wMDS), are considered. Conditions guaranteeing the existence of a neat embedding of a (completion of a) wMDS into a complete toric variety are studied, showing that, on the one hand, those which are complete and admitting low Picard number are always projective, hence Mori dream spaces in the sense of Hu-Keel. On the other hand, an example of a wMDS doe…
