scispace - formally typeset
Search or ask a question
Journal ArticleDOI

Schwarzenberger bundles on smooth projective varieties

TL;DR: Schwarzberger bundles on smooth projective varieties were introduced in this article, and the notions of jumping subspaces and jumping pairs of (F 0, O X ) -Steiner bundles were defined.
About: This article is published in Journal of Pure and Applied Algebra.The article was published on 2016-09-01 and is currently open access. It has received 2 citations till now.

Summary (2 min read)

Introduction

  • Steiner vector bundles on projective spaces were first defined by Dolgachev and Kapranov in [DK93] as vector bundles E fitting in an exact sequence of the form 0→ OPn(−1)s → OtPn → E → 0.
  • Next the authors outline the structure of the paper.
  • In Section 4 the authors obtain an upper bound for the dimension of the jumping variety by studying its tangent space at a fixed jumping pair (see Theorem 4.1).
  • Parts of this work were done in UCM-Madrid, IST-Lisbon and UNICAMPCampinas.

1 Steiner bundles on smooth projective varieties

  • In this section the authors recall the definition of Steiner bundles on smooth projective varieties introduced in [MRS09] and they study some of their properties needed in the sequel.
  • Observe that H0(F∨0 ) is globally generated and is the set of conics that passes through three points.
  • This interpretation will play an essential role for studying Schwarzenberger bundles on X. Proposition 1.5.
  • Then the following properties are equivalent: (i) ϕ is injective.
  • This represents a different and challenging problem in the study of vector bundles and in this paper the authors will not deal with it.

2 Generalized Schwarzenberger on smooth projective vari-

  • The authors goal in this section is to generalize Schwarzenberger bundles on the projective space and on the Grassmann variety G(k, n), as defined in [Arr10] and [AM14], respectively, to any smooth projective variety X. We first recall the definition of Schwarzenberger bundles on G(k, n), following [AM14].the authors.the authors.
  • Given any x ∈ X, the composition (F0)x → H0(ψ∗U∨) of the first two maps (on the second factor) is obviously injective.
  • This construction allows us to generalize the notion of a Schwarzenberger bundle to any smooth projective variety.

4 The tangent space of the jumping variety

  • The authors result will allow us to classify in the next section all Steiner bundles such that J̃(E) has maximal dimension.
  • Recall, furthermore, that Q denotes the vector bundle in (1).
  • In [AM14] the authors proved that the tangent space of the jumping variety at a jumping pair can be also described as TΛJ̃(E) = { ψ ∈ (3) Using this description, the authors are able to obtain an upper bound for the dimension of TΛJ̃(E) and hence an upper bound for the dimension of J̃(E).
  • The authors will prove the statement by defining independent elements in Hom ( Λ, T ∗ Λ ) which are also independent modulo TΛJ̃(E).
  • Observe that the linear map ϕ1 also defines an (F0,OX)-Steiner bundle Ẽ. Consider the bundle morphism Oασ(X) g // ##.

5 The classification

  • OX)-Steiner bundles whose jumping variety has maximal dimension.the authors.
  • In particular, the authors prove that they are always Schwarzenberger bundles.
  • The rest of the section will be devoted to its proof.
  • Let E be a reduced (F0,OX)-Steiner bundle on a smooth projective variety X such that the jumping locus J̃(E) has maximal dimension.

In this case f0 = 1, J̃(E) is a rational normal curve and the natural projections are

  • Moreover, J̃(E) has maximal dimension if and only if J̃(Ē) has maximal dimension, according to the respective bounds.
  • Therefore, when σ is surjective and J̃(E) has maximal dimension, all Steiner bundles on X are Schwarzenberger bundles given by the pullback of the corresponding Schwarzenberger bundle on G(f0−1,P(H0(F∨0 ))), classified in [AM14].
  • Therefore, the authors can suppose, from now on, that σ is not surjective.
  • The generic fibers of π1 and π′1, and the further first component projections given by the induction technique, have respectively dimension either 0 or at least f0.

Did you find this useful? Give us your feedback

Citations
More filters
Journal ArticleDOI
TL;DR: In this paper, the existence of monads on the projective space was shown to be irreducible under certain conditions on the cohomology sheaf of a monad.
Abstract: We generalise Floystad's theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$ giving a morphism to the projective space whose image is either arithmetically Cohen-Macaulay (ACM), or linearly normal and not contained in a quadric. We give necessary and sufficient conditions on integers $a$, $b$, and $c$ for a monad of type \[ 0\to(L^\vee)^a\to\mathcal{O}_{X}^{\,b}\to L^c\to0 \] to exist. We show that under certain conditions there exists a monad whose cohomology sheaf is simple. We furthermore characterise low-rank vector bundles that are the cohomology sheaf of some monad as above. Finally, we obtain an irreducible family of monads over the projective space and make a description on how the same method could be used on an ACM smooth projective variety $X$. We establish the existence of a coarse moduli space of low-rank vector bundles over an odd-dimensional $X$ and show that in one case this moduli space is irreducible.

5 citations

