First order thickenings and cotorsors

Nicholas Mertes

Let $X$ be a scheme and let $\mathcal{M}$ be a quasi-coherent sheaf on $X$. Then $\mathcal{M}$ can be viewed as a cogroup object in the category of schemes under $X$. We show that…