Self-correspondences of K3 surfaces via moduli of sheaves and arithmetic hyperbolic reflection groups
Viacheslav V. Nikulin
备注：
Var3: The paper is reorganized, it starts with description of self-correspondences of K3 for arbitrary Picard number (the main result), and finishes with their applications to K3 with reflective Picard lattices
发表信息：
Proceedings of Steklov Mathematical Insitute, Vol. 273, 2011, 247-256
An integral hyperbolic lattice is called reflective if its automorphism group is generated by reflections, up to finite index. Since 1981, it is known that their number is essentially finite.
We show that K3 surfaces over C with reflective Picard lattices can be characterized in terms of compositions of their self-correspondences via moduli of sheaves with primitive isotropic Mukai vector: Their self-correspondences with integral action on the Picard lattice are numerically equivalent to compositions of a finite number of especially simple self-correspondences via moduli of sheaves.
This relates two topics: Self-correspondences of K3 surfaces via moduli of sheaves and Arithmetic hyperbolic reflection groups. It also raises several natural unsolved related problems.
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 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.
We describe a close relation between wall crossings in the birational geometry of moduli space of Gieseker stable sheaves $M_H(v)$ on $\bb{P}^2$ and mini-wall crossings in the stability manifold $Stab(D^b(\bb{P}^2))$.
We study the moduli space of stable sheaves of Euler characteristic 1 supported on curves of bidegree (3, 3) contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers by studying the variation of the moduli spaces of alpha-semi-stable pairs.
We give a modern introduction to the moduli of sheaves. After reviewing the classical theory, we give a catalogue of results from the last decade. We then consider a more "symmetric" formulation of the theory by working with gerbes from the start.
In this article, we classify the irreducible components of moduli stacks of torsion free sheaves of rank 2 on K3 surfaces of Picard number 1. For ruled surfaces, the components of moduli stacks of torsion free sheaves were classified by C.Walter. Moreover, by virtue of our result, we classify the irreducible components of Brill-Noether loci of Hilbert schemes of points on K3 surfaces.
Given a finite unbranched covering of a nonsingular projective scheme we analyse the morphism between moduli spaces of sheaves induced by pullback. We have a closer look at cyclic coverings and, in particular, at canonical coverings of surfaces. Our main application is the construction of Lagrangian subvarieties of certain irreducible holomorphically symplectic manifolds that arise from moduli spaces of sheaves on K3 or abelian surfaces.
We show that the moduli spaces of stable sheaves on projective schemes admit certain non-commutative structures, which we call quasi NC structures, generalizing Kapranov's NC structures. The completion of our quasi NC structure at a closed point of the moduli space gives a pro-representable hull of the non-commutative deformation functor of the corresponding sheaf developed by Laudal, Eriksen, Segal and Efimov-Lunts-Orlov. We also show that the framed stable moduli spaces of sheaves have canonical NC structures.
We define a one-dimensional family of "Euler" stability conditions on $\mathbb{P}^n$ which are conjectured to converge to Gieseker stability for coherent sheaves. Here, we focus on ${\mathbb P}^3$, first identifying Euler stability conditions with double-tilt stability conditions, and then we consider moduli of one-dimensional sheaves, proving some asymptotic results, boundedness for walls, and then explicitly computing walls and wall-crossings for sheaves supported on rational curves of degrees $3$ and $4$.
Let $Y$ be a geometrically irreducible reduced projective curve defined over real numbers. Let $U_Y$ (respectively, $U'_Y$) be the moduli space of geometrically stable torsionfree sheaves (respectively, locally free sheaves) on $Y$ of rank $n$ and degree $d$. Define $χ\, =\, d+n(1-\text{genus}(Y))$, where $\text{genus}(Y)$ is the arithmetic genus. If $2n$ is coprime to $χ$, then there is a Poincare sheaf over $U_Y\times Y$. If $2n$ is not coprime to $χ$, then there is no Poincare sheaf over any nonempty open subset of $U'_Y$.
We give a `geometrical' construction of an action of a Heisenberg algebra on the homology of the moduli spaces of torsion free sheaves on a complex smooth connected projective surface, framed along a smooth connected genus zero curve. This result generalizes Nakajima's construction for the Hilbert schemes of points.
We determine the structure of certain moduli spaces of ideal sheaves by generalizing an earlier result of the first author. As applications, we compute the (virtual) Hodge polynomials of these moduli space, and calculate the Donaldson-Thomas invariants of certain 3-folds with trivial canonical classes.
We describe the torus fixed locus of the moduli space of stable sheaves with Hilbert polynomial $4m+1$ on the projective plane. We determine the torus representation of the tangent spaces at the fixed points, which leads to the computation of the Betti and Hodge numbers of the moduli space.
We show that the moduli space of semi-stable sheaves on a smooth quadric surface, having dimension 1, multiplicity 4, Euler characteristic 2, and first Chern class (2, 2), is the blow-up at two points of a certain hypersurface in a weighted projective space.
