A través de un divisor muy amplio se puede incrustar una superficie de Riemann holomórficamente en alguna $\mathbb{P}^n$ . Ahora, podemos proyectar la superficie de Riemann a $\mathbb{P}^3$ y podemos ir hasta $\mathbb{P}^2$ si permitimos los nodos.
Si tenemos una superficie de Riemann $X$ y una incrustación $f:X\to \mathbb{P}^2$ (donde la imagen es suave), entonces podemos encontrar la ecuación para $f(X)$ (se retiran las funciones meromórficas $x_0/x_1$ y $x_1/x_2$ a través de $f$ , donde $x_0,x_1,x_2$ son las coordenadas homogéneas de $\mathbb{P}^2$ ; estos son algebraicamente dependientes sobre $\mathbb{C}$ y por tanto deben satisfacer algún polinomio. El cierre proyectivo de los ceros de este polinomio es exactamente $f(X)$ ).
He estado leyendo el libro de Shafarevich Geometría algebraica I y en la página 86 describe cómo encontrar las ecuaciones para un mapeo a $\mathbb{P}^n$ . Simplemente afirma que si tienes un mapa de $X$ a $\mathbb{P}^n$ entonces, como podemos proyectar, podemos reducir al caso de que el mapa vaya a $\mathbb{P}^2$ y básicamente hemos terminado.
Si la superficie de Riemann está en $\mathbb{P}^3$ Por ejemplo, no veo por qué el método anterior garantiza que se defina mediante ecuaciones... Es la imagen en $\mathbb{P}^2$ posiblemente tendría nodos... ¿Alguna idea?
Quiero demostrar que una superficie compacta de Riemann en $\mathbb{P}^3$ es algebraico, es decir, puede definirse mediante ecuaciones polinómicas.