31 pages. V2: Completely reformulated, errors corrected. V3: misprints corrected, few remarks added. V4: more misprints corrected, few remarks added.V5: final version to be published at Collectanea Mathematica
We study a class of torsion-free sheaves on complex projective spaces which generalize the much studied mathematical instanton bundles. Instanton sheaves can be obtained as cohomologies of linear monads and are shown to be semistable if its rank is not too large, while semistable torsion-free sheaves satisfying certain cohomological conditions are instanton. We also study a few examples of moduli spaces of 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 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.
A $h$-instanton sheaf on a closed subscheme $X$ of some projective space endowed with an ample and globally generated line bundle $\mathcal{O}_X(h)$ is a coherent sheaf whose cohomology table has a certain prescribed shape. In this paper we deal with $h$-instanton sheaves relating them to Ulrich sheaves. Moreover, we study $h$-instanton sheaves on smooth curves and surfaces, cyclic $n$-folds, Fano $3$-folds and scrolls over arbitrary smooth curves. We also deal with a family of monads associated to $h$-instanton bundles on varieties satisfying some mild extra technical conditions.
This paper has been withdraw. A fully revised version with two new co-authors has been posted: "ADHM construction of perverse instanton sheaves", arXiv:1201.5657.
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 present a construction of framed torsion free instanton sheaves on a projective variety containing a fixed line which further generalizes the one on projective spaces. This is done by generalizing the so called ADHM variety. We show that the moduli space of such objects is a quasi projective variety, which is fine in the case of projective spaces. We also give an ADHM categorical description of perverse instanton sheaves in the general case, along with a hypercohomological characterization of these sheaves in the particular case of projective spaces.
We study the moduli space of rank 2 instanton sheaves on $\p3$ in terms of representations of a quiver consisting of 3 vertices and 4 arrows between two pairs of vertices. Aiming at an alternative compactification for the moduli space of instanton sheaves, we show that for each rank 2 instanton sheaf, there is a stability parameter $θ$ for which the corresponding quiver representation is $θ$-stable (in the sense of King), and that the space of stability parameters has a non trivial wall-and-chamber decomposition. Looking more closely at instantons of low charge, we prove that there are stabili…
We provide stacky generalizations of classical gauge-theoretic results inspired by Donaldson, the Uhlenbeck-Yau theorem and variants due to Bando and his collaborators. Moreover, we show an application of this machinery in the study of ALE spaces.
We study semistable sheaves of rank $2$ with Chern classes $c_1=0$, $c_2=2$ and $c_3=0$ on the Fano 3-fold $V_5$ of Picard number $1$, degree $5$ and index $2$. We show that the moduli space of such sheaves has a component that is isomorphic to $\mathbb{P}^5$ by identifying it with the moduli space of semistable quiver representations. This provides a natural smooth compactification of the moduli space of minimal instantons, as well as Ulrich bundles of rank $2$ on $V_5$.
Let $\mathbb{T}$ be the three dimensional torus acting on $\mathbb{P}^{3}$ and $\mathcal{M}^{\mathbb{T}}_{\mathbb{P}^{3}}(c)$ be the fixed locus of the corresponding action on the moduli space of rank $2$ framed instanton sheaves on $\mathbb{P}^{3}.$ In this work, we prove that $\mathcal{M}^{\mathbb{T}}_{\mathbb{P}^{3}}(c)$ consist only of non locally-free instanton sheaves whose double dual is the trivial bundle $\mathcal{O}_{\mathbb{P}^{3}}^{\oplus 2}$. Moreover, We relate these instantons to Pandharipande-Thomas stable pairs and give a classification of their support. This allows to compute…
We show that instanton bundles of rank $r\le 2n-1$, defined as the cohomology of certain linear monads, on an $n$-dimensional projective variety with cyclic Picard group are semistable in the sense of Mumford-Takemoto. Furthermore, we show that rank $r\le n$ linear bundles with nonzero first Chern class over such varieties are stable. We also show that these bounds are sharp.
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.
Université de Pau et des Pays de l’Adour（波城大学）；CNRS, LMAP UMR 5142（法国国家科学研究中心，拉马实验室）；Université Bourgogne Europe（勃艮第欧洲大学）；CNRS, IMB UMR 5584（法国国家科学研究中心，IMB实验室）
We use a complex version of the celebrated Atiyah-Hitchin-Drinfeld-Manin matrix equations to construct admissible torsion-free sheaves on $\p^3$ and complex quantum instantons over our quantum Minkowski space-time. We identify the moduli spaces of various subclasses of sheaves on $\p^3$, and prove their smoothness. We also define the Laplace equation in the quantum Minkowski space-time, study its solutions and relate them to the admissibility condition for sheaves on $\p^3$.
A new section on projections of coherent sheaves from a projective space to a lower-dimensional projective space has been added. Also some of the notation has been altered to bring it into line with the joint paper with Eisenbud and Schreyer.
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.
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.
In this note, we show that the canonical orientation data on the quiver hearts are compatible under the autoequivalence $\_\otimesπ^*O(1)$, and hence glue to give an orientation data for the stack of coherent sheaves on local P2.
Let G be a connected reductive group. The late Ramanathan gave a notion of (semi)stable principal G-bundle on a complex projective curve and constructed a projective moduli space of such objects. We generalize Ramanathan's notion and construction to the case of higher dimension, allowing also objects which we call semistable principal G-sheaves.
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.
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.
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 construct monads for framed torsion-free sheaves on blow-ups of the complex projective plane at finitely many distinct points. Using these monads we prove that the moduli space of such sheaves is a smooth algebraic variety. Moreover we construct monads for families of such sheaves parameterized by a noetherian scheme S of finite type. A universal monad on the moduli space is introduced and used to prove that the moduli space is fine.
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 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 develop a theory of general sheaves over weighted projective lines. We define and study a canonical decomposition, analogous to Kac's canonical decomposition for representations of quivers, study subsheaves of a general sheaf, general ranks of morphisms, and prove analogues of Schofield's results on general representations of quivers. Using these, we give a recursive algorithm for computing properties of general sheaves. Many of our results are proved in a more abstract setting, involving a hereditary abelian category.
In this paper, we study the divisor theory of the Simpson moduli space of semistable sheaves of dimension 1 on the projective plane. We prove that these spaces are all Mori dream spaces, and calculate their nef cones. We also study the effective cones of these spaces for most choices of numerical invariants. As a consequence, we work out precisely when two such spaces are isomorphic.
The aim of this paper is to prove the existence of large complete subvarieties in moduli spaces of rank two stable sheaves with arbitrary $c_1$ and sufficiently large $c_2$ on algebraic surfaces. Then we study the restriction of these sheaves to curves of high degree embedded in the surface. In the final section we gives a relation with the spin strata defined by Pidstrigach and Tyurin.
We give a complete classification of semistable rank two sheaves on three-dimensional projective space with maximal third Chern character. This implies an explicit description of their moduli spaces. As an open subset they contain rank two reflexive sheaves with maximal number of singularities. These spaces are irreducible, and apart from a single special case, they are also smooth. This extends a result by Okonek and Spindler to all missing cases and gives a new proof of their result. The key technical ingredient is variation of stability in the derived category.
We show that the moduli space M(r,c) of semistable sheaves on n-dimensional projective space with support of dimension one, with multiplicity r and with Euler characteristic c is isomorphic to M(r,-c).
We compute the expected dimension of the moduli space of torsion-free rank 2 sheaves at a point corresponding to a stable reflexive sheaf and give conditions for the existence of a perfect tangent-obstruction complex on a class of smooth projective threefolds; this class includes Fano and Calabi-Yau threefolds. We also explore both local and global relationships between moduli spaces of reflexive rank 2 sheaves and the Hilbert scheme of curves.
We show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from a flat projective family of varieties parametrized by a regular complex base scheme, extending the analogous classical result for smooth projective families due to Griffiths. As an application, based on positivity of direct image sheaves, we establish a criterion for base spaces of rational Gorenstein families to be of general type. A key component of our arguments is centered around the construction of derived categorical objects generalizing relative logarithmic forms …
In the physicist's language, a brane in a hyperkahler manifold is a submanifold which is either complex or lagrangian with respect to three Kahler structures of the ambient manifold. By considering the fixed loci of certain involutions, we describe branes in Nakajima quiver varieties of all possible types. We then focus on the moduli space of framed torsion free sheaves on the projective plane, showing how the involutions considered act on sheaves, and proving the existence of branes in some cases.
We provide a description of the moduli space of framed autodual instanton bundles on projective space, focusing on the particular cases of symplectic and orthogonal instantons. Our description will use the generalized ADHM equations which define framed instanton sheaves.
For an abelian or a projective K3 surface $X$ over an algebraically closed field $k$, consider the moduli space $\splcpx_{X/k}\uet$ of the objects $E$ in $D^b(\mathrm{Coh}(X))$ satisfying $\Ext^{-1}_X(E,E)=0$ and $\Hom(E,E)\cong k$. Then we can prove that $\splcpx_{X/k}\uet$ is smooth and has a symplectic structure.
Sheaves on non-reduced curves can appear in moduli space of 1-dimensional semistable sheaves over a surface, and moduli space of Higgs bundles as well. We estimate the dimension of the stack $\mathbf{M}_{X}(nC,χ)$ of pure sheaves supported at the non-reduced curve $nC~(n\geq 2)$ with $C$ an integral curve on $X$. We prove that the Hilbert-Chow morphism $h_{L,χ}:\mathcal{M}^H_X(L,χ)\rightarrow |L|$ sending each semistable 1-dimensional sheaf to its support have all its fibers of the same dimension for $X$ Fano or with trivial canonical line bundle and $|L|$ contains integral curves.
We prove the rationality and irreducibility of the moduli space of---what we call---the endomorphism-general instanton vector bundles of arbitrary rank on the projective space. In particular, we deduce the rationality of the moduli spaces of rank-two mathematical instantons. This problem was first studied by Hartshorne, Hirschowitz-Narasimhan in the late 1970s, and it has been reiterated within the framework of the ICM 2018.
The Gieseker-Uhlenbeck morphism maps the Gieseker moduli space of stable rank-2 sheaves on a smooth projective surface to the Uhlenbeck compactification, and is a generalization of the Hilbert-Chow morphism for Hilbert schemes of points. When the surface is the complex projective plane, we determine all the 1-point genus-0 Gromov-Witten invariants extremal with respect to the Gieseker-Uhlenbeck morphism. The main idea is to understand the virtual fundamental class of the moduli space of stable maps by studying the obstruction sheaf and using a meromorphic 2-form on the Gieseker moduli space.
We study the birational geometry of moduli spaces of semistable sheaves on the projective plane via Bridgeland stability conditions. We show that the entire MMP of their moduli spaces can be run via wall-crossing. Via a description of the walls, we give a numerical description of their movable cones, along with its chamber decomposition corresponding to minimal models. As an application, we show that for primitive vectors, all birational models corresponding to open chambers in the movable cone are smooth and irreducible.
We prove that, given integers $m\geq 3$, $r\geq 1$ and $n\geq 0$, the moduli space of torsion free sheaves on $\mathbb P^m$ with Chern character $(r,0,\ldots,0,-n)$ that are trivial along a hyperplane $D \subset \mathbb P^m$ is isomorphic to the Quot scheme $\mathrm{Quot}_{\mathbb A^m}(\mathscr O^{\oplus r},n)$ of $0$-dimensional length $n$ quotients of the free sheaf $\mathscr O^{\oplus r}$ on $\mathbb A^m$.
This paper generalises Mori's famous theorem about "Projective manifolds with ample tangent bundles" to normal projective varieties in the following way: A normal projective variety over $\mathbb{C}$ with ample tangent sheaf is isomorphic to the complex projective space.
Let X be a smooth projective complex variety, and let G be an algebraic reductive complex group. We define the notion of principal G-sheaf, that generalises the notion of principal G-bundle. Then we define a notion of semistability, and construct the projective moduli space of semistable principal G-sheaves on X. This is a natural compactification of the moduli space of principal G-bundles. This is the announcement note presented by the second author in the conference held at Catania (11-13 April 2001), dedicated to the 60th birthday of Silvio Greco. Detailed proofs will appear elsewhere.
We prove sharp bounds on the discriminants of stable rank two sheaves on surfaces in three-dimensional projective space. The key technical ingredient is to study them as torsion sheaves in projective space via tilt stability in the derived category. We then proceed to describe the surface itself as a moduli space of rank two vector bundles on it. Lastly, we give a proof of the Bogomolov inequality for semistable rank two sheaves on integral surfaces in three-dimensional projective space in all characteristics.
In a previous paper, the first two named authors established an isomorphism between the moduli space of framed flags of sheaves on the projective plane and the moduli space of stable representations of a certain quiver. In the present note, we substitute one of the claims made, namely [5, Theorem 17], for a weaker claim regarding the existence of unobstructed points in the quiver moduli space. We also extend some of the results of the cited paper, concerning the maximal stability chamber within which the isomorphism mentioned holds, and the existence of a perfect obstruction theory for the qui…
We study semi-stable sheaves of rank $2$ with Chern class $c_1=0$, $c_2=2$ and $c_3=0$ on the Fano 3-folds $V_4$ of Picard number $1$, degree $4$ and index $2$. We show the moduli space of such sheaves is isomorphic to the moduli space of semi-stable rank $2$ even degree vector bundles on a genus $2$ curve. This provides a natural smooth compatification of the moduli space of Ulrich bundles of rank $2$ on $V_4$.
We describe new irreducible components of the moduli space of rank $2$ semistable torsion free sheaves on the three-dimensional projective space whose generic point corresponds to non-locally free sheaves whose singular locus is either 0-dimensional or consists of a line plus disjoint points. In particular, we prove that the moduli spaces of semistable sheaves with Chern classes $(c_1,c_2,c_3)=(-1,2n,0)$ and $(c_1,c_2,c_3)=(0,n,0)$ always contain at least one rational irreducible component. As an application, we prove that the number of such components grows as the second Chern class grows, an…
Symplectic instanton vector bundles on the projective space $\mathbb{P}^3$ constitute a natural generalization of mathematical instantons of rank 2. We study the moduli space $I_{n,r}$ of rank-$2r$ symplectic instanton vector bundles on $\mathbb{P}^3$ with $r\ge2$ and second Chern class $n\ge r,\ n\equiv r({\rm mod}2)$. We give an explicit construction of an irreducible component $I^*_{n,r}$ of this space for each such value of $n$ and show that $I^*_{n,r}$ has the expected dimension $4n(r+1)-r(2r+1)$.
I will explain my joint paper `Instantons moduli spaces and W-algebras' with A.Braverman, M.Finkelberg, arXiv:1406.2381. I will concentrate on the geometric part, that is a study of perverse sheaves on instanton moduli spaces. I place a particular emphasize on the hyperbolic restriction functor and stable envelop, which are our key tools, and appear also in other situations in geometric representation theory. These are lecture notes for a course in 2015 PCMI.
The problem of irreducibility of the moduli space I_n of rank-2 mathematical instanton vector bundles with arbitrary positive second Chern class n on the projective 3-space is considered. The irreducibility of I_n was known for small values of n: Barth 1977 (n=1), Hartshorne 1978 (n=2), Ellingsrud and Stromme 1981 (n=3), Barth 1981 (n=4), Coanda, Tikhomirov and Trautmann 2003 (n=5). In this paper we prove the irreducibility of I_n for an arbitrary odd n.
We propose a notion of instanton bundle (called $H$-instanton bundle) on any projective variety of dimension three polarized by a very ample divisor $H$, that naturally generalizes the ones on $\mathbb{P}^3$ and on the flag threefold $F(0,1,2)$. We discuss the cases of Veronese and Fano threefolds. Then we deal with $H$-instanton bundles $\mathcal{E}$ on three-dimensional rational normal scrolls $S(a_0,a_1,a_2)$. We give a monadic description of $H$-instanton bundles and we prove the existence of $μ$-stable $H$-instanton bundles on $S(a_0,a_1,a_2)$ for any admissible charge $k=c_2(\mathcal{E})…
