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.     

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.     

On the geometry of generalized quadrics

Let {f₀,…,f_n;g₀,…,g_n} be a sequence of homogeneous polynomials in 2n+2 variables with no common zeros in P²ⁿ⁺¹ and suppose that the degrees of the polynomials are such that is a homogeneous polynomial. We shall refer to the hypersurface X defined by Q as a generalized quadric. In this note, we prove that generalized quadrics in for n≥1 are reduced.     

Cube structures and intersection bundles

We define the notion of a hypercube structure on a functor between two commutative Picard categories which generalizes the notion of a cube structure on a G_m-torsor over an abelian scheme. We prove that the determinant functor of a relative scheme X/S of relative dimension n is canonically endowed with a (n+2)-cube structure. We use this result to define the intersection bundle I_X/S(L₁,…,L_n+1) of n+1 line bundles on X/S and to construct an additive structure on the functor I_X/S:PIC(X/S)ⁿ⁺¹→PIC(S). Then, we construct the resultant of n+1 sections of n+1 line bundles on X, and the discriminant of a section of a line bundle on X. Finally we study the relationship between the cube structures on the determinant functor and on the discriminant functor, and we use it to prove a polarization formula for the discriminant functor.     

Derived categories of Keum's fake projective planes

We conjecture that derived categories of coherent sheaves on fake projective n  -spaces have a semi-orthogonal decomposition into a collection of n+1$n+1$ exceptional objects and a category with vanishing Hochschild homology. We prove this for fake projective planes with non-abelian automorphism group (such as Keum's surface). Then by passing to equivariant categories we construct new examples of phantom categories with both Hochschild homology and Grothendieck group vanishing.     

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.     

Holomorphic Hermitian vector bundles over the Riemann sphere

We give a complete classification of isomorphism classes of all SU(2)-equivariant holomorphic Hermitian vector bundles on CP¹. We construct a canonical bijective correspondence between the isomorphism classes of SU(2)-equivariant holomorphic Hermitian vector bundles on CP¹ and the isomorphism classes of pairs ({Hn}_n∈Z,T), where each Hn is a finite dimensional Hilbert space with Hn=0 for all but finitely many n, and T is a linear operator on the direct sum _⊕n∈ZHn such that T(Hn)⊂Hn+2 for all n.     

On globally generated vector bundles on projective spaces

A classification is given for globally generated vector bundles E of rank k on Pⁿ having first Chern class c₁(E)=2. In particular, we get that they split if k<n unless E is a twisted null-correlation bundle on P³. In view of the well-known correspondence between globally generated vector bundles and maps to Grassmannians, we obtain, as a corollary, a classification of double Veronese embeddings of Pⁿ into a Grassmannian G(k−1,N) of (k−1)-planes in P^N.     

Recent Results on the Extension Problem of Analytic Objects

We deal with the general problem of extension of analytic objects in a complex space X. After a short presentation of the classical results we discuss some recent developments obtained when X is a semi-1-corona. Semi-1-coronae are domains C ₊ whose boundary is the union of a Levi flat part, a 1-pseudoconvex part and a 1-pseudoconcave part. Using the main result in [31], we prove a “bump lemma” for compact semi-1-coronae in 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. Received: April 2007     

On Buchsbaum bundles on quadric hypersurfaces

Let E be an indecomposable rank two vector bundle on the projective space ℙ ⁿ , n ≥ 3, over an algebraically closed field of characteristic zero. It is well known that E is arithmetically Buchsbaum if and only if n = 3 and E is a null-correlation bundle. In the present paper we establish an analogous result for rank two indecomposable arithmetically Buchsbaum vector bundles on the smooth quadric hypersurface Q _n ⊂ ℙ ⁿ⁺¹, n ≥ 3. We give in fact a full classification and prove that n must be at most 5. As to k-Buchsbaum rank two vector bundles on Q ₃, k ≥ 2, we prove two boundedness results.     

Uniform vector bundles on quadrics

Summary In this paper we prove that a rankr uniform vector bundle on a nonsingular quadricQ with dimQ≥2r+2 is a direct sum of line bundles. We study also rank 2 uniform vector bundles onP ₁×P₁. We prove that they are not all homogeneous and that any rank 2 homogeneous vector bundles onP ₁×P₁ is decomposable.

---

Riassunto In questo lavoro si dimostra che un fibrato uniforme di rangor su una quadrica non singolareQ con dimQ≥2r+2 è somma diretta di fibrati in rette. Si studiano poi i fibrati uniformi di rango 2 suP ₁×P₁. Si dimostra che non sono tutti omogenei e che ogni fibrato omogeneo di rango 2 suP ₁×P₁ è decomponibile.

---

---

The author is member of G.N.S.A.G.A. of C.N.R.     

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.     

Faisceaux sans torsion et faisceaux quasi localement libres sur les courbes multiples primitives

This paper is devoted to the study of some coherent sheaves on non reduced curves that can be locally embedded in smooth surfaces. If Y is such a curve and n is its multiplicity, then there is a filtration C₁ = C ? C₂ ? … ? C_n = Y such that C is the reduced curve associated to Y, and for every P ∈ C, if z ∈ O_Y,P is an equation of C then (zⁱ) is the ideal of C_i in O_Y,P. A coherent sheaf on Y is called torsion free if it does not have any non zero subsheaf with finite support. We prove that torsion free sheaves are reflexive. We study then the quasi locally free sheaves, i.e., sheaves which are locally isomorphic to direct sums of the O_Ci.We define an invariant for these sheaves, the complete type, and prove the irreducibility of the set of sheaves of given complete type. We study the generic quasi locally free sheaves, with applications to the moduli spaces of stable sheaves on Y (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The dimension of the Cartesian product of partial orders

If P and Q are partial orders, then the dimension of the cartesian product P × Q does not exceed the sum of the dimensions of P and Q. There are several known sufficient conditions for this bound to be attained. On the other hand, the only known lower bound for the dimension of a cartesian product is the trivial inequality dim (P × Q)⩾ max{dim P, dim Q}. In particular, if P has dimension n, we know only that n⩽dim(P×P)⩽2n. In this paper, we show that for each n⩾3, the crown S_n⁰ is an n-dimensional partial order for which dim(S_n⁰×S_n⁰)=2n−2. No example for which dim(P×Q<dimP+dimQ−2 is known.     

On geometric SDPS-sets of elliptic dual polar spaces

Let n∈N?{0,1} and let K and K^′ be fields such that K^′ is a quadratic Galois extension of K. Let Q⁻(2n+1,K) be a nonsingular quadric of Witt index n in PG(2n+1,K) whose associated quadratic form defines a nonsingular quadric Q⁺(2n+1,K^′) of Witt index n+1 in PG(2n+1,K^′). For even n, we define a class of SDPS-sets of the dual polar space DQ⁻(2n+1,K) associated to Q⁻(2n+1,K), and call its members geometric SDPS-sets. We show that geometric SDPS-sets of DQ⁻(2n+1,K) are unique up to isomorphism and that they all arise from the spin embedding of DQ⁻(2n+1,K). We will use geometric SDPS-sets to describe the structure of the natural embedding of DQ⁻(2n+1,K) into one of the half-spin geometries for Q⁺(2n+1,K^′).     

Deformations of the generalised Picard bundle

Let X be a nonsingular algebraic curve of genus g?3, and let M_ξ denote the moduli space of stable vector bundles of rank n?2 and degree d with fixed determinant ξ over X such that n and d are coprime. We assume that if g=3 then n?4 and if g=4 then n?3, and suppose further that n₀, d₀ are integers such that n₀?1 and nd₀+n₀d>nn₀(2g-2). Let E be a semistable vector bundle over X of rank n₀ and degree d₀. The generalised Picard bundle W_ξ(E) is by definition the vector bundle over M_ξ defined by the direct image where U_ξ is a universal vector bundle over X×M_ξ. We obtain an inversion formula allowing us to recover E from W_ξ(E) and show that the space of infinitesimal deformations of W_ξ(E) is isomorphic to H¹(X,End(E)). This construction gives a locally complete family of vector bundles over M_ξ parametrised by the moduli space M(n₀,d₀) of stable bundles of rank n₀ and degree d₀ over X. If (n₀,d₀)=1 and W_ξ(E) is stable for all E∈M(n₀,d₀), the construction determines an isomorphism from M(n₀,d₀) to a connected component M⁰ of a moduli space of stable sheaves over M_ξ. This applies in particular when n₀=1, in which case M⁰ is isomorphic to the Jacobian J of X as a polarised variety. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over J, and is also related to a paper of Tyurin on the geometry of moduli of vector bundles.     

Characterizing filters by convergence (with respect to filters) in Banach spaces

Let X be a topological space and let F be a filter on N, recall that a sequence (xn)_n∈N in X is said to be F-convergent to the point x∈X, if for each neighborhood U of x, {n∈N:xn∈U}∈F. By using F-convergence in ?₁ and in Banach spaces, we characterize the P-filters, the P-filters⁺, the weak P-filters, the Q-filters, the Q-filters⁺, the weak Q-filters, the selective filters and the selective⁺ filters.     

Linear quivers, generic extensions and Kashiwara operators

In the present paper, we introduce the generic extension graph G of a Dynkin or cyclic quiver Q and then compare this graph with the crystal graph C for the quantized enveloping algebra associated to Q via two maps ℘_Q, _Q : Ω → Λ_Q induced by generic extensions and Kashiwara operators, respectively, where Λ_Q is the set of isoclasses of nilpotent representations of Q, and Ω is the set of all words on the alphabet I, the vertex set of Q. We prove that, if Q is a (finite or infinite) linear quiver, then the intersection of the fibres ℘_Q⁻¹ (λ) and KQ⁻¹ (λ) is non-empty for every λ ∈ Λ _Q. We will also show that this non-emptyness property fails for cyclic quivers.