We construct new examples of Kobayashi hyperbolic hypersurfaces in the projective 4-space. They are generic projections of the triple symmetric product of a generic curve of genus at least 7, smoothly embedded in the projective 7-space.
Using monads, we construct a large class of stable bundles of rank 2 and 3 on 3-fold hypersurfaces, and study the set of all possible Chern classes of stable vector bundles.
We show that the usual sufficient criterion for a generic hypersurface in a smooth projective manifold to have the same Picard number as the ambient variety can be generalized to hypersurfaces in complete simplicial toric varieties. This sufficient condition is always satisfied by generic K3 surfaces embedded in Fano toric 3-folds.
We determine the rationality of very general quasismooth Fano 3-fold weighted hypersurfaces completely and determine the stable rationality of them except for cubic 3-folds. More precisely we prove that (i) very general Fano 3-fold weighted hypersurfaces of index 1 or 2 are not stably rational except possibly for the cubic threefolds, (ii) among the 27 families of Fano 3-fold weighted hypersurfaces of index greater than 2, very general members of specific 7 families are not stably rational and the remaining 20 families consists of rational varieties.
The theorem referred to in the title is a technical result that is needed for the classification of elliptic and K3 fibrations birational to Fano 3-fold hypersurfaces in weighted projective space. We present a complete proof of the Curve Exclusion Theorem, which first appeared in the author's unpublished PhD thesis [Ry02] and has since been relied upon in solutions to many cases of the fibration classification problem. We give examples of these solutions and discuss them briefly.
We construct new subvarieties in the varieties of power sums for certain quartic hypersurfaces. This provides a generalization of Mukai's description of smooth prime Fano threefolds of genus twelve as the varieties of power sums for plane quartics. In fact, in our second paper, we show that these quartics are exactly the Scorza quartics associated to general pairs of trigonal curves and ineffective theta characteristics and this enables us to prove there the main cojecture of Dolgachev and Kanev.
In this paper we give an effective criterion as to when a prime number p is the order of an automorphism of a smooth cubic hypersurface of P^{n+1}, for a fixed n > 1. We also provide a computational method to classify all such hypersurfaces that admit an automorphism of prime order p. In particular, we show that p<2^{n+1} and that any such hypersurface admitting an automorphism of order p>2^n is isomorphic to the Klein n-fold. We apply our method to compute exhaustive lists of automorphism of prime order of smooth cubic threefolds and fourfolds. Finally, we provide an application to the moduli…
We show that a wide class of hypersurfaces in all dimensions are not stably rational. Namely, for all d at least about 2n/3, a very general complex hypersurface of degree d in P^{n+1} is not stably rational. The statement generalizes Colliot-Thelene and Pirutka's theorem that very general quartic 3-folds are not stably rational. The result covers all the degrees in which Kollar proved that a very general hypersurface is non-rational, and a bit more. For example, very general quartic 4-folds are not stably rational, whereas it was not even known whether these varieties are rational.
We show that five of Reid's Fano 3-fold hyperurfaces containing at least one compound Du Val singularity of type $cA_n$ have pliability at least two. The two elements of the pliability set are the singular hypersurface itself, and another non-isomorphic Fano hypersurface of the same degree, embedded in the same weighted projective space, but with different compound Du Val singularities. The birational map between them is the composition of two birational links initiated by blowing up two Type I centres on a codimension 4 Fano 3-fold of $\mathbb{P}^2 \times \mathbb{P}^2$-type having Picard rank…
For a hypersurface in a projective space, we consider the set of pairs of a point and a line in the projective space such that the line intersects the hypersurface at the point with a fixed multiplicity. We prove that this set of pairs forms a smooth variety for a general hypersurface.
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…
We study rational curves on general Fano hypersurfaces in projective space, mostly by degenerating the hypersurface along with its ambient projective space to reducible varieties. We prove results on existence of low-degree rational curves with balanced normal bundle, and reprove some results on irreducibility of spaces of rational curves of low degree.
In this paper, we discuss classical derivation of the residue integral representation of the d=1 rational Gromov-Witten invariants of projective hypersurfaces that followed from localization technique.
In this paper we present some properties for projective hypersurfaces, smooth and singular, to be criteria for identification. To make the decision with these criteria, we have included procedures written in Singular language.
We prove that a smooth surface, non of general type, in projective four-space, which lies on a quartic hypersurface with isolated singularities has degree at most 27 (in fact we prove a slightly more general result).
We use the cut and paste relation $[Y^{[2]}] = [Y][\mathbb{P}^m] + \mathbb{L}^2 [F(Y)]$ in $K_0(\text{Var}_k)$ of Galkin--Shinder for cubic hypersurfaces arising from projective geometry to characterize cubic hypersurfaces of sufficiently high dimension under certain numerical or genericity conditions. Removing the conditions involving the middle Betti number from the numerical conditions used extends the possible $Y$ to cubic hypersurfaces, complete intersections of two quadric hypersurfaces, or complete intersections of two quartic hypersurfaces. The same method also gives a family of other …
The numbers of $\mathbb{F}_q$-points of nonsingular hypersurfaces of a fixed degree in an odd-dimensional projective space are investigated, and an upper bound for them is given. Also we give the complete list of nonsingular hypersurfaces each of which realizes the upper bound. This is a natural generalization of our previous study of surfaces in projective $3$-space.
We classify four-dimensional quasismooth weighted hypersurfaces with small canonical class, and verify a conjecture of Johnson and Kollar on infinite series of quasismooth hypersurfaces with anticanonical hyperplane section in the case of fourfolds. By considering the quotient singularities that arise, we classify those weighted hypersurfaces that are canonical, Calabi-Yau, and Fano fourfolds. We also consider other classes of hypersurfaces, including Fano hypersurfaces of index greater than 1 in dimensions 3 and 4.
We complete the study of rationality problem for hypersurfaces $X_t\subset \mathbb{P}^4$ of degree $4$ invariant under the action of the symmetric group $S_6$.
This paper continues our researches \cite{DS1, DS2, DS3} by computing some invariants based on Hilbert-Poincaré series associated to Milnor algebras. Our computations are for some of the classical surfaces and 3-folds with different configurations of isolated singularities. As a by-product of a recent result of E. Sernesi, we give examples of classical hypersurfaces which are (or are not) projectively rigid. We also include a Singular program to compute the invariants and to decide if a singular projective hypersurface is nodal and projectively rigid.
We study Gauss-Manin systems of non tame Laurent polynomial functions. We focuse on Hori-Vafa models, which are the expected mirror partners of the small quantum cohomology of smooth hypersurfaces in weighted projective spaces.
In response to a question of Reid, we find all anti-canonical Calabi-Yau hypersurfaces $X$ in toric weighted projective bundles over the projective line where the general fiber is a weighted K3 hypersurface. This gives a direct generalization of Reid's discovery of the 95 families of weighted K3 hypersurfaces. We also treat the case where $X$ is fibered over the plane with general fiber a genus one curve in a weighted projective plane.
We analyze freely-acting discrete symmetries of Calabi-Yau three-folds defined as hypersurfaces in ambient toric four-folds. An algorithm which allows the systematic classification of such symmetries which are linearly realised on the toric ambient space is devised. This algorithm is applied to all Calabi-Yau manifolds with $h^{1,1}(X)\leq 3$ obtained by triangulation from the Kreuzer-Skarke list, a list of some $350$ manifolds. All previously known freely-acting symmetries on these manifolds are correctly reproduced and we find five manifolds with freely-acting symmetries. These include a sin…
An EPW-sextic is a special 4-dimensional hypersurfaces of degree 6 which comes equipped with a double cover which generically is a Hyperkaehler 4-fold deformation equivalent to the Hilbert square of a K3 surface. The family of EPW-sextics is analogous to the family of cubic 4-fold hypersurfaces, more precisely double EPW-sextics are analogous to varieties of lines on cubic 4-folds. This first paper in a series on moduli and periods of double EPW-sextics is mainly concerned with the classification of EPW-sextics which are analogous to cubic 4-folds whose singular locus has strictly positive dim…
We investigate the stronger form of the Bogomolov-Gieseker inequality on smooth hypersurfaces in the projective space of any degree and dimension. The main technical tool is the theory of tilt-stability conditions in the derived category.
We determine the complete list of anticanonically embedded quasi smooth log Fano 3-folds in weighted projective 4-spaces. This implies that the Reid-Fletcher list of 95 types of anticanonically embedded quasi smooth terminal Fano threefolds in weighted projective 4-spaces is complete. We also prove that there are only finitely many families of quasi smooth Calabi-Yau hypersurfaces in weighted projective spaces of any given dimension.
We study the birational properties of hypersurfaces in products of projective spaces. In the case of hypersurfaces in P^m x P^n, we describe their nef, movable and effective cones and determine when they are Mori dream spaces. Using these results, we give new simple examples of non-Mori dream spaces and analogues of Mumford's example of a strictly nef line bundle which is not ample.
A general method of computing cohomology groups of the space of nonsingular algebraic hypersurfaces of degree $d$ in $CP^n$ is described. Using this method, rational cohomology groups of such spaces with $n=2, d \le 4$ and $n=3=d$ are calculated.
In this paper, we will show that the Hesselink stratification of a Hilbert scheme of hypersurfaces is independent of the choice of Plücker coordinate and there is a positive relation between the length of Hesselink's worst virtual 1-parameter subgroup and multiplicity of a projective hypersurface.
We compute Hochschild cohomology of projective hypersurfaces starting from the Gerstenhaber-Schack complex of the (restricted) structure sheaf. We are particularly interested in the second cohomology group and its relation with deformations. We show that a projective hypersurface is smooth if and only if the classical HKR decomposition holds for this group. In general, the first Hodge component describing scheme deformations has an interesting inner structure corresponding to the various ways in which first order deformations can be realized: deforming local multiplications, deforming restrict…
We show that the Hirzebruch-Milnor class of a projective hypersurface, which gives the difference between the Hirzebruch class and the virtual one, can be calculated by using the Steenbrink spectra of local defining functions of the hypersurface if certain good conditions are satisfied, e.g. in the case of projective hyperplane arrangements, where we can give a more explicit formula. This is a natural continuation of our previous paper on the Hirzebruch-Milnor classes of complete intersections.
We prove an effective bound for the degree of a smooth divisor of a hypersurface of P^n, n>4 (projective space over an algebraically closed field of characteristic zero). Our result follows from a strong (since the degree of the divisor is not involved) generalization of the "Speciality theorem" of Gruson-Peskine, which we prove to hold for any smooth, subcanonical, codimension two, projective verieties of dimension at least three.
We study subvarieties of a general projective degree $d$ hypersurface $X_d\subset \mathbf P^n$. Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety of a general hypersurface $X_{d}\subset {\mathbf P}^n$, for $n\geq 6$ and $d\geq 2n-2$, is of general type.
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces, generalizing those obtained by different methods by Dimca in the isolated singularities case, and by Siersma-Tibăr in the case of hypersurfaces with a $1$-dimensional singular locus. We also prove a supplement to the Lefschetz hyperplane theorem for hypersurfaces, which takes the dimension of the singular locus into account, and we use it to give a new proof…
We extend a result of to Esnault-Levine-Viehweg concerning the Chow groups of hypersurfaces in projective space to those in weighted projective spaces.
For $n \geq 1$, the twistor space $\mathfrak{Z}(\mathbb{S}^{2n})$ of the conformal $2n$-sphere is biholomorphic to the Zariski closure, taken in the complex Grassmannian manifold $\mathbf{G}(n+1, 2n+2)$, of the set of graphs of skew-symmetric linear endomorphism of $\mathbb{C}^{n+1}$. We use this fact to describe a natural stratification of the twistor space $\mathfrak{Z}(\mathbb{S}^{2n})$ with $n \geq 3$, in terms of what we have called {\it generalised complex orthogonal Stiefel manifolds} of $\mathbb{C}^{n+1}$. In particular, the twistor space $\mathfrak{Z}(\mathbb{S}^{6})$ is biholomorphic…
For every positive integer $n\in \mathbb{Z}_+$ we define an `Euler polynomial' $\mathscr{E}_n(t)\in \mathbb{Z}[t]$, and observe that for a fixed $n$ all Chern numbers (as well as other numerical invariants) of all smooth hypersurfaces in $\mathbb{P}^n$ may be recovered from the single polynomial $\mathscr{E}_n(t)$. More generally, we show that all Chern classes of hypersurfaces in a smooth variety may be recovered from its top Chern class.
We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a combination of two operations: one interchanges a quadric hypersurface with its classical projective dual and the other interchanges a quadric hypersurface with the double cover branched along it.
Let V be a projective hypersurface of fixed degree and dimension which has only isolated singular points. We show that, if the sum of the Milnor numbers at the singular points of V is large, then V cannot have a point of large multiplicity, unless V is a cone. As an application, we give an affirmative answer to a conjecture of Dimca and Papadima.