Tesis Gerardo Arizmendi

Universidad de Guanajuato
Facultad de Matematicas
El espacio de Teichm uller y la accion del
Grupo Modular de Teichm uller
Gerardo Arizmendi Echegaray
Director de Tesis
Dr. Manuel Cruz Lopez
8 de agosto de 2008
2
Indice general
1.. Supercies de Riemann y Geometra Hiperbolica . . . . . . . . . . . 5
1.1. Supercies de Riemann . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Geometra Hiperbolica Bidimensional . . . . . . . . . . . . . 10
1.2.1. Supercies Hiperbolicas . . . . . . . . . . . . . . . . . 12
1.2.2. Trigonometra . . . . . . . . . . . . . . . . . . . . . . . 14
1.3. Modelos y grupos Fuchsianos . . . . . . . . . . . . . . . . . . 17
1.3.1. Subgrupos discretos de Aut(H) . . . . . . . . . . . . . 18
1.4. Homotopa de lazos . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4.1. Lazos geodesicos . . . . . . . . . . . . . . . . . . . . . 23
1.5. Aplicaciones Cuasiconformes . . . . . . . . . . . . . . . . . . . 25
2.. El espacio de Teichm uller . . . . . . . . . . . . . . . . . . . . . . . 29
2.1. Supercies de Riemann marcadas . . . . . . . . . . . . . . . . 30
2.2. El espacio de Fricke . . . . . . . . . . . . . . . . . . . . . . . . 31
2.3. Coordenadas de Fenchel-Nielsen . . . . . . . . . . . . . . . . . 34
2.4. Construccion Analtica de Espacios de Teichm uller . . . . . . 43
2.4.1. Aplicaciones y Teoremas de Teichm uller . . . . . . . . 50
3.. El Grupo Modular de Teichm uller . . . . . . . . . . . . . . . . . . . 57
3.1. El Grupo Modular de Teichm uller . . . . . . . . . . . . . . . . 57
3.2. Discontinuidad del Grupo Modular de Teichm uller . . . . . . . 58
A.. Teorema de Hurwitz . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4

Indice general
Introduccion
La teora de Teichm uller cae dentro de la intersecci on de muchas areas de
las matematicas, como lo son la topologa, el analisis complejo, la geometra
hiperbolica, entre otras. Recientemente a jugado un papel importante en la
fsica teorica, particularmente en la teora de cuerdas. El estudio del espacio
moduli de supercies de Riemann a traves del espacio de Teichm uller y la
accion grupo modular de Teichm uller resulta ser muy importante e intere-
sante.
En este trabajo desarrollamos distintas deniciones de este espacio, damos
un par de sistemas de coordenadas para el este espacio, por ultimo denimos
la accion del grupo modular en el espacio de Teichm uller y probamos que su
accion es propia y discontinua.
En el primer captulo desarrollamos los preliminares necesarios para el
estudio de los capitulos posteriores. Empezamos con la denici n de supercie
de Riemann, desarrollamos un poco de geometra hiperbolica bidimensional.
Explicamos los llamados grupos fuchsianos, ascomo la homotopa de lazos,
por ultimo denimos las aplicaciones conformes y damos algunas propiedades
importantes de ellas.
En el segundo captulo empezamos dando un par deniciones equiva-
lentes del espacio de Teichm uller. Introducimos el espacio de Fricke y las co-
ordenadas de Fenchel-Nielsen las cuales han resultado ser muy importantes
en el estudio del volumen del espacio de Teichm uller y la metrica de Weil-
Petterson. Mas adelante damos otro par de deniciones del espacio de Teich-
muller con aplicaciones cuasiconformes y denimos, gracias a esta denicion
la distancia de Teichm uller con le damos una topologa, por ultimo probamos
que todos estos espacios son homeomorfos.
Finalmente, en el tercer captulo introducimos el grupo modular de Te-
ichm uller y su accion en el espacio de Teichm uller. Probamos que esta accion
es propia y discontinua y ademas que los estabilizadores son nitos, con lo
que concluimos que el espacio de orbitas T(R)/Mod(R)

= T()/ es una
variedad compleja singular de dimension 3g 3.
1
Supercies de Riemann y Geometra
Hiperbolica
En este captulo desarrollamos la teora basica de supercies de Riemann y
geometra hiperbolica necesaria para los captulos posteriores. En la primera
seccion damos la denicion de una supercie de Riemann y enunciamos el
teorema de uniformizacion, que se debe a Klein, Poincare y Koebe, apartir
del cual el estudio de las supercies de Riemann puede verse como parte del
estudio de grupos discretos actuando en el semiplano superior o en el plano
complejo. El caso mas importante es el grupos discretos que act uan en el
semiplano superior, los cuales son llamados grupos Fuchsianos.
En la segunda seccion presentamos los modelos de la geometra hiperboli-
ca bidimensional en H y D. Despues entramos al tema de las supercies
hiperbolicas que son con las que trabajaremos mas adelante en la tesis. Pro-
porcionamos algunos resultados de la trigonometra hiperbolica que seran
muy utiles para entender la geometra de los polgonos en H y en las super-
cies hiperbolicas.
En la siguiente seccion desarrollamos la teora de modelos y grupos Fuch-
sianos, los cuales nos permitiran dar una descripcion del espacio de Fricke
y las coordenades de Fenchel-Nielsen en el siguiente captulo, ademas enun-
ciamos ciertos resultados que serviran para el estudio del grupo modular de
Teichm uller.
En la cuarta seccion nos enfocamos a la homotopa de lazos y particu-
larmente a los lazos geodesicos que son fundamentales en el desarrollo de
las coordenadas de Fenchel-Nielsen que se derivan de la descomposicion en
6 1. Supercies de Riemann y Geometra Hiperbolica
pantalones de una supercie de Riemann.
En la ultima seccion damos la denicion de aplicacion cuasiconforme y
enunciamos sin demostracion algunos resultados importantes sobre este tipo
de aplicaciones.
1.1. Supercies de Riemann
Apartir del Teorema de Clasicacion de Supercies sabemos que toda
supercie compacta orientable es una esfera o es la suma conexa de toros,
esto es, una esfera con asas. El n umero de asas que tiene la esfera se llama
el genero de la supercie. Para una explicacion detallada de este teorema se
puede consultar [7].
Denicion 1.1.1
Una supercie de Riemann R es un variedad compleja unidimensional
conexa.
Esto signica que R es un espacio topologico Haussdorf y existe una
cubierta de R por subconjuntos abiertos U
y homeomorsmos z
de
U
en C tal que las funciones de transicion f
= z
z
1
de z
(U
) a
z
(U
) a son holomorfas.
Figura 1. Supercie de Riemann.
1.1. Supercies de Riemann 7
Las parejas (U
, z
) se llaman cartas. Dos sistemas de carta (U
, z
)
y (V
, w
) se dicen compatibles si cada vez que U
es no vacio, w

z
1
es una funcion holomorfa. Es claro que la compatibilidad dene una

