Scheme
Builds on Locally ringed spaceAffine scheme
Definition
A scheme is a locally ringed space such that every point has an open neighbourhood for which is an affine scheme.
Remarks
Example: every affine scheme is a scheme, with for every point. Example: the projective line over a field is a scheme: it is covered by two open sets, each isomorphic to . It is not affine, since its ring of global functions is , while is a single point. Non-example: the one-point space with sheaf is a ringed space but not a scheme. Its stalk is not a local ring, so it is not even locally ringed. An open subset of a scheme, with the restricted sheaf , 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
- no evidence level
- Affine scheme concept
- Locally ringed space concept
- Scheme definition
Further reading
About this page
| Tag | RSC5KTVNZD |
|---|---|
| URI | m2://RSC5KTVNZD |
| Kind | definition |
| Writing | W0 stub |
| MSC | 14A15 |
| Defines | Scheme |
| Uses | Locally ringed space, Affine scheme |
| Changed | 2 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.