In this paper we show that on a general hypersurface of degree $r=3,4,5,6$ in ${\bf P}^5$ a rank 2 vector bundle $E$ splits if and only if $h^1 E(n)=h^2 E(n)=0$ for all $n \in \bf Z$.
Let X be a smooth projective hypersurface. In this note we show that any six generated arithmetically Cohen-Macaulay vector bundle over X splits if dim X >= 6.
We investigate the arrangement of hypersurfaces on a nonsingular varieties whose associated logarithmic vector bundle is arithmetically Cohen-Macaulay (for short, aCM), and prove that the projective space is the only smooth complete intersection with Picard rank one that admits an aCM logarithmic vector bundle. We also obtain a number of results on aCM logarithmic vector bundles over several specific varieties. As an opposite situation we investigate the Torelli-type problem that the logarithmic cohomology determines the arrangement.
Let $X$ be a smooth quintic hypersurface in $\mathbb{P}^3$, let $C$ be a smooth hyperplane section of $X$, and let $H=\mathcal{O}_X(C)$. In this paper, we give a necessary and sufficient condition for the line bundle given by a non-zero effective divisor on $X$ to be initialized and aCM with respect to $H$.
Let $X$ be a smooth projective hypersurface. In this note we show that any rank 3 arithmetically Cohen-Macaulay vector bundle over $X$ splits when dim $X \geq 7$. We also find a splitting criterion for rank 4 arithmetically Cohen-Macaulay vector bundles on $X$ when dim $X \geq 9$.
We prove that on a nonsingular quadric hypersurface Q in $P^4_k$ even CI liaison classes of ACM curves are in bijective correspondence with the stable equivalence classes (up to shift in degree) of maximal Cohen-Macaulay graded modules over the coordinate ring R of Q, which in turn, are in bijective correspondence with stable equivalence classes (up to shift in degree) of ACM sheaves on Q . In the situation of a nonsingular quadric hypersurface Q in $P^4_k$ work of Knorrer shows that there is a unique nonfree indecomposable MCM module over R. We also describe the ACM sheaf corresponding to thi…
Let $X$ be a smooth quartic hypersurface in $\mathbb{P}^3$. By the Brill-Noether theory of curves on K3 surfaces, if a rank 2 aCM bundle on $X$ is globally generated, then it is the Lazarsfeld-Mukai bundle $E_{C,Z}$ associated with a smooth curve $C$ on $X$ and a base point free pencil $Z$ on $C$. In this paper, we will focus on the classification of such bundles on $X$ to investigate aCM bundles of rank 2 on $X$. Concretely, we will give a necessary condition for a rank 2 vector bundle of type $E_{C,Z}$ to be indecomposable initialized and aCM, in the case where the class of $C$ in Pic($X$) i…
In this paper, we characterize homogeneous arithmetically Cohen-Macaulay (ACM) bundles over isotropic Grassmannians of types $B$, $C$ and $D$ in term of step matrices. We show that there are only finitely many irreducible homogeneous ACM bundles by twisting line bundles over these isotropic Grassmannians. So we classify all homogeneous ACM bundles over isotropic Grassmannians combining the results on usual Grassmannians by Costa and Mir{ó}-Roig. Moreover, if the irreducible initialized homogeneous ACM bundles correspond to some special highest weights, then they can be characterized by succinc…
ACM rank 1 bundles on del Pezzo surfaces are classified in terms of the rational normal curves that they contain. A complete list of ACM line bundles is provided. Moreover, for any del Pezzo surface $X$ of degree less or equal than six and for any $n\geq 2$ we construct a family of dimension $\geq n-1$ of non-isomorphic simple ACM bundles of rank $n$ on $X$.
Let $π:X\rightarrow \mathbb{P}^2$ be a K3 surface of genus 2 and $L=π^{\ast}\mathcal{O}_{\mathbb{P}^2}(3)$, and assume that $π^{\ast}\mathcal{O}_{\mathbb{P}^2}(1)$ is ample as a line bundle on $X$. In this paper, we give a numerical characterization of initialized and ACM line bundles on $X$ with respect to $L$ and construct families of semistable indecomposable ACM bundles of higher rank, by using extensions of ACM line bundles.
Let $X \subset \mathbb P^3$ be a smooth hypersurface of degree $6$ over complex numbers. In this paper, we give a characterization of initialized and ACM bundles of rank $1$ on $X$ with respect to the line bundle given by a smooth hyperplane section of $X$.
The aim of this paper is to classify indecomposable rank 2 arithmetically Cohen-Macaulay (ACM) bundles on compete intersection Calabi-Yau (CICY) threefolds and prove the existence of some of them. New geometric properties of the curves corresponding to rank 2 ACM bundles (by Serre correspondence) are obtained. These follow from minimal free resolutions of curves in suitably chosen fourfolds (containing Calabi-Yau threefolds as hypersurfaces). Also the existence of an indecomposable vector bundle of higher rank on a CICY threefold of type (2,4) is proved.
We give a partial positive answer to a conjecture of Tyurin (\cite {Tyu}). Indeed we prove that on a general quintic hypersurface of $\Pj^4$ every arithmetically Cohen--Macaulay rank 2 vector bundle is infinitesimally rigid.
Previously, many people have studied a stability of vector bundles of given rank and Chern classes on algebraic varieties. Recently, we are interested in the slope stability of the rank 2 Lazarsfeld-Mukai bundle $E_{C,Z}$ on a K3 surface $X$ associated to a very ample smooth curve $C$ on $X$ and a base point free pencil $Z$ on $C$ with respect to $\mathcal{O}_X(C)$. In this paper, we will give a sufficient condition for such a Lazarsfeld-Mukai bundle $E_{C,Z}$ to be $\mathcal{O}_X(C)$-slope semistable by ACM line bundles with respect to $\mathcal{O}_X(C)$.
We study ACM bundles on cubic fourfolds containing a plane exploiting the geometry of the associated quadric fibration and Kuznetsov's treatment of their bounded derived categories of coherent sheaves. More precisely, we recover the K3 surface naturally associated to the fourfold as a moduli space of Gieseker stable ACM bundles of rank four.
In this paper, we call a sub-scheme of dimension one in $\mathbb{P}^3$ a curve. It is well known that the arithmetic genus and the degree of an aCM curve $D$ in $\mathbb{P}^3$ is computed by the $h$-vector of $D$. However, for a given curve $D$ in $\mathbb{P}^3$, the two invariants of $D$ do not tell us whether $D$ is aCM or not. In this paper, we give a classification of curves on a smooth quintic hypersurface in $\mathbb{P}^3$ which are not aCM.
I show that on any smooth, projective ordinary curve of genus at least two and a projective embedding, there is a natural example of a stable Ulrich bundle for this embedding: namely the sheaf $B^1_X$ of locally exact differentials twisted by $Ø_X(1)$ given by this embedding and in particular there exist ordinary varieties of any dimension which carry Ulrich bundles. In higher dimensions, assuming $X$ is Frobenius split variety I show that $B^1_X$ is an ACM bundle and if $X$ is also a Calabi-Yau variety and $p>2$ then $B^1_X$ is not a direct sum of line bundles. In particular I show that $B^1_…
We study ACM bundles on cubic threefolds by using derived category techniques. We prove that the moduli space of stable Ulrich bundles of any rank is always non-empty by showing that it is birational to a moduli space of semistable torsion sheaves on the projective plane endowed with the action of a Clifford algebra. We describe this birational isomorphism via wall-crossing in the space of Bridgeland stability conditions, in the example of instanton sheaves of minimal charge.
In this paper, we study arithmetically Cohen--Macaulay (ACM) bundles on homogeneous varieties $G/P$. Indeed we characterize the homogeneous ACM bundles on $G/P$ of Picard rank one in terms of highest weights. This is a generalization of the result on $G/P$ of classical types presented by Costa and Miró-Roig for type $A$, and Du, Fang, and Ren for types $B,C$ and $D$. As a consequence we prove that only finitely many irreducible homogeneous ACM bundles, up to twisting line bundles, exist over all such $G/P$. Moreover, we derive the list of the highest weights of the irreducible homogeneous ACM …
We use certain special prehomogeneous representations of algebraic groups in order to construct aCM vector bundles, possibly Ulrich, on certain families of hypersurfaces. Among other results, we show that a general cubic hypersurface of dimension seven admitsan indecomposable Ulrich bundle of rank nine, and that a general cubic fourfold admits an unsplit aCM bundle of rank six.
An ACM bundle on a polarized algebraic variety is defined as a vector bundle whose intermediate cohomology vanishes. We are interested in ACM bundles of rank one with respect to a very ample line bundle on a K3 surface. In this paper, we give a necessary and sufficient condition for a non-trivial line bundle $\mathcal{O}_X(D)$ on $X$ with $|D|=\emptyset$ and $D^2\geq L^2-6$ to be an ACM and initialized line bundle with respect to $L$, for a given K3 surface $X$ and a very ample line bundle $L$ on $X$.
In this paper we contribute to the construction of families of arithmetically Cohen-Macaulay (aCM) indecomposable vector bundles on a wide range of polarized surfaces $(X,\Oo_X(1))$ for $\Oo_X(1)$ an ample line bundle. In many cases, we show that for every positive integer $r$ there exists a family of indecomposable aCM vector bundles of rank $r$, depending roughly on $r$ parameters, and in particular they are of \emph{wild representation type}. We also introduce a general setting to study the complexity of a polarized variety $(X,\Oo_X(1))$ with respect to its category of aCM vector bundles. …
Let $X$ be any smooth prime Fano threefold of degree $2g-2$ in $\mathbb{P}^{g+1}$, with $g \in \{3,\ldots,10,12\}$. We prove that for any integer $d$ satisfying $\left\lfloor \frac{g+3}{2} \right\rfloor \leq d \leq g+3$ the Hilbert scheme parametrizing smooth irreducible elliptic curves of degree $d$ in $X$ is nonempty and has a component of dimension $d$, which is furthermore reduced except for the case when $(g,d)=(4,3)$ and $X$ is contained in a singular quadric. Consequently, we deduce that the moduli space of rank--two slope--stable $ACM$ bundles $\mathcal{F}_d$ on $X$ such that $\det(\ma…
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 describe a vector bundle $\sE$ on a smooth $n$-dimensional ACM variety in terms of its cohomological invariants $H^i_*(\sE)$, $1\leq i \leq n-1$, and certain graded modules of "socle elements" built from $\sE$. In this way we give a generalization of the Horrocks correspondence. We prove existence theorems where we construct vector bundles from these invariants and uniqueness theorems where we show that these data determine a bundle up to isomorphisms. The cases of the quadric hypersurface in $\mathbb P^{n+1}$ and the Veronese surface in $\mathbb P^5$ are considered in more detail.
We show that the derived category of a curve is embedded into the derived category of the moduli space of vector bundles on the curve of coprime rank and degree. We also generalize the semiorthogonal decomposition constructed by Narasimhan and Belmans-Mukhopadhyay. Finally, we produce a one-dimensional family of ACM bundles over the moduli space.
Using an explicit resolution of the diagonal for the variety V_5, we provide cohomological characterizations of the universal and quotient bundles. A splitting criterion for bundles over V_5 is also proved. The presentation of semistable aCM (i.e. with no intermediate cohomology) bundles is shown, together with a resolution-theoretic classification of low rank aCM bundles.
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 …
Given a smooth non-hyperelliptic prime Fano threefold X, we prove the existence of all rank 2 ACM vector bundles on X by deformation of semistable sheaves. We show that these bundles move in generically smooth components of the corresponding moduli space. We give applications to pfaffian representations of quartic threefolds in P^4 and cubic hypersurfaces of a smooth quadric of P^5.
In this paper we prove that, for every $r \geq 2$, the moduli space $M^s_X(r;c_1,c_2)$ of rank $r$ stable vector bundles with Chern classes $c_1=rH$ and $c_2=(3r^2-r)/2$ on a nonsingular cubic surface $X \subset \mathbb{P}^3$ contains a nonempty smooth open subset formed by ACM bundles, i.e. vector bundles with no intermediate cohomology. The bundles we consider for this study are extremal for the number of generators of the corresponding module (these are known as Ulrich bundles), so we also prove the existence of indecomposable Ulrich bundles of arbitrarily high rank on $X$.
Let $F\subseteq\mathbb{P}^3$ be a smooth determinantal quartic surface which is general in the Nöther-Lefschetz sense. In the present paper we give a complete classification of locally free sheaves $\mathcal{E}$ of rank $2$ on $F$ such that $h^1\big(F,\mathcal{E}(th)\big)=0$ for $t\in\mathbb{Z}$.
The goal of this paper is to start a study of aCM and Ulrich sheaves on non-integral projective varieties. We show that any aCM vector bundle of rank two on the double plane is a direct sum of line bundles. As a by-product, any aCM vector bundle of rank two on a sufficiently high dimensional quadric hypersurface also splits. We consider aCM and Ulrich vector bundles on a multiple hyperplanes and prove the existence of such bundles that do not split, if the multiple hyperplane is linearly embedded into a sufficiently high dimensional projective space. Then we restrict our attention to the doubl…
Let P^n be the projective space of dimension n on an algebraically closed field of characteristic 0 and F be the image of the Segre embedding of P^1xP^1xP^1 inside P^7. In the present paper we deal with the moduli spaces of locally free sheaves E on F of rank 2 with h^i(F,E(t))=0 for i=1,2 and each integer t.
Recently it has been proved that any arithmetically Cohen-Macaulay (ACM) bundle of rank two on a general, smooth hypersurface of degree at least three and dimension at least four is a sum of line bundles. When the dimension of the hypersurface is three, a similar result is true provided the degree of the hypersurface is at least six. We extend these results to complete intersection subvarieties by proving that any ACM bundle of rank two on a general, smooth complete intersection subvariety of sufficiently high multi-degree and dimension at least four splits. We also obtain partial results in t…
In the present paper we completely classify locally free sheaves of rank $2$ with vanishing intermediate cohomology modules on the image of the Segre embedding $\mathbb{P}^2\times\mathbb{P}^2\subseteq\mathbb{P}^8$ and its general hyperplane sections. Such a classification extends similar already known results regarding del Pezzo varieties with Picard numbers $1$ and $3$ and dimension at least $3$.
Let $F\subseteq\mathbb{P}^3$ be a smooth quartic surface and let $\mathcal{O}_F(h):=\mathcal{O}_{\mathbb{P}^3}(1)\otimes\mathcal{O}_F$. In the present paper we classify locally free sheaves $\mathcal{E}$ of rank $2$ on $F$ such that $c_1(\mathcal{E})=\mathcal{O}_F(2h)$, $c_2(\mathcal{E})=8$ and $h^1\big(F,\mathcal{E}(th)\big)=0$ for $t\in\mathbb{Z}$. We also deal with their stability.
Let k be an algebraically closed field of characteristic 0. A del Pezzo threefold F with maximal Picard number is isomorphic to P^1xP^1xP^1, where P^1 is the projective line over k. In the present paper we completely classify locally free sheaves of rank 2 with vanishing intermediate cohomology over such an F. Such a classification extends similar results proved by E. Arrondo and L. Costa regarding del Pezzo threefolds with Picard number 1.
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 prove that any rank two arithmetically Cohen-Macaulay vector bundle on a general hypersurface of degree at least three in $\mathbb{P}^5$ must be split.
We prove that any rank two arithmetically Cohen-Macaulay vector bundle on a general hypersurface of degree at least six in projective four space must be split.
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.
Let $X$ be a smooth projective hypersurface of dimension $\geq 5$ and let $E$ be an arithmetically Cohen-Macaulay bundle on $X$ of any rank. We prove that $E$ splits as a direct sum of line bundles if and only if $H^i_*(X, \wedge^2 E) = 0$ for $i = 1,2,3,4$. As a corollary this result proves a conjecture of Buchweitz, Greuel and Schreyer for the case of rank 3 arithmetically Cohen-Macaulay bundles.
We show that Horrocks' criterion for the splitting of rank two vector bundles in P^3 can be extended, with some assumptions on the Chern classes, on non singular hypersurfaces in P^4. Extension of other splitting criterion are studied.
We classify a special type of arithmetically Cohen-Macaulay sheaves of rank two on reducible and reduced quadric hypersurfaces. As a consequence we show that a reducible and reduced quadric surface is of wild type.
Verlinde bundles are vector bundles $V_k$ arising as the direct image $π_*(\mathcal L^{\otimes k})$ of polarizations of a proper family of schemes $π\colon \mathfrak X \to S$. We study the splitting behavior of Verlinde bundles in the case where $π$ is the universal family $\mathfrak X \to |\mathcal O(d)|$ of hypersurfaces of degree $d$ in $\mathbb P^n$ and calculate the cohomology class of the locus of jumping lines of the Verlinde bundles $V_{d+1}$ in the cases $n=2,3$.