Superficies de Hurwitz

Por: Sergio Pedraza Rodrguez

Director: Florent Schaffhauser

Universidad de Los Andes

Departamento de Matemticas
Bogot, Colombia
2011

ndice general
Introduccin

1. Superficies de Riemann
1.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Clasificacin toplogica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2
2
3
4

2. Automorfismos de superficies
2.1. Definiciones y ejemplos . . .
2.2. Teorema de uniformizacin
2.3. Teorema de Hurwitz . . . .

de
. .
. .
. .

Riemann
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8
8
14
20

3. La curtica de Klein
3.1. Definicin de la curtica de Klein . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. El grupo de automorfismos de la curtica de Klein . . . . . . . . . . . . . . . . . . .
3.3. Otras superficies que alcanzan la cota de Hurwitz . . . . . . . . . . . . . . . . . . . .

25
25
26
28

Introduccin
En 1893 A.Hurwitz [8] dio una cota para el nmero de automorfismos de una superficie de Riemann
compacta de gnero mayor a 1, utilizando el hecho de que el grupo de automorfismos de una curva
algebraica de gnero g 2 es finito, probado anteriormente por H.A.Schwarz [3]. Es por esto que el
enfoque del presente trabajo ser estudiar el grupo de automorfismos para superficies de Riemann
compactas. Esta decisin radica en que la caracterstica principal de una superficie de Hurwitz,
aparte de ser una superficie de Riemann, es que el orden de su grupo de automorfismos adems
de ser finito alcance una determinada cota. Lo interesante es que aunque se ha demostrado que
se pueden construir infinitas superficies que alcanzan tal cota gracias a la teora de grupos [7],
actualmente slo se conocen dos superficies con descripcin geomtrica, descubrimientos separados
por ms de ochenta aos, siendo la primera, la curtica de klein, la principal motivacin del presente
estudio.
La curtica de Klein es una superficie de Riemann que aparte de admitir una variedad de descripciones matemticas [1], tiene una descripcin geomtrica como superficie de Riemann. La particularidad de la curtica de klein, siendo una curva algebraica de gnero 3, es que puede ser transformada
en ella misma de 168 diferentes maneras. Este decubrimiento fue hecho por Felix Klein [5], pero se
necesitaron cerca de 60 aos para que alguien notara que exista una relacin entre el gnero de tal
superficie y el orden de su grupo de automorfismos [8].
Con el fin de estudiar el grupo de automorfismos de la curtica de Klein, en el primer captulo recordaremos algunas definiciones, veremos algunos ejemplos de superficies de Riemann y estableceremos
cmo debe ser vista, topolgicamente, una superficie de Riemann. En el segundo captulo estudiaremos el grupo de autmorfismos para superficies compactas de diferente gnero y demostraremos
el teorema de Hurwitz, establecindo as la definicin de una superficie de Hurwitz. Por ltimo, en
el tercer captulo, introduciremos la curtica de Klein y especficamente estudiaremos su grupo de
automorfismos.

Captulo 1

Superficies de Riemann
1.1.

Definiciones

Para el estudio del anlisis complejo y en especial las superficies de Riemann es importante introducir el concepto de funcin holomorfa. Sean U y V dos abiertos de C y f : U V. Se dice que f
es holomorfa en el punto zo U si el lmh0

f (zo +h)f (zo )

h

existe, con h C\{0}. Si para todo z

U, f es holomorfa en z, entonces se dice que f es holomorfa en todo U.

Una variedad topolgica de dimensin n es un espacio topolgico separable, Hausdorff, segundo
contable y localmente homeomorfo a un abierto de Rn .
Definicin 1.1. Dos cartas (U, : U C), (V, : V C) de una variedad topolgica son
compatibles si las dos aplicaciones 1 : (U V ) (U V ) y 1 : (U V ) (U V )
son holomorfas. A estos dos aplicaciones se les llama funciones de transicin entre cartas.
Definicin 1.2. Un atlas holomorfo en una variedad M es una coleccin de cartas (i , Ui )iI
S
compatibles que cubren a M. Es decir, las funciones de transicin son holomorfas y M = iI Ui .
Definicin 1.3. Una Superficie de Riemann es una variedad topolgica de dimensin dos que
admite un atlas holomorfo.
Teorema 1.4. Toda superficie de Riemann es orientable.
Demostracin. Sea M una superficie de Riemann y dos cartas (U1 , 1 ) y (U2 , 2 ) tales que U1 U2 6=
. Dado que M es una superficie de Riemann entonces la funcin 2 1
1 : C C es holomorfa.
Ahora, si las coordenadas de U2 estn dadas por 2 = (P (x, y), Q(x, y)) y las de U1 por 1 = (x, y).
0

Entonces la matriz (2 1
1 ) (x, y) en U1 U2 est dada por:
A=

P
x (x, y)
Q
x (x, y)

P
y (x, y)
Q
y (x, y)

1.2. EJEMPLOS

Como la funcin de transicin es holomorfa entonces se cumplen las ecuaciones de Cauchy-Riemann

P
Q
P
Q
=
;
=
x
y
y
x
y por ende

det(A) =

2 
2
P
P
(x, y) +
(x, y) > 0
x
y

Entonce A es una matriz de similitud que tiene determinante positivo. Lo anterior implica que para
dos abiertos no disjuntos de cualquier atlas holomorfo la matriz de transicin tiene determinante
positivo lo cual a su vez implica que M es orientable.
Teorema 1.5 (Forma normal local de una aplicacin holomorfa [4]). Sean X y Y dos
superficies de Riemann y f : Y X es una aplicacin holomorfa no constante. Sea a Y y
b := f (a). Entonces existe un entero ka 1 y cartas (Ub , b ) en X y (Ua , a ) en Y tal que:
(i) a Ua , a (a) = 0; b Ub , b (b) = 0
(ii) f (Ua ) Ub
(iii) La aplicacin b f a 1 (z) = z ka para todo z Ua
Definicin 1.6. Sean X y Y dos superficies de Riemann y p : Y X una aplicacin holomorfa
no-constante. Llamaremos a y Y un punto de ramificacin si no existe un abierto V de y tal
que p|V sea inyectiva. Llamaremos Sp Y al conjunto de puntos de ramificacin de la aplicacin p.
Definicin 1.7. Sean X y Y dos superficies de Riemann y p : Y X una aplicacin holomorfa
no-constante. Definiremos el grado de la aplicacin p para todo x X como
gp (x) =

ky

yp1 ({x})

Observacin 1.8. El grado de una aplicacin se define a partir de los enteros que provienen de
la forma local los cuales estn bien definidos. Es importante aclarar que el grado de una aplicacin
es una funcin constante sobre todo el rango de la aplicacin y por ende no depende de donde se
evale [4].

1.2.

Ejemplos

Ejemplo 1.9. Todo abierto U C es una superficie de Riemann.

Ejemplo 1.10. El plano proyectivo complejo CP1 = C {} es una superficie de Riemann.
Considere las siguentes cartas:
U1 = C, 1 (z) = z, z U1

CAPTULO 1. SUPERFICIES DE RIEMANN


U2 = (C\{0}) {} , 2 (z) =

1/z

si z 6=

si z =

Se comprueba que U1 y U2 cubren a CP1 y que en (U1 U2 ) las funciones 1 2 1 : 2 (U1 U2 )

