Math 2.0

Algebraic geometry Definition

Scheme

Builds on Locally ringed spaceAffine scheme

Definition

A scheme is a locally ringed space (X,𝒪X)(X, \mathcal{O}_X) such that every point x∈Xx \in X has an open neighbourhood UU for which (U,𝒪X∣U)(U, \mathcal{O}_X|_U) is an affine scheme.

Remarks

Example: every affine scheme Spec⁡A\operatorname{Spec} A is a scheme, with U=XU = X for every point. Example: the projective line ℙk1\mathbb{P}^1_k over a field kk is a scheme: it is covered by two open sets, each isomorphic to Spec⁡k[t]\operatorname{Spec} k[t]. It is not affine, since its ring of global functions is kk, while Spec⁡k\operatorname{Spec} k is a single point. Non-example: the one-point space with sheaf ℤ\Z is a ringed space but not a scheme. Its stalk ℤ\Z is not a local ring, so it is not even locally ringed. An open subset UU of a scheme, with the restricted sheaf 𝒪X∣U\mathcal{O}_X|_U, is again a scheme, called an open subscheme.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Affine scheme concept
  2. Locally ringed space concept
  3. Scheme definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Scheme_(mathematics)
About this page
TagRSC5KTVNZD
URIm2://RSC5KTVNZD
Kinddefinition
WritingW0 stub
MSC14A15
DefinesScheme
UsesLocally ringed space, Affine scheme
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.