Journal ArticleDOI
TL;DR: In this paper, the existence of monads on the projective space was shown to be irreducible under certain conditions on the cohomology sheaf of a monad.
Abstract: We generalise Floystad's theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$ giving a morphism to the projective space whose image is either arithmetically Cohen-Macaulay (ACM), or linearly normal and not contained in a quadric. We give necessary and sufficient conditions on integers $a$, $b$, and $c$ for a monad of type \[ 0\to(L^\vee)^a\to\mathcal{O}_{X}^{\,b}\to L^c\to0 \] to exist. We show that under certain conditions there exists a monad whose cohomology sheaf is simple. We furthermore characterise low-rank vector bundles that are the cohomology sheaf of some monad as above. Finally, we obtain an irreducible family of monads over the projective space and make a description on how the same method could be used on an ACM smooth projective variety $X$. We establish the existence of a coarse moduli space of low-rank vector bundles over an odd-dimensional $X$ and show that in one case this moduli space is irreducible.

2 citations

References
More filters
Journal ArticleDOI
TL;DR: In this article, a vector bundle E on a smooth irreducible algebraic variety X is called a Steiner bundle of type (F 0, F 1) if it is defined by an exact sequence of the form where s, t ≥ 1 and a strongly exceptional pair of vector bundles on X such that is generated by global sections.
Abstract: Abstract A vector bundle E on a smooth irreducible algebraic variety X is called a Steiner bundle of type (F 0, F 1) if it is defined by an exact sequence of the form where s, t ≥ 1 and (F 0, F 1) is a strongly exceptional pair of vector bundles on X such that is generated by global sections. Let X be a smooth irreducible projective variety of dimension n with an n-block collection , of locally free sheaves on X which generate Db (𝒪 X –mod). We give a cohomological characterisation of Steiner bundles of type on X, where 0 ≤ a < b ≤ n and 1 ≤ i 0 ≤ αa , 1 ≤ j 0 ≤ αb .

14 citations

01 Jan 2008
TL;DR: In this paper, the authors define Steiner vector bundles on algebraic varieties, generalising the well-known Steiner vectors on projective spaces, and give sufficient cohomological conditions for a vector bundle to be a Steiner bundle.
Abstract: We define Steiner vector bundles on algebraic varieties, generalising the well-known Steiner vector bundles on projective spaces, We characterise exceptional and simple general Steiner vector bundles and we prone the stability of exceptional Steiner vector bundles defined by a pair (Ox(-1), Ox), where x is a smooth projective hypersurface q degree d, 1?d?n-1. We give sufficient cohomological conditions for a vector bundle to be a Steiner vector bundle and we give complete cohomological characterisation of some bundles on a projective spaces and on the hyperquadric Qn c Pn+1

9 citations

Posted Content
TL;DR: In this article, a generalized notion of Schwarzenberger bundles on the projective space was introduced and an ad-hoc notion of jumping subspaces of a Steiner bundle was given, which coincides with the notion of unstable hyperplane introduced by Vall\`es, Ancona and Ottaviani.
Abstract: We introduce a generalized notion of Schwarzenberger bundle on the projective space. Associated to this more general definition, we give an ad-hoc notion of jumping subspaces of a Steiner bundle on ${\Bbb P^n}$ (which in rank $n$ coincides with the notion of unstable hyperplane introduced by Vall\`es, Ancona and Ottaviani). For the set of jumping hyperplanes, we find a sharp bound for its dimension. We also classify those Steiner bundles whose set of jumping hyperplanes have maximal dimension and prove that they are generalized Schwarzenberger bundles.

9 citations

Journal ArticleDOI
TL;DR: In this article, a generalized notion of Schwarzenberger bundles on the projective space is introduced and an ad hoc notion of jumping subspaces of a Steiner bundle on P(n) is given.
Abstract: We introduce a generalized notion of Schwarzenberger bundle on the projective space. Associated to this more general definition, we give an ad hoc notion of jumping subspaces of a Steiner bundle on P(n) (which in rank n coincides with the notion of unstable hyperplane introduced by Valles, Ancona and Ottaviani). For the set of jumping hyperplanes, we find a sharp bound for its dimension. We also classify those Steiner bundles whose set of jumping hyperplanes have maximal dimension and prove that they are generalized Schwarzenberger bundles.

7 citations

Journal ArticleDOI
TL;DR: In this article, the authors introduce the definition of a Schwarzenberger bundle on a Grassmannian and generalize the concept of jumping pair for a Steiner bundle on Grassmannians.
Abstract: In this work we introduce the definition of Schwarzenberger bundle on a Grassmannian. Recalling the notion of Steiner bundle, we generalize the concept of jumping pair for a Steiner bundle on a Grassmannian. After studying the jumping locus variety and bounding its dimension, we give a complete classification of Steiner bundles with jumping locus of maximal dimension, which all are Schwarzenberger bundles

6 citations

Frequently Asked Questions (1)
Q1. What are the contributions in "Schwarzenberger bundles on smooth projective varieties" ?

The authors define Schwarzenberger bundles on smooth projective varieties and they introduce the notions of jumping subspaces and jumping pairs of ( F0, OX ) -Steiner bundles.