1 (U2 U1 ) y 2 1 1 : 1 (U1 U2 ) 2 (U2 U1 ) son holomorfas ya que 1 2 1 (z) = 1/z
y 2 1 1 (z) = 1/z.
Ejemplo 1.11. Sean w1 , w2 C linealmente independientes y sea = Zw1 + Zw2 un retculo de
C. Sea M=C/, es decir z z 0 si existe en tal que z 0 = z + . Sea p: C C/ la proyeccin
connica, es decir la que le asigna a cada z su clase de equivalencia mod . Sobre M se define una
topologa (topologa cociente) de la siguiente forma: todo V C/ es abierto si f1 (V ) es abierto.
Bajo esta topologa C/ es de Hausdorff y p es continua. Adems como C es conexo C/ tambin lo
es. Mostremos ahora que p es una aplicacin abierta. Para esto queremos ver que V := p1 (p(U ))
S
es abierto con U abierto. Pero V = U + , los cuales son abiertos ya que es una accin
continua y por ende V es abierto.
Ahora definamos la estructura compleja de C/. es discreto en C, entonces para cualquier z en
C existe un rz > 0 tal que D(z, rz ) = {z}. Considere p|D(z,rz ) : D(z, rz ) C/. Como p es
abierto, entonces p(D(z, rz )) es abierto. Entonces podemos definir para todo z un Uz := p(D(z, rz ))
los cuales forman un cubrimiento abierto de C/.
Dado que p|(D(z,rz )) es un homeomorfismo definamos la aplicacin como su inverso. Entonces
para cada Uz tenemos i : Uz D(z, rz ). Ahora veamos que las cartas (Uz , z ) son compatibles.
:= zi zj 1 : zj (Uzi Uzj ) zi (Uzi Uzj )
Sea z Uzi Uzj , p(zi zj 1 (z)) = p(zi (z)) = p(z) entonces existe tal que (z) = z + ,
es decir es una traslacin bajo elementos de lo cual es una funcin holomorfa.
Observacin 1.12. Sea S 1 = {z C : |z| = 1} el crculo unitario. La aplicacin que asocia a un
punto = a1 + b2 de C el punto (e2ai , e2bi ) S 1 S 1 es un homeomorfismo de C/ en S 1 S 1 ,
i.e. C/ es homeomorfo a un toro.

1.3.

Clasificacin toplogica

Teorema 1.13 (Teorema de clasificacin para superficies compactas orientables [9]).

Toda superficie compacta orientable es homeomorfa o a una esfera o a una suma conexa de toros.
Es importante notar que el teorema 1.13 generaliza la observacin 1.12, donde se muestra cmo una
superficie con estructura de superficie de Riemann es homeomorfa a un toro.
Teorema 1.14 ( [4]). Una superficie topolgica orientable admite una estructura de superfice de
Riemann.
Del teorema 1.13 se desprende que toda superficie de Riemann puede ser vista topolgicamente o
como una esfera o como una suma conexa de toros.

1.3. CLASIFICACIN TOPLOGICA

Dada una superficie de Riemann compacta, existe una triangulacin de sta [9]. Por ejemplo podemos visualizar la superficie de la tierra dividida en tringulos. Una prueba rigurosa de este hecho
requiere del teorema de la curva de Jordan.
Definicin 1.15 (Caracterstica de Euler para una superficie.). Sea M una superficie compacta con una triangulacin {T1 , T2 , ....., Tn }. Sea 0 = Nmero total de vrtices, 1 = Nmero
total de lados y 2 = Nmero total de caras para la triangulacin dada, entonces la caracterstica
de Euler est dada por:
(M ) = 0 1 + 2
Cabe aclarar que la caracterstica de una superficie no depende de la triangulacin, es decir es un
invariante numrico de la superficie.
Demostracin.
Definicin 1.16. Dadas dos triangulaciones T1 y T2 , diremos que T1 es ms fina que T2 (i.e T1 T2 )
si cualquier vrtice de T2 es un vrtice de T1 y cualquier tringulo de T2 es una unin de tringulos
de T1 .
Para probar entonces, que dadas dos triangulaciones la caractertica de Euler es invariante necesitamos realizar dos comprobaciones:
(i) Dada una triangulacin T1 podemos encontrar una triangulacin T ms fina que T1 (i.e. T T1 )
donde T1 (M ) = T (M ).
Existen dos procesos para originar una triangulacin ms fina, que preservan la caracterstica
de Euler, dada una triangulacin T1 :
a) Agregar un punto interior a la cara de un tringulo y trazar de este punto lneas a los
vrtices del tringulo. Esta accin preserva la carcteristica de Euler del tringulo y la de
la superficie.
b) Agregar un punto interior a una arista de un tringulo y trazar lneas a los vrtices opuestos
de la arista. Esto se debe a que todo punto interior a una arista pertenece a dos tringulos.
La anterior accin tambin preserva la caracterstica de Euler de la superficie.
Ambas acciones crean una nueva triangulacin T que cumple que T1 (M ) = T (M ).
(ii) Dadas dos triangulaciones T1 y T2 existe una triangulacin que puede ser construida por medio
de los pasos anteriores tal que T T1 y T T2 . Si T1 y T2 son dos triangulaciones de una misma
superficie ellas se deben intersectar. Si un vrtice de una tringulo de T1 es un punto de interior
de la cara de un tringulo de T2 procedo como en a) y viceversa. Para las intersecciones entre
aristas de tringulos de T1 y T2 procedo como en b) y as lo hago para todas las intersecciones
de T1 y T2 formando una nueva triangulacin T la cual cumple el inciso (i).
Como T T1 y T T2 y T cumple el inciso (i) para ambas triangulaciones entonces
T1 (M ) = T2 (M ).

CAPTULO 1. SUPERFICIES DE RIEMANN

Figura 1.1: Toro

Proposicin 1.17. Sean M1 y M2 superficies compactas. La caracterstica de Euler de M1 y M2

