We consider the Fano scheme $F_k(X)$ of $k$--dimensional linear subspaces contained in a complete intersection $X \subset \mathbb{P}^n$ of multi--degree $\underline{d} = (d_1, \ldots, d_s)$. Our main result is an extension of a result of Riedl and Yang concerning Fano schemes of lines on very general hypersurfaces: we consider the case when $X$ is a very general complete intersection and $Π_{i=1}^s d_i > 2$ and we find conditions on $n$, $\underline{d}$ and $k$ under which $F_k(X)$ does not contain either rational or elliptic curves. At the end of the paper, we study the case $Π_{i=1}^s d_i = 2$.
The Debarre-de Jong conjecture predicts that the Fano variety of lines on a smooth Fano hypersurface in $\mathbb{P}^n$ is always of the expected dimension. We generalize this conjecture to the case of Fano complete intersections and prove that for a Fano complete intersection $X\subset \mathbb{P}^n$ of hypersurfaces whose degrees sum to at most 7, the Fano variety of lines on $X$ has the expected dimension.
Generalizing the notions of reflexive polytopes and nef-partitions of Batyrev and Borisov, we propose a mirror symmetry construction for Calabi-Yau complete intersections in Fano toric varieties.
In this paper, we show that general Fano complete intersections over an algebraically closed field of arbitrary characteristics are separably rationally connected. Our proof also implies that general log Fano complete intersections with smooth tame boundary divisors admit very free $A^1$-curves.
We prove that a smooth well formed Picard rank one Fano complete intersection of dimension at least 2 in a toric variety is a weighted complete intersection.
It is proven that any structure of a fibre space into varieties of Kodaira dimension zero on a generic Fano complete intersection of index one and dimension $M$ in ${\mathbb P}^{M+k}$ for $M\geq 2k+1$ is a pencil of hyperplane sections. We also describe $K$-trivial structures on varieties with a pencil of Fano complete intersections.
The goal of this paper is to explore the genus and degree of the Fano scheme of linear subspaces on a complete intersection in a complex projective space. Firstly, suppose that the expected dimension of the Fano scheme is one, we prove a genus-degree formula. Secondly, we give a degree formula for the Fano scheme.
We provide enumerative formulas for the degrees of varieties parameterizing hypersurfaces and complete intersections which contain pro-jective subspaces and conics. Besides, we find all cases where the Fano scheme of the general complete intersection is irregular of dimension at least 2, and for the Fano surfaces we deduce formulas for their holomorphic Euler characteristic.
Complete intersections inside rational homogeneous varieties provide interesting examples of Fano manifolds. For example, if $X = \cap_{i=1}^r D_i \subset G/P$ is a general complete intersection of $r$ ample divisors such that $K_{G/P}^* \otimes \mathcal{O}_{G/P}(-\sum_i D_i)$ is ample, then $X$ is Fano. We first classify these Fano complete intersections which are locally rigid. It turns out that most of them are hyperplane sections. We then classify general hyperplane sections which are quasi-homogeneous.
It is proved that the global log canonical threshold of a Zariski general Fano complete intersection of index 1 and codimension $k$ in ${\mathbb P}^{M+k}$ is equal to one, if $M\geqslant 2k+3$ and the maximum of the degrees of defining equations is at least 8. This is an essential improvements of the previous results about log canonical thresholds of Fano complete intersections. As a corollary we obtain the existence of K\" ahler-Einstein metrics on generic Fano complete intersections described above.
We show that the global log canonical threshold of generic Fano complete intersections of index 1 and codimension $k$ in ${\mathbb P}^{M+k}$ is equal to 1 if $M\geqslant 3k+4$ and the highest degree of defining equations is at least 8. This improves the earlier result where the inequality $M\geqslant 4k+1$ was required, so the class of Fano complete intersections covered by our theorem is considerably larger. The theorem implies, in particular, that the Fano complete intersections satisfying our assumptions admit a K\" ahler-Einstein metric. We also show the existence of K\" ahler-Einstein met…
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 prove that the derived category of a smooth complete intersection variety is equivalent to a full subcategory of the derived category of a smooth projective Fano variety. This enables us to define some new invariants of smooth projective varieties and raise many interesting questions.
Fano varieties are subvarieties of the Grassmannian whose points parametrize linear subspaces contained in a given projective variety. These expository notes give an account of results on Fano varieties of complete intersections, with a view toward an application in machine learning. The prerequisites have been kept to a minimum in order to make these results accessible to a broad audience.
Toric Landau--Ginzburg models of Givental's type for Fano complete intersections are known to have Calabi--Yau compactifications. We give an alternative proof of this fact. As an output of our proof we get a description of fibers over infinity for compactified toric Landau--Ginzburg models.
We prove birational superrigidity of generic Fano fiber spaces $V/{\mathbb P}^1$, the fibers of which are Fano complete intersections of index 1 and dimension $M$ in ${\mathbb P}^{M+k}$, provided that $M\geq 2k+1$. The proof combines the traditional quadratic techniques of the method of maximal singularities with the linear techniques based on the connectedness principle of Shokurov and Koll\' ar. Certain related results are also considered.
We compute the quantum Euler class of Fano complete intersections X in a projective space. In particular, we prove a recent conjecture of A. Buch and R. Pandharipande. Finally we apply our result to obtain formulas for the virtual Tevelev degrees of X. An algorithm computing all genus 0 two-point Hyperplane Gromov Witten invariants of X is illustrated along the way.
We generalize the classical approach of describing the infinitesimal Torelli map in terms of multiplication in a Jacobi ring to the case of quasi-smooth complete intersections in weighted projective space. As an application, we prove the infinitesimal Torelli theorem for hyperelliptic Fano threefolds of Picard rank 1, index 1, degree 4 and study the action of the automorphism group on cohomology. The results of this paper are used to prove Lang-Vojta's conjecture for the moduli of such Fano threefolds in a follow-up paper.
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.
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.
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.
We study Fano schemes $F_k(X)$ for complete intersections $X$ in a projective toric variety $Y\subset \mathbb{P}^n$. Our strategy is to decompose $F_k(X)$ into closed subschemes based on the irreducible decomposition of $F_k(Y)$ as studied by Ilten and Zotine. We define the expected dimension for these subschemes, which always gives a lower bound on the actual dimension. Under additional assumptions, we show that these subschemes are non-empty and smooth of the expected dimension. Using tools from intersection theory, we can apply these results to count the number of linear subspaces in $X$ wh…
We prove that a generic (in the sense of Zariski topology) Fano complete intersection $V$ of the type $(d_1,...,d_k)$ in ${\mathbb P}^{M+k}$, where $d_1+...+d_k=M+k$, is birationally superrigid if $M\geq 7$, $M\geq k+3$ and $\mathop{\rm max} \{d_i\}\geq 4$. In particular, on the variety $V$ there is exactly one structure of a Mori fibre space (or a rationally connected fibre space), the groups of birational and biregular self-maps coincide, $\mathop{\rm Bir} V= \mathop{\rm Aut} V$, and the variety $V$ is non-rational. This fact covers a considerably larger range of complete intersections than …
For a smooth curve $B$ over an algebraically closed field $k$, for every $B$-flat complete intersection $X_B$ in $B\times_{\text{Spec}\ k} \mathbb{P}^n_k$ of type $(d_1,\dots,d_c)$, if the Fano index is $\geq 2$ and if $\text{char}(k)>\max(d_1,\dots,d_c)$, we prove weak approximation of $\widehat{\mathcal{O}}_{B,b}$-points of $X_B$ by $k(B)$-points at all places of (strong) potentially good reduction, including all places of good reduction. The key step is the proof that such complete intersections are \emph{separably uniruled by lines}, and even \emph{separably rationally connected}, whenever…
We prove results about 1-cycles on certain Fano varieties using techniques that rely on rational curves. Firstly, we show that Fano weighted complete intersections with index bigger than half their dimension have trivial first Griffiths group. Secondly, we prove that the first Chow group of most $2$-Fano weighted complete intersections, and of $2$-Fano conic-connected varieties in $\mathbb{P}^n$ of high enough index (with $3$ obvious exceptions), are generated by lines. Furthermore, if the Fano variety of lines is irreducible, the first Chow group is isomorphic to $\mathbb{Z}$.
We complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of co…
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.
We investigate Fano schemes of conditionally generic intersections, i.e. of hypersurfaces in projective space chosen generically up to additional conditions. Via a correspondence between generic properties of algebraic varieties and events in probability spaces that occur with probability one, we use the obtained results on Fano schemes to solve a problem in machine learning.
We propose a combinatorical duality for lattice polyhedra which conjecturally gives rise to the pairs of mirror symmetric families of Calabi-Yau complete intersections in toric Fano varieties with Gorenstein singularities. Our construction is a generalization of the polar duality proposed by Batyrev for the case of hypersurfaces.
We study genus 1 Gromov-Witten invariants of Fano complete intersections in the projective spaces. Among other things, we show a reconstruction theorem for genus 1 invariants with only ambient insertions, and compute the genus 1 invariants with 1 marked point. For cubic hypersurfaces of dimension $\neq 4$ and odd dimensional intersections of two quadrics, we obtain a complete reconstruction theorem for genus 1 Gromov-Witten invariants.
We prove that if a smooth variety with non-positive canonical class can be embedded into a weighted projective space of dimension $n$ as a well formed complete intersection and it is not an intersection with a linear cone therein, then the weights of the weighted projective space do not exceed $n+1$. Based on this bound we classify all smooth Fano complete intersections of dimensions $4$ and $5$, and compute their invariants.
We prove that every smooth Fano complete intersection of index $1$ and codimension $r$ in $\mathbb{P}^{n+r}$ is birationally superrigid and K-stable if $n\ge 10r$. We also propose a generalization of Tian's criterion of K-stability and, as an application, prove the K-stability of the complete intersection of a quadric and a cubic in $\mathbb{P}^5$. In the appendix (written jointly with C. Stibitz), we prove the conditional birational superrigidity of Fano complete intersections of higher index in large dimension.
In this paper we derive a list of all the possible indecomposable normalized rank--two vector bundles without intermediate cohomology on the prime Fano threefolds and on the complete intersection Calabi Yau threefolds, say $V$, of Picard number $ρ=1$. For any such bundle $\E$, if it exists, we find the projective invariants of the curves $C \subset V$ which are the zero-locus of general global sections of $\E$. In turn, a curve $C \subset V$ with such invariants is a section of a bundle $\E$ from our lists. This way we reduce the problem for existence of such bundles on $V$ to the problem for …
We prove that a smooth well formed Fano weighted complete intersection of codimension 2 has a nef partition. We discuss applications of this fact to Mirror Symmetry. In particular we list all nef partitions for smooth well formed Fano weighted complete intersections of dimensions 4 and 5 and present weak Landau--Ginzburg models for them.
We prove birational superrigidity of generic Fano complete intersections $V$ of type $2^{k_1}\cdot 3^{k_2}$ in the projective space ${\mathbb P}^{2k_1+3k_2}$, under the condition that $k_2\geq 2$ and $k_1+2k_2=\mathop{\rm dim} V\geq 12$, and of a few families of Fano complete intersections of dimension 10 and 11. This is the third version: minor corrections were made, including a few typos.
Tautological systems developed in [6],[7] are Picard-Fuchs type systems to study period integrals of complete intersections in Fano varieties. We generalize tautological systems to local complete intersections, which are zero loci of global sections of vector bundles over Fano varieties. In particular, we obtain similar criterion as [6, 7] about holonomicity and regularity of the system. We also prove solution rank formulas and geometric realizations of solutions following the work of hypersurfaces [5, 4].
We show that the dual of the Cayley cone, associated to a Minkowski sum decomposition of a reflexive polytope, contains a reflexive polytope admitting a nef-partition. This nef-partition corresponds to a Calabi-Yau complete intersection in a Gorenstein Fano toric variety degenerating to an ample Calabi-Yau hypersurface in another Fano toric variety. Using the Batyrev-Borisov mirror symmetry construction, we found the mirror contraction of a Calabi-Yau complete intersection to the mirror of the ample Calabi-Yau hypersurface.
In 1997 Batyrev, Ciocan-Fontanine, Kim, and van Straten suggested a construction of Landau--Ginzburg models for Fano complete intersections in Grassmannians similar to Givental's construction for complete intersections in smooth toric varieties. We show that for a Fano complete intersection in Grassmannians the result of the above construction is birational to a complex torus. In other words, the complete intersections under consideration have very weak Landau--Ginzburg models.
Let $X$ be a projective variety and let $C$ be a rational normal curve on $X$. We compute the normal bundle of $C$ in a general complete intersection of hypersurfaces of sufficiently large degree in $X$. As a result, we establish the separable rational connectedness of a large class of varieties, including general Fano complete intersections of hypersurfaces of degree at least three in flag varieties, in arbitrary characteristic. In addition, we give a new way of computing the normal bundle of certain rational curves in products of varieties in terms of their restricted tangent bundles and nor…
Let $X^o=\mathbb P^3\setminus D$ where $D$ is the union of two quadrics such that their intersection contains a smooth conic, or the union of a smooth quadric surface and two planes, or the union of a smooth cubic surface $V$ and a plane $Π$ such that the intersection $V\capΠ$ contains a line. In all these cases we show that the set of integral points of $X^o$ is potentially dense. We apply the above results to prove that integral points are potentially dense in some log-Fano or in some log-Calabi-Yau threefold.
We introduce the notion of cracked polytope, and - making use of joint work with Coates and Kasprzyk - construct the associated toric variety $X$ as a subvariety of a non-singular toric variety $Y$ under certain conditions. Restricting to the case in which this subvariety is a complete intersection, we present a sufficient condition for a smoothing of $X$ to exist inside $Y$. We exhibit a relative anti-canonical divisor for this smoothing of $X$, and show that the general member is simple normal crossings.
In this paper we propose and prove an explicit formula for computing the degree of Fano schemes of linear subspaces on general hypersurfaces. The method used here is based on the localization theorem and Bott's residue formula in equivariant intersection theory.
In arXiv:1503.00125, the authors proved that every complete intersection smooth projective variety $Y$ is a Fano visitor, i.e. its derived category $D^b(Y)$ is equivalent to a full triangulated subcategory of the derived category $D^b(X)$ of a smooth Fano variety $X$, called a Fano host of $Y$. They also introduced the notion of Fano dimension of $Y$ as the smallest dimension of a Fano host $X$ and obtained an upper bound for the Fano dimension of each complete intersection variety. In this paper, we provide a Hodge-theoretic criterion for the existence of a Fano host which enables us to deter…
