Deformation of quotients on a product

Abstract

We consider the general problem of deforming a surjective map of modules $f:E\to F$ over a coproduct sheaf of rings $B=B_1{\otimes }_A{B}_2$ when the domain module $E=B_1{\otimes }_A{E}_2$ is obtained via extension of scalars from a $B_2$-module $E_2$. Assuming $B_1$ is flat over $A$, we show that the Atiyah class morphism $F \to \LL_{B/B_2} \otimes^{\bL} F[1]$ in the derived category $D(B)$ factors naturally through (the shift of) a morphism $β: \Ker f \to \LL_{B/B_2} \otimes^{\bL} F$. We describe the obstruction to lifting $f$ over a (square zero) extension $B_1^{\prime }\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).

References in corpus (1)

• Maximal subbundles, quot schemes, and curve counting

Cited by in corpus (2)

• Generalized Donaldson-Thomas theory over fields K $\ne$ C
• Maximal subbundles, quot schemes, and curve counting