monad in algebraic geometry

In algebraic geometry the local model is an affine scheme: affine schemes are glued in various topologies like Zariski and flat to obtain algebraic schemes, algebraic spaces and so on.

Grothendieck emphasised the relative point of view: the main foundational effort should be devoted to the study of properties of morphisms rather than spaces. Thus one can consider an affine morphism instead of an affine scheme; affine morphism f:XSf: X\to S can be considered as a relative affine scheme over SS, intuitively a bundle of affine schemes. If SS is itself an affine scheme, corresponding to a ring R SR_S and ff is affine then ff is the opposite of a morphism f :R SR Xf^\circ : R_S\to R_X where X=SpecR XX = Spec R_X.

By the Gabriel-Rosenberg theorem a scheme can be reconstructed from the category of quasicoherent sheaves over a scheme. Thus one is tempted to replace the properties of morphisms by properties of the “geometric functors” among the corresponding categories of quasicoherent sheaves. The properties of affine morphisms were first elucidated in Serre’s criterium of affineness. It appears that the direct image functor f *:Qcoh SQcoh Xf_* : Qcoh_S\to Qcoh_X of an affine morphism f:XSf:X\to S is faithful and having its own right adjoint f !f^!. The adjunction f *f *f^*\dashv f_* induces a monad making Qcoh XQcoh_X monadic over Qcoh SQcoh_S. If SS were just SpecSpec \mathbb{Z} then this is clear as then X=SpecR XX = Spec R_X and Qcoh X= RModQcoh_X = {}_R Mod.

Last revised on April 13, 2016 at 16:02:11. See the history of this page for a list of all contributions to it.