Questions tagged [ringed-spaces]
The ringed-spaces tag has no usage guidance.
12
questions
1
vote
0
answers
112
views
Is an infinite direct sum of quasi-coherent $\mathcal{O}_X$-modules quasi-coherent on a complex manifold?
On any ringed space $(X,\mathcal{O}_X)$ we can define quasi-coherent $\mathcal{O}_X$-modules: A sheaf of $\mathcal{O}_X$-modules $\mathcal{F}$ is quasi-coherent if for every point $x\in X$ there ...
8
votes
0
answers
312
views
Who introduced the notion of ringed spaces?
My question is very concise, please forgive it.
Who introduced the concept of ringed space?
My first try would be that they were introduced by Cartan in his study of analytic functions with sheaves. ...
2
votes
0
answers
83
views
References on topological ringed spaces
This is a follow up to this question of mine.
First of all, let me fix some terminologies, which may or may not be standard:
Definition: A topological ringed space is a pair $X := (|X|, \mathcal{O}_X)...
2
votes
3
answers
354
views
Localification of a ringed space
Call a ringed space local it if it lies in the image of the obvious faithful, non-full functor from locally ringed spaces to ringed spaces.
Given a ringed space, is there a map $f$ from it to some ...
10
votes
1
answer
826
views
About the relation between the categories $\text{Sch}$, $\text{LRS}$ and $\text{RS}$
I've asked this question https://math.stackexchange.com/questions/1407451/about-the-relation-between-the-categories-textsch-textlrs-and-text on math.stackexchange , however I don't think I will ...
9
votes
2
answers
333
views
Clifford algebras for quadratic modules over ringed spaces
What is the earliest possible reference for definition and basic properties of Clifford algebras associated to quadratic modules over a ringed space? The ringed space does not need to be locally ...
9
votes
0
answers
585
views
Colimits of quasi-coherent sheaves on a ringed space
Recall from the stacks project that a sheaf of modules $F$ on a ringed space $X$ is called quasi-coherent if there is an open covering $\{U_i\}$ such that each $F|_{U_i}$ has a presentation, i.e. is ...
3
votes
2
answers
443
views
Smooth submanifolds defined by Subrings
To be honest, I don't really know, whether or not the following is a research level
question:
Let $M$ be a smooth manifold, $C^\infty(M)$ the smooth function ring on $M$ and
suppose $R\subset C^\...
5
votes
2
answers
562
views
Coherence for pull-backs and push-forwards
Let $p:X \to S$ and $q:Y\to S$ be two objects in the category of ringed spaces over the ringed space
$S$, and let $f:X \to Y$ be a morphism over $S$.
Given a sheaf $\mathcal{F}$ of $\mathcal{O}_Y$-...
8
votes
1
answer
2k
views
Sheaves of $\mathbb Z$-modules = sheaves of abelian groups
In his "Algebraic Geometry", Hartshorne proves that for any ringed spaces $(X,\mathcal O_X)$, category $Mod(X)$ of sheaves of $\mathcal O_X$-modules has enough injectives. If we take $\...
22
votes
5
answers
5k
views
Cohomology of Structure Sheaves: Algebraic, Constructible and more
I am not an algebraic geometer, but I am a topologist who uses sheaves. I have studied some algebraic geometry and am interested in what happens as I reduce the amount of rigidity in the structure ...
6
votes
0
answers
1k
views
quasi-coherent modules outside algebraic geometry?
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 ...