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.
We compute explicitly the limits of tangents of a quasi-ordinary singularity in terms of its special monomials. We show that the set of limits of tangents of Y is essentially a topological invariant of Y .
We introduce an algebraic method for describing the Hodge filtration of degenerating hypersurfaces in projective toric varieties. For this purpose, we show some fundamental properties of logarithmic differential forms on proper equivariant morphisms of toric varieties.
The secant varieties of Severi varieties provide special examples of (singular) cubic hypersurfaces. An interesting question asks when a given cubic hypersurface is projectively equivalent to a secant cubic hypersurface. Inspired by the ''geometric'' Torelli theorem for smooth cubic hypersurfaces due to F. Charles, we study the geometry of lines on secant cubics and describe the Fano variety of lines. Then we verify the ''geometric'' Torelli theorem for the case of secant cubics. Namely, a cubic hypersurface is isomorphic to a secant cubic if and only if their Fano varieties of lines are isomo…
In this paper, we investigate when there exists a wild hypersurface bundle over a smooth proper toric variety in positive characteristic. In particular, we determine the possibilities for toric varieties with Picard number at most three or toric Fano varieties of dimension at most four. Moreover, we can construct wild hypersurface bundles over them.
We study the geometry and cohomology of semiample hypersurfaces in toric varieties. Such hypersurfaces generalize the MPCP-desingularizations of Calabi-Yau ample hypersurfaces in the Batyrev mirror construction. We study the topological cup product on the middle cohomology of semiample hypersurfaces. In particular, we obtain a complete algebraic description of the middle cohomology of regular semiample hypersurfaces in 4-dimensional simplicial toric varieties what would be interesting for physics.
We study spaces of lines that meet a smooth hypersurface X in P^n to high order. As an application, we give a polynomial upper bound on the number of planes contained in a smooth degree d hypersurface in P^5 and provide a proof of a result of Landsberg without using moving frames.
It is shown that an irreducible cubic hypersurface with nonzero Hessian and smooth singular locus is the secant variety of a Severi variety if and only if its Lie algebra of infinitesimal linear automorphisms admits a nonzero prolongation.
We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the Oda conjecture and Hodge conjecture. We also give an explicit criterion which depends on the degree for very general hypersurfaces for the combinatorial condition to be verified.
Under a hypothesis on $k$, $d$ and $n$ that is almost the best possible, we prove that for every smooth degree $d$ hypersurface in $P^n$, the $k$-plane sections dominate the moduli space of degree $d$ hypersurface in $P^k$. Using this we prove rational simple connectedness of every smooth degree $d$ hypersurface in $P^n$, under a suitable hypothesis on $d$ and $n$ (previous results were only for general hypersurfaces).
The purpose of this paper is to compute the degree of irrationality of hypersurfaces of sufficiently high degree in various Fano varieties: quadrics, Grassmannians, products of projective space, cubic threefolds, cubic fourfolds, and complete intersection threefolds of type (2,2). This extends the techniques of Bastianelli, De Poi, Ein, Lazarsfeld, and the second author who computed the degree of irrationality of hypersurfaces of sufficiently high degree in projective space. A theme in the paper is that the fibers of low degree rational maps from the hypersurfaces to projective space tend to l…
We provide a combinatorial characterization of monomial linear systems on toric varieties whose general member is quasismooth. This is given both in terms of the Newton polytope and in terms of the matrix of exponents of a monomial basis.
We give a simple combinatorial proof of the toric version of Mori's theorem that the only $n$-dimensional smooth projective varieties with ample tangent bundle are the projective spaces $\mathbb{P}^n$.
Trinomial varieties are affine varieties given by some special system of equations consisting of polynomials with three terms. Such varieties are total coordinate spaces of normal rational varieties with torus action of complexity one. For an affine variety X we consider the subgroup SAut(X) of the automorphism group generated by all algebraic subgroups isomorphic to the additive group of the ground field. An affine variety X is rigid if SAut(X) is trivial. In opposite an affine variety is flexible if SAut(X) acts transitively on the regular locus. Arzhantsev proved a criterium for a factorial…
Let $\mathscr{X}\to W$ be a flat family of generically irreducible hypersurfaces of degree $d\geq 2$ in $\PP^n$ with singular locus of dimension $t$, with $W$ unirational of dimension $r$. We prove that if $n$ is large enough with respect to $d$, $r$ and $t$, then $\mathscr{X}$ is unirational. This extends results in \cite {Pre, HMP}.
We study the behaviour of rational curves tangent to a hypersurface under degenerations of the hypersurface. Working within the framework of logarithmic Gromov-Witten theory, we extend the degeneration formula to the logarithmically singular setting, producing a virtual class on the space of maps to the degenerate fibre. We then employ logarithmic deformation theory to express this class as an obstruction bundle integral over the moduli space of ordinary stable maps. This produces new refinements of the logarithmic Gromov-Witten invariants, encoding the degeneration behaviour of tangent curves…
In this paper, we establish the following version at infinity of Whitney's theorem [6, 7]: Geometric and algebraic tangent cones at infinity of complex algebraic varieties coincide. The proof of this fact is based on a geometric characterization of geometric tangent cones at infinity and using the global Łojasiewicz inequality with explicit exponents for complex algebraic varieties. We also show that tangent cones at infinity of complex algebraic varieties can be computed using Gröbner bases.
The variety of all smooth hypersurfaces of given degree and dimension has the Fermat hypersurface as a natural base point. In order to study the period map for such varieties, we first determine the integral polarized Hodge structure of the primitive cohomology of a Fermat hypersurface (as a module over the automorphism group of the hypersurface). We then focus on the degree 3 case and show that the period map for cubic fourfolds as analyzed by R. Laza and the author gives complete information about the period map for cubic hypersurfaces of lower dimension dimension. In particular, we thus rec…
Given a compact Kähler manifold, the Infinitesimal Torelli problem asks whether the differential of the period map of a Kuranishi family is injective. Unlike the classical Torelli theorem for curves, there is a negative answer for example for hyperelliptic curves of genus greater than $2$. Nevertheless the Infinitesimal Torelli Theorem holds for many other classes of manifolds. We will prove it for smooth hypersurfaces in simple abelian varieties with sufficiently high self-intersection giving an effective bound on a result by Green in this particular case.
I prove a crystalline characterization of abelian varieties in characteristic $p>0$ amongst the class of varieties with trivial tangent bundle. I show using my characterization that a smooth, projective, ordinary variety with trivial tangent bundle is an abelian variety if and only if its second crystalline cohomology is torsion free. I also show that a conjecture of Ke-Zheng Li about characteristic $p>0$ varieties with trivial tangent bundles is true for surfaces. I give a new proof of a result of Li and prove a refinement of it. Based on my characterization of abelian varieties I propose mod…
This paper generalises Mori's famous theorem about "Projective manifolds with ample tangent bundles" to normal projective varieties in the following way: A normal projective variety over $\mathbb{C}$ with ample tangent sheaf is isomorphic to the complex projective space.
We provide a construction of examples of semistable degeneration via toric geometry. The applications include a higher dimensional generalization of classical degeneration of K3 surface into 4 rational components, an algebraic geometric version of decomposing K3 as the fiber sum of two E(1)'s as well as it's higher dimensional generalizations, and many other new examples.
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.
Recently, Kanemitsu has discovered a counterexample to the long-standing conjecture that the tangent bundle of a Fano manifold of Picard number one is (semi)stable. His counterexample is a smooth horospherical variety. There is a weaker conjecture that the tangent bundle of a Fano manifold of Picard number one is simple. We prove that this weaker conjecture is valid for smooth horospherical varieties of Picard number one. Our proof follows from the existence of an irreducible family of unbendable rational curves whose tangent vectors span the tangent spaces of the horospherical variety at gene…
Alex Waldron proved that for sufficiently general degree $d$ hypersurfaces in projective $n$-space, the Fano scheme parameterizing $r$-dimensional linear spaces contained in the hypersurface is nonempty precisely for the degree range $n\geq N_1(r,d)$ where the "expected dimension" $f_1(n,r,d)$ is nonnegative, in which case $f_1(n,r,d)$ equals the (pure) dimension. Using work by Gleb Nenashev, we prove that for sufficiently general degree $d$ hypersurfaces in projective $n$-space, the parameter space of $r$-dimensional $e$-uple Veronese varieties contained in the hypersurface is nonempty of pur…
We describe the stratification by tensor rank of the points belonging to the tangent developable of any Segre variety. We give algorithms to compute the rank and a decomposition of a tensor belonging to the secant variety of lines of any Segre variety. We prove Comon's conjecture on the rank of symmetric tensors for those tensors belonging to tangential varieties to Veronese varieties.
In the paper we present new examples of unexpected varieties. The research on unexpected varieties started with a paper of Cook II, Harbourne, Migliore and Nagel and was continued in the paper of Harbourne, Migliore, Nagel and Teitler. Here we present three ways of producing unexpected varieties that expand on what was previously known. In the paper of Harbourne, Migliore, Nagel and Teitler, cones on varieties of codimension 2 were used to produce unexpected hypersurfaces. Here we show that cones on positive dimensional varieties of codimension 2 or more almost always give unexpected hypersurf…
We determine the stability/instability of the tangent bundles of the Fano varieties in a certain class of two orbit varieties, which are classified by Pasquier in 2009. As a consequence, we show that some of these varieties admit unstable tangent bundles, which disproves a conjecture on stability of tangent bundles of Fano manifolds.
We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of the period map vanishes on an infinitesimal deformation if and only if certain twisted differential forms are elements of the Jacobian ideal of the hypersurface. We also prove an infinitesimal Torelli theorem result for smooth hypersurfaces in log parallelizable varieties.
We describe a method to construct hypersurfaces of the complex affine $n$-space with isomorphic $\mathbb{C}^*$-cylinders. Among these hypersurfaces, we find new explicit counterexamples to the Laurent Cancellation Problem, i.e. hypersurfaces that are non isomorphic, although their $\mathbb{C}^*$-cylinders are isomorphic as abstract algebraic varieties. We also provide examples of non isomorphic varieties $X$ and $Y$ with isomorphic cartesian squares $X\times X$ and $Y\times Y$.
We study the positivity of exterior powers of the tangent sheaf on toric varieties in order to generalize results by Campana and Peternell about 3-folds with nef second exterior power of the tangent bundle. Using the theory of equivariant vector bundles and the toric MMP, we establish in the smooth case a criterion for the positivity of $Λ^m\mathcal T_X$ in terms of wall relations. As an application, we classify smooth toric varieties of arbitrary dimension $n\ge3$ with $Λ^2\mathcal T_X$ nef and those of dimension $n\ge 4$ with $Λ^3\mathcal T_X$ ample.
A real algebraic variety is maximal (with respect to the Smith-Thom inequality) if the sum of the Betti numbers (with $\mathbb{Z}_2$ coefficients) of the real part of the variety is equal to the sum of Betti numbers of its complex part. We prove that there exist polytopes that are not Newton polytopes of any maximal hypersurface in the corresponding toric variety. On the other hand we show that for any polytope $Δ$ there are families of hypersurfaces with the Newton polytopes $(λΔ)_{λ\in \mathbb{N}}$ that are asymptotically maximal when $λ$ tends to infinity. We also show that these results ge…
Linearly projecting smooth projective varieties provides a method of obtaining hypersurfaces birational to the original varieties. We show that in low dimension, the resulting hypersurfaces only have Du Bois singularities. Moreover, we conclude that these Du Bois singularities are in fact semi log canonical. However, we demonstrate the existence of counterexamples in high dimension -- the generic linear projection of certain varieties of dimension 30 or higher is neither semi log canonical nor Du Bois.
Let X be a projective hypersurface in P_k^n of degree d <= n. In this paper we study the relation between the class [X] in K_0(Var_k) and the existence of k-rational points. Using elementary geometric methods we show, for some particular X, that X(k) is nonempty if and only if [X] is equivalent to 1 modulo the class of the affine line in K_0(Var_k). More precisely we consider the following cases: a union of hyperplanes, a quadric, a cubic hypersurface with a singular k-rational point, and a quartic which is a union of two quadrics one of which being smooth.
Following Contou-Carrere [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the Tits building associated to the situation. We prove that the rational smoothness of a Schubert variety can be expressed in terms of a subspace of the Zariski tangent space called, the combinatorial tangent space. For this, we use a characterization of rational smoothness of a Schubert variety introduced by Carrell and Peterson [CP].
We give a combinatorial criterion for the tangent bundle on a smooth toric variety to be stable with respect to a given polarisation in terms of the corresponding lattice polytope. Furthermore, we show that for a smooth toric surface and a smooth toric variety of Picard rank 2, there exists an ample line bundle with respect to which the tangent bundle is stable if and only if it is an iterated blow-up of projective space.
Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.
There are easy "polynomial" deformations of Calabi-Yau hypersurfaces in toric varieties performed by changing the coefficients of the defining polynomial of the hypersurface. In this paper, we explicitly constructed the ``non-polynomial'' deformations of Calabi-Yau hypersurfaces, which arise from deformations of the ambient toric variety.
Classical Castelnuovo's Lemma shows that the number of linearly independent quadratic equations of a nondegenerate irreducible projective variety of codimension $c$ is at most ${{c+1} \choose {2}}$ and the equality is attained if and only if the variety is of minimal degree. Also a generalization of Castelnuovo's Lemma by G. Fano implies that the next case occurs if and only if the variety is a del Pezzo variety. For curve case, these results are extended to equations of arbitrary degree respectively by J. Harris and S. L'vovsky. This paper is intended to extend these results to arbitrary dime…
We provide a sufficient condition for a general hypersurface in a $\mathbb Q$-Fano toric variety to be a Calabi-Yau variety in terms of its Newton polytope. Moreover, we define a generalization of the Berglund-Hübsch-Krawitz construction in case the ambient is a $\mathbb Q$-Fano toric variety with torsion free class group and the defining polynomial is not necessarily of Delsarte type. Finally, we introduce a duality between families of Calabi-Yau hypersurfaces which includes both Batyrev and Berglund-Hübsch-Krawitz mirror constructions. This is given in terms of a polar duality between pairs …
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.
The purpose of this paper is to investigate the geometric properties of real hypersurfaces of D'Angelo infinite type in ${\mathbb C}^n$. In order to understand the situation of flatness of these hypersurfaces, it is natural to ask whether there exists a nonconstant holomorphic curve tangent to a given hypersurface to infinite order. A sufficient condition for this existence is given by using Newton polyhedra,which is an important concept in singularity theory. More precisely,equivalence conditions are given in the case of some model hypersurfaces.
We use a generalization of Horrocks monads for arithmetic Cohen-Macaulay (ACM) varieties to establish a cohomological characterization of linear and Steiner bundles over projective spaces and quadric hypersurfaces. We also study resolutions of bundles on ACM varieties by line bundles, and characterize linear homological dimension in the case of quadric hypersurfaces.
We propose a conjectural list of Fano manifolds of Picard number $1$ with pseudoeffective normalized tangent bundles, which we prove in various situations by relating it to the complete divisibility conjecture of Russo and Zak on varieties with small codegree. Furthermore, the pseudoeffective thresholds and hence the pseudoeffective cones of the projectivized tangent bundles of rational homogeneous spaces of Picard number $1$ are explicitly determined by studying the total dual VMRT and the geometry of stratified Mukai flops. As a by-product, we obtain sharp vanishing theorems on the global tw…
We answer a question posed by S. Kleiman concerning flatness of the family of complete quadrics. We also show that any flat family of hypersurfaces on Grassmann varieties induces a flat family of intersections with the corresponding flag variety.
We give simple geometric proofs of Aprodu-Farkas-Papadima-Raicu-Weyman's theorem on syzygies of tangent developable surfaces of rational normal curves and Raicu-Sam's result on syzygies of K3 carpets. As a consequence, we obtain a quick proof of Green's conjecture for general curves of genus $g$ over an algebraically closed field $\mathbf{k}$ with $\operatorname{char}(\mathbf{k}) = 0$ or $\operatorname{char}(\mathbf{k}) \geq \lfloor (g-1)/2 \rfloor$. We also show the arithmetic normality of tangent developable surfaces of arbitrary smooth projective curves of large degree.