Rational Lagrangian fibrations on punctual Hilbert schemes of K3 surfaces

A rational Lagrangian fibration f on an irreducible symplectic variety V is a rational map which is birationally equivalent to a regular surjective morphism with Lagrangian fibers. By analogy with K3 surfaces, it is natural to expect that a rational Lagrangian fibration exists if and only if V has a divisor D with Bogomolov–Beauville square 0. This conjecture is proved in the case when V is the Hilbert scheme of d points on a generic K3 surface S of genus g under the hypothesis that its degree 2g−2 is a square times 2d−2. The construction of f uses a twisted Fourier–Mukai transform which induces a birational isomorphism of V with a certain moduli space of twisted sheaves on another K3 surface M, obtained from S as its Fourier–Mukai partner.     

Semistable and numerically effective principal (Higgs) bundles

We study Miyaoka-type semistability criteria for principal Higgs G-bundles E on complex projective manifolds of any dimension. We prove that E has the property of being semistable after pullback to any projective curve if and only if certain line bundles, obtained from some characters of the parabolic subgroups of G, are numerically effective. One also proves that these conditions are met for semistable principal Higgs bundles whose adjoint bundle has vanishing second Chern class.In a second part of the paper, we introduce notions of numerical effectiveness and numerical flatness for principal (Higgs) bundles, discussing their main properties. For (non-Higgs) principal bundles, we show that a numerically flat principal bundle admits a reduction to a Levi factor which has a flat Hermitian–Yang–Mills connection, and, as a consequence, that the cohomology ring of a numerically flat principal bundle with coefficients in R is trivial. To our knowledge this notion of numerical effectiveness is new even in the case of (non-Higgs) principal bundles.     

On real moduli spaces of holomorphic bundles over M-curves

Let F be a genus g curve and σ:F→F a real structure with the maximal possible number of fixed circles. We study the real moduli space N^′=Fix(σ#) where σ#:N→N is the induced real structure on the moduli space N of stable holomorphic bundles of rank 2 over F with fixed non-trivial determinant. In particular, we calculate H^?(N^′,Z) in the case of g=2, generalizing Thaddeus' approach to computing H^?(N,Z).     

Some moduli stacks of symplectic bundles on a curve are rational

Let C be a smooth projective curve of genus g?2 over a field k. Given a line bundle L on C, let Sympl2n,L be the moduli stack of vector bundles E of rank 2n on C endowed with a nowhere degenerate symplectic form up to scalars. We prove that this stack is birational to BGm×As for some s if deg(E)=n⋅deg(L) is odd and C admits a rational point P∈C(k) as well as a line bundle ξ of degree 0 with ξ⊗2?OC. It follows that the corresponding coarse moduli scheme of Ramanathan-stable symplectic bundles is rational in this case.     

Nefness of adjoint bundles for ample vector bundles of corank 3

Let be an ample vector bundle of rank on a smooth complex projective variety X of dimension n. The aim of this paper is to describe the structure of pairs as above whose adjoint bundles are not nef for . Furthermore, we give some immediate consequences of this result in adjunction theory.     

On some moduli spaces of stable vector bundles on cubic and quartic threefolds

We study certain moduli spaces of stable vector bundles of rank 2 on cubic and quartic threefolds. In many cases under consideration, it turns out that the moduli space is complete and irreducible and a general member has vanishing intermediate cohomology. In one case, all except one component of the moduli space has such vector bundles.     

The Frobenius map, rank 2 vector bundles and Kummer's quartic surface in characteristic 2 and 3

Let X be a smooth projective curve of genus g?2 defined over an algebraically closed field k of characteristic p>0. Let M_X(r) be the moduli space of semi-stable vector bundles with fixed trivial determinant. The relative Frobenius map induces by pull-back a rational map . We determine the equations of V in the following two cases (1) (g,r,p)=(2,2,2) and X nonordinary with Hasse-Witt invariant equal to 1 (see math.AG/0005044 for the case X ordinary), and (2) (g,r,p)=(2,2,3). We also show the existence of base points of V, i.e., semi-stable bundles E such that F∗E is not semi-stable, for any triple (g,r,p).     

Branes on the singular locus of the Hitchin system via Borel and other parabolic subgroups

We study the mirror symmetry on the singular locus of the Hitchin system at two levels. First, by covering it by (supports of) (BBB)-branes, corresponding to Higgs bundles reducing their structure group to the Levi subgroup of some parabolic subgroup P, whose conjectural dual (BAA)-branes we describe. Heuristically speaking, the latter are given by Higgs bundles reducing their structure group to the unipotent radical of P. Second, when P is a Borel subgroup, we are able to construct a family of hyperholomorphic bundles on the (BBB)-brane and study the variation of the dual under this choice. We give evidence of both families of branes being dual under mirror symmetry via an integral functor induced by Fourier–Mukai in the moduli stack of Higgs bundles.     

Globally generated vector bundles on the Segre threefold with Picard number two

We classify globally generated vector bundles on with small first Chern class, i.e. , . Our main method is to investigate the associated smooth curves to globally generated vector bundles via the Hartshorne–Serre correspondence.     

Qregularity and an extension of the Evans-Griffiths criterion to vector bundles on quadrics

Here we define the concept of Qregularity for coherent sheaves on a smooth quadric hypersurface Q_n⊂Pⁿ⁺¹. In this setting we prove analogs of some classical properties. We compare the Qregularity of coherent sheaves on Q_n with the Castelnuovo-Mumford regularity of their extension by zero in Pⁿ⁺¹. We also classify the coherent sheaves with Qregularity −∞. We use our notion of Qregularity in order to prove an extension of the Evans-Griffiths criterion to vector bundles on quadrics. In particular, we get a new and simple proof of Knörrer’s characterization of ACM bundles.     

Local degeneration of the moduli space of vector bundles and factorization of rank two theta functions. I

Supported in part by NSF Mathematics Postdoctoral Fellowship DMS-9007255     

On a Relative Fourier–Mukai Transform on Genus One Fibrations

We study relative Fourier–Mukai transforms on genus one fibrations with section, allowing explicitly the total space of the fibration to be singular and non-projective. Grothendieck duality is used to prove a skew–commutativity relation between this equivalence of categories and certain duality functors. We use our results to explicitly construct examples of semi-stable sheaves on degenerating families of elliptic curves.     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

Rank two aCM bundles on the del Pezzo fourfold of degree 6 and its general hyperplane section

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?{\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.     

Globally generated vector bundles on with

One classifies the globally generated vector bundles on with the first Chern class c₁ = 3. The case c₁ = 1 is very easy, the case c₁ = 2 was done in [42], the case c₁ = 3, rank =2 was settled in [21] and the case c₁ ≤ 5, rank = 2 in [10]. Our work is based on Serre's theorem relating vector bundles of rank = 2 with codimension 2 lci subschemes and its generalization for higher ranks, considered firstly by Vogelaar in [48].