We construct a moduli space of stable pairs over a smooth projective variety, parametrizing morphisms from a fixed coherent sheaf to a varying sheaf of fixed topological type, subject to a stability condition. This generalizes the notion used by Pandharipande and Thomas, following Le Potier, where the fixed sheaf is the structure sheaf of the variety. We then describe the relevant deformation and obstruction theories. We show the existence of the virtual fundamental class in special cases. Last, we study examples of stable pairs over surfaces.iii Acknowledgements

Let X be a smooth projective surface of irregularity 0. The Hilbert scheme of n points on X parameterizes zero-dimensional subschemes of X of length n. In this paper, we discuss general methods for studying the cone of ample divisors on the Hilbert scheme. We then use these techniques to compute the cone of ample divisors on the Hilbert scheme for several surfaces where the cone was previously unknown. Our examples include families of surfaces of general type and del Pezzo surfaces of degree 1. The methods rely on Bridgeland stability and the Positivity Lemma of Bayer and Macri.Comment: 18 pages, comments welcome

No abstract

No abstract