En su libro Geometría algebraica, Hartshorne define la estructura del haz de ser el conjunto de funciones tal que y es localmente un cociente de elementos de , es decir, para cada , existe una vecindad abierta de (decir ) tal que para todos , tenemos dónde . No estoy seguro de entender esta última parte. Si para todos , entonces eso no significa que y por lo tanto automáticamente parece , con ? Tal vez no estoy entendiendo lo que significa ?
La pregunta fue respondida por Arthur en los comentarios . Aquí hay una definición más formal de la estructura del haz que debería dejarlo más claro:
dónde " es localmente consistente" se define por
Arturo
Saegusa