UNIVERSIDAD COMPLUTENSE DE MADRID

FACULTAD DE CIENCIAS MATEMATICAS

Departamento de lgebra


CONJUNTOS INVARIANTES EN SUPERFICIES DE
RIEMANN



MEMORIA PARA OPTAR AL GRADO DE DOCTOR
PRESENTADA POR
ngel Lus Prez del Pozo





Bajo la direccin de los doctores:
Emilio Bujalance Garca y Jos Manuel Gamboa Mutuberria



Madrid, 2005


ISBN: 84-669-2805-7
Conjuntos invariantes
en supercies de Riemann
por

Angel Luis Perez del Pozo

Memoria presentada al
Departamento de

Algebra
para optar al grado de
Doctor en Ciencias Matematicas
por la
UNIVERSIDAD COMPLUTENSE DE MADRID
Madrid, julio de 2005
Dirigida por los profesores
Emilio Bujalance Garca (Universidad Nacional de Educacion a Distancia) y
Jose Manuel Gamboa Mutuberra (Universidad Complutense de Madrid).
Resumen.
En esta memoria abordamos el estudio de algunos subconjuntos de supercies de Rie-
mann y supercies de Klein que son invariantes bajo la accion del grupo de automorsmos
de estas. El Captulo 2 esta centrado en el conjunto de puntos de Weierstrass de una
supercie de Riemann. En el se establecen cotas inferiores para el peso de los puntos jos
de un automorsmo de la supercie. Estas cotas dependen del orden del automorsmo,
el n umero de puntos jos que posee y el genero de la supercie. En el Captulo 3 exten-
demos las nociones de la teora de puntos de Weierstrass al contexto de las supercies de
Klein. Asociamos a cada punto de la supercie una sucesion de enteros positivos (forma-
da por diferencias de dimensiones de espacios de funciones meromorfas denidas sobre la
supercie) que generaliza el concepto de sucesion de gaps en un punto, estudiamos algu-
nas propiedades de esta sucesion y la determinamos para cada punto de una supercie
de Klein hiperelptica. En el Captulo 4 obtenemos cotas superiores para el orden de un
grupo de automorsmos de una supercie de Klein con borde; estas cotas dependen del
genero algebraico de la supercie y de cardinales de subconjuntos nitos de la supercie
invariantes bajo la accion del grupo. Imponiendo condiciones de no transitividad en la
accion del grupo sobre el conjunto de componentes conexas del borde de la supercie,
podemos aplicar nuestras cotas para hallar otras que solo dependen del genero algebraico.
Introduccion.
Historicamente las supercies de Riemann se introdujeron como los dominios adecuados
para denir funciones de variable compleja. La denicion original trataba solo supercies
orientables y sin borde. La nocion de supercie de Klein se atribuye a Klein por las
observaciones hechas en 1882 en las paginas nales de un historico trabajo de Hurwitz
[28]. Mientras que las supercies de Riemann han sido estudiadas exhaustivamente a lo
largo del siglo XX, las supercies de Klein que no son supercies de Riemann se han
mencionado solo ocasionalmente en la literatura, pero se empezo a trabajar en ellas de
modo sistematico a partir de la aparicion de la monografa [46]. En este trabajo, Schier y
Spencer se reeren a las supercies de Riemann como a supercies con o sin borde y que
pueden ser orientables o no. En [3], Alling y Greenleaf, para evitar confusion, vuelven a
llamar supercies de Klein a las supercies introducidas por Klein y presentan con detalle
la teora basica acerca de ellas, reservando el termino supercie de Riemann para aquellas
que son orientables y sin borde.
El estudio de la teora de supercies de Riemann involucra argumentos de Geometra
Algebraica, de Variable Compleja, de Topologa y otros de naturaleza combinatoria. En
nuestra memoria queda reejado este hecho. Estudiar una supercie de Riemann de forma
aislada resulta difcil, por lo cual se suele abordar su estudio agrupandolas en familias que
cumplen alguna propiedad. Los miembros de una misma familia tienen un comportamiento
semejante respecto de su grupo de automorsmos, su cuerpo de funciones meromorfas o
los grupos fuchsianos que las uniformizan. En los Captulos 2 y 3 de esta memoria se
abordan cuestiones relacionadas con el cuerpo de funciones meromorfas de la supercie, lo
que entra na un comportamiento particular de un subconjunto privilegiado de puntos de la
supercie con respecto al grupo de automorsmos: el conjunto de puntos de Weierstrass.
Tambien el Captulo 4 trata de subconjuntos invariantes bajo la accion del grupo de
automorsmos, pero ahora desde un punto de vista distinto; se trata de aportar nuevos
resultados en una lnea clasica de trabajo: la obtencion de cotas superiores para el orden
del grupo de automorsmos.
La nocion de punto de Weierstrass de una supercie de Riemann fue introducida hace
mas de un siglo (vease [28]). Toda supercie de Riemann compacta R de genero topologico
g 2 posee un subconjunto distinguido W, nito y no vaco, cuyos elementos reciben el
nombre de puntos de Weierstrass de R. La existencia de funciones meromorfas que cumplen
ciertas condiciones nos permite asociar a cada punto P de R una coleccion, formada por
g n umeros enteros positivos, que recibe el nombre de sucesion de gaps en P. El conjunto
de puntos de Weierstrass de R resulta estar formado por los puntos de R cuya sucesion
de gaps es distinta de la generica 1, 2, . . . , g. La sucesion de gaps en un punto P nos
permite asignar a ese punto un n umero entero no negativo wt(P) que se denomina peso
de P, de manera que W esta formado por los puntos de S cuyo peso es positivo.
El conjunto W de puntos de Weierstrass de R es un conjunto invariante bajo la accion
de los automorsmos de R, es decir, cada automorsmo de R transforma W en s mismo.
Es mas, cada uno de los subconjuntos de W formado por los puntos que tienen un peso
determinado es tambien invariante bajo la accion de los automorsmos de R. Esto hace que
el conjunto de puntos de Weierstrass sea un objeto de interes ya que contiene informacion
sobre el grupo de automorsmos de la supercie.
Quiza el trabajo mas relevante sobre puntos de Weierstrass a lo largo del siglo pasado
es el artculo de Lewittes [30] donde se establece una representacion matricial del grupo
de automorsmos de una supercie de Riemann. Una de las consecuencias que obtuvo
Lewittes es el siguiente resultado: si un automorsmo de R tiene mas de cuatro puntos
jos, entonces todos ellos son puntos de Weierstrass. En [2, p. 52] Accola proporciono una
demostracion alternativa de este resultado. Torres [48] y Towse [49] obtuvieron una cota
inferior para los pesos de los puntos jos de un automorsmo de R de orden 2. Watanabe
propuso una demostracion mas simple del mismo resultado en [50]. En el Captulo 2,
siguiendo ideas de la demostracion de Watanabe, obtenemos una cota inferior para los
pesos de los puntos jos de un automorsmo de R de orden arbitrario. En particular,
si el n umero de puntos jos del automorsmo es mayor que cuatro, la cota obtenida
es positiva, con lo cual proporcionamos una demostracion alternativa del resultado de
Lewittes. Por ultimo, empleamos resultados de Harvey [27] y Lewittes [30] (en la misma
lnea que Maclachlan en [36]) para obtener, mediante uniformizacion por grupos fuchsianos,
supercies de Riemann para las cuales se alcanzan nuestras cotas inferiores.
El objetivo del Captulo 3 es extender las nociones de la teora de puntos de Weierstrass
al contexto de las supercies de Klein. Un automorsmo antianaltico de orden 2 de una
supercie de Riemann recibe el nombre de simetra. Se atribuye a Klein la idea de asociar
a cada simetra de una supercie de Riemann R otra supercie topologica, con borde
o no orientable (o ambas cosas), obtenida como cociente de R bajo la accion de ). En
la monografa [3] Alling y Greenleaf demuestran que, dada una supercie de Klein S,
existe una supercie de Riemann S
c
y una simetra
c
de S
c
tales que S = S
c
/
c
) y la
proyeccion natural
c
: S
c
S es un morsmo en la categora de supercies de Klein.
La terna (S
c
,
c
,
c
) recibe el nombre de cubierta doble de S.
Si S
c
es compacta y su genero es mayor que 1, es natural preguntarse como afecta la
existencia de la simetra
c
al conjunto W de puntos de Weierstrass de S
c
. El primer hecho
destacable es que W es simetrico, esto es,
c
(W) = W. As pues aparece en S el conjunto
distinguido
c
(W) formado por los puntos que son proyeccion de los puntos de Weierstrass
de S
c
. La supercie S posee su propio cuerpo de funciones meromorfas, luego cabe plantear,
en primer lugar, si es posible caracterizar los elementos de
c
(W) en terminos de funciones
meromorfas denidas sobre S. Este problema se resuelve parcialmente en el Captulo 3 de
esta memoria, concretamente para los puntos del borde de S.
El estudio del problema mencionado nos conduce a denir el concepto de sucesion de
gaps en un punto P de una supercie de Klein S, as como una sucesion de n umeros enteros
a
j
(P) formada por diferencias de dimensiones de subespacios vectoriales de funciones
meromorfas denidas sobre S. La sucesion a
j
(P) no solo determina la sucesion de gaps
en P sino que contiene informacion adicional sobre el comportamiento de las funciones
meromorfas cuyo conjunto de polos se reduce al conjunto P.
Las sucesiones de gaps en las supercies de Klein resultan tener un comportamiento
distinto al de las sucesiones de gaps en las supercies de Riemann, ya que las primeras
no poseen cardinal jo y pueden llegar a ser vacas. Demostramos que, si la sucesion de
gaps en alg un punto de una supercie de Klein S es vaca, entonces S es hiperelptica. A
continuacion estudiamos el conjunto G
1
(S) de puntos de S para los cuales la sucesion de
gaps es vaca. Este conjunto esta formado por un n umero nito de curvas dentro de la
supercie S; mas formalmente, G
1
(S) es un subespacio semialgebraico de S (en el sentido
de Delfs-Knebusch) de dimension 1. Por ultimo, determinamos la sucesion a
j
(P) para
cada punto P de una supercie de Klein hiperelptica.
En el Captulo 4 se aborda un problema clasico: el estudio de cotas superiores para
el orden del grupo de automorsmos. El problema del calculo explcito de los grupos de
automorsmos es muy difcil y solo esta resuelto en casos muy particulares de supercies
de Riemann: bien para generos bajos o bien para supercies de Riemann que poseen un
automorsmo distinguido, como las hiperelpticas. En el caso de supercies de Klein el
problema es de parecida dicultad y solo se conoce el grupo de automorsmos para ciertas
familias. Por ese motivo un problema importante es el calculo de cotas superiores para el
orden del grupo de automorsmos de la supercie.
Es un resultado clasico, probado por Hurwitz en [28], que el orden del grupo de auto-
morsmos Aut(R) de una supercie de Riemann compacta R de genero g 2 esta aco-
tado superiormente por 84(g 1). En la misma lnea, May [37] probo en los a nos 70 que
para una supercie de Klein S, con borde y de genero algebraico p 2, se tiene que
[Aut

(S)[ 12(p 1).

Posteriormente se ha estudiado el problema de rebajar estas cotas, tanto en el caso de
supercies de Riemann como de Klein, imponiendo ciertas condiciones sobre el grupo
de automorsmos; por ejemplo, considerando grupos cclicos, abelianos, metabelianos,
resolubles, superresolubles, nilpotentes y p-grupos (se pueden encontrar referencias en
[6, 9, 11, 12, 15, 19, 22, 23, 24, 25, 39, 40, 41, 47, 51, 52]). Las cotas que se obtienen en
estos trabajos no se alcanzan para todos los generos; como consecuencia de ello surge el
siguiente problema: hallar el maximo n umero entero positivo que aparece como el orden
de un grupo de automorsmos de una supercie de genero arbitrario. Esto fue resuelto por
Accola [1] y Maclachlan [34] para supercies de Riemann, por May [38] para supercies de
Klein con borde y, parcialmente, por Conder, Maclachlan, Todorovic Vasiljevic y Wilson
[16] para supercies de Klein sin borde.
Otra forma de abordar el problema de la acotacion del orden del grupo de automor-
smos consiste en imponer condiciones sobre subconjuntos de la supercie que quedan
invariantes bajo la accion del grupo. El conjunto de puntos de Weierstrass de una super-
cie de Riemann R es un ejemplo de subconjunto invariante bajo la accion del grupo de
automorsmos de la supercie. De forma mas general, dado un grupo G de automorsmos
de R, se dice que un subconjunto B de R es invariante bajo la accion de G si (B) = B
para cada G. Los conjuntos invariantes estan, por tanto, formados por la union de
orbitas de puntos de R bajo la accion de G. Este hecho fue aprovechado por Arakawa
[4] y Oikawa [43] para obtener cotas superiores para el orden del grupo G en funcion
del genero g 2 de R y de cardinales de subconjuntos invariantes nitos de R. En el
Captulo 4 estudiamos el problema analogo para una supercie de Klein S, con borde y
de genero algebraico p 2. Obtenemos cotas superiores para el orden de un grupo G de
automorsmos de S; dichas cotas dependen del genero algebraico p de S y de cardinales
de subconjuntos nitos de S invariantes bajo la accion de G. Si G = Aut

(S) y los car-

dinales de los conjuntos invariantes son sucientemente peque nos, nuestras cotas mejoran
la obtenida por May en [37].
Cada automorsmo de una supercie de Klein S induce una permutacion en el con-
junto (nito) B de componentes conexas del borde de S. Por tanto cada grupo G de
automorsmos de S act ua sobre el conjunto B. Bajo la hipotesis de que esta accion no sea
transitiva, aplicamos las cotas obtenidas anteriormente para obtener nuevas cotas para el
cardinal de G. Concretamente, probamos el siguiente resultado: si el n umero de orbitas de
la accion es mayor que 1, entonces [G[ 4(p 1); si el n umero de orbitas es mayor que 2,
entonces [G[ 2(p 1) (con la salvedad, en cada caso, de algunas supercies de generos
bajos). Cabe destacar que estas cotas solo dependen del genero algebraico p de S y que
mejoran la cota de May si G = Aut

(S).
Ademas demostramos que todas las cotas obtenidas en este captulo son nas, constru-
yendo, mediante la teora de grupos cristalogracos no eucldeos (grupos NEC), supercies
de genero arbitrariamente grande para las cuales nuestras cotas se alcanzan.
Agradecimientos.
Me gustara dar las gracias a todas las personas que han contribuido, de una u otra
forma, a que la redaccion de esta tesis doctoral acabara felizmente. En concreto, y pidiendo
disculpas de antemano por los probables olvidos,
A mis directores, Emilio Bujalance y Jose Manuel Gamboa, por lo bien que me han
tratado durante estos cuatro a nos. Ademas de conducir mi investigacion y aportarme
buenas ideas, han estado siempre disponibles, han sido pacientes y comprensivos con mis
deciencias y han conseguido, una vez tras otra, levantar mi animo cada vez que bajaba.
A los miembros del Departamento de

Algebra por haberme hecho sentir a gusto como
parte del mismo y haber facilitado mi trabajo.
A Mari Emi Alonso, Antonio Daz-Cano y Jes us Ruiz, responsables de los proyectos
de investigacion que me han permitido viajar y ampliar mi formacion.
A Peter Turbek por el tiempo que dedico a trabajar conmigo en Chicago, pero, sobre
todo, por haber contribuido con una calida acogida a hacer mas llevadera una etapa muy
dura.
A Luis Domnguez, porque su buen hacer como profesor fue determinante a la hora de
que eligiera dedicarme a las Matematicas.
A Mara Biezma por todos los buenos momentos.
A Jorge, Clara, Esther, Marco, Pippo, Jose, Raquel, Carmen, Connie y Mara por su
compa na en la Facultad durante estos ultimos a nos. No concibo la existencia sin amigos
y ellos lo han sido, y buenos.
A Alfredo por estar siempre ah. A Elena por ser especial. A Dani y Adriana por ser
fantasticos.
A mis padres por haberme querido y respaldado tanto. Esta memoria esta dedicada a
ellos.

Indice general
1. Preliminares. 1
2. Puntos de Weierstrass. Pesos. 7
2.1. Divisores y puntos de Weierstrass. . . . . . . . . . . . . . . . . . . . . . . . 8
2.2. Algunos resultados previos. . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3. Automorsmos que jan un n umero par de puntos. . . . . . . . . . . . . . . 13
2.4. Automorsmos que jan un n umero impar de puntos. . . . . . . . . . . . . 17
3. Sucesiones de gaps en supercies de Klein. 21
3.1. Supercies de Klein. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2. Funciones meromorfas en supercies de Klein. . . . . . . . . . . . . . . . . . 26
3.3. Supercies de Klein hiperelpticas. . . . . . . . . . . . . . . . . . . . . . . . 32
4. Conjuntos invariantes en supercies de Klein con borde 47
4.1. Algunos resultados previos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.2. Conjuntos invariantes nitos . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3. Conjuntos invariantes formados por componentes
conexas del borde . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Captulo 1
Preliminares.
Denicion 1.1. Llamaremos supercie a un espacio topologico S, conexo y Hausdor,
junto con una familia de cartas U
i
,
i

iI
que recubren S; esto es, U
i
S para cada i I
es un subconjunto abierto en S,

iI
U
i
= S y cada
i
: U
i
A
i
es un homeomorsmo,
donde A
i
denota un subconjunto abierto de C o de C
+
= x +iy C : y 0.
Una familia de cartas como la descrita en la denicion de supercie recibira el nombre
de atlas. Diremos que una carta (U, ) esta centrada en P S si P U y (P) = 0.
La orientabilidad de S se dene como para una variedad real de dimension 2. El borde
de S, que denotaremos con S, es el conjunto
S = P S : i I tal que P U
i
,
i
(P) R,
i
(U
i
) C
+

Llamaremos interior de S al conjunto S S, que denotaremos con S

.
Denicion 1.2. Una supercie de Riemann es una supercie sin borde dotada de un atlas
maximal U
i
,
i

iI
tal que las funciones de transicion
i

j
1
son analticas (cuando
los dominios de las cartas permitan que esten denidas).
Observaciones 1.3.
(i) Por ser analticas, las funciones de transicion de una supercie de Riemann preservan
la orientacion de C. Como consecuencia de este hecho, toda supercie de Riemann es
orientable.
(ii) Para denir una supercie de Riemann no es necesario proporcionar un atlas ma-
ximal; es suciente con un recubrimiento de la supercie mediante un conjunto de cartas
con cambios de coordenadas analticos.
Ejemplos 1.4.
(i) La carta (C, id) dota al plano complejo C de estructura de supercie de Riemann.
(ii) Un abierto de una supercie de Riemann vuelve a tener estructura de supercie
de Riemann, basta con restringir las cartas. Por tanto el semiplano superior abierto H :=
1
x+iy C : y > 0 es una supercie de Riemann, que tambien recibe el nombre de plano
hiperbolico.
(iii) Sea

C = C la compacticacion mediante un punto de C. El par de cartas
(U
1
= C,
1
(z) = z) y (U
2
=

C 0,
2
(z) = 1/z) denen una estructura de supercie
de Riemann en

C. Esta supercie se denomina esfera de Riemann.
Deniciones 1.5.
(i) Sean X e Y supercies de Riemann. Se dice que una aplicacion continua F : X
Y es holomorfa o analtica si, para cada par de cartas (U, ) y (V, ), denidas sobre X e
Y respectivamente y tales que F(U) V , la aplicacion F
1
es analtica (considerada
como una funcion de variable compleja).
(ii) Sea F : X Y una aplicacion holomorfa. Se dice que F es un isomorsmo si es
biyectiva y su inversa es tambien holomorfa. Un isomorsmo de la supercie de Riemann
X en s misma recibe el nombre de automorsmo de X. El conjunto formado por todos los
automorsmos de X, dotado de la composicion de aplicaciones, tiene estructura de grupo;
denotaremos este grupo con Aut(X).
(iii) Sea X una supercie de Riemann. Una funcion holomorfa es una aplicacion holo-
morfa de X en C. Una funcion meromorfa es una aplicacion holomorfa de X en

C distinta
de la aplicacion constante .
A continuacion se determinan los grupos de automorsmos de

C y H. Como referencia
se puede consultar [29].
Ejemplos 1.6.
(i) Transformaciones de Mobius. Una transformacion de Mobius es una aplicacion
m :

C

C denida como
m(z) =
az +b
cz +d
para z C ; m() = a/c
donde a, b, c, d C y ad bc ,= 0. Se cumple que el grupo de automorsmos de

C es el
conjunto formado por todas las transformaciones de Mobius. Ademas dadas dos ternas
(z
1
, z
2
, z
3
) y (w
1
, w
2
, w
3
) de puntos de

C existe una unica transformacion de Mobius m tal
que m(z
j
) = w
j
para j 1, 2, 3.
(ii) Automorsmos de H. Una transformacion de Mobius m(z) = (az +b)/(cz +d)
tal que a, b, c, d R y ad bd > 0 transforma el semiplano superior H en s mismo, y
es, por tanto, un automorsmo de H. Recprocamente, todo automorsmo de H se puede
escribir como una transformacion de Mobius que cumple estas condiciones.
Hay una forma natural de dotar a Aut(H) de estructura de grupo topologico. Sea
GL
+
(2, R) el grupo formado por las matrices cuadradas de orden 2 con coecientes reales
y determinante positivo. Este conjunto se puede dotar de la topologa que hereda como
subespacio de R
4
. La aplicacion
2
GL
+
(2, R) Aut(H)
_
a b
c d
_
m(z) =
az +b
cz +d
es un epimorsmo de grupos que nos permite dotar a Aut(H) de la correspondiente
topologa nal.
Proposicion 1.7. Sean F : X Y una aplicacion holomorfa que no es constante y
P X. Entonces existe un unico n umero entero m 1 que cumple la siguiente propiedad:
para cada carta (V, ) de Y centrada en F(P) existe una carta (U, ) de X centrada en
P tal que ( F
1
)(z) = z
m
. Este n umero entero m recibe el nombre de multiplicidad
de F en P y sera denotado con mult
P
(F).
Denicion 1.8. Sea F : X Y una aplicacion holomorfa que no es constante. Se dice
que un punto P X es un punto de ramicaci on de F si mult
P
(F) 2. Un punto Q Y
es un punto de ramicacion de F si Q = F(P) para alg un punto de ramicacion P X.
Los conjuntos de puntos de ramicacion de F en X e Y son subconjuntos discretos. En
particular si X e Y son compactas, los conjuntos de puntos de ramicacion son nitos.
Denicion 1.9. Sea f : X

C una funcion meromorfa. Se dice que f tiene un polo de
orden m en P si f(P) = y mult
P
(f) = m. Se dice que f tiene un cero de orden m en
P si f(P) = 0 y mult
P
(f) = m.
Observacion 1.10. La denicion que hemos dado de funcion meromorfa es equivalente
a esta otra: una funcion meromorfa sobre una supercie de Riemann X es una aplicacion
f : XT C, donde T es un subconjunto discreto de X, tal que, para cada carta (U, )
de X, la composicion f
1
es una funcion meromorfa (en el sentido usual). La forma
de extender una de estas funciones a una funcion meromorfa sobre

C es denir, para cada
P T,
f(P) = lm
QP
f(Q)

C
As pues, si f : X

C es una funcion meromorfa, P X es un polo de f de orden
m y (U, ) es una carta centrada en P, entonces f
1
tiene un desarrollo de Laurent en
torno a 0 de la forma
(f
1
)(z) =

km
a
k
z
k
donde a
m
,= 0.
Las aplicaciones holomorfas entre supercies de Riemann compactas tienen buenas
propiedades. Como se establece en la siguiente proposicion, siempre son suprayectivas y el
n umero de preimagenes de cada punto es constante (contando multiplicidades).
Proposicion 1.11. Sea F : X Y una aplicacion holomorfa que no es constante.
Supongamos que X es compacta. Entonces:
3
(i) F es sobreyectiva y, por tanto, Y es tambien compacta.
(ii) Existe un n umero entero d 1, que recibe el nombre de grado de F, tal que para
cada Q Y se tiene que
d =

PF
1
(Q)
mult
P
(F)
(iii) Formula de Riemann-Hurwitz. Sean g y q los generos topologicos de X e Y
respectivamente. Sea d el grado de F. Entonces
2g 2 = d (2q 2) +

PX
(mult
P
(F) 1)
Una construccion frecuente para obtener una nueva supercie de Riemann a partir de
otra consiste en efectuar el cociente bajo la accion de un grupo de automorsmos. Como
referencia se puede consultar III.3 de [42].
Construccion 1.12. Sea X un supercie de Riemann y G un grupo de automorsmos
de X. Existe una accion natural de G sobre X denida como
GX X
(g, P) g(P)
Sea P X. Se dene la orbita de P bajo la accion de G como el conjunto
G P = g(P) : g G
y el estabilizador G
P
de P como el subgrupo de G formado por los automorsmos que
jan P
G
P
= g G : g(P) = P
Las orbitas de los puntos de X bajo la accion de G constituyen una particion de X. El
conjunto formado por estas orbitas recibe el nombre de espacio cociente y se denota con
X/G. La proyeccion natural
: X X/G
P G P
permite dotar al cociente de una topologa: la topologa nal relativa a .
Si la accion del grupo G sobre X cumple ciertas condiciones, es posible dotar al cociente
X/G de estructura de supercie de Riemann. En particular estas condiciones se cumplen
si G es nito.
Proposicion 1.13. Sean X una supercie de Riemann compacta y G un grupo nito
de automorsmos de X. Entonces el cociente Y = X/G admite una unica estructura de
supercie de Riemann tal que la proyeccion : X Y es una aplicaci on holomorfa. El
grado de es el orden [G[ del grupo G. Dado Q Y se tiene que [G
P
[ es el mismo para
cada P
1
(Q); ademas mult
P
() = [G
P
[.
4
La condicion de nitud sobre el grupo de automorsmos no es demasiado restrictiva si
prestamos atencion a supercies de Riemann compactas. En concreto, Hurwitz probo en
[28] el siguiente resultado:
Teorema 1.14 (Teorema de Hurwitz). Sea X una supercie de Riemann compacta
de genero g 2. Entonces Aut(X) es nito y [Aut(X)[ 84 (g 1).
A continuacion se exponen algunos hechos importantes sobre grupos fuchsianos, as co-
mo la estrecha relacion de estos con las supercies de Riemann compactas y sus grupos de
automorsmos. Como referencia se puede consultar [31] o tambien [8] para una exposicion
en el contexto mas amplio de los grupos NEC.
Denicion 1.15. Se dice que un subgrupo de Aut(H) es un grupo fuchsiano si es
discreto en Aut(H) y el espacio cociente H/ es compacto.
La siguiente proposicion recoge las propiedades fundamentales de los grupos fuchsianos
que emplearemos en esta memoria.
Proposicion 1.16. Todo grupo fuchsiano admite una presentacion por generadores y
relaciones del tipo:
=
_
x
1
, . . . , x
r
, a
1
, b
1
, . . . , a

, b

: x
m
j
j
= 1 j 1, . . . , r,
r

j=1
x
j

k=1
[a
k
, b
k
] = 1
_
donde y r son enteros no negativos y cada m
j
es un entero mayor que 1. Los generadores
x
j
con j 1, . . . , r reciben el nombre de generadores elpticos. Ademas:
(i) Llamaremos signatura de a la coleccion de enteros () = ( ; m
1
, . . . , m
r
). El
entero recibe el nombre de genero orbital de mientras que los enteros m
j
se denominan
periodos de . Dos grupos fuchsianos son isomorfos si y solo si tienen la misma signatura
(salvo permutacion de periodos).
(ii) Sea = ( ; m
1
, . . . , m
r
) una coleccion de enteros con , r 0 y m
j
2 para cada
j 1, . . . , r. Llamaremos area de al n umero
() = 2( 1) +
r

j=1
_
1
1
m
j
_
Existe un grupo fuchsiano con signatura si y solo si () > 0.
(iii) Sea un grupo fuchsiano. El cociente R = H/ admite una unica estructura de
supercie de Riemann que haga que la proyeccion canonica : H R sea un morsmo.
El genero de R coincide con el genero orbital de .
(iv) Si r = 0 escribiremos la signatura de de la forma ( ; ) y diremos que es un
grupo fuchsiano de supercie. Toda supercie de Riemann compacta de genero g 2 es
isomorfa a un cociente H/ donde es un grupo de supercie.
5
(v) Sean K un grupo de supercie y R = H/K. Un grupo G es isomorfo a un grupo
de automorsmos de R si y solo si G

= /K para alg un grupo fuchsiano que contenga
a K como subgrupo normal. El cociente R/G es isomorfo, como supercie de Riemann, a
H/.
(vi) Sea un grupo fuchsiano y un subrupo de de ndice nito. Entonces tambien
es grupo fuchsiano.
6
Captulo 2
Puntos de Weierstrass. Pesos.
Toda supercie de Riemann compacta R de genero topologico g 2 posee un subcon-
junto distinguido W, nito y no vaco, cuyos elementos reciben el nombre de puntos de
Weierstrass de R. La existencia de funciones meromorfas que cumplen ciertas condiciones
nos permite asociar a cada punto P de R una coleccion, formada por g n umeros enteros
positivos, que recibe el nombre de sucesion de gaps en P. El conjunto de puntos de Weier-
strass de R resulta estar formado por los puntos de R cuya sucesion de gaps es distinta
de la generica 1, 2, . . . , g. La sucesion de gaps en un punto P nos permite asignar a ese
punto un n umero entero no negativo wt(P) que se denomina peso de P, de manera que
W esta formado por los puntos de S cuyo peso es positivo.
El conjunto W de puntos de Weierstrass de R es un conjunto invariante bajo la accion
de los automorsmos de R, es decir, cada automorsmo de R transforma W en s mismo.
Es mas, cada uno de los subconjuntos de W formado por los puntos que tienen un peso
determinado es tambien invariante bajo la accion de los automorsmos de R.
Lewittes probo en [30] que si un automorsmo de R tiene mas de cuatro puntos jos,
entonces todos ellos son puntos de Weierstrass. En [2, p. 52] Accola proporciono una
demostracion alternativa de este resultado. Torres [48] y Towse [49] obtuvieron una cota
inferior para los pesos de los puntos jos de un automorsmo de R de orden 2. Watanabe
proporciono una demostracion mas simple del mismo resultado en [50]. En este captulo,
siguiendo ideas de la demostracion de Watanabe, obtenemos una cota inferior para los
pesos de los puntos jos de un automorsmo de R de orden arbitrario. En particular, si el
n umero de puntos jos del automorsmo es mayor que cuatro, la cota obtenida es positiva,
con lo cual proporcionamos una demostracion alternativa del resultado de Lewittes.
Por ultimo, empleamos resultados de Harvey [27] y Lewittes [30] (en la misma lnea
que Maclachlan en [36]) para obtener, mediante uniformizacion por grupos fuchsianos,
supercies de Riemann para las cuales se alcanzan nuestras cotas inferiores.
7
2.1. Divisores y puntos de Weierstrass.
A lo largo de esta seccion, R denotara una supercie de Riemann compacta de genero
g 0. /(R) denotara el cuerpo de funciones meromorfas de R.
Deniciones 2.1.
(i) Un divisor en R es un smbolo formal
D =

PR
D(P) P
donde cada D(P) Z y D(P) = 0 salvo para un n umero nito de puntos P R. Los
divisores en R, con la operacion natural de suma, forman un grupo abeliano. De hecho,
son el grupo abeliano libre sobre el conjunto de puntos de R.
(ii) Sea f /(R) una funcion meromorfa. El divisor de f, que denotaremos con (f),
es el siguiente divisor:
(f) =

Pf
1
(0)
mult
P
(f) P

Pf
1
()
mult
P
(f) P
(iii) Dado un divisor D en R, diremos que D 0 si D(P) 0 para cada P R. Dados
dos divisores D y D

diremos que D D

si D D

0.
(iv) Dado un divisor D en R, el espacio de funciones meromorfas con polos acotados por
D, que denotaremos con L
R
(D) (o simplemente con L(D) si no hay riesgo de confusion),
es el siguiente conjunto de funciones meromorfas:
L
R
(D) = f /(R) : (f) D
Observaciones 2.2.
(i) L(D) es un espacio vectorial sobre C. Por denicion, si D D

entonces L(D)
L(D

).
(ii) Supongamos que D(P) = n > 0. Entonces la condicion f L(D) quiere decir
que si f tiene un polo en P, el orden de ese polo es a lo sumo n. Analogamente, si
D(P) = n < 0, entonces f L(D) signica que f ha de tener un cero en P y, ademas,
el orden de ese cero ha de ser por lo menos n.
Como consecuencia del Teorema de Riemann-Roch se obtiene:
Teorema 2.3 (Teorema de los gaps de Noether). Sean R una supercie de Riemann
compacta de genero g 1 y P
1
, P
2
, P
3
, . . . una sucesion de puntos de R (en la que puede
haber puntos repetidos). Denimos la sucesion de divisores D
0
= 0; D
j+1
= D
j
+ P
j+1
para cada j 0. Entonces existen g enteros positivos 1 =
1
<
2
< . . . <
g
< 2g tales
que:
f L(D
j
) L(D
j1
) j /
1
, . . . ,
g

8
Observacion 2.4. D
j1
D
j
luego, por la Observacion 2.2 (i), L(D
j1
) L(D
j
). Si el
contenido es estricto entonces L(D
j1
) tiene codimension 1 en L(D
j
).
Demostracion. Veamos que el cociente V := L(D
j
)/L(D
j1
) tiene dimension 1. Sea n :=
D
j
(P
j
) > 0. Denotaremos con f la clase de equivalencia en V de una funcion meromorfa
f L(D
j
). Si f es un elemento no nulo de V , entonces f esta en la diferencia L(D
j
)
L(D
j1
). Por pertenecer f a L(D
j
), si f tiene un polo en P
j
entonces el orden de ese polo
es a lo sumo n. Pero como f no pertenece a L(D
j1
), necesariamente f ha de tener un
polo de orden n en P
j
; por tanto, si elegimos una carta centrada en P
j
, la expresion local
de f tendra un desarrollo en serie de Laurent (vease la Observacion 1.10) de la forma
(f
1
)(z) =

kn
a
k
z
k
donde a
n
,= 0.
Sean f y g dos elementos no nulos de V , sea una carta centrada en P y sean
(f
1
)(z) =

kn
a
k
z
k
y (g
1
)(z) =

kn
b
k
z
k
los desarrollos en serie de las
expresiones locales de f y g. La funcion meromorfa
h := f
a
n
b
n
g L(D
j
)
tendra expresion local (h
1
)(z) =

kn+1
c
k
z
k
, lo cual implica que h L(D
j1
).
Por tanto, h = 0, es decir,
f =
a
n
b
n
g
As pues f y g son linealmente dependientes sobre C.
Denicion 2.5. Sea P R y tomemos como sucesion de puntos P
j
= P para cada j 1.
La sucesion de divisores mencionada en el enunciado del Teorema 2.3 sera D
j
= j P para
cada j 0. De la demostracion de la Observacion 2.4 se deduce que, para una funcion
meromorfa f /(R) y un entero positivo j N, son equivalentes:
1. f L(D
j
) L(D
j1
)
2. f tiene un unico polo en R, que es P, y ese unico polo es de orden j.
Si una funcion meromorfa f cumple las condiciones 1 y 2 diremos que f es una funcion
en j(P).
As pues, como caso particular del Teorema de los gaps de Noether, tomando P
j
= P
para cada j 1, obtenemos:
9
Teorema 2.6 (Teorema de los gaps de Weierstrass). Sean R una supercie de
Riemann compacta de genero g 1 y P R. Entonces existen g enteros positivos 1 =

1
<
2
< . . . <
g
< 2g tales que
existe una funcion en j(P) j / (P) =
1
, . . . ,
g

Deniciones 2.7.
(i) Los enteros
j
del Teorema 2.6 reciben el nombre de gaps en P y al conjunto
(P) =
1
, . . . ,
g
se le llama sucesion de gaps en P. Llamaremos no-gaps en P a los
enteros del conjunto N (P).
(ii) Diremos que P es un punto de Weierstrass de R si (P) ,= 1, 2, . . . , g.
(iii) Llamaremos peso de P al entero positivo
wt(P) =
g

j=1
(
j
j)
Obviamente P es un punto de Weierstrass si y solo si wt(P) > 0.
Proposicion 2.8. Sean B Aut(R) y P R. Entonces (P) = (B(P)). En particular,
el conjunto W de puntos de Weierstrass de R es invariante bajo la accion de automorsmos
de R, es decir, B(W) = W para cada B Aut(R).
Demostracion. Supongamos que n es un no-gap en P. Sea f una funcion meromorfa en
n(P). Entonces f B
1
es una funcion meromorfa en n(B(P)) y, por tanto, n es un no-
gap en B(P). Aplicando esto al automorsmo B
1
obtenemos que todo no-gap en B(P)
tambien es un no-gap en P. Por tanto las sucesiones de gaps en P y B(P) coinciden.
Observaciones 2.9.
(i) El conjunto de no-gaps en P tiene estructura de semigrupo aditivo: si f es una
funcion en j(P) y g es una funcion en k(P) entonces el producto f g es una funcion en
(j +k)(P). Por tanto si j y k son no-gaps, su suma j +k tambien es un no-gap.
(ii) Si R tiene genero 1 y P R, entonces (P) = 1 por el Teorema 2.6 y, por tanto,
no hay puntos de Weierstrass en R.
(iii) Si R tiene genero 0, esto es, R =

C, la esfera de Riemann, entonces para cada
P R existe un automorsmo de R que transforma P en el punto del innito (vease
1.6). Este automorsmo se puede interpretar como una funcion en 1(P) y f
j
sera una
funcion en j(P) para cada j 1. Por tanto podemos decir por extension, aunque no
hayamos denido punto de Weierstrass para supercies de genero 0, que no hay puntos de
Weierstrass en

C.
El siguiente resultado establece la nitud del conjunto de puntos de Weierstrass en una
supercie de genero mayor que 1. Se encuentra probado en [20, pag. 85].
10
Proposicion 2.10. Sea R una supercie de Riemann compacta de genero g 2. Entonces
el conjunto W de puntos de Weierstrass de R es nito. Ademas 2g + 2 [W[ g
3
g.
De hecho, hay exactamente g
3
g puntos de Weierstrass en R si contamos cada uno con
su peso, es decir,

PR
wt(P) = g
3
g
2.2. Algunos resultados previos.
Para una supercie de Riemann compacta R de genero g 2, Lewittes encontro en
[30] una representacion matricial h de Aut(R), obtenida haciendo actuar cada automor-
smo de R sobre
1
(R), el espacio vectorial complejo de dimension g formado por las
diferenciales holomorfas de R. Dado un automorsmo T Aut(R) con alg un punto jo
P R, el siguiente resultado de Lewites proporciona la representacion h(T) en terminos
de la expresion local de T cerca de P y de la sucesion de gaps en P:
Teorema 2.11. Sea R una supercie de Riemann compacta de genero g 2, sea T
Aut(R) un automorsmo de orden n que ja P R y sea z z la expresion local de T
cerca de P, donde es una raz primitiva n-esima de la unidad. Sea
1
, . . . ,
g
la sucesi on
de gaps en P. Entonces, con respecto a una base adecuada de
1
(R), la representacion
matricial h(T) es la matriz diagonal diag

1
, . . . ,

g
.
Sea un grupo fuchsiano (veanse la Denicion 1.15 y la Proposicion 1.16) con signatura
= ( ; m
1
, . . . , m
r
), sean K un grupo fuchsiano de supercie, R = H/K la supercie
de Riemann cociente, G = /K un grupo de automorsmos de R y : H R la
proyeccion canonica. Los puntos jos en H de elementos de son los puntos jos de los
generadores elpticos x
k
y sus conjugados y cada generador elptico x
k
tiene un unico
punto jo en H, al que llamaremos z
k
(vease 5.2 de [29]). Sabiendo esto, es facil probar lo
siguiente:
Observacion 2.12. Los puntos jos en R de elementos de G son los puntos del conjunto

r
k=1
(z
k
), donde z denota la orbita de z en H bajo la accion de .
Demostracion. Sea P = zK un punto jo de T = K G. Tendremos por tanto que
zK = P = T(P) = (K)(zK) = (z)K
as que z = ((z)) para alg un K. Luego sera conjugado de alg un generador
elptico de , es decir, =
1
x
k
para ciertos y k 1, . . . , r. Tendremos
pues que (z) = x
k
((z)), con lo cual (z) = z
k
por ser z
k
el unico punto jo en H de x
k
.
Con lo que queda probado que z z
k
lo que implica que P = zK (z
k
).
Recprocamente, si P (z
k
), se tiene que P = (z
k
)K para alg un . Pero
entonces P es punto jo del automorsmo ( x
k

1
)K G.
11
Supongamos ahora que G es un grupo cclico de orden n generado por un automorsmo
T. Recordemos que m
k
es el orden del generador elptico x
k
. Como K = Ker no contiene
elementos de orden nito, tambien m
k
es el orden de (x
k
) en G, as que m
k
divide a n.
Los puntos del conjunto (z
k
) seran puntos jos del automorsmo T
(n/m
k
)
. Harvey
encontro en [27] la expresion local de T
(n/m
k
)
cerca de cada uno de sus puntos jos en
funcion del epimorsmo : G. Como G

= Z
n
identicaremos cada elemento de G
de la forma T
m
con el entero m modulo n y usaremos la notacion
k
:= (x
k
) para cada
k 1, . . . , r. El resultado de Harvey es:
Teorema 2.13. En cada P (z
k
) la expresion local de T
(n/m
k
)
es z
k
z donde

k
= e
2i
k
/m
k
donde
k
es tal que 0 <
k
< m
k
, (
k
, m
k
) = 1 y
k

k
n/m
k
(mod n)
Sea = e
2i/n
. Los autovalores de la representacion matricial h(T) (ver Teorema 2.11)
son potencias de . Para el caso en que el orden de G es un n umero primo, Lewittes
obtuvo en [30] una expresion para la multiplicidades N
j

0jn1
de los autovalores
j
en
la representacion h(T). Usando las tecnicas de Lewittes (bajar y subir diferenciales
entre R y R/G y calcular dimensiones de subespacios vectoriales de diferenciales usando
el teorema de Riemann-Roch) se pueden obtener estas multiplicidades en el caso en que n
es un entero positivo arbitrario. Ademas, con ayuda del Teorema 2.13, las formulas para
calcular los N
j
se pueden reescribir en funcion del epimorsmo y del genero orbital de
, tal y como las presento Harvey en [27]:
Proposicion 2.14. Con las notaciones anteriores se tiene
N
0
=
N
j
= 1 +
r

k=1
j
k
=0 (mod n)
_
1
_
j
k
n
__
para j 1, . . . , n 1
donde x) denota la parte fraccionaria de x.
Por otro parte, Macbeath obtuvo en [33] el n umero de puntos jos de cualquier auto-
morsmo del grupo cclico G en funcion de la signatura de :
Proposicion 2.15. Para un automorsmo U G cuyo orden es d, el n umero F(U) de
puntos jos de U en R viene dado por:
F(U) = n

m
k
d Z
1
m
k
12
2.3. Automorsmos que jan un n umero par de puntos.
Teorema 2.16. Sea R una supercie de Riemann compacta de genero g 2. Sea T un
automorsmo de R con un n umero par r 6 de puntos jos y sea n el orden de T.
Entonces el peso de cada punto jo P de T satisface la siguiente cota:
wt(P)
1
8
(n 1)(r 4)(r 2)
Demostracion. Sea G = T) el subgrupo de Aut(R) generado por T, sea S = R/G el
cociente de R bajo la accion de G y sea q el genero de S. Consideramos la proyeccion
natural
: R S
P P
que es un morsmo entre supercies de Riemann compactas. Por tanto, se satisface la
formula de ramicacion de Riemann-Hurwitz (vease 1.11) para . Veamos que aspecto
toma esta formula. Para cada P R la bra
1
(P) es la orbita de P bajo la accion de
G (veanse 1.12 y 1.13). El cardinal de cada una de estas orbitas es n, salvo si P es punto
jo de alguna potencia de T distinta de la identidad (en este caso el cardinal de la orbita
disminuye). As pues, es un morsmo de grado n y sus puntos de ramicacion son los
puntos jos de las potencias de T distintas de la identidad. En particular, los r puntos
jos de T son puntos de ramicacion de con ndice de ramicacion igual a n1 (ya que,
en este caso, la orbita de P tiene cardinal 1). Sustituyendo esta informacion en la formula
de Riemann-Hurwitz para obtenemos
() 2g 2 = n(2q 2) + (n 1) r +B
donde B denota la contribucion a la formula del resto de los puntos de ramicacion de .
La siguiente armacion sera util a lo largo de la demostracion:
(+) Sea F : X Y un morsmo de grado n entre supercies de Riemann compactas
y sea Q Y tal que F
1
(Q) consta de un unico punto P X. Si es un no-gap en Q
entonces n es un no-gap en P.
Veamos que esta ultima armacion es cierta. Como es un no-gap en Q, existe una
funcion en (Q) (vease la Denicion 2.5), es decir, una funcion meromorfa f : Y

C
que cumple que Q es su unico polo y que el orden de este polo es . As pues f es un
morsmo de grado y, por tanto, la composicion f F es un morsmo de grado n.
Ademas (f F)
1
() = F
1
(Q) = P, con lo cual f F es una funcion en (n)(P) y,
por tanto, n es un no-gap en P, como queramos probar.
Sea P uno cualquiera de los puntos jos de T. Vamos a estimar el peso wt(P). Para
ello, consideramos 2 casos:
13
(i) P no es punto de Weierestrass de S.
Esto es lo mismo que decir que
j
:= q +j es un no-gap en P para cada entero j 1.
Como es un morsmo de grado n y
1
(P) = P podemos aplicar (+), obteniendo que
n
j
= n(q +j) es un no-gap en P para cada j 1. Sabiendo que la coleccion de enteros
n
j

j1
esta formada por no-gaps en P, tendremos que el peso en P sera mnimo cuando
la sucesion de gaps en P coincidiera con la sucesion
l

1lg
de los g primeros enteros
positivos que no estan en la coleccion n
j

j1
. Podemos suponer entonces, dado que
estamos calculando una cota inferior para el peso, que nos encontramos en esta situacion.
Como n(q+1) es el primer no-gap en P, tendremos n(q+1)1 gaps cuya contribucion
al peso sera nula. Usando la ecuacion (), podemos obtener el n umero m de gaps cuya
contribucion al peso es positiva:
m = g (nq +n 1) =
1
2
(n 1)(r 4) +
B
2
> 0
El peso wt(P) sera mnimo cuando m fuera lo mas peque no posible, esto es, cuando
B = 0, con lo que m =
1
2
(n 1)(r 4). Calculando el peso en este caso, obtendremos la
cota inferior que buscamos. Tendremos pues n 1 gaps entre n(q + 1) y n(q + 2), cada
uno de los cuales a nadira una unidad al peso, n 1 gaps entre n(q + 2) y n(q + 3) que
a nadiran dos unidades al peso cada uno y as sucesivamente hasta que se acaben los m
gaps que contribuyen al peso. Al ser r par, n 1 divide a m, as que podemos agrupar
estos m gaps en (r 4)/2 bloques (de n 1 gaps cada uno), de modo que la contribucion
al peso de cada gap de un bloque es una unidad mayor que la contribucion de cada gap
del bloque anterior. Por tanto, el peso en este caso toma el valor
w(P) = (n 1)
(r4)/2

k=1
k = (n 1)
1
2
(r 4)
2
(r 2)
2
(ii) P es punto de Weierstrass de S.
Sea
j

j1
la sucesion de no-gaps en P. El hecho de que P no sea punto de Weierstrass
se traduce en que algunos de los g primeros no-gaps en P toman valores mas bajos que en
el caso (i), pero, sea como sea, siempre se tiene que
j

j
= q + j para cada j 1. De
nuevo por (+), se cumple que n
j
es un no-gap en P para cada j 1.
Supongamos ahora que el peso wt(P) es lo mas peque no posible, es decir, que la
sucesion de gaps
j
en P esta formada por los g primeros enteros positivos que no estan
en la coleccion n
j

j1
. Como n
j
n
j
para cada j 1, se sigue que
l

l
para
cada l 1, . . . , g. Por lo tanto, el peso wt(P) sera necesriamente mayor o igual que la
cota obtenida en (i).
Observacion 2.17. Si el orden de T es una potencia de 2, esto es n = 2
m
, el n umero
de puntos jos r es par. El motivo es el siguiente: al ser todos los divisores de n pares,
todas las orbitas bajo la accion de G de puntos de la supercie, salvo las formadas por los
puntos jos de T, tendran cardinal par. As que en la relacion () el sumando B es par y,
por tanto, tambien lo es (n 1) r. Como n 1 es impar, concluimos que r es par.
14
Probaremos a continuacion que la cota obtenida es na para todos los posibles valores
de n y r. Esto se hara construyendo supercies y automorsmos para los cuales se alcanza
la cota.
Proposicion 2.18. Sean n y r enteros positivos, r par, tales que n 2 y r 6. Entonces
existen una supercie de Riemann compacta R, un automorsmo T Aut(R) con r puntos
jos y de orden n y un punto P R que es punto jo de T tales que
wt(P) =
1
8
(n 1)(r 4)(r 2)
Demostracion. Sea un grupo fuchsiano (veanse la Denicion 1.15 y la Proposicion 1.16)
con presentacion
= x
1
, . . . , x
r
: x
n
1
= . . . = x
n
r
= x
1
x
2
. . . x
r
= 1)
es decir, con signatura = (0; n, . . . , n), donde r es el n umero de periodos. La existencia
de este grupo esta garantizada por la Proposicion 1.16 (ii), ya que el area () de la
signatura
() = 2 +r
_
1
1
n
_
2 +r
1
2
2 + 6
1
2
= 1
es positiva.
Consideramos una aplicacion : x
1
, . . . , x
r
Z
n
denida de la siguiente forma:
(x
k
) = 1 para 1 k r/2
(x
k
) = n 1 para r/2 < k r
donde Z
n
denota el grupo aditivo de restos modulo n. Es inmediato comprobar que es
compatible con las relaciones de . Por tanto, se extiende a un unico homomorsmo de
grupos : Z
n
. Ademas, por estar el generador 1 de Z
n
en la imagen de , tenemos
que es un epimorsmo. Usaremos la notacion
k
= (x
k
).
Veamos ahora que el n ucleo K = Ker es un grupo de supercie. En primer lugar,
K es grupo fuchsiano por ser subgrupo de ndice nito del grupo fuchsiano (vease
Proposicion 1.16 (vi)). Por tanto, solo nos queda probar que K no contiene elementos de
orden nito distintos de la identidad, ya que, en ese caso, no tendra generadores elpticos.
Pero es un hecho conocido (vease [35]) que los elementos de orden nito de son todos
conjugados de potencias de los generadores elpticos, es decir de la forma y = d x
m
k
d
1
con
d , k 1, . . . , r y m ,= 0 (mod n). La imagen de uno cualquiera de estos elementos
(y) = (d) +m(x
k
) (d) = m
k
es distinta de cero en Z
n
, ya que
k
es una unidad en Z
n
. As pues, y no esta en K = Ker .
Por la Proposicion 1.16, apartados (iii) y (v), el grupo G = /K

= Z
n
act ua como
grupo de automorsmos de la supercie de Riemann compacta R = H/K. Sea g el genero
de R y sea T G el automorsmo de R que se identica con el generador 1 Z
n
.
15
Por la Proposicion 2.15, el n umero de puntos jos de T en R es
F(T) = n
r

k=1
1
n
= r
Vamos ahora a obtener la sucesion de gaps en P = (z
1
), que por el Teorema 2.13 es
punto jo de T
n/n
= T
1
y, por tanto, de T (notese que m
1
= n). Este mismo Teorema
nos proporciona la expresion local de T
1
cerca de P. Como
1
= 1 se tiene que
1
= 1
con lo cual
1
= = e
2i/n
, es decir, la expresion local de T
1
cerca de P es z z.
Por el Teorema 2.11 la representacion matricial h(T) obtenida por Lewittes tiene la forma
diag

1
, . . . ,

g
, donde
1
, . . . ,
g
es la sucesion de gaps en P. As que el n umero
de gaps en P que son congruentes con j modulo n coincide con la multiplicidad N
j
del
autovalor
j
en h(T) para cada j 0, . . . , n 1.
Las formulas de la Proposicion 2.14 nos permiten obtener las multiplicidades N
j
(re-
cuerdese que, en nuestro caso, = 0 y m
k
= n para cada k 1, . . . , r):
N
0
= 0
N
j
= 1 +
r/2

k=1
_
1
_
j 1
n
__
+
r

k=(r+2)/2
_
1
_
j (n 1)
n
__
=
= 1 +
r
2
_
1
[ j ]
n
n
_
+
r
2
_
1
[ j (n 1) ]
n
n
_
=
r 2
2
para j 1, . . . , n 1
donde [ m]
n
denota el representante entre 0 y n 1 de la clase de m modulo n.
Al ser N
0
= 0 ninguno de los gaps es m ultiplo de n. Por este motivo, los (r 2)/2
gaps que son congruentes con j modulo n han de ser exactamente los (r 2)/2 primeros
enteros positivos congruentes con j modulo n. Esto se debe a la estructura de semigrupo
aditivo del conjunto de no-gaps (vease Observacion 2.9 (i)): como n es un no-gap, si m es
otro no-gap, entonces todos los enteros de la forma m+t n han de ser no-gaps. Como esto
sucede para cada j 1, . . . , n 1, queda determinada la sucesion de gaps en P. Pero si
nos jamos en la demostracion del Teorema 2.16 observaremos que esta sucesion de gaps
es exactamente la que proporciona la cota inferior de dicho Teorema. Por tanto el peso de
P coincide con la cota.
Observacion 2.19. A partir de la formula de Riemann-Hurwitz () podemos obtener
el genero g de las supercies que hemos construido para probar la Proposicion 2.18. El
genero q del cociente R/G coincide, por la Proposicion 1.16 (iii), con el genero orbital de
, esto es, q = 0. Por la Proposicion 2.15, el n umero de puntos jos de cualquier potencia
de T es r, as que los unicos puntos de ramicacion de : R R/G son los puntos jos
16
de T, por lo tanto B = 0. Usando la relacion () obtenemos
g = (n 1)
r 2
2
2.4. Automorsmos que jan un n umero impar de puntos.
Vamos a considerar ahora automorsmos con un n umero impar r de puntos jos.
Mantendremos las notaciones empleadas durante la seccion precedente. En este caso, a
diferencia del anterior, es necesario estudiar separadamente dos casos, dependiendo de la
paridad del orden n del automorsmo. Esto se debe a que, si n es par, en la formula de
Riemann-Hurwitz
() 2g 2 = n(2q 2) + (n 1) r +B
el sumando (n 1) r es impar, con lo que necesariamente B es impar y en particular no
nulo. Esto hace que la situacion se vuelva mas complicada.
Sin embargo, si n es impar el tratamiento es muy similar al de la seccion anterior.
Estudiaremos, en primer lugar, este caso.
Teorema 2.20. Sea R una supercie de Riemann compacta de genero g 2. Sea T un
automorsmo de R de orden impar n con un n umero impar r 5 de puntos jos. Entonces
el peso de cada punto jo P de T satisface la siguiente cota:
wt(P)
1
8
(n 1)(r 3)
2
Demostracion. Este resultado se prueba reproduciendo paso por paso la demostracion
del Teorema 2.16. La unica diferencia rese nable aparece cuando se calcula el peso wt(P)
asociado a la sucesion de gaps
l

1lg
que proporciona la cota inferior. En este caso el
n umero m = (n 1)(r 4)/2 de gaps que contribuyen al peso no es divisible entre n 1
con lo cual tenemos (r 5)/2 bloques con n1 gaps cada uno y un ultimo bloque formado
por (n 1)/2 gaps, cada uno de los cuales a nade al peso (r 3)/2 unidades. Por tanto:
w(P) = (n 1)
(r5)/2

k=1
k +
n 1
2
r 3
2
=
1
8
(n 1)(r 3)
2
Proposicion 2.21. Sean n 2 y r 5 enteros positivos impares. Enconces existen una
supercie de Riemann compacta R, un automorsmo T Aut(R) con r puntos jos y de
orden n y un punto P R que es punto jo de T tales que
wt(P) =
1
8
(n 1)(r 3)
2
17
Demostracion. La demostracion es paralela a la de la Proposicion 2.18, as que omitiremos
los detalles y mantendremos las mismas notaciones. Las justicaciones de las armaciones
que se haran son analogas a las de la citada demostracion.
Sea un grupo fuchsiano con genero orbital 0 y r periodos iguales a n y sean
x
1
, . . . , x
r
los generadores de . Consideramos la aplicacion : x
1
, . . . , x
r
Z
n
dada por
n = 3 :
_
_
_
r
1
=
1
2
(r + 3)
r
2
=
1
2
(r 3)
n = 5 :
_

_
r
1
= 2
r
2
=
1
2
(r 3)
r
3
=
1
2
(r 1)
r
4
= 0
n 7 :
_

_
r
1
= 2
rn1
2
= rn+1
2
=
1
2
(r 3)
r
n2
= 1
r
j
= 0 en otro caso
donde r
j
denota el n umero de generadores cuya imagen por es [ j ]
n
(notese que, a efectos
de esta demostracion, no importa cual sea la imagen de cada generador siempre que se
satisfaga la condicion previamente citada, as que podemos hacer una eleccion cualquiera).
Es inmediato comprobar la compatibilidad de con la unica relacion relevante

r
k=1
x
k
= 1
de la presentacion de , pues

r
k=1
k r
k
nZ. Por tanto se extiende a un epimorsmo
: Z
n
. Las imagenes de todos los generadores de son unidades en el anillo Z
n
(esto es, generadores del grupo cclico Z
n
), as que K := Ker es un grupo de supercie.
Sea R = H/K y sea G = /K

= Z
n
, que es un grupo de automorsmos de R. Sean g
el genero de R y T G el automorsmo de R que se identica con el generador 1 Z
n
.
Por la Proposicion 2.15, el n umero de puntos jos de T en R es r. Sea x
k
un generador
elptico tal que (x
k
) = 1 y sea P = (z
k
), que es un punto jo de R.
La Proposicion 2.14 nos permite calcular la multiplicidad N
j
del autovalor e
2ij/n
en
la representacion h(T) de Lewittes (Teorema 2.11) para cada j 0, . . . , n 1:
N
0
= 0
N
j
=
r 1
2
para 1 j
n1
2
N
j
=
r 3
2
para
n1
2
< j n 1
Por los Teoremas 2.11 y 2.13 esta multiplicidad N
j
coincide con el n umero de gaps en
18
P que son congruentes con j modulo n. Al no ser ninguno de los gaps m ultiplo de n, la
estructura de semigrupo aditivo del conjunto de no-gaps hace que quede determinada la
sucesion de gaps en P : esta formada por los N
j
primeros enteros enteros congruentes con
j modulo n para cada j 1, . . . , n 1. Pero esta sucesion de gaps es exactamente la
que proporciona la cota inferior del Teorema 2.20. Por tanto el peso de P coincide con la
cota.
Observacion 2.22. Como en la Observacion 2.19, la formula de Riemann-Hurwitz nos
permite obtener el genero de la supercie que hemos construido en la demostracion de
2.21 que de nuevo es
g = (r 2)
n 1
2
Notese que en este caso, a diferencia del anterior, no se construyen supercies de cualquier
genero, ya que el factor (r 2) > 1 es un n umero impar, con lo que no aparecen supercies
cuyo genero es una potencia de 2.
Trataremos ahora el caso en que el orden n de T es par. Tambien en este caso es posible
obtener una cota inferior para el peso de un punto jo de T:
Teorema 2.23. Sea R una supercie de Riemann compacta de genero g 2. Sea T un
automorsmo de R de orden par n con un n umero impar r 5 de puntos jos. Entonces
el peso de cada punto jo P de T satisface la siguiente cota:
wt(P)
1
8
(n 1)(r 5)(r 3) +
r 3
2
_
n
a + 1
2
_
donde a es el mayor divisor impar de n.
Demostracion. Mantendremos las notaciones empleadas en el Teorema 2.16. Argumentan-
do igual que en la demostracion del citado Teorema, se puede asegurar que el peso de P
sera siempre mayor o igual que el que se obtendra si la sucesion de gaps en P estuviera
formada por los g primeros enteros que no estan en la coleccion n(q + j)
j1
(q es el
genero de S = R/ T)). A partir de ahora supondremos que nos encontramos en esta
situacion.
De la formula de Riemann-Hurwitz () se sigue que el n umero de gaps cuya contribucion
al peso es positiva es
m = g (nq +n 1) =
1
2
(n 1)(r 4) +
B
2
y, ademas, que el n umero B es un entero positivo impar, como se nalamos al comienzo de
esta seccion. Por tanto obtendremos una cota inferior para el peso de P si B es lo mas
peque no posible. Recordemos que B es la contribucion a () de los puntos de ramicacion
de : R S que no son puntos jos de T. Si Q es uno de esos puntos de ramicacion,
el cardinal n
Q
de la orbita de Q bajo la accion de T es el cociente n/m
Q
, donde m
Q
es
19
la multiplicidad de en Q. La aportacion de Q y los demas puntos de su orbita a ()
sera B
Q
= n
Q
(m
Q
1) = n n
Q
, que sera mas peque no cuanto mayor sea n
Q
.
Como B es impar, existe un punto Q R que no es punto jo de T tal que B
Q
es
impar. Desde luego B B
Q
, as que se trata de minimizar B
Q
= n n/m
Q
de modo que
B
Q
sea impar. Esto se logra cuando m
Q
es la mayor potencia de 2 que divide a n (notese
que m
Q
> 1, ya que n es par, y m
Q
< n por la Observacion 2.17, al ser r impar). Por ello
denotamos con a el mayor divisor impar de n y as B n a, luego
m
1
2
(n 1)(r 4) +
n a
2
= (n 1)
r 5
2
+
_
n
a + 1
2
_
y, como 1 < a n 1, se tiene que
n 1 > n
a + 1
2

n
2
Por tanto tenemos, por un lado, (r5)/2 bloques formados por n1 gaps cada uno, de
manera que cada gap del bloque j-esimo a nade j unidades al peso. Por otro lado, tenemos
un ultimo bloque formado por al menos n (a + 1)/2 gaps, cada uno de los cuales a nade
(r 3)/2 unidades al peso. Por tanto, la cota inferior es
(n 1)
(r5)/2

k=1
k +
r 3
2
_
n
a + 1
2
_
=
1
8
(n 1)(r 5)(r 3) +
r 3
2
_
n
a + 1
2
_
20
Captulo 3
Sucesiones de gaps en supercies
de Klein.
Un automorsmo antianaltico de orden 2 de una supercie de Riemann recibe el
nombre de simetra. Se atribuye a Klein la idea de asociar a cada simetra de una
supercie de Riemann R otra supercie topologica, con borde o no orientable (o ambas
cosas), obtenida como cociente de R bajo la accion de ). El tratamiento moderno de
estas superces, que actualmente reciben el nombre de supercies de Klein, se debe a
Alling y Greenleaf, cuyos trabajos se encuentran recogidos en [3]. En esta monografa se
introduce la denicion de supercie de Klein como una supercie topologica dotada de lo
que Alling y Greenleaf llaman estructura dianaltica. Tambien se demuestra que, dada una
supercie de Klein S, existe una supercie de Riemann S
c
y una simetra
c
de S
c
tales
que S = S
c
/
c
) y la proyeccion natural
c
: S
c
S es un morsmo en la categora de
las supercies de Klein. La terna (S
c
,
c
,
c
) recibe el nombre de cubierta doble de S.
Si S
c
es compacta y su genero es mayor que 1, es natural preguntarse como afecta
la existencia de la simetra
c
al conjunto W de puntos de Weierstrass de S
c
. El primer
hecho destacable es que W es simetrico, esto es,
c
(W) = W. As pues aparece en S el
conjunto distinguido
c
(W) formado por los puntos que son proyeccion de los puntos de
Weierstrass de S
c
. La supercie S posee su propio cuerpo de funciones meromorfas, luego
cabe plantear, en primer lugar, si es posible caracterizar los elementos de
c
(W) en termi-
nos de funciones meromorfas denidas sobre S. Este problema se resuelve parcialmente en
el presente captulo, concretamente para los puntos del borde de S.
El estudio del problema antes mencionado nos conduce a denir el concepto de sucesion
de gaps en un punto P de una supercie de Klein S, as como una sucesion de n umeros
enteros a
j
(P) formada por diferencias de dimensiones de subespacios vectoriales de
funciones meromorfas denidas sobre S. La sucesion a
j
(P) no solo determina la sucesion
de gaps en P sino que contiene informacion adicional sobre el comportamiento de las
funciones meromorfas cuyo conjunto de polos se reduce al conjunto P.
Las sucesiones de gaps en las supercies de Klein resultan tener un comportamiento
21
distinto al de las sucesiones de gaps en las supercies de Riemann, ya que las primeras
no poseen cardinal jo y pueden llegar a ser vacas. Demostramos que, si la sucesion de
gaps en alg un punto de una supercie de Klein S es vaca, entonces S es hiperelptica. A
continuacion estudiamos el conjunto G
1
(S) de puntos de S para los cuales la sucesion de
gaps es vaca. Este conjunto esta formado por un n umero nito de curvas dentro de la
supercie S; mas formalmente, G
1
(S) es un subespacio semialgebraico de S (en el sentido
de Delfs-Knebusch) de dimension 1. Por ultimo, determinamos la sucesion a
j
(P) para
cada punto P de una supercie de Klein hiperelptica.
3.1. Supercies de Klein.
Deniciones 3.1.
(i) Sea U un subconjunto abierto de C. Diremos que una funcion f : U C es
antianaltica en U si su funcion conjugada
f : U C
z f(z)
es analtica en U. Diremos que f es dianaltica en U si para cada componente conexa V
de U la restriccion de f a V es analtica o antianaltica.
(ii) Sea A un subconjunto abierto de C
+
. Diremos que una funcion f : A C es
dianaltica en A si se puede extender a una funcion dianaltica denida en un abierto de C,
es decir, si existen un subconjunto U abierto de C y una funcion dianaltica

f : U C
tales que A U y f =

f[
A
. Diremos que f es analtica en A si se puede conseguir que la
extension

f sea analtica en U.
Denicion 3.2. Una supercie de Klein es una supercie S (vease la Denicion 1.1) junto
con un conjunto maximal de cartas U
i
,
i

iI
tal que las funciones de transicion
i

j
1
son dianalticas (notese que estas funciones estan denidas si U
i
U
j
es no vaco).
Observaciones 3.3.
(i) Para denir una supercie de Klein no es necesario proporcionar un conjunto ma-
ximal de cartas; basta con un conjunto de cartas dianalticas que recubran la superce (al
que llamaremos atlas dianaltico). Si la supercie de Klein es orientable es posible elegir
un atlas formado por cartas analticas.
(ii) Hay una biyeccion natural entre supercies de Riemann y supercies de Klein
orientables sin borde. Identicaremos estas dos clases a partir de ahora.
Ejemplos 3.4.
(i) La carta (C
+
, id) dota a C
+
de estructura de supercie de Klein. El borde de C
+
consiste en los puntos del eje del real.
22
(ii) Sea = C
+
la compacticacion mediante un punto de C
+
. Las dos cartas
U
1
= (C
+
,
1
(z) = z) y U
2
= ( 0,
2
(z) = 1/z) dotan a de estructura de supercie
de Klein. El borde de es el conjunto R .
Denicion 3.5. Sea S una supercie de Klein compacta de genero topologico g y sea k el
n umero de componentes conexas de S. El genero algebraico de S es el entero p = g+k1,
donde = 2 si S es orientable y = 1 en caso contrario. El tipo topologico de S (es decir,
la clase de equivalencia de S bajo la relacion ser homeomorfo a) esta determinado por
la terna (p, k, ).
Denicion 3.6. La aplicacion doblez es la aplicacion
: C C
+
x +iy x +i[y[
Denicion 3.7. Un morsmo entre las supercies de Klein S y S

es una aplicacion
continua F : S S

tal que
1. F(S) S

.
2. Para cada P S existen cartas (U, ) en S y (V, ) en S

y una aplicacion analtica

T : (U) C tales que P U, F(U) V , (V ) C
+
y F[
U
= T .
Proposicion 3.8. Los morsmos entre supercies de Klein son aplicaciones abiertas.
Denicion 3.9. Diremos que una aplicacion F entre supercies de Klein es un isomor-
smo si es un morsmo biyectivo y F
1
es tambien un morsmo. De hecho, si F es un
morsmo biyectivo, por la Proposicion 3.8, es un isomorsmo. Un automorsmo de una
supercie de Klein es un morsmo de la supercie en s misma. La composicion de dos mor-
smos entre supercies de Klein es un morsmo. Por tanto, el conjunto de automorsmos
de una supercie de Klein S, dotado con la composicion de aplicaciones, es un grupo, que
denotaremos con Aut

(S). Los morsmos de orden 2 reciben el nombre de involuciones.

Denicion 3.10. Sean S y S

supercies de Klein orientables y supongamos que estan

orientadas. Diremos que un morsmo es analtico si preserva la orientacion y que es an-
tianaltico si la invierte. Los automorsmos analticos de S forman un subgrupo de ndice
2 de Aut

(S) que denotaremos con Aut

+
(S). Si S es una supercie de Riemann, Aut(S)
(seg un se denio en el Captulo 1) y Aut
+
(S) son grupos isomorfos.
Ejemplo 3.11. En 1.6 se determino el grupo Aut(H) y se le dio estructura de grupo
topologico. Ahora vamos a hacer lo mismo con Aut

(H). Sea /

el conjunto formado por

las transformaciones m del tipo
m(z) =
az +b
cz +d
para z H
donde a, b, c, d R y adbc < 0. Los elementos de /

resultan ser todos los automorsmos

antianalticos de H, con lo cual se tiene que Aut

(H) = Aut(H) /

.
23
Sea GL(2, R) el conjunto de matrices cuadradas de orden 2 con coecientes reales y
determinante no nulo. Este conjunto hereda la topologa usual como subespacio de R
4
. La
aplicacion
GL(2, R) Aut

(H)
A =
_
a b
c d
_

_
_
_
m(z) = (az +b)/(cz +d) si det(A) > 0
m(z) = (az +b)(cz +d) si det(A) < 0
es un epimorsmo de grupos que permite dotar a Aut

(H) de la topologa nal correspon-

diente.
A continuacion se introducen algunas notaciones usadas por May en [37]. Los resultados
que se mencionan se deben a Alling y Greenleaf y se pueden encontrar demostrados en [3].
Proposicion 3.12. Sean F : S S

un morsmo no constante entre supercies de

Klein y P S.
(i) Existen cartas dianalticas (U, ) y (V, ) centradas en P y F(P), respectivamente,
tales que, para cada Q U,
F(Q) =
_
_
_

1
((Q)
e
) si F(P) S

1
((Q)
e
) si F(P) / S

donde e es un entero positivo, al que llamaremos multiplicidad o ndice de ramicacion de

F en P y denotaremos con mult
F
(P) y otras veces, por brevedad, con e
F
(P). Se dira que
F es ramicado en P si mult
F
(P) > 1.
(ii) Llamaremos grado relativo de P sobre F(P) al entero positivo d
F
(P) denido
como
d
F
(P) =
_
2 si P S

y F(P) S

1 en otro caso
Existe un entero positivo r, al que llamaremos grado de F, tal que

PF
1
(Q)
e
F
(P) d
F
(P) = r
para cada Q S

.
(iii) Si F : S S

y G : S

son morsmos entre supercies de Klein de

grados r y s respectivamente entonces G F es un morsmo de grado r s. Ademas
e
GF
(P) = e
F
(P) e
G
(F(P)) para cada P S.
Vamos a introducir la cubierta doble de una supercie de Klein (vease, por ejemplo,
[3]).
Construccion 3.13. Sea S una supercie de Klein que no es una supercie de Riemann
(es decir, S es no vaco, S es no es orientable o ambas cosas). Entonces existe una terna
(S
c
,
c
,
c
), llamada la cubierta doble de S, que cumple las siguientes condiciones:
24
1. S
c
es una supercie de Riemann. Si S es compacta, S
c
tambien lo es; ademas, el
genero de S
c
coincide con el genero algebraico de S.
2. La aplicacion
c
: S
c
S es un morsmo de grado 2 entre supercies de Klein tal
que [
1
c
(P)[ = 1 si P S y [
1
c
(P)[ = 2 si P / S. Por tanto
c
no es ramicado
en ning un punto de S
c
.
3. La aplicacion
c
: S
c
S
c
es el unico automorsmo antianaltico de orden 2 de S
c
que satisface la igualdad
c

c
=
c
. Llamaremos involucion antianaltica de S
c
a
este autormorsmo. Un punto Q S
c
es punto jo de
c
si y solo si
c
(Q) S.
Si no hay posibilidad de confusion, denotaremos la cubierta doble de S simplemente con
(S
c
, , ).
Como veremos mas adelante, la cubierta doble permite establecer una equivalencia
funtorial entre la categora de supercies de Klein y la de supercies de Riemann simetricas
que introducimos a continuacion. Conviene destacar tambien un resultado probado por
Bujalance y Singerman en [10]: la supercie de Klein S es orientable si y solo si S
c

1
(S)
no es conexo.
Denicion 3.14. Una supercie de Riemann simetrica es un par (R, ) donde R es una
supercie de Riemann y : R R es un autormorsmo antianaltico de orden 2 (al que
llamaremos involucion antianaltica de R). Un morsmo entre dos supercies de Riemann
simetricas (R, ) y (R

) es un morsmo F : R R

que conserva la orientacion y

cumple que F =

F.
Observacion 3.15. Es un hecho conocido (una demostracion puede verse en [13, pag. 7])
que son funtorialmente equivalentes las dos categoras cuyos objetos son las supercies de
Klein y las supercies de Riemann simetricas, respectivamente, y cuyos morsmos son los
morsmos no constantes. La forma natural de identicarlas es la siguiente:
Una supercie de Klein S se asocia con su cubierta doble (S
c
, ), que es una supercie
de Riemann simetrica.
Una supercie de Riemann simetrica (R, ) se asocia con el cociente S = R/ ), que
puede ser dotado con una unica estructura de supercie de Klein tal que la proyeccion
canonica sea un morsmo.
Si S es una supercie de Klein con cubierta doble (S
c
, ) se cumple que
Aut

(S)

= Aut(S
c
, ) = F Aut(S
c
) : F = F
La restriccion de esta correspondencia nos permite identicar tambien las supercies
de Klein compactas con las supercies de Riemann simetricas compactas.
25
3.2. Funciones meromorfas en supercies de Klein.
Denicion 3.16. Sean S una supercie de Klein y / = U
i
,
i

iI
un atlas dianaltico.
Una funcion meromorfa sobre S relativa a / es una familia de aplicaciones f
A
= f
i
:
U
i


C
iI
tal que:
1. Cada aplicacion f
i

1
i
:
i
(U
i
)

C es una funcion meromorfa.
2. f
i
(U
i
S) R .
3. Para cada componente conexa V de U
i
U
j
se tiene:
f
i
[
V
=
_
_
_
f
j
[
V
si
i

1
j
es analtica
f
j
[
V
si
i

1
j
es antianaltica
Observaciones 3.17.
(i) El conjunto /
A
(S) de funciones meromorfas sobre S relativas a / es una extension
de cuerpos de R con grado de trascendencia 1. Se prueba facilmente que si / y B son dos
atlas dianalticos que denen S, entonces /
A
(S) y /
B
(S) son cuerpos R-isomorfos.
As pues llamaremos a cualquiera de estos cuerpos el cuerpo de funciones meromorfas de
S que sera denotado con /(S).
(ii) /(S) contiene una copia de C si y solo si S es una supercie de Riemann. Ademas,
/(S) es un cuerpo formalmente real (esto es, un cuerpo en el cual 1 no es suma de
cuadrados) si y solo si S es vaco.
(iii) Sea S una supercie de Klein orientable y sin borde. Los conjuntos de funciones
meromorfas sobre S, vista como supercie de Riemann y como supercie de Klein, son
cuerpos isomorfos, por tanto los identicaremos y denotaremos ambos con /(S).
Deniciones 3.18.
(i) Sean S una supercie de Klein, (S
c
, , ) su cubierta doble y f una funcion mero-
morfa sobre S
c
. Podemos denir una nueva funcion meromorfa

f sobre S
c
del siguiente
modo:
(

f)(P) = f((P))
Diremos que f es invariante bajo

o simetrica si

f = f. Dado un subconjunto A de
/(S
c
) denotaremos con A

el subconjunto de A formado por las funciones meromorfas

invariantes bajo , esto es,
A

= f A :

f = f
(ii) Sea f = f
i
: U
i


C
iI
una funcion meromorfa de una supercie de Klein S.
El valor de f en un punto no esta bien denido, ya que depende de la carta elegida entre
las que cubren dicho punto. Sin embargo podemos introducir las nociones de cero y polo
de f. Diremos que f tiene un cero (resp. un polo) de orden n en P S si existe i I tal
que P U
i
y f
i

1
i
tiene un cero (resp. un polo) de orden n en
i
(P). Es inmediato
comprobar que estas deniciones no dependen de la carta elegida.
26
Observacion 3.19. La multiplicidad del morsmo

f en un punto P S
c
es la misma
que la de f en (P).
Demostracion. Sea c :

C

C el morsmo denido como c(z) = z para cada z C y
c() = . Entonces, por denicion, podemos escribir

f = c f . Las aplicaciones
y c son automorsmos de S
c
y

C respectivamente y, por tanto, morsmos de grado 1,
as que tienen multiplicidad 1 en todos los puntos de su dominio. Por la Proposicion 3.12,
para cada P S
c
se tiene que
e

f
(P) = e
c
(f((P))) e
f
((P)) e

(P) = e
f
((P))
Construccion 3.20. Sea la compacticacion mediante un punto de C
+
(vease 3.4).
Sean S una supercie de Klein y f = f
i
: U
i


C
iI
una funcion meromorfa de S. A
partir de f se construye un morsmo

f : S del siguiente modo: si f tiene un polo en
P S, denimos

f(P) = ; en otro caso, elegimos un dominio de carta U
j
que contenga
a P y denimos

f(P) = a + [b[i, donde f
j
(P) = a + bi. La denicion de esta funcion no
depende de la carta elegida. Ademas, se cumplen las siguientes propiedades:
1. Si f y g son funciones meromorfas no constantes tales que f ,= g, entonces

f ,= g.
2. El orden de una funcion meromorfa f en un punto P y el ndice de ramicacion del
morsmo

f en P coinciden.
La siguiente Proposicion se deduce de los resultados A.5 y A.8 en el Apendice de [8].
Proposicion 3.21. Sean S una supercie de Klein y (S
c
, , ) su cubierta doble. Entonces
existe un isomorsmo de espacios vectoriales reales

: /(S) /(S
c
)

. Este iso-
morsmo cumple la siguiente propiedad: si f es una funcion meromorfa sobre S, entonces
el morsmo

(f) asociado a

(f) es

f .
A lo largo del resto de la seccion, S denotar a una supercie de Klein compacta de
genero algebraico p 2 con cubierta doble (S
c
, , ) (estamos suponiendo, por tanto,
que S no es una supercie de Riemann). Necesitamos usar el lenguaje de divisores en
supercies de Klein. Las deniciones basicas son, formalmente, las mismas que las dadas
en 2.1.
Para divisores en una supercie de Klein S se cumplen los enunciados analogos de las
Observaciones 2.2 y 2.4, pero con dos salvedades:
(i) Los espacios L
S
(D) son subespacios vectoriales de /(S) y, por tanto, espacios
vectoriales sobre R, pero no sobre C.
(ii) Si D
j
es una sucesion de divisores construida como en el Teorema de los gaps the
Noether (2.3), tambien se cumple que L(D
j1
) L(D
j
). Sin embargo, si el contenido es
27
estricto, la diferencia de dimensiones de los dos subespacios no tiene por que ser 1. De
hecho, como probaremos mas adelante, si P S S y D
j
= j P entonces
dim
R
L
S
(D
j
) dim
R
L
S
(D
j1
) = 2
si j > p , donde p es el genero algebraico de S.
Tambien podemos dar una Denicion analoga a la 2.5 y, a partir de ella, establecer
las deniciones de gap y no-gap en un punto de una supercie de Klein. Hacemos esto a
continuacion.
Denicion 3.22. Sea P S y consideremos la sucesion de divisores D
j
= j P para cada
j 0. Para una funcion meromorfa f /(S) y un entero positivo j N son equivalentes:
1. f L(D
j
) L(D
j1
)
2. f tiene un unico polo en R, que es P, y ese unico polo es de orden j
Si una funcion meromorfa f cumple las condiciones anteriores diremos que f es una funcion
en j(P). Si existe una funcion en j(P) diremos que j es un no-gap en P; en caso contrario
diremos que j es un gap en P.
As pues la sucesion de gaps en un punto P S esta determinada por los espacios
L(D
j
). Concretamente, las siguientes armaciones son equivalentes:
1. j es un no-gap en P
2. a
j
(P) := dim
R
L
S
(D
j
) dim
R
L
S
(D
j1
) ,= 0
Para estudiar las sucesiones de gaps en los puntos de una supercie de Klein estable-
ceremos relaciones entre los espacios L
S
(D) y ciertos espacios de funciones meromorfas
asociados a divisores en la cubierta doble S
c
.
Denicion 3.23. Dado un divisor D =

PS
n
P
P en S denimos el divisor asociado a
D como

D :=

QS
c
n
(Q)
Q
que es un divisor en S
c
.
Los tres siguientes resultados aparecen sin demostrar en [45]. Seran enunciados como
lemas y se incorporaran demostraciones.
Lema 3.24. Sea D un divisor en S. Entonces la restriccion de la aplicacion

al subes-
pacio vectorial L
S
(D) es un R-isomorsmo sobre el subespacio vectorial L
S
c
(

D)

.
28
Demostracion. Sea f una funcion meromorfa con un cero o un polo de orden n en P S.
Como se armo en la Construction 3.20, el morsmo

f : S asociado a f tiene orden
n en P y lo mismo le sucede a

f =

(f) en cada punto de

1
(P) (por la Proposicion
3.12, teniendo en cuenta que no es ramicado en ning un punto de S
c
). Por tanto,

(f)
tiene orden n en cada punto de
1
(P).
Esto prueba, por denicion de

D, que si f es una funcion meromorfa en L
S
(D), entonces

(f) esta en L
S
c
(

D)

. Al mismo tiempo, tambien implica que si f no esta en L

S
(D),
entonces

(f) no esta en L
S
c
(

D)

. Por lo tanto

(L
S
(D)) = L
S
c
(

D)

.
Lema 3.25. Sean V un espacio vectorial de dimension nita sobre C y : V V una
aplicacion tal que
2
= Id y
(v +w) = (v) +(w) para cada v, w V
(v) = (v) para cada v V, C
Entonces el espacio vectorial real V

= v V : (v) = v cumple que dim

R
V

= dim
C
V .
Demostracion. Sea B = u
1
, . . . , u
n
una base de V

sobre R. Probemos que B genera V

sobre C. Sea v V . Como los vectores v
1
= v + (v) y v
2
= i(v (v)) estan en V

,
deducimos que:
v =
1
2
(v
1
iv
2
) =
1
2
(
n

j=1

j
u
j
i
n

j=1

j
u
j
) =
n

j=1

j
i
j
2
u
j
con
j
,
j
R.
Veamos que B es linealmente independiente sobre C. Si

n
j=1

j
u
j
= 0 con
j
C,
entonces 0 = (

n
j=1

j
u
j
) =

n
j=1

j
u
j
. Si sumamos las dos igualdades precedentes,
obtenemos

n
j=1
(
j
+
j
)u
j
= 0. Como
j
+
j
R y B es linealmente independiente
sobre R, concluimos que
j
+
j
= 0 para cada 1 j n y, por tanto,
j
= i
j
con

j
R. As pues 0 = i

n
j=1

j
u
j
=

n
j=1

j
u
j
lo cual implica que
j
= 0 y, por tanto,

j
= 0 para cada 1 j n.
Lema 3.26. Sea

: /(S
c
) /(S
c
) la aplicacion denida en 3.18 y sea D un divisor
en S. Entonces

(L
S
c
(

D)) L
S
c
(

D).
Demostracion. Sea f L
S
c
(

D). Por la Observacion 3.19 se tiene que si f tiene multipli-

cidad j en un punto Q S
c
, entonces

f tiene multiplicidad j en (Q). Por tanto, para

cada Q S
c
, se tiene
(

f)(Q) = (f)((Q))

D((Q)) =

D(Q)
Luego

f pertenece a L
S
c
(

D).
29
Como consecuencia inmediata de los tres Lemas precedentes, teniendo en cuenta que la
aplicacion

: L
S
c
(

D) L
S
c
(

D) cumple las hipotesis de 3.25, se obtienen las siguientes

igualdades de dimensiones:
Proposicion 3.27. Sea D un divisor en S. Entonces
dim
R
L
S
(D) = dim
R
L
S
c
(

D)

= dim
C
L
S
c
(

D)
Un problema de interes consiste en comparar las sucesiones de gaps en un punto Q S
c
y su proyeccion (Q) S. En la siguiente Proposicion esto se resuelve en el caso en que
Q
1
(S).
Proposicion 3.28. Sean P S y Q =
1
(P) S
c
. Sea j 1 un entero positivo.
Entonces j es un gap en P si y solo si j es un gap en Q.
Demostracion. El entero j es un gap en P si y solo si
a
j
(P) = dim
R
L
S
(D
j
) dim
R
L
S
(D
j1
) = 0
Por la Proposicion 3.27, a
j
(P) = dim
C
L
S
c
(

D
j
) dim
C
L
S
c
(

D
j1
). Como
1
(P) = Q,
los divisores asociados a los D
j
tienen la forma

D
j
= j Q. Por tanto a
j
(P) = dim
C
L
S
c
(j Q)
dim
C
L
S
c
((j 1) Q), que es cero si y solo si j es un gap en Q.
Observaciones 3.29.
(i) Como consecuencia inmediata de la Proposicion 3.28 se obtiene que el conjunto de
no-gaps en un punto P S tiene estructura de semigrupo aditivo, ya que coincide con
el conjunto de no-gaps en un punto de una supercie de Riemann (vease la Observacion
2.9 (i)).
(ii) De la demostracion anterior y de la Observacion 2.4 se deduce que a
j
(P) 0, 1
si P S.
La situacion es mas complicada cuando P SS, porque la bra
1
(P) = Q
1
, Q
2

tiene dos elementos y los divisores asociados a los D

j
toman la forma

D
j
= jQ
1
+ jQ
2
.
A lo largo del resto de la seccion nos referiremos a este ultimo caso y emplearemos la
notacion que acabamos de introducir.
Notacion 3.30. Para poder aplicar el Teorema de los gaps de Noether (2.3) y obtener
informacion sobre la sucesion a
j
(P) denimos una nueva sucesion de divisores en S
c
:
1. E
0
:= 0.
2. E
j
:= E
j1
+Q
1
si j es impar.
3. E
j
:= E
j1
+Q
2
if j es par.
30
Sea b
j
(P) := dim
C
L
S
c
(E
j
) dim
C
L
S
c
(E
j1
). Por la Observacion 2.4, b
j
0, 1 para
cada j 1. Por denicion, E
2j
=

D
j
para cada j 0. Por lo tanto, para cada j 0 se
cumple la igualdad
a
j
(P) = dim
R
L
S
(D
j
) dim
R
L
S
(D
j1
) = b
2j
(P) +b
2j1
(P)
que implica que a
j
(P) 0, 1, 2.
Proposicion 3.31. Existen p n umeros enteros (donde p es el genero algebraico de S)
1 =
1
<
2
< . . . <
p
< 2p tales que:
b
j
(P) = 0 j
1
, . . . ,
p

En particular, a
j
(P) = 2 si j > p y a
p
(P) ,= 0.
Demostracion. Basta con aplicar el Teorema de los gaps de Noether (2.3) a la supercie
de Riemann S
c
tomando como sucesion de divisores E
j

j0
.
En la siguiente Proposicion se establecen algunas restricciones para los valores de la
sucesion b
j
(P).
Proposicion 3.32. Sea P S S. Entonces:
(i) Si b
2j1
(P) = 1 entonces b
2j
(P) = 1 y por tanto a
j
(P) = 2. En consecuencia las
sucesiones a
j
(P)
j1
y b
j
(P)
j1
se determinan mutuamente.
(ii) El conjunto de no-gaps en P tiene estructura de semigrupo aditivo. En otros termi-
nos, si a
j
(P), a
k
(P) ,= 0 entonces a
j+k
(P) ,= 0.
Demostracion. Por una de las igualdades de la Proposicion 3.27 se tiene que
a
j
(P) = dim
R
L
S
c
(

D
j
)

dim
R
L
S
c
(

D
j1
)

Recordemos que
1
(P) consta de 2 puntos que denotamos con Q
1
y Q
2
; por tanto,

D
j
= jQ
1
+jQ
2
.
Si a
j
(P) ,= 0 elegimos f
j
L
S
c
(

D
j
)

L
S
c
(

D
j1
)

. Entonces f
j
ha de tener un polo
de orden j en Q
1
o en Q
2
. Pero como Q
2
= (Q
1
) y f
j
es simetrica, de hecho f
j
tiene un
polo de orden j tanto en Q
1
como en Q
2
(por la Observacion 3.19).
Supongamos ahora que b
2j1
(P) = 1; entonces a
j
(P) ,= 0. La funcion f
j
esta en la
diferencia L
S
c
(E
2j
) L
S
c
(E
2j1
), as que b
2j
(P) = 1. Con esto queda probado (i).
Por otra parte, si a
j
(P), a
k
(P) ,= 0, el producto f
j
f
k
es una funcion meromorfa simetri-
ca con polos de orden j+k en Q
1
y Q
2
(y sin polos en el resto de S
c
), por tanto a
j+k
(P) ,= 0;
esto prueba (ii).
A continuacion se obtiene informacion sobre la sucesion de gaps en un punto P a partir
de las sucesiones de gaps en Q
1
y Q
2
= (Q
1
) (que, como se prueba, son coincidentes).
31
Observaciones 3.33.
(i) Las sucesiones de gaps en Q
1
y Q
2
coinciden. En particular, Q
1
es un punto de
Weierstrass de S
c
si y solo si lo es Q
2
.
(ii) Si j es un no-gap en Q
1
entonces j es un no-gap en P. Ademas a
j
(P) = 2.
Demostracion.
(i) Sea f una funcion meromorfa en j(Q
1
). Entonces

f es una funcion meromorfa

en j(Q
2
) (por la Observacion 3.19). Por tanto si j es un no-gap en Q
1
, tambien lo es en
Q
2
. Cambiando Q
1
por Q
2
se obtiene la armacion recproca.
(ii) Si j es un no-gap en Q
1
, existe una funcion meromorfa f en j(Q
1
). Esta funcion
cumple que f L
S
c
(E
2j1
) L
S
c
(E
2j2
), as que b
2j1
(P) = 1 y, por la Proposicion 3.32,
a
j
(P) = 2 (y, por tanto, j es un no-gap en P).
3.3. Supercies de Klein hiperelpticas.
Denicion 3.34. Se dice que una supercie de Riemann compacta R de genero p 2 es
hiperelptica si existe una funcion meromorfa f : R

C de grado 2. Diremos que una
supercie de Klein S es hiperelptica si lo es su cubierta doble S
c
.
Estamos interesados en estudiar las sucesiones de gaps en los puntos de una super-
cie de Klein hiperelptica. A continuacion enumeramos algunas propiedades basicas de
las supercies de Riemann hiperelpticas que seran utiles para este objetivo. Se pueden
encontrar demostradas en [20].
Proposicion 3.35. Sea R una supercie de Riemann hiperelptica. La funcion meromorfa
f : R

C de grado 2 es unica salvo automorsmos de

C, es decir, si g : R

C es otra
funcion meromorfa de grado 2 entonces existe una transformacion de Mobius T :

C

C
tal que g = T f.
Proposicion 3.36. Sea R una supercie de Riemann compacta de genero p 2 y sea W
el conjunto de puntos de Weierstrass de R. Las siguientes armaciones son equivalentes:
1. R es hiperelptica.
2. Existe una involucion analtica h : R R que tiene exactamente 2p + 2 puntos
jos.
3. [W[ = 2p + 2.
4. Existe P W tal que (P) = 1, 3, 5, . . . , 2p 1.
5. Para cada P W se tiene que (P) = 1, 3, 5, . . . , 2p 1.
32
Corolario 3.37. Toda supercie de Riemann compacta de genero 2 es hiperelptica.
Demostracion. Del Teorema de los gaps de Weierstrass (2.6) se deduce que las unicas
sucesiones de gaps posibles en un punto de una supercie de Riemann de genero 2 son
1, 2 y 1, 3. Por tanto, en cada punto de Weierstrass de la supercie la sucesion de
gaps sera 1, 3. De la equivalencia entre 1 y 5 de la Proposicion anterior se sigue que la
supercie es hiperelptica.
Denicion 3.38. El automorsmo h : R R de la Proposicion 3.36 es la unica involu-
cion analtica de R con exactamente 2p + 2 puntos jos. Recibe el nombre de involucion
hiperelptica de R. La involucion hiperelptica conmuta con todos los automorsmos de R
(vease [8, pag. 160]).
Observacion 3.39. Sea R una supercie de Riemann hiperelptica y sea f /(R) una
funcion meromorfa de grado 2 cualquiera. Entonces los puntos de ramicacion de f en R
son exactamente los 2p + 2 puntos de Weierstrass de R. Tambien coincide el conjunto de
puntos de Weierstrass de R con el conjunto de puntos jos de la involucion antianaltica
h. Dado un punto z

C que no es punto de ramicacion de f, la aplicacion h intercambia
los dos puntos que forman la bra f
1
(z).
Introducimos ahora el modelo plano afn de una supercie de Riemann hiperelptica
R, que consiste en una curva en C
2
, denida como el conjunto de ceros de un polinomio en
dos variables, junto con una compacticacion suya que es isomorfa a R. Una descripcion
detallada de este modelo se puede encontrar en el Captulo III de [42].
Construccion 3.40. Para nosotros, una curva afn sera el conjunto de ceros en C
2
de un
polinomio no constante F(x, y) C[x, y]. Diremos que una curva afn es lisa si se puede
encontrar un polinomio F que la dena de manera que en cada punto de la curva alguna
de las dos derivadas parciales de F es distinta de cero. Si el polinomio F es irreducible la
curva es conexa. Una curva afn lisa y conexa tiene estructura de supercie de Riemann,
con cartas dadas por el Teorema de la funcion implcita.
Sea G(x) un polinomio monico de grado 2p+1+ donde 0, 1 y p 2. Supongamos
que todas las races de G son simples. Sea X la curva plana denida por la ecuacion
y
2
= G(x), que es una supercie de Riemann no compacta. Pegando X y la curva afn
denida por w
2
= z
2g+2
G(1/z) a lo largo de los conjuntos x ,= 0 y z ,= 0 (vease [42]
III.1) se obtiene una supercie de Riemann compacta Z de genero p.
Podemos identicar Z con la curva X junto con algunos puntos a nadidos en el innito:
un unico punto, que denotaremos con , si = 0; y dos puntos, que denotaremos con
1
e
2
, si = 1.
Sea f : Z

C la aplicacion que transforma (x, y) x y los puntos del innito en
. Se cumple que f es una funcion meromorfa de grado 2; por tanto Z es hiperelptica.
Por otro lado, toda supercie de Riemann hiperelptica R es isomorfa a una supercie Z
construida con el procedimiento que hemos descrito a partir de una curva plana X. La
curva X recibe el nombre de modelo plano afn de R.
33
La aplicacion h(x, y) = (x, y) extendida a Z por h() = (si = 0) o por h(
1
) =

2
y h(
2
) =
1
(si = 1) es la involucion hiperelptica de Z. Los puntos de la forma
(x, 0) donde x es una raz de G (junto con si G tiene grado impar) son los 2p+2 puntos
jos de h, esto es, los puntos de Weierstrass de Z.
Sean S una supercie de Klein hiperelptica de genero p 2 y (S
c
, , ) su cubierta
doble, tambien hiperelptica por denicion. Es posible elegir un modelo afn plano para S
c
de manera que la involucion antianaltica tenga una expresion sencilla en las variables
x e y. Esto se detalla en la siguiente Proposicion, que se puede encontrar demostrada en
[14].
Proposicion 3.41. Sea S una supercie de Klein hiperelptica con cubierta doble (S
c
, , ).
Entonces (S
c
, ) es isomorfa, como supercie de Riemann simetrica, a (R,
R
) donde R
es una supercie de Riemann hiperelptica con modelo afn plano y
2
= G(x) de manera
que G y
R
cumplen una y solo una de las siguientes condiciones:
1. G es un polinomio monico real (es decir, con coeentes reales) y
R
(x, y) = (x, y).
2. G es un polinomio monico real sin races reales y
R
(x, y) = (x, y).
3. G es un polinomio monico y
R
(x, y) = (1/x, (x, y)) para cierta funcion racional
.
Dos supercies de Riemann simetricas (R
i
,
R
i
) y (R
j
,
R
j
) que satisfacen las condiciones
i y j anteriores, respectivamente, con i, j 1, 2, 3, i ,= j, no son isomorfas.
El siguiente resultado fue probado en [26]; la formulacion que empleamos se puede
encontrar en [7]. Denotaremos con [x] la parte entera de x y con gr G el grado del polinomio
G.
Lema 3.42 (Lema de clasicacion topologica). Sea S una supercie de Klein hiper-
elptica. Sea (p, k, ) la terna de enteros positivos descrita en 3.5 que determina el tipo
topologico de S. En cada uno de los tres casos descritos en 3.41 el tipo topologico de S
viene dado por:
1. p = [(gr G1)/2]. Sea d el n umero de races reales de G.
a) k = p + 1 y = 2 si d = gr G.
b) k = (2p + 2 gr G+d)/2 y = 1 si 0 < d < gr G.
c) k = 1 y = 2 si d = 0 y p es par.
d) k = 2 y = 2 si d = 0 y p es impar.
2. p = (gr G2)/2, k = 0 y = 1.
3. p = [(gr G1)/2] impar, k = 0 y = 1.
34
Observacion 3.43. En [13, paginas 38-39 y 47] se demuestra que toda supercie del
primero de los tipos anteriores es isomorfa tanto a una que esta denida por un polinomio
G de grado par como a una que viene dada por un polinomio G de grado impar.
Es conocido que la esfera de Riemann es la unica supercie de Riemann que admite
funciones meromorfas de grado 1 y, por tanto, con un unico polo en

C, el cual tiene orden
1. Si una supercie de Riemann de genero g 2 admite una funcion meromorfa de grado
2, entonces es, por denicion, hiperelptica y para cada punto de Weierstrass P existe una
funcion meromorfa en 2(P).
En el caso de una supercie de Klein S de genero algebraico p 2, la Proposcion
3.31 no excluye la posibilidad de que haya alg un punto P en el interior de S tal que
exista una funcion meromorfa f en 1(P). De hecho, esto ocurre si y solo si b
2
(P) = 1.
Supongamos que existe dicha funcion f y sea

f : S el morsmo asociado a f. Es
conveniente destacar que, a diferencia de lo que sucedera para una funcion meromorfa
sobre una supercie de Riemann, el morsmo

f no tiene grado 1. Esto se explica porque,
a pesar de que

f
1
() = P y

f tiene multiplicidad 1 en P, el grado relativo de

f en P
es 2 (vease la Proposicion 3.12), ya que P / S y . Por tanto,

f es un morsmo
de grado 2.
Denicion 3.44. Sea n un entero positivo y S una supercie de Klein compacta. De-
notaremos con G
n
(S) el conjunto de puntos P S tales que n es el primer no-gap en
P.
Sea S una supercie de Klein compacta de genero algebraico p 2 y con cubierta
doble (S
c
, , ). Estamos interesados en estudiar el conjunto G
1
(S), formado por los puntos
P S que admiten una funcion meromorfa en 1(P). Por la Proposicion 3.28, no hay puntos
de S en G
1
(S), as que, en lo que sigue, nos preocuparemos solo de puntos interiores de
S.
Observacion 3.45. Sea P S S y sean Q
1
, Q
2
S
c
tales que
1
(P) = Q
1
, Q
2
.
Las siguientes armaciones son equivalentes:
1. P G
1
(S).
2. Existe una funcion meromorfa f sobre S
c
con polos de orden 1 en Q
1
y Q
2
y sin
polos en el resto de puntos de S
c
.
Demostracion. Por denicion, P G
1
(S) si y solo si a
1
(P) ,= 0. Como
a
1
(P) = dim
C
L
S
c
(Q
1
+Q
2
) dim
C
L
S
c
(0)
se deduce que P G
1
(S) si y solo si existe una funcion meromorfa f no constante en
L
S
c
(Q
1
+ Q
2
); una funcion f en ese espacio no puede tener un unico polo de orden 1,
porque S
c
tiene genero p > 0, por tanto f ha de tener polos de orden 1 en Q
1
y Q
2
.
35
Proposicion 3.46. Si G
1
(S) es no vaco entonces S es hiperelptica.
Demostracion. Sea P G
1
(S). Por la Observacion precedente, existe f /(S
c
) con
polos de orden 1 en Q
1
y Q
2
y sin polos en los demas puntos de S
c
. Entonces f
1
()
tiene dos elementos, contando multiplicidades y, por tanto, f tiene grado 2. As pues S
c
es hiperelptica y, por denicion, tambien lo es S.
En la siguiente Proposicion caracterizamos el conjunto G
1
(S) mediante las dos involu-
ciones (hiperelptica y antianaltica) de la cubierta doble S
c
:
Proposicion 3.47. Sean S una supercie de Klein hiperelptica, h : S
c
S
c
la in-
volucion hiperelptica de su cubierta doble (S
c
, , ), P S S y
1
(P) = Q
1
, Q
2
.
Entonces
P G
1
(S) h(Q
1
) = Q
2
= (Q
1
)
Demostracion. Nos apoyaremos en la caracterizacion de G
1
(S) dada en la Observacion
3.45.
] Sea f una funcion meromorfa sobre S
c
de grado 2. Como h(Q
1
) = Q
2
, se tiene que
f(Q
1
) = f(Q
2
) = z

C. Sea m una transformacion de Mobius de

C (vease 1.6) tal que
m(z) = . Por tener m grado 1, la funcion meromorfa g = m f tiene grado 2 (por la
Proposicion 3.12); g tiene polos en Q
1
y Q
2
, por tanto ha de tener un polo de orden 1 en
cada uno de estos puntos y no puede tener polos en el resto de puntos de S
c
.
] Sea f una funcion meromorfa sobre S
c
con polos de orden 1 en Q
1
y Q
2
y sin polos
en el resto de puntos de S
c
. Esta funcion f tiene grado 2, luego la involucion h intercambia
los dos puntos de la bra f
1
() = Q
1
, Q
2
, es decir, h(Q
1
) = Q
2
.
Observacion 3.48. Si la cubierta doble (S
c
, , ) es hiperelptica y h : S
c
S
c
es la
involucion hiperelptica, entonces el morsmo = h : S
c
S
c
es antianaltico, por
ser composicion de un morsmo analtico y uno antianaltico; ademas tiene orden 2,
porque h conmuta con todos los elementos de Aut

(S
c
). Por tanto (S
c
, ) tambien es una
supercie de Riemann simetrica.
En la Proposicion previa hemos probado que
1
(G
1
(S)) esta formado por los puntos
Q S
c
que no son puntos jos de y tales que (Q) = h (Q) = Q, es decir, por los
puntos de S
c
que yacen sobre el borde de S
c
/ ) pero no sobre el borde de S = S
c
/ ).
A continuacion, a partir del modelo afn plano de la cubierta doble de S (vease 3.41),
proporcionamos una descripcion explcita del conjunto G
1
(S).
Proposicion 3.49. Sean S una supercie de Klein hiperelptica y (S
c
, , ) su cubier-
ta doble. Sea y
2
= F(x) un modelo plano afn de S
c
que cumpla alguna de las tres
condiciones de la Proposicion 3.41.
1. Si F es un polinomio monico real (es decir, con coeentes reales) y
R
(x, y) = (x, y)
entonces
36
G
1
(S) = (x, y) : (x, y) S
c
, x R, F(x) < 0.
2. Si F es un polinomio monico real sin races reales y
R
(x, y) = (x, y), entonces
G
1
(S) = (x, y) : (x, y) S
c
, x R (
1
) = (
2
).
3. Si F es un polinomio monico y
R
(x, y) = (1/x, (x, y)), donde es cierta funcion
racional, entonces
G
1
(S) es vaco.
Demostracion. Gracias a la caracterizacion de G
1
(S) proporcionada en la Proposicion 3.47,
basta con encontrar los puntos Q S
c
tales que h(Q) = (Q) y (Q) ,= Q. Recordemos
que h(x, y) = (x, y).
(1) (x, y) = (x, y). Entonces x ha de ser real e y = i donde R. Los puntos jos
de son los puntos (x, y) con las dos coordenadas reales, junto con los puntos del innito.
Al ser y
2
= F(x), los puntos que estamos buscando son aquellos que tienen la coordenada
x real y tal que F(x) < 0 (lo que implica que y = i / R).
(2) (x, y) = (x, y). Estos son los puntos (x, y) con x, y R. Como F es monico y
no tiene races reales, F(x) > 0 para cada x R, luego los puntos (x, y) cuya coordenada
x es real tienen tambien coordenada y real. Todos estos puntos cumplen las condiciones
mencionadas porque, en este caso, no tiene puntos jos. Por otro lado, los dos puntos
del innito son intercambiados tanto por como por h.
(3) x = 1/x. Cuando x ,= 0, esta ecuacion equivale a [x[
2
= xx = 1, que no tiene
solucion. Las imagenes por de los puntos de la forma (0, y) son los puntos del innito y
viceversa. Por tanto G
1
(S) es vaco.
Observacion 3.50. Notese que en el primer caso de la Proposicion 3.49, G
1
(S) es vaco
si y solo si F no tiene races reales.
Proposicion 3.51. Sea S una supercie de Klein hiperelptica con cubierta doble (S
c
, , )
y sea y
2
= F(x) un modelo plano afn de S
c
que cumpla alguna de las tres condiciones
de la Proposici on 3.41. Supongamos que G
1
(S) es no vaco. Entonces G
1
(S) es un subes-
pacio semialgebraico de S (en el sentido de Delfs-Knebusch) de dimension 1. Ademas,
dependiendo de la expresion de , se tiene:
1. Si F es un polinomio monico real con 2k > 0 races reales (podemos suponer que F
tiene grado par por la Observacion 3.43) y
R
(x, y) = (x, y) entonces
G
1
(S) es un subconjunto no compacto de S que tiene k componentes conexas.
2. Si F es un polinomio monico real sin races reales y
R
(x, y) = (x, y) entonces
G
1
(S) es un subconjunto compacto y conexo de S.
37
Demostracion.
(1) Ya que los puntos del innito no estan en G
1
(S) podemos trabajar con el subcon-
junto abierto de S
c
consistente en la parte afn (x, y) C
2
: y
2
= F(x) de S
c
, cuya
topologa es la misma que la que hereda como subespacio de C
2
.
Sean
1
< . . . <
2k
las races reales de F. Los valores x R tales que F(x) < 0
son exactamente los n umeros reales en la union de los k intervalos abiertos (
1
,
2
)
(
2k1
,
2k
). Por tanto el conjunto
1
(G
1
(S)) S
c
esta formado por las 2k curvas
parametrizadas por
c
+
j
: (
2j1
,
2j
) S
c
x (x, i
_
F(x))
c

j
: (
2j1
,
2j
) S
c
x (x, i
_
F(x))
donde 1 j k.
Como transforma im(c
+
j
) en im(c

j
), G
1
(S) se puede escribir como la union disjunta
G
1
(S) =
k
_
j=1
im( c
+
j
)
Cada uno de estos subconjuntos im( c
+
j
) es conexo, por ser la imagen por una
aplicacion continua del intervalo (
2j1
,
2j
). Ademas im( c
+
j
) esta contenido en la
proyeccion por del cilindro con base (
2j1
,
2j
) y es por tanto un subconjunto abierto
de S. As pues los k conjuntos im( c
+
j
) son las componentes conexas de G
1
(S).
Por otra parte, S es un espacio semialgebraico en el sentido de Delfs-Knebusch (veanse
[17] y [18]), ya que la parte afn de S
c
es un subconjunto algebraico de R
4
de dimension
2 y la aplicacion : S
c
S = S
c
/ ) tiene bras nitas, por lo que basta aplicar el
Corolario 1.6 de [5]. Veamos que tambien G
1
(S) es semialgebraico. Como
G
1
(S) =
_
_
k
_
j=1
imc
+
j
_
_
y es aplicacion semialgebraica, basta probar que lo es la union

k
j=1
imc
+
j
. Esto es obvio
ya que F es un polinomio. Ademas dimG
1
(S) = dim (
1
,
2
) = 1.
Finalmente, G
1
(S) no es compacto, ya que no es cerrado en S porque los puntos
(
j
, 0) estan en la clausura de G
1
(S) pero no en G
1
(S).
(2) Sea := (x, y) S
c
: x, y R
1
,
2
. G
1
(S) es semialgebraico de
dimension 1 por ser G
1
(S) = (). Recordemos que S
c
se construye pegando las curvas
C
1
= y
2
= F(x) y C
2
= w
2
= z
2p+2
F(1/z) a lo largo de los subconjuntos (x, y)
C
1
: x ,= 0 y (z, w) C
2
: z ,= 0 mediante cierta aplicacion continua y sobreyectiva
38
: C
1
C
2
S
c
. As pues es posible describir como el subconjunto de S
c
que se
obtiene al pegar los subconjuntos compactos K
1
= (x, y) C
1
: x, y R, [x[ 1 y
K
2
= (z, w) C
2
: z, w R, [w[ 1, es decir, = (K
1
K
2
). Por lo tanto es
compacto luego tambien lo es G
1
(S), por ser continua.
Por no tener F races reales, los conjuntos K
+
1
= (x, y) K
1
: x > 0 y K
+
2
=
(z, w) K
2
: w > 0 son conexos, as que tambien lo es (K
+
1
K
+
2
) S
c
. Como
(x, y) = (x, y) = (x, y) para x, y R, se tiene que G
1
(S) es la imagen por de
(K
+
1
K
+
2
), luego G
1
(S) es conexo.
La Proposicion precedente nos permite emplear el Lema de Clasicacion Topologica
(3.42) para establecer una correspondencia entre el tipo topologico de S y la compacidad y
n umero de componentes conexas de G
1
(S). Sin embargo, la topologa de G
1
(S) no permite
determinar completamente el tipo topologico de S, ya que G
1
(S) es vaco en dos casos
distintos:
(i) S no es orientable y no tiene borde (caso 3 de la Proposicion 3.49).
(ii) S es orientable con borde y el n umero de componentes conexas de S es mnimo:
uno o dos, seg un la paridad de p (caso 1 de la Proposicion 3.49 cuando F no tiene races
reales).
En el primer caso S consta solo de puntos interiores, luego, por la Proposicion 3.31, p
es un no-gap en cada punto de S, y por tanto G
p+1
(S) es vaco.
En el segundo caso, un punto P S tal que
1
(P) no es punto de Weierstrass de
S
c
cumple que p + 1 es el primer no-gap en P. Por tanto P esta en G
p+1
(S). Como el
conjunto de puntos de Weierstrass de S
c
es nito, concluimos que G
p+1
(S) es no vaco.
Estos dos hechos nos permiten distinguir entre los casos (i) y (ii) por medio del conjunto
G
p+1
(S). Notese que la propiedad que hemos establecido no depende del hecho de que S
sea hiperelptica y es cierta en general:
Observacion 3.52. Sea S una supercie de Klein compacta de genero algebraico p 2 .
Entonces el borde de S es vaco si y solo si G
p+1
(S) es vaco.
Exponemos en la siguiente tabla la correspondencia entre las propiedades de los con-
juntos G
n
(S) y el tipo topologico de S. En la primera columna aparece el n umero k de
componentes conexas de G
1
(S), seguido de la letra c si G
1
(S) es compacto. En la ultima
columna aparece la terna (p, k, ) que determina el tipo topologico de S.
# c.c. de G
1
(S) G
p+1
(S) (p, k, )
k = p + 1 no vaco (p, p + 1, 2)
k 1, . . . , p no vaco (p, k, 1)
k = 1, c vaco (p, 0, 1)
0 no vaco (p, 2, 2) o (p, 1, 2)
0 vaco (p, 0, 1)
39
Al igual que el conjunto de puntos de Weierstrass de una supercie de Riemann, los
conjuntos G
n
(S) tambien son invariantes bajo la accion de automorsmos de S, como
prueba el siguiente resultado.
Proposicion 3.53. Sean S una supercie de Klein compacta de genero p 2, A
Aut

(S) y P S. Entonces a
j
(P) = a
j
(A(P)) para cada j 0. En particular, A(G
n
(S)) =
G
n
(S) para cada n 1.
Demostracion. Sea (S
c
, , ) la cubierta doble de S. Como se establecio en la Observacion
3.15
Aut

(S)

= Aut(S
c
, ) = F Aut(S
c
) : F = F
Sea B el automorsmo de (S
c
, ) inducido por A, es decir B cumple que B = B
y B = A . Sea P

= A(P).
Supongamos en primer lugar que P S. Por ser A un automorsmo de S, P

S.
Sean Q =
1
(P) y Q

=
1
(P

); entonces B(Q) = Q

. Combinando las Proposiciones

2.8 y 3.28 obtenemos
a
j
(P) = 1 j es un no-gap en Q j es un no-gap en Q

a
j
(P

) = 1
para cada j 1. Como los unicos valores posibles de a
j
(P) y a
j
(P

) son 0 y 1, hemos
obtenido el resultado deseado.
Supongamos ahora que P / S. Entonces P

= A(P) tambien es un punto interior

de S. Sean
1
(P) = Q
1
, Q
2
y
1
(P

) = Q

1
, Q

2
. Como B(Q
1
, Q
2
) = Q

1
, Q

2
,
podemos suponer, intercambiando Q
1
y Q
2
si es necesario, que B(Q
j
) = Q

j
para j = 1, 2.
Denotaremos con E
j

j0
y E

j0
las sucesiones de divisores en S
c
construidas a partir
de P y P

de la manera descrita en 3.30.

Si b
j
(P) = 1 entonces existe una funcion meromorfa f que esta en la diferencia
L
S
c
(E
j
) L
S
c
(E
j1
). La multiplicidad de f en Q
j
es la misma que la de f B
1
en
Q

j
para j = 1, 2. Por lo tanto, f B
1
esta en L
S
c
(E

j
) L
S
c
(E

j1
), por lo que b
j
(P

) = 1.
Aplicando este resultado al automorsmo A
1
obtenemos que las sucesiones b
j
(P)
j1
y b
j
(P

)
j1
coinciden. Por tanto las sucesiones a
j
(P)
j1
y a
j
(P

)
j1
tambien coin-
ciden.
Volvamos al caso en que S es una supercie de Klein hiperelptica y supongamos que
S y G
1
(S) no son vacos. Sean (S
c
, , ) la cubierta doble de S y W el conjunto de
puntos de Weierstrass de S
c
. Cada automorsmo A Aut(S) induce una permutacion en
el conjunto (W)S. Como consecuencia de la Proposicion precedente, obtendremos que
la imagen por A de uno cualquiera de los puntos de (W) S determina las imagenes
por A del resto de los puntos del conjunto.
40
Como S es una supercie con borde, es del primero de los tipos descritos en la Proposi-
cion 3.41 y, por la Observacion 3.43, podemos suponer que (S
c
, , ) tiene un modelo plano
afn y
2
= F(x) donde F es un polinomio de grado par (lo que implica que los puntos del
innito de S
c
no son puntos de Weierstrass). Tambien sabemos que G
1
(S) ,= implica
que F tiene alguna raz real, por lo cual hay puntos de Weierstrass en
1
(S); estos
puntos son exactamente los de la forma T
j
= (
j
, 0) S
c
con j 1, . . . , r.
Proposicion 3.54. Sea S una supercie de Klein hiperelptica con borde y supongamos que
G
1
(S) no es vaco. Sean (S
c
, , ) la cubierta doble de S e y
2
= F(x) un modelo plano
afn de S
c
como el descrito en 3.41. Sea A un automorsmo de S. Sean
1
< . . . <
r
las
races reales de F y P
j
= ((
j
, 0)) para cada j 1, . . . , r. Entonces A(P
1
, . . . , P
r
) =
P
1
, . . . , P
r
. Ademas, si k 1, . . . , r, entonces la imagen A(P
k
) determina el resto de
las imagenes A(P
j
).
Demostracion. Sea B el automorsmo de (S
c
, ) inducido por A, es decir B cumple que
B = B y B = A. El conjunto W de puntos de Weierstrass de S
c
es invariante
bajo la accion de automorsmos de S
c
(vease la Proposicion 2.8). Ademas, los puntos
T
j
= (
j
, 0) W son puntos jos de , luego
B(T
j
) = B((T
j
)) = (B(T
j
))
Por tanto B(T
j
) es a la vez punto de Weierstrass y punto jo de , es decir, B(T
j
) = T
k
para alg un k 1, . . . , r. As pues
A(P
j
) = A((T
j
)) = (B(T
j
)) = (T
k
) = P
k
Esto implica que A transforma el conjunto P
1
, . . . , P
r
en s mismo.
A continuacion probaremos la segunda parte del enunciado. En cada componente
conexa de S hay exactamente dos puntos del conjunto (W) S = P
1
, . . . , P
r
. Por
otra parte, dada una componente conexa C del conjunto G
1
(S), tambien hay exactamente
dos puntos de (W) S en la clausura topologica de C en S. Por tanto, cada punto P
k
esta unido a los dos puntos P
k1
y P
k+1
(si alguno de los ndices k 1 o k +1 no esta en
el conjunto 1, . . . , r, nos estaremos reriendo al representante de su clase modulo r en
dicho conjunto), ya que esta en la misma componente conexa de S que uno de ellos y en
la misma componente conexa de la clausura de G
1
(S) que el otro.
Supongamos conocida la imagen A(P
k
) de P
k
por A. El automorsmo A es una apli-
cacion continua y cumple que A(S) = S y A(G
1
(S)) = G
1
(S). Por lo tanto A(P
k1
) y
A(P
k+1
) son los dos unicos puntos de (W) S que estan unidos a A(P
k
), cada uno de
ellos de la misma forma en que P
k1
y P
k+1
lo estaban a P
k
. As pues A(P
k1
) y A(P
k+1
)
quedan determinados por A(P
k
). Repitiendo este proceso obtenemos las imagenes por A
de todos los puntos de (W) S.
Sea S una supercie de Klein hiperelptica de genero algebraico p 2. A continuacion
obtenemos la sucesion a
j
(P)
j1
de diferencias de dimensiones para cada punto P de S.
41
Recordemos que si P es un punto interior de S tambien esta denida la sucesion
b
j
(P)
j1
que a la vez determina y queda determinada por a
j
(P)
j1
; por tanto nos
referiremos a una u otra seg un nos interese.
Ademas, solo son relevantes una cantidad nita de terminos de estas sucesiones, ya
que si P S entonces a
j
(P) = 1 para cada j 2p (por la Proposicion 3.28), mientras
que si P / S entonces a
j
(P) = 2 para cada j > p (por la Proposicion 3.31).
Teorema 3.55. Sea S una supercie de Klein hiperelptica de genero algebraico p 2.
Sean P un punto de S, (S
c
, , ) la cubierta doble de S y W el conjunto de puntos de
Weierstrass de S
c
.
1. P S
a) Si P (W) entonces
a
j
(P) = 0 si j 1, 3, . . . , 2p 1
a
j
(P) = 1 si j 2, 4, . . . , 2p
b) Si P / (W) entonces
a
j
(P) = 0 si j 1, 2, . . . , p
a
j
(P) = 1 si j p + 1, p + 2, . . . , 2p
2. P / S
a) Si P G
1
(S) entonces
a
j
(P) = 1 para cada j 1, 2, . . . , p
b) Si P (W) entonces
1) si p es par
a
j
(P) = 0 si j 1, 3, . . . , p 1
a
j
(P) = 2 si j 2, 4, . . . , p
2) si p es impar
a
j
(P) = 0 si j 1, 3, . . . , p 2
a
j
(P) = 2 si j 2, 4, . . . , p 1
a
p
(P) = 1
c) Si P / G
1
(S) y P / (W) entonces
b
j
(P) = 0 si j 1, 2, . . . , p
b
j
(P) = 1 si j p + 1, p + 2, . . . , 2p
Demostracion. Supongamos que P S y sea Q =
1
(P) S
c
. Por la Proposicion 3.28,
a
j
(P) = 0 si j es un gap en Q y a
j
(P) = 1 en caso contrario. Como S
c
es una supercie
hiperelptica, la sucesion de gaps en Q es (Q) = 1, 3, . . . , 2p 1 si Q es un punto de
Weierstrass de S
c
y (Q) = 1, 2, . . . , p si no lo es. De estos dos hechos se deduce la
primera parte del enunciado.
42
Supongamos a partir de ahora que P S S y sea
1
(P) = Q
1
, Q
2
.
Si P G
1
(S), por denicion, a
1
(P) = 1. Entonces a
j
(P) ,= 0 para j 2, ya que la
sucesion de no-gaps en un punto de S tiene estructura de semigrupo aditivo (Proposicion
3.32). Pero, por la Proposicion 3.31, se tiene que
()
p

j=1
a
j
(P) = p
as que los unicos valores posibles son a
j
(P) = 1 para cada j 1, 2, . . . , p.
Si P (W) entonces Q
1
es un punto de Weierstrass de S
c
y, por tanto, todos los
n umeros naturales pares son no-gaps en Q
1
. Por la Observacion 3.33, a
j
(P) = 2 para cada
j 2 par.
Si p es par, podemos escribir la relacion () de la forma
p =
p/2

j=1
a
2j
(P) +
p/2

j=1
a
2j1
(P) = p +
p/2

j=1
a
2j1
(P)
luego a
j
(P) = 0 si j 1, 3, . . . , p 1.
Si p es impar, tendremos que
p =
(p1)/2

j=1
a
2j
(P) +
(p1)/2

j=1
a
2j1
(P) +a
p
(P) = p 1 +
(p1)/2

j=1
a
2j1
(P) +a
p
(P)
Como a
p
(P) ,= 0 (vease la Proposicion 3.31) los unicos valores posibles para el resto de
los a
j
(P) son a
p
(P) = 1 y a
j
(P) = 0 para cada j 1, 3, . . . , p 2.
Por ultimo, para estudiar el ultimo caso, necesitamos hablar de diferenciales meromor-
fas sobre la supercie de Riemann S
c
. Como referencia se pueden consultar las secciones
II.5, III.4 y III.5 de [20].
Dada una diferencial meromorfa sobre una supercie de Riemann R se dene el
divisor de de forma analoga a como se hace para una funcion meromorfa, esto es,
() =

P es cero de
mult
P
() P

P es polo de
mult
P
() P
Dado un divisor D en R se dene el siguiente espacio vectorial complejo de diferenciales
meromorfas:
(D) = : es una diferencial meromorfa sobre R y () D
En este caso se cumple que si D D

entonces (D) (D

).
43
Supongamos que D
j

j0
es una sucesion de divisores construida como en el enunciado
del Teorema de los gaps de Noether (2.3). Como consecuencia del Teorema de Riemann-
Roch se tiene la igualdad de dimensiones de espacios vectoriales sobre C
dimL(D
j
) dimL(D
j1
) = 1 +dim(D
j
) dim(D
j1
)
De esta igualdad se deduce que
(+) dimL(D
j
) dimL(D
j1
) = 0 dim(D
j1
) dim(D
j
) = 1
Supongamos ahora que P / G
1
(S) y P / (W). La Observacion 3.43 nos permite
suponer que S
c
viene dada por un modelo plano afn y
2
= F(x) donde F es un polinomio
de grado impar. Por lo tanto podemos considerar (vease 3.40) que S
c
es la compacticacion
de este modelo plano mediante un unico punto , que es, ademas, un punto de Weierstrass
de S
c
. As pues 2p 1 es un gap en , por ser S
c
hiperelptica. Pero esto es lo mismo que
dimL(D
2p1
) dimL(D
2p2
) = 0
donde D
j
= j para j 2p 2, 2p 1. Por la equivalencia (+), existe una diferencial
(D
2p2
) (D
2p1
). Por denicion no tiene polos y ha de tener un cero de orden
2p2 en . Ademas, es bien conocido que toda diferencial holomorfa sobre una supercie
de Riemann de genero p tiene exactamente 2p 2 ceros contando multiplicidades (vease,
por ejemplo, el captulo V de [42]). Por lo tanto, es el unico cero de en S
c
.
Consideremos la aplicacion x : S
c


C denida como x(a, b) = a y x() = , que es
una funcion meromorfa sobre S
c
de grado 2. Recordemos que P S(SG
1
(S) (W))
y
1
(P) = Q
1
, Q
2
. Para y enteros positivos denimos las siguientes funciones
meromorfas sobre S
c
f
,
(a, b) = (a x(Q
1
))

(a x(Q
2
))

Teniendo en cuenta que (x, y) = (x, y) y (Q

1
) = Q
2
se obtiene que x(Q
2
) = x(Q
1
). Del
hecho de que P / S y P / G
1
(S) y de las descripciones que se han obtendido de estos
conjuntos se deduce que x(Q
1
) / (R ), luego x(Q
1
) ,= x(Q
2
).
Por otra parte P / (W), as que Q
1
y Q
2
no son puntos de Weierstrass. Por lo tanto
la funcion meromorfa f
j
= x x(Q
j
), que es de grado 2, tiene un cero simple en Q
j
para
j 1, 2; el otro cero de f
j
en S
c
es h(Q
j
) / Q
1
, Q
2
.
En resumen, hemos probado que f
,
es una funcion meromorfa sobre S
c
de grado
2( +) cuyos ceros son Q
1
, h(Q
1
), Q
2
y h(Q
2
); los dos primeros son ceros de orden y
los dos ultimos de orden . Como f
,
no tiene polos en la parte afn de S
c
, ha de tener
un polo de orden 2( +) en .
Dados y enteros positivos, el producto
,
= f
,
es nuevamente una diferencial
meromorfa sobre S
c
, cuyos ceros en la parte afn de S
c
son los mismos y tienen los mismos
ordenes que los de f
,
. Ademas, si + p 1, la diferencial
,
no tiene polos en
y es, por tanto, holomorfa.
44
Sea E
j

j1
la sucesion de divisores en S
c
construida como en 3.30 a partir de Q
1
y
Q
2
. Sea k 0, 1, . . . , p 1; vamos a probar que b
k+1
(P) = 0.
Supongamos primero que k = 2l es par. Entonces la diferencial holomorfa
l,l
tiene
ceros de orden l en Q
1
y Q
2
y por tanto pertence al conjunto (E
k
) (E
k+1
) (recuerdese
que E
k
= l Q
1
+l Q
2
). Si k = 2l +1, entonces la diferencial holomorfa
l+1,l
tiene un cero
de orden l+1 en Q
1
y un cero de orden l en Q
2
, luego pertence al conjunto (E
k
)(E
k+1
)
(en este caso E
k
= (l + 1) Q
1
+l Q
2
).
En ambos casos (E
k
) (E
k+1
) no es vaco, por lo cual
dim(E
k
) dim(E
k+1
) = 1
y la relacion (+) implica que
dimL(E
k+1
) dimL(E
k
) = 0
que, por denicion, es lo mismo que b
k+1
(P) = 0.
Hemos probado pues que b
j
(P) = 0 si j 1, 2, . . . , p; la Proposcion 3.31 asegura que
hay exactamente p n umeros enteros positivos que cumplen esta condicion, luego b
j
(P) = 1
si j p + 1.
Ejemplo 3.56. Sea S
c
la supercie de Klein hiperelptica dada por el modelo plano afn
y
2
= F(x) donde F(x) = (x
2
+ 1)(x
2
+ 4)(x
2
1)(x
2
4). Por ser F de grado 8, S
c
tiene genero 3. Como el grado de F es par, S
c
es isomorfa a la compacticacion de su
modelo plano afn mediante dos puntos en el innito, que denotaremos con
1
e
2
. La
aplicacion h denida por h(x, y) = (x, y), h(
1
) =
2
y h(
2
) =
1
es la involucion
hiperelptica de S
c
. La aplicacion denida por (x, y) = (x, y) y (
j
) =
j
es una
involucion antianaltica de S
c
. El par (S
c
, ) es una supercie de Riemann simetrica del
primero de los tipos descritos en la Proposicion 3.41.
El espacio cociente S = S
c
/ ) es una supercie de Klein. Denotaremos con : S
c

S la proyeccion canonica sobre el cociente. Como se establecio en la Observacion 3.15,
(S
c
, , ) es la cubierta doble de S y, por tanto, S tiene genero algebraico 3.
El polinomio F tiene 4 races reales, 1, 2, as que, por el Lema de clasicacion
topologica (3.42), S no es orientable y tiene borde; ademas el borde de S tiene dos com-
ponentes conexas. El borde de S esta formado por los puntos que son proyeccion por
de los puntos jos de en S
c
, es decir, los puntos de S
c
cuyas dos coordenadas son reales
junto con los puntos del innito. Por tanto
S =
_

_
x,
_
F(x)
_
: x (, 2] [1, 1] [2, )
_

1
,
2

Las dos componentes conexas C

1
y C
2
de S son
C
1
=
_

_
x,
_
F(x)
_
: x (, 2] [2, )
_

1
,
2

C
2
=
_

_
x,
_
F(x)
_
: x [1, 1]
_
45
El conjunto W de puntos de Weierstrass de S
c
esta formado por los puntos de la forma
(x, 0) donde x es una raz del polinomio F. Por tanto
W = (1, 0), (2, 0), (i, 0), (2i, 0)
Podemos separar el conjunto W en dos subconjuntos disjuntos W
1
= (1, 0), (2, 0) y
W
2
= (i, 0), (2i, 0) que cumplen que (W
1
) S y (W
2
) S S.
Vamos a obtener, usando el Teorema precedente, la sucesion a
j
(P) para cada P S.
Como S tiene genero algebraico 3, solo son relevantes los seis primeros terminos de esta
sucesion si P S, y los tres primeros terminos en caso contrario. Denotaremos con
a(P) al conjunto ordenado formado por los terminos de la sucesion, es decir, a(P) =
a
1
(P), a
2
(P), a
3
(P), a
4
(P), a
5
(P), a
6
(P) si P S y a(P) = a
1
(P), a
2
(P), a
3
(P) si
P / S.
Supongamos en primer lugar que P S. El conjunto S (W) coincide con S
(W
1
) y consta de cuatro puntos
S (W) = (1, 0), (2, 0), (1, 0), (2, 0)
Para cada punto P S (W) se cumple que a(P) = 0, 1, 0, 1, 0, 1. Si P S (W)
entonces a(P) = 0, 0, 0, 1, 1, 1.
Supondremos a partir de ahora que P S S. El conjunto de puntos interiores de S
que son proyecciones por de puntos de Weierstrass de S
c
consta de dos puntos, ya que
las parejas de puntos que estan en la misma orbita bajo la accion de tienen la misma
imagen por . En concreto
(S S) (W) = (S S) (W
1
) = (i, 0), (2i, 0)
Para cada uno de estos dos puntos a(P) = 0, 2, 1.
Por la Proposicion 3.49 el conjunto G
1
(S) esta formado por puntos de la forma (x, y)
donde x R y F(x) < 0. Por tanto
G
1
(S) =
_

_
x, i
_
F(x)
_
: x (2, 1)
_

_
x, i
_
F(x)
_
: x (1, 2)
_
Notese que hemos presentado G
1
(S) como union de sus dos componentes conexas. Para
cada P G
1
(S) se tiene que a(P) = 1, 1, 1.
Por ultimo, si P S (S (W) G
1
(S)) entonces a(P) = 0, 1, 2.
46
Captulo 4
Conjuntos invariantes en
supercies de Klein con borde
Es un resultado clasico, probado por Hurwitz en [28], que el orden del grupo de auto-
morsmos Aut(R) de una supercie de Riemann compacta R de genero g 2 esta acotado
superiormente por 84(g 1). En la misma lnea, May probo en [37] que para una supercie
de Klein S, con borde y de genero algebraico p 2, se tiene que [Aut

(S)[ 12(p 1).

La obtencion de cotas del orden de subgrupos distinguidos de Aut (S) bajo cier-
tas condiciones acerca de este grupo o de la supercie S constituye un tema activo de
investigacion y el presente captulo se enmarca en esta lnea de trabajo.
El conjunto de puntos de Weierstrass de una supercie de Riemann R es un ejemplo
de subconjunto invariante bajo la accion del grupo de automorsmos de la supercie. De
forma mas general, dado un grupo G de automorsmos de R, se dice que un subconjunto
B de R es invariante bajo la accion de G si (B) = B para cada G. Los conjuntos
invariantes estan, por tanto, formados por la union de orbitas de puntos de R bajo la
accion de G. Este hecho fue aprovechado por Arakawa [4] y Oikawa [43] para obtener cotas
superiores para el orden del grupo G en funcion del genero g 2 de R y de cardinales de
subconjuntos invariantes nitos de R. En este captulo estudiamos el problema analogo
para una supercie de Klein S, con borde y de genero algebraico p 2. Obtenemos cotas
superiores para el orden de un grupo G de automorsmos de S; dichas cotas dependen
del genero algebraico p de S y de cardinales de subconjuntos nitos de S invariantes
bajo la accion de G. Si G = Aut

(S) y los cardinales de los conjuntos invariantes son

sucientemente peque nos, las cotas obtenidas mejoran la cota de May.
Cada automorsmo de una supercie de Klein S induce una permutacion en el con-
junto (nito) B de componentes conexas del borde de S. Por tanto cada grupo G de
automorsmos de S act ua sobre el conjunto B. Bajo la hipotesis de que esta accion no sea
transitiva, aplicamos las cotas obtenidas anteriormente para obtener nuevas cotas para el
cardinal de G. Concretamente, probamos el siguiente resultado: si el n umero de orbitas de
la accion es mayor que 1, entonces [G[ 4(p 1); si el n umero de orbitas es mayor que 2,
47
entonces [G[ 2(p 1) (con la salvedad, en cada caso, de algunas supercies de generos
bajos). Cabe destacar que estas cotas solo dependen del genero algebraico p de S y que
mejoran la cota obtenida por May en [37] si G = Aut

(S).
Ademas demostramos que todas las cotas obtenidas en este captulo son nas, constru-
yendo, mediante la teora de grupos cristalogracos no eucldeos (grupos NEC), supercies
de genero arbitrariamente grande para las cuales nuestras cotas se alcanzan.
4.1. Algunos resultados previos
Sea S una supercie de Klein compacta y con borde de genero algebraico p 2 y sea G
un grupo de automorsmos de S. Sabemos que G es isomorfo a un grupo de automorsmos
de la cubierta doble de S (vease la Observacion 3.15) y es, por tanto, nito (Teorema 1.14).
Sea Y = S/G la supercie de Klein compacta obtenida como el cociente de S bajo la accion
de G y sea q el genero algebraico de Y . Sea : S Y la proyeccion canonica, que es un
morsmo de supercies de Klein.
Emplearemos la notacion utilizada por May en [37]. Para un punto P S denimos
n
P
=
_
1 si P S
2 si P / S
Con esta notacion el grado relativo d

(P) de en un punto P S (vease la Proposicion

3.12) se puede escribir como el cociente
d

(P) =
n
P
n
(P)
Sean Q
1
, . . . , Q
t
Y los puntos de ramicacion de en Y . Denotaremos con e
j
el
ndice de ramicacion de en un punto cualquiera que pertenezca a
1
(Q
j
) (al igual
que sucede para supercies de Riemann, el ndice de ramicacion es el mismo en todos los
puntos de cada bra de la aplicacion , vease [3, paginas 52-56]); supondremos siempre que
e
1
e
2
e
t
. Por brevedad escribiremos n
j
en lugar de n
Q
j
. La siguiente igualdad es
la expresion obtenida por May en [37] de la formula de ramicacion de Riemann-Hurwitz
para la aplicacion .
()
2p 2
r
= 2q 2 +
t

j=1
n
j
_
1
1
e
j
_
Los dos lemas que siguen tambien fueron probados en [37]. El primero de ellos fue
enunciado originalmente para Y = D, donde D es el disco cerrado unidad del plano
complejo, pero la demostracion que se da en [37] es valida sin imponer ninguna condicion
sobre el cociente Y .
Lema 4.1. Si P S es un punto de ramicacion de , entonces el ndice de ramicacion
de en P es igual a 2.
48
Lema 4.2. Supongamos que Y = D y que Q
k
D para alg un k 1, . . . , t. Entonces
el n umero de bras
1
(Q
j
) que estan contenidas en S es mayor que cero y par.
4.2. Conjuntos invariantes nitos
Mantendremos las notaciones de la seccion precedente. Diremos que un subconjunto no
vaco B S es invariante bajo la accion de G si G(B) = (P) [ G, P B = B. A lo
largo de esta seccion trataremos con conjuntos invariantes nitos. La siguiente Observacion
sobre la naturaleza de los conjuntos invariantes sera util con frecuencia.
Observacion 4.3. Sea B S nito e invariante bajo la accion de G. Entonces B es una
union disjunta y nita de bras de la aplicacion . Supongamos que
1
(Q) es una de
estas bras y sean P
1
(Q) y e = e

(P) el ndice de ramicacion de en P. Entonces

[
1
(Q)[ =
_
_
_
[G[/e si d

(P) = 1
[G[/2e si d

(P) = 2
Demostracion. La primera parte del enunciado se deduce de que las bras de la aplicacion
son exactamente las orbitas de los puntos de S bajo la accion de G.
El cardinal de las bras se obtiene a partir del hecho de que es un morsmo de grado
[G[. Dado Q Y , tanto el ndice de ramicacion e

(P) como el grado relativo d

(P) son
iguales para cada P
1
(Q). Esto se debe, nuevamente, a que las bras de son orbitas
de puntos de S bajo la accion de G. Usando la ecuacion del grado de un morsmo que
aparece en la Proposicion 3.12 (ii) se obtiene que
[G[ = [
1
(Q)[ e

(P) d

(P)
donde P es un punto cualquiera de
1
(Q). De esta igualdad se deduce la segunda parte
del enunciado.
Observacion 4.4. Todo automorsmo T de S cumple que T(S) = S y T(S

) = S

.
Por tanto un subconjunto invariante B S es union de dos subconjuntos invariantes mas
peque nos, a saber, BS y BS

. Estamos interesados en encontrar cotas superiores para

el cardinal de un grupo G Aut

(S) en funcion (creciente) del cardinal de un conjunto

invariante B, as que nos basta con estudiar dos casos: B S y B S

.
En el primero de los casos se obtiene facilmente, a partir del Lema 4.1 y la Observacion
4.3, una cota para el orden de G.
Observacion 4.5. Sea B S un subconjunto nito invariante bajo la accion de un
grupo G Aut

(S). Entonces [G[ 2[B[. Ademas, si [G[ < 2[B[, entonces [G[ [B[.
49
Demostracion. En efecto, el conjunto B ha de ser union disjunta y nita de bras de la
proyeccion canonica : S S/G. Como B S, el Lema 4.2 implica que los unicos
ndices de ramicacion posibles en puntos de [B[ son 1 y 2. Teniendo en cuenta que la
aplicacion es de grado [G[, por la Observacion 4.3, se tiene que las bras de contenidas
en B tienen cardinal [G[ o [G[/2. As pues si B est a formado por una unica bra se cumple
que [B[ [G[/2. Obviamente, si [B[ > [G[/2 entonces B contiene a mas de una bra de
la aplicacion o a una bra de cardinal [G[; en ambos casos [B[ [G[.
Sean (S
c
,
c
,
c
) la cubierta doble de S y W el conjunto de puntos de Weierstrass de
S
c
que, como ya sabemos (vease la Proposicion 2.8), es nito e invariante bajo la accion
de Aut(S
c
). Por tanto
c
(W) es invariante bajo la accion de Aut

(S). A partir de la
Observacion 4.5 se obtiene inmediatamente:
Corolario 4.6. Sea w el n umero de puntos de
c
(W) que estan en S. Si w > 0 entonces
w [Aut

(S)[/2.
Enunciamos y demostramos, a continuacion, el resultado fundamental de este captulo,
que proporciona una cota superior para el orden de un grupo de automorsmos de una
supercie de Klein compacta con borde en funcion de su genero algebraico y el cardinal
de un conjunto invariante.
Teorema 4.7. Sean S una supercie de Klein compacta y con borde de genero algebraico
p 2 y G un grupo de automorsmos de S. Sea B un subconjunto no vaco y nito de S,
invariante bajo la accion de G. Entonces
[G[ 4(p 1) + 4[B[
Demostracion. En primer lugar, notese que las Observaciones 4.4 y 4.5 nos permiten
suponer que B S

.
La prueba se apoya en la formula de ramicacion (). Mantendremos las notaciones
introducidas en la Seccion 4.1. Recordemos que q es el genero del cociente Y := S/G,
Q
1
, . . . , Q
t
Y son los puntos de ramicacion de la proyeccion canonica : S Y y
e
1
e
2
e
t
son los correspondientes ndices de ramicacion de . Denotaremos
con r = [G[ el orden de G. Separaremos los calculos en varios casos y veremos, en cada
uno de ellos, que la cota es valida.
(i) q 2. Entonces
2p 2
r
2q 2 2
as que r g 1.
(ii) Si q = 1, el n umero t de puntos de ramicacion de ha de ser mayor que cero.
As pues
2p 2
r

_
1
1
e
1
_

1
2
50
lo que implica que r 4(p 1).
(iii) q = 0 y Q
1
, . . . , Q
t
Y

. Entonces n
j
= 2 para cada j y la formula de ramicacion
() adopta el siguiente aspecto
p 1
r
= 1 +
t

j=1
_
1
1
e
j
_
Necesariamente t 2 y volvemos a considerar varios subcasos:
(iii.a) t 3. Entonces
p 1
r
1 + 3
1
2
=
1
2
y se sigue que r 2(p 1).
(iii.b) t = 2. No puede ocurrir que e
1
= e
2
= 2, luego e
2
3. Si e
2
4 entonces:
p 1
r
1 +
1
2
+
3
4
=
1
4
y r 4(p 1).
Si e
1
= e
2
= 3 entonces r = 3(p 1).
Si e
1
= 2 y e
2
= 3 se tiene que r = 6(p 1). Por la Observacion 4.3, la bra de que
menor cardinal tiene es
1
(Q
2
), que consta de r/3 = 2(p1) puntos. Entonces, de nuevo
por la Observacion 4.3, el conjunto B tiene cardinal a lo sumo 2(p 1). As pues
4(p 1) + 4[B[ 4[B[ 8(p 1) > r
(iv) q = 0 y es ramicada sobre alg un punto de Y . Notese que Y = D, el disco
unidad del plano complejo. Esto se debe a que (S) Y por lo que Y es no vaco;
D es la unica supercie de Klein con borde de genero algebraico 0. Por el Lema 4.2,
tiene al menos dos puntos de ramicacion en Y (podemos suponer que son Q
1
y Q
2
) tales
que
1
(Q
1
) y
1
(Q
2
) estan contenidas en S. Entonces, por el Lema 4.1, e
1
= e
2
= 2.
As pues t 3 y la relacion () se escribe como
2p 2
r
= 1 +
t

j=3
n
j
_
1
1
e
j
_
Es util considerar varios subcasos:
(iv.a) t 5. Entonces
2p 2
r
1 + 3
1
2
=
1
2
luego r 4(p 1).
(iv.b) t = 3. Entonces n
3
= 2 y e
3
3. Si e
3
4 se tiene que
2p 2
r
1 + 2
3
4
=
1
2
51
y r 4(p 1).
Si e
3
= 3 entonces r = 6(g 1). La bra con cardinal mas peque no de la aplicacion
es
1
(Q
3
) que consta de r/3 = 2(p 1) puntos. De nuevo, como en (iii.b),
4(p 1) + 4[B[ 4[B[ 8(p 1) > r
(iv.c) t = 4. Supongamos en primer lugar que uno de los puntos de ramicacion Q
3
o
Q
4
es un punto interior de Y , por ejemplo Q
4
Y

. Entonces
2p 2
r
1 +
1
2
+ 2
1
2
=
1
2
y, en consecuencia, r 4(p 1).
Supongamos ahora que Q
3
, Q
4
Y . Recordemos que estamos suponiendo que e
3
e
4
y no es posible que e
3
= e
4
= 2. Si e
3
4 se tiene que
2p 2
r
1 +
3
4
+
3
4
=
1
2
con lo que r 4(p 1).
Si e
3
2, 3 entonces
2p 2
r
= 1 + 1
1
e
3
+ 1
1
e
4
=
e
3
1
e
3

1
e
4
esto es
p 1 =
r
2
_
e
3
1
e
3

1
e
4
_
Para estos dos valores de e
3
la bra de con menor cardinal es
1
(Q
4
), que consta
de r/2e
4
puntos. Nuevamente por la Observacion 4.3 se tiene que
4(p 1) + 4[B[ = 2r
_
e
3
1
e
3

1
e
4
_
+ 4[B[
2r(e
3
1)
e
3
r
Observacion 4.8. Notese que si [B[ < 2(p 1) entonces la cota obtenida en el Teorema
4.7 es mejor que la cota de May (vease la introduccion de este captulo).
El Teorema 4.7 se puede aplicar a algunas tipos particulares de supercies de Klein.
Sea un entero positivo; una supercie de Klein S es -hiperelptica (respectivamente
-trigonal cclica) si existe T Aut

(S) de orden 2 (respectivamente de orden 3) tal que

el cociente S/ T) tiene genero algebraico .
52
Corolario 4.9. Sea S una supercie de Klein compacta y con borde de genero algebraico
p 2 y sea 0 un entero positivo.
(i) Si S es -hiperelptica y p > 4 + 1 entonces
[Aut

(S)[ 8 (p )
(ii) Si S es -trigonal cclica y p > 6 + 4 entonces
[Aut

(S)[ 6 (p )
Demostracion. La condicion p > 4 + 1 (resp. p > 6 + 4) implica que existe un auto-
morsmo de orden 2 (resp. de orden 3) de S tal que ) es central en Aut

(S), esto
es, A) = ) A para cada A Aut

(S). Esta ultima armacion es consecuencia de la

unicidad del grupo ), que se deduce, para supercies de Riemann, de 3.5. en [2]. La uni-
cidad se puede probar facilmente para supercies de Klein (vease 6.1.5. de [8]) empleando
un argumento de grupos NEC, de los que hablaremos mas adelante en este Captulo. Una
alternativa consiste en levantar el automorsmo a un automorsmo

de la cubierta
doble S
c
de S y aprovechar entonces la unicidad del grupo
_

_
en S
c
.
Como consecuencia de la centralidad de ), el conjunto B de puntos jos de es
invariante bajo la accion de Aut

(S). El conjunto B tambien es el conjunto de puntos

de ramicacion de la proyeccion canonica : S S/ ), con lo cual la formula de
Riemann-Hurwitz () nos permite calcular el cardinal de B.
Supongamos que B S

. En el caso (i) la relacion () adopta la forma

2p 2
2
= 2 2 + 2 [B[
_
1
1
2
_
de donde [B[ = p + 1 2. En el caso (ii) se tiene que
2p 2
3
= 2 2 + 2 [B[
_
1
1
3
_
con lo cual [B[ =
1
2
(p + 2 3). Aplicando el Teorema 4.7 se obtiene
[Aut

(S)[ 8 (p )
en el caso (i) y
[Aut

(S)[ 6 (p )
en el caso (ii).
Si BS es no vaco basta, por la Observacion 4.4, con estudiar el caso en que B S.
En esta situacion, de la formula de Riemann-Hurwitz () se deduce que [B[ = 2(p+12)
en el caso (i) y [B[ = p + 2 3 en el caso (ii). Por la Observacion 4.5 se tiene
53
[Aut

(S)[ 4(p + 1 2) < 8 (p )

en el caso (i) y
[Aut

(S)[ 2(p + 2 3) < 6 (p )

en el caso (ii).
Siguiendo la demostracion del Teorema 4.7 se observa que [G[ max4 (p 1), 4 [B[
salvo en el siguiente caso: el genero algebraico de la supercie cociente Y es igual a 0; la
proyeccion tiene exactamente cuatro puntos de ramicacion, todos ellos en Y , y tres
de los ndices de ramicacion son igual a 2.
En la siguiente Proposicion 4.10 construimos supercies que cumplen estas condiciones
y para las cuales se alcanza la cota del Teorema 4.7, con lo cual quedara probado que dicha
cota es na. Ademas en 4.10 se arma que esta cota es buena en otro sentido: no es
posible encontrar otra cota similar para [G[ (es decir, en la que intervengan el genero p y
el cardinal de un conjunto invariante) en la cual el coeciente que multiplica a p sea menor
que 4.
Proposicion 4.10. Sean y n umeros reales positivos con < 4. Entonces existen
una supercie de Klein S compacta y con borde, un grupo G de automorsmos de S y un
conjunto C S, invariante bajo la accion de G, tales que:
[G[ > (p 1) +[C[
donde p es el genero algebraico de S. Adem as se puede conseguir que [C[ = 1.
Para demostrar 4.10 emplearemos algunos hechos basicos de la teora de grupos crista-
logracos no eucldeos (grupos NEC), que describimos a continuacion. Los grupos NEC
desempe nan en la teora de supercies de Klein la misma funcion que los grupos fuchsianos
en la teora de supercies de Riemann; como referencia se pueden consultar los Captulos
0, 1 y 2 de [8].
Deniciones y Propiedades 4.11 (Grupos NEC). Un grupo NEC es un subgrupo
discreto de Aut

(H) (vease 3.11) tal que el cociente S := H/ es compacto. Se dene

el signo de como
sign() =
_
+ si S es orientable
si S no es orientable
(i) Todo grupo NEC admite una presentacion dada por el conjunto de generadores
x
i
i = 1, . . . , r
e
i
i = 1, . . . , k
c
ij
i = 1, . . . , k , j = 0, . . . , s
i
a
i
, b
i
i = 1, . . . , g si sign() = +
d
i
i = 1, . . . , g si sign() =
54
(que recibiran el nombre de generadores canonicos de ) y las relaciones
x
m
i
i
= 1 i = 1, . . . , r
e
1
i
c
i0
e
i
c
is
i
= 1 i = 1, . . . , k
c
2
ij
= 1 i = 1, . . . , k , j = 0, . . . , s
i
(c
i,j1
c
ij
)
n
ij
= 1 i = 1, . . . , k , j = 1, . . . , s
i
x
1
. . . x
r
e
1
. . . e
k
[a
1
, b
1
] . . . [a
g
, b
g
] = 1 i = 1, . . . , g si sign() = +
x
1
. . . x
r
e
1
. . . e
k
d
2
1
. . . d
2
g
i = 1, . . . , g si sign() =
donde [a
i
, b
i
] = a
i
b
i
a
1
i
b
1
i
, los m
i
, n
ij
son n umeros enteros mayores que 1 y r, k, g y los
s
i
son n umeros enteros no negativos.
(ii) Una signatura es una coleccion de n umeros enteros y smbolos de la forma
= (g; ; [m
1
, . . . , m
r
]; (n
11
, . . . , n
1s
1
), . . . , (n
k1
, . . . , n
ks
k
))
Se denen el signo de
sign() =
_
+ si + es el signo que aparece en
si es el signo que aparece en
y el caracter de orientabilidad de como
() =
_
2 si sign() = +
1 si sign() =
(iii) Si es un grupo NEC con la presentacion descrita anteriormente, se dene la
signatura de como
= () = (g; sign(); [m
1
, . . . , m
r
]; (n
11
, . . . , n
1s
1
), . . . , (n
k1
, . . . , n
ks
k
))
Para la supercie S = H/, el n umero entero g coincide con el genero topologico de S, el
n umero entero k es igual al n umero de componentes conexas de S y (S) = () (vease
la Denicion 3.5). Notese que si k = 0 y sign() = + entonces es un grupo fuchsiano y
S una supercie orientable y sin borde.
Si r = s
i
= 0 para i = 1, . . . k escribiremos la signatura de de la forma
() = (g ; ; []; (),
k)
. . ., ())
y diremos que es un grupo de supercie. Si k > 0 diremos que es un grupo de supercie
con borde.
(iv) El area de una signatura
= (g; ; [m
1
, . . . , m
r
]; (n
11
, . . . , n
1s
1
), . . . , (n
k1
, . . . , n
ks
k
))
se dene como
() = 2
_
_
() g +k 2 +

i
_
1
1
m
i
_
+
1
2

i,j
_
1
1
n
ij
_
_
_
55
y el area () de un grupo NEC como el area de su signatura.
Dada una signatura , existe un grupo NEC tal que = () si y solo si () > 0
y () +g 2.
(v) Sean

un grupo NEC y un subgrupo de

de ndice nito [

: ]. Entonces
es tambien un grupo NEC y se cumple la formula de Riemann-Hurwitz para grupos NEC:
()
(

)
= [

: ]
(vi) Si es un grupo NEC, la supercie compacta S = H/ admite una unica estructura
de supercie de Klein tal que la proyeccion natural : H S es un morsmo. Si es otro
grupo NEC que contiene a como subgrupo normal de ndice nito, entonces G = /
act ua como grupo de automorsmos de S = H/. La supercie cociente S/G es isomorfa,
como supercie de Klein, a H/.
(vii) Si S es una supercie de Klein compacta de genero algebraico p 2 entonces
existe un grupo NEC de supercie tal que S

= H/. Si G es un grupo de automorsmos
de S, entonces existe un grupo NEC que contiene a como subgrupo normal de ndice
nito tal que G

= /.
Demostracion de la Proposicion 4.10. Sea M 4 un n umero entero par. Sea un grupo
NEC con signatura = (0; +; []; (2, 2, 2, M)). La existencia de esta garantizada por
4.11 (iv), ya que
() = 2
_
1 2 +
1
2
_
3
_
1
1
2
_
+ 1
1
M
__
= 2
_
1
4

1
2M
_
2
_
1
4

1
8
_
> 0
y () +g = 2 + 0 2.
Por 4.11 (i) y (iii) admite una presentacion dada por el conjunto canonico de gene-
radores c
0
, c
1
, c
2
, c
3
, c
4
y las relaciones
c
2
j
= (c
0
c
1
)
2
= (c
1
c
2
)
2
= (c
2
c
3
)
2
= (c
3
c
4
)
M
= c
0
c
4
= 1 : j = 0, . . . , 4
Sea D
M
el grupo diedral de orden 2M, que esta generado por una rotacion de orden
M y una simetra (que es de orden 2). De hecho D
M
admite la siguiente presentacion

, :
2
=
M
= 1, =
1
_
Consideremos la aplicacion : c
0
, c
1
, c
2
, c
3
, c
4
D
M
denida como
(c
0
) = (c
4
) = ; (c
1
) = 1; (c
2
) =
M
2
+1
; (c
3
) =
Es facil comprobar que respeta las relaciones que denen , y por tanto se extiende
a un homomorsmo de grupos : D
M
. De hecho, es un epimorsmo, ya que
= (c
0
), = (c
3
c
0
) im.
56
El n ucleo := Ker es un subgrupo normal de de ndice 2M, as que, por 4.11 (v),
tambien es un grupo NEC. Sea
() = (g; ; [m
1
, . . . , m
r
]; (n
11
, . . . , n
1s
1
), . . . , (n
k1
, . . . , n
ks
k
))
la signatura de . El automorsmo respeta los ordenes de los elementos
c
0
c
1
, c
1
c
2
, c
2
c
3
, c
3
c
4

lo que implica que r = 0 (vease el Teorema 2.2.4 de [8]). Ademas, el Teorema 2.3.3. de [8]
nos permite armar que k 1 y que s
j
= 0 para cada j. En resumen, es un grupo de
supercie con borde.
Sean S
M
:= H/ y G
M
:= /. Por 4.11 (vi) se tiene que S
M
es una supercie de
Klein compacta (y con borde, ya que k > 0) y que G
M

= D
M
act ua como grupo de
automorsmos de S
M
.
Por 4.11 (vi), la supercie cociente S
M
/G
M
es isomorfa a H/. Sea : S
M
S
M
/G
M
la proyeccion canonica. El hecho de que tenga signatura = (0; +; []; (2, 2, 2, M))
se traduce en que tiene exactamente cuatro puntos de ramicacion Q
1
, Q
2
, Q
3
, Q
4
en
S
M
/G
M
, todos ellos pertenecientes al borde (S
M
/G
M
), con ndices de ramicacion e
1
=
e
2
= e
3
= 2 y e
4
= M (vease [32]).
Sea C
M
:=
1
(Q
4
) S
M
, que, por ser una bra de la aplicacion resulta ser un
conjunto nito invariante bajo la accion del grupo G
M
. El Lema 4.1 implica que C
M

S
M
S
M
y se sigue de la Observacion 4.3 y del hecho de que tiene grado 2M que
[C
M
[ = 1.
Por otra parte, la formula de Riemann-Hurwitz para grupos NEC (4.11 (v)) nos permite
calcular el genero algebraico p = (S
M
) g +k 1 de S
M
:
2M = [ : ] =
()
()
=
2 [(S
M
) g +k 2]
2
_
1
4

1
2M
=
p 1
1
4

1
2M
de donde se deduce que p = M/2.
Por lo tanto, si elegimos M sucientemente grande, la desigualdad del enunciado se
cumple para la terna (S
M
, G
M
, C
M
), ya que
(p 1) +[C
M
[ =
_
M
2
1
_
+ < 2M = [G
M
[
siempre que
M >

2

2

Observacion 4.12. En la demostracion anterior, para que se cumpla la desigualdad del

enunciado, el n umero entero M = 2p debe cumplir
M
2
+ < 2M es decir < p (4 )
57
Por lo tanto, si jamos inicialmente un n umero entero p que cumpla esta condicion, con-
seguiremos una supercie S
M
cuyo genero algebraico sera precisamente p.
Construccion 4.13. Dado un n umero entero par M 4 sea (S
M
, G
M
, C
M
) la terna
construida en la demostracion de la Proposicion 4.10. Recordemos que S
M
es una su-
percie de Klein compacta y con borde de genero algebraico M/2 y G
M
es un grupo
de automorsmos de S
M
isomorfo a D
M
, el grupo diedral de orden 2M. La proyeccion
: S
M
S
M
/G
M
ramica sobre cuatro puntos Q
1
, Q
2
, Q
3
, Q
4
(S
M
/G
M
). El con-
junto C
M
=
1
(Q
4
) S
M
S
M
tiene un unico elemento y es invariante bajo la accion
del grupo G
M
.
La superce cociente S
M
/G
M
es isomorfa a H/, donde es un grupo NEC con
signatura = (0; +; []; (2, 2, 2, M)). Por tanto S
M
/G
M
es isomorfa al disco cerrado
unidad D del plano complejo. Por el Lema 4.2, el n umero de bras
1
(Q
j
) contenidas en
S
M
es par, por tanto existe k 1, 2, 3 tal que B
M
:=
1
(Q
k
) S
M
S
M
. El conjunto
B
M
es invariante bajo la accion del grupo G
M
y, por la Observacion 4.3, [B
M
[ = M/2.
Nos sera de gran utilidad (para probar que las cotas que obtenemos son nas) la familia
o denida como
o = (S
M
, G
M
, B
M
, C
M
) : M 4 y par
A continuacion obtenemos una cota superior para el orden de un grupo de autormor-
smos de una supercie de Klein compacta y con borde S en funcion de los cardinales de
dos subconjuntos nitos de S, invariantes bajo la accion de ese grupo.
Teorema 4.14. Sea S una supercie de Klein compacta y con borde de genero algebraico
p 2. Sean B y C dos subconjuntos distintos de S, nitos y no vacos, invariantes bajo
la accion de un grupo G de automorsmos de S. Entones
[G[ 2(p 1) + 2[B[ + 2[C[
Demostracion. Por las Observaciones 4.4 y 4.5 podemos suponer que B, C S

. Tambien
podemos suponer que B y C son disjuntos; en caso contrario basta con considerar los
conjuntos B

= B C y C

= B C (o C

= C B, en caso de que B C sea vaco),

que son conjuntos invariantes disjuntos mas peque nos que los originales. Denotaremos con
k = [B[ y l = [C[ los cardinales de los conjuntos invariantes y supondremos que k l.
Mantendremos el resto de las notaciones de la demostracion del Teorema 4.7: q es el genero
del cociente Y := S/G, Q
1
, . . . , Q
t
Y son los puntos de ramicacion de la proyeccion
canonica : S Y , e
1
e
2
e
t
son los correspondientes ndices de ramicacion
de y r = [G[.
(i) El caso q 2 esta cubierto por la demostracion de 4.7, en la que se probo que
r p 1. Por tanto podemos asumir que q = 0, 1.
(ii) q = 1. En este caso t 1. De la ecuacion () se obtiene que
2p 2
r
1
1
e
t
58
o lo que es lo mismo
r 2(p 1) +
r
e
t
La Observacion 4.3 implica que la bra mas peque na de la aplicacion consta al menos
de r/2e
t
puntos, por lo cual el cardinal l del conjunto invariante C cumple que l r/2e
t
.
De esto se deduce que
r 2(p 1) +
r
e
t
2(p 1) + 2l
(iii) q = 0 y Q
1
, . . . , Q
t
Y

. En este caso t 2 y se obtiene a partir de la relacion

() que
p 1
r
= 1 +
t

j=1
_
1
1
e
j
_
1
1
e
t1

1
e
t
o, equivalentemente,
r p 1 +
r
e
t1
+
r
e
t
Las dos bras mas peque nas de la aplicacion son
1
(Q
t1
) and
1
(Q
t
) que tienen
cardinales r/e
t1
y r/e
t
respectively, por ser Q
t1
y Q
t
puntos interiores de Y . Por lo
tanto, los cardinales k y l de los conjuntos invariantes B y C cumplen que k r/e
t1
y
l r/e
t
. As pues
r p 1 +
r
e
t1
+
r
e
t
p 1 +k +l
(iv) q = 0 y ramica sobre alg un punto de Y . Tal y como se prueba en el caso (iv)
de la demostracion del Teorema 4.7, podemos suponer que
1
(a
1
, a
2
) S, con lo cual
la relacion () toma la forma
2p 2
r
= 1 +
t

j=3
n
j
_
1
1
e
j
_
Si t = 3 entonces todas las bras de la aplicacion tienen cardinal por lo menos r/2,
con la excepcion de
1
(Q
3
). Por lo tanto, k r/2, es decir, r 2k.
Si t 4 se tiene la desigualdad
2p 2
r
1 + 1
1
e
t1
+ 1
1
e
t
es decir
r 2(p 1) +
r
e
t1
+
r
e
t
En este caso, las dos bras mas peque nas de la aplicacion constan a lo sumo de r/2e
t
y
r/2e
t1
respectivamente, luego l r/2e
t
y k r/2e
t1
de lo cual se sigue que
r 2(p 1) +
r
e
t1
+
r
e
t
2(p 1) + 2k + 2l
59
Proposicion 4.15. Existen supercies de genero algebraico p 2 arbitrario tales que
las cotas de los Teoremas 4.7 y 4.14 se alcanzan para esas supercies (concretamente, se
alcanzan para todas las supercies de la familia o denida en 4.13).
Demostracion. Sea (S
M
, G
M
, B
M
, C
M
) un elemento cualquiera de la familia o denida en
4.13. La supercie S
M
tiene genero algebraico p = 2M, donde M 4 es un n umero entero
par arbitrario. Para (S
M
, G
M
, B
M
, C
M
) se alcanzan las cotas de los Teoremas 4.7 y 4.14,
ya que
4(p 1) + 4[C
M
[ = 4
_
M
2
1
_
+ 4 = 2M = [G
M
[
y
2(p 1) + 2[B
M
[ + 2[C
M
[ = 2
_
M
2
1
_
+M + 2 = 2M = [G
M
[
4.3. Conjuntos invariantes formados por componentes
conexas del borde
Sean S una supercie de Klein con borde de genero algebraico p 2, B el conjunto
nito cuyos elementos son las componentes conexas de S y G un grupo de automorsmos
de S. Si C B y G se tiene que (C) vuelve a ser una componente conexa de S. Por
tanto cada automorsmo G permuta los elementos de B con lo que aparece de forma
natural una accion del grupo G sobre el conjunto B. En esta seccion encontraremos cotas
para el orden de G en el caso en que la accion no sea transitiva (es decir, que existan
al menos dos orbitas distintas de elementos de B bajo la accion ). Estas cotas dependen
solo del genero algebraico de S y mejoran la cota de May en el caso en que G = Aut

(S).
Denicion 4.16. Diremos que B
1
, . . . , B
m
es una particion no trivial de B si
1. Cada B
j
es un subconjunto de B y B =

m
j=1
B
j
2. B
j
B
k
es vaco si j ,= k
3. Cada B
j
es no vaco y m 2
Denicion 4.17. Diremos que un conjunto B
j
B
1
, . . . , B
m
es invariante bajo la
accion de G si (C) B
j
para cada G y cada C B
j
.
Observacion 4.18. El hecho de que la accion de G sobre B no sea transitiva es equi-
valente a que exista una particion B
1
, . . . , B
m
de B no trivial y formada por conjuntos
invariantes bajo la accion de G. Denotaremos con k
j
= [B
j
[ el n umero de componentes
conexas de cada miembro de la particion y supondremos que k
1
k
m
.
60
La herramienta que utilizaremos es el siguiente resultado, obtenido por Oikawa en [44]
(vease tambien [43]) para supercies de Klein orientables con borde y por Greenleaf y May
en [21] para el caso no orientable.
Teorema 4.19. Sea S una supercie de Klein con borde. Entonces es posible sumergir S
en una supercie de Klein sin borde W que tiene el mismo genero topologico que S y tal
que cada automorsmo de S se extiende a un automorsmo de W. El complementario de
S en W consiste en un n umero nito de discos abiertos, uno por cada componente conexa
de S.
Observacion 4.20. En la demostracion del teorema anterior, la supercie W se consigue
pegando un disco a cada componente del borde de S y probando que los automorsmos
pueden extenderse a cada uno de estos discos. Ademas, si un automorsmo transforma
una componente conexa C
1
del borde de S en otra C
2
, entonces la extension de a W
transforma el disco D
1
pegado a la componente C
1
en el disco D
2
pegado a la componente
C
2
. Mas a un, transforma el centro de D
1
en el centro de D
2
. En otras palabras, el conjunto
formado por los centros de los discos que se a naden es un conjunto nito invariante bajo
la accion del grupo : Aut

(S) de automorsmos de W.
Supongamos ahora que B
j
es un subconjunto del conjunto B de componentes conexas
de S invariante bajo la accion de un grupo G de automorsmos de S. Sean k = [B[ y
k
j
= [B
j
[. Teniendo en cuenta las observaciones precedentes, podemos usar la tecnica de
la demostracion del Teorema 4.19 para pegar discos unicamente a los elementos de B
j
. De
este modo conseguiremos sumergir S en una supercie de Klein V de manera que
1. El genero topologico de V es el mismo que el de S; V es orientable si y solo si lo es
S (ya que el proceso de pegar discos a una supercie no altera su genero ni cambia
el hecho de que sea o no orientable).
2. El n umero de componentes conexas de V es k k
j
(ya que hemos tapado k
j
agujeros).
3. Cada automorsmo G se extiende a un automorsmo de V .
4. El conjunto B
j
formado por los k
j
centros de los discos que se han a nadido a S es
un conjunto invariante bajo la accion del grupo

G = : G de automorsmos
de V .
En lo que sigue mantendremos las notaciones empleadas previamente y denotaremos
con g
a
(S) el genero algebraico de S y con g
t
(S) el genero topologico de S. Recordemos
que se tiene la relacion
g
a
(S) = (S) g
t
(S) +k 1
donde (S) = 2 si S es orientable y (S) = 1 en caso contrario.
Supongamos que existe una particion no trivial B
1
, B
2
de B en conjuntos invariantes
bajo la accion de un grupo G Aut

(S). Por la Observacion 4.20 podemos sumergir S

61
en otra supercie de Klein V , construida pegando discos a los elementos de B
1
. El genero
topologico g
t
(V ) de la supercie V es igual a g
t
(S) y el n umero de componentes conexas
de V es k k
1
= k
2
. Por tanto se cumple que
(+) g
a
(V ) = (V ) g
t
(V ) +k
2
1 = (S) g
t
(S) +k
2
1
La supercie V posee un grupo de automorsmos

G isomorfo a G y el conjunto B
1
V
formado por los k
1
centros de los discos que se han a nadido a S es invariante bajo la accion
de

G. As pues, si g
a
(V ) 2 podemos aplicar el Teorema 4.7 a la supercie V para obtener
una cota superior para el orden de G.
[G[ = [

G[ 4(g
a
(V ) +[B
1
[ 1) = 4((S) g
t
(S) +k
2
1 +k
1
1) = 4(g
a
(S) 1)
Observacion 4.21. La condicion g
a
(V ) 2 que aparece en el parrafo previo se puede
traducir en terminos de la supercie original S gracias a la igualdad (+). De hecho, g
a
(V )
2 a no ser que:
1. g
t
(S) = 0, k
1
2, k
2
= 2 o
2. g
t
(S) = (S) = 1, k
1
= k
2
= 1
Notese que no es posible g
t
(S) = 0, k
1
= k
2
= 1 ya que g
a
(S) 2.
Supongamos ahora que existe una particion no trivial B
1
, B
2
, B
3
de B en conjuntos
invariantes bajo la accion de un grupo G. Tal como se describe en la Observacion 4.20
podemos pegar discos a los elementos de B
1
y B
2
para conseguir sumergir S en una
supercie de Klein V

del mismo genero topologico. El n umero de componentes conexas

de V

es k k
1
k
2
= k
3
, as que se cumple
(++) g
a
(V

) = (V

) g
t
(V

) +k
3
1 = (S) g
t
(S) +k
3
1
Ademas el grupo G se extiende a un grupo

G de automorsmos de V

de manera que
para cada j 1, 2 el conjunto B
j
formado por los k
j
centros de los discos que se han pegado
a los elementos de B
j
es invariante bajo la accion de automorsmos de

G. Aplicando el
Teorema 4.14 a la supercie V

(lo cual podemos hacer siempre que g

a
(V

) 2) obtenemos
que
[G[ = [

G[ 2(g
a
(V

)+[B
1
[ +[B
2
[ 1) = 2((S) g
t
(S)+k
3
1+k
1
+k
2
1) = 2(g
a
(S)1)
Observacion 4.22. La condicion g
a
(V

) 2 se expresa en terminos de S por medio de

la relacion (++). Se cumple que g
a
(V

) 2 a no ser que:
1. g
t
(S) = 0, k
1
= k
2
= k
3
= 1 o
2. g
t
(S) = 0, k
1
, k
2
2, k
3
= 2 o
62
3. g
t
(S) = (S) = 1, k
1
= k
2
= k
3
= 1
Recogemos los dos resultados obtenidos en el siguiente Teorema:
Teorema 4.23. Sea S una supercie de Klein compacta y con borde de genero algebraico
p 2 y genero topologico g
t
(S). Sean G un grupo de automorsmos de S y B
1
, . . . , B
m

una particion no trivial del conjunto de componentes conexas de S tal que cada conjunto
B
j
es invariante bajo la accion del grupo G. Sea k
j
el cardinal de B
j
.
Si m 2 y S no se encuentra en ninguno de los casos descritos en la Observacion
4.21 entonces
[G[ 4 (p 1)
Si m 3 y S no se encuentra en ninguno de los casos descritos en la Observacion
4.22 entonces
[G[ 2 (p 1)
Proposicion 4.24. Existen supercies de genero algebraico p arbitrariamente grande tales
que las cotas obtenidas en el Teorema 4.23 se alcanzan para esas supercies. Concreta-
mente, la primera cota se alcanza para genero algebraico p 3 arbitrario y la segunda
para p 5 arbitrario.
Demostracion. Para probar este resultado utilizaremos la misma tecnica que Oikawa en
[43]; pasamos a describirla a continuacion.
Supongamos que S es una supercie de Klein compacta de genero algebraico p 2 y
que B S es nito e invariante bajo la accion de un grupo G de automorsmos de S.
Por 4.11 (vii), la supercie S se obtiene como cociente del plano hiperbolico H bajo
la accion de un grupo NEC y G

= / donde es otro grupo NEC que contiene a
como subgrupo normal de ndice nito. Los elementos de un grupo NEC son isometras de
H con respecto a la distancia hiperbolica de H, por tanto, S hereda de H una distancia
de forma que los automorsmos de S son isometras con respecto a . As pues, podemos
elegir sucientemente peque no de manera que los discos abiertos
D

(P) = Q S : (Q, P) <

sean disjuntos cuando P B. La supercie de Klein S

que se obtiene eliminando de S el

conjunto

PB
D

(P) tiene las siguientes propiedades:

1. g
t
(S) = g
t
(S

) y (S) = (S

)
2. Si k(S) es el n umero de componentes conexas de S entonces el n umero k(S

) de
componentes conexas de S

es igual a k(S) +[B[

3. Cada automorsmo G se restringe a un automorsmo de S

, es decir, G tambien
es un grupo de automorsmos de S

.
63
Las dos primeras propiedades se deben a que S

se construye quitando [B[ discos abiertos

a S. La ultima propiedad se debe a que cada elemento de G, por ser una isometra con
respecto a y permutar los puntos de B, transforma el conjunto

PB
D

(P) en s mismo.
Para obtener supercies para las cuales se alcancen las cotas del Teorema 4.23 apli-
caremos lo anterior a las supercies construidas en la demostracion de la Proposicion 4.10.
Sea (S, G, B, C) un elemento cualquiera de la familia o construida en 4.13.
Sea S

la supercie de Klein obtenida a partir de S cortando discos centrados en los

puntos de C por el procedimiento descrito anteriormente. El genero algebraico g
a
(S

) es
igual a
g
a
(S

) = (S

)g
t
(S

) +k(S

) 1 = (S)g
t
(S) +k(S) +[C[ 1 = g
a
(S) +[C[
El grupo G act ua como grupo de automorsmos de S

y, como se establecio en la
Proposicion 4.15, su orden cumple
[G[ = 4(g
a
(S) +[C[ 1) = 4(g
a
(S

) 1)
Por otra parte cada elemento de G, por ser un automorsmo de S, permuta las compo-
nentes conexas de S, por lo cual el conjunto de componentes conexas de S

admite una
particion en dos subconjuntos invariantes bajo la accion de G: uno de ellos el formado por
los elementos de S y el otro por las nuevas componentes que aparecen al cortar discos
para construir S

. As pues hemos probado que S

cumple las hipotesis de la primera parte

del Teorema 4.23 y que la cota se alcanza. Ademas, como g
a
(S

) = g
a
(S) +[C[ = g
a
(S) +1
y el genero algebraico de S solo estaba restringido por la condicion g
a
(S) 2, podemos
construir una supercie S

de cualquier genero algebraico mayor o igual que 3.

Sea ahora S

la supercie de Klein que se obtiene quitando a S discos sucientemente

peque nos alrededor de los puntos de los conjuntos B y C. El genero algebraico de S

cumple
g
a
(S

) = (S

)g
t
(S

) +k(S

) 1 = (S)g
t
(S) +k(S) +[B[ +[C[ 1 = g
a
(S) +[B[ +[C[
Sea B el conjunto formado por las componentes conexas de S

. Sean B
1
el conjunto de
componentes conexas de S, B
2
el conjunto formado por los elementos de B que se obtienen
al cortar discos alrededor de los puntos de B y B
3
el conjunto formado por el resto de
los elementos de B (es decir, las componentes que aparecen al cortar discos alrededor de
los puntos de C). Por construccion B
1
, B
2
, B
3
es una particion no trivial de B formada
por subconjuntos invariantes bajo la accion de G. Ademas, como quedo establecido en la
Proposicion 4.15, el orden de G cumple
[G[ = 2(g
a
(S) +[B[ +[C[ 1) = 2(g
a
(S

) 1)
Por tanto, la cota de la segunda parte del Teorema 4.23 se alcanza para la supercie S

,
cuyo genero algebraico es g
a
(S

) = 2g
a
(S)+1. As pues se puede conseguir S

de cualquier
genero algebraico mayor o igual que 5.
64
Por ultimo obtenemos de forma inmediata el siguiente corolario a partir del Teorema
4.23.
Corolario 4.25. Sea S una supercie de Klein compacta y con borde de genero algebraico
p 2 y supongamos que Aut

(S) es un M

-grupo, es decir, tiene orden 12 (p1). Entonces

la accion de Aut

(S) sobre el conjunto B, formado por las componentes conexas de S,

es transitiva.
65
Bibliografa
[1] R.D.M. Accola, On the number of automorphisms of a closed Riemman surface, Trans.
Amer. Math. Soc. 131 (1968), 398408.
[2] , Topics in the Theory of Riemann Surfaces, Lecture Notes in Mathematics,
no. 1595, Springer, 1994.
[3] N.L. Alling y N. Greenleaf, Foundations of the Theory of Klein Surfaces, Lecture
Notes in Mathematics, no. 219, Springer, 1971.
[4] T. Arakawa, Automorphisms groups of compact Riemman surfaces with invariant
subsets, Osaka J. Math. 4 (2000), 823846.
[5] G.W. Brumel, Quotient Spaces for Semialgebraic Equivalence Relations, Math. Zeit.
195 (1987), 6978.
[6] E. Bujalance, Cyclic groups of automorphisms of compact non-orientable surfaces
without boundary, Pacic J. Math. 109 (1983), 279289.
[7] E. Bujalance, F.J. Cirre, J.M. Gamboa y G. Gromadzki, Symmetry Types of Hyper-
elliptic Riemann Surfaces, Memoires de la Societe Mathematique de France, no. 86,
Societe Mathematique de France, 2001.
[8] E. Bujalance, J.J. Etayo, J.M. Gamboa y G. Gromadzki, Automorphism Groups of
Compact Bordered Klein Surfaces, Lecture Notes in Mathematics, no. 1439, Springer,
1990.
[9] E. Bujalance y G. Gromadzki, On nilpotent groups of automorphisms of compact
Klein surfaces, Proc. Amer. Math. Soc. 108 (1990), 749759.
[10] E. Bujalance y D. Singerman, The symmetry type of a Riemann surface, Proc. London
Math. Soc. (3) 51 (1985), 501519.
[11] B.P. Chetiya, On genuses of compact Riemann surfaces admitting solvable automor-
phism groups, Indian J. pure appl. Math. 12 (1981), 13121318.
[12] B.P. Chetiya y K. Patra, On metabelian groups of automorphisms of compact Riemann
surfaces, J. London Math. Soc. (2) 33 (1986), 467472.
67
[13] F.J. Cirre, Curvas algebraicas reales de genero dos, Tesis Doctoral, Facultad de Cien-
cias Matematicas, UCM, 1997.
[14] , The moduli space of real algebraic curves of genus two, Pacic J. of Math.
208 (2003), no. 1, 5372.
[15] M.D.E. Conder, The genus of compact Riemann surfaces with maximal automorphism
group, J. Algebra 108 (1987), 204,247.
[16] M.D.E. Conder, C. Maclachlan, S. Todorovic Vasiljevic y S. Wilson, Bounds for the
number of automorphisms of a compact non-orientable surface, J. London Math. Soc.
68 (2003), 6582.
[17] H. Delfs y M. Knebusch, Semialgebraic topology over a real closed eld I: Paths and
components in the set of rational points of an algebraic variety, Math. Zeit. 177
(1981), 107129.
[18] , Semialgebraic topology over a real closed eld II: Basic theory of semialgebraic
spaces, Math. Zeit. 178 (1981), 175213.
[19] J.J. Etayo, On the order of automorphism groups of Klein surfaces, Glasgow Math.
J. 26 (1985), 7581.
[20] H.M. Farkas e I. Kra, Riemann Surfaces, Graduate Texts in Mathematics, no. 71,
Springer-Verlag, 1981.
[21] N. Greenleaf y C.L. May, Bordered Klein surfaces with maximal symmetry, Trans.
Amer. Math. Soc. 274 (1982), no. 1, 265283.
[22] G. Gromadzki, Maximal groups of automorphisms of Riemann surfaces in various
classes of nite groups, Rev. R. Acad. Ci. Madrid 82 (1988), 267276.
[23] , Abelian groups of automorphisms of compact non-orientable Klein surfaces
without boundary, Commentationes Mathematicae 28 (1989), 197217.
[24] , On soluble groups of automorphisms of Riemann surfaces, Can. Math. Bull.
34 (1991), no. 1, 6773.
[25] G. Gromadzki y C. Maclachlan, Supersoluble groups of automorphisms of compact
Riemann surfaces, Glasgow Math. J. 31 (1989), 321327.
[26] B.H. Gross y J. Harris, Real algebraic curves, Ann. Sci.

Ecole Norm. Sup. 14 (1981),
157182.
[27] W.J. Harvey, On branch loci in Teichm uller space, Trans. Amer. Math. Soc. 153
(1971), 387399.
[28] A. Hurwitz,

Uber algebraische Gebilde mit eindeutigen Transformationen in sich,
Math. Ann. 41 (1893), 403442.
68
[29] G.A. Jones y D. Singerman, Complex Functions, Cambridge University Press, 1987.
[30] J. Lewittes, Automorphisms of compact Riemann surfaces, Amer. J. Math. 84 (1963),
734752.
[31] A.M. Macbeath, Discontinuous groups and birational transformations, Proc. of Sum-
mer School, Dundee, 1961.
[32] , The classication of non-euclidean plane crystallographic groups, Canad. J.
Math. 19 (1967), 11921205.
[33] , Actions of automorphisms of a compact Riemann surface on the rst homol-
ogy, Bull. London Math. Soc. 5 (1973), 103108.
[34] C. Maclachlan, A bound for the number of automorphisms of a compact Riemann
surface, J. London Math. Soc. 44 (1969), 265272.
[35] , Maximal normal Fuchsian groups, Illinois J. Math. 15 (1971), 104113.
[36] , Weierstrass points on compact Riemann surfaces, J. London Math. Soc. (2)
3 (1971), 722724.
[37] C.L. May, Automorphisms of compact Klein Surfaces with boundary, Pacic Journal
of Mathematics 59 (1975), no. 1, 199210.
[38] , A bound for the number of automorphisms of a compact Klein Surface with
boundary, Proc. Amer. Math. Soc. 63 (1977), 273280.
[39] , Cyclic automorphism groups of compact bordered Klein surfaces, Houston J.
Math. 3 (1977), 395405.
[40] , Nilpotent automorphism groups of bordered Klein surfaces, Proc. Amer.
Math. Soc. 101 (1987), 287292.
[41] , Supersolvable M

-groups, Glasgow Math. J. 30 (1988), 3140.

[42] R. Miranda, Algebraic Curves and Riemann Surfaces, Graduate Studies in Mathe-
matics, vol. 5, A.M.S., 1995.
[43] K. Oikawa, Notes of conformal mappings of a Riemann surface onto itself, Kodai
Math. Sem. Rep. 8 (1956), 2330.
[44] , A supplement to notes of conformal mappings of a Riemann surface onto
itself , Kodai Math. Sem. Rep. 8 (1956), 115116.
[45] J. Perez, Formas Automorfas sobre grupos NEC, Tesis Doctoral, Facultad de Ciencias,
UNED, 2000.
[46] M. Schier y D. Spencer, Functionals of nite Riemann surfaces, Princeton, 1954.
69
[47] D. Singerman, Automorphisms of compact non-orientable Riemann surfaces, Glasgow
Math. J. 12 (1971), 5059.
[48] F. Torres, Weierstrass points and double covering of curves, with application: sym-
metric numerical semigroups which cannot be realized as Weierstrass semigroups,
Manuscripta Math. 83 (1994), 3958.
[49] C. Towse, Weierstrass weights of xed points of an involution, Math. Proc. Cambridge
Philos. Soc. 122 (1997), 385392.
[50] K. Watanabe, A note on weights of Weierstrass points, Math. J. Toyama Univ. 21
(1998), 117120.
[51] R. Zomorrodian, Nilpotent automorphism groups of Riemann surfaces, Trans. Amer.
Math. Soc. 288 (1985), 241255.
[52] , Classication of p-groups of automorphisms of a Riemann surface and their
lower series, Glasgow Math. J. 29 (1987), 237244.
70