structure sheaf
Let be an irreducible algebraic variety over a field , together with the Zariski topology. Fix a point and let be any affine open subset of containing . Define
where is the coordinate ring of and is the fraction field of . The ring is independent of the choice of affine open neighborhood of .
The structure sheaf on the variety is the sheaf of rings whose sections on any open subset are given by
and where the restriction map for is the inclusion map .
There is an equivalence of categories under which an affine variety with its structure sheaf corresponds to the prime spectrum of the coordinate ring . In fact, the topological embedding gives rise to a latticeβpreserving bijection11Those who are fans of topos theory will recognize this map as an isomorphism of topos. between the open sets of and of , and the sections of the structure sheaf on are isomorphic to the sections of the sheaf .
Title | structure sheaf |
---|---|
Canonical name | StructureSheaf |
Date of creation | 2013-03-22 12:38:20 |
Last modified on | 2013-03-22 12:38:20 |
Owner | djao (24) |
Last modified by | djao (24) |
Numerical id | 4 |
Author | djao (24) |
Entry type | Definition |
Classification | msc 14A10 |