Acciones de Grupos Sobre El Plano Complejo

Departamento de Matematicas
Facultad de Ciencias
Universidad de Chile
Acciones de grupos sobre el

espacio de Riemann-Roch
por
Daniela Vasquez Latorre
Director de Tesis Dr. Angel

Carocca
Co-directora de Tesis Dra. Anita M. Rojas
Tesis presentada al Departamento de Matematicas de la Universidad de Chile en

cumplimiento parcial de los requisitos para optar al grado de Doctor en Ciencias con
mencion en Matematicas
Diciembre, 2013
FACULTAD DE CIENCIAS
UNIVERSIDAD DE CHILE
INFORME DE APROBACION
TESIS DE DOCTORADO
Se informa a la Escuela de Postgrado de la Facultad de Ciencias que la Tesis

de Doctorado presentada por la candidata.
Daniela Andrea V
asquez Latorre
Ha sido aprobada por la Comision de Evaluacion de la tesis como requisito para optar
al grado de Doctor en Ciencias con mencion en Matematicas, en el examen de Defensa
de Tesis rendido el da 6 de Diciembre de 2013.
Director de Tesis
Dr. Angel
Carocca.
....................................................
Co-directora de Tesis
Dra. Anita M. Rojas.
....................................................
Comision de Evaluacion de Tesis
Dr. Antonio Behn.

Presidente de la Comision
....................................................
Dr. Vctor Gonzalez.
....................................................
Dra. Rub Rodrguez.
....................................................
A Camilo, mi hijo
y a todas las mujeres de mi tribu.
BIOGRAFIA
Nunca he escrito sobre mi, sobre mi historia. Lo hare en unas breves lneas. Nac en
la ciudad de Rancagua, en febrero 12 de 1975. Bajo la dictadura militar. Siendo la
mayor de dos hermanos. Mi educacion basica trancurrio en las ciudades de Rancagua, Copiapo y Santiago. Donde me radicara hasta completar mi ense
nanza media y
realizar mis estudios universitarios. Pero sin duda alguna, al lugar que pertenezco es
Baha Inglesa, cerca del mar y de la inmensidad del desierto. Donde he vivido los
mejores momentos de mi vida. En el a
no 1992, comence a estudiar la carrera de
Licenciatura en matematicas, en la Universidad Catolica de Chile, despues en la misma
institucion continue con mis estudios de Maestra, graduandome de esta el a
no 2000.
Durante este periodo, conoc a Guillermo un Colombiano que llego a estudiar a la
PUC, con quien formara mi propia familia y que sin duda cambiara el rumbo de mi
vida. En el a
no 1999 nace mi hijo Camilo, mi compa
nero de siempre, denitivamente lo
mejor que me ha pasado en la vida. Despues a pricipios del a
no 2001, me voy a vivir a
Cali, Colombia, con el proposito de continuar con nuestra familia Chilena-Colombiana.
All comienzo a trabajar como profesora en la Universidad del Valle, y mucho tiempo
despues decido regresar a Chile a realizar un doctorado en matematicas, un pendiente
que tena en mi vida. La Universidad de Chile me brindo esa oportunidad, terminando mis estudios de doctorado en esa casa de estudios. Luego regrese a Colombia a
continuar con mi vida, pas que se ha tranformado en mi nuevo hogar. Indudablemente quedan muchos pasajes de la historia de mi vida sin contar, pero como lo dije al
principio, solo eran unas breves lneas.
AGRADECIMIENTOS
Imposible no comenzar agradeciendo a mi hijo Camilo, quien me acompa

no, animo,
comprendio y que con todo su amor me ayudo sin duda a realizar esta tarea. Por
supuesto a mis papas, que cuidaron de Camilo y de mi en todo este proceso, yo se que
se sienten orgullosos de todos mis logros. Tambien a Guillermo, quien entendio que
hacer un doctorado era un pendiente que tena en mi vida y no dudo en dejar que
Camilo me acompa
nara en este camino. A mi familia Chilena y Colombiana.
A mi director de tesis, profesor Angel

Carocca, por creer de nuevo en mi, por
todo el conocimiento entregado, su innita paciencia y acompa
narme en esta
travesa. A mi co-directora, profesora Anita Rojas, mi compa
nera y amiga en la epoca
en que yo realizaba la maestra y ahora mi profesora. Gracias Anita por ense
narme,
escucharme y siempre hacerme sentir que soy capaz. A la profesora Rub Rodrguez,
por lo que me ha ense
nado y alentado a continuar con este proyecto. Agradezco tambien al profesor Luis Arenas Carmona, quien se dio el trabajo de leer minuciosamente
una version preliminar de esta tesis y cuyas observaciones fueron de mucha ayuda para
mejorar la claridad de la misma.
Indudablemente, a mis nuevos amigos, Adan (Nico) y Felipe que me han acompa
nado,
cuidado y han estado conmigo todo este tiempo, compartiendo el estudio y la vida
misma. Como no mecionar a Patricio, mi primer nuevo amigo. Yo se que a pesar de la
distancia nuestra amistad continuara. A Martha Romero, mi amiga, mi compa
nera de
estudio y de tantos viajes, quien mas que ella entiende como he vivido este proceso, sin
duda alguna parte importante de este doctorado y que con seguridad compartiremos
el futuro que nos espera en nuestra vida academica. A Mariela, quien compartio sus
conocimientos conmigo, sus buenas vibras y acompa
narme en el viejo mundo. A mis
amigas Martha Pinzon, Paulita y So, quienes me acompa
nan, cuidan y me hacen
sentir que no estoy tan lejos de casa. A los viejos amigos, en especial a Carolina
Becerra, quien me demostro que a pesar de los a
nos y de la distancia, la amistad
perdura.
A CONICYT, por el apoyo otorgado y por conar en mi.
Y como alguien dijo por ah gracias totales.
Contenido
Lista de smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
8
1. Preliminares
1.1. Supercies de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Acciones de grupos en supercies de Riemann . . . . . . . . . . . . . .
1.3. Representacion analtica . . . . . . . . . . . . . . . . . . . . . . . . . .
10
10
15
22
2. Divisores y el espacio de Riemann-Roch

2.1. Divisores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. El espacio de Riemann-Roch . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Divisores no especiales . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
32
38
41
3. Acci
on de grupo sobre el espacio de R-R
3.1. Accion en L(D) . . . . . . . . . . . . . . . . . . . . . .
3.2. Levantamiento de Divisores . . . . . . . . . . . . . . .
3.3. Multiplicidad de un caracter absolutamente irreducible
3.4. Levantamiento de divisores en cocientes intermendios .
.
.
.
.
43
43
44
58
63
4. Curvas de Fermat y curvas p-gonales

4.1. El espacio de Riemann-Roch para curvas de Fermat . . . . . . . . . . .
4.2. Espacio de Riemann-Roch para un tipo de curvas p-gonales . . . . . . .
4.3. Aplicacion del teorema de descomposicion . . . . . . . . . . . . . . . .
72
72
77
84
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5. Ap
endice
90
5.1. Espacio de Riemann-Roch en algunas curvas de Catalan . . . . . . . . 90
5.2. Algunos elementos de representaciones de grupos . . . . . . . . . . . . 110
Bibliografa
110
Lista de smbolos
X /G
: Supercie cociente de X por la accion del grupo G.
H1 (X , C)
Primer grupo de homologa en X .
H 1,0 (X , C) :
Espacio de 1-formas diferenciales analticas en X .
H 1,0 (X , C) :
Espacio dual de H 1,0 (X , C).
Aut(X )
: Grupo de automorsmos de la supercie X .
ordP F
Orden de un punto P por la funcion F .
HG
H subgrupo del grupo G.
|G|
orden del G.
StabG (P )
Estabilizador en G del punto P .
NG (H)
Normalizador de H en G.
gX
Genero de la supercie de Riemann X .
Resumen
Sea G un grupo nito de automorsmos de una curva proyectiva suave X , sobre el
cuerpo de los n
umeros complejos, y D un divisor no especial de X invariante bajo
la accion de G. En este trabajo estudiaremos el problema de descomposicion de la
representacion natural del grupo G en el espacio de Riemann-Roch L(D), asociado
al divisor D. Presentaremos formulas explcitas para la multiplicidad de cada factor
irreducible, en terminos de la multiplicidad de estos factores en la descomposicion de
la accion de G, en el espacio dual de las 1-formas diferenciales holomorfas sobre X .
Generalizando de esta forma las formulas conocidas para la multiplicidad de los factores
irreducibles para el caso racional.
Introduccion
Sea X una curva proyectiva suave, sobre un cuerpo K de caracterstica 0, y K(X )
el cuerpo de funciones racionales de X . Para D un divisor cualquiera sobre la curva X
el espacio de Riemann-Roch L(D) es el K-espacio vectorial dado por
L(D) = {f K(X ) / div(f ) D1 } {0}
donde div(f ) es el divisor principal de la funcion f en K(X ).
Si G es un grupo nito de automorsmos de X entonces G act
ua sobre K(X ) y sobre
el grupo Div(X ) de los divisores de X . Ademas, si D es un divisor de X invariante por
la accion de G entonces G act
ua sobre el espacio vectorial L(D). De esta forma, L(D)
tiene estructura de K[G]-modulo, en otras palabras G tiene una representacion lineal
sobre L(D).
Nuestro interes, en este trabajo, es estudiar la K[G]-estructura de L(D), es decir la
descomposicion de la representacion lineal de G en L(D), como suma de representaciones irreducibles de G.
El problema de estudiar la K[G]-estructura de L(D) fue considerado originalmente
por Hurwitz para el caso K = C el cuerpo de los n
umeros complejos, D un divisor
canonico y G un grupo cclico. Una generalizacion de estos resultados, para grupos
nitos arbitrarios y K = C, fue dada por Chevalley-Weil [CW]. Este problema ha
sido abordado para otros cuerpos y otros tipos de divisores, por ejemplo se conocen los
trabajos de Ellingsrud y Lonsted [EL], Kani [Ka], Nakajima [N], Kock [Ko] y Borne [B].
En trabajos mas recientes de Joyner y Ksir [JKV], [JK], se estudia la descomposicion,
en el caso racional, del espacio L(D) para determinados divisores sobre una curva X ,
que son obtenidos a partir del levantamiento de divisores sobre curvas dadas como
cocientes intermedios por subgrupos del grupo de automorsmos G. Estos resultados
incluyen formulas explicitas, en el caso racional, para la multiplicidad de cada factor
irreducible en terminos de la ramicacion de G sobre la curva X .
En este trabajo estudiaremos el problema de descomposicion de la representacion del
grupo G en el espacio L(D), sobre los n
umeros complejos, y presentaremos formulas
8

INTRODUCCION
explcitas para la multiplicidad de cada factor irreducible, en terminos de la multiplicidad de estos factores en la descomposicion de la accion de G en el espacio dual de
las 1-formas diferenciales holomorfas sobre X . Ademas, utilizando estas formulas y
la representacion racional del grupo G sobre el primer grupo de homologa de X ,
obtenemos las formulas antes mencionadas para el caso racional.
El trabajo esta estructurado de la siguiente forma: El primer captulo esta dedicado
a presentar deniciones y resultados sobre curvas y accion de grupos, que seran de
utilidad en el desarrollo de este trabajo. El segundo captulo es dedicado a presentar
deniciones, algunos resultados sobre divisores y el espacio de Riemann-Roch. Ademas,
inclumos resultados sobre divisores no especiales que seran de interes en nuestros
resultados. Los captulos siguientes son dedicados a presentar los resultados obtenidos
durante nuestra investigacion. En el captulo 3 estudiamos acciones de grupos sobre el
espacio de Riemann-Roch. En el captulo 4 presentamos detalladamente la descomposicion del espacio de Riemann-Roch de curvas de Fermat y de algunas curvas p-gonales.
Nuestro trabajo concluye con un apendice que contiene algunos resultados sobre curvas
de Catalan y algunos elementos de representaciones de grupos.
CAPITULO 1
Preliminares
En este captulo presentaremos deniciones, propiedades y algunos resultados
relevantes para el desarrollo de los captulos posteriores.
1.1. Superficies de Riemann

Una supercie de Riemann X es un espacio topologico hausdor, conexo, tal que
existe una coleccion {U }I de abiertos en X y { : U V C}I homeomorsmos, que satisfacen lo siguiente:
X =
U
I
si U U = entonces la funcion 1
: (U U ) (U U ) es
analtica.
mmm
mmm
m
m
m
v mm
m
U U
(U U ) V
QQQ
QQQ
QQQ
QQQ
(
/ (U U ) V
El par (U , ) se llama carta o coordenada local y el conjunto {(U , )/ I} se

denomina atlas complejo o estructura compleja de la supercie X . Si P U es tal
que (P ) = 0, entonces se dice que (U , ) es una carta centrada en P .
tica en (U U ) entonces 1
Se observa de la denicion, que si 1
es anal
on.
es tambien analtica en (U U ). Note ademas, que 1
es una biyecci
Definici
on 1.1.1. Sea X una supercie de Riemann. Una funcion f : X C es
holomorfa en un punto P de X , si existe una carta (U, ), con P U , tal que la
funcion f 1 es analtica en (P ). Diremos que f es holomorfa en un abierto W X
si es holomorfa en todo punto P de W .
10
CAPITULO 1. PRELIMINARES
11
No es difcil ver, debido a que el cambio de cartas es analtico, que f es holomorfa en

un punto P de X si y solo si para toda carta (U, ), con P U , la funcion f 1
es holomorfa en (P ). Ademas si f es holomorfa en P , se tiene que f es holomorfa en
alg
un abierto que contiene a P .
Usando cartas, el concepto de singularidad removible y polo, para funciones de una
variable compleja, ver [GKR], se extiende a supercies de Riemann.
Definici
on 1.1.2. Sea X una supercie de Riemann, P un punto de X y f una funcion
holomorfa en W \ {P }, donde W es una vecindad de P . Diremos que
1. f tiene una singularidad removible en P si y solo si existe una carta (U, ) en X ,
con P U , tal que la funcion f 1 tiene una singularidad removible en (P ).
2. f tiene un polo en P si y solo si existe una carta (U, ) en X , con P U , tal que
la funcion f 1 tiene un polo en (P ).
De igual forma, se puede concluir que f tiene una singularidad removible o un polo en
P si y solo si para toda carta (U, ) en X , con P U , la funcion f 1 tiene una
singularidad removible o un polo en (P ), respectivamente.
Definici
on 1.1.3. Sea X una supercie de Riemann. Una funcion f : X C es
meromorfa en un punto P de X , si es holomorfa o tiene una singularidad removible
o tiene un polo en P . Diremos que f es meromorfa en un conjunto abierto W X si
es meromorfa en todo punto P de W .
Denotamos por K(X ) al conjunto
K(X ) = {f : X C / f es meromorfa}
el cual tiene estructura de cuerpo, con la suma y producto usual de funciones, y se
denomina el cuerpo de funciones meromorfas de X .
Nos referiremos a algunas propiedades de funciones en supercies de Riemann,
para mas detalles ver [M].
Sea P un punto de X y f : X C una funcion holomorfa en W \ {P }, donde W
es una vecindad abierta de P . Sea (U, ) una carta en X , con P U , donde la coordenada local es z = (x) para x cercano a P . As f 1 es analtica en una vecindad
abierta de z0 = (P ), luego localmente es de la forma
f 1 (z) =
cn (z z0 )n .
nZ
12
Esta expansion se llama serie de Laurent de f en torno a P , con respecto a

(o con respecto a la coordenada local z). Utilizando esta serie, podemos determinar
la naturaleza de la singularidad de f en P . Si f es meromorfa, entonces f 1 tiene
expansion con un n
umero nito de terminos negativos, luego se dene el orden de f en
P , denotado por ordP f , como
ordP f = min{n / cn = 0}.
Este n
umero es independiente de la carta (U, ) seleccionada. Puesto que, si f es una
funcion meromorfa, entonces la expansion en serie Laurent de f en torno a P , con
respecto a la coordenada local z = (x), para x cercano a P y z0 = (P ) es
f 1 (z) = cn0 (z z0 )n0 + terminos de orden superior
(1.1)
donde cn0 = 0. Utilizando esta coordenada local, se tiene que ordP f = n0 . Sea (U , )
otra carta en X , con P U , donde la coordenada local es w = (x) para x cercano a
P y w0 = (P ). Consideremos el cambio de cartas z = T (w) = 1 (w), el cual es
una funcion analtica. Como T es invertible en w0 , entonces T (w0 ) = 0, por tanto la
serie de Taylor de T en torno a w0 es
z = T (w) = z0 +
an (w w0 )n
(1.2)
n=1
donde a1 = 0. Luego por (1.1) y (1.2) se tiene que

h(w) = f 1 T (w) = cn0 an1 0 (w w0 )n0 + terminos de orden superior
es la serie de Laurent de f en torno a P , con respecto a la coordenada local w. Como
cn0 = 0 y a1 = 0, se tiene que cn0 an1 0 = 0. Luego utilizando esta serie de potencias,
obtenemos que ordP f = n0 . Por tanto el orden de f en P es independiente de la carta
seleccionada.
La denicion de orden dada anteriormente, motiva la siguiente proposicion.
Proposici
on 1.1.4. Sea X una supercie de Riemann y f : X C una funcion
meromorfa en un punto P de X . Entonces
1. f es holomorfa en P si y solo si ordP f 0.
2. f tiene un cero en P si y solo si ordP f > 0.
3. f tiene un polo en P si y solo si ordP f < 0.
4. f no tiene cero ni polo en P si y solo si ordP f = 0.
n: Se desprende de la denicion de orden.
Demostracio
13
Definici
on 1.1.5. Sea f : X C una funcion meromorfa en un punto P de X . Se
dice que que f tiene un cero de orden n en P , si ordP f = n 1. De igual manera se
dice que f tiene un polo de orden n en P , si ordP f = n < 0.
Definici
on 1.1.6. Una funcion F : X Y entre supercies de Riemann, es holomorfa
en P X , si y solo si existen cartas (U1 , 1 ) en X , con P U1 , y (U2 , 2 ) en Y, con
F (P ) U2 , tal que la funcion 2 F 1
1 es holomorfa en 1 (P ).
P U1 F 1 (U2 )
1
/ F (P ) U2
1 (U1 F 1 (U2 ))
2 F 1
1
/ (U2 )
Diremos que F es holomorfa en un conjunto abierto W X si es holomorfa en todo

punto P de W . En particular si W = X diremos simplemente que F es holomorfa.
Nuevamente, debido a que el cambio de cartas es anallico, se tiene que F es holomorfa
en P X si y solo si para todo par de cartas (U1 , 1 ) en X , con P U1 , y (U2 , 2 )
en Y, con F (P ) U2 , la funcion 2 F 1
as si F es
1 es holomorfa en 1 (P ). Adem
holomorfa en P , se tiene que F es holomorfa en alguna vecindad abierta de P . Observamos tambien que la composicion de funciones holomorfas es holomorfa.
La siguiente denicion nos permite decir cuando dos supercies de Riemann representa
la misma supercie.
Definici
on 1.1.7. Un Isomorsmo (o biholomorsmo) entre supercies de Riemann
es una funcion holomorfa F : X Y, la cual es biyectiva y cuya inversa F 1 : Y X
es holomorfa. Si existe un isomorsmo entre las supercies X e Y, diremos que X e Y
son isomorfas.
Un isomorsmo F : X X se llama Automorsmo de X , denotamos por Aut(X ) al
conjunto de todos los automorsmos de X , el cual tiene estructura de grupo con la
composicion de funciones.
La siguiente proposicion nos da cuenta de una propiedad local de funciones holomorfas
entre supercies de Riemann.
14
Proposici
on 1.1.8. Sea F : X Y una funcion holomorfa, no constante, entre
supercies de Riemann y P un punto de X . Entonces existe un u
nico entero mP 1
que satisface lo siguiente: para toda carta (U2 , 2 ) en Y, centrada en F (P ), existe una
carta (U1 , 1 ) en X , centrada en P , tal que
mP
2 F 1
1 (z) = z
n: Ver [M], pag 44.

Demostracio
La unicidad de este n
umero mP , nos lleva a la siguiente denicion.
Definici
on 1.1.9. El n
umero mP obtenido en la proposicion anterior, se llama
multiplicidad de F en P y se denota por multP F . Si multP F 2 diremos que P
es un punto de ramicacion de F . Si y Y es imagen de un punto de ramicacion de
F , diremos que y es un punto rama de F .
El conjunto de puntos de ramicacion de F es un conjunto discreto. Si X es compacta
este conjunto es nito.
En lo que sigue de nuestro trabajo, consideraremos supercies de Riemann compactas,
sobre C, las cuales topologicamente se clasican de acuerdo a su genero. Esto es, toda
supercie de Riemann compacta X , es topologicamente homoemorfa a la esfera o a
una suma conexa de gX toros. Entendiendo que cuando X es homemorfa a la esfera,
gX = 0. El n
umero gX se llama genero de la supercie.
Sea F : X Y un funcion holomorfa, no constante, entre supercies de Riemann
compactas. Como F es continua, se tiene que F (X ) es un compacto en Y. Por tanto
F (X ) es un cerrado. Pero F (X ) es un abierto, debido a que F es una funcion abierta.
Luego por la conexidad de Y se concluye que F (X) = Y. As para cada y Y, el
conjunto de las preimagenes F 1 (y) es no vaco. Ademas este conjunto es discreto,
luego nuevamente por la compacidad de X , se tiene que F 1 (y) es un conjunto nito.
As a cada y Y podemos asociarle el siguiente n
umero entero
multP F.
dF (y) =
P F 1 (y)
Proposici
on 1.1.10. Sea F : X Y un funcion holomorfa, no constante, entre
supercies de Riemann compactas. Entonces el entero dF (y) es constante e independiente de y.
n: Ver [M], pag 47.
Demostracio
15
Definici
on 1.1.11. Sea F : X Y un funcion holomorfa, no constante, entre supercies de Riemann compactas. Se dene el grado de F , denotado por deg(F ), como el
entero dF (y), para cualquier y Y.
Enunciamos un importante y conocido teorema para funciones holomorfas, entre supercies de Riemann compactas. Este relaciona los generos de las supercies, el grado
de la funcion y las multiplicidades de los puntos de ramicacion.
Teorema 1.1.12 (Riemann-Hurwitz). Sea F : X Y una funcion holomorfa, no
constante, entre supercies de Riemann compactas, de generos gX y gY respectivamentes. Entonces
2 gX 2 = deg(F )(2 gY 2) +
(multP F 1)
P X
n: Ver [M] 4.16 pag 52.

Demostracio
Una funcion F : X Y holomorfa, no constante, entre supercies de Riemann

compacta se llama cubrimiento. Si tiene puntos de ramicacion se dice que el cubrimiento es ramicado. Si B es el conjunto de puntos rama del cubrimiento, entonces
F : X \F 1 (B) Y \B es un cubrimiento topologico en el sentido usual, es decir, para
cada y Y \ B existe un abierto V , que contiene a y, tal que F 1 (V ) es union disjunta
de abiertos Ui X \ F 1 (B), con i = 1, ..., deg(F ), para los cuales F |Ui : Ui V es
un homemorsmo.
1.2. Acciones de grupos en superficies de Riemann

En esta seccion consideraremos G un grupo nito y X una supercie de Riemann
compacta de genero gX .
Definici
on 1.2.1. Un grupo G act
ua sobre la supercie de Riemann X , si existe una
funcion
:GX X
(g, P )
g(P )
que satisface
(a) e(P ) = P , para todo P X .
(b) (gh)(P ) = g(h(P )), para todo h, g G y P X .
16
Para ser mas precisos, la denicion anterior es llamada accion izquierda de G en X .

Observamos que para un g G jo, la funcion
(g, ) : X X
P
g(P )
es una biyeccion en X , cuya inversa es (g 1 , ). Se dice que la accion es continua si la
funcion (g, ) es continua para todo g G. De igual forma, la accion se dice holomorfa
si (g, ) es holomorfa para todo g G, en este caso (g, ) es un automorsmo de X ,
para todo g G.
Sea P un punto de X , la orbita de P es el conjunto
[P ]G = {g(P ) / g G}
y el estabilizador de P en G, es el conjunto
GP = {g G / g(P ) = P }.
No es dcl ver, que GP es un subgrupo de G. Ademas, si dos puntos pertencen a la
misma orbita entonces sus estabilizadores son conjugados, de hecho, Gg(P ) = gGP g 1 .
Tambien como G es nito, se tiene que |[P ]G ||GP | = |G| para todo P X .
Para toda accion holomorfa, se puede denir el homomorsmo asociado naturalmente
cuyo n
ucleo es ker =
: G Aut(X )
g
(g, )
GP . Si ker = {e}, es decir si es inyectivo, se dice que
P X
la accion de G es efectiva. Observamos tambien, que el grupo G/ ker act

ua en X
con n
ucleo trivial y con orbitas identicas a las de la accion de G. Por tanto, asumiremos en lo que sigue, que G act
ua de manera holomorfa y efectiva sobre X . En este
caso G es isomorfo a un subgrupo de Aut(X ). As denotaremos por G a su imagen por .
Es oportuno mencionar un importante teorema debido a Hurwitz, que nos proporciona
una cota para la cantidad de automorsmos que admite una supercie de Riemann
compacta de genero mayor o igual a dos.
Teorema 1.2.2 (Hurwitz). Sea X una supercie de Riemann compacta de genero
gX 2. Entonces
| Aut(X )| 84(gX 1)
17
n: Ver [FK], pag 242.

Demostracio
Sea G un grupo nito de automorsmos de X y P un punto de X . Sea g GP y (U, )

una carta en X centrada en P . Como g(P ) = P , se tiene que la expansion en serie de
g en torno a P , con respecto a , no tiene termino independiente. As
1
g (z) =
ck (g)z k
k=1
donde c1 (g) = 0, puesto que g es invertible. Consideremos la aplicacion

P : Gp C
g
c1 (g)
la cual es un funcion bien denida, pues el n
umero c1 (g) es independiente de la carta
selecionada. Dado que, sea (U , ) otra carta en X , centrada en P , luego el cambio de

coordenadas es de la forma
z = 1 (t) =
ai ti
i=1
con a1 = 0, pues el cambio de cartas es invertible, donde su inversa es de la forma

1
t = (z) =
bi z i
i=1
con b1 = 0. Luego se tiene que a1 b1 = 1. Entonces la expansion en serie de potencias,

de g con respecto a la coordenada t es
g 1 (t) = ( 1 ) ( g 1 ) ( 1 )(t)
(
)
1
1
i
= ( ) ( g )
ai t
=
k=1
ck (g)
i=1
)k )
ai t
i=1
= 1 (c1 (g)a1 t + terminos de orden superior)

