Ringed space


Ringed space

In mathematics, a ringed space is, intuitively speaking, a space together with a collection of commutative rings, the elements of which are "functions" on each open set of the space. Ringed spaces appear throughout analysis and are also used to define the schemes of algebraic geometry.

Definition

Formally, a ringed space is a topological space "X" together with a sheaf of commutative rings "O""X" on "X". The sheaf "O""X" is called the structure sheaf of "X".

A locally ringed space is a ringed space ("X", "O""X") such that all stalks of "O""X" are local rings (i.e. they have unique maximal ideals). Note that it is "not" required that "O""X"("U") be a local ring for every open set "U" — in fact, that is almost never going to be the case.

Examples

An arbitrary topological space "X" can be considered a locally ringed space by taking "OX" to be the sheaf of real-valued (or complex-valued) continuous functions on open subsets of "X" (there may exist continuous functions over open subsets of X which are not the restriction of any continuous function over X). The stalk at a point "x" can be thought of as the set of all germs of continuous functions at "x"; this is a local ring with maximal ideal consisting of those germs whose value at "x" is 0.

If "X" is a manifold with some extra structure, we can also take the sheaf of differentiable, or complex-analytic functions. Both of these give rise to locally ringed spaces.

If "X" is an algebraic variety carrying the Zariski topology, we can define a locally ringed space by taking "OX"("U") to be the ring of rational functions defined on the Zariski-open set "U" which do not blow up (become infinite) within U. The important generalization of this example is that of the spectrum of any commutative ring; these spectra are also locally ringed spaces. Schemes are locally ringed spaces obtained by "gluing together" spectra of commutative rings.

Morphisms

A morphism of ringed spaces is simply a morphism of sheaves. Explicitly, a morphism from ("X", "OX") to ("Y", "OY") is given by the following data:

* a continuous map "f" : "X" → "Y"
* a family of ring homomorphisms φ"V" : "OY"("V") → "OX"("f" -1("V")) for every open set "V" of "Y" which commute with the restriction maps. That is, if "V"1 ⊂ "V"2 are two open subsets of "Y", then the following diagram must commute (the vertical maps are the restriction homomorphisms):

There is an additional requirement for morphisms between "locally" ringed spaces:

*the ring homomorphisms induced by φ between the stalks of "Y" and the stalks of "X" must be "local homomorphisms", i.e. for every "x" ∈ "X" the maximal ideal of the local ring (stalk) at "f"("x") ∈ "Y" is mapped to the maximal ideal of the local ring at "x" ∈ "X".

Two morphisms can be composed to form a new morphism, and we obtain the category of ringed spaces and the category of locally ringed spaces. Isomorphisms in these categories are defined as usual.

Tangent spaces

Locally ringed spaces have just enough structure to allow the meaningful definition of tangent spaces. Let "X" be locally ringed space with structure sheaf "OX"; we want to define the tangent space "Tx" at the point "x" ∈ "X". Take the local ring (stalk) "Rx" at the point "x", with maximal ideal "m""x". Then "k""x" := "Rx"/"mx" is a field and "mx"/"mx2" is a vector space over that field (the cotangent space). The tangent space "Tx" is defined as the dual of this vector space.

The idea is the following: a tangent vector at "x" should tell you how to "differentiate" "functions" at "x", i.e. the elements of "Rx". Now it is enough to know how to differentiate functions whose value at "x" is zero, since all other functions differ from these only by a constant, and we know how to differentiate constants. So we only need to worry about "m""x". Furthermore, if two functions are given with value zero at "x", then their product has derivative 0 at "x", by the product rule. So we only need to know how to assign "numbers" to the elements of "mx"/"mx2", and this is what the dual space does.

"OX" modules

Given a locally ringed space ("X", "OX"), certain sheaves of modules on "X" occur in the applications, the "OX"-modules. To define them, consider a sheaf "F" of abelian groups on "X". If "F"("U") is a module over the ring "OX"("U") for every open set "U" in "X", and the restriction maps are compatible with the module structure, then we call "F" an "OX"-module. In this case, the stalk of "F" at "x" will be a module over the local ring (stalk) "R""x", for every "x"∈"X".

A morphism between two such "OX"-modules is a morphism of sheaves which is compatible with the given module structures. The category of "OX"-modules over a fixed locally ringed space ("X", "OX") is an abelian category.

An important subcategory of the category of "O""X"-modules is the category of "quasi-coherent" sheaves on "X". A sheaf of "O""X"-modules is called quasi-coherent if it is, locally, isomorphic to the cokernel of a map between free "O""X"-modules. A "coherent" sheaf "F" is a quasi-coherent sheaf which is, locally, of finite type and for every open subset "U" of "X" the kernel of any morphism from a free "O""U"-modules of finite rank to "F""U" is also of finite type.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Space Rangers (TV series) — Infobox Television show name = Space Rangers caption = Space Rangers intertitle format = Science Fiction drama runtime = approx. 46 minutes creator = Pen Densham starring = see below country = USA network = CBS first aired = January 6, 1993 last… …   Wikipedia

  • Ringed dotterel — Ring Ring, n. [AS. hring, hrinc; akin to Fries. hring, D. & G. ring, OHG. ring, hring, Icel. hringr, DAn. & SW. ring; cf. Russ. krug . Cf. {Harangue}, {Rank} a row,{Rink}.] A circle, or a circular line, or anything in the form of a circular line… …   The Collaborative International Dictionary of English

  • Space Battleship Yamato planets — This is a list of planets and other significant celestial bodies (as well as massive space stations built into asteroids and other natural objects) featured in the anime series Space Battleship Yamato and its American dub, Star Blazers . The… …   Wikipedia

  • ringed — Ⅰ. ring [1] ► NOUN 1) a small circular band, typically of precious metal, worn on a finger. 2) a circular band, object, or mark. 3) an enclosed space in which a sport, performance, or show takes place. 4) a group of people or things arranged in a …   English terms dictionary

  • Complex analytic space — In mathematics, a complex analytic space is a generalization of a complex manifold which allows the presence of singularities. Complex analytic spaces are locally ringed spaces which are locally isomorphic to local model spaces, where a local… …   Wikipedia

  • Semialgebraic space — In mathematics, especially in real algebraic geometry, a semialgebraic space is a space which is locally isomorphic to a semialgebraic set.DefinitionLet U be an open subset of R n for some n . A semialgebraic function on U is defined to be a… …   Wikipedia

  • Known Space — is the fictional setting of several science fiction novels and short stories written by author Larry Niven. It has also in part been used as a shared universe in the Man Kzin Wars spin off anthologies sub series.The epithet Known Space is an in… …   Wikipedia

  • Cotangent space — In differential geometry, one can attach to every point x of a smooth (or differentiable) manifold a vector space called the cotangent space at x. Typically, the cotangent space is defined as the dual space of the tangent space at x, although… …   Wikipedia

  • Rigid analytic space — In mathematics, a rigid analytic space is an analogue of a complex analytic space over a nonarchimedean field. They were introduced by John Tate in 1962, as an outgrowth of his work on uniformizing p adic elliptic curves with bad reduction using… …   Wikipedia

  • Absolute space — Absolute Ab so*lute, a. [L. absolutus, p. p. of absolvere: cf. F. absolu. See {Absolve}.] 1. Loosed from any limitation or condition; uncontrolled; unrestricted; unconditional; as, absolute authority, monarchy, sovereignty, an absolute promise or …   The Collaborative International Dictionary of English