Deje $X$ $\mathbb{C}$- variedad y deje $X_{cx}$ denotar el topológica del espacio formado por las $\mathbb{C}$de los puntos con la topología compleja (es decir, los asociados de la analítica en el espacio).
Si $X$ es proyectivo, entonces $X_{cx}$ es un compacto de espacio topológico. Yo estaba pensando en el conversar y encontrar una GAGA-cite que $X_{cx}$ es compacto iff $X$ es adecuado. Esto no era lo que yo esperaba: Si se dibuja, por ejemplo, los puntos reales de la variedad definida por $X^2+Y^2+Z^2=1$, se obtiene un $2$-esfera que es compacto y agradable.
Puedo pensar en $\mathbb{C}$-puntos honestamente sólo para las curvas desde $\mathbb{R}^{\geq 4}$ es más allá de lo que puedo imaginar como un todo (y compacidad no es un local de propiedad). Por lo tanto, si la GAGA citado teorema es verdadero, debe haber una gran diferencia en relación a la compacidad entre lo real y la imagen compleja.
¿Por qué no hay no-trivial afín $X$ $X_{cx}$ compacto (una adecuada afín de morfismos es finito) y donde es (moralmente) la diferencia a la imagen real?