Ringed space

In mathematics, a ringed space is a special way to study shapes and numbers together. It connects a topological space—which tells us about points and neighborhoods—with rings of numbers that change depending on where we look in that space. These rings are linked by special maps called ring homomorphisms, which act like rules for how the numbers behave when we move from one part of the space to another.

A key idea in a ringed space is the structure sheaf, a tool that assigns a ring of numbers to every open area of the space. This helps us understand how functions, like those that describe continuous changes, behave across the whole space. One important type of ringed space is called a locally ringed space, where the numbers at each point behave like the values of smooth functions near that point.

Ringed spaces are useful in many areas of math, such as analysis, complex algebraic geometry, and scheme theory, which studies geometric shapes using algebra. Most books, like Hartshorne, assume these rings are commutative rings, meaning they follow certain basic rules when multiplied, though some advanced works do not require this restriction.

Definitions

A ringed space is a special way to study shapes and patterns in mathematics. It combines a topological space — which tells us about points and their neighborhoods — with a collection of number systems (called rings) that change depending on where you look in the space. These rings are organized in a structure called a sheaf, which helps us understand how they relate across different parts of the space.

A locally ringed space is a type of ringed space where, when you zoom in on a single point, the number system there has a special property. This makes it useful for studying more complex mathematical ideas, like how shapes can change locally.

Examples

In a ringed space, we can think of a topological space with extra information attached to its open areas. For example, if we have any topological space, we can create a locally ringed space by using the sheaf of real-valued or complex-valued continuous functions on its open subsets. At each point, this creates a local ring of germs of continuous functions.

If the space is a manifold, we can use differentiable or holomorphic functions instead. For algebraic varieties with the Zariski topology, we can use rational mappings that do not become infinite within the open set. These ideas lead to more general structures like schemes, which are formed by gluing together spectra of commutative rings.

Main article: Spectrum

Main articles: Scheme, Locally ringed space

Morphisms

A morphism between two ringed spaces consists of two parts: a continuous map between the spaces and a special kind of map between their structure sheaves. This means we need a way to move from one space to another while also ensuring the ring structures match up correctly.

For locally ringed spaces, there is an extra condition: the maps between the local rings must respect the "maximal ideals," which are special subsets of the rings. This helps keep the structures consistent when moving between spaces. These morphisms can be combined, forming categories of ringed spaces and locally ringed spaces.

Tangent spaces

See also: Zariski tangent space

Locally ringed spaces help us understand how things change at a point. Imagine you have a point on a shape and you want to know how things "differentiate" or change around that point.

To do this, we look at special numbers called a "field" and a space of values called a "vector space." The tangent space, which tells us about these changes, is defined using the dual of this vector space. This gives us a way to understand how functions behave near a specific point.

Modules over the structure sheaf

Main article: Sheaf of modules

When we have a special kind of space called a locally ringed space, we can study certain collections of objects called sheaves of modules. These sheaves follow special rules that connect them to the rings on the space.

For each open part of the space, these sheaves act like modules, which are like groups with extra structure. When we look closely at any single point, the collections at that point also have this module-like property. This helps mathematicians understand how different parts of the space relate to each other.