y su suma conexa M1 #M2 se relacionan de la siguiente manera:
(M1 #M2 ) = (M1 ) + (M2 ) 2.
Demostracin. Sean M1 y M2 dos superficies compactas con dos triangulaciones dadas T1 y T2 . Para
realizar la suma conexa entre M1 y M2 retiramos un tringulo de cada una de las triangulaciones
y los pegamos smediante un homeomorfismo que mande cada arista del tringulo retirado en M1 a
una arista del tringulo retirado en M2 . Una prueba rigurosa se puede encontrar en [9].
Tras realizar la suma anterior M1 perdi la cara de un tringulo y M2 perdi: la cara de un tringulo,
3 aristas y 3 puntos. Esto ltimo implica que
(M1 #M2 ) = (M1 ) 1 + (M2 ) (1 + 3 3) = (M1 ) + (M2 ) 2.

Ejemplo 1.18. Veamos cual es la caracterstica de Euler de un toro. Considere la Fig. 1.1 en donde
se presenta el intervalo I I cocientado por la clase de equivalencia indicada por las flechas. Esta
topologa cociente es la de un toro y en la Fig.1.1 se encuentra una triangulacin {T1 , T2 } del mismo
. (T )= 0 -1 +2 =1 3 + 2 = 0. Esto se debe a que los 4 vrtices colapsan en 1 slo y los lados
del cuadrado se identifican, bajo el cociente, dos a dos.
Definicin 1.19. El gnero de una superficie compacta orientable M se define como: g(M) =
2(M )
el cual tambin es un invariante de la superficie. Por ejemplo el gnero de un toro es 1
2
(Ejemplo anterior), el gnero de una suma conexa n toros es n.
Demostracin. Supongamos como hiptesis de induccin que la caracterstica de la suma conexa de
n toros es 2 2n. Como caso base est el ejemplo anterior. Ahora calculemos cul es la carcteristica
de la suma de n + 1 toros.

1.3. CLASIFICACIN TOPLOGICA

n
(#n+1
i=1 T ) = (#i=1 T ) + (T ) 2 = 2 2n 2 = 2 2(n + 1).

Entonces
g(#n+1
i=1 T ) =

2 2 + 2(n + 1)
= n + 1.
2

De aqu podemos observar que el gnero y el nmero de agujeros en una superficie compacta son
iguales, lo cual nos dar una intuicin acerca de cmo es, topolgicamente, una superficie de Riemann de gnero g.
Por ltimo introducimos un teorema de gran importancia para el tercer captulo del presente estudio.
Teorema 1.20 (Relacin de Riemann-Hurwitz). Sean Y y X dos superficies de Riemann compactas
y p : Y X una aplicacin holomorfa no-constante de grado N . Entonces podemos relacionar las
caracteristicas de X y Y de la siguiente forma
(Y ) = N (X)

(ky 1)

yY

Demostracin. Como Y y X son compactas admiten una triangulacin. Recordemos que Sp = {y

Y | ky > 1}. Como Y es compacto entonces Sp es finito. Ahora, como toda aplicacin holomorfa
es abierta (gracias a la forma normal local) p(Sp ) X es finito y discreto. Considere entonces
una triangulacin ms fina que contenga como nuevos vrtices los puntos de p(Sp ). Suponga que
esta nueva triangulacin tiene 0 vrtices, 1 aristas y 2 caras. Mediante la aplicacin p podemos
levantar la triangulacin de X en Y . Como el grado de p es N, en Y induciremos N 1 aristas y N 2
caras. Para contabilizar los vrtices inducidos es importante considerar los puntos de ramificacin.
En cada punto de ramificacin y de p se pegarn ky vrtices. Es decir ky tringulos compartirn
un vrtice. Ahora, por cada punto en p(Sp ) induciremos N (ky 1) vrtices en Y . Entonces si
contamos todo vrtice de la triangulacin tanto ramificado como no ramificado el nmero de vrtices
P
inducidos en Y ser N 0 yY (ky 1) y por ende

(Y ) = N 2 N 1 + N 0

X
yY


(ky 1)

= N (X)

X
yY

(ky 1).

Captulo 2

Automorfismos de superficies de
Riemann
2.1.

Definiciones y ejemplos

Definicin 2.1. Suponga que X y Y son superficies de Riemann. Una aplicacin continua f : X Y
se dice que es holomorfa si para todo par de cartas (x , U ) en X y (y , V ) en Y con f(U ) V , la
aplicacin
y f x 1 : x (U) y (V)
es holomorfa. Una aplicacin es biholomorfa si es bijectiva y tanto f como f1 son holomorfas. Las
superficies de Riemann X y Y son isomorfas si existe una funcin f : X Y biholomorfa.
Proposicin 2.2. Sean X y Y dos superficies de Riemann. Una aplicacin f : X Y es un
isomorfismo si y slo si f es holomorfa y bijectiva.
Demostracin. Lo nico que necesitamos ver es que f 1 sea holomorfa. Sea z U y sean (U, ) en
X con z U y (V, ) en Y con f (U ) V dos cartas de los atlas correspondientes. Por el teorema
1.5 para todo z0 U tenemos que f 1 (z) = z k . Debido a que f es bijectiva k = 1 y por ende
la aplicacin F (z) := f (z) = z localmente acta como la identidad de lo que se deduce que
f 1 es holomorfa.
Definicin 2.3. Un automorfismo de una superficie de Riemann X es una aplicacin f : X X
biholomorfa.
Al conjunto de automorfismos de una superficie de Riemann M lo llamaremos Aut(M) el cual tiene
estructura de grupo. La operacin de grupo es la composicin de las respectivas aplicaciones, la
identidad del grupo es la aplicacin z 7 z y el inverso de un automorfismo es la aplicacin inversa
ya que todas son aplicaciones biholomorfas. Tambin es claro que si g y h son automorfismos su
composicin tambin lo es.
8

2.1. DEFINICIONES Y EJEMPLOS

Ahora, uno de los objetivos en este estudio es encontrar una cota para el nmero de automorfismos,
es decir el tamao de Aut(M), para una superficie de Riemann M de gnero mayor o igual a 2, pero
por lo pronto veamos algunos ejemplos para superficies de gnero 0 y 1.
Proposicin 2.4. El grupo de Aut(CP1 ) est dado por el conjunto de transformaciones

G=



az + b 
z
7
ad cb 6= 0 .
cz + d 

A este tipo de transformaciones las llamaremos transformaciones homogrficas o transformaciones

de Mbius.
Lema 2.5 ( [4]). El grupo de autmorfismos de C est dado por Aut(C)={z 7 z + }.
Demostracin de la proposicin 2.4 . Primero veamos que este conjunto de transformaciones forma
un grupo. Consideremos la siguiente aplicacin:
GL(2, C)
!

7 (z

az+b
cz+d )

Por medio de la aplicacin se puede establecer que es un homomorfismo de grupos ya que

multiplicar dos matrices A y B en GL(2, C) produce una matriz que bajo corresponde a la
composicin de las transformaciones homogrficas en G que correspondan bajo a las matrices A
y B. Esto implica entonces que G
= GL(2, C)/ker(). Ms adelante aclareremos la identificacin
de G.
Ahora veamos que en efecto una transformacin del grupo G es un automorfismo de CP1 . Para
esto necesitamos ver que que la transformacin es bijectiva. Debido a que es un homomorfismo
de grupos, entonces todo elemento de G tiene inversa ya que toda matriz en GL(2, C) tiene inversa.
Veamos ahora que para dos cartas dadas (U1 , 1 ) y (U2 , 2 ) de CP1 la aplicacin 1 f 2 1 es
biholomorfa. Para probar esto definimos 12 := 1 f 2 1 , entonces

12 :
12 no est definida en z0 =

b
a

2 (U1 U2 ) 1 (U1 U2 )
z

cz+d
az+b

1
1
c
pero puede extenderse a c
12 : CP CP tal que 12 (z0 ) := ,

la cual es una aplicacin holomorfa de C en C. Como las transformaciones son biyectivas y adems
holomorfas entonces la transformacin inversa tambin es holomorfa y por ende, bajo una extensin,
1
c
es holomorfa de C en C.
12
Ahora veamos que todo automorfismo de CP1 se escribe de la forma f (z) =

az+b
cz+d .

Sea w := f (), ahora definamos una funcin auxiliar g(z)= wf1 (z) . Por construccin tenemos que
g es una biyeccin holomorfa de CP1 a CP1 y que g()=. Entonces g|C : C C es una biyeccin

10

CAPTULO 2. AUTOMORFISMOS DE SUPERFICIES DE RIEMANN

holomorfa y por ende un automorfismo de C. Como todo Aut(C) es de la forma z 7 z + por el

lema 2.5, entonces g(z) = z + con 6= 0 y f (z) = w

1
g(z)

=w

1
z+

wz+w1
.
z+

Para que

f (z) pertenezca a G se requiere que pueda ser identificado con un elemento en GL(2, C) y por ende
tenga determinante distinto a cero, lo cual se confirma ya que w (w 1) = 6= 0. Podemos
1
observar entonces que darse w, y es equivalente a darse f () = w, f (0)=w 1 y f (1)=w +

los cuales determinan totalmente f Aut(CP1 ).

Como todo automorfismo de CP1 se puede ver como una transformacin homogrfica a la cual se
le puede asociar una matriz en GL(2, C) y adems que al producto entre dos matrices se le puede
asociar la composicin de las transformaciones correspondientes, entonces la aplicacin:
F : GL(2, C) Aut(CP1 )
es un homomorfismo de grupos.
Sean A y B GL(2, C) y suponga que B = A con C. Es claro que la transformacin homogrfica asociada a B es la misma transformacin asociada a A, lo cual implica que toda transformacin
homogrfica determina una matriz en GL(2, C) salvo multiplicacin por escalares. Por otro lado el
ker(F ) = {A GL(2, C) : F (A) = IC } = {I2 : C } = C {I2 }. Utilizando el teorema del
isomorfismo y debido a que F (GL(2, C)) = Aut(CP1 ) entonces tenemos que:
Aut(CP1 )
= GL(2, C)/C {I2 }.
El grupo GL(2, C)/C {I2 } es el grupo de proyeccin lineal llamado PGL(2, C).
Ahora consideremos el grupo SL(2, C) y considere la misma aplicacin F . ker(F ) = {Id}. Entonces, por medio del teorema del isomorfismo, tenemos que PSL(2, C) = SL(2, C)/{Id} es isomorfo a Aut(CP1 ).
Observacin 2.6. Llamaremos D al conjunto {z C | |z| < 1}, i.e. el disco unitario.
Proposicin 2.7. El grupo de Aut(D) est dado por el conjunto de transformaciones

G=



az + b 
b > 0 .
z 7
a,
b

C
tal
que
a
a

b
bz + a


Teorema 2.8 (Principio del Mdulo Mximo [10]). Si f es una funcin holomorfa no constante
en una compacto entonces |f | no tiene su mximo en el interior de .
Lema 2.9 (Lema de Schwarz [10]). Sea f : D D una funcin holomorfa con f (0) = 0.
Entonces
(i) |f (z)| |z| para todo z D.
(ii) Si existe z0 6= 0 tal que |f (z0 )| = |z0 | entonces f es una rotacin.
(iii) |f 0 (0)| 1 y si la igualdad se cumple entonces f es una rotacin.

2.1. DEFINICIONES Y EJEMPLOS

11

Demostracin de la proposicin 2.7. Sea f un autmorfismo de D y w := f (0) D. Ahora construiremos una funcin g(z) =

af (z)+b

bf (z)+
a

que se anule en 0.

Veamos primero que |g(z)| < 1 para todo z D. Si|z| = 1 entonces z = ei con R y
 i

 
aei + b
i ae + b
i u
=e
g(e ) = i
b + aei = e
u

be + a

donde u = aei + b, y por ende |g(z)| = 1. Por el principio del mdulo mximo concluimos que
|g(z)| < 1 para todo z D.
Ahora, si queremos que g(0) = 0 entonces g(0) = af (0) + b = 0 y aw + b = 0. Si a = 1 entonces
b = w y por ende g(z) =

f (z)w
1wf
(z) .

Sea A : D D la aplicacin que manda z 7

zw
1z w

consideremos la matriz correspondiente a la homografa A

!
1
w
w

la cual tiene determinante positivo ya que |w| < 1 y por ende pertenece a GL(2, C).
Entonces, para todo automorfismo f de D podemos definir una
! homografa tal que A (0) = f (0)
a b
con una matriz asociada en GL(2, C) de la forma A=
b a

Por construccin tenemos que g = A f : D D, g(0) = 0 y es holomorfa. Por el Lema de Schwarz

se tiene que
|g(z)| |z| para todo z D
Adems g 1 (0) = 0 y es holomorfa, entonces nuevamente por el lema de Schwarz se tiene que
|g 1 (u)| |u| para todo u D
Si decimos que u = g(z) entonces la ltima desigualdad implica que
|z| |g(z)| para todo z D
Conjugando ambas desigualdades obtenemos que |g(z)| = |z| para todo z D y por el lema de
Schwarz g es una rotacin, es decir g(z) acta de la forma z 7 z con C y || = 1. Sea c!una
c 0
raiz cuadrada de . Entonces la funcin g es una homografa con la matriz asociada C=
ya
0 c
que
cz
c2 z
g(z) = z =
= 2
c
|c|
|g(z)| = |z|
Por ltimo podemos asociar a f la matriz A

B que es de la forma

!
e
en GL(2, C).
e d

Como lo hicimos con Aut(CP1 ), el grupo Aut(D) es isomorfo a PU(1, 1) = U(1, 1)/{Id} donde
U(1, 1) es el grupo de isometras de C2 bajo la forma cuadrtica f (z) = |z1 |2 |z2 |2 .

12

CAPTULO 2. AUTOMORFISMOS DE SUPERFICIES DE RIEMANN

Debido a que ms adelante identificaremos superficies de Riemann con cocientes del semiplano de
Poincar H = {z C : Im(z) > 0} es importante introducir las siguientes aplicaciones
F (z) =

zi
z+i

w+1
y G(z) = i w+1
,

las cuales son isomorfismos entre H y D.

Teorema 2.10 ( [10]). La aplicacin F : H D es biholomorfa con inversa G : D H.
Proposicin 2.11. El grupo de Aut(H) est dado por el conjunto de transformaciones

G=



az + b 
a, b, c, d R tales que ad bc > 0 .
z
7
cz + d 

Demostracin. Dado que D y H son isomorfos podemos construir una aplicacin

f : Aut(D) Aut(H) que acte como 7 F 1 F . f es bijectiva con inversa F F 1 para
Aut(H). Adems f es un homorfismo de grupos ya que para 1 y 2 en Aut(D) f (1 2 ) =
F 1 (1 2 ) F = F 1 (1 (F 1 F ) 2 ) F = f (1 ) f (2 ).
Dado que, tanto F como son homografas, f es una homografa la cual proviene de la multiplicacin
de las matrices que corresponden a F , a y a F 1 .
Mf =

1
1

!
i
i

a
b

Llegando a que Mf la matriz asociada a la homografa f tiene la forma

!

con a, b, c, d R tal que ad-bc>0

Lo anterior implica que el grupo Aut(H) es isomorfo a PSL(2, R).

Definicin 2.12. Sean T
= C/ y T1
= C/1 y : C C/ y 1 : C C/1 . La aplicacin
: U C/ C/1 es holomorfa si para todo z 1 (U ) existe una vecindad V de z con
V 1 (U ) y una funcin holomorfa : V C tal que:
= 1
Proposicin 2.13. Sean T y T1 dos toros provenientes de cocientar C por dos retculos y 1 .
Entonces, T y T1 son isomorfos si y slamente si existe a 6= 0 C tal que: 1 = a.
Demostracin. Sean y 1 las aplicaciones cocientes de C a T y T1 y sea f un isomorfismo de T a
T1 . Debido a que f es un ismorfismo existe una vecindad V y una aplicacin holomorfa g : V C
tal que f = 1 g.

2.1. DEFINICIONES Y EJEMPLOS

13

- C

?
C/

?
- C/1

Si existe otra aplicacin g1 que valida la anterior ecuacin entonces para todo u V se tiene
que 1 (g(u) g1 (u)) = 1 (g(u)) 1 (g1 (u)) ya que 1 es un homorfismo de grupos. Entonces
1 (g(u) g1 (u)) = f (u) f (u) = 0 y por ende g(u) g1 (u) 1 , es decir g g1 es constante
ya que toma valores en .
As, cualquier g depende nicamente del valor de g definiendo as una funcin : C C que es
localmente holomorfa, y por ende holomorfa ya que f es un isomorfismo. Por construccin, para
todo z C existe una vecindad V C y una constante c tal que 1 ((u) + c) = f ((u)) para todo
u V . Debido a que 1 es un homorfismo llegamos a que f 1 es constante para todo punto
en C. Si definimos F = + C entonces 1 F = f . Ahora, si procedemos de la misma forma para
f 1 , ya que es un isomorfismo, podemos constriur una funcin H de C en C tal que H = f 1 1 .
Observemos lo siguiente:
H F = f 1 1 F =
1 F H = f H = f f 1 1 = 1
Lo cual implica que la funcin H F es de la forma z 7 z + c con c , entonces H F es un
ismorfismo de C en C. Si intercambiamos los roles de H y de F encontramos que F H es un
isomorfismo de C en C y por ende F es un automorfismo de C. Como vimos anteriormente existen
a 6= 0 y b C tales que F es de la forma z 7 az + b.
Sea , entonces:
1 (F ()) = f (()) = f ((0)) = 1 (F (0))
1 (F () F (0)) = 0
a + b b 1
Por lo tanto a 1 . Si hacemos el mismo anlisis con H encontramos que a1 1 lo cual
finaliza la prueba.
Proposicin 2.14. El grupo Aut(T), donde T es el toro, no es discreto.
Demostracin. Sea T el toro que proviene de cocientar C por = Z + Z. Por la proposicin 2.13
sabemos que todo f Aut(C) induce un automorfismo en T si y slo si a = . Considere a = 1.
Entonces para cada b C se induce un Aut(T ), i.e. b 7 [z + b]. El ker de sta aplicacin es ya
T Aut(T). Gracias a la observacin
que b + 7 [z + b + ] = [z + b] con . Entonces C/ =
1.12 del primer captulo en donde se muestra que T es homeomorfo a S 1 S 1 , T es continuo, por
lo que el grupo Aut(T) no puede ser discreto ya que contiene a un objeto que no es discreto.

14

CAPTULO 2. AUTOMORFISMOS DE SUPERFICIES DE RIEMANN

Habiendo estudiado el grupo de automorfismos para algunas superficies de Riemann con gnero 0
y 1 (CP1 y T respectivamente) ahora estudiaremos los automorfismos para superficies de gnero
mayor o igual a dos. Para esto requeriremos algunas definiciones y el teorema de Uniformizacin.

2.2.

Teorema de uniformizacin

A continuacin recordaremos un conjunto de definiciones necesarias para enunciar el teorema de

uniformizacin.
Suponga que X y Y son dos espacios topolgicos y p : Y X es una aplicacin continua. Para todo
x X, llamaremos al conjunto {p1 (x)} la fibra de p sobre x. Suponga ahora que p : Y X es
sobreyectiva. Llamaremos a la aplicacin p un cubrimiento de X si cumple la siguiente caracterstica:
S
Para todo x X existe una vecindad U tal que p1 (U ) = jJ Vj donde Vj son subconjuntos abiertos
disjuntos de Y y todas las aplicaciones p|Vj U son homemorfismos. Tal p es un particular un
homemorfismo local. Sea p : Y X un cubrimiento. Llamaremos a p : Y X un cubrimiento
universal de X si satisface la siguiente propiedad: Para todo cubrimiento (q : Z X) y todo
y0 Y , z0 Z, existe una nica aplicacin f : Y Z que preserva las fibras, i.e. f (p1 ({x}))
q 1 ({x}) y adems f (y0 ) = z0 . Llamaremos Gal(Y /X) al grupo de autmorfismos de Y que preservan
las fibras de X.
Sean X y Y dos espacios conexos, Hausdorff y p : Y X un cubrimiento. Llamaremos al cubrimiento galoisiano si para todo par de puntos y1 y y2 con p(y1 ) = p(y2 ) existe f Gal(Y /X) tal que
f (y1 ) = y2 .
Suponga ahora que X es un espacio topolgico y a un punto en X. Sea 1 (X, a) el conjunto de
clases homtopas de curvas cerradas con punto incial y final a. Este conjunto forma un grupo bajo
la concatenacin de caminos [4] al cual llamaremos grupo fundamental de X con punto base a.
Si suponemos que X es un espacio arcoconexo, entonces existen isomorfismos no cannicos entre el
grupo fundamental con base en un punto a y todos los dems puntos de X, ya que existen arcos que
los unen. Entonces un espacio topolgico arcoconexo X es simplemente conexo si 1 (X) = 0 i.e.
si el grupo fundamental de X slo contiene la identidad.
Teorema 2.15 ( [4]). Sean X y Y dos espacios topolgicos conexos, Y simplemente conexo y
p : Y X un cubrimiento. Entonces p es un cubrimiento universal de X.
Teorema 2.16 (Teorema de uniformizacin para superficies simplemente conexas [3]).
Sea M una superficie de Riemann simplemente conexa. Entonces M es equivalente nicamente a
una de las siguientes superficies:
a. C {}.
b. C.
c. D = {z C : |z| < 1} la cual es isomorfa a H, como vimos anteriormente.

2.2. TEOREMA DE UNIFORMIZACIN

15

Observacin 2.17. Es claro que estos casos son mutuamente excluyentes, primero porque CP1 es
compacto y ni C ni D lo son y por el teorema de Liouville no puede existir un ismorfismo entre C
y D. Adems, cabe notar que a, b, c CP1 .
Ahora introduciremos el concepto de un grupo de Klein con el fin de mostrar cmo una superficie
puede ser representada al cocientar una de las tres superficies del teorema 2.16 por un grupo de
Klein caracterstico.
Definicin 2.18. Sea G el grupo de automorfismos de una superficie de Riemann M . Diremos que
la accin de G es completamente discontinua en M si para todo x M existe un abierto Ux tal
que
g G, (g 6= 1) g(Ux ) Ux = .
Definicin 2.19. Sea G un subgrupo de PSL(2, C). Definiremos la regin de discontinuidad
de G (G ) como el cojunto de z CP1 donde G acta de manera completamente discontinua.
Proposicin 2.20. G es abierto y G-invariante de CP1 .
Demostracin. Sea z0 G . Como G acta de manera completamente discontinua en G entonces
existe U 3 z0 tal que para todo g 6= 1G , gU U = y por ende U G o de lo contrario existira
un w CP1 G tal que para algn g G se tiene que gU U = {w}.
Ahora veamos que es G-invariante, es decir GG = G .
Sea z0 G y g Gz0 = {g G | gz0 = z0 } entonces z0 = gz0 GG . Sea y GG entonces
existen g G y z0 G tales que y = gz0 . Si g Gz0 entonces y = z0 G . De lo contrario,
si g G Gz0 entonces h = g 1 G Gz0 y gracias a que z0 G entonces existe un abierto
V = gUz0 tal que V hV = y por ende y G .
Definicin 2.21. G es un grupo de Klein si G 6= .
Proposicin 2.22. Sea M una superficie de Riemann y G un subgrupo del grupo de autmorfismos
de M. Si la accin de G sobre M es completamente discontinua entonces el espacio de rbitas M/G
admite una estructura de superficie de Riemann.
Demostracin. Primero veamos que : M M/G es un homeomorfismo local. Gracias a que
la accin de G sobre M es completamente discontinua para todo x M existe un abierto U que
contiene a x con la siguiente propiedad:
y U, (gy U ) (g = 1G ),
y U, U G y = {y}.
Lo anterior implica que para todo x M existe un abierto U que intersecta una rbita a lo sumo en
un punto y por ende U es inyectiva. La sobreyectividad de es evidente ya que todo y M/G se
escribe de la forma y = gx para algn g G y un x M . Entonces para todo x M/G existe un
abierto Ux donde es un homeomorfismo local y adems los Ux forman un cubrimiento de M/G.

16

CAPTULO 2. AUTOMORFISMOS DE SUPERFICIES DE RIEMANN

Ahora construyamos la estructura compleja de M/G. Para cada elemento g de G definiremos la

aplicacin g : M/G M como x 7 gx. Esta aplicacin est bien definida ya que si existe otra
aplicacin h tal que para un z (U ) M/G si gz y hz U entonces gz = (gh1 )(hz) U lo
cual implica que g = h ya que G actua de manera completamente discontinua. Por ltimo, G es
un grupo de automorfismos biholomorfos entonces la aplicacin g : x gx es holomorfa. Como M
es una superficie de Riemann podemos usar las cartas locales de esta para construir las de M/G.
Entonces las cartas de M/G estn dadas por (Ux , x ) donde x := M Ux 1 y Ux el abierto que
existe en cada punto gracias a que el grupo acta de manera discontinua. Este atlas cubre a M/G
y ademas las funciones de transicin son compatibles ya que M es superficie de Riemann y es
holomorfa y biyectiva en Ux .
Observacin 2.23. El ejemplo 1.11 es un caso particular de la proposicin 2.22.
Observacin 2.24. Consideremos ahora, la proyeccin cannica : G G /G. Por la anterior
construccin G /G es una superficie de Riemann con la proyeccin holomorfa.
Lema 2.25. Considere la aplicacin p : M M/G con G un subgrupo del grupo de automorfismos
de M . Sea x M . Entonces x es un punto de ramificacin si y slo si el estabilizador de x es no
trivial.
Demostracin. x es un punto de ramificacon de p si y slo si se tiene que para todo abierto Ux que
contiene a x existe un y Ux tal que (x) = (y). Lo cual implica que la accin no es discontinua
que a su vez implica que la accin del grupo G no es libre, i.e. x tiene estabilizador no trivial.
Proposicin 2.26. Si G es un grupo de Klein, entonces es finito o contable.
Demostracin. Sea z G tal que Gz sea trivial. Entonces
H = {g(z) : g G}
es un subconjunto discreto en G . Por lo tanto finito o contable. Pero H tiene la misma cardinalidad
de G entonces G es finito o contable.
Dado que SL(2, C) hereda la topologa de su inmersin en C4 , PSL(2, C) es un grupo topolgico,
i.e. las operaciones binarias del grupo y los inversos del grupo son funciones continuas respecto a
esta topologa. Entonces dado un grupo G PSL(2, C), G es discreto si es discreto como subgrupo
del espacio topolgico PSL(2, C).
Proposicin 2.27. Todo grupo de Klein es discreto.
Definicin 2.28. Sea G un grupo de Klein. Llamaremos a G un grupo Fuchsiano si deja invariante
el disco D CP1 o el semiplano H.
Teorema 2.29 ( [3]). Sea G Aut(D). Las siguientes condiciones son equivalentes:
(a) D G .

2.2. TEOREMA DE UNIFORMIZACIN

17

(b) D G 6= .
(c) G es discreto.
Observacin 2.30. es un grupo F uchsiano si y slo si es un subgrupo discreto de PU(1, 1) o
un subgrupo discreto PSL(2, R).
Proposicin 2.31 ( [2]). Dos elementos de PSL(2, R) diferentes a la identidad conmutan si y slo
si tienen el mismo conjunto de puntos fijos.
c M su cubrimiento universal. Dado que p es galoisiano,
Sea M una superficie de Riemann y p : M
c/M )
c [3]. Como es un homemG = Gal(M
= 1 (M ) y adems G acta discontinuamente en M
c utilizando la estructura compleja de M
orfismo local podemos darle una estructura compleja a M
y gracias a la unicidad del cubrimiento universal (salvo isomorfismos de ste) y el teorema 2.15
c es simplemente conexa.
podemos suponer que M
c, i.e. todas las superficies de Riemann simpleEl teorema 2.16 nos da todos los candidatos para M
1

mente conexas: CP , C y D = H. Cada una de estas superficies tiene como grupo de automorfismos
un grupo de homografas, los cuales enunciamos anteriormente, estableciendo as una uniformizacin
general.
Teorema 2.32 (Teorema de Uniformizacin [3]). Toda superficie de Riemann M es isomorfa
a N/G con N = CP1 , C o D(
= H) y G un grupo de homografas, que acta discontinuamente y sin
puntos fijos, que preservan N .
Teorema 2.33. La nica superficie de Riemann M que tiene como cubrimiento universal CP1 es
CP1 mismo.
Demostracin. Sea G = Gal(CP1 /M ). G necesariamente tendra que tener puntos fijos si (M ) 6=
0.
Teorema 2.34 ( [3]). Sea M una superficie de Riemann. Si el cubrimiento universal de M es C,
entonces M es isomorfo a C, a C , o a un toro.
Los dos teoremas anteriores implican que toda superficie de Riemann, exceptuando las listadas,
tienen como cubrimiento universal el disco unitario o equivalentemente el semiplano H.
Teorema 2.35 ( [3]).
1. Las nicas superficies con 1 (M )
= Z son isomorfas a C , D o Dr = {z C | r < |z| < 1}.
2. Las nicas superficies con 1 (M )
= Z Z son los toros C/G, donde G est generado por
z 7 z + 1 y z 7 z + , Im > 0.
3. Para todo otra superficie M, 1 (M ) no es abeliano.
El teorema anterior implica que el grupo fundamental de la mayora de superficies de Riemann es
no conmutativo.

18

CAPTULO 2. AUTOMORFISMOS DE SUPERFICIES DE RIEMANN

Teorema 2.36. Sea M una superficie de Riemann y sea G un subgrupo de Aut(M ) que acta de
manera completamente dicontinua sobre M . Entonces
Aut(M/G)
= N (G)/G
donde N (G) es el normalizador de G en Aut(M ).
Demostracin. Primero observemos lo siguiente. Sea f N (G) entonces gf := f 1 gf G. Tambin
sabemos que g = ya que G preserva las fibras de M/G. Entonces,
=g
= f gf f 1
f = f gf
Si x = gf y G y entonces
f (x) = f gf (y) = f (y)
Por lo tanto podemos afirmar que todo elemento f N (G) manda rbitas en rbitas;
es decir,
(y) = (x) con x G y si y slo si ( f )(x) = ( f )(y)
Si G y es un rbita, f N (G) manda G y en otra rbita G x, lo cual induce una aplicacin (f )
de M/G en l mismo. La aplicacin (f ) est definida por la relacin
(f ) = f

- M

?
M/G

?
- M/G

(f )

Primero, (f h) = (f ) (h) ya que ( (f ) (h)) = ( (f ))(h) = ( (f ))h = f h

y (f h) = f h. Adems (1) = 1 y por ende (f 1 ) es el inverso de (f ).Todo lo
anterior implica que (f ) es un automorfismo de M/G y que es un homomorfismo de N (G) a
Aut(M/G) sobreyectivo, lo cual ya habamos visto para el caso del toro (ver 2.13).
Ahora veamos que ker( ) = G. Primero G ker( ) ya que para todo g G (g) = g = .
Nos falta probar nicamente que ker( ) G. Sea f ker( ) y x M . (f ) (x) = f (x) =
(x) entonces para todo x M , f x G x. Para cada g G, sea A(g) = {x M |f x = gx}.
S
Entonces M = gG A(g) y gracias a que G acta discontinuamente sobre M entonces los A(g) son
disjuntos. Sea x A(g) y sea V un vecindad de x tal que
1. V Ux donde Ux es el abierto que existe gracias a que G acta discontinuamente en M

2.2. TEOREMA DE UNIFORMIZACIN

19

2. f (V ) g(Ux )
Si g 6= h, f (V ) hV g(Ux ) h(Ux ) = nuevamente por que G acta discontinuamente en M .
Entonces V no intersecta ningn A(h) nicamente a A(g) y por ende A(g) es abierto. Como M es
la unin de conjuntos A(g) abiertos disjuntos entonces, por ejemplo, A(g0 ) es no vaco. Es as que
A(g0 ) = {x M |f x = g0 x} = M y f = g0 G.
Todo lo anterior implica por el teorema del isomorfismo que:
Aut(M/G)
= N (G)/G.

Por ltimo introduciremos un par de definiciones que sern de gran ayuda a la hora de demostrar
el teorema de Hurwitz.
Considere G un grupo de Klein y D un subconjunto abierto, conexo y G-invariante de G . Ahora
considere la proyeccin cannica : D D/G y suponga que sta se ramifica sobre finitos puntos,
entonces diremos que G es de tipo finito sobre D. Sea {x1 , x2 , ...., xn } el conjunto de puntos en
D/G tales que {x1 , x2 , ...., xn } = p(Sp )(ver captulo 1).
Definicin 2.37. Sea G un grupo de Klein y D un subconjunto abierto, conexo y G-invariante de
G . Definimos la caracterstica de G con respecto a D como
= 2g 2 +


n 
X
1
1
ki
i=1

siendo g el gnero de D/G y ki al coeficiente en la forma normal local en 1 (xi ).

Gracias al teorema de Uniformizacin, toda superficie de Riemann es equivalente a N/G con N
una superficie simplemente conexa y G un grupo de accin discontinua que preserva N . Entonces
podemos definir un dominio para la accin de G que contenga a los representantes de cada rbita.
Definicin 2.38. Sea G un grupo de Klein y sea D G un abierto G-invariante. Llamaremos a
G un dominio fundamental de G con respecto a D si cumple lo siguiente:
1. no existen dos puntos en equivalentes bajo G,
2. todo punto de D es G-equivalente al menos un punto en la clausura de .
Teorema 2.39 ( [3]). Todo grupo de Klein tiene un dominio fundamental.
Ahora, dada una superficie de Riemann, podemos introducir una mtrica Riemanniana de curvatura
constante (ver [3]). Esto lo hacemos con el fin de medir el rea de un dominio fundamental y as
relacionar la caracterstica de tal superficie con el rea de su dominio fundamental.
Para medir el rea de un dominio fundamental utilizaremos una triangulacin de N/G, ya que
estamos considerando superficies compactas y a partir del rea de cada tringulo calcularemos el
rea del dominio fundamental.

20

CAPTULO 2. AUTOMORFISMOS DE SUPERFICIES DE RIEMANN

Proposicin 2.40 ( [3]). El rea de un tringulo no euclidiano con ngulos , y es

( + + ).
Teniendo el resultado anterior podemos establecer la relacin que estabamos buscando
Teorema 2.41 ( [4]). Sea G un grupo fuchsiano que acta sobre una superficie de Riemann M.
Considere la proyeccin cannica p : M M/G. Entonces
rea(M/G) = 2(M )
donde (M ) es la caracterstica de M con respecto a G.

2.3.

Teorema de Hurwitz

En las secciones anteriores hemos visto cmo, para superficies de Riemann compactas de gnero
menor a 2, el grupo de autmorfismos no es ni siquiera discreto. Lo interesante es que para superficies
de gnero mayor o igual a 2 este grupo se vuelve finito. A continuacin presentamos una prueba
al teorema de Hurwitz utilizando dos enfoques. El primero es considerar una superficie como el
cociente del semiplano H por un grupo fuchsiano y el segundo, un tanto ms topolgico, considerar
la superficie como un cubrimiento ramificado de la superficie cociente de G-rbitas, con G el grupo
de automorfismos de la superficie. Es importante aclarar que este ltimo fue el enfoque que us A.
Hurwitz [8] en su prueba, ya que los grupos fuchsianos fueron introducidos por Poincar en 1882 y
Hurwitz no hace referencia a estos en su estudio, quizas por desconocimiento de los mismos [8].
Teorema 2.42 (Teorema de Hurwitz). Sea M una superficie de Riemann compacta conexa de
gnero g 2. Entonces Aut(M ) es un grupo finito de orden N con
N 84(g 1)
Demostracin. Primero probaremos que Aut(M ) es un grupo finito.
Por el teorema de uniformizacin y el hecho de que el gnero de M es mayor o igual a 2, M puede
ser representada como H/ donde es un grupo Fuchsiano de accin discontinua sin puntos fijos.
Considere ahora la aplicacin : H/ H/N () con N () el normalizador de en Aut(H).
Primero veamos que N () es un grupo Fuchsiano. Suponga que N () no es discreto. Entonces
existe una sucesin de ni N () tales que ni 7 1 . Para un elemento /{1 }, ni n1
7 y
i
como es discreto tenemos que ni n1
= para todo i suficientemente grande. Ahora, para dos
i
0

elementos cualesquiera y tenemos que tienen el mismo conjunto de puntos fijos que ni para
todo i suficientemente grande y por ende conmutan (ver proposicin 2.31). Pero por el teorema
2.35 es un grupo no conmutativo contradiciendo as la suposicin de que N () no era discreto.
Entonces, N () es Fuchsiano, por el teorema 2.29 H N () y entonces H/N () admite estructura
de superficie de Riemann y por ende la aplicacin est bien definida.

2.3. TEOREMA DE HURWITZ

21

Como N () al cocientar H por N () estamos produciendo un dominio fundamental ms

pequeo que el que se producira al cocientar slamente por . Es decir, la aplicacin se puede
ver como una proyeccin y si la restringimos a abiertos de H/N (), acta como la identidad lo cual
implica que es holomorfa. Debido a que es holomorfa y H/ es una superficie compacta entonces
se ramifica sobre finitos puntos y por ende N () es de tipo finito sobre H. Ahora calculemos el
grado de la aplicacin . Como lo hicimos en el primer captulo, llamaremos S a los puntos de
ramificacin de .
Consideremos primero lo siguiente. Sea X una superficie de Riemann, G el grupo de automorfismos de X y p : X X/G la proyeccin cannica. Entonces la cardinalidad de la fibra en
x (X/G)\p(Sp ) es igual a la cardinalidad del grupo de automorfismos G ya que los elementos de
la fibra p1 (x) = {gx : g G}. Si suponemos ahora que X es una superficie de Riemann compacta
y que G acta de manera discontinua sobre X entonces |p1 (x)| = |{gx : g G}| es finita.
Retomemos la aplicacin : H/ H/N (). Como el grado de una aplicacin es constante sobre
todo H/N () podemos elegir x (H/N ())\(S ). Entonces tenemos que
X

g (x) =

ky = | 1 (x)|.

y 1 (x)

Utilizando el resultado de la consideracin anterior concluimos que

g = |N ()/|.
Adems H/ es compacto y N () es un grupo Fuchsiano entonces | 1 (x)| es finita. Combinando
el anterior resultado y el teorema 2.36 obtenemos que
|Aut(M )| = |N ()/| = g .
Ahora probraremos la segunda parte del teorema donde se da una cota para el orden de Aut(M ).
Sea x un punto de ramificacin de . Por el lema 2.25 el estabilizador de x es no trivial y adems
el orden del estabilizador es igual a kx . Ahora, el nmero de puntos distintos en H/ equivalentes
a x bajo N () es |N () x| y utilizando teora de grupos obtenemos que
|N () x| = [[N () : ] : N ()x ] = g /|N ()x | = g /kx .
Entonces el nmero de ramificacin total es

n 
X
1
(ki 1) = g
1
.
ki
ki
i=1

n
X
g
i=1

Utilizando la relacin de Riemann-Hurwitz para el gnero de superficies obtenemos que



n 
X
1
(H/) = g (H/N ()) +
1
.
ki
i=1

(2.1)

22

CAPTULO 2. AUTOMORFISMOS DE SUPERFICIES DE RIEMANN

donde es la caracterstica respecto al grupo cociente. Como habamos establecido anteriormente

podemos relacionar el rea de una superficie con su caracterstica por lo que obtenemos que
rea(H/)
rea(H/N ())
= g
2
2
rea(H/)
= g .
rea(H/N ())
Consideremos ahora



n 
X
1
rea(H/N ()) = 2 2 2 +
.
1
ki
i=1

Sabemos que ky 2 o de lo contrario y no sera un punto de ramificacin y por ende

1
1
<1
<1
2
ky
De la relacin de Riemann-Hurwitz es claro que g > con g y los respectivos gneros de las
superficies. Entonces de la ecuacin (2.1) obtenemos que


n 
X
rea(H/N ())
2g 2
1
=
y
2g 2 = g 2 2 +
1
k
g
2
i

i=1

(2.2)

Analicemos la ecuacin (2.2): Para el anlisis podemos suponer que g > 1 y es necesario recordar
que estamos considerando superficies con gnero mayor a 1
i. Si 2
2g 2 2g

rea(H/N ()) =

2g 2
2
g

ii. Si = 1

n 
2g 2 X
1
=
1
g
ki
i=1
Si n = 0 entonces g = 1 lo cual contradice nuestra suposicin. Entonces n debe ser mayor a
cero y

rea(H/N ()) =

iii. Si = 0


n 
2g 2 X
1
1
=
1
>
g
ki
2
i=1

2.3. TEOREMA DE HURWITZ

23

n 
X

2g 2
g

= 2 +

2g 2

X
n 
1
= g
1
k
i
i=1

i=1

1
ki



2

De lo anterior n 3 ya que 2g 2 > 0 y g > 1

a) Si n 5
X


 


n 
1
1
g
2g 2 = g
1
2 > g 5 1
2 >
k
2
2
i
i=1
b) Sea n = 4 y suponga que k1 k2 k3 k4 . Algn ki debe ser mayor o igual a 3 para
cumplir con las suposiciones, entonces
2g 2


 
 
 

1
1
1
1
3 2
1
+ 1
+ 1
+ 1
2= + 2
2
2
2
3
2 3

c) Por ltimo considere n = 3. Entonces 2 k1 k2 k3 y para cumplir las suposiciones

