Definición del haz de estructura en SpecASpecA\text{Spec} A

En su libro Geometría algebraica, Hartshorne define la estructura del haz de Especificaciones A ser el conjunto de funciones s : tu pag tu A pag tal que s ( pag ) A pag y s es localmente un cociente de elementos de A , es decir, para cada pag tu , existe una vecindad abierta de pag (decir V ) tal que para todos q V , tenemos s ( q ) = a / F dónde F q . No estoy seguro de entender esta última parte. Si s ( pag ) A pag para todos pag tu , entonces eso no significa que s ( q ) A q y por lo tanto automáticamente parece a / F , con F q ? Tal vez no estoy entendiendo lo que significa s ( q ) ?

No tengo el libro frente a mí, y han pasado algunos años desde que lo miré, pero se siente como si hubieras mezclado algún orden cuantificador aquí. No debería a y F ser arreglado para todos V ?
Ahhhh, gracias. Así que simplemente leí mal básicamente. ¡Eso tiene mucho más sentido!

Respuestas (1)

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:

O ( tu ) = { s pag tu A pag : s  es localmente consistente } ,

dónde " s es localmente consistente" se define por

pag tu   a , F A   q tu D ( F ) .   s ( q ) = a / F
Una definición alternativa es
O ( tu ) = límite D ( F ) tu A [ F 1 ] .

Sí, la última definición es la que encontré por primera vez en el excelente libro de texto de Qing Liu y estaba tratando de reconciliar ambas definiciones, pero ahora tiene sentido. ¡Gracias!