No Arabic abstract
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.
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.
We show that given integers $N$, $d$ and $n$ such that ${Nge2}$, ${(N,d,n) e(2,2,5)}$, and ${N+1le nletbinom{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 ${Nge3}$ was obtained independently by Coandv{a} 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 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 $mu_{max}(sV_d^*)$?} Here we prove that (1) the bundle $sV_d$ is semistable, for a certain infinite set of integers $dgeq 0$, and (2) for arbitrary $d$, there is a good enough estimate on $mu_{max}(sV_d^*)$ in terms of $d$ and $n$. In particular one obtains Langers theorem, in arbitrary characeristic.
We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic zero such D-affine varieties are also uniruled. We also show that (apart from a few small characteristics) a smooth projective surface is D-affine if and only if it is isomorphic to either ${mathbb P}^2$ or ${mathbb P}^1times {mathbb P}^1$. In positive characteristic, a basic tool in the proof is a new generalization of Miyaokas generic semipositivity theorem.
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 [phi:mathcal{O}(-d_1)oplus...oplusmathcal{O}(-d_n) tomathcal{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_nin K[X_0,...,X_N]$ of the same degree $d$, for ${Nge2}$. The first goal is to prove that $mathrm{Syz}(f_1,...,f_n)$ is stable if [N+1le nletbinom{d+N}{N},] except for the case ${(N,n,d)=(2,5,2)}$. The second is to study moduli spaces of stable rank ${n-1}$ vector bundles on $mathbb{P}^N$ containing syzygy bundles. In a joint work with Laura Costa and Rosa Mar{i}a Miro-Roig, we prove that $N$, $d$ and $n$ are as above, then the syzygy bundle $mathrm{Syz}(f_1,...,f_n)$ is unobstructed and it belongs to a generically smooth irreducible component of dimension ${ntbinom{d+N}{N}-n^2}$, if ${Nge3}$, and ${ntbinom{d+2}{2}+ntbinom{d-1}{2}-n^2}$, if ${N=2}$. The results in chapter 3, for $Nge3$, were obtained independently by Iustin Coandu{a} in arXiv:0909.4435.