English

Deformation of quotients on a product

Algebraic Geometry 2011-03-30 v1

Abstract

We consider the general problem of deforming a surjective map of modules f:EFf : E \to F over a coproduct sheaf of rings B=B1AB2B=B_1 \otimes_A B_2 when the domain module E=B1AE2E = B_1 \otimes_A E_2 is obtained via extension of scalars from a B2B_2-module E2E_2. Assuming B1B_1 is flat over AA, we show that the Atiyah class morphism F\LLB/B2\bLF[1]F \to \LL_{B/B_2} \otimes^{\bL} F[1] in the derived category D(B)D(B) factors naturally through (the shift of) a morphism β:\Kerf\LLB/B2\bLF\beta : \Ker f \to \LL_{B/B_2} \otimes^{\bL} F. We describe the obstruction to lifting ff over a (square zero) extension B1B1B_1' \to B_1 in terms of β\beta and the class of the extension. As an application, we use the reduced Atiyah class to construct a perfect obstruction theory on the Quot scheme of a vector bundle on a smooth curve (and more generally).

Keywords

Cite

@article{arxiv.1103.5482,
  title  = {Deformation of quotients on a product},
  author = {W. D. Gillam},
  journal= {arXiv preprint arXiv:1103.5482},
  year   = {2011}
}