Seminormal Varieties,Torsionfree Sheaves,and Picard groups

We give a construction of torsionfree sheaves on a seminormal variety Y using torsionfree sheaves on the normalization X and the non-normal locus W. We use it to find a relation between Picard groups of X, Y, and W. We apply it to determine the Picard groups of the generalized Jacobian, the compactified Jacobian and some subschemes associated to the moduli spaces of torsionfree sheaves of rank 2 and odd degree on a nodal curve.     

Lazarsfeld-Mukai reflexive sheaves and their stability

Consider an ample and globally generated line bundle L on a smooth projective variety X of dimension N≥2 over ?. Let D be a smooth divisor in the complete linear system of L. We construct reflexive sheaves on X by an elementary transformation of a trivial bundle on X along certain globally generated torsion-free sheaves on D. The dual reflexive sheaves are called the Lazarsfeld-Mukai reflexive sheaves. We prove the μ_L-(semi)stability of such reflexive sheaves under certain conditions.     

Vector bundles with a fixed determinant on an irreducible nodal curve

LetM be the moduli space of generalized parabolic bundles (GPBs) of rankr and degree dona smooth curveX. LetM _−L be the closure of its subset consisting of GPBs with fixed determinant− L. We define a moduli functor for whichM _−L is the coarse moduli scheme. Using the correspondence between GPBs onX and torsion-free sheaves on a nodal curveY of whichX is a desingularization, we show thatM _−L can be regarded as the compactified moduli scheme of vector bundles onY with fixed determinant. We get a natural scheme structure on the closure of the subset consisting of torsion-free sheaves with a fixed determinant in the moduli space of torsion-free sheaves onY. The relation to Seshadri-Nagaraj conjecture is studied.     

Moduli of stable sheaves on a smooth quadric and a Brill-Noether locus

We prove that the moduli space of stable sheaves of rank 2 with the Chern classes c₁=O_Q(1,1) and c₂=2 on a smooth quadric Q in P₃ is isomorphic to P₃. Using this identification, we give a new proof that a Brill-Noether locus, defined as the closure of the stable bundles with at least three linearly independent sections, on a non-hyperelliptic curve of genus 4, is isomorphic to the Donagi-Izadi cubic threefold.     

Compactified Jacobians of curves with spine decompositions

A curve, that is, a connected, reduced, projective scheme of dimension 1 over an algebraically closed field, admits two types of compactifications of its (generalized) Jacobian: the moduli schemes of P-quasistable torsion-free, rank-1 sheaves and Seshadri’s moduli schemes of S-equivalence classes of semistable torsion-free, rank-1 sheaves. Both are constructed with respect to a choice of polarization. The former are fine moduli spaces which were shown to be complete; here we show that they are actually projective. The latter are just coarse moduli spaces. Here we give a sufficient condition for when these two types of moduli spaces are equal. Eduardo Esteves is Supported by CNPq, Processos 301117/04-7 and 470761/06-7, by CNPq/FAPERJ, Processo E-26/171.174/2003, and by the Institut Mittag–Leffler (Djursholm, Sweden).     

Approximate Hermitian–Yang–Mills structures and semistability for Higgs bundles II: Higgs sheaves and admissible structures

We study the basic properties of Higgs sheaves over compact Kähler manifolds and establish some results concerning the notion of semistability; in particular, we show that any extension of semistable Higgs sheaves with equal slopes is semistable. Then, we use the flattening theorem to construct a regularization of any torsion-free Higgs sheaf and show that it is in fact a Higgs bundle. Using this, we prove that any Hermitian metric on a regularization of a torsion-free Higgs sheaf induces an admissible structure on the Higgs sheaf. Finally, using admissible structures we prove some properties of semistable Higgs sheaves.     

Maps into projective spaces

