13.07.2015 Views

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

50 Abel Castorenacomo Teorema <strong>de</strong> Riemann-Roch:Teorema <strong>de</strong> Riemann-Roch. Sea C una superficie <strong>de</strong> Riemann compacta <strong>de</strong> génerog. Sea D un divisor sobre C <strong>de</strong> grado d. Entonces h 0 (C, D) − h 1 (C, D) = d − g + 1.Este es uno <strong>de</strong> los teoremas más importantes en la teoría <strong>de</strong> divisores sobre superficies<strong>de</strong> Riemann compactas y existen diversas pruebas <strong>de</strong> este teorema, algunas son algebraicas,otras utilizan lo que se llama cohomología <strong>de</strong> gavillas. Una prueba basada enuna serie <strong>de</strong> ejercicios y que el lector podría intentar resolverlos se encuentra en ([1], p.50-51). Esta prueba da evi<strong>de</strong>ncia clara <strong>de</strong> la relación entre las superficies <strong>de</strong> Riemanncompactas y las curvas planas con singularida<strong>de</strong>s. Incluso, <strong>de</strong> tal prueba se pue<strong>de</strong><strong>de</strong>ducir la fórmula <strong>de</strong> Plucker más general para curvas planas con singularida<strong>de</strong>s quenosotros enunciaremos más a<strong>de</strong>lante.Como una aplicación sencilla <strong>de</strong>l teorema <strong>de</strong> Riemann-Roch tenemos el siguientehecho:1.- Sea C una superficie <strong>de</strong> Riemann compacta <strong>de</strong> género g y sea p ∈ C un punto.Entonces, existe una función meromorfa no constante f sobre C la cual tiene un únicopolo en q <strong>de</strong> or<strong>de</strong>n a lo más g + 1.Para probar esta afirmación proce<strong>de</strong>mos como sigue: Sea D : C → Z el divisor dadopor D(p) = g + 1 si p = q, y D(p) = 0 si q ≠ p. El grado <strong>de</strong> D es g + 1. Por lafórmula <strong>de</strong> Riemann-Roch h 0 (C, D) = 2 + h 1 (C, D) ≥ 2, entonces existe una funciónmeromorfa no constante f tal que (f)(q) ≥ −D(q), es <strong>de</strong>cir −ord q (f) ≥ −(g + 1), obiene, ord q (f) ≤ g + 1. De hecho notemos que f es holomorfa en todo C − {q}.Ejercicio 13-. Si D 1 , D 2 son dos divisores equivalentes sobre una superficie <strong>de</strong> Riemanncompacta, prueba que L 1 (D 1 ) ≃ L 1 (D 2 ).Sea f : C → CP 1 meromorfa <strong>de</strong> grado k y consi<strong>de</strong>remos η = dz la 1-forma meromorfasobre CP 1 . η. Sea ω := f ∗ (η) = df. Si f se escribe localmente alre<strong>de</strong>dor <strong>de</strong> un punto<strong>de</strong> ramificación q i ∈ C con f(q i ) ≠ ∞ como f(z) = z ki , entonces q i es un cero <strong>de</strong>or<strong>de</strong>n k i − 1 para ω. En los puntos p j don<strong>de</strong> f(p j ) = ∞ se tiene que ω tiene unpolo <strong>de</strong> or<strong>de</strong>n dos. Si R es el conjunto <strong>de</strong> puntos <strong>de</strong> ramificación <strong>de</strong> f, entonces(ω) = ∑∑(k i − 1)q i − 2( k p j ), entonces grado(ω) = ∑ (k i − 1) − 2k. Por la fórmulaq i∈Rj=1<strong>de</strong> Riemann-Hurwitz se tiene que grado(ω) = 2g − 2.Proposición.- Sea C una superficie <strong>de</strong> Riemann compacta y ω 0 una 1-forma meromorfano cero. Entonces grado (ω 0 ) = 2g − 2.Demostración. Sea f : C → CP 1 meromorfa y sea ω = f ∗ (dz). Se tiene que g := ω0ωes una función meromorfa y grado div (g) = 0.Si C es una superficie <strong>de</strong> Riemann <strong>de</strong> compacta, D un divisor <strong>de</strong> sobre C y f 0 , ..., f res una base para L(D), tenemos que la función φ : C → CP r = P(L(D)) dada porφ(p) := [f 0 (p) : · · · : f r (p)] NO esta <strong>de</strong>finida en los puntos p tales que f j (p) = 0 paratoda j y en los puntos p don<strong>de</strong> existe algun k con f k (p) = ∞. La función φ se extien<strong>de</strong><strong>de</strong> forma holomorfa a todo C <strong>de</strong> la siguiente manera:Revista <strong>de</strong> Ciencias Básicas UJAT, 4(1)Noviembre 2005 p 41–52

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!