Abstract
Here, a Galois A-object is exactly what geometers mean by a principal homogeneous space (PHS) for Spec A over Spec R, the Extzar refers to extensions of sheaves in the Zariski topology over R, and AD is the linear R-dual of A. We wish to give a new, short proof of this theorem having two advantages: It applies even when Spec R is replaced by an arbitrary prescheme, and it explains why only the Zariski topology is needed. The price paid is that a certain amount of machinery is used, the proof we give being less explicit than the original one. If 7r: Y-)X is an affine morphism of preschemes, we shall say that Y is locally a projective module over X if and only if for every affine open U in X, r(7r-(U), oy) is a projective r(u, ox) module. As an example, if X is noetherian and Y is finite and flat over X, then Y is locally a projective module over X.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.