necesitamos que k2 3 y k3 > 3.
Si k3 7
2g 2


 
 

1
1
1
1 2 6
1
1
+ 1
+ 1
2= + + 2=
2
3
7
2 3 7
42

Encontramos entonces que




2 2g
1
Inf
| g > 1 y g > 1 =
g
42
Por la ecuacin (2.1) y el resultado anterior tenemos que
rea(H/N ())

2
42

Para finalizar, por la primera parte sabemos que

|Aut(H/)| = |N ()/| = g =

rea(H/)
rea(H/N ())

Utilizando el resultado del anlisis que hicimos para el gnero de H/N () y el hecho de que p : U
U/ no tenga puntos de ramificacin, lo cual implica que rea(H/) = 4(g 1) obtenemos que
rea(H/)
84(g 1)
rea(H/N ())

24

CAPTULO 2. AUTOMORFISMOS DE SUPERFICIES DE RIEMANN

y por ende
|Aut(H/)| 84(g 1).

Definicin 2.43. Sea M una superficie de Riemann compacta con gnero g 2. Diremos que M
es una Superficie de Hurwitz si el orden del grupo de automorfismos de M es igual a 84(g 1).

Captulo 3

La curtica de Klein
3.1.

Definicin de la curtica de Klein

En 1878, Felix Klein descubri [5], luego de estudiar el grupo modular de todas las funciones
z 7