We compute the cohomology of the Picard bundle on the desingularization $\tilde{J}^d(Y)$ of the compactified Jacobian of an irreducible nodal curve Y. We use it to compute the cohomology classes of the Brill–Noether loci in $\tilde{J}^d(Y)$ . We show that the moduli space M of morphisms of a fixed degree from Y to a projective space has a smooth compactification. As another application of the cohomology of the Picard bundle, we compute a top intersection number for the moduli space M confirming the Vafa–Intriligator formulae in the nodal case.     

Cohomology of semi 1-coronae and extension of analytic subsets

We deal with the cohomology of semi 1-coronae. Semi 1-coronae are domains whose boundary is the union of a Levi flat part, a 1-pseudoconvex part and a 1-pseudoconcave part. Using the main result in [C. Laurent-Thiébaut, J. Leiterer, Uniform estimates for the Cauchy-Riemann equation on q-concave wedges, in: Colloque d'Analyse Complexe et Géométrie, Marseille, 1992, Astérisque 217 (7) (1993) 151-182], we prove a bump lemma for compact semi 1-coronae in Cn and then, applying Andreotti-Grauert theory, we get a cohomology finiteness theorem for coherent sheaves whose depth is at least 3. As an application we get an extension theorem for coherent sheaves and analytic subsets.     

Star operations on modules

We present a theory of (semi)star operations for torsion-free modules. This extends the analogous theory of star operations on domains as in [R. Gilmer, Multiplicative Ideal Theory, M. Dekker, New York, 1972] and its generalization to semistar operations studied in [A. Okabe, R. Matsuda, Semistar operations on integral domains, Math. J. Toyama Univ. 17 (1994) 1–21], and recovers some closure operations defined on modules. We investigate some properties of (semi)star operations on a given module over a domain D and their relation with the properties of some classes of semistar operations induced on D.Among other things, this leads to a connection between semistar operations on the D-module and localizing systems on the domain D.     

Some Examples of Tilt-Stable Objects on Threefolds

We investigate properties and describe examples of tilt-stable objects on a smooth complex projective threefold. We give a structure theorem on slope semistable sheaves of vanishing discriminant, and describe certain Chern classes for which every slope semistable sheaf yields a Bridgeland semistable object of maximal phase. Then, we study tilt stability as the polarization ω gets large, and give sufficient conditions for tilt-stability of sheaves of the following two forms: 1) twists of ideal sheaves or 2) torsion-free sheaves whose first Chern class is twice a minimum possible value.     

Sklyanin algebras and Hilbert schemes of points

We construct projective moduli spaces for torsion-free sheaves on noncommutative projective planes. These moduli spaces vary smoothly in the parameters describing the noncommutative plane and have good properties analogous to those of moduli spaces of sheaves over the usual (commutative) projective plane P².The generic noncommutative plane corresponds to the Sklyanin algebra S=Skl(E,σ) constructed from an automorphism σ of infinite order on an elliptic curve E⊂P². In this case, the fine moduli space of line bundles over S with first Chern class zero and Euler characteristic 1−n provides a symplectic variety that is a deformation of the Hilbert scheme of n points on P²?E.     

Configurations in abelian categories—I: Basic properties and moduli stacks

