quasi-coherent modules outside algebraic geometry? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-23T11:37:02Zhttp://mathoverflow.net/feeds/question/45421http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/45421/quasi-coherent-modules-outside-algebraic-geometryquasi-coherent modules outside algebraic geometry?Martin Brandenburg2010-11-09T11:16:19Z2010-11-09T11:16:19Z
<p>Let $X$ be a ringed space. A quasi-coherent module on $X$ is a module which has locally a presentation, i.e. locally on $X$, it is the cokernel of a map between free modules. If $X$ is a scheme, then the category of quasi-coherent modules on $X$ or its derived category are quite important to understand $X$. In the <a href="http://math.columbia.edu/algebraic_geometry/stacks-git/modules.pdf" rel="nofollow">stacks project (modules)</a> you can find some theorems about quasi-coherent modules on arbitrary ringed spaces. Now I wonder if this is just abstract nonsense:</p>
<p><strong>Question</strong>: Are there nontrivial, interesting examples of quasi-coherent modules on ringed spaces, which are no schemes? Or do they play no role outside algebraic geometry?</p>
<p>Of course, locally free modules of finite rank correspond to vector bundles and are important in other geometries as well (for example, manifolds when regarded as locally ringed spaces). Are there other quasi-coherent modules of interest?</p>