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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

48 Abel Castorena<strong>de</strong>cir para y 1 , y 2 ∈ CP 1 , d y1 (f) = d y2 (f). A tal número se le llama el grado <strong>de</strong> f ([4],p 47).Sea f : C → CP 1 meromorfa <strong>de</strong> grado k. Consi<strong>de</strong>remos una triangulación <strong>de</strong> CP 1<strong>de</strong> tal manera que los vértices <strong>de</strong> la triangulación sean los puntos <strong>de</strong> ramificación <strong>de</strong>f y sean c 0 = # caras <strong>de</strong> la triangulación , a 0 = # aristas <strong>de</strong> la triangulación yv 0 = # vertices sobre la triangulación. Tomando la imagen inversa bajo f <strong>de</strong> estala triangulación tenemos sobre C una triangulación don<strong>de</strong> c = kc 0 , a = ka 0 , v =kv 0 − ∑ p (b p(f) − 1). Utilizando la caractéristica <strong>de</strong> Euler obtenemos la siguientei<strong>de</strong>ntidad conocida como fórmula <strong>de</strong> Riemann-Hurwitz:2 − 2g = c − a + v = k(e(CP 1 )) − ∑ p(b p (f) − 1) = 2k − ∑ p(b p (f) − 1).3. Divisores y Sistemas LinealesSea C una superficie <strong>de</strong> Riemann. Consi<strong>de</strong>remos el conjunto Z CZ|f función}.:= {f : C →Definición. Un divisor D sobre C, es una función D ∈ Z C tal que el soporte <strong>de</strong> D,Supp (D) = {p ∈ C|D(p) ≠ 0}, es un conjunto discreto.Si C es compacta, Supp (D) es un conjunto finito {p 1 , . . . , p d }. Sea D(p j ) = n j .Así formalmente escribimos D como una suma finita <strong>de</strong> puntos con sus respectivasimagenes, es <strong>de</strong>cir, D = ∑ j n jp j , don<strong>de</strong> D(p j ) = n j . El grado <strong>de</strong>l divisor D se <strong>de</strong>finecomo la suma ∑ n j . Escribimos D ≥ 0 si n i ≥ 0 para toda i, y dados dos divisoresjD 1 , D 2 , escribimos D 1 ≥ D 2 si D 1 − D 2 ≥ 0. Denotamos por Div(C) el conjunto <strong>de</strong>divisores <strong>de</strong> C el cual es un grupo abeliano libre bajo la suma.Si C es una superficie <strong>de</strong> Riemann compacta, po<strong>de</strong>mos asociar a una función meromorfaf : C → CP 1 un divisor div (f) dado por div (f) := ∑ p (ord p(f)) · p. Atal∑divisor se le llama principal. El divisor <strong>de</strong> ceros <strong>de</strong> f, se <strong>de</strong>fine como div 0 (f) =ord p (f) · p.p,ord p(f)>0El divisor <strong>de</strong> polos <strong>de</strong> f se <strong>de</strong>fine como div ∞ (f) =∑p,ord p(f)

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

Saved successfully!

Ooh no, something went wrong!