This is the first in a series of papers on configurations in an abelian category A. Given a finite partially ordered set (I,?), an (I,?)-configuration(σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or π(J,K):σ(J)→σ(K) in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects, and are useful for studying stability conditions on A.We define and motivate the idea of configurations, and explain some natural operations upon them—subconfigurations, quotient configurations, substitution, refinements and improvements. Then we study moduli spaces of (I,?)-configurations in A, and natural morphisms between them, using the theory of Artin stacks. We prove well-behaved moduli stacks exist when A is the abelian category of coherent sheaves on a projective scheme P, or of representations of a quiver Q.In the sequels, given a stability condition (τ,T,?) on A, we will show the moduli spaces of τ-(semi)stable objects or configurations are constructible subsets in the moduli stacks of all objects or configurations. We associate infinite-dimensional algebras of constructible functions to a quiver Q using the method of Ringel-Hall algebras, and define systems of invariants of P that ‘count’ τ-(semi)stable coherent sheaves on P and satisfy interesting identities.     

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.     

Topology of the compactified Jacobians of singular curves

We compute the Euler number of the compactified Jacobian of a curve whose minimal unibranched normalization has only plane irreducible singularities with characteristic Puiseux exponents (p, q), (4, 2q, s), (6, 8, s), or (6, 10, s). Further, we derive a combinatorial method to compute the Betti numbers of the compactified Jacobian of an unibranched rational curve with singularities like above. Some of the Betti numbers can be stated explicitly.     

Perverse coherent sheaves and the geometry of special pieces in the unipotent variety

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U⊂X be an open set whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent intermediate extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a much broader class of perversities than has previously been known. We also introduce a derived category version of the coherent intermediate extension functor.Under suitable hypotheses, we introduce a construction (called “S₂-extension”) in terms of perverse coherent sheaves of algebras on X that takes a finite morphism to U and extends it in a canonical way to a finite morphism to X. In particular, this construction gives a canonical “S₂-ification” of appropriate X. The construction also has applications to the “Macaulayfication” problem, and it is particularly well-behaved when X is Gorenstein.Our main goal, however, is to address a conjecture of Lusztig on the geometry of special pieces (certain subvarieties of the unipotent variety of a reductive algebraic group). The conjecture asserts in part that each special piece is the quotient of some variety (previously unknown for the exceptional groups and in positive characteristic) by the action of a certain finite group. We use S₂-extension to give a uniform construction of the desired variety.     

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.     

Locally finitely presented categories of sheaves

Let A be a locally finitely presented Grothendieck category. It is shown that a class of localizations of A in the sense of Bousfield is again locally finitely presented. The criterion is applied to torsion-free classes in A, sheaves and separated presheaves on a generalized ringed space, and representations of partially ordered sets.     

Nonabelian Jacobian of smooth projective surfaces-a survey

The nonabelian Jacobian J(X;L,d) of a smooth projective surface X is inspired by the classical theory of Jacobian of curves.It is built as a natural scheme interpolating between the Hilbert scheme X [d] of subschemes of length d of X and the stack M X(2,L,d) of torsion free sheaves of rank 2 on X having the determinant OX(L) and the second Chern class(= number) d.It relates to such influential ideas as variations of Hodge structures,period maps,nonabelian Hodge theory,Homological mirror symmetry,perverse sheaves,geometric Langlands program.These relations manifest themselves by the appearance of the following structures on J(X;L,d):1) a sheaf of reductive Lie algebras;2)(singular) Fano toric varieties whose hyperplane sections are(singular) Calabi-Yau varieties;3) trivalent graphs.This is an expository paper giving an account of most of the main properties of J(X;L,d) uncovered in Reider 2006 and ArXiv:1103.4794v1.     

Generalized parabolic sheaves on an integral projective curve

We extend the notion of a parabolic vector bundle on a smooth curve to define generalized parabolic sheaves (GPS) on any integral projective curve X. We construct the moduli spacesM(X) of GPS of certain type onX. IfX is obtained by blowing up finitely many nodes inY then we show that there is a surjective birational morphism from M(X) to M (Y). In particular, we get partial desingularisations of the moduli of torsion-free sheaves on a nodal curveY.     

Stability and Fourier–Mukai transforms on elliptic fibrations

We systematically develop Bridgeland's [7] and Bridgeland–Maciocia's [10] techniques for studying elliptic fibrations, and identify criteria that ensure 2-term complexes are mapped to torsion-free sheaves under a Fourier–Mukai transform. As an application, we construct an open immersion from a moduli of stable complexes to a moduli of Gieseker stable sheaves on elliptic threefolds. As another application, we give various 1–1 correspondences between fibrewise semistable torsion-free sheaves and codimension-1 sheaves on Weierstrass surfaces.