9 votos

Condiciones de ejercicio de Hartshorne II.7.1

Hartshorne, "la Geometría Algebraica," el Ejercicio II.7.1, se lee:

Deje (X,OX)(X,OX) ser localmente anillado espacio, y dejan f:LM ser un surjective mapa de invertible poleas en X. Mostrar que f es un isomorfismo.

Para probar esto, me cuenta que una de morfismos de poleas es inyectiva (resp. surjective) iff es inyectiva (resp. surjective) sobre los tallos. Por lo tanto fP es surjective para cada una de las PX. Desde L M son invertible, LPMPOX,P OX,P- módulos. De álgebra conmutativa, un surjective endomorfismo de finitely generada por los módulos a través de cualquier anillo es en realidad un automorphism, por lo f es un isomorfismo en los tallos y por lo tanto un isomorfismo de las poleas.

Este argumento suena bien para mí, pero ahora estoy preocupada porque yo no uso muchas de las condiciones en el problema, podría debilitar a un arbitrario (en lugar de localmente) rodeada de espacio, a cualquier localmente libre de las poleas del mismo rango o incluso a algo un poco más débil (es decir, que L M son localmente isomorfo), etc.

He perdido de algo aquí? ¿O es que el resultado se mantenga en mucho más amplia generalidad, sin ninguna modificación?

8voto

Nir Puntos 136

Es álgebra grado elemental y no tiene nada que ver con anillos locales ni Nakayama:

Uno se reduce a mostrar que dado un comutativo anillo A, cualquier % sobreyectiva A-linear mapa f:AA de hecho es biyectiva.
Desde f(x)=f(x1)=xf(1), el mapa f tiene la forma f(x)=ux (u:=f(1)).
f Es sobreyectiva, existe vA 1=f(v)=uv.
Esto implica que u es invertible y f así es biyectiva con inversa f1(y)=vy.

4voto

Jeff Puntos 804

Daniel McLaury, tienes razón. La prueba misma trabaja en las siguientes Generalidades: si X es un espacio anillado, son de F,G OX módulos tales que para cada xX allí es un isomorfismo FxGx y este OX,x-módulo finitamente generado, entonces cada % epimorphism FGes un isomorfismo. La razón es que FxGx es un isomorfismo para cada xX, por Nakayama. Por supuesto este argumento simplifica cuando F,G invertible, ver respuesta de Georges.

1voto

mkoeller Puntos 3101

Han utilizado ese fP es un endomorphisme. Por lo menos, necesita asumir que L y M son localmente isomorfo.

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