We prove that the kernel of the evaluation morphism of global sections - namely the syzygy bundle - of a sufficiently ample line bundle on an abelian variety is stable. This settles a conjecture of Ein-Lazarsfeld-Mustopa, in the case of abelian varieties.
In this work we will prove results that ensure the simplicity and the exceptionality of vector bundles which are defined by the splitting of pure resolutions. We will call such objects syzygy bundles.
Let $(X, H)$ be a polarized smooth projective algebraic surface and $E$ is globally generated, stable vector bundle on $X$. Then the Syzygy bundle $M_E$ associated to it is defined as the kernel bundle corresponding to the evaluation map. In this article we will study the stability property of $M_E$ with respect to $H$.
Let $L$ be a globally generated line bundle over a smooth irreducible complex projective surface $X$. The syzygy bundle $M_{L}$ is the kernel of the evaluation map $H^0(L)\otimes\mathcal O_X\to L$. We prove the $L$-stability of $M_L$ for Hirzebruch surfaces, del Pezzo surfaces and Enriques surfaces. The $(-K_X)$-stability of syzygy bundles $M_L$ over del Pezzo surfaces is also obtained.
We prove that the kernel bundle of the evaluation morphism of global sections, namely the syzygy bundle, of a sufficiently ample line bundle on a smooth projective variety is slope stable with respect to any polarization. This settles a conjecture of Ein-Lazarsfeld-Mustopa.
Given a very ample line bundle L on a projective variety X, the syzygy bundle M_L associated to L is the kernel of the evaluation map on sections of L. Our main result is that if X is a smooth projective surface defined over an algebraically closed field, then M_L is slope-stable for any sufficiently positive L.
Let K be an algebraically closed field of characteristic zero and let I=(f_1,...,f_n) be a homogeneous R_+-primary ideal in R:=K[X,Y,Z]. If the corresponding syzygy bundle Syz(f_1,...,f_n) on the projective plane is semistable, we show that the Artinian algebra R/I has the Weak Lefschetz property if and only if the syzygy bundle has a special generic splitting type. As a corollary we get the result of Harima et alt., that every Artinian complete intersection (n=3) has the Weak Lefschetz property. Furthermore, we show that an almost complete intersection (n=4) does not necessarily have the Weak…
We show that given integers $N$, $d$ and $n$ such that ${N\ge2}$, ${(N,d,n)\ne(2,2,5)}$, and ${N+1\le n\le\tbinom{d+N}{N}}$, there is a family of $n$ monomials in $K[X_0,\ldots,X_N]$ of degree $d$ such that their syzygy bundle is stable. Case ${N\ge3}$ was obtained independently by Coandǎ with a different choice of families of monomials [Coa09]. For ${(N,d,n)=(2,2,5)}$, there are $5$ monomials of degree~$2$ in $K[X_0,X_1,X_2]$ such that their syzygy bundle is semistable.
In this note, we prove that the syzygy bundle $M_L$ is cohomologically stable with respect to $L$ for any ample and globally generated line bundle $L$ on an Enriques (resp. bielliptic) surface over an algebraically closed field of characteristic $\neq 2$ (resp. $\neq 2,3$). In particular our result on complex Enriques surfaces improves a result of Torres-López and Zamora by removing a condition on Clifford index. Together with the results of Camere and Caucci--Lahoz, it implies that $M_L$ is stable with respect to $L$ for an ample and globally generated line bundle $L$ on any smooth minimal co…
In this paper we describe the Frobenius pull-backs of the syzygy bundles $Syz_C(X^a, Y^a, Z^a)$, $a \geq 1$, on the projective Fermat curve C of degree n in characteristics coprime to n, either by giving their strong Harder-Narasimhan Filtration if $Syz_C(X^a, Y^a, Z^a)$ is not strongly semistable or in the strongly semistable case by their periodicity behavior. Moreover, we apply these results to Hilbert-Kunz functions, to find Frobenius periodicities of the restricted cotangent bundle $Ω_{P^2}|_C$ of arbitrary length and a problem of Brenner regarding primes with strongly semistable reductio…
Let $C$ be a smooth complex irreducible projective curve of genus $g$ with general moduli, and let $(L,H^0(L))$ be a generated complete linear series of type $(d,r+1)$ over $C$. The syzygy bundle, denoted by $M_L$, is the kernel of the evaluation map $H^0(L)\otimes\mathcal O_C\to L$. In this work we have a double purpose. The first one is to give new examples of stable syzygy bundles admitting theta divisor over general curves. We prove that if $M_L$ is strictly semistable then $M_L$ admits reducible theta divisor. The second purpose is to study the cohomological semistability of $M_L$, and in…
We study (slope-)stability properties of syzygy bundles on a projective space P^N given by ideal generators of a homogeneous primary ideal. In particular we give a combinatorial criterion for a monomial ideal to have a semistable syzygy bundle. Restriction theorems for semistable bundles yield the same stability results on the generic complete intersection curve. From this we deduce a numerical formula for the tight closure of an ideal generated by monomials or by generic homogeneous elements in a generic two-dimensional complete intersection ring.
We investigate degenerations of syzygy bundles on plane curves over $p$-adic fields. We use Mustafin varieties which are degenerations of projective spaces to find a large family of models of plane curves over the ring of integers such that the special fiber consists of multiple projective lines meeting in one point. On such models we investigate vector bundles whose generic fiber is a syzygy bundle and which become trivial when restricted to each projective line in the special fiber. Hence these syzygy bundles have strongly semistable reduction. This investigation is motivated by the fundamen…
We are concerned with the problem of the stability of the syzygy bundles associated to base point free vector spaces of forms of the same degree d on the projective space of dimension n. We deduce directly, from Mark Green's vanishing theorem for Koszul cohomology, that any such bundle is stable if his rank is sufficiently high. With a similar argument, we prove the semistability of a certain syzygy bundle on a general complete intersection of hypersurfaces of degree d in the projective space. This answers a question of H. Flenner (1984). We then give an elementary proof of H. Brenner's criter…
It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle $E_{d_1,...,d_n}$ on $\mathbb{P}^N$ defined as the kernel of a general epimorphism \[ϕ:\mathcal{O}(-d_1)\oplus...\oplus\mathcal{O}(-d_n) \to\mathcal{O}\] is (semi)stable. In this thesis, attention is restricted to the case of syzygy bundles $\mathrm{Syz}(f_1,...,f_n)$ on $\mathbb{P}^N$ associated to $n$ generic forms $f_1,...,f_n\in K[X_0,...,X_N]$ of the same degree $d$, for ${N\ge2}$. The first goal is to prove that $\mathrm{Syz}(f_1,...,f_n)$ is stable if \[N+1\le n\le\tbinom{d+N}{N},\] except for the …
It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle $E_{d_1,..., d_n}$ on $\PP^N$ defined as the kernel of a general epimorphism $\xymatrix{ϕ:\cO(-d_1)\oplus...\oplus\cO(-d_n)\ar[r] &\cO}$ is (semi)stable. In this note, we restrict our attention to the case of syzygy bundles $E_{d,n}$ on $\PP^N$ associated to $n$ generic forms $f_1,...,f_n\in K[X_0,X_1,..., X_N]$ of the same degree $d$. Our first goal is to prove that $E_{d,n}$ is stable if $N+1\le n\le\tbinom{d+2}{2}+N-2$. This bound improves, in general, the bound $n\le d(N+1)$ given by G. Hein in \cite{…
Here we consider the set of bundles $\{V_n\}_{n\geq 1}$ associated to the plane trinomial curves $k[x,y,z]/(h)$. We prove that the Frobenius semistability behaviour of the reduction mod $p$ of $V_n$ is a function of the congruence class of $p$ modulo $2λ_h$ (an integer invariant associated to $h$). As one of the consequences of this, we prove that if $V_n$ is semistable in characteristic 0, then its reduction mod $p$ is strongly semistable, for $p$ in a Zariski dense set of primes. Moreover, for any given finitely many such semistable bundles $V_n$, there is a common Zariski dense set of such …
In char $k = p >0$, A. Langer proved a strong restriction theorem (in the style of H. Flenner) for semistable sheaves to a very general hypersurface of degree $d$, on certain varieties, with the condition that `char $k > d$'. He remarked that to remove this condition, it is enough to answer either of the following questions affirmatively: {\it For the syzygy bundle $\sV_d$ of ${\mathcal O}(d)$, is $\sV_d$ semistable for arbitrary $n, d$ and $p = {char} k$?, or is there a good estimate on $μ_{max}(\sV_d^*)$?} Here we prove that (1) the bundle $\sV_d$ is semistable, for a certain infinite set of…
We investigate the resolution of a general branched cover $α: C \to {\bf P}^1$ in its relative canonical embedding $C \subset {\bf P} E$. We conjecture that the syzygy bundles appearing in the resolution are balanced for a general cover, provided that the genus is sufficiently large compared to the degree. We prove this for the Casnati-Ekedahl bundle, or "bundle of quadrics" $F$ - the first bundle appearing in the resolution of the ideal of the relative canonical embedding. Furthermore, we prove the conjecture for all syzygy bundles in the resolution when the genus satisfies $g = 1 \mod d$.
We show that the linear syzygy spaces of elliptic normal curves, their secant varieties and of bielliptic canonical curves are spanned by geometric syzygies.
In this paper, we investigate linear systems on hyperelliptic varieties. We prove analogues of well-known theorems on abelian varieties, like Lefschetz's embedding theorem and higher k-jet embedding theorems. Syzygy or $N_p$-properties are also deduced for appropriate powers of ample line bundles.
In previous works, the authors investigated the relationships between linear stability of a generated linear series $|V|$ on a curve $C$, and slope stabillity of the vector bundle $M_{V,L} := \ker (V \otimes \mathcal{O}_C \to L)$. In particular, the second named author and L. Stoppino conjecture that, for a complete linear system $|L|$, linear (semi)stability is equivalent to slope (semi)stability of $M_V$, and the first and third named authors proved that this conjecture holds for hyperelliptic and for generic curves. In this work we provide a counterexample to this conjecture on any smooth p…
In this article we prove some strong vanishing theorems on K3 surfaces. As an aplication of them, we obtain higher syzygy results for K3 surfaces and Fano varieties.
We use cellular resolutions of monomial ideals to prove an analog of Hilbert's syzygy theorem for virtual resolutions of monomial ideals on smooth toric varieties.
The goal of this article is to study the equations and syzygies of embeddings of rational surfaces and certain Fano varieties. Given a rational surface X and an ample and base-point-free line bundle L on X, we give an optimal numerical criterion for L to satisfy property Np. This criterion turns out to be a characterization of property Np if X is anticanonical. We also prove syzygy results for adjunction bundles and a Reider type theorem for higher syzygies. For certain Fano varieties we also prove results on very ampleness and higher syzygies.
We develop a semistability algorithm for vector bundles which are given as a kernel of a surjective morphism between splitting bundles on the projective space over an algebraically closed field K. This class of bundles is a generalization of syzygy bundles. We show how to implement this algorithm in a computer algebra system. Further we give applications, mainly concerning the computation of Tannaka dual groups of stable vector bundles of degree 0 on the projective space and on certain smooth complete intersection curves. We also use our algorithm to close an open case left in a recent work of…
We prove that vector bundles give equations of cactus varieties. We derive from it that equations coming from vector bundles are not enough to define secant varieties of Veronese varieties in general.
We introduce a relativization of the secant sheaves used by Ein, Green and Lazarsfeld and apply this construction to the study of syzygies of canonical curves. As a first application, we give a simpler proof of Voisin's Theorem for general canonical curves. This completely determines the terms of the minimal free resolution of the coordinate ring of such curves. Secondly, in the case of curves of even genus, we enhance Voisin's Theorem by providing a structure theorem for the last syzygy space, resolving the Geometric Syzygy Conjecture in even genus.
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
We use the toric degeneration of Bott-Samelson varieties and the description of cohomolgy of line bundles on toric varieties to deduce vanishings results for the cohomology of lines bundles on Bott-Samelson varieties.
Based on the Brieskorn-Slodowy-Grothendieck diagram, we write the holomorphic structures (or filtrations) of the ADE Lie algebra bundles over the corresponding type ADE flag varieties, over the cotangent bundles of these flag varieties, and over the corresponding type $ADE$ singular surfaces. The main tool is the cohomology of line bundles over flag varieties and their cotangent bundles.
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 present equivalences between certain categories of vector bundles on projective varieties, namely cokernel bundles, Steiner bundles, syzygy bundles, and monads, and full subcategories of representations of certain quivers. As an application, we provide decomposability criteria for such bundles.
We generalize the results by Eisenbud and Schreyer about Ulrich bundles over Veronese varieties to Segre-Veronese varieties. We discuss the range where we have natural cohomology and we construct multigraded resolutions and monads for Ulrich bundles of any rank. Moreover we give cohomological characterizations for significant families of bundles.
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.
The automorphism group of a projective bundle P(E) over a simplicial toric variety is described when the bundle E is a direct sum of line bundles. Applications to study of moduli of complete intersections on toric varieties, including Calabi Yau m-folds and Del Pezzo surfaces, are indicated.
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$.
A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.
We show that the moduli space of rank three toric vector bundles on smooth projective toric varieties satisfies Murphy's law, that is, every singularity type of finite type arises somewhere on this space.
We obtain characterizations and structure results for homogeneous principal bundles over abelian varieties, that generalize work of Miyanishi and Mukai on homogeneous vector bundles. For this, we rely on notions and methods of algebraic transformation groups, especially observable subgroups and anti-affine groups.
We classify the Ulrich vector bundles of arbitrary rank on smooth projective varieties of minimal degree. In the process, we prove the stability of the sheaves of relative differentials on rational scrolls.
Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.
The main result of this paper concerns the positivity of the Hodge bundles of abelian varieties over global function fields. As applications, we obtain some partial results on the Tate--Shafarevich group and the Tate conjecture of surfaces over finite fields.
In this paper we characterize smooth complex projective varieties that admit a quadric bundle structure on some dense open subset in terms of the geometry of certain families of rational curves.