az + b
cz + d

con a, b, c, d Z y ad bc = 1, el cual es un subgrupo del grupo de isometras del semiplano H,

una superficie muy interesante que permite diferentes descripciones matemticas. Permite una descripicin algebraica (como curva algebraica), una descripcin aritmtica (como curva modular),
una descripcin combinatoria (como un polihedro regular) y la que motiva este captulo, una descripcin geomtrica como superficie de Riemann siendo despus catalogada como una superficie de
Hurwitz por el mismo A. Hurwitz [1893] en el estudio donde enuncia su teorema y hace alucin a
la superficie de Klein, la cual alcanza la cota propuesta. Klein lleg a este fascinante objeto estudiando las superficies derivadas de cocientar H por diferentes subgrupos en SL(2, Z), congruentes
a la identidad mdulo un nmero natural n. Despus de hacerlo para diferentes nmeros encontr
que el subgrupo congruente a 7 produca una superficie de gnero 3, la cual poda ser transformada
en si misma por medio de 168 homografas distintas.
Siendo el objetivo del proyecto estudiar el grupo de automorfismos de una superficie de Riemann, nos
concentraremos en la descripcin geomtrica de la superficie de Klein pero utilizaremos un resultado
derivado de la descripcin algebraica. La superficie de Klein es una superficie de Riemann que
posee una descripcin algebraica definida por una curva de cuarto grado en CP2 con coordenadas
homogneas [x : y : z]
x3 y + y 3 z + z 3 x = 0.
Esta curva tiene la particularidad que sus derivadas parciales no se anulan simultaneamente sobre la
curva, garantizando as la existencia de una tangente en todo punto, es decir es una curva proyectiva
25

