Welcome to MathOverflow

Question

4

1

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?

flag	asked Nov 2 2010 at 14:32 James Davidoff 279●1●6

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 2010 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 2010 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 2010 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 2010 at 15:49

@BCnrd: Woops sorry I misread the question. Thanks for pointing that out! – Daniel Loughran Nov 2 2010 at 16:14

Ben Wieland · Accepted Answer · 2010-11-02 16:54:32Z UTC

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.

When are non-quasi-coherent sheaves used?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.