Estoy tratando de entender el Lema 29.3.1 .
Comenzamos con un esquema cuasi compacto. Entonces tenemos la siguiente construcción:
Dejemos que XX sea un esquema. x∈Xx∈X un punto cerrado, U=Spec(A)⊆XU=Spec(A)⊆X una vecindad afín. Z=X∖U,Z′=X∪{x} . Hay gavillas cuasi-coherentes de ideales I , I′ recortando Z y Z′ . Dar el SES, 0→I′→I→I/I′→0
En la línea 9 de la prueba se afirma que
I/I′ en U corresponde a la A -Módulo A/m , donde m es el ideal máximo en A correspondiente a x .
No entiendo por qué.
Lo conocemos como presheaves, I(U)=A,I′(U)=m . Pero I/I′ es la sheafifficación(?), ¿cómo sabemos I/I′(U)=A/m ?