On the monodromy of moduli spaces of sheaves on K3 surfaces
Eyal Markman
备注：
v3: Latex, 69 pages. A major revision. Conjecture 2.6 of the previos version is proven in Theorem 1.2 of the new version. The paper is now independent of the results of math.AG/0305043. v2: Latex, 49 pages. References [W] and [Ma4] and Corollary 7.9 added. Lemma 3.8 expanded, and minor additional changes
Let S be a K3 surface and Aut D(S) the group of auto-equivalences of the derived category of S. We construct a natural representation of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result of this paper is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. A formula is provided for the monodromy representation, in terms of the Chern character of the universal sheaf. Isometries of the second cohomology of S^[n] are lifted, via this formula, to monodromy operators of the whole cohomology ring of S^[n].
By using sheaf-theoretical methods such as constructible sheaves, we generalize the formula of Libgober-Sperber concerning the zeta functions of monodromy at infinity of polynomial maps into various directions. In particular, some formulas for the zeta functions of global monodromy along the fibers of bifurcation points of polynomial maps will be obtained.
We study the Tannakian properties of the category of perverse sheaves on elliptic curves endowed with the convolution product. We establish that for certain sheaves with unipotent local monodromy over seven points the corresponding Tannaka group is isomorphic to $G_2$. This monodromy approach generalizes a result of Katz on the existence of $G_2$-motives in the middle cohomology of deformations of Beauville surfaces.
We provide an effective version of Katz' criterion for finiteness of the monodromy group of a lisse, pure of weight zero, $\ell$-adic sheaf on a normal variety over a finite field, depending on the numerical complexity of the sheaf
Let S be a K3 surface. In part I of this paper, we constructed a representation of the group Aut D(S), of auto-equivalences of the derived category of S. We interpreted this infinite dimensional representation, as the natural action of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result, of part I, is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. The proof of the above result was reduced, in part I, to the case of two monodromy operators of S^[n], associated with c…
Let $X$ be a smooth connected algebraic curve over an algebraically closed field $k$. We study the deformation of $\ell$-adic Galois representations of the function field of $X$ while keeping the local Galois representations at all places undeformed.
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 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 describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface.
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 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.
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 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 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.
We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such framed sheaves may be considered as stable pairs in the sense of Huybrechts and Lehn. We characterize the obstruction to the smoothness of the moduli space, and discuss some examples on rational surfaces.
Given a moduli problem posed using Geometric Invariant Theory, one can use Non-Reductive Geometric Invariant Theory to quotient unstable HKKN strata and construct 'moduli spaces of unstable objects', extending the usual moduli classifications. After giving a self-contained account of how to do this, we apply this method to construct moduli spaces for certain unstable coherent sheaves of HN length 2 on a projective scheme, which we call $τ$-stable sheaves. This extends a previous result of Brambila-Paz and Mata-Gutiérrez for rank two vector bundles on a curve.
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.
We compute the Hodge numbers of the moduli space of semi-stable sheaves on the complex projective plane supported on quintic curves and having Euler characteristic 3. For this purpose we study the fixed-point set for a certain torus action on the moduli space.
We show that a moduli space of slope-stable sheaves over a K3 surface is an irreducible hyperkähler manifold if and only if its second Betti number is the sum of its Hodge numbers $h^{2,0}$, $h^{1,1}$ and $h^{0,2}$.
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 study the irreducible components of the moduli space of instanton sheaves on $\mathbb{P}^3$, that is rank 2 torsion free sheaves $E$ with $c_1(E)=c_3(E)=0$ satisfying $h^1(E(-2))=h^2(E(-2))=0$. In particular, we classify all instanton sheaves with $c_2(E)\le4$, describing all the irreducible components of their moduli space. A key ingredient for our argument is the study of the moduli space ${\mathcal T}(d)$ of stable sheaves on $\mathbb{P}^3$ with Hilbert polynomial $P(t)=d\cdot t$, which contains, as an open subset, the moduli space of rank 0 instanton sheaves of multiplicity $d$; we desc…
We provide generalizations of the notions of Atiyah class and Kodaira-Spencer map to the case of framed sheaves. Moreover, we construct closed two-forms on the moduli spaces of framed sheaves on surfaces. As an application, we define a symplectic structure on the moduli spaces of framed sheaves on some birationally ruled surfaces.
