Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Non-quasi-coherent sheaves of $\mathcal O_X$ modules on a scheme seem like a wild concept to me; are they actually used for something?

share|improve this question
10  
Canonical flasque resolutions, infinite direct products, extension by zero from a locally closed set (see the discussion of excision early in SGA2), sheaf-Hom (and sheaf-Ext) between quasi-coherent sheaves, topological pullbacks of sheaves (even q-coh. ones) along scheme morphisms,... –  BCnrd Nov 2 '10 at 15:08
    
If $X$ is a scheme defined over a base $S$, and $G$ is a group scheme over $S$, then we get a sheaf on $X$ induced by $G$ (namely the sheaf of $S$ morphisms from $X$ to $G$). This is not in general quasi-coherent. The sheaf induced by $G_m$ in particular occurs a lot in nature, for example $H^1(X, G_m) = Pic(X)$. –  Daniel Loughran Nov 2 '10 at 15:17
    
Dear Daniel: that's not a sheaf of $O_X$-modules in most cases (e.g., not for $\mathbf{G}_m$). –  BCnrd Nov 2 '10 at 15:34
1  
General module sheaves appear as soon as you want to consider schemes as a full subcategory of ringed spaces. And this happens, of course, very often, for example when some constructions leave the category of schemes. –  Martin Brandenburg Nov 2 '10 at 15:49
    
@BCnrd: Woops sorry I misread the question. Thanks for pointing that out! –  Daniel Loughran Nov 2 '10 at 16:14

1 Answer 1

up vote 4 down vote accepted

One can think the adeles on a curve (or higher adeles on other spaces) as a sheaf of $\mathcal O$-algebras. That is, consider the sheaf $B(U)=\prod_{x\in U}\mathcal O_x$, where $\mathcal O_x$ is the completion of $\mathcal O$. Then the sheaf $A=B\otimes K$, where $K$ is the sheaf of rational functions, has the adeles as global sections. There is a short exact sequence $\mathcal O\to K\times B\to A$. One can tensor a quasicoherent sheaf with this to obtain a resolution to compute cohomology. Indeed, Weil introduced the adeles (after the earlier ideles) specifically to prove Riemann-Roch. I'm not sure when this was reinterpreted in terms of sheaves, which were only introduced later.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.