Moduli spaces of complexes of sheaves

<p>This thesis is on moduli spaces of complexes of sheaves and diagrams of such moduli spaces. The objects in these diagrams are constructed as geometric invariant theory quotients and the points in these quotients correspond to certain equivalence classes of complexes. The morphisms in these...

Full description

Bibliographic Details
Main Author: Hoskins, V
Other Authors: Kirwan, F
Format: Thesis
Language:English
Published: 2011
Subjects:
Description
Summary:<p>This thesis is on moduli spaces of complexes of sheaves and diagrams of such moduli spaces. The objects in these diagrams are constructed as geometric invariant theory quotients and the points in these quotients correspond to certain equivalence classes of complexes. The morphisms in these diagrams are constructed by taking direct sums with acyclic complexes. We then study the colimit of such a diagram and in particular are interested in studying the images of quasi-isomorphic complexes in the colimit.</p><p>As part of this thesis we construct categorical quotients of a group action on unstable strata appearing in a stratification associated to a complex projective scheme with a reductive group action linearised by an ample line bundle. We study this stratification for a closed subscheme of a quot scheme parametrising quotient sheaves over a complex projective scheme and relate the Harder-Narasimhan types of unstable sheaves with the unstable strata in the associated stratification. We also study the stratification of a parameter space for complexes with respect to a linearisation determined by certain stability parameters and show that a similar result holds in this case.</p><p>The objects in these diagrams are indexed by different Harder-Narasimhan types for complexes and are quotients of parameter schemes for complexes of this fixed Harder-Narasimhan type. This quotient is given by a choice of linearisation of the action and so the diagrams depend on these choices. We conjecture that these choices can be made so that for any quasi-isomorphism between complexes representing points in this diagram both complexes are identified in the colimit of this diagram.</p>