A Zariski sheaf is a functor represented by a scheme if it has a set of open subfunctors represented by affine schemes whose pullbacks cover every test scheme. The overlaps are open subschemes in both charts, and their identifications satisfy the compatibility on triple overlaps. Gluing of schemes along open subschemes produces a representing scheme; the Zariski sheaf condition identifies its functor of points with . Conversely, every affine open cover of a scheme supplies such a presentation. A family of local charts covers in this sense without requiring every global element to belong to a single chart.

Ancestors (9)

  1. Functor represented by a scheme
  2. Scheme
  3. Locally ringed space
  4. Ringed space
  5. Algebraic geometry
  6. Geometry and topology
  7. Area of mathematics
  8. Mathematics
  9. Home

Incoming links (1)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version