= b1 c1 (g)a1 t + terminos de orden superior,
pero como a1 b1 = 1, entonces b1 c1 (g)a1 = c1 (g). Luego
g 1 (t) = c1 (g)t + terminos de orden superior.
18
Por lo tanto el n
umero c1 (g) es independiente de la carta seleccionada.
Observamos que P es un homomorsmo de grupos. Puesto que, sea h GP y
1
h (z) =
ci (h)z i
i=1
la expansion en serie de Laurent de h en torno a P , con respecto a , donde c1 (h) = 0.

Luego localmente gh es de la forma
gh 1 (z) = ( g 1 ) ( h 1 )(z)
(
)
1
i
=g
ci (h)z
k=1
k=1
(
)k
i
ck (g)
ci (h)z
k=1
= c1 (g)c1 (h)z + terminos de orden superior.

As c1 (gh) = c1 (g)c1 (h) y por tanto P (gh) = P (g)P (h).
Tambien P es inyectivo. Ya que, sea g GP , tal que P (g) = 1, entonces localmente
g es de la forma
1
ck (g)z k .
g (z) = z +
k=2
Sea cm (g), con m 2, el primer coeciente distinto de cero. As

g 1 (z) = z + cm (g)z m + terminos de orden superior.
Para k entero positivo, se tiene que g k localmente es de la forma
g k 1 (z) = z + kcm (g)z m + terminos de orden superior.
Como GP es nito, se tiene que el orden de g es nito, luego existe k entero positivo,
tal que g k = e. Por tanto g k 1 (z) = z. De lo que se concluye que kcm (g) = 0 y
por tanto cm (g) = 0, lo cual es una contradiccion. As en la expansion de g todos los
coecientes ck (g) = 0 para k 2. Por lo tanto g es la identidad. Luego P es inyectivo.
Como P es un homomorsmo inyectivo, se tiene que GP es isomorfo a un subgrupo nito de C , pero todos los subgrupos nitos de C son cclicos, luego GP es un
subgrupo cclico de G. En base al analisis realizado, enunciamos la siguiente proposicion, que ya esta demostrada.
19
Proposici
on 1.2.3. Sea X una supercie de Riemann compacta, G un grupo nito de
automorsmos de X y P un punto en X . Entonces GP , el estabilizador de P en G, es
un subgrupo cclico de G.
Ahora bien, si el orden de GP es n entonces P (g) = c1 (g) es una raz n-esima de la
unidad, para todo g GP . Luego como g es de orden nito, para (U, ) carta centrada
en P , se tiene que g localmente es de la forma
g 1 (z) = z
donde = c1 (g) es una raz n-esima de la unidad. Mas a
un, debido a la inyectividad de
P , si g es un generador de GP , entonces es una raz n-esima primitiva de la unidad.
Luego si jamos una raz n-primitiva de la unidad cualquiera, debido a que P es un
homorsmo, existe h GP tal que P (h) = , donde h es un generador de GP . Por
tanto para cada g GP existe entero positivo tal que P (g) = .
Definici
on 1.2.4. Sea X una supercie de Riemann compacta y G un grupo nito
de automorsmos de X . Para P X y g GP , se dene la constante de rotaci
on del
automorsmo g en el punto P , como el n
umero
P (g 1 ) = P1 (g)
Ejemplo 1.2.5. Sea X = {(x, y) C2 /f (x, y) = x5 + y 5 + 1 = 0} una curva plana
afn y
Xe = {[X : Y : Z] CP2 /fe(X, Y, Z) = X 5 + Y 5 + Z 5 = 0}
su clasura proyectiva. Se sabe que Xe es una supercie de Riemann compacta, de genero
gX =
(5 1)(5 2)
= 6.
2
Sea 5 = e2i/5 y a([X : Y : Z]) = [51 X : Y : Z] un automorsmo de orden 5 de Xe.

Sea P = [0 : : 1], con = ei/5 , un punto en Xe, jo por a.
Determinaremos la constante de rotacion de a en P . Consideremos el homomorsmo
2 : Xe U2 = {[X : Y : Z] Xe : Z = 0} {(x, y) C2 /f (x, y) = x5 + y 5 + 1}
(
)
X Y
[X : Y : Z]
,
Z Z
donde 2 (P ) = (0, ). Como f
(0, ) = 54 = 0, entonces por teorema de la funcion
y
implcita, existe una vecindad abierta W X de (0, ) y una funcion analtica g tal
que g(0) = , de modo que para alg
un r > 0 se tiene que
W = {(x, g(x)) : x B(0, r)} X
20
As la carta en P , esta dada por

: 1
2 (W ) B(0, r) C
[x : g(x) : 1]
x
Luego, en coordenadas locales, el automorsmo a es de la forma
a 1 (x) = (a([x : g(x) : 1])) = ([51 x : g(x) : 1]) = 51 x = 54 x
Por tanto P (a) = 54 . Luego la constante de rotacion de a en P es P (a)1 = 5 .
Observacion 1.2.6. Cabe mencionar que los puntos en X con estabilizador no trivial,
forman un conjunto discreto. Luego por la compacidad de X se tiene que este conjunto
en nito.
Sea G un grupo nito de automorsmos de X . Consideremos el conjunto
X /G = {[P ]G / P X }, denominado el espacio de orbitas de G y la funcion cociente
: X X /G
P
[P ]G
Se dota al espacio X /G de la topologa cociente, es decir V es abierto en X /G si y solo
si 1 (V ) es abierto en X . As es una funcion continua y como X es compacta, se tiene que X /G es compacta. Ademas a X /G se da una estructura compleja, de modo que
sea una supercie de Riemann y sea una funcion holomorfa. Para mas detalles ver [M].
Observacion 1.2.7. La funcion : X X /G es un cubrimiento, entre supercies de
Riemann compactas, de grado deg() = |G|. Donde multP = |GP | para todo P X .
Si X tiene puntos con estabilizador no trivial, sera un cubrimiento ramicado, y esos
puntos con estabilizador no trivial seran los puntos de ramicacion del cubrimiento.
Observacion 1.2.8. Sea Q X /G un punto rama del cubrimiento : X X /G y
1 (Q) = {P1 , P2 ..., Ps } la bra sobre Q. Como los puntos Pi estan en la misma orbita,
entonces sus estabilizadores son conjugados y por tanto tienen el mismo orden, luego la multiciplicidad de en los puntos de la bra sobre Q es la misma. Ademas si
|G|
= |G : GPi | = s = | 1 (Q)|.
m = |GPi | = multPi para i = 1, ..., s, entonces
m
Aplicando el teorema de Riemann-Hurwitz 1.1.12 al cubrimiento : X X /G, obtenemos el siguiente corolario.
21
Corolario 1.2.9 (Formula de Riemann-Hurwitz). Sea X una supercie de Riemann

compacta, G un grupo nito de automorsmos X y : X X /G la funcion cociente.
Suponga que existen Q1 , ..., Qr X /G puntos rama del cubrimiento, donde mi es la
|G|
multiplicidad de los
puntos de ramicaci
on arriba de Qi . Entonces
mi
)
r (
|G|
1
gX = |G|(gX /G 1) + 1 +
1
.
2 i=1
mi
Definici
on 1.2.10. Sea X una supercie de Riemann compacta, G un grupo nito de
automorsmos de X y : X X /G la proyeccion canonica. Sea Q1 , ..., Qr los puntos
rama del cubrimiento . La rma de G en X , es el vector (gX /G ; m1 , m2 , ..., mr ), donde
|G|
mi es la multiplicidad de los
puntos de ramicacion arriba de Qi .
mi
Definici
on 1.2.11. Sea G un grupo nito actuando holomorfa y efectivamente sobre una supercie de Riemann compacta X . Un arreglo de 2 gX /G +r elementos de G,
(a1 , a2 , ..., agX /G , b1 , b2 , ..., bgX /G , c1 , c2 , ..., cr ), se llama vector generador de tipo
(gX /G ; m1 , m2 , ..., mr ) si satisface:
a) G es generado por los elementos {a1 , a2 , ..., agX /G , b1 , b2 , ..., bgX /G , c1 , c2 , ..., cr },
b) |ci | = mi , para i = 1, ..., r, y
gX /G
c)
i=1
[ai , bi ]
cj = 1.
j=1
Finalizamos esta seccion enunciando un teorema que garantiza la existencia de una

supercie de Riemann compacta, con accion de un grupo nito dado, bajo ciertas
condiciones.
Teorema 1.2.12 (Teorema de Existencia de Riemann). Un grupo nito G act
ua sobre
la supercie de Riemann compacta X , de genero gX , con rma (gX /G ; m1 , m2 , ..., mr )
si y solo si la ecuacion de Riemann-Hurwitz dada en 1.2.9 se satisface, y si G tiene
vector generador (a1 , a2 , ..., agX /G , b1 , b2 , ..., bgX /G , c1 , c2 , ..., cr ).
n: Ver [BRT2].
Demostracio
22
1.3. Representacion analtica

Sea X una supercie de Riemann compacta, de genero gX , y G un grupo nito
de automorsmos de X . El grupo G act
ua sobre el espacio de las 1-formas diferen1,0
ciales holomorfas de X , denotado H (X , C), dandole a este estructura de G-modulo.
Para encontrar la descomposicion en factores irreducibles, de la representacion compleja asociada a la accion de G en H 1,0 (X , C), llamada representacion analtica de
G, utilizaremos el Teorema de Chevalley-Weil [CW]. Este resultado nos proporciona
formulas explcitas para determinar la multiplicidad de un modulo irreducible, en la
descomposicion de la accion de G en dicho espacio. En esta seccion nos referiremos
a la accion analtica de G y a la formula de Chevalley-Weil, y mostraremos algunas
consecuencias.
En lo que sigue, consideraremos X una supercie de Riemann compacta, de genero gX ,
y G un grupo nito de automorsmos de X .
Una 1-forma holomorfa sobre el abierto V C, es una expresion de la forma
= f (z)dz, donde f es una funcion analtica en V . En este caso, decimos que es
una 1-forma holomorfa en la coordenada z. Para denir una 1-forma holomorfa en una
supercie de Riemann, se hace por medio de cartas, deniendo una 1-forma holomorfa
en la imagen de cada carta, que es un abierto de C, pero se necesita una condicion
de compatibilidad cuando dos cartas tienen dominios con inteseccion no vaca. Esto
motiva la siguiente denicion.
Definici
on 1.3.1. Una 1-forma diferencial holomorfa en la supercie X , es una
coleccion de 1-formas holomorfas { }, una para cada carta : U V en la coordenada del abierto V C, tal que para dos cartas (U1 , 1 ) y (U2 , 2 ), con U1 U2 = , se
tiene que la 1-forma asociada a 1 se transforma a 2 , bajo el cambio de coordenadas z = T (w) = 1 21 (w), es decir, si 1 = f (z)dz entonces 2 = f (T (w))T (w)dw.
Denotamos por H 1,0 (X , C) al conjunto
H 1,0 (X , C) = { / es una 1- forma diferencial holomorfa en X }
el cual es un C-espacio vectorial.
Teorema 1.3.2. Sea X una supercie de Riemann compacta de genero gX . Entonces
dim H 1,0 (X , C) = gX
n: Ver [FK] pag 60.
Demostracio
23
Definici
on 1.3.3. Sea g G. La accion de g en H 1,0 (X , C) se dene por
g() = g 1
donde es un 1-forma diferencial en H 1,0 (X , C).
As, sea (U, ) una carta en X centrada en P , donde la 1-forma diferencial holomorfa
en la coordenada local z de esta carta es f (z)dz. Escojamos una carta (U , ) de X
centrada en g(P ), con g 1 (U ) U , donde la coordenada local es t. Entonces g 1 en
estas coordenadas es de la forma z = h(t) = g 1 1 (t). Luego g() en terminos
de la coordenada local t es f (h(t))h (t)dt. Por tanto g() es nuevamente una 1-forma
diferencial holomorfa en X
La denicion anterior nos da una accion de G en el espacio H 1,0 (X , C), dandole a
este espacio estructura de G-modulo. Puesto que:
1. Si e representa el automorsmo identidad, entonces es claro que e() = , para
todo H 1,0 (X , C).
2. Si g, h G, entonces
(gh)() = (gh)1 = (h1 g 1 ) = h() g 1 = g(h())
para todo H 1,0 (X , C).
La funcion a : G GL(H 1,0 (X , C)), asociada a la accion de G en H 1,0 (X , C), dada
por
a (g)() = g() = g 1
es una representacion compleja de G, la cual se llama representaci
on analtica de G.
afn y
su clasura proyectiva, la cual es una supercie de Riemann compacta de genero 6.
Sea a([X : Y : Z]) = [51 X : Y : Z], con 5 = e2i/5 , un automorsmo de orden
5 de Xe, y consideremos G = a. Sea
{
}
1
1
1
x
x
x2
A=
dx, 3 dx, 2 dx, 4 dx, 3 dx, 4 dx
y4
y
y
y
y
y
24
una base de H 1,0 (Xe, C).

Usando la carta denida en el ejemplo 1.2.5, obtenemos que a1 en coordenadas locales
es de la forma
a1 1 (x) = (a1 ([x : g(x) : 1])) = ([5 x : g(x) : 1]) = 5 x.
As la accion de a en los elementos de la base A es
(
(
)
)
1
1
1
1
a 4 dx = 5 4 dx ,
a 3 dx = 5 3 dx ,
y
y
y
y
(
)
x
x
a 4 dx = 52 4 dx ,
y
y
)
1
1
a 2 dx = 5 2 dx ,
y
y
(
)
x
x
a 3 dx = 52 3 dx ,
y
y
x2
a 4 dx
y
)
= 53
x2
dx .
y4
Luego la representacion analtica de G esta dada por
a (a) =
5 0 0 0 0 0
0 5 0 0 0 0
0 0 5 0 0 0
0 0 0 52 0 0
0 0 0 0 52 0
0 0 0 0 0 53
(1.3)
Ahora bien, sean 0 , 1 , 2 , 3 , 4 representaciones irreducibles de G, donde

k : a 5k
y M(G) = {V0 , V1 , V2 , V3 , V4 } representantes de los C[G]-modulos irreducibles de G,
todos de dimension 1, correspondientes a las representaciones k respectivas.
Luego por (1.3), se tiene que el espacio H 1,0 (Xe, C) se descompone como G-modulo
de la siguiente forma
H 1,0 (Xe, C) 0V0 + 3V1 + 2V2 + 1V3 + 0V4 .
En general, para encontrar la descomposicion en factores irreducibles, de la accion de

G en H 1,0 (X , C), usaremos el teorema de Chevalley-Weil. Enunciaremos este teorema,
en la siguiente situacion.
Sea X una supercie de Riemann compacta, de genero gX , y G un grupo de orden
n de automorsmos de X . Consideremos el cubrimiento
25
: X X /G
P
[P ]G
de grado deg() = n.
Sean Q1 , Q2 , ..., Qr puntos rama del cubrimiento y n una raz n-esima primitiva de
n/e
la unidad ja. Para un divisor e de |G| = n se dene e := n , la cual es tambien una
raz e-esima primitiva de la unidad.
Para cada punto rama Qu , con u {1, ..., r}, escojamos Pu un punto de ramicacion
de arriba de Qu , es decir (Pu ) = Qu . Sea GPu el estabilizador en G de Pu , donde
|GPu | = eu . Sea Pu : GPu C el caracter dado por Pu (g) = Pu (g 1 ), para g GPu .
Es decir, Pu asigna a cada g GPu la constante de rotacion de g en Pu . Como Pu es
un homomorsmo inyectivo entonces existe u GPu tal que Pu (u ) = Pu (u1 ) = eu .
Ademas, por el mismo argumento, u es un generador de GPu y es el u
nico elemento
en GPu cuya imagen por Pu es eu .
fu en la bra de Qu , entonObserve que si escogemos otro punto de ramicacion P
1
fu y G f = hGPu h . Por tanto |G f | = |GPu | = eu .
ces existe h G tal que h(Pu ) = P
Pu
Pu
Sea Pfu : GPfu C el caracter que asigna a cada ge GPfu la constante de rotacion
fu , y sea eu el u
de ge en P
nico elemento generador de GPfu cuya imagen por Pfu es eu .
fu es la misma que la de g en Pu , para
Desde que la constante de rotacion de hgh1 en P
g GPu , se tiene que eu = hu h1 . De hecho el caracter Pfu esta relacionado con Pu
por Pfu (hgh1 ) = Pu (g). As los u estan en la misma clase de conjugacion. Para mas
detalle ver [Na].
Sean {0 , 1 , ..., s } el conjunto de representaciones irreducibles complejas de G. Sea
M(G) = {V0 , V1 , ..., Vs } el conjunto de representantes de los C[G]-modulos irreducibles de G e Irr(G) = {0 , 1 , ..., s } los caracteres irreducibles de G, asociados a las
representaciones mencionadas respectivas. Considere 0 el caracter de la representacion
trivial de G.
Puesto que G act
ua en H 1,0 (X , C), se tiene que este espacio se descompone como
G-modulo de la siguiente forma
H 1,0 (X , C) n0 V0 + n1 V1 + ... + ns Vs
donde nk son enteros no negativos, para k = 0, ..., s.
Por u
ltimo, [q] para q Q, denota la parte entera.
Con las deniciones y notaciones dadas anteriormente, enunciamos el teorema de
Chevalley-Weil, que nos proporciona formulas explcitas para las multiplicidades nk .
26
Teorema 1.3.5 (Chevalley-Weil). Sea X una supercie de Riemann compacta y G un

grupo nito de automorsmos de X . Si k es una representaci
on irreducible compleja
de G, entonces la multiplicidad nk de esta representaci
on, en la descomposici
on de la
1,0
representacion analtica de G en H (X , C) es
nk = dim Vk (gX /G 1) +
r |G
Pu |1
u=1
k
Nu
=0
|GPu |
+ 0 , k
donde Nu
es la cantidad de valores propios en k (u ) iguales a |G
, y
Pu |
[
]
.
|GPu |
|GPu |
|GPu |
n: Ver [Na].
Demostracio
Si = 0 entonces
|GPu |
= 0. Si = 0 entonces
|GPu |
=1
.
|GPu |
Observe tambien que 0 , k = 0 si k = 0, y 0 , 0 = 1. Ademas dim V0 = 1.

De lo anterior se desprende que
n0 = gX /G
r |G
Pu |1
u=1
=1
k
Nu
(
1
|GPu |
)
(1.4)
para k = 1, ..., s.
Ejemplo 1.3.6. Sea G = a un grupo de orden 7. Por teorema de Existencia de
Riemann 1.2.12, existe una supercie de Riemann compacta X , de genero gX = 3, que
admite accion de G con rma (0; 7, 7, 7) y vector generador (a, a2 , a4 ).
Consideremos 7 = e2i/7 . Sean 0 , 1 , ..., 6 representaciones irreducibles de G, donde
k : a 7k , para k = 0, 1, ..., 6. Sea M(G) = {V0 , V1 , ..., V6 } representantes de los
C[G]-modulos irreducibles de G, todos de dimension 1, correspondientes a las representaciones k respectivas.
Usaremos el teorema de Chevalley-Weyl para determinar la descomposicion de la
representacion analtica de G en el espacio H 1,0 (X , C), de dimension 3.
27
Tenemos que n0 = gX /G = 0. Por (1.4) se tiene que

