Encyclopedia > Locally ringed space

  Article Content

Locally ringed space

In topology, a locally ringed space is a topological space X, together with a sheaf F on X, such that the stalks of X are commutative local rings. For example we can take F to be the sheaf of continuous functions with real values on X. If X is a manifold with some extra structure, we can take instead the sheaf of differentiable, or complex-analytic, or piecewise-linear functions.

The idea of a locally-ringed space is that of a rather general geometrical object. There is also some non-trivial general theory associated to them. One must be rather more careful in defining sheaf of local rings than with sheaf of groups or other algebraic structure. It is not at all the case that F(U) is a local ring for open sets U of X: a ring, yes.

One can trace this back to the logical form of the definition of local ring. In a clean logical formulation, it can be put as 'for all r in R, either there is s with sr = 1 or t with t(1-r) = 1'. In topos theory it is shown how the theory therefore qualifies for a classifying topos, which parametrises local rings. The structure of a locally ringed space is equivalent to the right kind of morphism to this topos - which can also be identified via algebraic geometry.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Quackery

... consider it unethical to lie to a patient about the chance of success of their treatment. Quacks do not have these ethical constraints. Side effects from real ...

 
 
 
This page was created in 25.2 ms