Ir al contenido

Variedad cuasi-proyectiva

De Wikipedia, la enciclopedia libre

Una variedad cuasi-proyectiva en geometría algebraica es un subconjunto abierto de un conjunto proyectivo cerrado, es decir, la intersección de un subconjunto abierto y un subconjunto cerrado en la topología de Zariski dentro de algún espacio proyectivo. Se utiliza una definición similar en la teoría de esquemas, donde un esquema cuasi-proyectivo es un subesquema localmente cerrado de algún espacio proyectivo . [1]

Mapas Regulares[editar]

Un mapa regular de una variedad cuasi-proyectiva irreducible al espacio proyectivo está dado por una (m+1)-tupla de formas del mismo grado en las coordenadas homogéneas de . Se requiere además que para cada exista una forma tal que para algún ; entonces identificamos con el punto .[2]

La definición anterior provee una forma natural de definir los isomorfismos de variedades cuasi-proyectivas. Un isomorfismo de variedades cuasi-proyectivas es un mapa regular cuya inversa es otro mapa regular.[2]

Relación con variedades afines[editar]

Una variedad afín es una variedad cuasi-proyectiva que es isomorfa a un conjunto cerrado (en la topología de Zariski) de un espacio afín. De lo anterior se sigue que toda variedad afín es cuasi-proyectiva pero no viceversa.

Referencias[editar]

  1. Hazewinkel, Michiel, ed. (2001), «Variedad cuasi-proyectiva», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
  2. a b Shafarevich, I. R. (2013). Basic algebraic geometry 1: varieties in projective space (3rd edition edición). Springer. ISBN 978-3-642-37955-0.