26

CAPTULO 3. LA CURTICA DE KLEIN

lisa.
Observacin 3.1. Entindase CP2 como P (C3 ) = C3 \{0}/C .
Teorema 3.2 ( [1]). El gnero de una curva lisa se expresa como una funcin del grado de la curva
utilizando la siguiente frmula
(d 1)(d 2)
.
2
Observacin 3.3. La superficie de Klein, que es una curva algebraica lisa de grado 4, tiene gnero
g=

3.
Volviendo a la descripcin geomtrica, primero definiremos el subgrupo 0 (N ) con N 2 N de la
siguiente forma:
0 (N ) = {A SL(2, Z) | A I2 (md N)}
y luego el subgrupo (N )
(N ) = 0 (N )/{I2 }
Entonces la superficie de Klein se puede ver como [5]
K = H/(7).
Considerando la descripcin de Klein estudiaremos el grupo de homografas (7). Primero es importante observar que (7) es un subgrupo discreto de PSL(2, R), entonces (7) acta de manera
discontinua sobre H, y por ende es claro que la consideracin anterior de que K tenga estructura
de superficie de Riemann es correcta. (ver proposicin 2.22).

3.2.

El grupo de automorfismos de la curtica de Klein

Considere el siguiente diagrama:

SL(2, Z)

