quasi-coherent modules outside algebraic geometry? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T11:37:02Z http://mathoverflow.net/feeds/question/45421 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/45421/quasi-coherent-modules-outside-algebraic-geometry quasi-coherent modules outside algebraic geometry? Martin Brandenburg 2010-11-09T11:16:19Z 2010-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>