Ringed space

In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of rings called a structure sheaf. It is an abstraction of the concept of the rings of continuous (scalar-valued) functions on open subsets. Among ringed spaces, especially important and prominent is a locally ringed space: a ringed space in which the analogy between the stalk at a point and the ring of germs of functions at a point is valid. Ringed spaces appear in analysis as well as complex algebraic geometry and the scheme theory of algebraic geometry. Note: In the definition of a ringed space, most expositions tend to restrict the rings to be commutative rings, including Hartshorne and Wikipedia. "Éléments de géométrie algébrique", on the other hand, does not impose the commutativity assumption, although the book mostly considers the commutative case. A ringed space is a topological space together with a sheaf of rings on . The sheaf is called the structure sheaf of . A locally ringed space is a ringed space such that all stalks of are local rings (i.e. they have unique maximal ideals). Note that it is not required that be a local ring for every open set ; in fact, this is almost never the case. An arbitrary topological space can be considered a locally ringed space by taking to be the sheaf of real-valued (or complex-valued) continuous functions on open subsets of . The stalk at a point can be thought of as the set of all germs of continuous functions at ; this is a local ring with the unique maximal ideal consisting of those germs whose value at is . If 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 is an algebraic variety carrying the Zariski topology, we can define a locally ringed space by taking to be the ring of rational mappings defined on the Zariski-open set that do not blow up (become infinite) within .

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (45)

Related courses (2)

Related lectures (21)

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex

MATH-510: Modern algebraic geometry

The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.

Scheme (mathematics)

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations x = 0 and x2 = 0 define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise "Éléments de géométrie algébrique"; one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne).

Ringed space

Algebraic variety

Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly.

Abélianization: Fundamental Groups MATH-225: Topology

Explores abélianization of fundamental groups in commutative spaces with examples and proofs.

Ringed Spaces: Definitions and Properties MATH-510: Modern algebraic geometry

Covers the definitions and properties of ringed spaces, including morphisms and examples of locally ringed spaces.

Algebraic Geometry: Localization and Prime Ideals MATH-510: Modern algebraic geometry

Explores prime ideals and localization in algebraic geometry, highlighting their significance in ring structures.