clase de equivalencia. La clase de equivalencia de sistemas compatibles de
coordendadas en R es la estructura compleja en R. Tambien la llamamos
estructura de supercie de Riemann.
Cuando hablamos de funciones que van de S una supercie de Riemann
a R otra superce de Riemann las llamamos aplicaciones. Decimos que una
aplicacion f : S R continua es holomorfa si para cualesquier cartas z
en
R y w
en S la funcion w
f z
1
es holomorfa.
Ejemplo 1.1.2
Las siguientes son supercies de Riemann :
1. C
2. H = z = x + iy C [ y > 0
3. D = w = u + iv C[u
2
+ v
2
< 1
4.

C := C
Los primeros tres ejemplos son dominios de C por lo que claramente son
supercies de Riemann. Para

C tomamos dos cartas (C, id) y (
C 0, f)
donde f(z) = 1/z para C0 y f() = 0. Un ejercicio sencillo es probar que
estas cartas le dan estructura de supercie de Riemann.
Una aplicacion cubriente entre espacios topologicos X y Y es una
aplicacion continua y suprayectiva en la que para cada punto que y Y
existe una vecindad V
y
de y tal que
1
(V
y
) =
A
U
donde cada U
es
homeomorfo a V
y
.
Si tenemos un aplicacion cubriente de : X Y el conjunto de home-
omorsmos f de X en X tales que f = es un grupo, es el llamado
grupo de transformacions de cubierta de la aplicacion cubriente y lo
denotamos por Deck().
Dada una supercie de Riemann R, decimos que la tercia (
R, , R) es un
cubriente, si :

R R es una aplicacion cubriente, as mismo llamamos
a

R supercie cubriente, en el caso en el que

R es simplemente conexa le
llamamos cubriente universal.
A una supercie de Riemann R se le puede contruir un cubriente universal
y dotarle de una estructura compleja de la siguiente manera.
Fijamos un punto base p
0
en R. Sea (C, p) un pareja, donde p es un
punto arbitrario de R y C una curva regular de p
0
a p. Decimos que dos
parejas (C, p) y (C
, p
) son equivalentes si p = p
y C es homotopico a C
.
Recordemos que una homotopia entre C y C
es una familia de curvas C

t
con puntos iniciales p

o
y nales p tal que C = C
1
y C
= C
2
que varian
continuamente.
Figura 2. Homotopa de curvas.
Sea

R el conjunto de clases de equivalencia [C, p].Daremos una topologa
a

R para que este sea un cubriente universal. Para cada punto p = [C, p] de
R, tomamos una vecindad U

p
de p que es un dominio simplemente conexo en
R. Sea U
e p
el conjunto de todos los puntos [C C
q
, q] en

R de tal forma que q
es un punto de U
p
y C
q
es una curva arbitraria contenida en U
p
que va de p a
q. Como U
p
es simplemente conexo, tenemos una correspondencia canonica
uno a uno entre U
p
y U
e p
. Con estos U
e p
, denimos un sistema de vecindades
fundamentales de p en

R.
Tambien denimos una estructura compleja en

R de tal forma que :
R R sea una aplicacion holomorfa. Para esto, para cada punto p = [C, p]
de

R, tomamos carta (U
p
, z
p
) tal que U
p
es un dominio simplemente conexo
en R. Si tomamos z
e p
= z
p
, observamos que (U
e p
, z
e p
) nos da la estructura
compleja que deseamos.
Lema 1.1.3 El grupo de transformaciones de cubierta de (
R, , R) de una
supercie de Riemann R satisface las siguientes propiedades:
1. Para cada p, q

R con ( p) = ( q), existe un elemento con
q = ( p)
1.1. Supercies de Riemann 9
2. Para cada p

R, existe una vecindad

U de p en

R tal que (
U)
U = ,
para toda id. En particular, todo elemento en distinto de
la identidad no tiene puntos jos.
3. act ua propia y discontinuamente en

R; esto es, para cada subconjunto
compacto K en

R, existe a lo mas un n umero nito de elementos
tal que (K) K ,= .
Dado un cubriente universal (
R, , R), donde R es una supercie de Rie-

mann, el grupo de transformaciones de cubierta es isomorfo al grupo fun-
damental
1
(R, p
0
); mas a un , es un subgrupo de Aut(
R).
R/ es un espacio topologico Haussdorf con la topologa cociente y se le

puede dotar de una estructura compleja de la siguiente forma.
Para cada punto p de

R tomamos una vecindad

U
e p
de p tal que satisface
la segunda propiedad del lema anterior. Podemos suponer que tenemos una
carta z
e p
en

U
e p
. Entonces, haciendo p = ( p), U
p
= (
U
e p
), vemos que :
U
e p
U
p
es un homeomorsmo. Tomando z
p
= z
e p

1
, concluimos que
(U
p
, z
p
)
p
e
R/
dene una estructura compleja en

R/.
Con esta estructura compleja, (
R, ,

R/) es un cubriente de

R/ y
ademas

R/ es biholomorfo a R bajo la correspondencia [ p] ( p). De
esta forma cada supercie de Riemann se corresponde a un espacio cociente
R/ := x :

R de

R una supercie cubriente universal y su grupo
de transformaciones de cubierta. Por el teorema de uniformizacion que a
continuacion enunciamos,

R es

C,C o H.
Teorema 1.1.4 (Teorema de Uniformizacion) Toda supercie de Rie-
mann simplemente conexa es biholomorfa a una de las siguientes supercies
de Riemann :

C,C o H.
En el caso que nosotros queremos estudiar la supercie cubriente universal
sera H. El grupo de automorsmos de H, Aut(H), corresponde al subgrupo
de Aut(
C) que dejan jo H. No es difcil ver que

Aut(H) =
_
az + b
cz + d
: a, b, c, d R; ad bc = 1
_
A este grupo lo llamamos el grupo de transformaciones de Mobius
reales. De hecho, este es el grupo de isometras de H que preservan la ori-
entacion (ver siguiente seccion).
Ademas, Aut(H)

= PSL(2, R) = SL(2, R)/I, donde SL(2, R) es el
grupo de matrices de dos por dos con entradas en los reales y determinante
1.
1.2. Geometra Hiperbolica Bidimensional
A toda supercie de Riemann se le puede dotar de una metrica Rieman-
niana que induce una estructura conforme. La forma fundamental asociada
a esta metrica esta dada por la expresion
ds
2
=
2
(dx
2
+ dy
2
)
o simplemente ds = [dz[, donde es una funcion positiva de la supercie
de Riemann a R.
Para una metrica de este tipo la curvatura Gaussiana esta dada por
K() =
2
log ,
donde es el Laplaciano.
La metrica hiperbolica de Poincare en el semiplano superior H esta dada
por la expresion
ds
2
=
1
y
2
(dx
2
+ dy
2
)
o de otra forma
(z)[dz[ =
2[dz[
[z z[
=
[dz[
Imz
.
Esta asigna una longitud a cada curva regular en H. En general , si

C es
un dominio simplemente conexo y f una aplicacion biholomorfa de sobre
H, la metrica en esta dada por
(z)[dz[ = (f(z))[f
(z)[[dz[.
El grupo
PSL(2, R) =
__
a b
c d
_
[a, b, c, d R, ad bc = 1
_
/id
act ua en H por transformaciones de Mobius
z
az + b
cz + d
1.2. Geometra Hiperbolica Bidimensional 11
y deja la metrica invariante. Esto es, si f(z) =
az + b
cz + d
PSL(2, R), entonces
p(f(z))[f
(z)[ =
2
az+b
cz+d

az+b
cz+d
1
(cz + d)
2
=
=
2
[(az + b)cz + d az + b(cz + d)[
=
2
[(az + b)(c z + d) (a z + b)(cz + d)[
=
=
2
[(ad bc)(z z)[
=
2
[z z[
=
1
Imz
Mas a un, PSL(2, R) corresponde al grupo de isometras de H que preser-
van orientaci on, Isom
+
(H). Las geodesicas son curvas que localmente mini-
mizan distancia, las isometras mandan geodesicas en geodesicas. No es difcil
probar que en este modelo del plano hiperbolico, las geodesicas son arcos de
crculo euclideanos perpediculares al eje real. Tambien, para cualesquiera dos
puntos en el plano hiperbolico existe una geodesica que pasa por ellos.
La aplicacion H D dada por
z
z i
z + i
es una aplicacion biholomorfa de H sobre el disco unitario D.
De la misma manera que se probo que los elementos de PSL(R) preservan
la metrica en H se prueba que la metrica inducida en este modelo es
ds
2
=
4(du
2
+ dv
2
)
1 (u
2
+ v
2
)
2
o bien
D
(z)[dz[ =
2[dz[
1 [z[
2
,
las transformaciones del tipo
e
i
z w
1 wz
, [w[ < 1, R
dejan esta ultima metrica ja.
La aplicacion anterior es conforme, por lo que manda circunferencias y
rectas en circunferencias y rectas ademas preserva angulos, lo que nos dice
que las geodesicas en este modelo son circunferencias y diametros ortogo-
nales a D. Aplicando la formula de la curvatura Gaussiana a estas metricas
observamos que tienen curvatura constante 1.
Clasicacion de Isometras
Sea Isom
+
(H), ,= id. Entonces
a) es parabolica si y solo si es conjugada a una traslacion z z + 1. En
este caso tiene un punto jo en H.
b) es elptica si y solo si es conjugada a una rotacion z e
i
z (en el modelo
del disco). En este caso tiene un punto jo en H.
c) es hiperbolica si y solo si es conjugada a una homotecia euclideana
z z > 0. En este caso tiene 2 puntos jos en H, esta es una
traslacion sobre una geodesica.
1.2.1. Supercies Hiperbolicas
Denicion 1.2.1
Sea S una supercie topologica orientable sin frontera de genero g > 1.
Un atlas / topologico de S se llama hiperbolico si tiene las siguientes
propiedades:
(1) (U) H, (U, ) /.
(2) Si (U, ) / y (U
) /, entonces, para cada componente V de

U U
existe una isometra m Isom

+
(H) tal que
1
coincide con
m en (V ).
Denicion 1.2.2
Sea S una supercie topologica orientable con frontera. Un atlas / topologico
de S se llama hiperbolico si tiene las siguientes propiedades:
(1) Para todo p S existe un sistema coordenado (U, ) / con p U tal
que (U) H es :
- Un sector de circulo de angulo v en (p), si p es un vertice.
- Un medio disco en (p), si p es un punto ordinario en la frontera.
- Un disco abierto con centro en (p), si p es un punto interior.
(2) Si (U, ) / y (U
) / entonces para cada componente V de U U
existe una isometra m Isom

+
(H) tal que
1
coincide con m en
(V ).
La restriccion de angulos v es por conveniencia.
Al igual que otros tipos de atlas, es posible extender todo atlas hiperbolico
a un unico atlas maximal.
Denicion 1.2.3
Sea S una supercie. Un atlas hiperbolico maximal en S se llama una estruc-
tura hiperbolica. S se llama completa si su metrica hiperbolica es completa.
En supercies con estructura hiperbolica los conceptos de geodesica, angu-
lo, area, etc.., se transportan del plano hiperbolico de manera natural.
Teorema 1.2.4 (Poincare) Sea P un polgono hiperbolico en H. de 4g la-
dos. Supongamos que ordenamos sus aristas en dos conjuntos ajenos a
1
, ..., a
2g
y b
1
, ..., b
2g
de manera que para cada i existe una isometra T
i
: H H
orientable que lleva a
i
sobre b
i
invirtiendo la orientacion de b
i
. Supong-
amos ademas que los vertices se identican por medio de las T
i
s y que la
suma de los angulos interiores en estos vertices es 2. Entonces el grupo
:= T
1
, ..., T
2g
) act ua en H propia y discontinuamente, y libre de puntos
jos. Ademas P es una region fundamental de .
Teorema 1.2.5 Sea S una supercie hiperbolica y sea Isom
+
(S) un
subgrupo que act ua propia y discontinuamente y libre de puntos jos en S.
Entonces, S tiene una unica estructura hiperbolica tal que la proyeccion
natural : S S es una isometra local.
Demostracion. Denimos el atlas /
en S usando el atlas / en S. Para

todo q S tomamos q

1
(q) y tomamos (U, ) / con p U de
diametro tan peque no de tal forma que la restriccion [U de a U es un
homeomorsmo, entonces denimos que ((U), ([U)
1
) sea un elemento
de /
. Este atlas dene una estructura diferenciable en S y satisface las

condiciones de la denicion anterior. La proyeccion natural : S S es
un cubriente Riemanniano y por lo tanto S es completa. La unicidad es
clara. 2
Observacion 1.2.6
Los dos teoremas anteriores nos dicen que si un polgono hiperbolico P
cumple las condiciones del teorema de Poincare entonces H = S es una
supercie hiperbolica completa.
Podemos ahora hacer la construccion de una supercie hiperbolica. En D
tomamos un 4gagono regular alrededor del origen. Entonces, la suma de los
angulos interiores de toda la familia de estos 4gagonos vara continuamente
desde 0 hasta (4g 2) y como g > 1 entonces (4g 2) > 2.
Figura 3. Octagonos regulares en H.
Por lo tanto existe un 4g-agono regular centrado en 0 cuya suma de
angulos interiores es 2. Si tomo la forma normal de una supercie orientable
de genero g > 1 (a
1
b
1
a
1
1
b
1
1
...b
1
g
), entonces se puede mandar cada a
i
a
su correspondiente a
1
i
simplemente haciendo una translacion sobre b
i
hasta
mandar un vertice de a
i
en uno de a
1
i
y despues aplicando una rotacion sobre
el vertice de a
1
i
; de igual manera se puede hacer para los b
i
s. Entonces, P,
con la identicacion dada por estas isometras, es una supercie hiperbolica
de genero g.
1.2.2. Trigonometra
A continuaci on proporcionamos una serie de resultados de trigonometra
hiperbolica necesarios en el captulo siguiente
Consideremos la forma bilineal h(X, Y ) = x
1
y
1
+x
2
y
2
x
3
y
3
, X, Y R
3
,
donde x
i
, y
i
son las coordenadas de X, Y , respectivamente. Las transforma-
ciones lineales L
, M
GL(3, R) dadas por

L
=
_
_
cos sin 0
sin cos 0
0 0 1
_
_
, M
=
_
_
cosh 0 sinh
0 1 0
sinh 0 cosh
_
_
dejan a h jo.
Sea el grupo generado por L
y M
en GL(3, R). Consideramos el

hiperboloide
H = X R
3
[ h(X, X) = 1, x
3
> 0.
No es difcil probar que si restringimos a H la pseudometrica asociada a
la forma diferencial h
1
= dx
2
1
+ dx
2
2
dx
2
3
, esta es una metrica. Ademas con
esta metrica = Isom
+
(H) y H es isometrico a H.
L
es una rotacion en el origen de angulo y M
es una traslacion de
distancia . Para triangulos en el plano hiperbolico, denotamos por a, b, c los
lados de los triangulos y por , , los correspondientes angulos opuestos.
Estas letras tambien denotan las longitudes de los mismos.
Figura 4. Triangulo hiperbolico en H.
Teorema 1.2.7 La siguiente formula se cumple para triangulos geodesicos
en el plano hiperbolico.
cosh c = sinh a sinh b cos + cosh a cosh b,
cos = sin sin cosh c cos cos
sinh a/ sin = sinh b/ sin = sinh c/ sin
Demostracion. Supongamos que el triangulo T en H es de tal forma que
se encuentra en p
0
, el origen, esta en M
c
(p
0
) y esta en L
(M
a
(p
0
)),
como se muestra en la gura. La isometra L
M
c
primero traslada a T en ,
enviando a p
0
, y luego rota T sobre p
0
un angulo . Entonces, L
M
c
deja el triangulo en una posicion como la de la gura, solo que ahora, con b, en
lugar de c y en lugar de . Claramente, el producto L
M
a
L
M
b
L
M
c
lleva a T a su posicion original. Entonces, este producto es la identidad, y la
siguiente relacion se cumple:
M
a
L
M
b
= L
M
c
L
.
Si calculamos las componentes de la identidad anterior obtenemos nueve
identidades, cuatro de las cuales son las del teorema. 2
Denicion 1.2.8
Si es el angulo subsecuente del lado , entonces denimos
N
:= L
Si (, ) es un par de lados consecutivos con angulo /2, con = 1,

entonces denimos
N
:= L
/2
M
Si es el lado subsecuente del angulo , entonces denimos

N
= M
Teorema 1.2.9 Para un triangulo generalizado a, , b, , c, tenemos:

N
a
N
N
b
= (N
N
c
N
)
1
.
Los siguientes teoremas se siguen del teorema anterior.
Teorema 1.2.10 Para cualquier pentagono geodesico, de angulos rectos, con
lados consecutivos a, b, , c, tenemos que:
cosh c = sinh a sinh b,
cosh c = coth coth
1.3. Modelos y grupos Fuchsianos 17
Teorema 1.2.11 Para cualquier hexagono geodesico convexo, de angulos
rectos, con lados consecutivos a, , b, , c, lo siguiente se cumple:
cosh c = sinh a sinh b cosh cosh a cosh b
sinh a sinh = sinh b sinh = sinh c sinh
coth sinh = cosh cosh b coth a sinh b.
Teorema 1.2.12 Sean x, y, z n umeros reales positivos. Entonces existe un
unico hexagono geodesico de angulos rectos, con lados a, , b, , c, tal que
x = a,y = b y z = c.
Demostracion. La unicidad se sigue del teorema anterior. La existencia
viene de las siguiente construccion: Considera las geodesicas perpendiculares
, y en H como en la gura. Sea B la linea que corresponde a los puntos
en H a distancia b de que caen en el mismo lado que de . En el modelo
del semiplano superior, B es una linea recta (Euclideana). Considera una
geodesica tangente a B. Mueve sobre B hasta que la distancia de a
sea b, despues traza la perpendicular com un a y . Esto da la construccion.
2
Teorema 1.2.13 En un hexagono geodesico, de angulos rectos, con lados
consecutivos a, , b, , c, , donde c intesecta a , tenemos que:
cosh c = sinh a sinh b cosh + cosh a cosh b
1.3. Modelos y grupos Fuchsianos
Si una supercie cubriente universal

R de una supercie de Riemann
R es el semi-plano superior H, llamamos a su grupo de transformaciones de
cubierta un modelo Fuchsiano. Identicando H con D, a veces consideramos
un modelo Fuchsiano como un subgrupo de Aut(D).
A traves de dominios fundamentales se puede ver geometricamente la
correspondencia entre modelos Fuchsianos y supercies de Riemann. Para
esto daremos la denicion de lo que es un dominio fundamental de un grupo
Fuchsiano.
Denicion 1.3.1
Un conjunto abierto F del semiplano superior H es un dominio funda-
mental para si F satisface las siguientes tres condiciones:
a) (F) F = para cada con ,= id.
b) H =
(F).
c) La frontera relativa F de F en H tiene medida cero con respecto a la
medida de Lebesgue en el plano.
Estas condiciones nos dicen que una supercie de Riemann R = H/ se
puede considerar como F con puntos en F identicados bajo el grupo de
transformaciones de cubierta .
Existen diversas maneras de construir regiones fundamentales para mod-
elos Fuchsianos. Una de ellas es la construccion de la region fundamental de
Dirichlet, que consiste en tomar un punto z
0
en H y jarse en la region de
los puntos z tal que la distancia de z
0
a z es menor a igual que la de (z
0
) a
z. Luego intersectar todas estas regiones sobre los id.
1.3.1. Subgrupos discretos de Aut(H)
Aut(H) tiene una topologa natural, la topologa compacto-abierta. Esta
topologa es equivalente a la topologa de PSL(2, R) bajo la identicaci on
hecha anteriormente, que a su vez es la inducida por la de SL(2, R).En
SL(2, R) una sucesion A
n
n=1
de con
A
n
=
_
a
n
b
n
c
n
d
n
_
converge a
A =
_
a b
c d
_
si y solo si a
n
, b
n
, c
n
y d
n
convergen a a, b, c y d, respectivamente, cuando n
tiende a .
Un subgrupo de Aut(H) se dice que es discreto si es un subconjunto
discreto de Aut(H). Un subgrupo discreto de Aut(H) se llama grupo Fuch-
siano. Un subgrupo discreto de Aut(D) tambien se llama grupo Fuchsiano.
Un grupo Fuchsiano es a lo mas un conjunto numerable.
Lema 1.3.2 Para un subgrupo de Aut(H) las siguientes proposiciones son
equivalentes:
1. es un grupo Fuchsiano.
1.3. Modelos y grupos Fuchsianos 19
2. No existen sucesiones de elementos mutuamente distintos de que con-
verjan en Aut(H).
Demostracion. Si no es Fuchsiano entonces tiene puntos de acumulaci on
lo que implica que la segunda proposicion no se cumpla. Supongamos ahora
que una sucesion
n
n=1
de elementos distintos de convergen a un elemento
Aut(H). Si consideramos la convergencia en SL(2, R), la representaci on
de matrices nos dice que (
n
)
1
n=1
converge a en Aut(H). Como (
n
)
1
n+1
y (
n
)
1
n+1
,= id para toda n, entonces id no es un punto aislado
de , por lo que no es discreto. 2
Lema 1.3.3 Sea
n=1
una sucesion de Aut(H) que converge uniforme-
mente en compactos de H a una funcion holomorfa f denida en H (f puede
ser la funcion constante ). Entonces, f es un elemento de Aut(H) o f es
una funcion constante con

R.
Teorema 1.3.4 Para un subgrupo de Aut(H) las siguientes proposiciones
son equivalentes:
1) es un grupo Fuchsiano.
2) act ua propia y discontinuamente en H.
Demostracion. Claramente de la denicion, 2) implica 1). Reciprocamente,
supongamos que no act ua propia y discontinuamente en H. Entonces ten-
emos un punto z
0
H y una sucesion
n
n=1
de elementos distintos de
tal que
n
(z
0
) tiende a w
0
H cuando n tiene a . Como
n
n=1
es una
familia normal, tomando una subsucesion, si es necesario, podemos suponer
que
n
n=1
converge uniformemente en subconjuntos compactos de H a una
funcion holomorfa denida en H. Por el lema anterior, tiene que ser un
elemento de Aut(H). Entonces, no es Fuchsiano por el lema 1.3.2.
2
Teorema 1.3.5 Sea un grupo Fuchsiano de AutH tal que cualquier ele-
mento de id no tiene puntos jos en H. Si es abeliano entonces es
cclico.
Lema 1.3.6 Sean y dos elementos de un grupo Fuchsiano . Si es
hiperbolico y ,= id, una de las siguientes ocurre:
Los puntos jos de y coinciden.
y no tienen puntos jos en com un.
Lema 1.3.7 (Shimizu) Sea un grupo Fuchsiano que contiene a la traslacion
0
= z + 1. Entonces, para todo cuya representacion matricial es
A =
_
a b
c d
_
a, b, c, d R ad bc = 1
se cumple que [c[ 1 dado que c ,= 0. Mas a un, si
0
no es una potencia
de alg un elemento de , entonces, cualesquiera dos puntos en el domino
D = z H [ y 1 ; 0 < x 1 no se identican bajo alg un elemento
de .
Demostracion. Supongamos que existe alg un cuya representacion matri-
cial es A SL(2, R) con 0 < [c[ < 1. Sea
A
0
=
_
1 1
0 1
_
,
que es la representacion matricial de
0
. Si tomamos A
1
= A y A
n+1
=
A
n
A
0
(A
n
)
1
, para cualquier entero positivo n, vemos que A
n
se escribe como
A
n
=
_
a
n
b
n
c
n
d
n
_
,
donde a
n
= 1 a
n1
c
n1
, b
n
= (a
n
1)
2
, c
n
= (c
n1
)
2
y d
n
= 1 +a
n1
c
n1
.
Entonces, c
n
= c
2
n1
0 cuando n . Tomando M = max[a[, 1/(1
[c[), obtenemos inductivamente que [a
n
[ M para cualquier n. Entonces,
a
n
, b
n
, y d
n
convergen a 1 cuando n 1. Por lo tanto, A
n
converge a A
o
, lo
que contradice que es discreto.
Como
0
no es una potencia de alg un elemento de , no puede tener
elementos con un punto jo en excepto por potencias de
0
.
Ahora sabemos que cualquier que no esta en el subgrupo cclico
generado por
0
tiene [c[ 1. Entonces, aplicando a la parte superior de
la recta y = 1, i.e. a los z = x + iy tal que y 1, obsevamos que
Im(z) =
y
(cx + d)
2
+ (yc)
2

1
yc
2
1
de donde podemos concluir la segunda parte del lema. 2
1.4. Homotopa de lazos 21
Lema 1.3.8 Sea un subgrupo de Aut(H), con id libre de puntos
jos y tal que la accion de es propia y discontinua en H. Si es abeliano,
entonces es cclico.
Proposicion 1.3.9 Sea R una supercie de Riemann con H su cubriente
universal y un modelo Fuchsiano de R actuando en H. Sea (z) = (az +
b)/(cz + d), a, b, c, d R, ad bc = 1 un elemento hiperbolico de y L
la
geodesica cerrada en R correspondiente a . Entonces, la distancia hiperbolica
l(L
) de L
satisface que
tr()
2
= (a + d)
2
= 4 cosh
2
(l(L()/2)).
Demostracion. Si consideramos conjugacion con un elemento de Aut(H),
entonces, l() y tr
2
() son invariantes bajo esta conjugacion, as podemos
suponer que (z) = z( > 1). Podemos ademas suponer que a =
,
b = c = 0 y d = 1/a, en este caso
l(L
) =
_

1
dy
y
= log = 2 log(
) = 2 log a
de aqui obtenemos
4 cosh
2
(l(L
)/2) = (e
l(L
)/2
+ e
l(L
)/2
)
2
= (a + 1/a)
2
= (a + d)
2
de donde tenemos la armacion. 2
Teorema 1.3.10 Sea un modelo Fuchsiano de una supercie de Riemann
cerrada de genero g( 2). Entonces unicamente posee elementos hiperboli-
cos distintos de la identidad.
Demostracion. La prueba se da mas adelante ocupando geometra hiperboli-
ca. 2
1.4. Homotopa de lazos
Denicion 1.4.1
Sea S una supercie de Riemann conexa y sean x
0
, x
1
S. Una trayectoria
en S que une a x
0
con x
1
es una aplicacion continua : [0, 1] S tal que
(0) = x
0
y (1) = x
1
. Si ademas x
0
= x
1
, decimos que es un lazo basado
en x
0
.
Denicion 1.4.2
Sean , dos lazos en S. Decimos que y son homotopicamente libres
si existe una aplicacion continua F : [0, 1] [0, 1] S tal que
F(t, 0) = (t)
F(t, 1) = (t)
F(0, s) = F(1, s)
Figura 6. Homotopa libre
Proposicion 1.4.3 Ser homotopicamente libres es una relacion de equiv-
alencia en el conjunto de todos los lazos en S. Denotaremos con (S) al
conjunto de clases de lazos modulo la relacion de equivalencia de ser ho-
motopicamente libres.
Recordemos que si G es un grupo Int(G) denota el grupo de todos los
automorsmos de G de la forma g h
1
g h, para una h en G.
Lema 1.4.4 Si es un lazo en S y es una curva en S tal que (1) = (0),
entonces
1
es homotopicamente libre a .
Teorema 1.4.5 Existe una aplicacion biyectiva entre
1
(S)/Int(
1
(S)) y
(S).
Demostracion. Sea x H y T
1
(S)

= Deck(
S/S). Tomemos ahora un

camino que una x con T( x), denimos el lazo en S por = . Denotemos
1.4. Homotopa de lazos 23
por [T] a la clase de T modulo Int(
1
(S)) y por [] a la clase de modulo
homotopa libre. Denamos la siguiente aplicacion
:
1
(S)/Int(
1
(S))
[T] []
La aplicacion esta bien denida: [] no depende de la eleccion de ya que
H es simplemente conexo. Tampoco depende de x. Para ver esto tomemos
y H y

,
en H que unen a x con y y y con T( y), respectivamente. Como

H es simplemente conexo, por el lema anterior, es homotopicamente libre
a
; esto es, nuestra denicion no depende del punto x.

Por otra parte, sea un lazo en S, x
1
((0)) y un levantamiento de
tal que (0) = x. Entonces, existe un unico T
e

1
(S) tal que T
e
( (0)) =
(1). De igual forma, la aplicacion
:
1
(S)
1
(S)/Int(
1
(S))
[] [T
e
]
esta bien denida.
Sea y
1
((0)). Entonces, existe
1
(S) tal que ( y) = x. Sea

otro levantamiento de tal que

(0) = y; as,
1
T
e
(
(0)) =
1
T
e
( y) =
1
T
e
( x) =
1
( (1) =

(1), y por unicidad tenemos que T
e
=
1
T
e
. Esto
es, T
e
y T
e
, denen la misma clase modulo Int(

1
(S)). Por ultimo, tenemos
que si y son homotopicamente libres, podemos levantar la homotopa con
lo que [T] queda ja; asi, esta bien denida. Finalmente, es claro que y
son inversas entre si. 2
1.4.1. Lazos geodesicos
Proposicion 1.4.6 Si S es una variedad hiperbolica completa y compacta,
entonces, cualquier elemento no trivial de
1
(S) act ua en H como una isometra
hiperbolica.
Demostracion. Sea f
1
(S) un elemento no trivial. Entonces f es una
isometra. Como la accion es libre, entonces f no es una isometria eliptica.
Supongamos por otra parte que f es parabolica. Entonces, existe una sucesion
x
n
de H tal que la d(x
n
, f(x
n
)) tiende a 0 cuando n . De aqui tenemos
que existen lazos no triviales tan peque nos como queramos lo que contradice
la compacidad de S. 2
Lema 1.4.7 Sea S una supercie hiperbolica. Sea c una curva cerrada en
la clase de homotopa libre de una geodesica cerrada en S y sean c y
levantamientos homotopicos en el cubriente universal D. Entonces, c y
tienen los mismos puntos al innito.
Demostracion. El subgrupo cclico de transformaciones de cubierta que deja
invariante a deja tambien invariante a c. Entonces, existe una constante
d > 0 tal que dist(c(t), (t)) d para todo t R, y de aqui se sigue que
tienen los mismos puntos al innito. 2.
Proposicion 1.4.8 Sea S una supercie hiperbolica completa y compacta.
Entonces, cualquier elemento no trivial de
1
(S) contiene un lazo geodesico.
Demostracion. Sea un lazo no trivial en S y T
1
([]). Entonces,
T es una isometra hiperbolica. Luego, existe una unica linea geodesica ,
T-invariante. La proyecci on en S de es un lazo geodesico que representa la
misma clase que .
Para probar la unicidad, sea otra geodesica cerrada en la clase de ho-
motopa libre de y . Si levantamos la homotopa a H, para obtener lev-
antamientos homotopicos y

, entonces, por el lema anterior, tienen los
mismos puntos al innito y por lo tanto como son geodesicas coinciden como
conjunto de puntos.
2
Teorema 1.4.9 Sea S una supercie hiperbolica completa y compacta. Sean
1
, ...,
s
lazos simples no triviales en S, que no se intersectan por pares, y
ademas no son homotopicamente libres. Entonces, existen lazos geodesicos
simples
1
, ...,
s
que no se intersectan por pares, no homotopicamte libres,
tales que
i
es homotopicamente libre a
i
para i = 1, ..., s. Ademas, los lazos
estan unicamente determinados.
Demostracion.
La unicidad se deriva claramente de la proposicion anterior, i.e., la unica
eleccion para nuestro lazo geodesico
i
es la que esta en la misma clase de
homotopa libre que
i
.
1.5. Aplicaciones Cuasiconformes 25
Veamos que esta eleccion cumple con el teorema, esto es:
a) Si i ,= j,
i
no es homotopicamente libre a
j
.
b) Si i ,= j,
i
no se intersecta con
j
.
c)
i
es un lazo simple.
a) Supogamos que
i
es homotopicamente libre a
j
. Como la homotopa
libre es una relacion de equivalencia, esto dira que
i
es homotopicamente
libre a
j
, lo que es una contradiccion.
b) Observemos que podemos levantar la homotopa entre
i
y
i
, entonces
por el ultimo lema probado
i
y

i
tienen los mismos puntos al innito.
De igual forma pasa para
j
y

j
. Supongamos que
i
y
j
se intersectan
entonces podemos suponer que sus levantamientos se intersectan y como
no tienen los mismos puntos, estos estan alternados en D y por el teorema
de la curva de Jordan los levantamientos de
i
y
j
se intersectan lo cuales
una contradiccion.
c) La prueba de que es simple ocupa las mismas ideas, basicamente es levan-
tar la curva y observar que si
i
se autointersecta entonces podemos hacer
dos levantamientos que tienen distintos puntos al innito y entonces lo
mismo podemos hacer con
i
lo que nos dice que se autointersecta. 2
1.5. Aplicaciones Cuasiconformes
La dencion analtica de una aplicacion cuasiconforme depende de la no-
cion de absolutamente continua en lineas, que abreviamos ACL. La funcion
f(z) = u(x, y) +iv(x, y) es ACL si para cualquier rectangulo en con lados
paralelos a los ejes x y y, ambos u(x, y) y v(x, y) son absolutamente contin-
uos en casi cualquier linea horizontal y vertical en R. Entonces las funciones
u y v tendran derivadas parciales u
x
, u
y
, v
x
, v
y
casi en todos lados de . Las
derivadas parciales complejas son por dencion,
f
z
= 1/2(f
x
if
y
) y f
z
= 1/2(f
x
+ if
y
).
Denicion 1.5.1
Sea f un homeomorsmo de un dominio T a un dominio T
. Entonces f es
K-cuasiconforme o K-qc si
1. f es ACL en ; y
2. [f
z
[ k[f
z
[ casi en todos lados, donde k = (K 1)/(K + 1) < 1
Llamamos al nmo de los K( 1) tal que f es K-qc la maxima dilatacion
de f y la denotamos por K
f
o K(f).
Teorema 1.5.2 .
1. El inverso de una aplicacion K-qc es tambien K-qc.
2. K-cuasiconformidad ese conformemente invariante. Esto es, para cua-
lesquiera aplicaciones conformes h y g de dominios D y D
, respectiva-
mente, y para cualquier aplicacion K-qc f de D sobre D
, la composi-
cion g f h
1
es tambien K-qc.
3. Para cualquier aplicacion K
1
-qc f de un dominio D y para cualquier
aplicacion K
2
-qc g de f(D), la composicion g f es K
1
K
2
-qc.
Proposicion 1.5.3 Si f es cuasiconforme en un dominio D, entonces f
z
,=
0 casi en todos lados de D.
De la proposicion anterior, para cualquier aplicacion cuasiconforme f de
un dominio D, podemos considerar la cantidad
f
=
f
z
f
z
casi en todos lados de D. Esta
f
es una funcion medible de D , y satisface
ess. sup
zD
[
f
(z)[
K
f
1
K
f
+ 1
< 1
Llamamos a
f
la dilatacion compleja de f en D.
Proposicion 1.5.4 Para cualesquiera aplicaciones cuasiconformes f y g de
un dominio D, la dilatacion compleja
gf
1 de la composicion gf
1
esta da-
da por
gf
1 f =
f
z
f
z
g

f
1
f
g
, casi en todos lados de D.
1.5. Aplicaciones Cuasiconformes 27
Denotamos por L
(D) el espacio de Banach complejo de todas las fun-

ciones medibles en un dominio D. Aqui, la norma esta dada por
||
= ess. sup
zD
[
f
(z)[, L
(D).
Sea B(D)
1
la bola unitaria L
(D)[ ||
< 1 de L
, y llamemos
a cada elemento de B(D)
1
un coeciente de Beltrami en D. Primero note-
mos que una aplicacion cuasiconforme con dilatacion compleja prescrita es
esencialmente unica, de hecho tenemos el siguiente teorema y las siguientes
proposiciones.
Teorema 1.5.5 Sea un elemento arbitrario de B(D)
1
. Supon que existe
una aplicacion cuasiconforme f con dilatacion compleja
f
= . Entonces
para cada aplicacion conforme h en f(D), la composicion hf tiene la misma
dilatacion compleja.
Recprocamente para cada aplicacion cuasiconforme con
g
= , la com-
posicion g f1 es una aplicacion conforme de f(D).
Proposicion 1.5.6 Para cualquier coeciente de Beltrami B(C)
1
, existe
un homeomorsmo f de

C sobre

C que es una aplicacion cuasiconforme de
C con dilatacion compleja .
Mas a un, f esta unicamente determinado por las siguientes condiciones
de normalizacion:
f(0) = 0, f(1) = 1, f() = .
Llamamos a esta f, la aplicacion canonica -qc de

C, o la aplicacion
cuasiconforme canonica de

C con dilatacion compleja , y lo denotamos por
f
.
Proposicion 1.5.7 Sea un elemento arbitrario de B(H)
1
. Entonces existe
una aplicacion cuasiconforme w de H sobre H con dilatacion compleja .
Mas a un, w (la cual puede ser extendida a un homeomorsmo de H en
si mismo) esta unicamente determinado por las siguientes condiciones de
normalizacion:
w(0) = 0, w(1) = 1, w() = .
Llamamos a esta w, la aplicacion canonica -qc de H, o la aplicacion
cuasiconforme canonica de H con dilatacion compleja , y lo denotamos por
w
.
2
El espacio de Teichm uller
Existen varias deniciones del espacio de Teichm uller de genero g 2 que
son equivalentes. En este captulo introduciremos algunas de ellas, veremos
la biyecci on entre ellas, ademas daremos dos sistemas de coordenadas para
este espacio, el primero esta modelado con grupos Fuchsianos, que nos permi-
tira verlo como un subconjunto de R
6g6
, el segundo sistema esta modelado
a traves de la estructura hiperbolica de una supercie de Riemann de genero
g 2, as como en la existencia de la descomposicion en pantalones de la
misma. Esto nos permitira dar una biyecci on del espacio de Teichm uller T
g
con el conjunto (R
+
)
3g3
R
3g3
.
En la primera seccion damos dos deniciones del espacio de Teichm uller,
la primera con supercies marcadas y la segunda con difeomorsmos, luego
exihibimos una biyeccion entre ellas.
En la siguiente seccion denimos el espacio de Fricke y probamos que se
identica con el espacio de Teichm uller. Para esto ocupamos fuertemente los
resultados del captulo anterior en la seccion de modelos y grupos fuchsianos.
Mas adelante desarrollamos las coordenadas de Fenchel-Nielsen y probamos
que se identica con el espacio de Fricke. Esta seccion se basa en los resulta-
dos de la geometra de polgonos hiperbolicos as como de la homotopa libre
en supercies hiperbolicas.
Por ultimo introducimos dos nociones nuevas de espacio de Teichm uller
utilizando aplicaciones cuasiconformes, mostramos ademas su identicacion
con las primeras dos y ademas vemos la relacion que tiene el espacio de
Teichm uller con las diferenciales cuadraticas holomorfas.
30 2. El espacio de Teichm uller
2.1. Supercies de Riemann marcadas
En todo este captulo suponemos que R es una supercie de Riemann
cerrada de genero g 2. Ademas de esto siempre pensamos que tenemos
una aplicacion cubriente universal : H R y recordamos que R es isomor-
fo a H/ donde , el grupo de transformaciones de cubierta del cubriente
(H, , R), es un grupo fuchsiano que a su vez se identica con
1
(R, p).
Un sistema canonico de generadores
p
= [A
j
], [B
j
]
g
j=1
del grupo fun-
damental
1
(R, p) de una supercie de Riemann R se llama una marca en
R. Dos marcas
p
y
p
son equivalentes si existe una curva C
o
en R tal que
para 1 j g, [A
j
] = [C
1
o
A
j
C
o
] y [B
j
] = [C
1
o
B
j
C
o
].
Sean
p
y
q
marcas en supercies de Riemann R y S de genero g 2,
respectivamente. Dos pares (R,
p
) y (S,
q
) se dicen equivalentes si existe
una aplicacion biholomorfa h : S R tal que la marca h
(
q
) es equivalente
a
p
. La clase de equivalencia de (R,
p
) se denota por [R,
p
], y se llama
supercie de Riemann marcada de genero g.
Denicion 2.1.1
El espacio de Teichm uller de genero g es el conjunto de todas supercies
de Riemann marcadas de genero g y lo denotamos por T
g
.
Fijamos una supercie de Riemann cerrada R de genero g. Consideremos
un par (S, f) arbitrario que consiste de una supercie de Riemann cerrada S
y un difeomorsmo f : R S que preserva orientacion. Dos pares (S, f) y
(S
, g) se dicen equivalentes si gf
1
: S S
es homotopico a una aplicacion

biholomorfa h : S S
. Sea [S, f] la clase de equivalencia de (S, f).

Denicion 2.1.2
El espacio de Teichm uller de R es el conjunto de todas las clases de
equivalencia [S, f] y lo denotamos por T(R).
2.2. El espacio de Fricke 31
El espacio de Teichm uller de genero g se identica con el espacio de Te-
ichm uller de una supercie de Riemann cerrada R de genero g. Para ver
esto, jamos una marca en R con punto base p
0
. Para cada punto [S, f] en
T(R), una marca f
() en S determina un punto [S, f
()] en T
g
. [S, f
()]
no depende del representante de [S, f] en T(R), esto se ve del lema 2.4.2.
Entonces, denimos la aplicacion
: T(R) T
g
como
([S, f]) = [S, f
()]
para todo [S, f] T(R).
Teorema 2.1.3 La aplicacion
: T(R) T
g
es biyectiva.
Demostracion. Supongamos primero que los pares (S, f) y (S
, g) son taltes
que [S, f
()] = [S
, g
()].
Esto signica que existe un biholomorsmo h : S S
tal que h
(f
())
es equivalente a g
(). As que la curva diferenciable que une a h(f(p)) con

g(p). Esta curva induce el isomorsmo
:
1
(S
, h(f(s
0
)))
1
(S
, g(s
0
)),
de modo que
() = g
(). El teorema de Nielsen, implica que

existe un homeomorsmo f
0
homotopoci a la identidad tal que f
0
h f es
homotopico a g, y por lo tanto
[S, g] = [S, f
0
h f].
Ademas, f
0
h f f
1
es homotopico a h, entonces, [S
1
] = [S
2
, f
0
h f].
Por lo tanto
es inyectiva.
Consideremos un elemento [S,
] T
g
, por el teorema de Nielsen existe
un homeomorsmo f : R S tal que [S, f
()] = [S,
]. Entonces, es
posible probar que existe un difeomorsmo f
0
que sea homotopico a f.
2
2.2. El espacio de Fricke
En esta seccion deniremos un sistema de coordenadas, llamadas las co-
ordenadas de Fricke en el espacio de Teichm uller T
g
de genero g 2. Para
esto usaremos un sistema canonico de generadores de modelos Fuchsianos.
Como lo denimos antes, el espacio de Teichm uller T
g
de genero g( 2)
consiste de todas las supercies marcadas [R, ] de genero g, donde =
[A
j
], [B
j
]
g
j=1
es un sistema canonico de generadores del grupo fundamental
1
(R, p
0
). Si 1 j g denotamos por
j
,
j
a los elementos de correspon-
dientes a [A
j
], [B
j
] en
1
(R, p), respectivamente.
Un modelo Fuchsiano de R tiene la ambig uedad causada por los
automorsmos internos de Aut(H); i.e., para cada Aut(H), el grupo
1
es un grupo Fuchsiano de R tambien. Se pueden dar condiciones para
asignar un unico modelo Fuchsiano a cada marca en R. Estas condiciones
son llamadas condiciones de normalizacion:
1.
g
tiene sus puntos jos repulsor y atractor en 0 y , respectivamente.
2.
g
tiene su punto jo atractor en 1.
Proposicion 2.2.1 Dada una marca en una supercie de Riemann R de
genero g 2, un sistema canonico de generadores
j
,
j
g
j=1
de un modelo
Fuchsiano de R que satisface las condiciones de normalizacion con respecto
a esta determinado por el punto [R, ] en T
g
.
Demostracion. Supongamos que R
son tales que [R, ] = [R
]
en T
g
. Entonces, existe un biholomorsmo f : R R
tal que f
() es
equivalente a
. Un levantamiento

f de f a H, que es un elemento de Aut(H),
satisface
j
=

f
j

f
1
y
j
=

f
j

f
1
,
De la condicion 1) tenemos que

f(z) = z para alg un > 0. Finalmente, por
la condicion 2)
g
y
g
tienen su punto jo en com un en 1, entonces = 1,
lo que implica que

f = id.
2
Lema 2.2.2 Sea
j
,
j
g
j=1
el sistema canonico de generadores del modelo
Fuchsiano normalizado para un punto [R, ] en T
g
. Si un elemento (z) =
(az + b)/(cz + d) de
j
,
j
g
j=1
no coincide con
g
, entonces bc ,= 0.
Demostracion. En el caso b = c = 0, tenemos que los puntos jos de son
el 0 e ; entonces, y
g
conmutan lo que es una contradiccion. Si b = 0 y
c ,= 0, tenemos que 0 es un punto jo de , como tambien lo es de
g
. Pero,
2.2. El espacio de Fricke 33
por el lema 1.3.6, no es Fuchsiano. Por el mismo argumento, de b ,= 0 y
c = 0 obtenemos una contradiccion. 2
De acuerdo con este lema, el sistema canonico de generadores del modelo
Fuchsiano normalizado para un punto [R, ] en T
g
se escribe de manera
unica de la forma
j
=
a
j
z + b
j
c
j
z + d
j
, a
j
, b
j
, c
j
, d
j
R, c
j
> 0, a
j
d
j
b
j
c
j
= 1,
j
=
a
j
z + b
j
c
j
z + d
j
, a
j
, b
j
, c
j
, d
j
R, c
j
> 0, a
j
d
j
b
j
c
j
= 1
para cada j = 1, ..., g 1.
Podemos denir la coordenadas de Fricke de la siguiente manera
T
g
: T
g
R
6g6
[R, ] (a
1
, c
1
, d
1
, a
1
, c
1
, d
1
, ..., a
g1
, c
g1
, d
g1
, a
g1
, c
g1
, d
g1
).
Cabe recalcar que en esta denicion no aparecen bj ni bj
. La imagen
F
g
= T
g
(T
g
) se llama el espacio de Fricke de una supercie de Riemann
de genero g. Su topologa es la de subespacio de R
6g6
.
Teorema 2.2.3 La funcion T
g
: T
g
R
6g6
es inyectiva.
Demostracion. Lo que queremos probar es que cada punto T
g
([R, ]) =
(a
1
, c
1
, d
1
, ..., a
g1
, c
g1
, d
g1
) en F
g
determina de manera unica el sistema
canonico de generadores del modelo Fuchsiano normalizado para el punto
[R, ] en T
g
. Para j ,= g, b
j
se obtiene de la relacion a
j
d
j
b
j
c
j
= 1 con
c
j
> 0, de este modo
j
esta determinado de manera unica. Analogamente
j
esta determinado de manera unica.
Ahora veamos que
g
y
g
estan determinados de manera unica. De las
condiciones de normalizacion para ,
g
= z con > 1 y
g
tiene un punto
jo en z = 1, lo que implica que a
g
+ b
g
= c
g
+ d
g
.
Ademas, de la relacion del grupo fundamental
g
j=1
[
j
,
j
] = id, haciendo
=
g1
j=1
[
j
,
j
] tenemos que
g
=
g
1
g
. Sea (z) = (az+b)/(cz+d),
con ad bc = 1. De las entradas de la ecuacion anterior tenemos que:
(a 1)a
g
+ bc
g
= 0,
(a )b
g
+ bd
g
= 0,
ca
g
+ (d 1)c
g
= 0,
cb
g
+ (d 1)d
g
= 0.
De estas ecuaciones, si multiplicamos por b la tercera, ocupamos el hecho
de que ad bc = 1 y sustituimos el valor de (a 1)a
g
en esta, tenemos que
(1ad)a
g
+(d1)(a1)a
g
= 0, como a
g
,= 1, obtenemos a1 = (1d).
Como es hiperbolica a ,= 1,d ,= 1,lo que implica que = (a 1)/(1 d).
Esto determina
g
de manera unica.
Como a ,= 1 y d ,= 1, de las dos primeras ecuaciones tenemos
a
g
=
bc
g
1 a
, d
g
=
cb
g
1 d
Sustituyendo estas ecuaciones en la ecuacion a
g
+ b
g
= c
g
+ d
g
tenemos
que
(a + b 1)
(1 a)
c
g
=
c + d 1
1 d
b
g
.
En este caso, si c + d = 1, a + b = 1, y de la relacion ad bc = 1,
tenemos que a + d = 2, lo que es de nuevo una contradiccion. Por lo tanto,
g
esta determinada de manera unica. 2
2.3. Coordenadas de Fenchel-Nielsen
Se puede descomponer una supercie hiperbolica en pantalones (esferas
con 3 discos removidos). La construccion de esta descomposicion consiste en
tomar un conjunto maximal de curvas cerradas simples no homotopicamente
libres entre si. De esta eleccion, por los resultados del primer captulo, se tiene
que podemos sustituir cada curva por una geodesica cerrada y simple en su
misma clase de homotopa, lo que nos da una descomposicion en pantalones
con geodesicas como fronteras.
La idea de la parametrizacion del espacio de Teichm uller con coordenadas
de Fenchel-Nielsen es que la estructura hiperbolica de cada pantal on esta de-
terminada por la longitud de sus 3 fronteras geodesicas. Despues de observar
esto se tiene que toda supercie hiperbolica completa compacta se obtiene de
2.3. Coordenadas de Fenchel-Nielsen 35
pegar estos pantalones de alguna forma; es aqu donde vienen otros paramet-
ros, los parametros de giro a la hora de pegar. Veremos que estos parametros
determinan a cada punto del espacio de Teichm uller, lo que nos dara una
biyeccion con el conjunto (R
+
)
3g3
R
3g3
.
Empezaremos estudiando la estructura hiperbolica de un pantal on o par
de pantalones P que por denicion sera un espacio topologico homeomorfo
a S
2
(D
1
D
2
D
3
), donde S
2
es la esfera y D
i
es un disco.
Lema 2.3.1 Sea P un par de pantalones con fronteras L
1
,L
2
y L
3
, entonces
existen unicas geodesicas C
ij
de tal forma que C
ij
es ortogonal a L
i
y L
j
.
Mas a un si i, j ,= i
, j
entonces C
ij
C
i
j
en particular los C
ij
s dividen
a cada L
k
en dos arcos no triviales.
Figura 7. Construccion de la geodesica ortogonal a L
i
y L
j
.
Demostracion.
Sea
ij
una curva simple que une a L
i
con L
j
. Si tomamos P
una copia
de P y la identicamos por las respectivas fronteras (L
i
con L
i
) entonces
obtenemos una supercie Q de genero 2, la union de
ij
con
ij
es una curva
cerrada en Q y podemos considerar

C
ij
la unica geodesica simple en la clase
de homotopa de
ij
ij
. Si C
ij
es la restriccion de

C
ij
a P, entonces C
ij
une
a la frontera L
i
con L
j
; mas a un, la estructura hiperbolica de Q es simetrica
con respecto a las fronteras, i.e., si intercambiamos P con P
la estructura
hiperbolica es la misma. Como

C
ij
es unica, debe de ser simetrica con respecto
a las L
k
s, lo que implica que C
ij
es ortogonal a L
i
y L
j
. Si i, j ,= i
, j
,
entonces y
i
j
no son homotopicas
ij

ij
. Por el teorema 1.4.9,
C
ij

C
i
j
= . Ademas, los puntos nales de los C
ij
s son distintos en cada
L
k
.
2
De esta forma se puede descomponer a P en dos hexagonos H
1
y H
2
de
angulos perpendiculares, en los que 3 de sus lados tienen medidas C
12
, C
13
y C
23
. Entonces como estos hexagonos tienen 3 lados iguales, los cuales no
son consecutivos, del teorema 1.2.12 sabemos que son isometricos (uno es
reejado del otro) por lo que las longitudes de los lados restantes son L
1
/2,
L
2
/2 y L
3
/2. Ademas sabemos que C
12
, C
13
y C
23
estan determinados por
L
1
,L
2
y L
3
.
Figura 8. Descomposicion de pantal on en hexagonos de angulos rectos.
De donde se sigue el siguiente teorema:
Teorema 2.3.2 Sea P un par de pantalones con fronteras geodesicas L
1
, L
2
y L
3
. Dados a
1
, a
2
, a
3
R, existe una unica estructura hiperbolica en P tal
que l(L
1
) = a
1
, l(L
2
) = a
2
y l(L
3
) = a
3
.
Dada una supercie de Riemann R. Si la cortamos alrededor de geodesicas
simples ajenas entre si hasta que ya no podamos hacerlo, cada componente
conexa sera un par de pantalones ( la gura muestra una manera de hacerlo),
al conjunto de las geodesicas utilizadas aqui lo llamamos sistema de curvas
maximal y lo denotamos por L. Como ya hemos visto, la estructura hiperboli-
ca en cada par de pantalones es unica. Esta claro que R se reconstruye al
pegar estos pantalones de una manera conveniente.
Podemos considerar un sistema de coordenadas para el espacio de Te-
ichm uller T
g
, el par que consiste en el conjunto de todas las longitudes de las
geodesicas que utilizamos en la descomposicion y el conjunto de los llamados
parametros de giro usados para pegar los pantalones. Este sistema genera
las llamadas coordenadas de Fenchel-Nielsen. Daremos una denicion de es-
tas coordenadas y probaremos que dan un sistema global de coordenadas en
T
g
. La siguiente proposicion es una consecuencia directa de la topologa de
supercies.
Figura 9. Distintas descomposiciones en pantalones de supercie de genero 2.
Proposicion 2.3.3 Sea L = L
j
N
j=1
un sistema de curvas maximal, y sea
T = P
k
M
k=1
la descomposicion en pantalones correspondiente a L. Entonces,
M = 2g 2 y N = 3g 3.
Demostracion. Cada pantalon tiene 3 fronteras y cada frontera se identica
con otra, por lo que 3M = 2N. Entonces solo hay que demostrar la proposi-
cion para el n umero de pantalones. Procederemos por induccion, para el caso
g = 2, se necesitan 2 = 2g 2 pantalones (la gura anterior muestra la forma
de hacerlo).
Figura 10. Construccion con pantalones de una supercie.
Ahora sea R, una supercie de genero g 1 descompuesta en 2(g 1) 2
pantalones, considera R
la supercie que corresponde a cortar R a lo largo de

la frontera de un pantal on. Sea S una supercie de genero 2, cortada alrededor
de la frontera de uno de los pantalones de su descomposicion. Si conectammos
las dos fronteras de R
con las de S obtenemos una supercie de genero

g, en la que el n umero de elementos de la descomposicion en pantalones
aumento en 2. De donde el n umero de elementos de la descomposicion es
(2(g 1) 2) + 2 = 2g 2.
2
Sea [R, ] T
g
y sea L = L
j
N
j=1
un sistema de curvas maximal en
R. Para toda t en el espacio de Fricke F
g
, denotamos por [R
t
,
t
] el punto
en T
g
correspondiente a t. Podemos determinar de manera unica un sistema
L
t
= L
j
(t)
N
j=1
de curvas maximales. Esto lo hacemos tomando un homeo-
morsmo f : R R
t
que preserve las marcas. Luego, para cada L
j
en L, sea
L
j
(t) la unica geodesica en la clase de homotopa de la curva f(L
j
) en R
t
.
El sistema L
j
(t)
N
j=1
es un sistema de curvas maximales. Denimos l
j
(t) la
funcion de longitud de la curva cerrada L
j
(t) entonces de la proposicion 1.3.9
que relaciona la longitud de la geodesica con la traza de la matriz asociada
al elemento de que la cubre, tenemos que
Lema 2.3.4 La funcion de longitud de una geodesica es analtica real.
Sea L
j
L. Sean P
1
y P
2
en T tales que L
j
es frontera de ambas. Como
todo pantal on es la union de dos hexagonos isometricos (reejados), P
1
y P
2
admiten reexiones J
1
y J
2
(que mandan un hexagono al otro)). Tomamos un
punto jo de J
k
en L para cada P
k
y lo denotamos c
k
. Fijamos una orientacion
en L.
Sea [R
t
,
t
] un punto en T
g
correspondiente a t F
g
. Para toda t, sea
P
1
(t), P
2
(t) las componentes conexas de R
t
L
t
correspondientes a P
1
y P
2
,
respectivamente. Recordemos que c
k
es el punto nal en L
j
de la geodesica
D
k
que une a L
j
con otra frontera, digamos, L
k
en P
k
. Denotemos por L
k
(t)
a la componente de la frontera correspondiente de P
k
(t) a L
k
, de la misma
manera se extienden las deniciones de D
k
(t) y c
k
(t) i.e. c
k
(t) es un punto
jo de la reexion de D
k
(t).
Sea T(t) el arco orientado en L
j
(t) de c
1
(t) a c
2
(t). Como L
j
(t) tiene una
orientacion dada por la de L
j
podemos denir la longitud hiperbolica con
signo (t) de T(t). Sea
j
(t) = 2
(t)
l
j
(t)
Figura 11
Entonces
j
(t) esta bien denida modulo 2. Llamamos a
j
(t) el parametro
de giro con respecto a L
j
.
Lema 2.3.5 Para cada j, exp(i
j
(t)) esta bien denida y es analtica real
en F
g
.
Demostracion. Fija j, para cualquier t en F
g
sea
t
el grupo fuchsiano
representado por t. Toma un elemento de
t
que cubra a L
j
(t), y denotalo
por (t). Ahora para cada k sea
k
(t) el elemento de
t
que cubre al L
k
(t)
y satisface que la geodesica

D
k
(t), conectando A(t) y A
k
(t) con distancia
mnima, se proyecta sobre D
k
(t), donde A(t) y A
k
(t) son los ejes de (t) y
k
(t) respectivamente.
Supongamos que los puntos jos de (t),
1
(t) y
2
(t) varan analtica-
mente real en F
g
. Entonces, tomando conjugacion con un elemento de Aut(H)
de tal forma que (t) va a (t)(z) = (t)z ((t) 1) los puntos jos de
k
(t)
correspondientes a
k
(t) varan analticamente (real) en F
g
para toda k.
Luego c
k
(t) es la proyeccion del punto de interseccion c
k
(t) de

D
k
(t) a
A(t). Entonces, si probamos que c
k
(t) vara analticamente real en F
g
, la
armacion se sigue de la denicion de (t) y el lema anterior.
Para probar esto, ja k y sean p
1
y p
2
los puntos jos de
k
. Sean c
k
(t) =
iy
k
(y
k
0). Como
y
2
k
+
_
p
1
p
2
2
_
2
=
_
p
1
+ p
2
2
_
2
vemos que la variacion el analtica real.
2
Figura 12
Hasta ahora hemos denido una aplicacion analtica (real) : F
g

(R
+
)
3g3
(S
1
)
3g3
;
(t) = (l
1
(t), . . . , l
3g3
(t), exp(i
1
(t)), . . . , exp(i
3g3
(t)))
Lema 2.3.6 Fija una rama continua univaluada del parametro de giro
j
(t)
en F
g
para toda j. Entonces
(t) = (l
1
(t), . . . , l
3g3
(t),
1
(t), . . . ,
3g3
(t))
es analtica en F
g
.
Mas a un:
Teorema 2.3.7

es un homeomorsmo de F
g
sobre (R
+
)
3g3
R
3g3
. En
particular

da un sistema de coordenadas en F
g
, y por lo tanto en T
g
. (Estas
son las llamadas coordenadas de Fenchel-Nielsen)
Demostracion.
Primero veamos que

es inyectiva. Supon que

(t
1
) =

(t
2
) para algunos
t
1
y t
2
en F
g
, Sea R
t
i
la supercie representada por t
i
y T
i
= P
k
(i)
2g2
k=1
la
descomposicion en pantalones de R
t
i
correspondiente a P, para cada i(i =
1, 2). Por el teorema 2.3.2 existe una aplicacion confome g
k
, de P
k
(1) a
P
k
(2) que respeta la correspondencia de la fronteras para cada k.
Mas a un
ds
1
= (g
k
)
(ds
2
)
donde ds
i
es la metrica hiperbolica en R
t
i
. En particular, cada g
k
es una
isometra hiperbolica de la cerradura de P
k
(1) sobre la cerradura de P
k
(2).
Como
j
(t
1
) =
j
(t
2
). Las g
k
s se pueden pegar en un homeomorsmo h que
preserva marcas. Como h es holomorfa en R
t
excepto por un n umero nito
de curvas analticas, h es holomorfa en todo R
t
i
por el teorema de Painleve.
Entonces h es bilolomorfa lo que dice que t
1
= t
2
. Por lo tanto

es inyectiva.
Ahora probaremos la suprayectividad. Sea (a
1
, . . . , a
3g3
,
1
, . . . ,
3g3
)
(R
+
)
3g3
R
3g3
, sea R una supercie de Riemann con descomposicion en
pantalones T = P
k
2g2
k=1
para cada P
k
T sea (L
k,1
, L
k,2
, L
k,3
) L las
fronteras de P
k
. Entonces existe un unico pantal on P
k
tal que las longi-
tudes de los L
k
s de P
k
son iguales a a
k,j
3
j=1
. Sea P
= P
2g2
j=1
, en-
tonces la idea es pegar los P
k
s como estaban pegados los P
k
s de tal forma
que si R
con su respectiva marca corresponde a t
F
g
entonces (t) =
(a
1
, . . . , a
3g3
,
1
, . . . ,
3g3
).
Para esto ja L
j
en L y sean P
1
y P
2
los elementos de T que se identican
en L
j
, sean P
1
y P
2
los elementos correspondientes a P
1
y P
2
en T
. Y sean
c
1
y c
2
los correspondientes puntos como en la denicion de
j
.Entonces,
para cada j pegamos P
1
y P
2
de tal forma que la distancia
j
de c
1
a c
2
sea
j
a
j
/2 (mod a
j
).
De la contrucci on anterior es claro que l
j
(t
) = a
j
y
j
(t
) = 2
j
/a
j
(=
j
) (mod 2). Haciendo T
j
: R
el giro de Dehn con respecto a L
j
(la curva en R
correspondiente a L
j
). podemos encontrar n
1
, . . . , n
3g3
tal
que [R
, (T
n
1
1
) T
n
3
g3
3g3
h)
()] corresponde a un punto digamos t
, que
satisface

(t
) = (a
1
, . . . , a
3g3
,
1
, . . . ,
3g3
).
Figura 13. Giro de Dehn.
Un giro de Dehn T
j
con respecto a L
j
es, por denicion un homeomorsmo
de R
sobre R
que corresponde a la siguiente ciruga: corta R
en L
j
y vuelve
a pegar despues de una rotacion de 2. Nota que aplicando T
j
, podemos
hacer que el valor de
j
aumente en 2 mientras que cualquier otro
j
(j
,= j)
se mantiene jo. Entonces por el lema 2.3.4

es continua. Por otra parte el
teorema de Teichm uller (Teorema 2.4.19) establece que F
g
es homeomorfo a
R
6g6
, entonces el teorema de Brower sobre invarianza de dominios implica
que

es un homeomorsmo.
Hemos probado que

es biyectiva y ademas es continua. Por otro lado
el teorema ?? arma que F
g
es homeomorfo a R
6g6
. Entonces el siguiente
teorema implica que

es de hecho un homeomorsmo.
2
Teorema 2.3.8 Teorema de invariaza de dominios de Brower Sea
n un entero mayor que 1. Sea : R
n
R
n
una funcion continua e inyectiva.
Entonces D = (R
n
) es un dominio, y es un homeomorsmo de R
n
sobre
D.
Observacion 2.3.9
Mas adelante estudiaremos el grupo modular de Teichm uller, es importante
remarcar que este grupo es generado, precisamente, por giros de Dehn en un
conjunto nito de curvas, este hecho fue probado de manera independiente
primero por Dehn y despues por Nielsen. Entonces, es posible estudiar la
accion del grupo modular a traves de las coordenadas de Fenchel-Nielsen.
2.4. Construccion Analtica de Espacios de Teichm uller 43
2.4. Construccion Analtica de Espacios de Teichm uller
En esta seccion daremos otras formas de denir el espacio de Teichm uller
de una supercie de Riemann genero g 2.
Sea R una supercie de Riemann ja de genero g 2. Para toda apli-
cacion cuasiconforme f : R S consideramos la pareja (S, f). Decimos que
(S
1
, f
1
) y (S
2
, f
2
) son equivalentes si f
2
f
1
1
es homotopica a una aplicacion
conforme de S
1
sobre S
2
. Denotamos por [S, f] la clase de (S, f).
Denicion 2.4.1
El conjunto de clases de equivalencia [S, f], es el espacio de Teichm uller de
R y lo denotamos por T(R).
Si id es la aplicacion identidad en R, llamamos a [R, id] el punto base de
T(R).
Sea

R la supercie cubriente universal de R. Para cualquier homeomor-
smo f : R S, existe un homeomorsmo

f, que es un levantamiento de
f, de

R a la supercie cubriente universal

S de S. Decimos que f es una
aplicacion cuasiconforme o K qc si el levantamiento

f es cuasiconforme o
Kqc. Por la invarianza conforme de aplicaciones cuasiconformes (Teorema
1.5.2), esta denicion no depende del levantamiento

f.
Consideramos ahora un modelo Fuchsiano de R. Podemos suponer que
no es conmutativo. El caso conmutativo corresponde a un grupo cclico
como se ve en el teorema 1.3.5, en este caso la supercie cociente H/ no
es compacta y no nos interesa. Mas a un que el conjunto de puntos jos de
elementos de if contiene al menos 3 elementos, ademas contiene 3
elementos que no conmutan entre si.
Consideramos el levantamiento

f : H H de una aplicacion cuasicon-
forme f : R S que ja 0,1 e (
f esta unicamente determinada, y es

la restriccion de una aplicacion cuasiconforme de

C a H). Llamamos a

f el
levantamiento canonico de f con respecto de .
Apartir de este levantamiento

f, podemos denir un homomorsmo (in-
yectivo)
f
: PSL(2, R),
dado por
f
() =

f

f
1
, .
La imagen de bajo
f
la denotamos por
1
:=

f

f
1
. Entonces,
f:
1
es un isomorsmo y S = H/
1
.
Lema 2.4.2 Sean [S
1
, f
1
], [S
2
, f
2
] T(R). Entonces [S
1
, f
2
] = [S
2
, f
2
] en
T(R) si y solo si
f
1
=
f
2
, donde

f
j
es el levantamiento canonico de f
j
para
cada j=1,2.
Demostracion. Supongamos que [S
1
, f
1
] = [S
2
, f
2
]. Componiendo con una
aplicacion conforme, podemos suponer que S
1
= S
2
, y que f
1
es homotopico a
f
2
. Una homotopa entre f
1
y f
2
se escribe como una familia a un parametro
f
t
1t2
de aplicaciones de R a S
1
. Sea

f
1
el levantamiento canonico de f
1
con respecto de . Entonces, la homotopa f
t
tiene un unico levantamiento
F
t
, bajo la condicion que

F
1
=

f
1
, y
F
t
da una homotopa entre

f
1
y un
levantamiento

F
2
de f
2
. Sea y z H. Entonces,
F
t
(z)[1 t 2 y
f
1

f
1
1
(

F
t
(z))[1 t 2 tienen los mismos puntos iniciales

f
1
(z), y
la misma proyecci on f
t
[ 1 t 2 en S
1
. Entonces, ambas curvas de hecho
coinciden. En particular, el punto nal

F
2
(z) coincide con

f
1

f
1
1
(

F
2
(z)).
Como z es arbitrario, concluimos que
F
2

F
1
2
=
f
1
().
Como ademas es tambien arbitrario, y como 0, 1, e es un punto
jo de alguno de los elementos de id, observamos que

F
2
ja 0,1, e
. De hecho, supongamos que 0 es un punto jo atractor de un elemento
hiperbolico
0
. Entonces,

F
2

0

F
1
2
=
f
1
(
0
) es tambien hiperbolico, y
tiene a 0 como punto jo atractor. De aqui concluimos que

F
2
(0) = 0.
Acabamos de demostrar que

F
2
coincide con el levantamiento canonico
f
2
de f
2
con respecto a , y por lo tanto
f
1
=
f
2
.
Reciprocamente, supongamos que
f
1
=
f
2
= . Entonces, para cada
obtenemos:
f
j
= ()

f
j
, j = 1, 2.
Para cada t en el intervalo [0, 1] y cada z H, sea g
z
la geodesica que
conecta

f
1
(z) y

f
2
(z). Denotemos por f(z, t) el punto que divide g
z
en razon
t : (1 t). Entonces,
f
t
(z) =

f(z, t 1)[1 t 2 es una homotopa entre
f
1
y

f
2
. De lo anterior tenemos que
f
t
= ()

f
t
, , t [1, 2].
Por lo tanto, cada

f
t
se proyecta a una aplicacion continua f
t
de R sobre
S
1
= S
2
, y tenemos ahora una homotopa entre f
1
y f
2
.
Figura 12. Homotopia entre

f
1
y

f
2
.
2
A partir de este lema, denimos
T
#
() =
_

f
: PSL(2, R)[
f es una aplicacion cuasiconforme

de

C tal que
f
() =

f

f
1
es un grupo Fuchsiano
_
Llamamos a T
#
() el espacio reducido de Teichm uller de .
Se puede probar que dos aplicaciones cuasiconformes f
j
satisfacen que
f
1
=
f
2
si y solo si

f
1
=

f
2
en L(). Aqu, L() es el conjunto de los puntos
de acumulaci on del conjunto (z
0
)[ . Por otro lado denimos el espacio
de Teichm uller T() de un grupo Fuchsiano de la siguiente forma.
Sea QC() el conjunto de aplicaciones cuasiconformes w en

C tal que
ww
1
son tambien grupos Fuchsianos. Decimos que w
1
,w
2
QC() son
equivalentes si w
1
= w
2
en R. Denotamos por [w] la clase de equivalencia de
w. Entonces denimos
T() := [w][w QC().
Llamamos a T() el espacio de Teichm uller de .
Observemos entonces que dos aplicaciones equivalentes en T() tambien
lo son en T
#
(). Luego, T
#
() es un tipo de espacio reducido de T().
El siguiente teorema nos dice que T() coincide con T
#
() cuando R =
H/ es una supercie de Riemann cerrada.
Lema 2.4.3 Supongamos que R es compacta. Dos aplicaciones cuasicon-
formes f
j
: R S
j
(j = 1, 2) satisfacen
f
1
=
f
2
si y solo si

f
1
=

f
2
en
R.
Demostracion.
Supongamos que

f
1
=

f
2
en R. Entonces, para toda , las transfor-
maciones de Mobius
f
1
() y
f
2
() coinciden en R. Entonces,
f
1
=
f
2
para
toda , lo que nos dice que
f
1
=
f
2
.
Reciprocamente, supongamos que
f
1
=
f
2
= . Fijemos un punto
z
0
H. Entonces, por el lema 1.3.3 para toda R existe una sucesion
n=1
en tal que lm
n
n
(z
0
) = . Mas a un, la sucesion
n
n=1
con-
verge localmente uniformemente en H a una funcion constante , esto por el
teorema 1.3.3. Como
f
j

n
(z
0
) = (
n
)

f
j
(z
0
),
si hacemos el lmite cuando n , podemos concluir que

f
1
() =

f
2
().
Como es arbitrario, vemos que

f
1
=

f
2
en R. 2
Usando este resultado podemos probar:
Proposicion 2.4.4 Sea un modelo Fuchsiano de una supercie de Rie-
mann R. Entonces, el espacio de Teichmuller T(R) de R se identica con
T
#
() (como conjuntos). Mas a un, si R es compacta, entonces T(R) tambien
se identica con T().
Demostracion. La aplicacion que : T(R) T
#
(), dada por ([S, f]) =
f
, esta bien denida y es inyectiva por el lema 2.4.2. Ademas para cada

f
como en la denicion de T
#
(), tomamos
1
=
f
(). Entonces

f se proyecta
a una aplicacion cuasiconforme f de R = H/ sobre S = H/
1
, y determina
un punto [S, f] T(R), por lo que la aplicacion tambien es suprayectiva. La
segunda parte de la proposicion se sigue del lema anterior.
2
Si tomamos un punto [S, f] T(R) y nos jamos en la dilatacion com-
pleja del levantamiento canonico

f de f con respecto de , entonces tenemos
que
f
()

f =

f , .
Entonces, para casi cualquier punto z H por la regla de la cadena tenemos
que:
(
f
()

f)

f
z
= (

f
z
)
f
()

f)

f
z
=

(f
z
)
De donde obtenemos que
f
= (
f
)
casi en todo punto de H, .

Reciprocamente, si esta ecuacion se cumple para cada , entonces
podemos ver que
f
() pertenece a Aut(H) y por lo tanto
f
() es un grupo
Fuchsiano, lo que dice que

f se proyecta a una aplicacion cuasiconforme entre
R y H/
f
().
Una funcion acotada y medible en H que satisface la ecuacion anterior
se llama una diferencial de Beltrami con respecto de . Denotamos por
B(H, ) el conjunto de las diferenciales de Beltrami en H con respecto de .
Ademas, denominamos
B(H, )
1
= B(H, ) [||
1.
Llamamos a todo elemento de B(H, )
1
coeciente de Beltrami con re-
specto de .
De igual manera, llamamos a una (1, 1)-forma = (z)d z/dz en R tal
que ||
= ess. sup
zR
[(z)[ < una diferencial de Beltrami en R.
Denotamos por B(R) al conjunto de todas las diferenciales de Beltrami en
R y denimos B(R)
1
de una forma analoga. LLamamos a cada elemento de
B(R)
1
un coeciente de Beltrami de R.
Observacion 2.4.5
Por denicion, B(R) y B(H, ) se identican con normas.
Ademas, para cada aplicacion cuasiconforme f de R sobre otra super-
cie de Riemann, la dilatacion compleja
f
B(H, )
1
del levantanmiento
canonico

f de f determina naturalmente un elemento de B(R)
1
. Llamamos
a el coeciente de Beltrami de f, y lo denotamos por
f
.
Para cualesquiera dos puntos p
1
= [S
1
, f
1
], p
2
= [S
2
, f
2
] T(R), sean
T
f
1
,f
2
el conjunto de todas las aplicaciones cuasiconformesg de S
1
sobre S
2
que son homotopicos a f
2
f
1
1
. Denimos
d(p
1
, p
2
) = inf
gF
f
1
,f
2
log K(g),
donde, K(g) es la maxima dilatacion de g (i.e., la del levantamiento de g). Se
puede probar que d dene una metrica en T(R). Llamamos a esta distancia
la metrica de Teichm uller entre p
1
y p
2
.
Observacion 2.4.6
La proposicion 1.5.4 implica que
log K(f g
1
) = ess. sup log
__
1 +

f

g
1
g

f
_
_
_
1

f
g
1
g
f
__
Teorema 2.4.7 El espacio de Teichm uller T(R) es completo con respecto a
la distancia de Teichm uller.
Demostracion. Tomemos cualquier sucesion de Cauchy p
n
= [S
n
, f
n
]
n=1
en T(R) con respecto a d. Para todo > 0 podemos encontrar N
tal que
para todas n, m N
, existe una aplicacion cuasiconforme f

n,m
homotopica
a f
m
f
1
n
que satisface que |
n,m
|
< , donde
n,m
=
f
n,m
. En particular,
podemos encontrar una subsucesion p
n
j
j=1
y una sucesion f
n
j
,n
j+1
j=1
de
aplicaciones cuasiconformes tales que
|
n
j
,n
j+1
|
< 2
j
, j = 1, 2, 3, .
Sea p
0
el punto base de T(R). Como d(p
0
, p
n
)
n=1
esta acotada, podemos
asumir que K(f
n
) < K para toda n con K sucientemente grande. Como
K(f
n
j
,n
j+1
)
1 + 2
j
1 2
j
1 + 4 2
j
vemos que
g
j
= f
n
j1
,n
j
f
n
j2
,n
j1
f
n
1
,n
2
f
n
1
es una aplicacion cuasiconforme de R sobre S
n
j
, homotopica a f
n
j
y satisface
K(g
j
) K
j1
j=1
(1 + 4 2
j
).
Entonces, K(g
j
)
j=1
es una sucesion acotada. Denotamos por K
1
al supremo
de K(g
j
).
Sea g
j
el levantamiento canonico de g
j
con respecto de . Entonces,
j
=
g
j
B(H, )
1
y |
j
|
k
1
= (1 K
1
)/(1 + K
1
)(< 1). Ademas,
1
2
|
j

j+1
|

_
_
_
_
j

j+1
1
j
j+1
_
_
_
_
= |
n
j
,n
j+1
|
2
j
para cada j. En particular,
j
j=1
es una sucesion de Cauchy en B(H, ).
Luego, = lm
j
j
existe en B(H, ), y cumple que ||
k
1
. Sea

f
la aplicacion canonica -qc de H. Luego podemos probar que

f pertenece a
QC(). Sea p = [S, f] el punto determinado por
f
. Como
tanh
_
d(p
n
j
, p)
2
_
_
_
_
_

j
1
j
_
_
_
_
1
1 (k
1
)
2
|
j
|
,
observamos que p
n
j
converge a p. Como el lmite de una sucesion de Cauchy
es unico, p
n
converge tambien a la misma p. Esto implica la completitud. 2
Si jamos un punto [R
1
, f
1
] T(R) arbitrario. Haciendo
[f
1
]
([S, f]) = [S, f f

1
1
], [S, f] T(R),
podemos denir una aplicacion [f
1
]
: T(R) T(R
1
) de T(R) sobre el espacio
de Teichm uller T(R
1
) con punto base [R
1
, id]. Mas a un,
Proposicion 2.4.8 La aplicacion denida [f
1
]
: T(R) T(R
1
) es un
homeomersmo isometrico con respecto de las distancias de Teichm uller. En
particular, T(R
1
) es homeomorfo a T(R).
Demostracion. Como [f
1
1
]
: T(R
1
) T(R) es la aplicacion inversa de
[f
1
]
, claramente [f
1
]
es una biyecci on. Para cualesquiera dos puntos p =

[S, f], q = [S
, g] T(R), la familia T
f,g
de aplicaciones cuasiconformes
homotopicas a g f
1 en la denicion de la distancia de Teichm uller coincide

con la familua T
ff
1
1
,gf
1
1
, de donde es claro que [f
1
]
es una isometra. 2
Llamamos a esta aplicacion una traslacion del espacio de Teichm uller
T(R).
Lo anterior nos dice que los T(R)s son mutuamente homeomorfos para
cualquier supercie de Riemann R del mismo genero (g 2). Esto es, no
depende del punto base. De esta forma podemos denotar a este espacio por
T
g
, y llamarlo espacio de Teichm uller de genero g 2. Probaremos aho-
ra que T(R) y T
g
denidos en esta parte coinciden con aquellos denidos
anteriormente.
2.4.1. Aplicaciones y Teoremas de Teichm uller
Una familia =
j
de funciones holomorfas
j
en z
j
(U
j
) se llama
diferencial cuadratica holomorfa en R si satisface.
k
(z
k
) = [
j
z
jk
(z
k
)](z
jk
(z
k
))
2
en U
j
U
k
,
donde z
jk
= z
j
z
1
k
.
Denotamos por A
2
(R) al espacio vectorial complejo de todas las difer-
enciales cuadraticas holomorfas en R. Una funcion holomorfa (z) en H tal
que
((z))
(z)
2
= (z), z H, .
es por denicion una forma automorfa holomorfa de peso 4 con respecto
de . Denotamos por A
2
(H, ) al espacio vectorial complejo de todas las
formas automorfas holomorfas de peso 4 con respecto a .
De estas deniciones vemos que, A
2
(R) esta canonicamente identicado
con A
2
(H, ).
Una aplicacion cuasiconforme localmente afn es una aplicacion entre su-
percies de Riemann tal que para alguna constante k(0 k < 1)
f
z
= kf
z
para alguna coordenada local z alrededor de casi cualquier punto en R.
Mas precisamente, estamos interesados en aplicaciones cuasiconformes f
entre supercies de Riemann cuyo coeciente de Beltrami
f
satisface
f
= k

||
con una en A
2
(R).
Sea k < 1 y A
2
(R) 0 dados. Llamamos a una aplicacion cuasi-
conforme f aplicacion formal de Teichm uller de R para un par (k, ), si
el coeciente de Beltrami
f
es igual a k

. Aplicaciones conformes corre-

sponden al caso k = 0 o = 0. Si sustituimos con c la expresion k

no
cambia con c > 0. Sea A
2
(R)
1
= A
2
(R)[ ||
1
< 1 el espacio vectorial
complejo donde
||
1
=
_ _
R
[(z)[dxdy.
Por ahora, consideramos el caso en el que tenemos una supercie de Rie-
mann cerrada. En este caso, A
2
(R) es un espacio de Banach complejo. Mas
a un, a traves del teorema de Riemann-Roch se puede probar que su dimen-
sion como espacio vectorial complejo es 3g 3, la prueba de esto se puede
encontrar en [3].
Consideremos la aplicacion
T : A
2
(R)
1
T(R),
denida por
T () = [S, f], A
2
(R)
1
,
donde f : R S = f(R) es una aplicacion de Teichm uller para ,= 0 y
f = id para = 0.
En el resto de la seccion probaremos que T : A
2
(R)
1
T(R) es un
homeomeorsmo (suprayectivo).
Empezaremos por demostrar que T(R) y T
g
denidos en esta seccion del
captulo corresponden a los denidos en la primera seccion. Usamos la no-
tacion T(R)
ant
y T
ant
g
para los denidos anteriormente. Esto es, T(R)
ant
es
el denido a partir de difeomorsmos de R y T
ant
g
es el denido a traves de
supercies de Riemann marcadas. Recordemos que T(R)
ant
y T
ant
g
se identif-
ican como se establece en el teorema 2.1.3 y que la topologa de T
g
esta dada
de tal forma que T
g
: T
g
F
g
es un homeomorsmo suprayectivo.
Por otra parte, si jamos una marca = [A
j
], [b
j
]
g
j=1
en R, tenemos la
aplicacion
: T(R) T
ant
g
dada por
([S, f]) = [S, f
()], [S, f] T(R),

donde f
() = f
([A
j
]), f
([B
j
])
g
j=1
. Por el lema 2.4.2, la proposicion 2.2.1 y
el teorema 2.2.3,
esta bien denida y es inyectiva. Recordemos ademas que

T(R)
ant
y T
ant
g
se identicaron con la misma
, por lo que
es suprayec-
tiva.
Tenemos entonces el siguiente lema:
Lema 2.4.9 Las aplicaciones
: T(R) T
ant
g
y T
: T(R) F
g
son
biyectivas, en particular F
g
= T
g

(T(R)).
Denimos

T = T
g
T : A
2
(R)
1
T(R) F
g
. Tenemos el siguiente:
Lema 2.4.10 La aplicacion

T : A
2
(R)
1
F
g
es continua.
De igual manera, tenemos el siguiente lema.
Lema 2.4.11 La aplicacion T
g

: T(R) F
g
es continua.
La inyectividad de

T se deriva del siguiente teorema de unicidad de Te-
ichm uller.
Teorema 2.4.12 Sea f una aplicacion de Teichm uller para un elemento
A
2
(R)
1
, y sea T () = [S, f]. Entonces cada aplicacion cuasiconforme f
1
de R en S que es homotopco a f satisface
|
f
1
|
|
f
|
.
Mas a un, la igualdad se cumple si y solo si f
1
= f
Las prueba de estos lemas y este teorema se pueden encontrar en el quinto
captulo de [6].
Corolario 2.4.13 Las aplicaciones T y

T son inyectivas.
Demostracion. Por el lema 2.4.9, es suciente probar la inyectividad de T .
Supongamos que T (
1
) = T (
2
) para algunos
1
,
2
A
2
(R)
1
. Sea f
j
una
aplicacion de Teichm uller para
j
y T (
j
) = [S
j
, f
j
] par cada j. Entonces
existe una aplicacion conforme h de S
1
sobre S
2
tal que h f
1
es homotopica
a f
2
. Entonces el teorema anterior nos dice que
|
f
1
|
= |
hf
1
|
|
f
2
|
.
De la misma forma, como h
1
f
2
es homotopica a f
1
, tenemos que
|
f
2
|
|
f
1
|
.
Entonces concluimos que |
f
1
|
= |
f
2
|
, lo que implica que h f

1
= f
2
.
En particular
f
1
=
f
2
.
Por lo tanto si
1
= 0, entonces
2
= 0. Si
1
,= 0, entonces |
1
|
1
=
|
2
|
1
, y
1
/[
1
[ =
1
/[
2
[ casi en todos lados de R. Por lo que concluimos
que
2
/
1
es positivo en casi todos lados de R. Como
2
/
1
es meromofa,
tiene que ser constante. Esto es, existe una constante positiva c tal que
1
=
c
2
. Pero |
1
|
1
= |
2
|
1
nos dice que c=1, con lo que
1
=
2
, que prueba
la inyectividad de T . 2
Lema 2.4.14 La imagen

T (A
2
(R)
1
) de A
2
(R)
1
bajo

T : A
2
(R)
1
F
g
es un
abierto y

T es un homeomorsmo sobre su imagen.
Demostracion. Por el lema 2.4.10 y el corolario 2.4.13,

T sabemos que es
continua en inyectiva. Como A
2
(R)
1
es homeomorfo a R
6g6
, el teorema de
invarianza de dominios de Brower da la armacion. 2
Lema 2.4.15 La aplicacion T : A
2
(R)
1
T(R) es un homeomorsmo sobre
su imagen.
Demostracion. Como T es inyectiva, T
1
esta bien denida en E = T (A
2
(R)
1
).
Como T
1
=

T
1
(T
), los lemas 2.4.11 y 2.4.14 implican que T

1
es
continua en E.
Falta probar que T es continua. Para esto jaemos un punto A
2
(R)
1
arbitrario, y sea p = T () = [R
1
, f
1
]. Considera la traslacion [f
1
]
: T(R)
T(R
1
) del punto base, que manda p al punto base [R
1
, id] de T(R
1
). Sabemos
que [f
1
]
es una isometra.
Denimos la aplicacion
T
1
= T
g

[f
1
]
1
T
1
: A
2
(R
1
)
1
F
g
.
Como

T
1
(0) = T
g

([S, f]) =

T (), el lema 2.4.14 implica que

T
1
1

T =
(T
1
)
1
[f
1
]
T : A
2
(R)
1
A
2
(R
1
)
1
esta bien denida en alguna vecindad
de , y es un homeomorsmo sobre su imagen. Entonces,

T es continua en
si y solo si esto es cierto para

T
1
en el origen.
Ahora, tomamos una sucesion
n
n=1
en A
2
(R
1
)
1
tal que |
n
|
1
0
cuando n . Como la dilatacion maxima de una aplicacion de Teichm uller
para
n
es igual a (1 +|
n
|
1
)/(1 |
n
|
1
) para cada n, tenemos que
d(T
1
(0), T
1
(
n
) log
1 +|
n
|
1
1 |
n
|
1
0 (n ).
Entonces, T
1
es continua en el origen. Como es arbitraria, concluimos
que T es continua. 2
Finalmente probaremos la suprayactividad de T , para esto ocuparemos
unos cuantos lemas.
Lema 2.4.16 Los espacios T(R) y F
g
son conexos.
Demostracion. Basta probarlo para T(R). Fijamos un punto [S, f] T(R),
y sea
f
= . Para cada t con 0 t 1, sea f
t
una aplicacion cuasiconforme
de R cuyo coeciente de Beltrami sea t. Sea S
t
= f
t
(R). Entonces, obten-
emos una curva continua [S
t
, f
t
] [ 0 t 1 en T(R) que conecta [R, id]
con [S, f]. Entonces, T(R) es arco-conexo. Por lo tanto T(R) es arco-conexo.
2
Lema 2.4.17 Las aplicaciones T y

T son suprayectivas. Esto es, T (A
2
(R)
1
) =
T(R) y

T (A
2
(R)
1
) = F
g
.
Demostracion. Como T
g

es suprayectiva por el lema 2.4.9, basta pro-

barlo para T . Por los lemas 2.4.11 y 2.4.14, tenemos
E = T (A
2
(R)
1
) = (T
)
1
(
T (A
2
(R)
1
)),
que es un abierto en T(R). Mas a un, el lema anterior implica que T(R) es
conexo. Entonces, la armacion se sigue si la frontera E de E es vaca en
T(R).
Supongamos lo contrario y tomemos una elemento [S, f] E. Entonces,
existe una sucesion
n
n=1
en A
2
(R)
1
tal que T (
n
) [S, f], y |
n
|
1
1
cuando n para cada n y f
n
una aplicacion de Teichm uller para
n
. Sea
T (
n
) = [S
n
, f
n
]. Por la hipotesis, existe una aplicacion cuasiconforme h
n
de
S
n
sobre S que es homotopica a f f
1
n
para cada n tal que |
h
n
|
0
cuando n . En particular, para una cierta k < 1, tenemos que
|
g
n
|
k, n = 1, 2, ,
donde g
n
= h
1
n
f. Por otra parte, como g
n
es homotopica a f
n
, el teorema
2.4.12 implica que
|
g
n
|
|
f
n
|
= ||
1 (n ).
lo cual es una contradiccion, por lo que E debe de ser vacia.
2
Como corolario a este lema, obtenemos el siguiente teorema de existencia
de Teichm uller.
Teorema 2.4.18 Para cualquier aplicacion cuasiconforme f : R S, existe
una aplicacion de Teichm uller homotopica a f.
El lema 2.4.17 termina la prueba del teorema de Teichm uller. Esto es,
hemos probado el siguiente teorema.
Teorema 2.4.19 La aplicacion T : A
2
(R)
1
T(R) es un homeomorsmo
suprayectivo. En particular, T(R) es homeomorfo a A
2
(R)
1
A lo largo de esta prueba, hemos probado que todas las representaciones
que consideramos como el espacio de Teichm uller de una supercie de Rie-
mann cerrada de genero g 2 son mutuamente homeomorfas.
Corolario 2.4.20 Los espacios T(R), T(R)
ant
, T
g
, T
ant
g
, F
g
y R
6g6
son
homeomorfos entre si.
3
El Grupo Modular de Teichm uller
En este captulo estudiamos la accion del grupo modular de Teichm uller
Mod(R) en el espacio de Teichm uller T(R). El resultado principal del captulo
es que la accion es propia y discontinua y los estabilizadores son nitos.
El espacio moduli de supercies de Riemann cerradas de genero g, M
g
,
i.e., el conjunto de clases de equivalencias conformes [S] de supercies de
Riemann S de genero g se identica con el espacio de orbitas de la accion
de Mod(R) en T(R). Entonces, podemos estudiar al espacio moduli M
g
me-
diante el espacio de Teichm uller T(R) y la accion del grupo modular de Te-
ichm uller. En particular, por todo lo que estudiamos en el captulo anterior,
M
g
es una variedad compleja singular de dimension 3g 3.
3.1. El Grupo Modular de Teichm uller
Sea QC(R) el grupo de homeomorsmos cuasiconformes de R en R. Y
QC
0
(R) el subgrupo de homeomorsmos cuasiconformes homotopicos a la
identidad.
Denicion 3.1.1
El Grupo Modular de Teichm uller, Mod(R), de la supercie de Rie-
mann R es Mod(R) := QC(R)/QC
0
(R).
Al elemento de Mod(R) denido por una aplicacion f
0
: R R lo deno-
tamos por [f
0
]. La accion de un elemento [f
0
] Mod(R) en T(R) esta dada
por
[f
0
]
([S, f]) := [S, f f

1
0
]
58 3. El Grupo Modular de Teichm uller
para cada [S, f] T(R). A [f
0
]
se le conoce como una transformacion

modular de Teichm uller de T(R). Esta accion esta bien denida, dos
aplicaciones homotopicas te denen la misma accion, es por eso que hemos
tomado el cociente con las aplicaciones homotopicas a la identidad.
Sea un modelo Fuchsiano de R. Sea w
i
un levantamiento de una apli-
cacion cuasiconforme f
i
de R en R con w
i
(w
i
)
1
= para i = 1, 2. Por el
mismo argumento que en la prueba del lema 2.4.2, donde [S
1
, f
1
] = [S
2
, f
2
]
si y solo si
f
1
=
f
2
, observamos que [f
1
] = [f
2
] en Mod(R) si y solo si
w
2
= w
1

0
se cumple en el eje real R para alg un
0
.
Dos aplicaciones cuasiconformes en H que satisfacen que w
i
(w
i
)
1
=
(i = 1, 2) se dicen equivalentes si existe un elemento
0
en tal que w
2
=
w
1

0
en R. Denotamos por [w] la clase de equivalencia de w.
Denicion 3.1.2
El grupo modular de Teichm uller Mod() de es el grupo de todas
estas clases de equivalencia [w].
La accion de un elemento [w] Mod() en T() esta dada por
[w]
([w
]) := [ w
w
1
]
para todo [w
] T(), donde es un elemento de Aut(H) de tal forma que

w
w
1
je 0, 1 e . Por construccion, es claro que Mod() es isomorfo
a Mod(R).
Por la identicaci on de T() con T(R), la distancia de Teichm uller en
T(R) induce la distancia de Teichm uller en T(). Entonces observemos que
la accion de Mod(R) en T(R) coincide con la traslacion que denimos en
el captulo anterior y la proposicion 2.4.8 dice que esta traslacion es una
isometra, tenemos el siguiente:
Teorema 3.1.3 Para cualquier elemento [w] Mod(), el automorsmo
[w]
de T() denido por [w] es una isometra con respecto a la distancia de

Teichm uller.
3.2. Discontinuidad del Grupo Modular de Teichm uller
Probaremos ahora que el grupo modular de Teichm uller act ua propia y
discontinuamente en el espacio de Teichm uller T(). Esto es, si K T() es
3.2. Discontinuidad del Grupo Modular de Teichm uller 59
un subconjunto compacto, entonces
[h : h(K) K ,= [ < .
Sabemos que el grupo modular act ua como un grupo de isometras con la
distancia de Teichm uller. Entonces, probar que act ua de manera propia y
discontinua se reduce a probar que:
1. Los subgrupos de isotropa son nitos.
2. Las orbitas son discretas.
Probaremos que las orbitas son discretas primero, lo haremos en varios
pasos:
Lema 3.2.1 Para cada subconjunto compacto K H y entero positivo M,
existe a lo mas un n umero nito de elementos con
mn
zK
(z, (z)) M,
donde es la distancia de Poincare en H.
Demostracion. Supongamos que existe una sucesion
n
n=1
de elemen-
tos mutuamente distintos en tal que cada
n
satisface (z
n
,
n
(z
n
)) M
para alg un z
n
K. Como K es compacto y (H, ) es completo, toman-
do una subsucesion si es necesario, podemos asumir que z
n
z
0
K y
n
(z
n
) w
0
H cuando n .Como es una familia normal en H,
n=1
converge en compactos a una funcion holomorfa no constante f
denida en H. Entonces, f(z
0
) = w
0
. Como w
0
H, el lema 1.3.3 muestra
que f pertenece a Aut(H). Entonces, como existe una sucesion convergente
en , por el lema 1.3.2, no es un subgrupo discreto de Aut(H), lo que es
una contradicci on.
2
Sea = L R : L es una geodesica en R. Recordemos que denotamos
por l(L) a la longitud hiperbolica de L.
Proposicion 3.2.2 El conjunto de longitudes hiperbolicas l(L) : L
de todas las geodesicas cerradas en una supercie de Riemman R de genero
g 2 es discreto en R.
Mas a un, para l > 0, existe a lo mas un n umero nito de geodesicas
cerradas en R con longitud l a lo mas.
Demostracion. Supongamos que existe una sucesion L
n
n=1
de geodesicas
cerradas mutuamente distintas en R tal que cada L
n
satisface que l(L
n
) M
para alg un n umero positivo M. Sea F un dominio fundamental para que
es compacto en H. Tomemos un elemento
n
tal que el eje A
n
de
n
se proyecte a L
n
y que F A
n
, = . Entonces
n
n=1
es una sucesion de
elementos mutuamente distintos de tal que mn
zF
(z,
n
(z)) = l(L
n
) M
para cualquier n. Esto contradice el lema anterior. 2
Si conjugamos con una transformacion de Mobius, una transformacion de
Mobius hiperbolica A, se puede escribir de la forma.
A(z) = z, donde > 1.
En este caso llamamos a el multiplicador de A.
Denicion 3.2.3
La longitud del espectro de un grupo Fuchsiano es el conjunto LS() de todos
los n umeros positivos log , donde es el multiplicador de un elemento .
Claramente LS() es el conjunto de de todas las posibles longitudes de
geodesicas en la supercie H/.
La proposicion 1.3.9 da una relacion analtica real entre la traza cuadra
un elemento de AutH y la longitud de la geodesica a la cual se proyecta
su eje, por lo tanto, como el teorema anterior nos dice que el conjunto de
longitudes de geodesicas es nito, tenemos el siguiente corolario.
Corolario 3.2.4 El conjunto tr
2
() [ es discreto en R, donde tr
2
()
denota el cuadrado de la traza de .
Necesitamos saber cuales curvas cerradas en H/ determinan al grupo .
El siguiente teorema da una respuesta parcial a esta pregunta si las longi-
tudes estan asociadas a generadores especcos de . El teorema dice que si
conocemos el valor absoluto de las trazas de un n umero grande pero nito
de elementos de , entonces esta determinado salvo conjugacion con una
transformacion de Mobius. Recordemos que Gamma

=
i
(R, p
0
) y por lo
tanto es nitamente presentado.
Teorema 3.2.5 Sea un modelo Fuchsiano de una supercie de Riemann
cerrada de genero g 2. Sea A
j
m
j=1
un sistema de generadores para .
Supongamos que al eje de A
2
intersecta el eje de A
1
de izquierda a derecha.
Entonces, existe una transformacion de Mobius D tal que el elementos DA
j
D
1
para j = 1, 2, . . . , n son funciones analticas reales de los valores absolutos de
las trazas de un n umero nito de palabras en A
1
, . . . , A
n
. Si es normalizado
de manera que A
1
tenga un punto jo atractor en y un punto jo repulsor
en 0 y A
2
tenga punto jo atractor en 1, entonces D es la identidad.
Demostracion. Podemos asumir que esta normalizado. Esta normal-
izacion se hace a traves de conjugacion con una transformacion de Mobius
D. Entonces, A
1
esta representada por una matriz de la forma
A =
_
m 0
0 m
1
_
, m > 1.
Por otro lado, supongamos que A
2
esta representada por una matriz
B =
_

_
SL(2, R).
B puede ser escogida de tal forma que , , y sean mayores que 0.
Como B(1) = 1 es obvio que + = +. El n umero m puede ser calculado
de
[trA[ = m + m
1
y los n umeros y pueden ser calculados de
+ = [trB[ y m + m
1
= [trAB[.
Como 1 es la raz positiva de la ecuacion cuadratica B(z) = z, entonces,
2 = +
_
( + )
2
4. Esto determina a y por lo tanto tambien a
= + . Entonces, vemos que las matrices A y B estan determinadas
por los valores absolutos de las trazas de A, B y AB.
Ahora, sea C una matriz representando un elemento A
j
, j 3. Podemos
escoger C en SL(2, R) tal que
C =
_
a b
c d
_
con a + d 0, ad bc = 1
Recordemos que la identidad
(trP)(trQ) = tr(PQ) + tr(P
1
Q),
es valida para matrices en SL(2, C). Si conocemos los valores absolutos de las
trazas del lado derecho de esta ecuacion, entonces sabemos que el termino con
mayor o igual valor absoluto del lado derecho debe de ser positivo. Luego, la
unica traza desconocida en la ecuacion esta determinada. De esta ecuacion,
es posible encontrar la trazas de AC, BC y ABC de los valores absolutos
de las trazas de AC, A
1
C, BC, B
1
C, ABC y A
1
BC. Finalmente, las
entradas de la matriz C se obtienen de las relaciones
a + d = [trC[, ma + m
1
d = trAC
a + c + b + d = trBC
ma + mc + m
1
b + m
1
d = trABC
Entonces podemos calcular la matriz C, donde C es cualquiera de los
elementos de A
j
, apartir de los valores absolutos de las trazas de algunas
palabras en elementos de A
1
, . . . , A
n
, lo que completa la prueba.
2
Llamamos al conjunto nito S
0
de palabras en los generadores, cuya ex-
istencia esta dada por el teorema anterior, un conjunto moduli.
El siguiente corolario es directo
Corolario 3.2.6 Supongamos que :
es un isomorsmo de grupos
Fuchsianos
y que preserva la interseccion de los ejes de A

1
y A
2
, donde
A
j
, 1 j n, son un conjunto de generadores como en el teorema anterior.
Supongamos ademas que [tr(A)[ = [tr((A))[ para cada A en el conjunto
moduli S
0
. Entonces, existe una transformacion de Mobius D tal que (A) =
DAD
1
para todo A en .
Un ultimo resultado necesario es el siguiente lema que se debe a Te-
ichm uller, la demostracion puede consultarse en [?, Gar1]
Lema 3.2.7 Supongamos que A
1
y A
2
son transformaciones de Mobius cada
una con dos puntos jos y multiplicadores
1
> 1 y
2
> 2. Supongamos
que w es un homeomorsmo cuasiconforme de C con dilatacion K tal que
w A
1
= A
2
w. Entonces,
K
1
log
2
log
1
K log
2
.
Comenzaremos la prueba de que la accion es propia y discontinua. Para
probar que las orbitas son discretas usamos tres resultados:
1. la discretez de la longitud del espectro como se expresa en el teorema
3.2.2;
2. la existencia de un conjunto moduli nito como se ve en el teorema
3.2.5 y su corolario; y
3. la desigualdad para la distorsion de la longitud de una geodesica hiperboli-
ca bajo la accion de una aplicacion cuasiconforme como se ve en el lema
anterior.
Teorema 3.2.8 Sea el modelo Fuchsiano de una supercie de Riemann
compacta, entonces el grupo modular de Teichm uller Mod() act ua propia y
discontinuamente en T().
Demostracion.
Probaremos primero que las orbitas son discretas.
Sea S
0
un conjunto moduli para , cuya existencia esta garatizada por el
teorema 3.2.5. Para cada elemento log
i
en LS(S
0
), sea
log
+
i
= mnlog LS()[ log() > log
i
y sea
log
i
= maxlog LS()[ log() < log
i
,
si log
i
es el menor elemento de LS(), sea log
i
= 0.
Sea
K
i
= mn
_
log
+
i
log
i
,
log
i
log
i
_
y K
0
el mnimo de K
i
, donde log
i
esta en el conjunto nito LS(S
0
).
Sea h un elemento de Mod(). Entonces, h determina un automorsmo
de por conjugacion y por lo tanto, una permutaci on de LS(). De la de-
sigualdad del lema anterior sabemos que la dilatacion K(h) de la aplicacion
cuasiconforme h satisface
K(h) max
_
log (A)
log (h(A))
,
log (h(A))
log (A)
_
para todo A en . Pero si K(h) < K
0
, como log (h(A)) esta en LS() para
todo A, vemos que log (h(A
i
)) = log (A
i
) para cada A
i
en el conjunto
moduli S
0
. Por el corolario del teorema 3.2.5, esto implica que existe una
trasformacion de Mobius D tal que h es el automorsmo A DAD
1
, y h
ja el origen en T().
Hemos demostrado entonces que el origen en T() no es equivalente bajo
Mod() a alg un otro punto en T() cuya distancia de Teichm uller al origen
sea menor que
1
2
log K
0
.
Este argumento se puede transladar a cualquier punto en T(),debido a
que la aplicacion de traslacion es una isometra en T() y por lo tanto prueba
que las orbitas son conjuntos discretos.
Ahora probaremos que los grupos de isotropa son nitos.
Por la denicion, es facil ver que el grupo de isotropa de Mod() en [id]
es isomorfo a N()/, donde N() es el normalizador de en Aut(H). Si
N() entonces = y ademas la relacion modulo es la misma que
en Mod(R) y claramente [] deja jo a [id] con la accion. [w] esta en el grupo
de isotropa de [id] entonces existe Aut(H) tal que w = en R pero
entonces N().
Por otro lado, cada elemento N() induce un automorsmo conforme
[] en H/ denido por []([z]) = [(z)] para cualquier [z] H/. Es facil
ver que la aplicacion [] es un homomorsmo de N() sobre Aut(H/)
cuyo kernel es . Por lo tanto, N()/ es isomorfo a Aut(H/).
Por lo tanto el teorema se sigue si Aut(H/) es nito. Pero esto se debe
al clasico Teorema de Huritz, del cual por completitud damos una prueba
en el apendice.
2
Conclusiones
Hemos denido el grupo modular de Teichm uller de una supercie de
Riemann Mod(R)y el grupo modular de Teichm uller de un grupo fuchsiano
Mod(). Denimos la accion de Mod(R) en T(R), as como la de Mod() en
T(). Hemos probado ademas que la accion de Mod() en T() es propa y
discontinua, con grupos de isotropa nitos.
Como hemos mencionado el espacio de orbitas T(R)/Mod(R) se identica
con M
g
el espacio moduli de supercies de Riemann. Esto nos dice que el
conjunto de orbitas es una variedad compleja singular de dimension compleja
3g 3.
Los trabajos de Ahlfors y Bers introdujeron una estructura compleja. En
[9] Royden demostro con esta estructura Mod(R) se identica con Aut(T(R))/Z
2
para g = 2 y con Aut(T(R)) para g > 2.
Ap endice A
Teorema de Hurwitz
Sea f : R S una funcion holomorfa no constante entre supercies de
Riemann, para cada p R existen coordenadas locales z en p y w en f(p)
de tal forma que z(p) = w(f(p)) = 0 y
w f z
1
() =
n
.
Denicion A.0.9
Si n > 1, entonces p = z
1
(0) es un punto de ramicacion de f. A n se
le conoce como el n umero de ramicacion de f en p y f se dice que tiene
multiplicidad n en p. Denimos tambien b
f
= b
f
(p) = n 1.
Lema A.0.10 Sea f : R S una aplicacion holomorfa no constante entre
supercies de Riemann. Sea q Y . El n umero
m
f
:=
pf
1
(q)
(b
f
(p) + 1)
es nito y no depende del punto q.
Denicion A.0.11
Sea f : R S una funcion holomorfa no constante entre supercies de
Riemann. El n umero total de ramicacion B
f
de f se dene como
B
f
=
pR
b
f
(p)
Este es nito, debido a que b
f
(p) es cero excepto en un n umero nito de
puntos en R.
68 Apendice A. Teorema de Hurwitz
Teorema A.0.12 (Relacion de Riemann-Hurwitz) Sea f : R S una
funcion holomorfa entre supercies de Reimann. Supon que R tiene genero
g y S tiene genero . Entonces
g = n( 1) + 1 + B
f
/2,
donde n es el grado de f (la cardinalidad de f
1
(q) es n para casi todo q Y ).
Una prueba detallada se puede ver en [3]. La ecuacion se sigue de consid-
erar una triangulacion adecuada de S que se levante a una triangulacion de
R. Luego uno puede expresar las caracteristicas de Euler de R y S de manera
que la ecuacion se siga inmediatamente.
Teorema A.0.13 (Teorema de Hurwitz) Sea R una supercie de Rie-
mann compacta de genero g 2.Entonces el grupo Aut(R) de automorsmos
holomorfos de R es nito y tiene a lo mas 84(g 1) elementos.
Demostracion. Observemos que obviamente Aut(R) act ua propia y dis-
continuamente en R. Por lo tanto, R/Aut(R) es una supecie de Riemann
compacta y la proyeccion : R S es una aplicacion holomorfa no con-
stante entre supercies de Riemann compactas. Esta aplicacion tiene grado
nito N. Claramente este n umero es tambien el n umero de elementos de
Aut(R), esto es, el orden de Aut(R). Concluimos entones que Aut(R) tiene
orden nito N.
Ahora : R R/Aut(R) es una funcion holomorfa no constante cuyos
puntos de ramicacion p
1
, . . . , p
r
tambien son puntos jos de elementos no
triviales de Aut(R). Sea Aut(R)
p
j
el estabilizador de p
j
en Aut(R). Denote-
mos por v
j
el numero de elementos de Aut(R)
p
j
. El orden de ramicacion de
en p
j
es claramente
b
(p
j
) = v
j
1 = ordAut(R)
p
j
1.
Observa despues que hay N/v
j
puntos distintos de R que son equivalentes
a p
j
bajo la accion de Aut(R). Entonces el n umero total de ramicacion de
es
B =
r
j=1
N
v
j
(v
j
1) = N
r
j=1
(1
1
v
j
).
69
De la a Relacion de Riemann-Hurwitz, llegamos a que
2g 2 = N(2 2) + N
r
j=1
(1
1
v
j
)
donde es el genero de R/Aut(R).
La prueba se sigue de analizar los siguientes 3 casos.
Caso I: 2. En este caso la ecuacion implica que
2g 2 2N o N g 1.
Caso II: = 1. En este caso la ecuacion dice que
2g 2 = N
r
j=1
(1
1
v
j
)
Si r = 0, entonces g = 1 que es una contradicci on a la hipotesis. Por lo
tanto r 1. Pero entonces la ecuacion implica que
2g 2
1
2
N o N 4(g 1).
Caso III: = 0. En este caso la ecuacion se escribe de esta forma
2g 2 = N(2 +
r
j=1
(1
1
v
j
)),
Apartir de esta ecuacion como g > 1, 2 +
r
j=1
(1
1
v
j
) = 2 + r
r
j=1
(
1
v
j
) es mayor que 0. Observemos entonces que como 1/v
j
1/2, si
r 5 entonces
2 + r
r
j=1
(
1
v
j
) 2 + r r/2
1
2
lo que nos dice que N 4(g 1).
Para r = 4, el mnimo valor de 2 +r
r
j=1
(
1
v
j
) = 2
r
j=1
(
1
v
j
) que es
mayor que 0 es 1/6, lo que nos dice que
N 12(g 1).
70 Apendice A. Teorema de Hurwitz
Por ultimo para r = 3, 2 + r
r
j=1
(
1
v
j
) = 1 1/v
1
1/v
2
1/v
3
, pero
la mayor fraccion menor que uno que puede formar al sumar 3 recprocos de
enteros es 1/2 + 1/3 + 1/7, de donde
1 1/v
1
1/v
2
1/v
3
1/42.
Por lo tanto
N 84(g 1)
2
Bibliografa
[1] Benedetti R. y Petronio C.: Lectures on Hyperbolic Geometry, UNI-
VERSITEXT Springer-Verlag Berlin, 1992.
[2] Buser P.: Geometry and Spectra of Compact Riemann Surfaces,
Birkhauser Boston, Mass., 1992.
[3] Farkas H.M.y Kra I.: Riemann Surfaces, volumen 71 de Graduate text
in Mathematics, Springer-Verlag Berlin-Heidelberg-New York, 1980.
[4] Gardiner, F.P.: Quasiconformal Teichm uller theory, AMS Mathemat-
ical Surveys and Monographs, 2000.
[5] Gardiner, F.P.: Teichm uller Theory and Quadratic Dierentials, Wi-
ley NY, 1987.
[6] Imayoshi,Y. y Taniguchi, M.: An introduction to Teichm uller Spaces,
Springer-Verlag Tokio, 1992-1999.
[7] Massey W.S.: Algebraic Topology; an Introduction, Graduate text in
Mathematics Springer-Verlag New York, 1967.
[8] Ramsay A.: Introduction to Hyperbolic Geometry UNIVERSITEXT
Springer-Verlag NY, 1992.
[9] Royden H.L.:Invariant metrics on Teichm uller space, Contribution to
Analysis, a collection of papers dedicated to L. Bers, Academic Press,
London, 1974.
72 Bibliografa
[10] Seppala M.: Geometry of Riemman Surfaces and Teichm uller Spaces,
North-Holland Holland, 1991.

Tesis Gerardo Arizmendi

Загружено:

Сведения о документе

Исходное описание:

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Tesis Gerardo Arizmendi

Загружено:

Авторское право:

Доступные форматы

Universidad de Guanajuato

en C tal que las funciones de transicion f

) se llaman cartas. Dos sistemas de carta (U

) se dicen compatibles si cada vez que U

es una funcion holomorfa. Es claro que la compatibilidad dene una

es una familia de curvas C

con puntos iniciales p

R, tomamos una vecindad U

R, , R), donde R es una supercie de Rie-

R/ es un espacio topologico Haussdorf con la topologa cociente y se le

C) que dejan jo H. No es difcil ver que

Esta asigna una longitud a cada curva regular en H. En general , si

) /, entonces, para cada componente V de

existe una isometra m Isom

) / entonces para cada componente V de U U

existe una isometra m Isom

en S usando el atlas / en S. Para

. Este atlas dene una estructura diferenciable en S y satisface las

GL(3, R) dadas por

en GL(3, R). Consideramos el

es una rotacion en el origen de angulo y M

Si (, ) es un par de lados consecutivos con angulo /2, con = 1,

Si es el lado subsecuente del angulo , entonces denimos

Teorema 1.2.9 Para un triangulo generalizado a, , b, , c, tenemos:

S/S). Tomemos ahora un

en H que unen a x con y y y con T( y), respectivamente. Como

; esto es, nuestra denicion no depende del punto x.

otro levantamiento de tal que

, denen la misma clase modulo Int(

(D) el espacio de Banach complejo de todas las fun-

es homotopico a una aplicacion

. Sea [S, f] la clase de equivalencia de (S, f).

() en S determina un punto [S, f

([S, f]) = [S, f

(). As que la curva diferenciable que une a h(f(p)) con

(). El teorema de Nielsen, implica que

son tales que [R, ] = [R

la supercie que corresponde a cortar R a lo largo de

con las de S obtenemos una supercie de genero

con su respectiva marca corresponde a t

el giro de Dehn con respecto a L

()] corresponde a un punto digamos t

que corresponde a la siguiente ciruga: corta R

f esta unicamente determinada, y es

f es una aplicacion cuasiconforme

De donde obtenemos que

casi en todo punto de H, .

, existe una aplicacion cuasiconforme f

([S, f]) = [S, f f

es una biyecci on. Para cualesquiera dos puntos p =

1 en la denicion de la distancia de Teichm uller coincide

. Aplicaciones conformes corre-

([S, f]) = [S, f

()], [S, f] T(R),

esta bien denida y es inyectiva. Recordemos ademas que

, lo que implica que h f

), los lemas 2.4.11 y 2.4.14 implican que T

es suprayectiva por el lema 2.4.9, basta pro-

([S, f]) := [S, f f

se le conoce como una transformacion

] T(), donde es un elemento de Aut(H) de tal forma que

de T() denido por [w] es una isometra con respecto a la distancia de

y que preserva la interseccion de los ejes de A