Questions tagged [locally-ringed-spaces]

The tag has no usage guidance.

8 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
23 votes
0 answers
1k views

Riemannian manifolds etc. as locally ringed spaces?

There are, among others, three general ways of equipping a "space" (which for the purposes of this question could be a topological space or a differentiable manifold, according to the case) with ...
Qfwfq's user avatar
  • 22.7k
7 votes
0 answers
249 views

Does a field extension define an effective descent morphism for locally ringed spaces?

Let $K'/K$ be an extension of fields and set $X=\operatorname{Spec}(K)$ and $X'=\operatorname{Spec}(K')$. As the category of locally ringed spaces has fibre products (see arXiv:1103.2139 or here) we ...
Michael's user avatar
  • 71
6 votes
0 answers
162 views

Is the category of diffeological spaces a full subcategory of locally ringed spaces?

It is known that the natural functor of smooth functions from the category of smooth manifolds into the category of locally ringed spaces is a full embedding (see, for example, here). Is a similar ...
Arshak Aivazian's user avatar
2 votes
0 answers
109 views

Canonicity in split sequence in cotangent spaces

Let $X$ be a locally ringed space. We have for a point $p$ the exact sequence $$0\to \mathfrak{m}_p^2\to \mathfrak{m}_p\to \mathfrak{m}_p/\mathfrak{m}_p^2 \to 0$$ where $\mathfrak{m}_p$ is the maximal ...
Arturo's user avatar
  • 167
2 votes
0 answers
90 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)...
Dat Minh Ha's user avatar
  • 1,472
2 votes
0 answers
62 views

For which locally ringed spaces is the structure sheaf given by LRS morphisms to the real line?

Let $\mathsf{LRS}_{\mathbb R}$ denote the category of locally $\mathbb R$-ringed spaces. Given a locally ringed space $(X,\mathcal O_X)$, write $C_{(X,\mathcal O_X)}^p$ for the hom-sheaf on $X$ of ...
Arrow's user avatar
  • 10.3k
2 votes
0 answers
319 views

Immersions of locally ringed spaces and locally closed image

Let $f:X\to Y$ be a morphism of locally ringed spaces. In this MSE answer, the first definition below is suggested. Say $f:X\to Y$ is an $R$-immersion of locally ringed spaces if it's a topological ...
Arrow's user avatar
  • 10.3k
1 vote
0 answers
208 views

Embedding dimension: local finiteness & intuition for more general spaces

Can every complex analytic space be covered by Stein spaces of finite embedding dimension? I am almost sure that ought to be true. Here the definition of embedding dimension I have in mind is $$ \...
A Rock and a Hard Place's user avatar