md 7

proyec.

?
PSL(2, Z)

SL(2, Z/7Z)
proyec.

?
- PSL(2, Z/7Z)

De ahora en adelante llamaremos F7 al campo Z/7Z. Veamos entonces que es un homomorfismo

de grupos.
Sea u [u] PSL(2, Z) y v [v] PSL(2, Z) entonces (uv) = uv(md 7) = (u)(v). Es
claro que ker() = {u PSL(2, Z) | (u) = I2 (md 7)} = (7). Ahora, utilizando el hecho de que
de que toda matriz en SL(2, F7 ) es producto de matrices de transveccin en SL(2, Z) [1] podemos
afirmar que es un homomorfismo sobreyectivo y entonces

3.2. EL GRUPO DE AUTOMORFISMOS DE LA CURTICA DE KLEIN

27

PSL(2, Z)/(7)
= PSL(2, F7 ).
Sabemos tambin que PSL(2, Z) PSL(2, R) y por ende PSL(2, Z) es un subgrupo del grupo
N ((7))/(7).
automorfismos de H. Entonces por el teorema 2.36 Aut(H/(7)) =
Considere el NSL(2,R) (0 (7)) = NSL(2,Z) (0 (7)) = {A SL(2, Z) | A0 (7)A1 = 0 (7)}. Pero
A0 (7)A1 7 A I2 A1 7 I2 7 0 (7), entonces NSL(2,Z) (0 (7)) = SL(2, Z).
Ahora NSL(2,Z) (0 (7)/{I2 }) = NPSL(2,Z) ((7)) = PSL(2, Z). Lo cual implica que
Aut(H/(7))
= PSL(2, Z)/(7)
= PSL(2, F7 ).
Veamos ahora cual es la cardinalidad del grupo PSL(2, F7 ).
Primero necesistamos establecer la cardinalidad de GL(2, F7 ). Sea A GL(2, F7 ). La primera
columna de A puede ser cualquier vector menos el vector cero, entonces existen 72 1 maneras de
escogerlo. La segunda columna puede ser cualquier vector excepto un mltiplo del primer vector ya
que necesitamos que sean linealmente independientes para que det(A) 6= 0. Entonces existen 72 7
maneras de escogerlo. Concluyendo as que |GL(2, F7 )| = (72 1)(72 7) = 48 42 = 2016.
Consideremos la aplicacin
det : GL(2, F7 ) F7
la cual es un homomorfismo de grupos ya que det(AB) = (detA)(detB). Veamos ahora que es
sobreyectiva. Sea a F7 y considere la matriz
a

