TOPICS
Search

Locally Ringed Space


A locally ringed space is a ringed space (X,O_X) such that every stalk O_(X,x) is a local ring. A morphism of locally ringed spaces consists of a continuous map f:X->Y and a compatible morphism f^#:O_Y->f_*O_X of sheaves of rings. Compatibility with restriction maps gives induced stalk maps f_x^#:O_(Y,f(x))->O_(X,x), each of which must be a local ring homomorphism.

Every scheme is a locally ringed space. Its sheaf of rings is its structure sheaf.


See also

Local Ring, Ringed Space, Scheme, Sheaf, Stalk, Structure Sheaf

Explore with Wolfram|Alpha

References

Hartshorne, R. Algebraic Geometry. New York: Springer-Verlag, 1977.The Stacks Project Authors. "Locally Ringed Spaces." §26.2 in The Stacks Project, Tag 01HA, 2026. https://stacks.math.columbia.edu/tag/01HA.

Cite this as:

Weisstein, Eric W. "Locally Ringed Space." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/LocallyRingedSpace.html

Subject classifications