nk = 1 +
3 (
6
u=1
k
Nu
=1
))
(
1
7
para k = 1, ..., 6. As
n1
n2
n3
n4
n5
n6
(
= 1 + 1
(
= 1 + 1
(
= 1 + 1
(
= 1 + 1
(
= 1 + 1
(
= 1 + 1
) (
1
+ 1
7
) (
2
+ 1
7
) (
3
+ 1
7
) (
4
+ 1
7
) (
5
+ 1
7
) (
6
+ 1
7
) (
2
+ 1
7
) (
4
+ 1
7
) (
6
+ 1
7
) (
1
+ 1
7
) (
3
+ 1
7
) (
5
+ 1
7
)
4
=1
7
)
1
=1
7
)
5
=0
7
)
2
=1
7
)
6
=0
7
)
3
=0
7
Por lo anterior obtenemos que
7 0 0
a (a) = 0 72 0
0 0 74
y por tanto la descomposicion de H 1,0 (X , C) como G-modulo es
H 1,0 (X , C) V1 + V2 + V4 .
Tambien sabemos por teorema de Existencia de Riemann 1.2.12, que existe una supercie de Riemann compacta Xe con accion de G, de genero gX = 3 con rma (0; 7, 7, 7)
y vector generador (a, a, a5 ), la cual no es conformemente isomorfa a X . Del mismo
modo usando el teorema de Chevalley-Weyl, se determina la descomposicion de la
representacion analtica de G en el espacio H 1,0 (Xe, C).
Tenemos que n0 = gX /G = 0. Por (1.4) se tiene que
nk = 1 +
3 (
6
u=1
=1
k
Nu
(
))
1
7
28
para k = 1, ..., 6. As
(
n1 = 1 + 2 1
(
n2 = 1 + 2 1
(
n3 = 1 + 2 1
) (
1
+ 1
7
) (
2
+ 1
7
) (
3
+ 1
7
Como la dimension de H 1,0 (Xe, C) es 3, se ve

anterior se tiene que
0
a (a) =
0
)
5
=1
7
)
3
=1
7
)
1
=1
7
facilmente que n4 = n5 = n6 = 0. Por lo
0 0
72 0
0 73
y por tanto la descomposicion de H 1,0 (Xe, C) como G-modulo es

H 1,0 (Xe, C) V1 + V2 + V3 .
Ahora bien, continuando nuestro analisis del teorema de Chevalley-Weil, observemos

lo siguiente.
Para GPu consideremos Irr(GPu ) = {0 = 1GPu , 1 , ..., |GPu |1 } el conjunto de carac
teres irreducibles de GPu . Donde (u ) = |G
, para = 0, 1, ..., |GPu | 1.
P |
u
As para k Irr(G),
ResG
GPu k = a0 0 + a1 1 + ... + a|GPu |1 |GPu |1
donde a es entero no negativo para = 0, 1, ..., |GPu | 1.
Luego
GPu
a0 = ResG
GPu k , 1GPu = dim Vk
k
= a = ResG
Nu
GPu k ,
(1.5)
(1.6)
29
para k = 1, ..., s. As obtenemos que

r |G
Pu |1
u=1
= dim Vk (gX /G 1) +
(
a 1
=1
r ( |G
Pu |1
u=1
=1
|GPu |
)
|GPu |1
1
a
a .
|GPu | =1
para k = 1, ..., s. Por otra parte

|GPu |1
ResG
GPu
dim Vk =
k (1) =
a (1).
=0
Pero (1) = 1, para = 0, ..., |GPu | 1. Luego

|GPu |1
dim Vk =
a .
(1.7)
=0
Por (1.5) y (1.7) concluimos que

|GPu |1
|GPu |1
a =
=1
GPu
a a0 = dim Vk dim Vk
=0
Por lo tanto
r (
dim Vk
G
dim Vk Pu
u=1
)
|GPu |1
1
k
Nu
|GPu | =1
(1.8)
para k = 1, ..., s.
Sea H 1,0 (X , C) el espacio dual de H 1,0 (X , C), el cual tiene dimension gX . Para mas
detalles ver [BL]. La representacion de la accion de G en el espacio H 1,0 (X , C),
a : G GL(H 1,0 (X , C))
esta dada por
a (g) = a (g 1 )t
(1.9)
30
Sea H1 (X , C) el primer grupo de Homologa de X , el cual tiene dimension 2 gX . El

grupo G act
ua en H1 (X , C). Ademas este espacio se descompone como
H1 (X , C) H 1,0 (X , C) H 1,0 (X , C).
(1.10)
El siguiente teorema nos da la multiplicidad de cada caracter irreducible de G, en la

descomposicion del caracter de la representacion de G en H1 (X, C), en caracteres irreducibles.
Teorema 1.3.7 (Broughton). Sea X una supercie de Riemann compacta, de genero
gX , y G un grupo de automorsmos de X . Sean Q1 , Q2 , ..., Qr puntos rama del cubrimiento : X X /G. Sea H1 (X ,C) el caracter de la representaci
on de G en H1 (X , C),
entonces la multiplicidad del caracter irreducible k de G en H1 (X ,C) esta dada por
1. 0 , H1 (X ,C) = 2 gX /G
2. k , H1 (X ,C) = (2 gX /G 2 + r)k (1)
GPu
dim Vk
u=1
Donde GPu es el estabilizador de alg

un punto de ramicaci
on de en la bra de Qu .
n: Ver [BRT1]
Demostracio
Como G act
ua en H 1,0 (X , C), entonces este espacio se descompone como G-modulo de
la siguiente manera
H 1,0 (X, C) n0 V0 + n1 V1 + ... + ns Vs
donde nk es entero no negativo, para k = 0, ..., s.
Por teorema 1.3.7 y (1.10) tenemos que
n0 + n0 = 0 , H1 (X ,C) = 2 gX/G
y como n0 = gX/G , entonces
n0 = gX /G
(1.11)
31
Para k {1, ..., s} se tiene que

nk + nk = k , H1 (X ,C)
= (2 gX /G 2 + r)k (1)
GPu
dim Vk
u=1
= 2(gX /G 1) dim Vk +
GP u
(dim Vk dim Vk
u=1
Luego usando (1.8) concluimos que
nk
)
|GPu |1
r (
1
k
Nu
|G
|
P
u
u=1
=1
(1.12)
CAPITULO 2
Divisores y el espacio de Riemann-Roch

En este captulo nos centraremos en el concepto de divisor de una supercie de
Riemann compacta. Tambien nos referiremos al espacio de Riemann-Roch asociado a
un divisor y a algunas de sus propiedades, que seran necesarias para el desarrollo de
los captulos siguientes.
Consideraremos X una supercie de Riemann compacta, de genero gX , y K(X ) el
cuerpo de funciones meromorfas de X .
2.1. Divisores
En esta seccion trataremos el concepto de divisor y a algunas de sus propiedades.
Para mas detalles ver [FK].
Definici
on 2.1.1. Un divisor de X es un smbolo formal
D=
P (P )
P X
donde (P ) Z y (P ) = 0 solo para nitos P X .
Para D1 =
ellos como
P X
P (P ) y D2 =
P (P ) dos divisores de X , se dene el producto de
P X
D1 D2 =
P (P )+(P ) .
P X
Con este producto el conjunto de los divisores de X , denotado por Div(X ),

es un grupo
1
0
abeliano. Donde la identidad es 1 = P y el inverso esta dado por D1 =
P (P ) .
P X
32
CAPITULO 2. DIVISORES Y EL ESPACIO DE RIEMANN-ROCH
33
Definici
on 2.1.2. Para un divisor D en X , se dene el grado de D como
Deg(D) =
(P ).
P X
Claramente se puede establecer un homomorsmo Deg : Div(X ) Z, del grupo

multiplicativo de los divisores de X sobre el grupo aditivo de los enteros.
Debido a la compacidad de X , el conjunto de ceros y polos de una funcion meromorfa f = 0 en K(X ) es nito, esto nos permite denir el siguiente divisor asociado a
f.
Definici
on 2.1.3. Sea f una funcion meromorfa, no nula en X . El divisor principal
asociado a f , se dene como
div(f ) =
P ordP f .
P X
Del mismo modo, por la compacidad de X , se tiene que
Deg(div(f )) =
ordP f = 0.
P X
La razon es la siguiente, a partir de f podemos denir una funcion holomorfa

b entre supercies de Riemann compactas, donde F (x) = f (x) para
F : X C
todo x en el cual f es holomorfa, y F (x) = para todo
x polo de f . As los
ceros de F son los ceros de f . Luego el grado de F es deg(F ) =
multP F , y como
P F 1 (0)
b entonces tambien deg(F ) =

es independiente del punto elegido en C,
multQ F .
QF 1 ()
Por tanto
0=
P F 1 (0)
multP F
QF 1 ()
multQ F =
ordP f.
P X
Ademas, se puede establecer un homomorsmo div : K(X ) \ {0} Div(X ), del

grupo multiplicativo de K(X ) en el subgrupo de los divisores de X de grado cero.
Como Div(X ) es un grupo abeliano, entonces la imagen de este homomorsmo, que es
el conjunto de los divisores principales de X , es un subgrupo normal de Div(X ). Este
induce una relacion de equivalencia en los divisores de X , a saber:
Dos divisores D1 y D2 en X son equivalentes, denotado D1 D2 , si y solo si D1 D21
es principal, es decir si existe f K(X ) \ {0} tal que D1 D21 = div(f ).
34
Proposici
on 2.1.4. Sean D1 y D2 divisores en X tales que D1 D2 . Entonces
Deg(D1 ) = Deg(D2 ).
n: Si D1 D2 , entonces D1 D21 = div(f ) para alg
Demostracio
un f K(X )\{0}.
Luego
0 = Deg(div(f )) = Deg(D1 D21 ) = Deg(D1 ) Deg(D2 ).
Por tanto Deg(D1 ) = Deg(D2 ).
De la misma manera que se denen 1-formas holomorfas en la supercie X , se denen

1-formas meromorfas en X .
Una 1-forma meromorfa sobre un abierto V C, es una expresion de la forma
= f (z)dz, donde f es una funcion meromorfa en V . As decimos que es una
1-forma meromorfa en la coordenada z. Para denir una 1-forma meromorfa en X , se
hace por medio de cartas, deniendo una 1-forma meromorfa en la imagen de cada
carta, que es un abierto de C, pero se necesita una condicion de compatibilidad cuando
dos cartas tienen dominios con inteseccion no vaca. Lo anterior motiva la siguiente
denicion.
Definici
on 2.1.5. Una 1-forma meromorfa en la supercie de Riemann X , es una
coleccion de 1-formas meromorfas { }, una para cada carta : U V en la coordenada del abierto V C, tal que para dos cartas (U1 , 1 ) y (U2 , 2 ), con U1 U2 = , se
tiene que la 1-forma asociada a 1 se transforma a 2 , bajo el cambio de coordenadas z = T (w) = 1 21 (w), es decir, si 1 = f (z)dz entonces 2 = f (T (w))T (w)dw.
Sea una 1-forma meromorfa en la supercie X y P un punto de X . Sea (U, ) una

carta en centrada en P , donde la 1-forma asociada a esta carta es de la forma
f (z)dz, con f una funcion meromorfa en z = (P ) = 0. El orden de en P , denotado por ordP , se dene como el orden de f en z = 0. Cabe mencionar que ordP ,
esta bien denido, pues es independiente de la carta seleccionada. Ademas una 1-forma
meromorfa es holomorfa en un punto P X , si y solo si ordP 0.
Diremos que P es un cero de orden n de , si ordP = n > 0. Tambien diremos que P
es un polo de orden n de , si ordP = n < 0. El conjunto de ceros y polos de una
1-forma meromorfa es un conjunto discreto, y como X es compacta se tiene que este
conjunto es nito. Esto nos permite denir el siguiente divisor.
35
Definici
on 2.1.6. Sea es una 1-forma meromorfa, no nula en X . Se dene el divisor
asociado a , llamado divisor can
onico como
div() =
P ordP .
P X
Teorema 2.1.7. Sea X es una supercie de Riemann compacta de genero gX , y = 0

una 1-forma meromorfa en X . Entonces
Deg(div()) = 2 gX 2
n: Ver [FK] pag 74.
Demostracio
A continuacion nos referiremos al pullback de un divisor y enunciaremos

algunas propiedades.
Definici
on 2.1.8. Sea F : X Y una
funcion holomorfa, no constante, entre supercies de Riemann compactas y D =
Q(Q) un divisor en Y. Se dene el pullback
QY
de D a X , denotado por F (D), como el divisor de X dado por
F (D) =
(
QY
)(Q)
P
multP F
P F 1 (Q)
De igual forma, si f : Y C es una funcion meromorfa, se dene el pullback de f a

X , denotado por F (f ), como
F (f ) = f F
el cual es una funcion meromorfa en X .
Proposici
on 2.1.9. Sea F : X Y una funcion holomorfa, no constante, entre
supercies de Riemann compactas y f : Y C una funcion meromorfa. Entonces
ordP F (f ) = multP F ordF (P ) f
n: Por 1.1.8 existen cartas (U, ) en X y (U , ) en Y, centradas en
Demostracio
P y en F (P ) respectivamente, con F (U ) U , tal que F localmente es de la forma
w = F 1 (z) = z n
(2.1)
36
donde n = multP F . Como f es una funcion meromorfa, entonces su expansion en serie

de Laurent en torno a F (P ), con respecto a es
1
f (w) =
ck w k
(2.2)
k=n0
donde n0 = ordF (P ) f . As por (2.1) y (2.2), se tiene que localmente F (f ) = f F ,

alrededor de P es
1
f F (z) = f ( F (z)) =
n k
ck (z ) =
k=n0
ck z nk
k=n0
Luego el ordP F (f ) = ordP (f F ) = nn0 = multP F ordF (P ) f .
Lema 2.1.10. Sea F : X Y un funcion holomorfa, no constante, entre supercies

de Riemann compactas y D un divisor en Y. Entonces
1. el pullback F dene un homomorsmo de grupos, F : Div(Y) Div(X ).
2. el pullback de un divisor principal es principal. Es decir, si f es una funcion
meromorfa, no nula, en Y entonces F (div(f )) = div(F (f )) = div(f F ).
3. Deg(F (D)) = deg(F ) Deg(D).
n:
Demostracio
1. Es inmediato de la denicion de pullback de un divisor y del producto de divisores.
2. Sea f una funcion meromorfa en Y, tal que div(f ) =
Q ordQ f . Entonces
QY
F (div(f )) =
(
QY
)ordQ f
multP F
P F 1 (Q)
P multP F ordF (P ) f
QY P F 1 (Q)
P multP F ordF (P ) f
P X
Luego por 2.1.9 se tiene que
P multP F ordF (P ) f =
P ordP F (f ) = div(F (f )).
P X
P X
37
3. Como X es compacta, se tiene que |F 1 (Q)| es nita y ademas es independiente

del punto Q Y elegido. Luego
)
(
Deg(F (D)) =
multP F (Q)
P F 1 (Q)
QY
deg(F )(Q)
QY
= deg(F )
(Q)
QY
= deg(F ) Deg(D)
Definici
on 2.1.11. Un divisor D =
P (P ) de X se llama efectivo, si (P ) 0
P X
para todo P X . Este caso se denota por D 1.

Observacion 2.1.12. Lo anterior dene un orden parcial en los divisores, esto es:
D1 D2 si y solo si D1 D21 1.
Definici
on 2.1.13. Sea F : X Y una funcion holomorfa, no constante, entre supercies de Riemann compactas. Se dene el divisor de ramicacion de F , denotado
Ram(F ), como el divisor de X dado por
Ram(F ) =
P (multP F 1)
P X
Observe que el divisor de Ramicacion de F es un divisor efectivo.

Sea F : X Y una funcion holomorfa, no constante, entre supercies de Riemann
compactas y = 0 una 1-forma meromorfa en Y. Sea (U , ) una carta en Y, donde
en la coordenada local z de esta carta, es de la forma = f (z)dz, con f una funcion
meromorfa en V = (U ). Escojamos una carta (U, ) de X tal que F (U ) U , donde
la coordenada local de esta carta es t. As F en estas coordenadas es de la forma
z = h(t) = F 1 (t). Luego el pullback de , denotado por F (), se dene como
la 1-forma meromorfa en X , tal que con respecto la coordenada local t es de la forma
F () = f (h(t))h (t)dt.
38
Lema 2.1.14. Sea F : X Y una funcion holomorfa, no constante, entre supercies

de Riemann compactas y = 0 una 1-forma meromorfa en Y. Entonces
div(F ()) = F (div()) Ram(F )
n: Ver [M], pag 135.
Demostracio
Observe que el pullback de un divisor canonico no necesariamente es canonico.
2.2. El espacio de Riemann-Roch

Sea X una supercie de Riemann compacta de genero gX . Considere f una funcion
meromorfa, no nula, en K(X ) y D un divisor de X tal que
div(f ) =
P ordP f D =
P (P ) .
P X
P X
Entonces ordP f (P ), para todo P en X .

Luego f es holomorfa en todos los puntos P donde (P ) 0. Ademas, f tiene
ceros en los puntos P donde (P ) > 0 y el orden del cero es mayor o igual que (P ).
Tambien se concluye, que f puede tener polos en los puntos P tales que (P ) < 0 y el
orden del polo debe ser a lo mas (P ).
A continuacion deniremos el espacio vectorial de funciones meromorfas, con polos
acotados por el divisor D, el cual se denomina Espacio de Riemann-Roch.
Definici
on 2.2.1. Sea X una supercie de Riemann compacta y D un divisor de X .
Se dene el espacio de Riemann-Roch L(D), como
L(D) = {f K(X ) / div(f ) D1 } {0}.
Claramente L(D) es un espacio vectorial. Ademas, un hecho conocido es que
la dimension de L(D), como C-espacio vectorial es nita.
Las siguientes proposiciones dan cuenta de algunas propiedades del espacio L(D).
Proposici
on 2.2.2. Sean D1 , D2 Div(X ). Si D1 D2 entonces L(D2 ) L(D1 ).
n: Sea f L(D2 ), entonces div(f ) D21 . Como D1 D2 , se tiene
Demostracio
que D21 D11 . Luego div(f ) D11 y por tanto f L(D1 ).
39
Proposici
on 2.2.3. L(1) = C.
n: Sea 0 = f L(1), entonces div(f ) 1 y por tanto ordP f 0
Demostracio
para todo P X . Luego f es holomorfa. Como X es compacta se tiene que f es
constante. Por tanto L(1) = C.
Proposici
on 2.2.4. Sea D un divisor de X tal que Deg(D) < 0. Entonces L(D) = {0}.
P (P ) un divisor de X tal que Deg(D) =

(P ) < 0,
P X
P
X
P (P ) , y por
yf=
0 una funcion en L(D). Luego div(f ) =
P ordP f D1 =
n: Sea D =
Demostracio
P X
P X
tanto ordP f (P ) para todo P X . Como X es compacta se tiene que
0=
ordP f
(P ) = Deg(D) > 0
P X
P X
lo cual es una contradiccion. Por lo tanto L(D) = {0}.

El conocido teorema de Riemann-Roch, nos da la dimension del espacio vectorial L(D).

Teorema 2.2.5 (Riemann-Roch). Sea X una supercie de Riemann compacta de
genero gX y D un divisor de X . Entonces
dim L(D) = Deg(D) gX +1 + dim (D)
donde (D) es el espacio vectorial dado por
(D) = { / es una 1-forma meromorfa tal que div() D}
n: Ver [FK] pag 75.
Demostracio
Observacio
n 2.2.6. El espacio (1) = H 1,0 (X ). Puesto que si 0 = (1), entonces
div() =
P ordP 1. Luego ordP 0 para todo P X , y por tanto es una
P X
1-forma holomorfa en X . Ademas dim (1) = gX .
40
Proposici
on 2.2.7. Sean D1 y D2 dos divisores de X tales que D1 D2 . Entonces
dim L(D1 ) = dim L(D2 ).
n: Sean D1 y D2 divisores de X tales que D1 D2 , luego existe
Demostracio
0 = f K(X ) tal que div(f ) = D1 D21 . Si h es una funcion en L(D1 ), entonces div(h) D11 , luego div(hf ) = div(h) div(f ) D11 D1 D21 = D21 . Por tanto
hf L(D2 ).
Consideremos la funcion : L(D1 ) L(D2 ) dada por (h) = hf . Es facil ver que
es una transformacion lineal. Ademas es inyectiva, ya que si h ker entonces
(h) = hf = 0. Luego h = 0 puesto que f = 0. Tambien es sobreyectiva, ya que si
g L(D2 ) se tiene que div(g) D21 . Como f = 0, consideremos fg K(X ),
as div( fg ) = div(g) div(f )1 D21 (D1 D21 )1 = D11 . Por tanto fg L(D1 ). Luego
( fg ) = g. Se concluye que es un C-isomorsmo y por tanto dim L(D1 ) = dim L(D2 ).
Lema 2.2.8. Sean 1 y 2 1-formas meromorfas de una supercie de Riemann compacta X , con 1 = 0. Entonces existe una u
nica funcion meromorfa f K(X ) tal que
2 = f 1 .
n: Ver [M], pag 131.
Demostracio
onico, donde
Teorema 2.2.9. Sea D un divisor en X y K = div() un divisor can
= 0 es una 1-forma meromorfa en X . Entonces
dim L(D1 K) = dim (D).
n: Sea K = div() un divisor canonico, donde = 0 es una 1-forma meDemostracio
romorfa en X . Sea (D), por 2.2.8 se tiene que K(X ). Luego
div( ) = div() div()1 D div()1 = (D1 K)1 . As pertenece a L(D1 K).
Consideremos la funcion : (D) L(D1 K) dada por () = . Se puede probar
facilmente que es una transformacion lineal inyectiva. Sea g L(D1 K), entonces
div(g) D div()1 . Sea 0 = g una 1-forma meromorfa en X , luego
div(g) D div()1 div() = D. As 0 (D). Como (0 ) = (g) = g, se
concluye que es sobreyectiva. Luego es un isomorsmo de espacios vectoriales. Por
lo tanto dim L(D1 K) = dim (D).
41
Corolario 2.2.10. Sean D1 y D2 dos divisores de X tales que D1 D2 . Entonces

dim (D1 ) = dim (D2 ).
n: Sean D1 y D2 divisores de X tales que D1 D2 , entonces existe
Demostracio
0 = f K(X ) tal que D1 D21 = div(f ). Luego D11 D2 = div(f )1 = div( f1 ) y por
tanto D11 K D21 K para K = div() divisor canonico, donde = 0 es una 1-forma
meromorfa. Luego por 2.2.9 y 2.2.7 se concluye que
dim (D1 ) = dim L(D11 K) = dim L(D21 K) = dim (D2 ).
Ahora bien, sea K un divisor canonico de X . Por 2.1.7 sabemos que Deg(K) = 2 gX 2
y por 2.2.9 se tiene que dim (K) = dim L(K 1 K) = dim L(1) = 1. Luego
dim L(K) = Deg(K) gX +1 + dim (K) = 2 gX 2 gX +1 + 1 = gX .
Es conocido que L(K) es isomorfo como C-espacio vectorial al espacio H 1,0 (X , C), de
las 1-formas diferenciales holomorfas de X .
2.3. Divisores no especiales

Sea X una supercie de Riemann compacta de genero gX , y sea G un grupo nito
de automorsmos de X .
Definici
on 2.3.1. Un divisor D de X se dice no especial si dim L(D1 K) = 0, para
K un divisor canonico de X .
Si D es un divisor de X no especial, entonces por 2.2.9 se tiene que
dim (D) = dim L(D1 K) = 0
para K divisor canonico de X . Luego por 2.2.5 se concluye que
dim L(D) = Deg(D) gX +1
(2.3)
42
Ahora bien, considereremos el cubrimiento

: X X /G
P
[P ]G
de grado deg() = |G|.
Sea D0 =
Q(Q) un divisor de X /G y sea D el pullback de D0 por , es decir
QX /G
D = (D0 ) =
(
QX /G
)(Q)
P
multP
P 1 (Q)
el cual es un divisor X .
Como X es compacta, entonces por lema 2.1.10 obtenemos que
Deg(D) = deg() Deg(D0 ) = |G| Deg(D0 ).
(2.4)
La siguiente proposicion da cuenta de una condicion para que el divisor D sea

no especial.
Proposici
on 2.3.2. Sea : X X /G la proyecci
on can
onica y D un divisor de
2 gX 2
X , cual es el pullback de un divisor D0 de X /G. Si Deg(D0 ) >
entonces
|G|
D = (D0 ) es un divisor no especial de X .
n: Sea D0 Div(X /G) tal que Deg(D0 ) >
Demostracio
1-forma meromorfa en X y K = div(). Entonces
2 gX 2
. Sea = 0 una
|G|
Deg(D1 K) = Deg(D) + Deg(K).

Por (2.4) sabemos que Deg(D) = |G| Deg(D0 ), y por teorema 2.1.7 se tiene que
Deg(K) = 2 gX 2, luego
Deg(D1 K) = |G| Deg D0 + 2 gX 2 < 0.
Se concluye por 2.2.4 que L(D1 K) = {0} y por tanto D es un divisor no especial.
CAPITULO 3
Accion de grupo sobre el espacio de

Riemann-Roch
En este captulo estudiaremos la accion inducida por un grupo nito de automorsmos, de una supercie de Riemann compacta, sobre el espacio de Riemann-Roch
de un divisor D invariante por la accion del grupo. Centraremos nuestra atencion en
divisores no especiales, que son el pullback de un divisor de la supercie cociente por
la accion del grupo. Nuestro interes es obtener la multiplicidad de las representaciones
irreducibles del grupo, en la descomposicion de su accion sobre el espacio L(D).
3.1. Accion en L(D)

Consideremos X una supercie de Riemann compacta, K(X ) el cuerpo de funciones
meromorfas de la supercie y G un grupo nito de automorsmos de X .
Definici
on 3.1.1. Sea g G. La accion de g en K(X ), se dene como
f g = f g 1
donde f es una funcion meromorfa de K(X ).
En efecto lo anterior dene una accion de G sobre K(X ), puesto que
1. Si e es el automorsmo identidad, entonces f e = f para todo f K(X ).
2. Sean g, h G y f K(X ), entonces
f gh = f (gh)1 = f (h1 g 1 ) = (f h1 ) g 1 = (f h ) g 1 = (f h )g .
43
DE GRUPO SOBRE EL ESPACIO DE R-R

CAPITULO 3. ACCION
44
De igual
ua sobre el grupo de los divisores de X . Para
manera, el grupo G act
(P )
D =
P
un divisor en Div(X ) y g un automorsmo en G, la accion de G
P X
en Div(X ) esta dada por

g(D) =
g(P )(P ) .
P X
Proposici
on 3.1.2. Sea f = 0 una funcion en K(X ) y g G. Entonces
g
div(f ) = g(div(f )).
n: Sea g G y f K(X ). Como g es una biyeccion, se tiene que
Demostracio
(
)
ord
1
ordP f
g(div(f )) = g
P
=
g(P )ordP f =
P g1 (P ) f =
P ordP f g = div(f g )
P X
P X
P X
P X
Considere D un divisor de X y f = 0 una funcion en L(D). Entonces div(f ) D1 .

Como G act
ua en Div(X ), se tiene que
g(div(f )) g(D)1
para todo g G. Luego por proposicion 3.1.2 se obtiene que
div(f g ) g(D)1 .
Por lo tanto f g L(g(D)).
Observacion 3.1.3. Si D es un divisor invariante por la accion del grupo G, es decir si
g(D) = D para todo g G, entonces L(g(D)) = L(D) para todo g G. Por tanto G
act
ua sobre el espacio L(D), dandole estructura de K[G]-modulo.
3.2. Levantamiento de Divisores

Sea X una supercie de Riemann compacta, de genero gX , y sea G un grupo nito
de automorsmos de X . Considereremos el cubrimiento
: X X /G
P
[P ]G

CAPITULO 3. ACCION
45
Sea D0 =
Q(Q) un divisor de X /G tal que su pullback D = (D0 ), dado por
QX /G
D = (D0 ) =
(
QX /G
)(Q)
P
multP
P 1 (Q)
es un divisor no especial de X .
Como multP = |GP |, donde GP es el estabilizador de P en G, y los estabilizadores
de los puntos en 1 (Q) son conjugados, entonces multPi = multPj para todo Pi , Pj
en 1 (Q). Luego D es un divisor invariante por la accion de G y por tanto G act
ua
sobre el espacio L(D), dotandolo de estructura de K[G]-modulo.
Dado que X es compacta, por lema 2.1.10 se tiene que
Deg(D) = deg() Deg(D0 ) = |G| Deg(D0 ).
(3.1)
Ademas como D es un divisor no especial, se tiene por (2.3) que

dim L(D) = Deg(D) gX +1 = |G| Deg(D0 ) gX +1.
(3.2)
Nuestro proposito es, dada una representacion irreducible compleja de G y V el

C[G]-modulo donde se realiza esta representacion, encontrar la multiplicidad de V
en la descomposicion en factores irreducibles de la accion de G en L(D). Estamos
interesados en exhibir formulas explcitas para describir dicha multiplicidad.
Sean 0 , 1 , ..., s las representaciones irreducibles complejas de G. Consideremos
M(G) = {V0 , V1 , ..., Vs } representantes de los C[G]-modulos irreducibles de G y el
conjunto Irr(G) = {0 , 1 , ..., s } de caracteres irreducibles de G, correspondientes a
las representaciones k respectivamente. Aqu 0 = 1G es el caracter trivial de G.
As la accion de G sobre el espacio L(D), se descompone en G-modulos irreducibles
como
L(D) m0 V0 + m1 V1 + ... + ms Vs
donde los n
umeros mk son enteros no negativos, para k = 0, 1, ..., s. Ademas si

CAPITULO 3. ACCION
46
L(D) es el caracter de la representacion de G en L(D), se tiene que

L(D) = m0 0 + m1 1 + ... + ms s .
Proporcionaremos formulas explcitas para determinar los coecientes mk .
Observemos lo siguiente. Sea H 1,0 (X , C), el espacio dual del espacio de las 1-formas
analticas H 1,0 (X , C). El caracter de la representacion de G en este espacio, a , se
descompone como
a = n0 0 + n1 1 + ... + ns s
donde nk es un entero no negativo, para k = 0, 1, ..., s. La formula dada en (1.11) y
(1.12) nos permite determinar de manera explcita los coecientes nk .
Ademas
gX =
dim H 1,0 (X , C)
a (1)
nk dim Vk
(3.3)
k=0
Por otra parte, sea regG el caracter de la representacion regular de G. Luego

regG = dim V0 0 + dim V1 1 + ... + dim Vs s .
Por tanto
|G| = regG (1) =
(dim Vk )2 .
(3.4)
k=0
Luego sustituyendo (3.3) y (3.4) en (3.2) obtenemos que

s
s
s
2
(dim Vk )
nk dim Vk + 1.
mk dim Vk = dim L(D) = Deg(D0 )
k=0
k=0
k=0
Como dim V0 = 1 y por (1.11) se tiene que n0 = gX /G , entonces sustituyendo esto en

lo anterior, resulta que
s
k=0
s
s
mk dim Vk = m0 +
mk dim Vk = Deg(D0 )gX /G +1+ (Deg(D0 ) dim Vk nk ) dim Vk
k=1
k=1

CAPITULO 3. ACCION
47
En las proximas paginas probaremos que
m0 = Deg(D0 ) gX /G +1
(3.5)
mk = Deg(D0 ) dim Vk
nk
para k = 1, ..., s. Y por tanto tambien probaremos que
L(D) = deg(D0 ) regG a + 0
(3.6)

afn y
su clasura proyectiva, la cual es una supercie de Riemann compacta de genero 6.
Sea a([X : Y : Z]) = [51 X : Y : Z], con 5 = e2i/5 , un automorsmo de orden 5 de
Xe, y sea G = a. Consideremos el cubrimiento ramicado
: X X /G
P
[P ]G
grado 5, cuyos puntos de ramicacion son
P0 = [0 : : 1], P1 = [0 : 5 : 1], P2 = [0 : 52 : 1], P3 = [0 : 53 : 1], P4 = [0 : 54 : 1],
donde = ei/5 . Sean {Qk = [Pk ]G / k = 0, 1, ..., 4} los puntos rama del cubrimiento y
GPk = G el estabilizador del punto de ramicacion Pk .
Por la formula de Riemann-Hurwitz 1.2.9 se tiene que gXe/G = 0.
Sea D0 = Q30 = [P0 ]3G un divisor en Xe/G. Como
Deg(D0 ) = 3 >
2 gXe 2
262
=
=2
|G|
5

CAPITULO 3. ACCION
48
entonces por 2.3.2, se tiene que D = (D0 ) es un divisor no especial de Xe. Sea
D = (D0 ) =
(P multP )3 = P015 = [0 : : 1]15 .
P 1 (Q0 )
Luego el espacio de Riemann-Roch asociado a este divisor es

L(D) = {F K(Xe) / div(F ) [0 : : 1]15 } {0}
y su dimension es
dim L(D) = Deg(D) gXe +1 = 15 6 + 1 = 10.
Si 0 = F L(D) entonces div(F ) =

P ordP F [0 : : 1]15 . De lo que se concluye
P Xe
que F es holomorfa en todo P = [0 : : 1], con P Xe, y que F puede tener un polo
de orden a lo mas 15 en [0 : : 1]. Ademas, si F es holomorfa en todo punto de Xe,
claramente F pertenece a L(D), luego como Xe es compacta se tiene que F es constante.
Consideremos el siguiente conjunto de funciones en K(X ).
{
Z
Z2
Z3
X
XZ
XZ 2
X2
B = 1,
,
,
,
,
,
,
,
Y Z (Y Z)2 (Y Z)3 Y Z (Y Z)2 (Y Z)3 (Y Z)2
}
X 2Z
X3
,
.
(Y Z)3 (Y Z)3
Observamos que las funciones denidas en B tienen un u
nico polo en P0 = [0 : : 1],
a excepcion de la funcion constante F1 ([X : Y : Z]) = 1. Ahora indicaremos el orden
del polo en P0 de cada una de estas funciones.
1. F2 ([X : Y : Z]) =
Z
tiene un polo de orden 5 en P0 .
Y Z
2. F3 ([X : Y : Z]) =
Z2
tiene un polo en P0 de orden 10.
(Y Z)2
3. F4 ([X : Y : Z]) =
Z3
tiene en P0 un polo de orden 15.
(Y Z)3
4. F5 ([X : Y : Z]) =
X
Y Z
5. F6 ([X : Y : Z]) =
XZ
(Y Z)2

CAPITULO 3. ACCION
6. F7 ([X : Y : Z]) =
XZ 2
(Y Z)3
7. F8 ([X : Y : Z]) =
X2
(Y Z)2
8. F9 ([X : Y : Z]) =
X 2Z
tiene P0 un polo de orden 13.
(Y Z)3
9. F10 ([X : Y : Z]) =
49
X3
(Y Z)3
Por lo anterior se concluye que B L(D). Como todas las funciones en B tienen polo
de distinto orden en P0 , entonces B es un conjunto linealmente independiente. Ademas,
como la cardinalidad de B es 10, la cual coincide con la dimension de L(D), concluimos
que B es una base de L(D).
Sean 0 , 1 , 2 , 3 , 4 representaciones irreducibles de G, donde k : a 5k . Sean
M(G) = {V0 , V1 , V2 , V3 , V4 } representantes de los C[G]-modulos irreducibles de G,
todos de dimension 1, correspondientes a las representaciones k respectivamente.
La accion de a en los elementos de la base B de L(D) esta dada por
Fia ([X : Y : Z]) = Fi a1 ([X : Y : Z]) = Fi ([5 X : Y : Z])
(3.7)
para i = 1, 2, ..., 10. As

F1a = F1
F2a = F2 .
F3a = F3 .
F4a = F4
F5a = 5 F5
F6a = 5 F6
F7a = 5 F7
F8a = 52 F8
F9a = 52 F9
a
F10
= 53 F10
Luego si L(D) : G GL(L(D)) es la representacion de G
1 0 0 0 0 0 0 0
0 1 0 0 0 0 0 0
0 0 1 0 0 0 0 0
0 0 0 1 0 0 0 0
0 0 0 0 5 0 0 0
L(D) (a) =
0 0 0 0 0 5 0 0
0 0 0 0 0 0 5 0
0 0 0 0 0 0 0 2
5
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
en L(D), entonces
0 0
0 0
0 0
0 0
0 0
0 0
0 0
0 0
52 0
0 53

CAPITULO 3. ACCION
50
As, la accion de G sobre el espacio L(D), se descompone en G-modulos irreducibles

como
L(D) 4V0 + 3V1 + 2V2 + V3 .
(3.8)
Ahora bien, por el ejemplo 1.3.4 se tiene que la accion de G en el espacio H 1,0 (Xe, C),
se descompone en G-modulos irreducibles como
H 1,0 (Xe, C) 0V0 + 3V1 + 2V2 + 1V3 + 0V4 .
Luego por (1.9) y dado que todas las representaciones de G son de grado 1, se obtiene
e C) es
que la descomposicion de la accion G, en el espacio H 1,0 (X,
H 1,0 (Xe, C) 0V0 + 0V1 + 1V2 + 2V3 + 3V4
(3.9)
Reemplazando los datos obtenidos en (3.5) obtenemos que

m0 = Deg(D0 ) gX /G +1 = 3 0 + 1 = 4
m1
m2
m3
m4
= Deg(D0 ) dim V1 n1
=310=3
=311=2
=312=1
=313=0
lo cual coincide con la descomposicion de L(D) obtenida en (3.8).

Para nuestro proposito consideremos la siguiente denicion.
Definici
on 3.2.2. El modulo de ramicacion del cubrimiento : X X /G se dene
como el modulo asociado al caracter
G =
P Xram
IndG
GP
( |G
P |1
)
P
=1
donde Xram es el conjunto de todos los puntos de ramicacion del cubrimiento y

P : GP C el caracter dado por P (g) = P (g 1 ), para g GP . Es decir P
asigna a cada g GP la constante de rotacion de g en P .
Ahora bien, sea VG un C[G]-modulo donde se realiza G . Sean Q1 , Q2 , ..., Qr puntos rama del cubrimiento, Pu punto de ramicacion arriba del punto rama Qu , con

CAPITULO 3. ACCION
51
u {1, ..., r}, y GPu el estabilizador en G de Pu . Entonces la dimension de VG es

dim VG = G (1)
=
|G :
GPu | IndG
GPu
( |G
Pu |1
|GPu |1
|G : GPu |2
u=1
)
(1)
=1
u=1
r
Pu
=1
|G : GPu |2
u=1
(|GPu | 1)|GPu |
2
|G|
|G : GPu |(|GPu | 1)
2 u=1
)
r (
|G|2
1
1
=
2 u=1
|GPu |
r
En resumen
dim VG
)
r (
|G|2
1
=
1
2 u=1
|GPu |
(3.10)
Teorema 3.2.3. Sea X una supercie de Riemann compacta y G un grupo nito de

automorsmos de X . Entonces existe un u
nico K[G]-m
odulo VeG tal que
VG VeG ... VeG = |G|VeG
|
{z
}
|G| veces
n: Ver [Ka].
Demostracio
Luego usando (3.10) se concluye que
dim VeG
)
r (
|G|
1
=
1
2 u=1
|GPu |
que es el n
umero asociado a la ramicacion del cubrimiento.
(3.11)

CAPITULO 3. ACCION
52
Ejemplo 3.2.4. Sea G = a un grupo de orden 7. Por teorema de Existencia de

Riemann 1.2.12, existe una supercie de Riemann compacta X , de genero gX = 3, que
admite accion de G con rma (0; 7, 7, 7) y vector generador (a, a, a5 ).
Consideremos 7 = e2i/7 . Sean 0 , 1 , ..., 6 representaciones irreducibles de G, donde
k : a 7k , para k = 0, 1, ..., 6. Sea M(G) = {V0 , V1 , ..., V6 } representantes de los
C[G]-modulos irreducibles de G, todos de dimension 1, y el conjunto
Irr(G) = {0 , 1 , ..., 6 } de caracteres irreducibles de G correspondientes a las representaciones k respectivamente.
El cubrimiento tiene tres puntos rama y cada uno de ellos tiene u
nico punto de ramicacion arriba de el, cada uno con estabilizador de orden 7. Sean P1 , P2 y P3 los
respectivos puntos de ramicacion, ordenados en el sentido del vector generador. As del
vector generador obtenemos la siguiente informacion:
1. GP1 = a, donde P1 (a) = 7
2. GP2 = a, donde P2 (a) = 7
3. GP3 = a5 , donde P3 (a5 ) = 7
Ahora calcularemos el caracter de ramicacion G .
G = 2(1 + 22 + 33 + 44 + 55 + 66 ) + 3 + 26 + 32 + 45 + 51 + 64
= 71 + 72 + 73 + 144 + 145 + 146
= 7(1 + 2 + 3 + 24 + 25 + 26 ).
Luego como |G| = 7 y por la unicidad de VfG , se tiene por lo anterior que el caracter,
fG , correspondiente a la accion de G en V f es
fG = 1 + 2 + 3 + 24 + 25 + 26 .
fG (1) = 9, lo cual coincide con

Observe que dim VfG =
(
)
)
3 (
|G|
1
1
7
1
= 3 1
= 9.
2 u=1
|GPu |
2
7
Una interesante relacion entre el modulo de ramicacion y la representacion analtica

de la accion de G sobre la curva, es dada por el siguiente teorema.

CAPITULO 3. ACCION
53

automorsmos de X . Si a es el car
acter de la representaci
on analtica de G, entonces
e
a = 0 + (gX /G 1)regG +
G
e es el caracter asociado al K[G]-m
odulo dual de VfG .
donde
G
n: Ver [Ka].
Demostracio
Observe que del teorema anterior se desprende la siguiente relacion entre el caracter,
a , de la representacion de G en H 1,0 (X , C) y el modulo de ramicacion.
eG .
a = 0 + (gX /G 1)regG +
Por tanto
eG = + (1 gX/G )regG 0 .
eG se descompone en irreducibles como

Ahora, si
eG = b0 0 + b1 1 + ... + bs s
donde bk es un entero no negativo, para k = 0, 1, ..., s. Entonces

e G , k
b k =
= a , k + (1 gX/G )regG , k 0 , k
= nk + (1 gX /G ) dim Vk 0 , k
Como dim V0 = 1 y por (1.11) se tiene que n0 = gX /G , se concluye que
eG , 0 = gX /G +(1 gX /G ) 1 = 0
b0 =
(3.12)
eG , k = n + (1 gX /G ) dim Vk
b k =
k
(3.13)
Y tambien que
para k = 1, .., s.

CAPITULO 3. ACCION
54
Ademas, por (1.12) se tiene que

nk
)
|GPu |1
r (
1
k
Nu
|GPu | =1
u=1
Luego sustituyendo lo anterior en (3.13), se obtiene que

bk =
u=1
|GPu |1
1
k
Nu
|GPu | =1
para k = 1, ..., s.
Una aplicacion de la formula equivariante de Riemann-Roch dada por Borne, ver [B],
[JK], para un divisor D no especial de X , el cual es el pullback de un divisor D0 de
X /G, es la siguiente.
Lema 3.2.6 (Formula equivariante de Riemann-Roch). Sea X una supercie de Riemann compacta, G un grupo nito de automorsmos de X y D un divisor no especial
de X , tal que es el pullback de un divisor D0 de X /G. Entonces el car
acter virtual de
L(D) es
eG
L(D) = (1 gX /G )regG + Deg(D0 )regG
n: Ver [B] y [JK].

Demostracio
Con estos previos estamos en condiciones de probar las formulas dadas en (3.5) y (3.6).
Teorema 3.2.7. Sea X una supercie de Riemann compacta sobre C y sea G un grupo
nito de automorsmos de X . Considere D un divisor no especial de X , tal que es el
pullback de un divisor D0 en X /G. Sea k un car
acter irreducible complejo de G y Vk
un C[G]-modulo irreducible asociado a este caracter. Entonces la multiplicidad mk del
m
odulo Vk , en la descomposicion en factores irreducibles de la acci
on de G sobre L(D)
es:
1. Si 0 es el caracter trivial, entonces
m0 = Deg(D0 ) gX /G +1
2. Si k es un caracter irreducible no trivial, entonces
mk = Deg(D0 ) dim Vk nk

CAPITULO 3. ACCION
55
n: Sea k un caracter irreducible complejo de G y Vk un

Demostracio
C[G]-modulo asociado al caracter k .
Por lema 3.2.6, se tiene que
e G , k
mk = L(D) , k = (Deg(D0 ) gX /G +1)regG , k
As
eG , k
mk = (Deg(D0 ) gX /G +1) dim Vk
(3.14)
eG , 0 = 0, se concluye que
Como dim V0 = 0 y por (3.12) se tiene que
m0 = Deg(D0 ) gX /G +1.
Si k es un caracter irreducible no trivial, entonces por (3.13) se tiene que
eG , k = nk + (1 gX /G ) dim Vk
Luego sustituyendo lo anterior en (3.14) se tiene que

mk = (Deg(D0 ) gX /G +1) dim Vk (nk + (1 gX /G ) dim Vk )
= Deg(D0 ) dim Vk nk
Del teorema anterior se desprenden los siguientes corolarios.

Corolario 3.2.8. Sea X una supercie de Riemann compacta sobre C y sea G un
grupo nito de automorsmos de X . Considere D un divisor no especial de X , tal que
es el pullback de un divisor D0 en X /G. Entonces el car
acter complejo, L(D) , de la
acci
on de G en L(D) esta dado por
L(D) = Deg(D0 )regG a + 0
n: Sean 0 , 1 , ..., s caracteres irreducibles complejos de G y

Demostracio
M(G) = {V0 , V1 , ..., Vs } representantes de los C[G]-modulos irreducibles asociados
a los caracteres k , respectivamente. Entonces
L(D) = m0 0 + m1 1 + ... + ms s

CAPITULO 3. ACCION
56
donde por 3.2.7 se tiene que

L(D) = (Deg(D0 ) gX /G +1)0 +
(Deg(D0 ) dim Vk nk )k
k=1
Como dim V0 = 1 y por (1.11) se tiene que n0 = gX /G , entonces aplicando esto en lo

anterior resulta
s
s
L(D) =
(Deg(D0 ) dim Vk )k
nk k + 0
k=0
= Deg(D0 )
k=0
s
dim Vk k
k=0
nk k + 0
k=0
= Deg(D0 )regG a + 0
Corolario 3.2.9. Sea X una supercie de Riemann compacta, G un grupo nito de

automorsmos de X y D un divisor no especial de X , tal que es el pullback de un
divisor D0 de X /G. Si Vk es un modulo irreducible de G, entonces la multiplicidad de
Vk en la descomposici
on de la acci
on de G en L(D) est
a dada por
mk = (Deg(D0 ) gX /G +1) dim Vk
r |G
Pu |1
N k
u=1
=1
|GPu |
Donde Q1 , Q2 , ..., Qr son los puntos rama del cubrimiento : X X /G y GPu es el

estabilizador de un punto de ramicaci
on Pu arriba de Qu .
n: Si Vk es el modulo trivial, es claro que satisface la propiedad. Si Vk
Demostracio
es un modulo irreducible no trivial de G, entonces por (1.12) su multiplicidad en la
descomposicion en factores irreducibles, de la accion de G sobre H 1,0 (X , C) es
nk
)
|GPu |1
r (
1
k
Nu
|G
|
P
u
u=1
=1
Luego sustituyendo lo anterior en la ecuacion proporcionada en 3.2.7, se tiene que

(
))
|GPu |1
r (
1
k
= Deg(D0 ) dim Vk dim Vk (gX /G 1) +
Nu
|GPu | =1
u=1
= (Deg(D0 ) gX /G +1) dim Vk
r |G
Pu |1
N k
u=1
=1
|GPu |
.

CAPITULO 3. ACCION
57
Ahora bien, sea L(D) el caracter de la representacion de la accion de G sobre el espacio

dual de L(D), denotado por L(D). Por 3.2.8 se tiene que
L(D) = Deg(D0 )regG a + 0
Luego
L(D) + L(D) = 2 Deg(D0 )regG a a + 20
Como el caracter de la accion de G en el primer grupo de Homologa, H1 (X ,C) = a +a
se concluye que
L(D) + L(D) = 2 Deg(D0 )regG H1 (X ,C) + 20
y por tanto este caracter es racional.
Se tiene que L(D) + L(D) se descompone en irreducibles como
L(D) + L(D) = a0 0 + a1 1 + ... + s s
donde
ak = L(D) + L(D) , k = 2 Deg(D0 )regG , k H1 (X ,C) , k + 20 , k .
para k = 0, 1, ..., s.
Sean Q1 , Q2 , ..., Qr los puntos rama del cubrimiento : X X /G y GPu el estabilizador de un punto de ramicacion Pu arriba de Qu . Por 1.3.7 se obtiene que
a0 = 2(Deg(D0 ) gX /G +1)
(3.15)
y tambien que
ak = 2(Deg(D0 ) gX /G +1) dim Vk r dim Vk
GPu
dim Vk
u=1
= 2(Deg(D0 ) gX /G +1) dim Vk
u=1
GPu
(dim Vk dim Vk
(3.16)

CAPITULO 3. ACCION
58
para k = 1, ..., s.
Luego por lo anterior, resulta que
dim L(D) + dim L(D) = L(D) (1) + L(D) (1)
(
)
s
r
G
=
2(Deg(D0 ) gX /G +1) dim Vk
(dim Vk dim Vk Pu ) dim Vk
u=1
k=0
Como dim L(D) = dim L(D), se concluye que
dim L(D) =
k=0
)
r
1
GPu
(Deg(D0 ) gX /G +1) dim Vk
(dim Vk dim Vk ) dim Vk
2 u=1
3.3. Multiplicidad de un caracter absolutamente irreducible

En esta seccion nos referiremos a la multiplicidad de un caracter absolutamente irreducible de G, es decir un caracter irreducible complejo que es equivalente a un caracter
racional, en la descomposicion del caracter de G en L(D). Mostraremos resultados que
generalizan los obtenidos por Joyner y Ksir [JK], por un metodo distinto.
Sea G un grupo nito, caracter de G y V un C[G]modulo asociado a . Sea H = h
un subgrupo cclico de G y considere Irr(H) = {0 = 1H , 1 , ..., |H|1 } caracteres irre
ducibles de H, donde (h) = |H|
, con |H| una raz |H|-esima primitiva de la unidad y = 0, 1, ..., |H| 1. Sea M(H) = {W0 , W1 , ..., W|H|1 } representantes de los
C[H]modulos irreducibles de H, todos de dimension 1, asociados a los caracteres
respectivamente.
As
ResG
H = b0 0 + b1 1 + ... + b|H|1 |H|1
donde
b = ResG
H ,
para = 0, ..., |H| 1.
Con los elementos antes denidos enunciamos el siguiente lema.

CAPITULO 3. ACCION
59
Lema 3.3.1. Sea H un subgrupo cclico de G. Considere car

acter racional de G y
V un G-modulo asociado a . Entonces
|H|1
1
1
H
(dim V dim V ) =
ResG
H ,
2
|H| =1
donde V H es el subespacio jo de V por la accion de H.

n: Como es caracter racional de G, entonces ResG
Demostracio
acter
H es un car
racional de H, luego por teorema 5.2.2 se tiene que
aK
ResG
IndH
H =
K 1K
|NH (K) : K|
K
donde K recorre todos los subgrupos cclicos de H y aK Z.
Ya que H es abeliano, se tiene que NH (K) = H, luego
aK
ResG
=
IndH
H
K 1K .
|H
:
K|
K
Si consideramos af
K = aK |K| obtenemos que
ResG
H =
As
ResG
H , =
af
K
IndH
K 1K .
|H|
K
(3.17)
af
H
IndH
K 1K ,
|H|
K
para = 0, 1, ..., |H| 1. Por reciprocidad de Frobenius 5.2.1

H
K
IndH
K 1K , = 1K , ResK = dim W
luego
ResG
H , =
1
K
af
K dim W
|H| K
(3.18)
y por tanto
|H|1
|H|1
1
1
G
ResH , =
a
f
dim WK .
K
|H| =1
|H|2 K
=1
(3.19)
Sabemos que dim WK es 0 o 1, pues dim W = 1. Para cada K escojamos t de manera

CAPITULO 3. ACCION
60
t
que K = ht , t divide a |H| y t|K| = |H|. Ya que (ht ) = |H|
y dim W = 1, se
obtiene que
{
1 si |K| divide a
K
dim W =
0 si |K| no divide a
Como |K| |H| y = 0, 1, ..., |H| 1, obtenemos que

|H|1
1
1
K
a
f
dim
W
=
af
K
K (|K| + 2|K| + ... + (|H| |K|))
|H|2 K
|H|2 K
=1
1
=
af
K |K|(1 + 2 + ... + (|H : K| 1))
|H|2 K
1
1
=
af
(|H : K| 1)|H : K|
K |K|
2
|H| K
2
1 af
K
=
(|H : K| 1).
2 K |H|
Por tanto sustituyendo lo anterior en la igualdad (3.19), resulta que

|H|1
1
1 af
K
ResG
(|H : K| 1).
H , =
|H| =1
2 K |H|
(3.20)
Por otra parte dim V H = ResG

H , 0 , luego por (3.18)
dim V H =
1
1
K
af
dim
W
=
af
K
K.
0
|H| K
|H| K
Ademas por (3.17) se tiene que

dim V = ResG
H (1) =
Luego
af
af
K
K
IndH
|H : K|.
K 1K (1) =
|H|
|H|
K
K
1 af
1
K
(dim V dim V H ) =
(|H : K| 1).
2
2 K |H|
(3.21)
Se concluye de (3.20) y (3.21) que

|H|1
1
1
H
(dim V dim V ) =
ResG
H , .
2
|H| =1

CAPITULO 3. ACCION
61

automorsmos de X . Considere D un divisor no especial de X , tal que es el pullback de
un divisor D0 de X /G. Si es un car
acter absolutamente irreducible de G, entonces
la multiplicidad m de en la descomposici
on del car
acter, L(D) , de la representaci
on
de G en L(D), esta dada por
1
(dim V dim V Hj )Rj
m = (Deg(D0 ) gX /G + 1) dim V
2 j=1
M
donde V es el C[G]-modulo correspondiente a , {Hj } es un conjunto de representantes

de las clases de conjugacion de subgrupos cclicos de G, j = 1, ..., M y Rj es el n
umero
de puntos rama del cubrimiento : X X /G, arriba del cual los estabilizadores de
los puntos de ramicacion son conjugados a Hj .
n: Sea representacion absolutamente irreducible de G, su caracter
Demostracio
y V el C[G]-modulo asociado a la representacion . Sean Q1 , Q2 , ..., Qr los puntos rama
del cubrimiento : X X /G. Sea Pu un punto de ramicacion arriba de Qu y GPu el
estabilizador de Pu en G.
|G|/|GP |
u
Sea |G| una raz |G|-esima primitiva de la unidad y |GPu | = |G|

raz |GPu |-esima primitiva de la unidad.
, la cual es una
Si es el caracter trivial, entonces por 3.2.7 se satisface claramente la propiedad.

Si es un caracter no trivial, entonces por 3.2.9 se tiene que la multiplicidad de en
L(D) es
r |G
Pu |1
Nu
m = (Deg(D0 ) gX /G +1) dim V
.
|GPu |
u=1 =1
Sea Irr(GPu ) = {0 , 1 , ..., |GPu |1 } el conjunto de caracteres irreducibles de GPu = u ,
donde (u ) = |G
, con {0, 1, ..., |GPu |1}, y sea M(GPu ) = {W0 , W1 , ..., W|GPu |1 }
Pu |
un conjunto de representantes de los C[GPu ]modulos irreducibles de GPu correspondientes los caracteres respectivos.
Por (1.6) sabemos que
Nu
= ResG
GPu ,
para = 0, 1, ..., |GPu | 1. As

|GPu |1
|GPu |1
N
1
u
=
ResG
GPu , .
|G
|
|G
|
P
P
u
u
=1
=1

CAPITULO 3. ACCION
62
Dado que es racional y GPu cclico, entonces por lema 3.3.1 se concluye que
|GPu |1
|GPu |1
N
1
1
u
GPu
=
ResG
).
GPu , = (dim V dim V
|GPu |
|GPu | =1
2
=1
Por tanto
1
(dim V dim V GPu )
2 u=1
r
Si Hj es un subgrupo cclico de G tal que GPu es conjugado a Hj , entonces

dim V GPu = dim V Hj . Por lo tanto
1
(dim V dim V Hj )Rj
2 j=1
M
donde {Hj } es un conjunto de representantes de las clases de conjugacion de subgrupos

cclicos de G, con j = 1, ..., M y Rj es el n
umero de puntos rama del cubrimiento
: X X /G, arriba del cual los estabilizadores de los puntos de ramicacion son
conjugados a Hj .
Una demostracion alternativa para el teorema anterior, usando el teorema de

Broughton 1.3.7 es la siguiente.
Sea un caracter absolutamente irreducible, no trivial de G, y V un C[G]-modulo
asociado a . Consideremos Q1 , Q2 , ..., Qr puntos rama del cubrimiento : X X /G.
Sea Pu un punto de ramicacion arriba de Qu y GPu el estabilizador de Pu en G.
Sean n y n la multiplicidad de en la descomposicion en factores irreducibles de a y
a respectivamente. Como es racional se tiene que n = n . Luego 2n es la multiplicidad de en la descomposicion en irreducibles del caracter H1 (X ,C) , correspondiente
a la accion de G en el primer grupo de Homologa de X . Por 1.3.7 se tiene que
2n = , H1 (X ,C)
= (2 gX /G 2 + r)(1)
dim V GPu
u=1
= 2(gX /G 1) dim V +
u=1
(dim V dim V GPu )

CAPITULO 3. ACCION
63
De lo que se concluye que

1
n = n = (gX /G 1) dim V +
(dim V dim V GPu ).
2 u=1
r
Sea m la multiplicidad de en la descomposicion en factores irreducibles de L(D) .

m = Deg(D0 ) dim V n
(
= Deg(D0 ) dim V
)
r
1
(gX /G 1) dim V +
(dim V dim V GPu )
2 u=1
1
= (Deg(D0 ) gX /G +1) dim V
(dim V dim V GPu ).
2 u=1
r
3.4. Levantamiento de divisores en cocientes intermendios

Sea X una supercie de Riemann compacta, de genero gX , y G un grupo nito de
automorsmos de X . Consideremos el cubrimiento
: X X /G
P
[P ]G
Para H un subgrupo de G, consideremos los cubrimientos H y H dados por
H : X X /H
P
[P ]H
H : X /H X /G
[P ]H
[P ]G
cuyos grados son deg(H ) = |H| y deg(H ) = |G : H| respectivamente. Observamos

que en general H no es un cubrimiento de Galois.
El diagrama siguiente ilustra la situacion
X II
II
II H
II
I$
X /H

v
vv
vv
v
v
v{ v H
X /G

CAPITULO 3. ACCION
Sea D0 =
64
Q(Q) un divisor de X /G tal que el pullback D = (D0 ) es un divisor
QX /G
no especial de X y sea DH = H (D0 ) un divisor de X /H, dado por

DH =
H (D0 )
(
QX /G
mult[P ]H H
[P ]H
)(Q)
.
[P ]H 1
H (Q)
Por lema 2.1.10 se tiene que

Deg(DH ) = deg(H ) Deg(D0 ) = |G : H| Deg(D0 )
(3.22)
Proposici
on 3.4.1. Sea D0 un divisor de X /G tal que el pullback D = (D0 ) es un
divisor no especial de X . Sea DH el divisor de X /H denido anteriormente. Entonces
DH es un divisor no especial de X /H.
n: Sea X /H = 0 una 1-forma meromorfa en X /H y X = H

Demostracio
(X /H )
una 1-forma meromorfa en X .
Consideremos el divisor de ramicacion de H , Ram(H ) =

P (multP H 1) , el cual
es un divisor de X efectivo. Por lema 2.1.14 se tiene que
P X
div(X ) = div(H
(X /H )) = H
(div(X /H )) Ram(H ).
(3.23)
Sea KX = div(X ) y KX /H = div(X /H ). Como D = (D0 ) = H

(H (D0 )) = H
(DH )
y por (3.23), se tiene que
D1 KX = H
(DH )1 H
(KX /H ) Ram(H )
1
= H (DH KX /H ) Ram(H ).
1
1
Sea 0 = f una funcion en L(DH
KX /H ), entonces div(f ) (DH
KX /H )1 . Luego
1
H
(div(f )) H
(DH
KX /H )1 .
Pero por lema 2.1.10 se tiene que H

(div(f )) = div(H
(f )) = div(f H ). Y como
Ram(H ) 1, se tiene que
1
1
(DH
KX /H )1 Ram(H )1 = (D1 KX )1 .
(DH
KX /H )1 H
) H
div(f H
Pero f H es una funcion meromorfa en X . Luego 0 = f H L(D1 KX ). Lo

cual contradice el hecho que D es un divisor no especial de X . Por lo tanto f = 0 y
1
L(DH
KX /H ) = 0. De lo que se concluye que DH es un divisor no especial de X /H.

CAPITULO 3. ACCION
65
Como X /H es una supercie de Riemann compacta y DH un divisor en X /H, entonces

el espacio de Riemann-Roch asociado a DH es
1
L(DH ) = {f K(X /H) / div(f ) DH
} {0}.
Luego como DH es no especial, se tiene por 2.3 y (3.22) que

dim L(DH ) = Deg(DH ) gX /H + 1 = |G : H| Deg(D0 ) gX /H + 1
Sean Q1 , Q2 , ..., Qr puntos rama del cubrimiento : X X /G y consideremos GPu el

estabilizador de un punto de ramicacion Pu arriba de Qu .
La formula de genero del cociente intermedio dada en [R], nos dice que
1
(|G : H| |H\G/GPu |)
2 u=1
r
gX /H = |G : H|(gX /G 1) + 1 +
(3.24)
donde |H\G/GPu | es la cardinalidad

del conjunto H\G/GPu de representantes de las
HtGPu .
clases dobles. As G =
tH\G/GPu
Luego por (3.24) se tiene que

dim L(DH ) = |G : H| Deg(D0 ) gX /H + 1
1
(|G : H| |H\G/GPu |) + 1
2 u=1
r
= |G : H| Deg(D0 ) |G : H|(gX /G 1) 1
1
= |G : H| Deg(D0 ) |G : H|(gX /G 1)
(|G : H| |H\G/GPu |)
2 u=1
r
Por tanto
1
(|G : H| |H\G/GPu |)
2 u=1
r
dim L(DH ) = (Deg(D0 ) gX /G +1)|G : H|
(3.25)

CAPITULO 3. ACCION
66
Sean 0 , 1 , ..., s las representaciones irreducibles complejas de G. Consideremos

M(G) = {V0 , V1 , ..., Vs } representantes de los C[G]-modulos irreducibles de G y el
conjunto Irr(G) = {0 , 1 , ..., s } de caracteres irreducibles de G, correspondientes a
las representaciones k respectivamente. Donde 0 = 1G es el caracter trivial de G.
Sea 1H la representacion trivial de H, entonces
IndG
H 1H = a0 0 + a1 1 + ... + as s
donde
ak = IndG
H 1H , k
para k = 0, 1, ..., s. Por Reciprocidad de Frobenius 5.2.1 se tiene que
G
H
ak = IndG
H 1H , k = 1H , ResH k = dim Vk
(3.26)
Como dim IndG

H 1H = |G : H| entonces por lo anterior, resulta que
|G : H| =
dim VkH dim Vk
(3.27)
k=0
Ahora bien, dado que
IndG
GPu
1GPu
s
s
GP u
G
=
(dim Vk )k y IndH 1H =
(dim VkH )k ,
k=0
entonces
IndG
GPu
1GPu , IndG
H
1H =
k=0
GPu
dim Vk
dim VkH .
(3.28)
k=0
Por otra parte, usando Reciprocidad de Frobenius 5.2.1 se tiene que

G
G
G
IndG
GPu 1GPu , IndH 1H = 1GPu , ResGPu (IndH 1H ).
(3.29)
Ahora bien, consideremos T = H\G/GPu conjunto de representantes de las clases

dobles, luego por teorema de Mackey 5.2.3 se tiene que
t
G u
G
t
ResG
(Ind
1
)
=
IndHPt G
(ResH
GPu
H H
H t GPu 1H )
P
u
tT

CAPITULO 3. ACCION
67
t
Como 1tH (ht ) = 1H (h) = 1 para todo ht H t GPu , entonces ResH
H t GPu 1H = 1H t GPu .
Luego se obtiene que
G u
G
(Ind
1
)
=
IndHPt G
1H t GPu
ResG
H
H
GP u
P
u
tT
Aplicando esta igualdad en (3.29) resulta que
GPu
G u
G
t G
1GPu , ResG
(Ind
1
)
=
1
,
Ind
1
=
1GPu , IndHPt G
1H t GPu
t
H
G
H
GPu
H
Pu
Pu
H GP
P
u
tT
tT
Nuevamente usando Reciprocidad de Frobenius 5.2.1, se obtiene que
G u
G u
t G
1
=
ResHPt G
1GPu , 1H t GPu
1GPu , IndHPt G
H
Pu
P
P
u
tT
tT
1H t GPu , 1H t GPu
tT
tT
= |T |
Por tanto
G
IndG
GPu 1GPu , IndH 1H = |H\G/GPu |
Luego por (3.28) se concluye que

|H\G/GPu | =
GPu
dim VkH dim Vk
(3.30)
k=0
As sustituyendo (3.27) y (3.30) en la ecuacion (3.25), obtenemos que

dim L(DH ) = (Deg(D0 )gX /G +1)
k=0
1
dim Vk
2 u=1
r
dim VkH
(
s
k=0
)
G
(dim Vk dim Vk Pu ) dim VkH

CAPITULO 3. ACCION
68
Luego se concluye que

)
s (
r
1
GPu
dim L(DH ) =
(dim Vk dim Vk ) dim VkH
2
u=1
k=0
(3.31)
Ahora bien, consideremos el caracter L(D) + L(D) , luego por (3.15) y (3.16) se tiene
que este caracter se descompone en irreducibles como
L(D) + L(D) = a0 0 + a1 1 + ... + as s .
donde
G
ak = 2(Deg(D0 ) gX /G +1) dim Vk
(dim Vk dim Vk Pu )
(3.32)
u=1
para k = 0, ..., s.
Ahora bien, sabemos por reciprocidad de Frobenius 5.2.1 que
G
dim L(D)H = ResG
H L(D) , 1H = L(D) , IndH 1H
y tambien que
dim L(D)
= ResG
H L(D) , 1H = L(D) , IndH 1H
Ademas, se tiene que

dim L(D)H = dim L(D)
Luego por (3.32) y por (3.26) obtenemos que

G
2 dim L(D)H = L(D) , IndG

H 1H + L(D) , IndH 1H
= L(D) + L(D) , IndG

H 1H
(
)
s
r
GP u
=
2(Deg(D0 ) gX /G +1) dim Vk
k=0
u=1
Luego se concluye que

)
s (
r
1
GPu
dim L(D) =
2
u=1
k=0
H
(3.33)

CAPITULO 3. ACCION
69
y por tanto usando (3.31) y (3.33) se concluye que

dim L(DH ) = dim L(D)H
(3.34)
Proposici
on 3.4.2. Sea X una supercie de Riemann compacta, G un grupo nito
de automorsmos de X y D un divisor no especial de X , tal que es el pullback de un
divisor D0 de X /G. Sea H subgrupo de G y DH el divisor no especial de X /H denido
anteriormente. Entonces
L(DH ) L(D)H
donde L(D)H es el subespacio de L(D) jo por la acci
on de H.
n: Sea L(D)H = {f L(D) / f h = f
Demostracio
deremos la aplicacion
: L(D)H L(DH )
para toda h H}. Consi-
dada por (f )([P ]H ) = f (P ). Mostraremos que es una funcion bien denida. Observamos primero que (f ) pertenece a K(X /H), puesto que si P, P1 [P ]H entonces existe
h H tal que P1 = h(P ), as (f )([P1 ]H ) = f (P1 ) = f (h(P )) = f (P ) = (f )([P ]H ),
esto debido a que si f L(D)H entonces f h = f h1 = f por tanto f = f h para
todo h H. Luego (f ) es un funcion de X /H a C, ademas como f es meromorfa,
entonces se tiene que (f ) K(X /H).
Ahora probaremos que (f ) pertenece a L(DH ). Si (f ) = 0, entonces div(f ) D1 ,
es decir
)(Q)
(
ordP f
1
multP
div(f ) =
P
D =
P
P X
pero
P X
ordP f
QX /G
QX /G
ordP f
P 1 (Q)
)
, luego se tiene que
P 1 (Q)
ordP f multP (Q)
(3.35)
para todo P 1 (Q).

El divisor principal asociado a (f ) esta dado por
div((f )) =
[P ]H X /H
ord[P ] (f )
[P ]H H
(
QX /G
[P ]H 1
H (Q)
ord[P ] (f )
[P ]H H
)
.

CAPITULO 3. ACCION
70
En tanto que el divisor DH de X /H esta dado por

DH =
H (D0 )
QX /G
mult[P ]H H
[P ]H
)(Q)
.
[P ]H 1
H (Q)
1
Se quiere probar que div((f )) DH
, para eso basta probar que
ord[P ]H (f ) mult[P ]H H (Q)

1
para todo [P ]H 1
H (Q), es decir para todo P (Q).
Sea Q X /G y [P ]H 1
P 1 (Q). Como (f )([P ]H ) = f (P ) es decir
H (Q), as
(f ) H = f , entonces dado que (f ) es meromorfa y H holomorfa, se tiene por 2.1.9
que
ordP f = ordP ((f ) H ) = multP H ordH (P ) (f ).
Como multP 1, se tiene que ord[P ]H (f ) =
ordP f
.
multP H
Luego por (3.35) se concluye que

ord[P ]H (f ) =
ordP f
multP (Q)
multP H
multP H
Dado que = H H y H y H son funciones holomorfas no constantes, entonces

multP = multP (H H ) = multP H multH (P ) H = multP H mult[P ]H H
luego se tiene que
multP H mult[P ]H H (Q)

multP (Q)
=
= mult[P ]H H (Q).
multP H
multP H
Por lo tanto
ord[P ]H (f ) mult[P ]H H (Q).
Se concluye que (f ) pertence a L(DH ), para toda f L(D)H .
No es difcil probar que es una transfomacion lineal. Ademas es inyectiva, puesto que
si f ker , entonces (f )([R]H ) = f (R) = 0 para todo R X , luego f = 0. Como
por (3.34) se tiene que dim L(DH ) = dim L(D)H , entonces es sobreyectiva. Luego
es un C-isomorsmo entre espacios vectoriales y por tanto L(DH ) L(D)H .

CAPITULO 3. ACCION
71
Para H un subgrupo de G, consideremos

pH =
1
h
|H| hH
un elemento idempotente central en el algebra de grupo K[H], el cual corresponde a la

representacion trivial del subgrupo H. Se conoce que
L(D)H pH (L(D)),
para mas detalles ver [CR].
L(DH ) L(D)H pH (L(D)).
Con estos elementos y siguiendo las ideas de Carocca y Rodrguez en [CR], se puede
estudiar la accion del algebra de Hecke en L(DH ). Donde el algebra de Hecke sobre K
de H en G, es la K-algebra HH,K = pH K[G]pH = K[H\G/H], la cual es una subalgebra de K[G], que consiste de las funciones de G en K, que son constantes en cada clase
doble HgH de H en G.
CAPITULO 4
Curvas de Fermat y curvas p-gonales

En este captulo estudiaremos el espacio de Riemann-Roch para las familias de
curvas de Fermat y algunas curvas p-gonales. Exhibiremos bases para el espacio de
Riemann-Roch de ciertos divisores no especiales, invariantes por la accion de un grupo
cclico nito G de automorsmos de la curva. Las bases encontradas son de tal forma
que dejan de maniesto, la descomposicion en irreducibles de la accion de G en dicho espacio de Riemann-Roch. Ademas aplicaremos el teorema 3.2.7 para obtener su
descomposicion.
4.1. El espacio de Riemann-Roch para curvas de Fermat

Sea N N, N 3, X = {(x, y) C2 /f (x, y) = xN + y N + 1 = 0} una curva plana
afn y
Xe = {[X : Y : Z] CP2 /fe(X, Y, Z) = X N + Y N + Z N = 0}
su clasura proyectiva. Se sabe que Xe es una supercie de Riemann compacta de genero
gXe =
(N 1)(N 2)
.
2
1
Sea a([X : Y : Z]) = [N
X : Y : Z], donde N = e2i/N , y G = a un subgrupo de
orden N de los automorsmos de Xe.
Considere el cubrimiento ramicado

: X X /G
P
[P ]G
de grado N, cuyos puntos de ramicacion son
k
: 1] / = ei/N , k = 0, 1, ..., N 1}.
{Pk = [0 : N
Sean {Qk = [Pk ]G / k = 0, 1, ..., N 1} los puntos rama del cubrimiento y GPk = G el
estabilizador del punto de ramicacion Pk .
72
CAPITULO 4. CURVAS DE FERMAT Y CURVAS P-GONALES
73
La formula de Riemann-Hurwitz 1.2.9 nos dice que

)
N 1 (
|G|
1
gXe = |G|(gXe/G 1) + 1 +
1
2 k=0
|GPk |
luego reemplazando los valores obtenidos se tiene que
)
N 1 (
N
(N 1)(N 2)
1
= N (gXe/G 1) + 1 +
1
2
2 k=0
N
(
)
N 1
(N 1)(N 2) = 2N (gXe/G 1) + 2 + N 2
N
despejando gX /G de la ecuacion resulta que
gXe/G = 0.
Escojamos un divisor D0 Div(Xe/G) tal que D = (D0 ) sea un divisor en Xe no
especial. Por 2.3.2 basta tomar D0 de manera que
Deg(D0 ) >
2 gXe 2
(N 1)(N 2) 2
N 2 3N
=
=
= N 3.
|G|
N
N
M
Sea D0 = QM
el pullback de
0 = [P0 ]G un divisor de grado M , donde M > N 3. As
este divisor es
D = (D0 ) =
(P multP )M = P0N M = [0 : : 1]N M .
P 1 (Q0 )
El espacio de Riemann-Roch asociado a este divisor es

L(D) = {F K(Xe) / div(F ) [0 : : 1]N M } {0}
cuya dimension es
dim L(D) = Deg(D) gXe +1 = N M
(N 1)(N 2)
N (2M N + 3)
+1=
.
2
2
Si 0 = F L(D) entonces
div(F ) =
P ordP F [0 : : 1]N M
P Xe
de lo que se concluye que F es holomorfa en todo P =

[0 : : 1], con P Xe, y
que F puede tener un polo de orden a lo mas N M en [0 : : 1]. Ahora bien, si F es
74
holomorfa en todo punto de Xe, claramente F pertenece a L(D), observamos que como
Xe es compacta entonces F es constante.
Buscamos una base para L(D). Para ello exhibiremos un conjunto linealmente
independiente de funciones en L(D), de cardinal igual la dimension de L(D). Primero
observemos lo siguiente:
k
: 1],
1. La funcion H1 ([X : Y : Z]) = X tiene ceros de orden 1 en Pk = [0 : N
para k = 0, 1, ..., N 1.
k
2. La funcion H2 ([X : Y : Z]) = Z tiene ceros de orden 1 en Rk = [ N
: 1 : 0],
para k = 0, 1, ..., N 1.
3. La funcion H3 ([X : Y : Z]) = Y Z tiene un u

nico cero de orden N en
P0 = [0 : : 1].
Tomando en cuenta lo anterior, consideremos el siguiente conjunto de funciones en
K(X ).
}
Z
Z2
Z3
ZM
1,
,
,
,
...
,
,
M +1
Y Z (Y Z)2 (Y Z)3
(Y Z)M
X
XZ
XZ 2
,
,
,
Y Z (Y Z)2 (Y Z)3
X2
X 2Z
,
,
(Y Z)2 (Y Z)3
XZ M 1
,
,
(Y Z)M
...
X 2 Z M 2
,
,
(Y Z)M
...
}
M
}
M 1
..
.
X N 2
X N 2 Z
X N 2 Z M N +2
,
,
...,
,
(Y Z)N 2 (Y Z)N 1
(Y Z)M
X N 1
X N 1 Z
X N 1 Z M N +1
,
,
...,
.
(Y Z)N 1 (Y Z)N
(Y Z)M
}
M (N 3)
}
M (N 2)
Observe que la u
ltima la de este conjunto tiene sentido cuando M > N 2. El
conjunto escrito por comprension resulta ser
/
}
{
X lZ r
l, r Z, 0 l N 1, 0 r M y l + r M
B=
(Y Z)l+r
75
y su cardinalidad es
|B| =
N
2
M i = NM + 1
i=1
N
2
i = NM + 1
i=1
(N 2)(N 1)
N (2M N + 3)
=
,
2
2
la cual coincide con la dimension de L(D).

X lZ r
B, entonces F tiene ceros de orden r en
(Y Z)l+r
k
k
Rk = [ N
: 1 : 0], para k = 0, 1, ..., N 1, ceros de orden l en Pk = [0 : N
: 1], para
k = 1, ..., N 1, y un u
nico polo de orden N r +l(N 1) en P0 = [0 : : 1]. Observe que
N r +l(N 1) = N (r +l)l N M l N M , luego F L(D) y por tanto B L(D).
Si F ([X : Y : Z]) =
Sean F y F funciones en B, supongamos que en P0 tienen un polo del mismo

orden, es decir N r + l(N 1) = N r + l (N 1), luego
(N 1)(l l ) = N (r r) r r =
N 1
(l l ).
N
Como r r es entero, entonces N divide a l l . Pero 0 |l l | N 1, luego

l = l y por tanto r = r . Concluimos que F = F . Esto nos dice que las funciones en B
tienen polo de distinto orden en P0 , luego B es un conjunto linealmente independiente.
Ademas ya que el cardinal de B es igual a la dimension de L(D), concluimos entonces
Sean 0 , 1 , ..., N 1 representaciones irreducibles de G, donde
k
k : a N
y M(G) = {V0 , V1 , ..., VN 1 } representantes de los C[G]-modulos irreducibles de G, todos de dimension 1, correspondientes a las representaciones 0 , 1 , ..., N 1
respectivamente.
La accion de a en los elementos de la base B de L(D) esta dada por
l
F a ([X : Y : Z]) = F a1 ([X : Y : Z]) = F ([N X : Y : Z]) = N
X lZ r
(4.1)
(Y Z)l+r
Luego por (4.1), se obtiene que el espacio L(D) se descompone como G-modulo de la
siguente manera
L(D) (M + 1)V0 + M V1 + (M 1)V2 + ... + (M (N 3))VN 2 + (M (N 2))VN 1
(4.2)
76
Sea H 1,0 (Xe, C) el espacio vectorial de las 1-formas holomorfas de Xe. Sabemos que G
act
ua sobre H 1,0 (Xe, C) por medio de la accion a() = a1 , donde una 1-forma
diferencial holomorfa en Xe. Sea
}
{
r1 dx
A = r,s = x
/ r, s Z, r, s 1, r + s N 1
y N s
una base de H 1,0 (Xe, C).
Por otra parte, a1 (P0 ) = P0 . Determinaremos una carta centrada en P0 para
exhibir la forma local del automorsmo a1 .
Sea
2 : Xe U2 = {[X : Y : Z] Xe : Z = 0} {(x, y) C2 /f (x, y) = xN + y N + 1}
(
)
X Y
[X : Y : Z]
,
Z Z
un homemeomorsmo, donde 2 (P ) = (0, ). Como f
(0, ) = N N 1 =
0, entonces
y
por teorema de la funcion implcita, existe una vecindad abierta W X de (0, ), una
funcion analtica g tal que g(0) = , y t > 0 de modo que
W = {(x, g(x)) : x B(0, t)} X .
As la carta en P0 , esta dada por
: 1
2 (W ) C
[x : g(x) : 1]
x
Luego, en coordenadas locales, el automorsmo a1 es de la forma
a1 1 (x) = (a1 ([x : g(x) : 1])) = ([N x : g(x) : 1]) = N x
Por tanto la accion de a en los elementos de la base A de H 1,0 (Xe, C) es
a(r,s ) = r,s a1 = (N x)r1
1
y N s
r r1
N dx = N
x
dx
y N s
r
= N
r,s .
(4.3)
Luego por (4.3) se obtiene que el espacio H 1,0 (Xe, C), se descompone como G-modulo
de la siguiente manera
H 1,0 (Xe, C) 0V0 + (N 2)V1 + (N 3)V2 + ... + 1VN 2 + 0VN 1
77
Ademas, por (1.9) y dado que todas las representaciones de G son de grado 1, se
e C) es
obtiene que la descomposicion de la accion G, en el espacio H 1,0 (X,
H 1,0 (Xe, C) 0V0 + 0V1 + 1V2 + ... + (N 3)VN 2 + (N 2)VN 1
(4.4)
De esta descomposicion (4.4), obtenemos que n0 = 0 y nk = k 1, para

k = 1, ..., N 1.
Ahora bien, por 3.2.7 sabemos que si L(D) = m0 V0 + m1 V1 + ... + mN 1 VN 1 entonces
m0 = Deg(D0 ) gX /G + 1
para k = 1, ..., N 1. Luego sustituyendo los valores obtenidos, resulta que
m0 = M 0 + 1 = M + 1
mk = M 1 (k 1) = M (k 1)
para k = 1, ..., N 1. Lo cual coincide con la descomposicion obtenida en (4.2) de
L(D).
4.2. Espacio de Riemann-Roch para un tipo de curvas p-gonales

Sea X = {(x, y) C2 /f (x, y) = y p x(x 1)(x ) = 0} una curva plana afn,
donde p > 3 es un n
umero primo y C \ {0, 1}.
(
)
(
)(
)
X
X Y
X
Y
Yp X X
Consideremos x =
e y = , as f
,
= p
1
.
Z
Z
Z Z
Z
Z Z
Z
Sea
(
)
X
Y
p
fe([X : Y : Z]) = Z f
,
= Y p XZ p3 (X Z)(X Z).
Z Z
Luego la clausura proyectiva de X es
Xe = {[X : Y : Z] CP2 / fe([X : Y : Z]) = Y p XZ p3 (X Z)(X Z)},
la cual tiene una una singularidad en el punto P = [1 : 0 : 0]. Luego normalizamos la
curva y obtenemos que Xe es una supercie de Riemann compacta.
78
Sea a([X : Y : Z]) = [X : p1 Y : Z], donde p = e2i/p , un automorsmo de

orden p de Xe y G = a.
Consideremos el cubrimiento ramicado de grado p
: X X /G
P
[P ]G
cuyos puntos de ramicacion son
P1 = [0 : 0 : 1], P2 = [1 : 0 : 1], P3 = [ : 0 : 1] y P = [1 : 0 : 0].
El estabilizador de cada punto de ramicacion es G. Los puntos Qi = [Pi ]G , con
i = 1, 2, 3, y Q = [P ]G son los puntos rama del cubrimiento.
Sabemos que gXe/G = 0, luego por la formula de Riemann-Hurwitz 1.2.9, se tiene que
(
)
p
1
gXe = p + 1 + 4 1
= p 1.
2
p
(4.5)
Escojamos un divisor D0 de Xe/G de manera que su pullback D = (D0 ), sea un

divisor no especial de Xe. Por 2.3.2 basta tomar D0 de manera que
Deg(D0 ) >
2 gXe 2
2(p 1) 2
4
=
=2 .
|G|
p
p
Como p 5, basta elegir D0 de modo que Deg(D0 ) 2.

Sea N 2 un n
umero entero y D0 = QN
1 , as
D = (D0 ) =
(P multP )N = P1N p = [0 : 0 : 1]N p
P 1 (Q1 )
luego el espacio de Riemann-Roch asociado a este divisor es

L(D) = {F C (Xe)/ div(F ) [0 : 0 : 1]N p } {0}
y su dimension es
dim L(D) = Deg(D) gXe +1 = N p (p 1) + 1 = (N 1)p + 2.
Si 0 = F L(D) entonces
div(F ) =
P Xe
P ordP F P1N p = [0 : 0 : 1]N p .
(4.6)
79
Luego F es holomorfa en todo P = P1 , con P Xe, y puede tener un polo de orden a

lo mas N p en P1 . Claramente si F es holomorfa en Xe entonces F pertenece a L(D), y
como Xe es compacta se tiene que F es constante.
Buscamos una base para L(D), para ello exhibiremos un conjunto linealmente
independiente de funciones en L(D) de cardinal igual la dimension de L(D). Primero
observemos lo siguiente:
nico cero en P1 = [0 : 0 : 1] de orden
1. La funcion H1 ([X : Y : Z]) = X tiene un u
p.
2. La funcion H2 ([X : Y : Z]) = Y tiene ceros de orden 1 en P1 = [0 : 0 : 1],
P2 = [1 : 0 : 1] y P3 = [ : 0 : 1], y de orden (p 3) en P = [1 : 0 : 0].
3. La funcion H3 ([X : Y : Z]) = Z tiene un u
nico cero en P = [1 : 0 : 0] de orden
p.
Sean i, j n
umeros enteros tal que 0 i p 1. Consideremos la funcion racional
F ([X : Y : Z]) =
Yi
.
X ij Z j
Para que F pertenezca a L(D), esta debe ser constante o tener un u

nico polo en P1 ,
de orden a lo mas N p. Para que esto ocurra y teniendo en cuenta las observaciones
anteriores, se debe cumplir que
0 p(i j) i = (p 1)i jp N p
0 (p 3)i pj.
(4.7)
note que el orden del polo de F en P1 es p(i j) i.

De las desigualdades de (4.7), obtenemos que
(p 1)
(p 3)
iN j
i
p
p
es decir,
pi +(iN )
i p3 i
y por tanto
pi +(iN )
(
)
3
j (iN )+ N p i .
Luego si 0 i min{p 1, N3p }, entonces existe j entero tal que

3
(i N ) j i i.
p
En conclusion, si el par i, j de enteros es tal que
{
}
Np
3
0 i min p 1,
y (i N ) j i i
3
p
(4.8)
80
Yi
entonces la funcion F ([X : Y : Z]) = ij j pertenece a L(D).
X Z
Si N 3 entonces min{p 1, N3p } = p 1. Ya que si N 3, se tiene que
N p 3p > 3(p 1). Luego N3p p > p 1.
Si N = 2 entonces min{p 1, 2p
} = 2p
. Como p 5, se tiene
3
3
3
Luego 2 (p 1) (p 1) + 2 > p. Por tanto (p 1) > 2p
.
3
1
(p
2
1) 2.
Analizaremos cada situacion por separado.

Sea N 3. Como p > 3 primo, entonces p = 3l + 1 o p = 3l + 2 para alg
un
l > 1 entero. Exhibiremos una base de L(D), considerando p en cada caso.
Si p = 3l + 1 entonces 0 i 3l. Usando la desigualdad (4.8) podemos concluir
lo siguiente:
1. Si i = 0 entonces N j 0.
2. Si 1 i l entonces i N j i 1.
3
Ya que si 1 i l entonces 0 < 3l+1
i
i N j i 1.
3
l
3l+1
< 1. Luego 0 < p3 i < 1. Por tanto
3. Si l + 1 i 2l entonces i N j i 2.
3l+3
3
Puesto que si l+1 i 2l entonces 3l+1
3l+1
i
Por lo tanto i N j i 2.
6l
.
3l+1
Luego 1+ p2 p3 i 2 p2 .
4. Si 2l + 1 i 3l entonces i N j i 3.
6l+3
3
Desde que 2l + 1 i 3l, se tiene que 3l+1
3l+1
i
3
3
1
2 + p p i 3 p . De lo que se concluye que i N j i 3.
9l
.
3l+1
Luego
As para i, j y l enteros denidos anteriormente, consideremos B el siguiente subconjunto de L(D)
si i = 0
/ N j 0
Yi
i N j i 1 si 1 i l
B=
.
i N j i 2 si l + 1 i 2l
X ij Z j
i N j i 3 si 2l + 1 i 3l
Luego su cardinalidad es
|B| = (N +1)+lN +l(N 1)+l(N 2) = 3lN +N 3l+1 = (N 1)(3l+1)+2 = (N 1)p+2
la cual coincide con la dimension de L(D).
81
Las funciones en B son linealmente independientes, pues todas tienen un u

nico po
lo en P1 de distinto orden. Ya que si existen pares (i, j) e (i , j ) tales que las funciones en B determinadas por ellos, tienen un polo del mismo orden en P1 , entonces
p(i j) i = p(i j ) i , luego
(p 1)i (p 1)i = jp j p
y por tanto
(p 1)(i i ) = p(j j ).
As p divide a (p 1)(i i ). Como p es primo, se tiene que p divide a (i i ). Pero

|i i | p 1, por tanto i = i y por ende j = j .
Ya que B es un conjunto linealmente independiente cuya cardinalidad es igual a la
dimension de L(D), entonces B es una base de L(D).
Si p = 3l + 2. Entonces 0 i 3l + 1. De igual manera que en el caso anterior,
usando la desigualdad (4.8), podemos concluir que:
1. si i = 0 entonces N j 0.
2. si 1 i l entonces i N j i 1.
Ya que si 1 i l, se tiene que 0 < p3 i
3
l
3l+2
< 1. Por tanto i N j i 1.
3. si l + 1 i 2l + 1 entonces i N j i 2.
Puesto que si l + 1 i 2l + 1, entonces 3l+3
3l+2
3
1
1
1 + p p i 2 p . Por lo tanto i N j i 2.
6l+3
.
3l+2
Luego
4. si 2l + 2 i 3l + 1 entonces i N j i 3.
3
Como 2l + 2 i 3l + 1, se tiene que 6l+6
3l+2
i
3l+2
2
3
3
2 + p p i 3 p . De lo que se concluye que i N j i 3.
9l+3
.
3l+2
Luego
De igual manera, considerando los enteros i, j y l

siguiente subconjunto de L(D)
/ N j 0
Yi
iN j i1
B=
ij
j
iN j i2
X Z
iN j i3
3
i
3l+2
denidos anteriomente, denimos el

si
si
si
si
i=0
1il
l + 1 i 2l + 1
2l + 2 i 3l + 1
Observe que la cardinalidad de este conjunto es

|B| = (N + 1) + lN + (l + 1)(N 1) + l(N 2)
= 3lN + 2N 3l
= (N 1)(3l + 2) + 2
= (N 1)p + 2
82
la cual coincide con la dimension de L(D). Como las funciones en B son linealmente
independiente, pues tienen polo de distinto orden en P1 y |B| = dim L(D), se concluye
Supongamos que N = 2, luego 0 i 2p
. Como p = 3l + 1 o p = 3l + 2 para
3
alg
un l > 1 entero, buscaremos una base de L(D) en cada caso.
Si p = 3l + 1, entonces
podemos concluir:
2p
3
= 2l + 23 . Luego 0 i 2l. Usando la desigualdad (4.8)
1. Si i = 0 entonces 2 j 0.
2. Si 1 i l entonces i 2 j i 1.
Ya que si 1 i l, se tiene que 0 < p3 i
3
l
3l+1
3. Si l + 1 i 2l entonces j = i 2.
Desde que l+1 i 2l, se tiene que 3l+3

3l+1
De lo que se concluye que j = i 2.
< 1. Por tanto i 2 j i 1.
3
i
3l+1
6l
.
3l+1
Luego 1+ p2 p3 i 2 p2 .
Sean i, j y l los enteros denidos anteriormente, denimos el siguiente subconjunto de

L(D)
/ 2 j 0
si i = 0
Yi
i 2 j i 1 si 1 i l
B=
X ij Z j
j =i2
si l + 1 i 2l
cuya cardinalidad de es
|B| = 3 + 2l + l = 3l + 3 = p + 2 = dim L(D).
Por los mismos argumentos que en los casos anteriores, se prueba que el conjunto B es
una base de L(D).
Si p = 3l + 2, entonces 2p
= 2l + 43 . Por tanto 0 i 2l + 1, luego usando la
3
desigualdad (4.8) se concluye que:
1. Si i = 0 entonces 2 j 0.
2. Si 1 i l entonces i 2 j i 1.
Puesto que si 1 i l, se tiene que 0 < p3 i
3. Si l + 1 i 2l + 1 entonces j = i 2.
Como l+1 i 2l+1, se tiene que 3l+3
3l+2
Por tanto lo j = i 2.
3
l
3l+2
3
i
3l+2
< 1. Por tanto i2 j i1.

6l+3
.
3l+2
Luego 1+ p1 p3 i 2 p1 .
83
Para i, j y l enteros denidos anteriormente, se dene se dene el siguiente subconjunto

de L(D)
/ 2 j 0
si i = 0
Yi
i 2 j i 1 si 1 i l
B=
X ij Z j
j =i2
si l + 1 i 2l + 1
La cardinalidad de dicho conjunto es
|B| = 3 + 2l + (l + 1) = 3l + 4 = p + 2 = dim L(D)
Nuevamente, por el mismo argumento que en los casos anteriores, el conjunto B es una
base de L(D).
Sean 0 , 1 , ..., p1 representaciones irreducibles de G, donde
k : a pk
con p = e2i/p .
y M(G) = {V0 , V1 , ..., Vp1 } representantes de los C[G]-modulos irreducibles de G,

todos de dimension 1, correspondientes a las representaciones 0 , 1 , ..., p1 respectivamente.
Como D es un divisor invariante por la accion de G, entonces G act
ua en el
espacio L(D).
Yi
es un elemento de la base B de L(D), entonces la
X ij Z j
accion de G = a en el espacio L(D) esta dada por
Si F ([X : Y : Z]) =
F a ([X : Y : Z]) = F a1 ([X : Y : Z]) = F ([X : p Y : Z] = pi
Yi
X ij Z j
(4.9)
Dado esto, el espacio L(D) se descompone como G-modulo, en factores irreducibles

como
L(D) m0 V0 + m1 V1 + ... + mp1 Vp1
donde mi son enteros no negativos, para i = 0, 1, ..., p 1. Usando (4.9) y la forma
particular que tiene la base exhibida para L(D), junto con que las representaciones
irreducibles de G son todas de dimension 1, determinaremos los coecientes mi . Lo
haremos por casos.
84
Si N 2 y p = 3l + 1, entonces
N + 1 si
N
si
mi =
N
1
si
N 2 si
i=0
1il
l + 1 i 2l
2l + 1 i 3l
(4.10)
i=0
1il
l + 1 i 2l + 1
2l + 2 i 3l + 1
(4.11)
Si N 2 y p = 3l + 2, entonces
N + 1 si
N
si
mi =
N 1 si
N 2 si
Observe que para N 2 y p > 3 primo, el subespacio de L(D) jo por G, L(D)G , es

generado por el conjunto
{
}
Z Z2
ZN
1, , 2 , ..., N .
X X
X
4.3. Aplicacion del teorema de descomposicion

Consideremos la curva denida en la seccion anterior.
Sea X = {(x, y) C2 /f (x, y) = y p x(x 1)(x )} una curva plana afn,
donde p > 3 es un n
umero primo y C \ {0, 1}.
Sea Xe = {[X : Y : Z] CP2 / fe([X : Y : Z]) = Y p XZ p3 (X Z)(X Z)},
su clausura proyectiva, la cual tiene una singularidad en el punto P = [1 : 0 : 0].
Luego normalizamos la curva y obtenemos que Xe es una supercie de Riemann
compacta.
Sea a([X : Y : Z]) = [X : p1 Y : Z], donde p = e2i/p , un automorsmo de
orden p de Xe y G = a.
85
Consideremos el cubrimiento ramicado de grado p

: X X /G
P
[P ]G
cuyos puntos de ramicacion son
P1 = [0 : 0 : 1], P2 = [1 : 0 : 1], P3 = [ : 0 : 1] y P = [1 : 0 : 0].
El estabilizador de cada punto de ramicacion es G. Los puntos Qi = [Pi ]G , con
i = 1, 2, 3, y Q = [P ]G son los puntos rama del cubrimiento.
Sabemos que gXe/G = 0 y por (4.5) tenemos que gXe = p 1.
Sea N 2 un n
umero entero y D0 = QN
1 un divisor de X /G. Luego su pullback
D = (D0 ) dado por
D = (D0 ) =
(P multP )N = P1N p = [0 : 0 : 1]N p
P 1 (Q1 )
el cual es un divisor no especial de X , hecho probado en la seccion anterior. El espacio

de Riemann-Roch asociado a este divisor es
L(D) = {F C (Xe)/ div(F ) [0 : 0 : 1]N p } {0}
cuya dimension por (4.6) es
dim L(D) = (N 1)p + 2.
Ahora determinaremos la descomposicion de la accion G en el espacio H 1,0 (Xe, C),

en terminos de las representaciones irreducibles de G.
Como gXe/G = 0 y el cubrimiento tiene cuatro puntos rama, donde cada punto de
ramicacion arriba de cada punto rama tiene estabilizador de orden p, se sigue que, la
rma del cubrimiento es (0; p, p, p, p).
Buscamos el vector generador de G, para eso eligimos para cada punto rama del cubrimiento un punto de ramicacion arriba de el y determinamos la constante de rotacion
del generador de su respectivo estabilizador.
El punto P1 = [0 : 0 : 1] tiene por estabilizador a G1 = a. Sea
2 : Xe U2 = {[X : Y : Z] Xe : Z = 0} {(x, y) C2 /f (x, y) = y p x(x 1)(x )}
(
)
X Y
[X : Y : Z]
,
Z Z
86
homemeomorsmo, donde 2 (P1 ) = (0, 0). Como f

(0, 0) = 0, entonces por teorema
x
de la funcion implcita, existe vecidad abierta W de (0, 0), una funcion analtica h tal
que h(0) = 0 y t > 0 de modo que
W = {(h(y), y) : y B(0, t)} X .
Luego la carta en P1 esta dada por
: 1
2 (W ) C
[h(y) : y : 1]
y
As, localmente en P1 , el automorsmo a luce como
a 1 (y) = a([h(y) : y : 1]) = ([h(y) : p1 y : 1]) = p1 y = pp1 y
de donde P1 (a) = pp1 . Por lo tanto la constante de rotacion de a en P1 es P11 (a) = p ,
es el angulo de rotacion de a en P1 .
donde 2
p
De manera similar encontramos la constante de rotacion para a en los puntos P2 y
P3 , as
P2 (a) = pp1 y P3 (a) = pp1
y por tanto
P12 (a) = p
P13 (a) = p .
La informacion anterior es suciente para encontrar el vector generador, pues el cubrimiento tiene cuatro puntos rama. Conseguimos este vector de la siguiente manera:
como Pi (a) = pp1 , para i = 1, 2, 3, buscamos en Z, con 0 < < p tal que
(p 1) 1 mod p ,
luego el vector generador es (a , a , a , a ), donde Z es tal que
3 + 0 mod p. As = p 1 y = p 3. Por tanto el vector generador
es
(a, a, a, ap3 ).
Ahora que ya tenemos el vector generador, determinaremos la descomposicion de la
accion G en el espacio H 1,0 (Xe, C), en terminos de las representaciones irreducibles de
G.
Sean 0 , 1 , ..., p1 representaciones irreducibles de G, donde
k : a pk
con p = e2i/p .
87
y M(G) = {V0 , V1 , ..., Vp1 } representantes de los C[G]-modulos irreducibles de G,

todos de dimension 1, correspondientes a las representaciones 0 , 1 , ..., p1 respectivamente.
Sea
H 1,0 (Xe, C) n0 V0 + n1 V1 + ... + np1 Vp1 ,
donde los coecientes ni son enteros no negativos, para i = 0, 1, ..., p 1. Luego usando
las ecuaciones dadas en (1.11) y (1.12), junto con que dim Vi = 1, para i = 0, 1, ..., p1,
obtenemos que
n0 = gXe/G = 0
3
1
ni = 1 + i + i(p 3)
p
p
(4.12)
para i = 1, 2, ..., p 1. Donde i(p 3) es el resto de la division de i(p 3) por p.

Ya que p es de la forma 3l + 1 o 3l + 2, para alg
un l > 1 en Z, obtenemos el
valor de ni en cada caso.

Si p = 3l + 1 entonces 1 i 3l. Por (4.12) se concluye que:
1. Si 1 i l entonces ni = 0.
Como i l sigue que 3i 3l < 3l + 1 = p. Luego 0 < p 3i < p. Ademas, ya
que i(p 3) p 3i mod p entonces se tiene que ni = 1 + p3 i + p1 (p 3i) = 0.
2. Si l + 1 i 2l entonces ni = 1.
Ya que l + 1 i 2l entonces 3l + 3 3i 6l. As p + 2 3i 2p 2 y por
tanto 2 2p 3i p 2. Ahora bien, como i(p 3) 2p 3i mod p, se concluye
que ni = 1 + p3 i + p1 (2p 3i) = 1.
3. Si 2l + 1 i 3l entonces ni = 2.
Debido a que 2l+1 i 3l, se tiene que 6l+3 3i 9l. As 2p+1 3i 3p3,
luego 3 3p 3i p 1. Ya que i(p 3) 3p 3i mod p, obtenemos que
ni = 1 + p3 i + p1 (3p 3i) = 2.
En resumen
0 si 0 i l
1 si l + 1 i 2l
ni =
2 si 2l + 1 i 3l
Si p = 3l + 2 entonces 1 i 3l + 1. De la misma manera que el caso anterior,

usando (4.12) concluimos que:
88
1. Si 1 i l entonces ni = 0.
Como i l sigue que 3i 3l < 3l + 2 = p. Luego 0 < p 3i < p. Ademas
i(p 3) p 3i mod p, por tanto ni = 1 + p3 i + p1 (p 3i) = 0.
2. Si l + 1 i 2l + 1 entonces ni = 1.
Desde que l + 1 i 2l + 1 entonces 3l + 3 3i 6l + 3. As p + 1 3i 2p 1
y por tanto 1 2p 3i p 1. Como i(p 3) 2p 3i mod p, se tiene que
ni = 1 + p3 i + p1 (2p 3i) = 1.
3. Si 2l + 2 i 3l + 1 entonces ni = 2.
Ya que 2l +2 i 3l +1 entonces 6l +6 3i 9l +3. Luego 2p+2 3i 3p3
y por tanto 3 3p 3i p 2. Ademas, como i(p 3) 3p 3i mod p,
obtenemos que ni = 1 + p3 i + p1 (3p 3i) = 2.
En resumen
0 si 0 i l
1 si l + 1 i 2l + 1
ni =
2 si 2l + 2 i 3l + 1
Ahora bien, si la descomposicion en factores irreducibles del espacio L(D) como

G-modulo es
L(D) m0 V0 + m1 V1 + ... + mp1 Vp1 ,
donde mi son enteros no negativos para i = 0, ..., p 1. Entonces por 3.2.7, se tiene que
m0 = Deg(D0 ) gX /G + 1 = N + 1
mi = Deg(D0 ) dim Vi ni = N ni
para i = 1, ..., p 1.
Luego usando los coeciente ni obtenidos anteriormente, se concluye que:
1. Si p = 3l + 1 para alg
un l > 0 en Z, entonces
N + 1 si
N
si
mi =
N
1
si
N 2 si
i=0
1il
l + 1 i 2l
2l + 1 i 3l
89
2. Si p = 3l + 2 para alg
un l > 0 en Z, entonces
N + 1 si
N
si
mi =
N 1 si
N 2 si
i=0
1il
l + 1 i 2l + 1
2l + 2 i 3l + 1
Lo cual coincide con los coecientes de la descomposicion de la accion de G en L(D),

exhibidos anteriormente en (4.10) y (4.11).
CAPITULO 5
Apendice
En este captulo desarrollaremos ejemplos en conocidas curvas de Catalan. Ademas
incluiremos algunos resultados de representaciones de grupos, utilizados en nuestro
trabajo.
5.1. Espacio de Riemann-Roch en algunas curvas de Catalan

Consideremos X = {(x, y) C2 /f (x, y) = y q xp + 1 = 0} una curva plana afn
donde p y q son n
umeros primos, con p > q. Sea
Xe = {[X : Y : Z] CP2 /fe(X, Y, Z) = Y q Z pq X p + Z p = 0}
su clasura proyectiva.
F tiene singularidad en el punto P = [0 : 1 : 0], luego normalizamos la curva,
as resulta ser una supercie de Riemann compacta.
Se conoce que el genero de Xe es
gXe =
(p 1)(q 1)
2
Sea a([X, Y, Z]) = [p X : q Y : Z] un automorsmo de Xe, de orden pq, donde p = e2i/p

y q = e2i/q , y sea G = a.
Consideremos el cubrimiento ramicado
: X X /G
P
[P ]G
de grado deg() = pq.
Los puntos de ramicacion del cubrimiento son
90

CAPITULO 5. APENDICE
91
P = [0 : 1 : 0] con estabilizador GP = a, de orden pq.

Pj = [pj : 0 : 1] con estabilizador GPj = ap de orden q, para j = 0, 1, ..., p 1.
Qk = [0 : qk : 1] con estabilizador GQk = aq de orden p, donde = ei/q y
k = 0, 1, ..., q 1.
Los puntos rama son R1 = [P ]G , R2 = [P0 ]G y R3 = [Q0 ]G , donde [P ]G = {P },
[P0 ]G = {P0 , P1 , ..., Pp1 } y [Q0 ]G = {Q0 , Q1 , ..., Qq1 }.
Por la formula de Riemann-Hurwitz 1.2.9, se tiene que
((
) (
) (
))
pq
(p 1)(q 1)
1
1
1
= pq(gXe/G 1) + 1 +
1
+ 1
+ 1
2
2
pq
p
q
luego despejando gXe/G de la ecuacion , obtenemos que
gXe/G = 0.
De lo anterior se desprende que la rma del cubrimiento es (0; pq, p, q). Buscamos ahora
el vector generador de G, para eso eligimos por cada punto rama un punto de ramicacion arriba de el y determinamos la constante de rotacion del generador de su respectivo
estabilizador.
Consideremos el punto P0 = [1 : 0 : 1], el cual tiene estabilizador GP0 = ap , donde
ap ([X : Y : Z]) = [X : qp Y : Z], es un automormo de orden q. Sea
2 : Xe U2 = {[X : Y : Z] Xe : Z = 0} X = {(x, y) C2 /f (x, y) = y q xp + 1}
)
(
X Y
[X : Y : Z]
,
Z Z
homemeomorsmo, donde 2 ([1 : 0 : 1]) = (1, 0). Como f
(1, 0) = 0, entonces por teox
rema de la funcion implcita, existe vecindad abierta W de (1, 0), una funcion analtica
g tal que g(0) = 1 y t > 0 de modo que
W = {(g(y), y) : y B(0, t)} X
luego la carta en P0 esta dada por
: 1
2 (W ) C
[g(y) : y : 1]
y
As localmente en P0 , el automorsmo ap luce como
ap 1 (y) = ap ([g(y) : y : 1]) = ([g(y) : qp y : 1]) = qp y.

92
Como p > q, existen n y r enteros positivos tales que p = nq + r, con r < q, luego
P0 (ap ) = qr .
As la constante de rotacion de ap en P0 es P0 (ap )1 = qr , donde
rotacion de ap en P0 .
2r
q
es el angulo de
De manera similar encontramos la constante de rotacion para el automorsmo

aq ([X : Y : Z]) = [pq X : Y : Z] en el punto Q0 = [0 : : 1], as
Q0 (aq ) = pq
luego la constante de rotacion de aq en Q0 es Q0 (aq )1 = pq , donde
de rotacion de aq en Q0 .
2q
p
es el angulo
A continuacion determinaremos la constante de rotacion del automorsmo

a([X : Y : Z]) = [p X : q Y : Z] en el punto P = [0 : 1 : 0], el cual tiene estabilizador GP = a. Primero exhibiremos la carta en P . Sea
1 : Xe U1 = {[X : Y : Z] Xe : Y = 0} C = {(x, y) C2 /xp = y pq (1 + y q )}
(
)
X Z
[X : Y : Z]
,
Y Y
homemeomorsmo, donde 1 ([0 : 1 : 0]) = (0, 0). Observamos que la curva C tiene
singularidad en (0, 0).
Ahora bien, h(y) = 1 + y q es analtica y h(0) = 1, entonces existe k funcion analtica
tal que k pq (y) = 1 + y q , luego xp = [yk(y)]pq , por lo tanto (0, 0) es una singularidad
de tipo (p, p q).
Llamemos z = x y = yk(y). Luego sea C1 la curva dada por
C1 = {(z, ) C2 / z p = pq }.
Como el maximo comun divisor entre p y p q, (p, p q) = 1, entonces existen b, c Z
tales que (p, p q) = 1 = cp + b(p q). Consideremos las funciones
s : C1 C
(z, )
r : Im(s) C1
s(z, ) = z b c
Se verica que r s = id y s r = id.

(z, )
s
(tpq , tp )
6
r
t = zbc
r(t) = (tpq , tp )
(5.1)

93
Pero k pq (0) = 1, por tanto k(0) = 0. Luego

k(y) = a0 + a1 y + a2 y 2 + t.o.s
donde a0 = k(0) = 0. As
= yk(y) = a0 y + a1 y 2 + a2 y 3 + t.o.s... = j(y),
con ai C y a0 = 0.
Tenemos que y = l(), donde l es una funcion analtica, ademas y = 0 si y solo
s = 0. Luego l(0) = 0 y por tanto
y = l() = b1 + b2 2 + b3 3 + t.o.s...,
con bi C, ademas y = l(j(y)). Luego derivando obtenemos que 1 = l (j(y))j (y), as
1 = l (j(0))j (0) = l (0)j (0) = b1 a0
y por tanto b1 =
1
a0
(5.2)
= 0. As
y = b1 + b2 2 + b3 3 + t.o.s... = (b1 + b2 + b3 2 + t.o.s...) = e

l(),
donde e
l() = b1 + b2 + b3 2 + t.o.s... es una funcion analtica, con e
l(0) = b1 = 0.
Por tanto x = z e y = e
l(). Como por (5.1) se tiene que z = tpq y = tp ,
entonces x = tpq e y = tpe
l(tp ). Luego
l(tp ))
(tpq , tpe
(x, y)
se
re
t = xb (yk(y))c
As se es carta en (0, 0) y re es su inversa. Luego la carta en P esta dada por

: U U1 Xe C
[x : 1 : y]
t = xb (yk(y))c
As, usando la denicion de y re, se puede ver que localmente en P el automorsmo

94
a luce como
a 1 (t) = a([tpq : 1 : tpe
l(tp )])
= ([p tpq : q : tpe
l(tp )])
([
])
p pq
1 pe p
=
t
: 1 : t l(t )
q
q
( )b
(
)]c
[
p
1 pe p
(pq)b 1 pe p
=
t l(t )k
t l(t )
t
q
q
q
(
)]c
[
1 pe p
b (cb) (pq)b+cp e p
= p q
t
l(t )k
t l(t )
q
Como (p, p q) = 1 = cp + b(p q) y por denicion de las funciones k y e
l, se concluye
que
(
)]c
[
1 pe p
1
b (cb) e p
a (t) = p q
t l(t )k
t l(t )
q
= pb q(cb) t[a0 b1 + a0 b2 tp + t.o.s]c
= pb q(cb) t[a0 b1 + a0 b2 tp + t.o.s]c
Pero por (5.2) se tiene que a0 b1 = 1, luego
qbp(c+b)
cp(pq)b
1
pq1
P (a) = pb q(cb) = pq
= pq
= pq
= pq
As la constante de rotacion de a en P es P (a)1 = pq , donde

rotacion de a en P .
2
pq
es el angulo de
pq1
En resumen, tenemos que Q0 (aq ) = pq , P0 (ap ) = qr , y P (a) = pq
. Sabemos
que existen , y en Z, tales que:
q 1 mod p
r 1 mod q
(pq 1) 1 mod pq
con 0 < < p, 0 < < q y 0 < < pq. Observe que = pq 1. Luego el vector
generador de G es
(a, aq , ap )
(5.3)
Note que 1 q p 1 mod pq.

95
Elijamos D0 Div(Xe/G) de manera que D = (D0 ) sea un divisor no especial en Xe.

Para eso, por 2.3.2, basta escoger D0 de modo que
deg(D0 ) >
2 gXe 2
1
1
= ((p 1)(q 1) 2) = (pq p q 1).
|G|
pq
pq
Luego basta tomar D0 de forma que deg(D0 ) 1.

Sea D0 = [P ]G un divisor de grado 1 de Xe/G y D el pullback de D0 , as
D = (D0 ) =
P multP = Ppq = [0 : 1 : 0]pq .
P 1 ([P ]G )
Considere
L(D) = {F C (Xe)/ div(F ) D1 = [0 : 1 : 0]pq } {0}
el espacio de Riemann-Roch del divisor D. As por (3.2) se tiene que
dimL(D) = deg(D) gXe +1 = pq
(p 1)(q 1)
(p + 1)(q + 1)
+1=
.
2
2
(5.4)
Primero notemos lo siguiente:

Observacion 5.1.1. La funcion:
1. H1 ([X : Y : Z]) = X tiene cero de orden 1 en Qk = [0 : qk : 1], para
k = 0, 1, ..., q 1. Tambien tiene cero de orden p q en P = [0 : 1 : 0].
2. H2 ([X : Y : Z]) = Y tiene cero de orden 1 en Pj = [pj : 0 : 1], para
j = 0, 1, ..., p 1.
nico cero en P = [1 : 0 : 0] de orden p.
3. H3 ([X : Y : Z]) = Z tiene un u
Consideremos las siguientes funciones:
q1
F1 ([X : Y : Z]) = 1 y F2 ([X : Y : Z]) =
(Y qk Z)
k=0
Zq
La funcion F1 es constante, por tanto pertence a L(D). La funcion F2 tiene un cero

de orden p en Qk = [0 : qk : 1] Xe, para k = 0, 1, ..., q 1, y por las observaciones
anteriores tambien tiene un u
nico polo de orden pq en P . Por tanto F2 pertence a
L(D).

96
Sean 0 , 1 , ..., pq1 representaciones irreducibles de G, donde

k
k : a pq
con pq = e2i/pq .
y M(G) = {V0 , V1 , ..., Vpq1 } representantes de los C[G]-modulos irreducibles de G, todos de dimension 1, correspondientes a las representaciones 0 , 1 , ..., pq1 ,
respectivamente.
Como D es un divisor invariante por la accion de G, entonces G act
ua en el
espacio L(D).
q1
Ahora bien, si F2 ([X : Y : Z]) =

sobre F2 como
(Y qk Z)
k=0
, entonces el automorsmo a, act

ua
Zq
F2a ([X : Y : Z]) = F a1 ([X : Y : Z])

q1
(q1 Y qk Z)
k=0
Zq
(Y qk+1 Z)
q1
= (q1 )q
q1
k=0
Zq
(Y qk Z)
k=0
Zq
= F2 ([X : Y : Z])
Es claro tambien que F1a = F1 . Por tanto F1 , F2 pertenecen a L(D)G . Pero por 3.2.7,
se tiene que dim L(D)G = m0 = Deg(D0 ) gX /G +1 = 1 0 + 1 = 2. Por lo tanto
L(D)G es generado por F1 y F2 .
Nuestro proposito es encontrar una base para el espacio de Riemann-Roch L(D), y
dada esta base determinar la descomposicion, en factores irreducibles, de la accion de
G en este espacio. Para luego vericar que dicha descomposicion satisface el teorema
3.2.7. Por simplicidad de los calculos, exhibiremos bases para algunos primos p y q
dados.

97
Sea p = 5 y q = 3. As X = {(x, y) C2 /y 3 = x5 1}.

Luego
L(D) = {F C (Xe)/ div(F ) D1 = [0 : 1 : 0]15 } {0}
Por 5.4, sabemos que

(5 + 1)(3 + 1)
= 12
2
Consideremos las siguientes funciones que tienen un u
nico polo en P , excepto
la funcion F1 = 1. Ademas por 5.1.1 determinaremos el orden de dicho polo.
dimL(D) =
1. F1 = 1.
2
2. F2 =
(Y 3k Z)
k=0
Z3
. ( Polo de orden 15 en P ).
3. F3 =
X
. (Polo de orden 3 en P ).
Z
4. F4 =
X2
Z2
5. F5 =
X3
Z3
6. F6 =
X4
Z4
7. F7 =
Y
Z
8. F8 =
Y2
Z2
9. F9 =
XY
Z2
10. F10
X 2Y
=
Z3
11. F11 =
X 3Y
Z4
12. F12 =
XY 2
Z3

98
As el conjunto B = {Ft / t = 1, ..., 12} es un subconjunto de L(D), pues todas tienen

un u
nico polo en P de orden menor o igual a 15. Ademas B es un conjunto linealmente
independiente, pues todas las funciones tienen un polo en P de distinto orden. Ahora
bien, como la cardinalidad de B es 12, lo cual coincide con la dimension de L(D),
entonces se concluye que B es una base de L(D).
X iY l
,
Sabemos que F1a = F1 y que F2a = F2 . Observe que en general si F =
Z i+l
entonces por 5.1.1 F tiene un u
nico polo en P de orden iq + lp, ademas
F a ([X : Y : Z]) = F a1 ([X : Y : Z])
pi X i ql Y l
Z i+l
i l
iqpl X Y
= pq
Z i+l
i l
pq(iq+pl) X Y
= pq
Z i+l
=
Por lo tanto
pq(iq+pl)
F a ([X : Y : Z]) = pq
F ([X : Y : Z])
(5.5)
De lo anterior se concluye que

12
F3a = 15
F3 ,
6
F5a = 15
F5 ,
10
F7a = 15
F7 ,
7
F9a = 15
F9 ,
a
1
F11
= 15
F11 ,
9
F4a = 15
F4 ,
3
F6a = 15
F6 ,
5
F8a = 15
F8 ,
a
4
F10
= 15
F10 ,
a
2
F12
= 15
F12 .
Por tanto el espacio L(D) se descompone como G-modulo en factores irreducibles como
L(D) 2V0 + V1 + V2 + V3 + V4 + V5 + V6 + V7 + V9 + V10 + V12 .
Ahora vericaremos que se obtiene lo mismo aplicando el teorema 3.2.7.

Se tiene por (5.3) que el vector generador de esta curva es (a, a3 , a5 ), donde
3 1 mod 5 y 2 1 mod 3. Por tanto = 2 y = 2. De lo que se concluye
que el vector generador es (a, a9 , a5 ).
Si
L(D) m0 V0 + m1 V1 + m2 V2 + .... + m14 V14 .
entonces por teorema 3.2.7 se tiene que
m0 = Deg(D0 ) gXe/G +1 = 1 0 + 1 = 2

y que
99
mk = Deg(D0 ) dim Vk nk = 1 nk
para k = 1, ..., 14.

Ahora calcularemos nk para k = 1, ..., 14. Por 1.12 y dado que dim Vk = 1 y gXe/G = 0,
se tiene que
14
4
2
1
1
1
k
k
k
nk = 1 +
N1 +
N2 +
N3
15 =1
5 =1
3 =1
De lo que se concluye que:
n1 = 1 +
1
1
1
1 + 3 + 1 = 0.
15
5
3
n2 = 1 +
1
1
1
2 + 1 + 2 = 0.
15
5
3
n3 = 1 +
1
1
1
3 + 4 + 0 = 0.
15
5
3
n4 = 1 +
1
1
1
4 + 2 + 1 = 0.
15
5
3
n5 = 1 +
1
1
1
5 + 0 + 2 = 0.
15
5
3
n6 = 1 +
1
1
1
6 + 3 + 0 = 0.
15
5
3
n7 = 1 +
1
1
1
7 + 1 + 1 = 0.
15
5
3
n8 = 1 +
1
1
1
8 + 4 + 2 = 1.
15
5
3
n9 = 1 +
1
1
1
9 + 2 + 0 = 0.
15
5
3
n10 = 1 +
1
1
1
10 + 0 + 1 = 0.
15
5
3
n11 = 1 +
1
1
1
11 + 3 + 2 = 1.
15
5
3
n12 = 1 +
1
1
1
12 + 1 + 0 = 0.
15
5
3
n13 = 1 +
1
1
1
13 + 4 + 1 = 1.
15
5
3

n14 = 1 +
100
1
1
1
14 + 2 + 2 = 1.
15
5
3
Con esta informacion podemos obtener mk , ya que mk = 1 nk . As

m1 = 1
m2 = 1
m3 = 1
m4 = 1
m5 = 1
m6 = 1
m7 = 1
m8 = 0
m9 = 1
m10 = 1
m11 = 0
m12 = 1
m13 = 0
m14 = 0
Por lo tanto se concluye que

L(D) 2V0 + V1 + V2 + V3 + V4 + V5 + V6 + V7 + V9 + V10 + V12 .
Lo cual coincide con la descomposicion obtenida anteriormente.
Sea p = 7 y q = 3. As X = {(x, y) C2 /y 3 = x7 1}.
Luego el espacio L(D) esta dado por
L(D) = {F C (Xe)/ div(F ) D1 = [0 : 1 : 0]21 } {0}
Por (5.4), se tiene que
dimL(D) =
(7 + 1)(3 + 1)
= 16
2
A continuacion listamos 16 funciones que tienen un u

nico polo en P , a excepcion de
la funcion F1 = 1. Ademas determinamos el orden del polo usando 5.1.1.
1. F1 = 1.
2
2. F2 =
(Y 3k Z)
k=0
Z3
3. F3 =
X
Z
4. F4 =
X2
Z2

5. F5 =
X3
Z3
6. F6 =
X4
Z4
7. F7 =
X5
Z5
8. F8 =
X6
Z6
9. F9 =
Y
Z
10. F10 =
Y2
Z2
11. F11 =
XY
Z2
12. F12 =
X 2Y
Z3
13. F13 =
X 3Y
Z4
14. F14 =
X 4Y
Z5
15. F15 =
XY 2
Z3
16. F16 =
X 2Y 2
Z4
101
Luego el conjunto B = {Ft / t = 1, ..., 16} es un subconjunto de L(D), pues todas

tienen un u
nico polo en P de orden menor o igual a 21. Tambien B es un conjunto
linealmente independiente, pues todas las funciones tienen un polo en P de distinto
orden. Como la cardinalidad de B es 16, lo cual coincide con la dimension de L(D),
entonces se tiene que B es una base de L(D).
Sabemos que F1a = F1 y que F2a = F2 . Ademas por (5.5) se tiene tambien que
18
F3 .
F3a = 21
15
F4 .
F4a = 21
12
F5 .
F5a = 21
9
F6 .
F6a = 21

102
6
F7a = 21
F7 .
3
F8a = 21
F8 .
14
F9a = 21
F9 .
a
7
F10
= 21
F10 .
a
11
F11
= 21
F11 .
a
8
F12
= 21
F12 .
a
5
F13
= 21
F13 .
a
2
F14
= 21
F14 .
a
4
F15
= 21
F14 .
a
1
F16
= 21
F12 .
Dado lo anterior, se concluye que el espacio L(D) se descompone como G-modulo, en

factores irreducibles como
L(D) 2V0 + V1 + V2 + V3 + V4 + V5 + V6 + V7 + V8 + V9 + V11 + V12 + V14 + V15 + V18 .

3 1 mod 7 y 1 mod 3. Por tanto = 5 y = 1. De lo que se concluye
Si
L(D) m0 V0 + m1 V1 + m2 V2 + .... + m20 V20 .
m0 = Deg(D0 ) gXe/G +1 = 1 0 + 1 = 2
y que
para k = 1, ..., 20.

Calcularemos ahora los n
umeros nk para k = 1, ..., 20. Por 1.12 y dado que dim Vk = 1
y gXe/G = 0, se tiene que
1
1
1
k
k
k
N1
N2
N3
= 1 +
+
+
21 =1
7 =1
3 =1
20
nk
Por lo anterior se obtiene que:

n1 = 1 +
1
1
1
1+ 2+ 2=0
21
7
3
n2 = 1 +
1
1
1
2+ 4+ 1=0
21
7
3
n3 = 1 +
1
1
1
3+ 6+ 0=0
21
7
3

n4 = 1 +
1
1
1
4+ 1+ 2=0
21
7
3
n5 = 1 +
1
1
1
5+ 3+ 1=0
21
7
3
n6 = 1 +
1
1
1
6+ 5+ 0=0
21
7
3
n7 = 1 +
1
1
1
7+ 0+ 2=0
21
7
3
n8 = 1 +
1
1
1
8+ 2+ 1=0
21
7
3
n9 = 1 +
1
1
1
9+ 4+ 0=0
21
7
3
n10 = 1 +
1
1
1
10 + 6 + 2 = 1
21
7
3
n11 = 1 +
1
1
1
11 + 1 + 1 = 0
21
7
3
n12 = 1 +
1
1
1
12 + 3 + 0 = 0
21
7
3
n13 = 1 +
1
1
1
13 + 5 + 2 = 1
21
7
3
n14 = 1 +
1
1
1
14 + 0 + 1 = 0
21
7
3
n15 = 1 +
1
1
1
15 + 2 + 0 = 0
21
7
3
n16 = 1 +
1
1
1
16 + 4 + 2 = 1
21
7
3
n17 = 1 +
1
1
1
17 + 6 + 1 = 1
21
7
3
n18 = 1 +
1
1
1
18 + 1 + 0 = 0
21
7
3
n19 = 1 +
1
1
1
19 + 3 + 2 = 1
21
7
3
n20 = 1 +
1
1
1
20 + 5 + 1 = 1
21
7
3
Como mk = 1 nk para k = 1, ..., 20, obtenemos que
103

104
m1 = 1
m2 = 1
m3 = 1
m4 = 1
m5 = 1
m6 = 1
m7 = 1
m8 = 1
m9 = 1
m10 = 0
m11 = 1
m12 = 1
m13 = 0
m14 = 1
m15 = 1
m16 = 0
m17 = 0
m18 = 1
m19 = 0
m20 = 0

L(D) 2V0 + V1 + V2 + V3 + V4 + V5 + V6 + V7 + V8 + V9 + V11 + V12 + V14 + V15 + V18 .
Sea p = 7 y q = 5. As X = {(x, y) C2 /y 5 = x7 1}.
Luego el espacio L(D) esta dado por
L(D) = {F C (Xe)/ div(F ) D1 = [0 : 1 : 0]35 } {0}
Por (5.4), se tiene que
dimL(D) =
(7 + 1)(5 + 1)
= 24
2
Listamos a continuacion 24 funciones que tienen un u

nico polo en P , a excepcion de
la funcion F1 = 1. Ademas determinamos el orden del polo usando 5.1.1.
1. F1 = 1.
4
2. F2 =
(Y 5k Z)
k=0
Z5
3. F3 =
X
Z
4. F4 =
X2
Z2
X3
5. F5 = 3 . (Polo de orden 15 en P ).
Z

6. F6 =
X4
Z4
7. F7 =
X5
Z5
8. F8 =
X6
Z6
9. F9 =
Y
Z
10. F10 =
Y2
Z2
11. F11 =
Y3
Z3
12. F12 =
Y4
Z4
13. F13 =
XY
Z2
14. F14 =
X 2Y
Z3
15. F15 =
X 3Y
Z4
16. F16 =
X 4Y
Z5
17. F17 =
X 5Y
Z6
18. F18 =
XY 2
Z3
19. F19 =
X 2Y 2
Z4
20. F20 =
X 3Y 2
Z5
21. F21 =
X 4Y 2
Z6
105

106
22. F22 =
XY 3
Z4
23. F23 =
X 2Y 3
Z5
24. F24 =
XY 4
Z5
As el conjunto B = {Ft / t = 1, ..., 24} es un subconjunto de L(D), pues todas tienen

un u
nico polo en P de orden menor o igual a 35. Ademas B es un conjunto linealmente
independiente, pues todas las funciones tienen un polo en P de distinto orden. Como
la cardinalidad de B es 24, lo cual coincide con la dimension de L(D), entonces se tiene
Sabemos que F1a = F1 y que F2a = F2 . Ademas por (5.5) se tiene tambien que
30
F3a = 35
F3 .
25
F4a = 35
F4 .
20
F5a = 35
F5 .
15
F6a = 35
F6 .
10
F7a = 35
F7 .
5
F8a = 35
F8 .
28
F9a = 35
F9 .
a
21
F10
= 35
F10 .
a
14
F11
= 35
F11 .
a
7
F12
= 35
F12 .
a
a
a
a
23
18
13
8
F13
= 35
= 35
= 35
= 35
F13 , F14
F14 , F15
F15 , F16
F16 ,
a
3
F17
= 37
F17 ,
a
a
a
16
11
6
F18
= 35
= 35
= 35
F18 , F19
F19 , F20
F20 ,
a
9
F22
= 35
F22 ,
a
4
F23
= 35
F23 ,
a
1
F21
= 35
F21 ,
a
2
F24
= 35
F24 ,
Dado lo anterior, se concluye que el espacio L(D) se descompone como G-modulo, en

factores irreducibles como
L(D) 2V0 + V1 + V2 + V3 + V4 + V5 + V6 + V7 + V8 + V9 + V10 + V11 + V13 +
V14 + V15 + V16 + V18 + V20 + V21 + V23 + V25 + V28 + V30 .

35 1 mod 7 y 2 1 mod 5. Por tanto = 3 y = 3. De lo que se concluye
Si
L(D) m0 V0 + m1 V1 + m2 V2 + .... + m34 V34 .

107

m0 = Deg(D0 ) gXe/G +1 = 1 0 + 1 = 2
y que
para k = 1, ..., 34.

Calcularemos ahora los n
umeros nk para k = 1, ..., 34. Por 1.12 y dado que dim Vk = 1
y gXe/G = 0, se tiene que
1
1
1
k
k
k
= 1 +
N1
+
N2
+
N3
35 =1
7 =1
5 =1
34
nk
Por tanto obtenemos que:

n1 = 1 +
1
1
1
1+ 4+ 2=0
35
7
5
n2 = 1 +
1
1
1
2+ 1+ 4=0
35
7
5
n3 = 1 +
1
1
1
3+ 5+ 1=0
35
7
5
n4 = 1 +
1
1
1
4+ 2+ 3=0
35
7
5
n5 = 1 +
1
1
1
5+ 6+ 0=0
35
7
5
n6 = 1 +
1
1
1
6+ 3+ 2=0
35
7
5
n7 = 1 +
1
1
1
7+ 0+ 4=0
35
7
5
n8 = 1 +
1
1
1
8+ 4+ 1=0
35
7
5
n9 = 1 +
1
1
1
9+ 1+ 3=0
35
7
5
n10 = 1 +
1
1
1
10 + 5 + 0 = 0
35
7
5
n11 = 1 +
1
1
1
11 + 2 + 2 = 0
35
7
5

n12 = 1 +
1
1
1
12 + 6 + 4 = 1
35
7
5
n13 = 1 +
1
1
1
13 + 3 + 1 = 0
35
7
5
n14 = 1 +
1
1
1
14 + 0 + 3 = 0
35
7
5
n15 = 1 +
1
1
1
15 + 4 + 0 = 0
35
7
5
n16 = 1 +
1
1
1
16 + 1 + 2 = 0
35
7
5
n17 = 1 +
1
1
1
17 + 5 + 4 = 1
35
7
5
n18 = 1 +
1
1
1
18 + 2 + 1 = 0
35
7
5
n19 = 1 +
1
1
1
19 + 6 + 3 = 1
35
7
5
n20 = 1 +
1
1
1
20 + 3 + 0 = 0
35
7
5
n21 = 1 +
1
1
1
21 + 0 + 2 = 0
35
7
5
n22 = 1 +
1
1
1
22 + 4 + 4 = 1
35
7
5
n23 = 1 +
1
1
1
23 + 1 + 1 = 0
35
7
5
n24 = 1 +
1
1
1
24 + 5 + 3 = 1
35
7
5
n25 = 1 +
1
1
1
25 + 2 + 0 = 0
35
7
5
n26 = 1 +
1
1
1
26 + 6 + 2 = 1
35
7
5
n27 = 1 +
1
1
1
27 + 3 + 4 = 1
35
7
5
n28 = 1 +
1
1
1
28 + 0 + 1 = 0
35
7
5
n29 = 1 +
1
1
1
29 + 4 + 3 = 1
35
7
5
108

109
n30 = 1 +
1
1
1
30 + 1 + 0 = 0
35
7
5
n31 = 1 +
1
1
1
31 + 5 + 2 = 1
35
7
5
n32 = 1 +
1
1
1
32 + 2 + 4 = 1
35
7
5
n33 = 1 +
1
1
1
33 + 6 + 1 = 1
35
7
5
n34 = 1 +
1
1
1
34 + 3 + 3 = 1
35
7
5
Como mk = 1 nk para k = 1, ..., 34, entonces por lo anterior se obtiene que

m1 = 1
m2 = 1
m3 = 1
m4 = 1
m5 = 1
m6 = 1
m7 = 1
m8 = 1
m9 = 1
m10 = 1
m11 = 1
m12 = 0
m13 = 1
m14 = 1
m15 = 1
m16 = 1
m17 = 0
m18 = 1
m19 = 0
m20 = 1
m21 = 1
m22 = 0
m23 = 1
m24 = 0
m25 = 1
m26 = 0
m27 = 0
m28 = 1
m29 = 0
m30 = 1
m31 = 0
m32 = 0
m33 = 0
m34 = 0

L(D) 2V0 + V1 + V2 + V3 + V4 + V5 + V6 + V7 + V8 + V9 + V10 + V11 + V13 +
V14 + V15 + V16 + V18 + V20 + V21 + V23 + V25 + V28 + V30 .
Para otros valores de p y q, se procede de la misma manera, no incluiremos mas ejemplo, pues mientras mas grandes los valores de p y q, mas grande es la dimension del
espacio L(D) y por tanto aumentan los calculos a desarrollar.

110
5.2. Algunos elementos de representaciones de grupos

En esta seccion presentaremos algunos resultados conocidos de representaciones de
grupos, utilizados en nuestro trabajo. Todos los grupos aqu considerados son nitos.
Lema 5.2.1 (Reciprocidad de Frobenius). Sea H un subgrupo del grupo G, car
acter
de H y caracter de G, entonces
, ResHG = IndHG , .
n: Ver [I], lema (5.2) pag. 62.
Demostracio
acter racional de G. Entonces

Teorema 5.2.2 (Artin). Sea un car
aH
=
IndHG 1H ,
|N
G (H) : H|
H
donde H recorre todos los subgrupos cclicos de G y aH Z.
n: Ver [I], teorema (5.21) pag. 72.
Demostracio
Sea G un grupo nito y H, K subgrupos de G. Si T es un conjunto de representantes

de las clases dobles, entonces
G=
HtK
tT
donde esta union es disjunta. A continuacion enunciamos el teorema de Mackey, ver

[BR] pag 24.
Teorema 5.2.3 (Mackey). Sea G un grupo nito y H, K subgrupos de G. Si es un
G
car
acter de H entonces ResG
K (IndH ) se descompone como
G
Ht
t
(5.6)
ResG
(Ind
)
=
IndK
K
H
H t K (ResH t K ),
tT
donde T es un conjunto de representantes de las clases dobles y t (ht ) = (h) para

todo h H.
Bibliografa
[BL]
Ch. Birkenhake, H. Lange. Complex Abelian Varieties. 2nd ed., Grundl. Math.
Wiss. 302, Springer, (2004)).
[B]
N. Borne. Une formule de Riemann-Roch equivariante pour des courbes. Can.

J. Math. 55 (2003), 693-710. MR1994069 (2004f:14022).
[BR]
T. Breuer. Characters and automorphism groups of compact Riemann surfaces. London Mathematical Society Lecture Note Series 280. Cambridge University
Press (2000).
[BRT1] S. A. Broughton. The homology and higher representations of automorphism

group of Riemann surface. Transactions of the American mathematical Society.
Volume 300 (1987). No 1, 153-158.
[BRT2] S.A. Broughton. Classifying nite group actions on surfaces of low genus. J.
Pure and Aplied Algebra, Volume 69 (1990), 233-270.
[CR]
A. Carocca, R. E. Rodrguez. Abelian varieties with Hecke algebra action. Preprint. (2013).
[MC] M.Carvacho. Equivalence of group actions on Riemann surfaces. Ph.D. thesis,

Universidad de Chile, (2010).
[CW] C. Chevalley, A Weil. Uber

das Verhalten der Integrale erster Gattung bei
Automorphismen des Funktionenk
orpers. Abh. Math. Sem. Univ. Hamburg 10
(1934), 358-361.
[EL]
G. Ellingsrud and K. Lonsted. An equivariante Lefschetz formula for nite

reductive groups. Math Ann 251 (1980), 253-261. MR589254 (81k:14039).
[FK]
H. Farkas, I. Kra. Riemann Surfaces. Graduate Text in Mathematics, V.71,

Springer-Verlag (1980).
[I]
[JK]
I. M. Isaacs. Character Theory of Finite Groups. Dover Publications, Inc. (1994).

D. Joyner and A. Ksir. Decomposing representations of nite groups on
Riemann-Roch spaces. Proc. AMS, 135, (2007), 3465-3476.
111
BIBLIOGRAFIA
112
[JKV] D. Joyner, A. Ksir and R. Vogeler. Group Representations on Riemann-Roch

spaces of some Hurwitz curves. preprint (2008).
[Ka]
E. Kani. The Galois-module structure of the space of holomorphic dierential

of a curve. J Reine Angew. Math. 367 (1986), 187-206. MR839131 (88f:14024).
[Ko]
B. Kock. Computing the equivariant Euler characteristic of Zariski and etale

sheaves on curves. Homology Homotopy Appl. 7 No. 3. (2005), 83-98. MR2205171
(2006k:14025).
[M]
R. Miranda. Algebraic Curves and Riemann Surfaces. Graduate Studies in, V.5,
American Mathematical Society (1995).
[Na]
R. Nae. The Chevalley-Weil formula: On the Galois Module Structure of the

Space of Regular Dierentials of a Curve in Case it is Semi-Simple. Masters
Thesis under supervision of dr. B.J.J. Moonen. University of Amsterdam, Faculty
of Science (2005).
[N]
S. Nakajima. Galois module structure of cohomology groups for tamely ramied

coverings of algebraic varieties. J. Number Theory 22(1986), 115-123. MR821138
(87i:14010)
[GKR] R. E. Rodrguez, J. P. Gilman, I. Kra. Complex Analysis. Graduate Text in

Mathematics, V.245, Second Ed, Springer (2013).
[R]
[S]
A. Rojas. Group actions on Jacobian varieties. Revista Matematica Iberoamericana. Vol. 23 No.2 (2007), 397-420.
M. Suzuki. Group Theory I. Springer-Verlag (1982).

Acciones de Grupos Sobre El Plano Complejo

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Acciones de Grupos Sobre El Plano Complejo

Transféré par

Droits d'auteur :

Formats disponibles

Departamento de Matematicas

Acciones de grupos sobre el

Director de Tesis Dr. Angel

Tesis presentada al Departamento de Matematicas de la Universidad de Chile en

Se informa a la Escuela de Postgrado de la Facultad de Ciencias que la Tesis

Comision de Evaluacion de Tesis

Dr. Antonio Behn.

Dr. Vctor Gonzalez.

Dra. Rub Rodrguez.

Imposible no comenzar agradeciendo a mi hijo Camilo, quien me acompa

A mi director de tesis, profesor Angel

2. Divisores y el espacio de Riemann-Roch

4. Curvas de Fermat y curvas p-gonales

: Supercie cociente de X por la accion del grupo G.

Primer grupo de homologa en X .

Espacio de 1-formas diferenciales analticas en X .

Espacio dual de H 1,0 (X , C).

: Grupo de automorsmos de la supercie X .

Orden de un punto P por la funcion F .

H subgrupo del grupo G.

Estabilizador en G del punto P .

Genero de la supercie de Riemann X .

1.1. Superficies de Riemann

El par (U , ) se llama carta o coordenada local y el conjunto {(U , )/ I} se

No es difcil ver, debido a que el cambio de cartas es analtico, que f es holomorfa en

Esta expansion se llama serie de Laurent de f en torno a P , con respecto a

donde a1 = 0. Luego por (1.1) y (1.2) se tiene que

Diremos que F es holomorfa en un conjunto abierto W X si es holomorfa en todo

n: Ver [M], pag 44.

n: Ver [M] 4.16 pag 52.

Una funcion F : X Y holomorfa, no constante, entre supercies de Riemann

1.2. Acciones de grupos en superficies de Riemann

Para ser mas precisos, la denicion anterior es llamada accion izquierda de G en X .

la accion de G es efectiva. Observamos tambien, que el grupo G/ ker act

n: Ver [FK], pag 242.

Sea G un grupo nito de automorsmos de X y P un punto de X . Sea g GP y (U, )

donde c1 (g) = 0, puesto que g es invertible. Consideremos la aplicacion

selecionada. Dado que, sea (U , ) otra carta en X , centrada en P , luego el cambio de

con a1 = 0, pues el cambio de cartas es invertible, donde su inversa es de la forma

con b1 = 0. Luego se tiene que a1 b1 = 1. Entonces la expansion en serie de potencias,

= 1 (c1 (g)a1 t + terminos de orden superior)

la expansion en serie de Laurent de h en torno a P , con respecto a , donde c1 (h) = 0.

= c1 (g)c1 (h)z + terminos de orden superior.

Sea cm (g), con m 2, el primer coeciente distinto de cero. As

Sea 5 = e2i/5 y a([X : Y : Z]) = [51 X : Y : Z] un automorsmo de orden 5 de Xe.

As la carta en P , esta dada por

Corolario 1.2.9 (Formula de Riemann-Hurwitz). Sea X una supercie de Riemann

Finalizamos esta seccion enunciando un teorema que garantiza la existencia de una

1.3. Representacion analtica

una base de H 1,0 (Xe, C).

Luego la representacion analtica de G esta dada por

Ahora bien, sean 0 , 1 , 2 , 3 , 4 representaciones irreducibles de G, donde

En general, para encontrar la descomposicion en factores irreducibles, de la accion de

Teorema 1.3.5 (Chevalley-Weil). Sea X una supercie de Riemann compacta y G un

Observe tambien que 0 , k = 0 si k = 0, y 0 , 0 = 1. Ademas dim V0 = 1.

Tenemos que n0 = gX /G = 0. Por (1.4) se tiene que

Por lo anterior obtenemos que

Como la dimension de H 1,0 (Xe, C) es 3, se ve

facilmente que n4 = n5 = n6 = 0. Por lo

y por tanto la descomposicion de H 1,0 (Xe, C) como G-modulo es

Ahora bien, continuando nuestro analisis del teorema de Chevalley-Weil, observemos

para k = 1, ..., s. As obtenemos que

para k = 1, ..., s. Por otra parte

Pero (1) = 1, para = 0, ..., |GPu | 1. Luego