3 votos

Las gavillas en conjuntos abiertos básicos de un esquema afín, confundidos acerca de las notas de Vakil

Pensé que era generalmente de conseguir mi cabeza alrededor de la gavilla de la estructura definida por el open básica establece un esquema afín, sino de una línea de prueba en Ravi Vakil las notas que se encuentran aquí (página 130) me tiene confundido. Así que para un anillo de $A$ con $s \in A$, $s$ define una sección global de la estructura de la gavilla en $\text{spec}A$ dado por tomar $s \pmod{\mathfrak{p}}$. Para mostrar la identificación de la propiedad para la estructura de la gavilla, Vakil supone que la restricción de $s$ un conjunto abierto, $D(f)$$0$. Que es, se supone, $$ \text{res}_{\text{specA}, D(f)}s = 0. $$ Luego concluye que esto significa que hay algunos entero $m$ tal que $f^{m}s = 0$. Estoy confundido acerca de por qué él saca esta conclusión. Mi razonamiento fue el siguiente:

Si $s$ es cero en la restricción de a $D(f)$, entonces significa que cada primer ideal que no contengan $f$ debe contener $s$. Esto es equivalente a decir que cada primer ideal contiene $fs$. En otras palabras, $fs$ es el cero de la función en $\text{spec}A$. En otras palabras, de nuevo, $fs$ es en el nilradical. Pero entonces, ¿por qué Vakil decir que hay un $m$ tal que $f^{m}s = 0$? Si se refería a $fs$ como un elemento de $A$, entonces seguramente significa $(fs)^{m} = 0$, y si él estaba hablando acerca de $fs$ como una sección global, entonces él significaba $fs = 0$ como una función. Entonces, ¿por $f^{m}s = 0$? Lo que me estoy perdiendo?

Gracias

7voto

Anarkie Puntos 21

Esta es solo la definición de igualdad en la localización. Supongamos que$A$ es un anillo conmutativo y$S \subseteq A$ es un conjunto multiplicativo. Si$\frac{a}{b} = \frac{c}{d}$ en$S^{-1}A$, entonces existe$s \in S$ tal que$s(ad - bc) = 0$. Ahora deje que$S = \{f^m : m \in \mathbb{Z}_{\geq 0}\}$,$b = d = 1$ y$c = 0$: $$ \ frac {a} {1} = \ frac {0} {1} \ implica 0 = f ^ m (a - 0 ) = f ^ ma $$ para algunos$m$.

4voto

Rene Schipperus Puntos 14164

Tiene que ver con la localización. Decir que la restricción es cero significa que$s$ es cero en el anillo$A_f$. Y según la definición de localización, esto es equivalente a$f^ms=0$.

4voto

OJW Puntos 82

Las otras respuestas explican por qué Vakil está en lo correcto, pero ninguna de las dos explica dónde te equivocaste.

Una función no está determinada por su valor en los puntos de un espacio. Por ejemplo,$\mathrm{Spec}(\mathbb{C}[x]/(x^2))$, la sección$x$ no es cero aunque desaparezca en cada primo en el anillo.

Por lo tanto, si primero y solo si, ese$s$ es cero si y solo si desaparece en cada primo, es incorrecto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X