!
0

GL(2, F7 )

entonces
!
a 0
=a
det
0 1
y por ende la aplicacin det es un homomorfismo sobreyectivo.
Ahora, el ker(det) = {A GL(2, F7 ) | det(A) = 1(md 7)} = SL(2, F7 ), entonces por el teorema
del isomorfismo tenemos que
GL(2, F7 )/SL(2, F7 )
= F7
y as
|GL(2, F7 )/SL(2, F7 )| = |F7 | = 6.
Nuevamente por el teorema del isomorfismo sabemos que ker(det) = SL(2, F7 ) es un subgrupo
normal de GL(2, F7 ) entonces
|GL(2, F7 )/SL(2, F7 )| =

|GL(2, F7 )|
=6
|SL(2, F7 )|

28

CAPTULO 3. LA CURTICA DE KLEIN

|SL(2, F7 )| =

|GL(2, F7 )|
(72 1)(72 7)
=
= 336
6
6

y por ende
|PSL(2, F7 )| =

336
|SL(2, F7 )|
=
= 168.
|{Id }|
2

Concluimos entonces que |Aut(H/(7))| = |PSL(2, F7 )| = 168 implicando as que la superficie de

Klein es una superficie de Hurwitz.
Por ltimo hay que resaltar el hecho de que el grupo PSL(2, F7 ) es el segundo grupo simple ms
pequeo, despus del grupo alernante A5 que tiene orden

3.3.

5!
2

= 60.

Otras superficies que alcanzan la cota de Hurwitz

Aparte del teorema de Hurwitz, que enunciamos en el captulo anterior, A.Hurwitz [8] prov tambin
que un grupo finito puede ser representado como el grupo de 84(g1) automorfismos de una superficie
con gnero g 2 si y slamente si es generado por dos elementos t y u tales que
t2 = u3 = (tu)7 = 1.
A tales grupos se les llama Grupos de Hurwitz. Entonces el problema de encontrar superficies
con 84(g 1) automorfismos se redujo netamente a un problema de teora de grupos. Ahora, los
pocos grupos de Hurwitz que se conocen, actan sobre superficies de gnero 3, 7, 14 y 17 [5, 7]
y de ellos slo se conocen ecuaciones explcitas (curvas algebraicas) para los dos primeros. Pero
tambin existen construcciones geomtricas. Para 1960 A.M. Macbeath demostr, que partiendo de
una curva de gnero g se puede obtener una curva para todo entero m con el nmero mximo de
automorfismos y de gnero (g1)m2g +1 (ver [6]). Cuatro aos ms tarde A.M. Macbeath construye
explcitamente una curva de gnero 7, utilizando teora de grupos fuchsianos, que alcanza el nmero
mximo de automorfismos.

Bibliografa
[1] Christophe Bavard. Le surface de Klein. Le journal de maths des lves, 1(1):1322, 1993.
[2] Pete L. Clark.

Lectures on Shimura curves: General theory of Fuchsian groups.

http://math.uga.edu/ pete/SC2-Fuchsian.pdf.
[3] H. M. Farkas and I. Kra. Riemann surfaces, volume 71 of Graduate Texts in Mathematics.
Springer-Verlag, New York, second edition, 1992.
[4] Otto Forster. Lectures on Riemann surfaces, volume 81 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1991. Translated from the 1977 German original by Bruce Gilligan,
Reprint of the 1981 English translation.
[5] Felix Klein. On the order-seven transformation of elliptic functions. In The eightfold way,
volume 35 of Math. Sci. Res. Inst. Publ., pages 287331. Cambridge Univ. Press, Cambridge,
1999. Translated from the German and with an introduction by Silvio Levy.
[6] A. M. Macbeath. On a theorem of Hurwitz. Proc. Glasgow Math. Assoc., 5:9096 (1961),
1961.
[7] A. M. Macbeath. On a curve of genus seven. Proc. London Math. Soc. (3), 15:527542, 1965.
[8] A. M. Macbeath. Hurwitz groups and surfaces. In The eightfold way, volume 35 of Math. Sci.
Res. Inst. Publ., pages 103113. Cambridge Univ. Press, Cambridge, 1999.
[9] William S. Massey. Algebraic topology: an introduction. Springer-Verlag, New York, 1977.
Reprint of the 1967 edition, Graduate Texts in Mathematics, Vol. 56.
[10] Elias M. Stein and Rami Shakarchi. Complex analysis. Princeton Lectures in Analysis, II.
Princeton University Press, Princeton, NJ, 2003.

29