• Registro
Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






Para una variedad casi-afin se tiene que $dim Y = dim \overline{Y}$

+1 voto
En el libro "Algebraic Geometry" de Harsthorne la proposición 1.10 dice que para toda variedad casi-afin se tiene que

 $dim Y = dim \overline{Y}$

En la prueba toma una cadena maximal de cerrados irreducibles

$Z_0 \subset Z_1 \subset \cdots \subset Z_n$

y muestra que la cadena "cerrada"

$\overline{Z_0} \subset\overline{Z_1} \subset \cdots \subset \overline{Z_n}$

también es maximal en $\overline{Y}$.

Mi duda es ¿cómo asegurar que cualquier cadena maximal de cerrados irreducibles es de la misma longitud $n$?
preguntado por Aq Jhs (180 puntos) Ago 28, 2014 en Geometría
reetiquetada por Aq Jhs Ago 30, 2014
No puedes asegurar tal cosa, es ampliamente probable que existan diversas cadenas maximales con distintas longitudes. Pero esto no importa, porque sólo te preocupa la máxima posible longitud. Por ello, lo que escribes acerca de la cadena "cerrada" únicamente te sirve para concluir que $\mathrm{dim}(Y)\leq\mathrm{dim}(\bar{Y})$. Para la otra desigualdad, tienes que argumentar por separado (aquí es donde Hartshorne mete alturas de ideales primos y cosas así). No sé si tu duda sea más bien respecto de este segundo argumento.
Asi es, no me queda claro el argumento de las alturas de los ideales. Voy a checarlo.
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...