Let $\mathcal{M}(d,χ)$ be the moduli stack of stable sheaves of rank 0, Euler characteristic $χ$ and first Chern class $dH~(d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. We compute the $A$-valued motivic measure $μ_A(\mathcal{M}(d,χ))$ of $\mathcal{M}(d,χ)$ and get explicit formula in codimension $D:=ρ_d-1$, where $ρ_d$ is $d-1$ for $d=p$ or $2p$ with $p$ prime, and $7$ otherwise. As a corollary, we get the last $2(D+1)$ Betti numbers of the moduli scheme $M(d,χ)$ when $d$ is coprime to $χ$.
We study the moduli space of rank 0 semistable sheaves on some rational surfaces. We show the irreducibility and stable rationality of them under some conditions. We also compute several (virtual) Betti numbers of those moduli spaces by computing their motivic measures.
We extend the construction of the category of 1-motivic sheaves (introduced by Barbieri-Viale and Kahn) allowing quotients of connected algebraic k-groups by formal k-groups. We show that its bounded derived category is equivalent to the bounded derived category of the category of generalized 1-motives with torsion introduced in a previous paper by Barbieri-Viale and the author.
We generalize the construction of the category of 1-motives with torsion ${}^tM_1$ (introduced by Barbieri-Viale, Rosenschon and Saito) as well as the construction of the category of 1-motivic sheaves ${\rm Shv}_1$ (defined by Barbieri-Viale and Kahn) to perfect fields $k$ (without inverting the exponential characteristic). For $k$ transcendental over the prime field we extend a result of Barbieri-Viale and Kahn, showing that ${}^tM$ and ${\rm Shv}_1$ have equivalent bounded derived categories.
We introduce n-generated sheaves and n-motivic sheaves, describing completely for n = 0, 1 and proposing a conjecture for n > 1. We then obtain functors Lπ_0 and LAlb on DM_{eff}(k) deriving π_0 and Alb. The functor LAlb extends the one constructed (by the second author jointly with B.Kahn) to non-necessarily geometric motives. These functors are then used to define higher Néron-Severi groups and higher Albanese sheaves. The latter may be considered as an algebraic avatar of Deligne (co)homology.
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic complexes. There is a description of the equivariant motivic homotopy category for a finite flat group scheme (over a noetherian base) together with a new characterization of A^1-equivalences. There is a part where we introduce a class of sheaves called solid sheaves. Finally there is a part where we study functors of the form X -> X/G and X -> X^W and show …
The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the categoriesof constructible sheaves for the classical and etale topologies. Moreover, there is a tannakian subcategory of motivic local systems with a realization functor into the category of variations of mixed Hodge structures. Conversely, all basic geometric examples of the latter come from this motivic category.
The goal of this paper is to prove: if certain 'standard' conjectures on motives over algebraically closed fields hold, then over any 'reasonable' $S$ there exists a motivic $t$-structure for the category of Voevodsky's $S$-motives (as constructed by Cisinski and Deglise). If $S$ is 'very reasonable' (for example, of finite type over a field) then the heart of this $t$-structure (the category of mixed motivic sheaves over $S$) is endowed with a weight filtration with semi-simple factors. We also prove a certain 'motivic decomposition theorem' (assuming the conjectures mentioned) and characteri…
In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under inverse and direct images for projective and constant maps. The goal of this paper is to give a simpler definition of (a slight modification of) the category, and to give an easier proof of the direct image theorem. This paper relies on the previous article for some technical results, but is otherwise self contained.
With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that reduced stratified Tate motives satisfy favorable properties including weight and t-structures. We also prove that reduced motives on cellular (ind-)schemes unify various approaches to mixed sheaves in representation theory, such as Soergel-Wendt's semisimplified Hodge motives, Achar-Riche's complexes of parity sheaves, as well as Ho-Li's recent category of…
In this paper we give a complete description of the Hitchin fibration on all 2-dimensional moduli spaces of rank 2 irregular Higgs bundles with two poles on the projective line. We describe the dependence of the singular fibers of the fibration on the eigenvalues of the Higgs fields, and describe the corresponding motivic wall-crossing phenomenon in the parameter space of parabolic weights.
We introduce the notion of a quasi DG category, generalizing that of a DG category. To a quasi DG category satisfying certain additional conditions, we associate another quasi DG category, the quasi DG category of $C$-diagrams. We then show the homotopy category of the quasi DG category of $C$-diagrams has the structure of a triangulated category. This procedure is then applied to produce a triangulated category of mixed motives over a base variety.
We study the appearances of $\mathsf{LS}_{12}$ and $\mathsf{S}_{16}$ in the weight-graded compactly supported cohomology of moduli spaces of curves. As applications, we prove new nonvanishing results for the middle cohomology groups of $\mathcal{M}_9$ and $\mathcal{M}_{11}$ and give evidence to support the conjecture that the dimension fo $H^{2g + k}_c(\mathcal{M}_g)$ grows at least exponentially with $g$ for almost all $k$.
These are the notes accompanying three lectures given by the second author at the Motivic Geometry program at CAS, which aim to give an introduction and an overview of some recent developments in the field of reciprocity sheaves.
Periods of moduli spaces of stable sheaves on K3 surfaces were computed by Mukai, O'Grady and the author. In this paper, we shall treat moduli spaces of stable sheaves on abelian surfaces.
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.
In the case of the fine Simpson moduli spaces of 1-dimensional sheaves supported on plane quartics, the subvariety of sheaves that are not locally free on their support is connected, singular, and has codimension 2.
We provide a construction of the moduli space of stable coherent sheaves in the world of non-archimedean geometry, where we use the notion of Berkovich non-archimedean analytic spaces. The motivation for our construction is Tony Yue Yu's non-archimedean enumerative geometry in Gromov-Witten theory. The construction of the moduli space of stable sheaves using Berkovich analytic spaces will give rise to the non-archimedean version of Donaldson-Thomas invariants. In this paper we give the moduli construction over a non-archimedean field $\kk$. We use the machinery of formal schemes, that is, we d…
We find certain relations between flag Hilbert schemes of points on plane curves and moduli spaces of one-dimensional plane sheaves. We show that some of these moduli spaces are unirational.
In the 1980s Drézet and Le Potier realized moduli spaces of Gieseker-semistable sheaves on $\mathbb{P}^2$ as what are now called quiver moduli spaces. We discuss how this construction can be understood using t-structures and exceptional collections on derived categories, and how it can be extended to a similar result on $\mathbb{P}^1\times\mathbb{P}^1$.
We construct a moduli space of slope-semistable pure sheaves, building upon previous work of Le Potier and Jun Li on torsion-free sheaves over smooth surfaces. In particular, our construction provides a compactification of the Simpson moduli space of slope-stable reflexive sheaves. We also prove an effective restriction theorem for slope-(semi)stable pure sheaves following an approach due to Langer.
We study the relationship between two stratifications on parameter spaces for coherent sheaves and for quiver representations: a stratification by Harder-Narasimhan types and a stratification arising from the geometric invariant theory construction of the associated moduli spaces of semistable objects. For quiver representations, both stratifications coincide, but this is not quite true for sheaves. We explain why the stratifications on various Quot schemes do not coincide and see that the correct parameter space to compare such stratifications is the stack of coherent sheaves. Then we relate …
We shall study the existence condition of slope stable sheaves on Enriques surfaces. We also gives a different proof of the irreducibility of the moduli spaces of rank 2 stable sheaves.
We investigate the moduli spaces of one- and two-dimensional sheaves on projective K3 and abelian surfaces that are semistable with respect to a nongeneral ample divisor with regard to the symplectic resolvability. We can exclude the existence of new examples of projective irreducible symplectic manifolds lying birationally over components of the moduli spaces of one-dimensional semistable sheaves on K3 surfaces, and over components of many of the moduli spaces of two-dimensional sheaves on K3 surfaces, in particular, of those for rank two sheaves.
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction morphism for moduli stacks of sheaves has fibers that are schemes.
We study flips of moduli schemes of stable torsion free sheaves as wall-crossing phenomena of moduli schemes of stable modules over certain finite dimensional algebra. They are described as stratified Grassmann bundles.
This paper studies stable sheaves on abelian surfaces of Picard number one. Our main tools are semi-homogeneous sheaves and Fourier-Mukai transforms. We introduce the notion of semi-homogeneous presentation and investigate the behavior of stable sheaves under Fourier-Mukai transforms. As a consequence, an affirmative proof is given to the conjecture proposed by Mukai in the 1980s. This paper also includes an explicit description of the birational correspondence between the moduli spaces of stable sheaves and the Hilbert schemes.
We consider the singuralities of 2-dimensional moduli spaces of semi-stable sheaves on K3 surfaces. We show that the moduli space is normal, in particular the singuralities are rational double points. We also describe the exceptional locus on the resolution in terms of exceptional sheaves.
We study the moduli space of framed flags of sheaves on the projective plane via an adaptation of the ADHM construction of framed sheaves. In particular, we prove that, for certain values of the topological invariants, the moduli space of framed flags of sheaves is an irreducible, nonsingular variety carrying a holomorphic pre-symplectic form.
We prove the motivic version of the DT/PT-correspondence in \cite{PT} and the motivic flop formula of the curve counting invariants in the derived category of smooth Calabi-Yau threefold DM stacks. The main method we use is Bridgeland's Hall algebra identities and the motivic integration map of Bridgeland and Joyce from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold DM stack $Y$ to the motivic quantum torus, which is a Poisson algebra homomorphism.
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 this paper, we study the Picard group of the moduli space of semistable sheaves on a smooth quadric surface. We polarize the surface by an ample divisor close to the anticanonical class. We focus especially on moduli spaces of sheaves of small discriminant, where we observe new and interesting behavior. Our method relies on constructing certain resolutions for semistable sheaves and applying techniques of geometric invariant theory to the resulting families of sheaves.
Let $\mathcal{X}$ be a smooth Deligne-Mumford stack which is generically a scheme and has quasi-projective coarse moduli. If $\mathcal{X}$ has elementary Abelian 2-group stabilizers and the coarse moduli of the inertia stack is smooth, we show there exists a semiorthogonal decomposition of the derived category of $\mathcal{X}$ where the pieces are equivalent to the derived category of the components of the coarse moduli of the inertia stack.
We generalize the construction of moduli spaces of parabolic sheaves given by Maruyama and Yokogawa in [MY92] to the case of a projective fine saturated log scheme with a fixed global chart. Furthermore we construct moduli spaces of parabolic sheaves without fixing the weights.
We investigate the moduli space of sheaves supported on space curves of degree 4 and having Euler characteristic 1. We give an elementary proof of the fact that this moduli space consists of three irreducible components.
This paper studies deformations and birational maps between singular moduli spaces of semistable sheaves with 2-divisible Mukai vectors on K3 surfaces. It is showed that under certain conditions, two such moduli spaces of the same dimension can be connected by deformations and birational maps.
We prove the existence of fine moduli spaces of simple coherent sheaves on families of irreducible curves. Our proof is based on the existence of a universal upper bound of the Castelnuovo-Mumford regularity of such sheaves, which we provide.
In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space is projective over $S$ as an algebraic space.
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).
Let M be a projective fine moduli space of stable sheaves on a smooth projective variety X with a universal family E. We prove that in four examples, E can be realized as a complete flat family of stable sheaves on M parametrized by X, which identifies X with a smooth connected component of some moduli space of stable sheaves on M.
We view the moduli space of semistable sheaves on a K3 surface as a global quotient stack, and compute its cotangent complex in terms of the universal sheaf on the Quot scheme. Relevant facts on the classical and reduced Atiyah classes are reviewed. We also define the notion of a symplectic stack, and show that it includes all moduli stacks of semistable sheaves on K3 surfaces.
We generalize the notion of multi-Gieseker semistability for coherent sheaves, introduced by Greb, Ross, and Toma, to quiver sheaves for a quiver $Q$. We construct coarse moduli spaces for semistable quiver sheaves using a functorial method that realizes these as subschemes of moduli spaces of representations of a twisted quiver, depending on $Q$, with relations. We also show the projectivity of the moduli space in the case when $Q$ has no oriented cycles. Finally, we investigate the parameter dependence of the moduli.
We study birational geometry of the moduli space of stable sheaves on a quadric surface with Hilbert polynomial $5m + 1$ and $c_{1} = (2, 3)$. We describe a birational map between the moduli space and a projective bundle over a Grassmannian as a composition of smooth blow-ups/downs.
We construct the moduli of twisted sheaves on a projective variety. Then we generalize known results on the moduli space of usual sheaves on a K3 surface to the twisted case. Thus we consider the non-emptyness, the deformation type and the Fourier-Mukai transformation. As an application of our results, Daniel Huybrechts and Paolo Stellari prove Caldararu's conjecture.
As a continuation of the work of Freiermuth and Trautmann, we study the geometry of the moduli space of stable sheaves on $\mathbb{P}^3$ with Hilbert polynomial $4m+1$. The moduli space has three irreducible components whose generic elements are, respectively, sheaves supported on rational quartic curves, on elliptic quartic curves, or on planar quartic curves. The main idea of the proof is to relate the moduli space with the Hilbert scheme of curves by wall crossing. We present all stable sheaves contained in the intersections of the three irreducible components. We also classify stable sheav…
Results on stability of tautological sheaves on Hilbert schemes of points are extended to higher dimensions and transferred to abelian surfaces and to the restriction of tautological sheaves to generalised Kummer varieties. This provides a big class of new examples of stable sheaves on higher dimensional irreducible symplectic manifolds. Some aspects of deformations of tautological sheaves are studied.
We prove that the "Thaddeus flips" of $L$-twisted sheaves constructed by Matsuki and Wentworth can be obtained via Bridgeland wall-crossing. Similarly, we realize the change of polarization for moduli spaces of 1-dimensional Gieseker semistable sheaves on a surface by varying a family of stability conditions.
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 classify all Gieseker semi-stable sheaves on the complex projective plane that have dimension 1, multiplicity 6 and Euler characteristic 3. We show that their moduli space is birational to the blow-up at a special point of a certain moduli space of semi-stable Kronecker modules.
