Variedad Proyectiva

Una variedad proyectiva es un subconjunto X del espacio proyectivo P^n sobre un cuerpo (típicamente algebraicamente cerrado) definido como el lugar común de ceros de una colección de polinomios homogéneos; se equipa con la topología de Zariski y su estructura algebraica se precisa mediante anillos de coordenadas o esquemas.