For any smooth projective variety $X$ of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$ with $μ(Ω^1_X)>0$. If ${\rm T}^{\ell}(Ω^1_X)$ ($0<\ell<n(p-1)$) are semi-stable, then the sheaf $B^1_X$ of exact 1-forms is stable. When $X$ is a surface with $μ(Ω^1_X)>0$ and $Ω^1_X$ is semi-stable, the sheaf $B^2_X$ of exact 2-forms is also stable. Moreover, under the same condition, the sheaf $Z^1_X$ of closed 1-forms is stable when $p>3$, and $Z^1_X$ is semi-stable when $p=3$.
This article is a continuation of the work "Tropical Lagrangian multi-sections and smoothing of locally free sheaves over degenerated Calabi-Yau surfaces". We generalize the notion of tropical Lagrangian multi-sections to any dimensions. Together with some linear algebra data, we construct a special class of locally free sheaves, called tropical locally free sheaves. We will also provide the reverse construction and show that there is a 1-1 correspondence between isomorphism classes of tropical locally free sheaves and tropical Lagrangian multi-sections modulo certain equivalence.
In this article, we study the deformation theory of locally free sheaves and Hitchin pairs over a nodal curve. As a special case, the infinitesimal deformation of these objects gives the tangent space of the corresponding moduli spaces, which can be used to calculate the dimension of the corresponding moduli space. We show that the deformation of locally free sheaves and Hitchin pairs over a nodal curve is equivalent to the deformation of generalized parabolic bundles and generalized parabolic Hitchin pairs over the normalization of the nodal curve respectively.
We will generalize the projective model structure in the category of unbounded complexes of modules over a commutative ring to the category of unbounded complexes of quasi-coherent sheaves over the projective line. Concretely we will define a locally projective model structure in the category of complexes of quasi-coherent sheaves on the projective line. In this model structure the cofibrant objects are the dg-locally projective complexes. We also describe the fibrations of this model structure and show that the model structure is monoidal. We point out that this model structure is necessarily…
We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms of locally free sheaves modulo a reductive or a nonreductive group. We find locally free resolutions of length one of all these sheaves and describe them.
We classify absolutely split vector bundles on proper $k$-schemes. More precise, we prove that the closed points of the Picard scheme are in one-to-one correspondence with indecomposable absolutely split vector bundles. Furthermore, we apply the obtained results to study the geometry of (generalized) Brauer--Severi varieties.
Let $X$ be an arbitrary scheme. The category $\mathfrak{Qcoh}(X)$ of quasi--coherent sheaves on $X$ is known that admits arbitrary direct products. However their structure seems to be rather mysterious. In the present paper we will describe the structure of the product object of a family of locally torsion-free objects in $\mathfrak{Qcoh}(X)$, for $X$ an integral scheme. Several applications are provided. For instance it is shown that the class of flat quasi--coherent sheaves on a Dedekind scheme $X$ is closed under arbitrary direct products, and that the class of all locally torsion-free quas…
We give sufficient conditions for the (semi-)stability of torsion free sheaves on a primitive multiple curve. These conditions are used to prove that some moduli spaces of stable sheaves are not empty. We study mainly the quasi locally free sheaves of generic type (this includes the locally free sheaves). These sheaves are generic, i.e. for every moduli space of torsion free sheaves, the sheaves of this type correspond to an open subset of the moduli space.
We study two notions of purity in categories of sheaves: the categorical and the geometric. It is shown that pure injective envelopes exist in both cases under very general assumptions on the scheme. Finally we introduce the class of locally absolutely pure (quasi--coherent) sheaves, with respect to the geometrical purity, and characterize locally Noetherian closed subschemes of a projective scheme in terms of the new class.
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 then there is a filtration by subschemes C_i such that C_1 is the reduced curve associated to Y, and that for every P in C, if z is an equation of C_1 in the local ring of Y at P, then (z^i) is the ideal of C_i. 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 i…
We prove that the singular locus of a rank 2 instanton sheaf $E$ on $\mathbb{P}^3$ which is not locally free has pure dimension 1. Moreover, we also show that the dual and double dual of $E$ are isomorphic locally free instanton sheaves, and that the sheaves $\mathcal{E}xt^1(E,\mathcal{O}_{\mathbb{P}^3)$ and $E^{\vee\vee}/E$ are rank $0$ instantons. We also provide explicit examples of instanton sheaves of rank $3$ and $4$ illustrating that all of these claims are false for higher rank instanton sheaves.
Generalizing the definitions originally presented by Kuznetsov and Faenzi, we study (possibly non locally free) instanton sheaves of arbitrary rank on Fano threefolds. We classify rank 1 instanton sheaves and describe all curves whose structure sheaves are rank 0 instanton sheaves. In addition, we show that every rank 2 instanton sheaf is an elementary transformation of a locally free instanton sheaf along a rank 0 instanton sheaf. To complete the paper, we describe the moduli space of rank 2 instanton sheaves of charge 2 on a quadric threefold $X$, and show that the full moduli space of rank …
We introduce the notion of tropical Lagrangian multi-sections over a $2$-dimensional integral affine manifold $B$ with singularities, and use them to study the reconstruction problem for higher rank locally free sheaves over Calabi-Yau surfaces. To certain tropical Lagrangian multi-sections $\mathbb{L}$ over $B$, which are explicitly constructed by prescribing local models around the ramification points, we construct locally free sheaves $\mathcal{E}_0(\mathbb{L},{\bf{k}}_s)$ over the singular projective scheme $X_0(B,\mathscr{P},s)$ associated to $B$ equipped with a polyhedral decomposition $…
We construct the so-called polar complex for an arbitrary locally free sheaf on a smooth variety over a field of characteristic zero. This complex is built from logarithmic forms on all irreducible subvarieties with values in a locally free sheaf. We prove that cohomology groups of the polar complex are canonically isomorphic to the cohomology groups of the locally free sheaf. Relations of the polar complex with Rost's cycle modules, algebraic cycles, Cousin complex, and adelic complex are discussed. In particular, the polar complex is a subcomplex in the Cousin complex. One can say that the p…
We show that the moduli stacks of semistable sheaves on smooth projective varieties are analytic locally on their coarse moduli spaces described in terms of representations of the associated Ext-quivers with convergent relations. When the underlying variety is a Calabi-Yau 3-fold, our result describes the above moduli stacks as critical locus analytic locally on the coarse moduli spaces. The results in this paper will be applied to the wall-crossing formula of Gopakumar-Vafa invariants defined by Maulik and the author.
We study the Simpson moduli space of semi-stable sheaves on the complex projective plane that have dimension 1, multiplicity 6 and Euler characteristic 2. We describe concretely these sheaves as cokernels of morphisms of locally free sheaves and we stratify the moduli space according to the types of sheaves that occur.
Multiple primitive curves have been defined and studied by A. Banica and O. Forster. We introduce new invariants for coherent sheaves on these curves and define quasi locally free sheaves, which play the same role as locally free sheaves on smooth varieties. A more detailed study of torsion free sheaves is given for primitive curves of multiplicity 2.
We study twisted vector bundles of infinite rank on gerbes, giving a new spin on Grothendieck's famous problem on the equality of the Brauer group and cohomological Brauer group. We show that the relaxed version of the question has an affirmative answer in many, but not all, cases, including for any algebraic space with the resolution property and any algebraic space obtained by pinching two closed subschemes of a projective scheme. We also discuss some possible theories of infinite rank Azumaya algebras, consider a new class of "very positive" infinite rank vector bundles on projective variet…
A primitive multiple curve is a Cohen-Macaulay irreducible projective curve Y that can be locally embedded in a smooth surface, and such that C=Y_red is smooth. In this case, L=I_C/I_C^2 is a line bundle on C. If Y is of multiplicity 2, i.e. if I_C^2=0, Y is called a ribbon. If Y is a ribbon and h^0(L^{-2})>0, then Y can be deformed to smooth curves, but in general a coherent sheaf on Y cannot be deformed in coherent sheaves on the smooth curves. A ribbon with associated line bundle L such that deg(L)=-d<0 can be deformed to reduced curves having 2 irreducible components if L can be written as…
We study the moduli space of stable sheaves of Euler characteristic 2, supported on curves of arithmetic genus 2 contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers and we give a classification of the stable sheaves involving locally free resolutions.
In the Simpson moduli space $M$ of semi-stable sheaves with Hilbert polynomial $dm-1$ on a projective plane we study the closed subvariety $M'$ of sheaves that are not locally free on their support. We show that for $d\ge 4$ it is a singular subvariety of codimension $2$ in $M$. The blow up of $M$ along $M'$ is interpreted as a (partial) modification of $M\setminus M'$ by vector bundles (on support).
Admissible locally-free sheaves on P^3, also known in the literature as mathematical instanton bundles, arise in twistor theory, and are in 1-1 correspondence with instantons on R^4. In this paper, we study admissible sheaves on P^3 from the algebraic geometric point of view. We discuss examples and compare the admissibility condition with semistability and splitting type.
Given a graded monoid A with 1, one can construct a projective monoid scheme MProj(A) analogous to Proj(R) of a graded ring R. This paper is concerned with the study of quasicoherent sheaves (of pointed sets) on MProj(A), and we prove several basic results regarding these. We show that: 1.) Every quasicoherent sheaf F on MProj(A) can be constructed from a graded A--set in analogy with the construction of quasicoherent sheaves on Proj(R) from graded R--modules. 2.) High enough twists of coherent sheaves are generated by finitely many global sections, hence that every coherent sheaf is a quotien…
A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence still holds even when the divisor is singular, and also it has a simple locally free resolution. We specialize to the case when the divisor is an arrangement of hyperplanes in projective space, and relate the properties of stability of the sheaf with the combinatorics of the arrangement. We also extend a Torelli type theorem to non generic arrangements which al…
We study the moduli space of Gieseker semi-stable sheaves on the complex projective plane supported on sextic curves and having Euler characteristic one. We determine locally free resolutions of length one for all such sheaves. We decompose the moduli space into strata which occur naturally as quotients modulo actions of certain algebraic groups. In some cases we give concrete geometric descriptions of the strata.
The paper is concerned with `geometrization' of smooth (i.e. with open stabilizers) representations of the automorphism group of universal domains, and with the properties of `geometric' representations of such groups. As an application, we calculate the cohomology groups of several classes of smooth representations of the automorphism group of an algebraically closed extension of infinite transcendence degree of an algebraically closed field.
We study the moduli space of stable sheaves of Euler characteristic 1, supported on curves of arithmetic genus 2 contained in a smooth quadric surface. We show that this moduli space is rational. We give a classification of the stable sheaves involving locally free resolutions or extensions. We compute the Betti numbers by studying the variation of the moduli spaces of alpha-semi-stable pairs.
We prove that a topological space is aspherical if and only if it satisfies Bökstedt-Neeman Theorem, i.e., the derived category of complexes of locally constant sheaves is equivalent to the derived category of complexes of sheaves with locally constant cohomology.
We show that there is a perverse sheaf on a fine moduli space of stable sheaves on a smooth projective Calabi-Yau 3-fold, which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional, possibly after taking an etale Galois cover. This perverse sheaf lifts to a mixed Hodge module and gives us a cohomology theory which enables us to define the Gopakumar-Vafa invariants mathematically.
Using the fact that $Π$-invertible sheaves can be interpreted as locally free sheaves of modules for the super skew field $\mathbb{D}$, we give a new construction of the $Π$-projective superspace $\mathbb{P}^n_{Π, B}$ over affine $k$ superschemes $B$, $k$ an algebraically closed field. We characterize morphisms into $\mathbb{P}^n_{Π, B}$ and give a new interpretation of the composition of $Π$-invertible sheaves in terms of the algebra of $\mathbb{D}$.
The aim of this paper is to give a unified definition of a large class of discriminants arising in algebraic geometry using the discriminant of a morphism of locally free sheaves. The discriminant of a morphism of locally free sheaves has a geometric definition in terms of grassmannian bundles, tautological sequences and projections and is a simultaneous generalization of the discriminant of a morphism of schemes, the discriminant of a linear system on a smooth projective scheme and the classical discriminant of degree $d$ polynomials. We study the discriminant of a morphism in various situati…
Several situations are known when a holomorphic 2-form on a moduli space of sheaves over some base S is induced by a holomorphic 2-form on S. Moreover, the closedness of the 2-form on the base implies the closedness on the moduli space, which provides a stock of symplectic structures on moduli spaces (Mukai, Kobayashi, O'Grady, Tyurin, Huybrechts--Lehn). A parallel theory was developed for bivector fields and Poisson structures (Bottacin). However, there exist symplectic moduli spaces of sheaves over bases that have no holomorphic forms at all. A well-known example (Beauville--Donagi) is the f…
We show that there is a natural perverse sheaf on the moduli space of semistable sheaves on a smooth projective Calabi-Yau 3-fold which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional. This gives us a cohomology theory whose Euler numbers are Donaldson-Thomas invariants.
The new compactification of moduli scheme of Gieseker-stable vector bundles with the given Hilbert polynomial on a smooth projective polarized surface (S;H), over the field k = \bar k of zero characteristic, is constructed in previous papers of the author. Families of locally free sheaves on the surface S are completed by the locally free sheaves on the schemes which are certain modifications of S. We obtain the class of modified surfaces to appear in the construction. Keywords: moduli space, semistable coherent sheaves, blowup algebra, algebraic surface.
We show that some Gieseker stable sheaves on a projective K3 surface $X$ are stable with respect to a stability condition of Bridgeland on the derived category of $X$ if the stability condition is in explicit subsets of the space of stability conditions depending on the sheaves. Furthermore we shall give two applications of the result. As a part of these applications, we show that the fine moduli space of Gieseker stable torsion free sheaves on a K3 surface with Picard number one is the moduli space of $μ$-stable locally free sheaves if the rank of the sheaves is not a square number.
We give an algorithm to determine whether a kernel sheaf over a smooth projective curve over an algebraically closed field is semistable. The algorithm uses symmetric powers to make destabilizing subbundles visible as global sections.
In this paper we define tensor modules(sheaves) of Schur type,or of generalized Schur type associated with the give module(sheaf), using the so-called Schur functors. Then using global method we construct canonical homomorphisms between these modules(sheaves). We will get canonical isomorphisms if the original sheaf is locally free using idea of algebraic geometry, which is in fact a generalization of result in linear algebra. In the final section, we give canonical complexes using homomorphisms constructed before, and these complexes will become split exact sequence if further condition holds…
We find locally free resolutions of length one for all semi-stable sheaves supported on curves of multiplicity five in the complex projective plane. In some cases we also find geometric descriptions of these sheaves by means of extensions. We give natural stratifications for their moduli spaces and we describe the strata as certain quotients modulo linear algebraic groups. In most cases we give concrete descriptions of these quotients as fibre bundles.
Let $X$ be a smooth connected projective algebraic curve over an algebraically closed field, and let $S$ be a finite nonempty closed subset in $X$. We study deformations of $\overline{\mathbb F}_\ell$-sheaves. The universal deformation space is a formal scheme. Its generic fiber has a rigid analytic space structure. By studying this rigid analytic space, we prove a conjecture of Katz which says that if a lisse $\overline{\mathbb Q}_\ell$-sheaf $\mathcal F$ on $X-S$ is irreducible and rigid, then we have $\mathrm{dim}\, H^1(X,j_\ast\mathcal End(\mathcal F))=2g$, where $j:X-S\to X$ is the open i…
We compute the Donaldson-Thomas invariants for two types of Calabi-Yau 3-folds. These invariants are associated to the moduli spaces of rank-2 Gieseker semistable sheaves. None of the sheaves are locally free, and their double duals are locally free stable sheaves investigated earlier by Donaldson and Thomas, Li and Qin respectively. We show that these Gieseker moduli spaces are isomorphic to some Quot-schemes. We prove a formula for Behrend's functions when torus actions present with positive dimensional fixed point sets, and use it to obtain the generating series of the relevant Donaldson-Th…
Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,ϕ), where E is a torsion free sheaf on X and ϕis a symmetric nondegenerate (in the open set where E is locally free) bilinear form on E. We also consider special orthogonal sheaves, by adding a trivialization ψof the determinant of E such that det(ϕ)=ψ^2 ; and symplectic sheaves, by considering a form which is skewsymmetric. More generally, we consider semistable tensors, i.e. multilinea…
If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard definition of flatness in $Qcoh(X)$ from the stalks. So it makes sense to wonder the relationship (if any) between these two notions. In this paper we show that there are plenty of locally finitely presented categories having no other categorical flats than the zero object. As particular instance, we show that $Qcoh(\mathbf{P}^n(R)))$ has no other categorical…
Given a family $(F,h) \to X \times S$ of Hermite-Einstein bundles on a compact Kähler manifold $(X,g)$ we consider the higher direct image sheaves $R^q p_* \mathcal{O}(F)$ on $S$, where $p: X \times S \to S$ is the projection. On the complement of an analytic subset these sheaves are locally free and carry a natural metric, induced by the $L_2$ inner product of harmonic forms on the fibers. We compute the curvature of this metric which has a simpler form for families with fixed determinant and families of endomorphism bundles. Furthermore, we discuss the metric for moduli spaces of stable vect…
Let $X$ be a smooth projective variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Let $F_X:X\rightarrow X$ be the absolute Frobenius morphism, and $\E$ a torsion free sheaf on $X$. We give a upper bound of instability of truncated symmetric powers $\mathrm{T}^l(\E)(0\leq l\leq\rk(\E)(p-1))$ in terms of $L_{\max}(\Omg^1_X)$, $\mathrm{I}(\Omg^1_X)$ and $\mathrm{I}(\E)$ (Theorem \ref{InstabTl}). As an application, We obtain a upper bound of Frobenius direct image ${F_X}_*(\E)$ and some sufficient conditions of slope semi-stability of ${F_X}_*(\E)$. In additio…
