19201023

UNIVERSIDAD DE EL SALVADOR
FACULTAD DE CIENCIAS NATURALES Y MATEMTICA

ESCUELA DE MATEMTICA
TRABAJO DE INVESTIGACIN TITULADO:

GEOMETRA HIPERBLICA Y CONJUNTOS LMITES DE
GRUPOS KLEINIANOS: GRUPOS QUASIFUCHSIANOS Y
ALGUNAS DEGENERACIONES
ASESOR INTERNO:
Dr. Simn Pea.
ASESOR EXTERNO:
Dr: Raquel Daz.
MAESTRA EN MATEMTICA FUNDAMENTAL

ESTUDIANTE:
Lic. Yoceman Adony Sifontes Rivas
CARN:
SR06002
Ciudad Universitaria, Diciembre de 2015

Agradecimientos
De una manera muy especial agradezco a mi asesora, Raquel Daz por su paciencia, colaboracin,
orientacin y esfuerzo para la realizacin de este trabajo, as como tambin a las autoridades de mi
universidad por hacer realidad la maestra en matemtica fundamental, a Eduardo Navas (docente
del rea de Computacin de la escuela de matemtica) por su colaboracin y asesora en la parte de
los algoritmos responsables de la mayora de las imgenes de este trabajo, a mi madre, a mis amigos
y todos aquellos que de alguna u otra forma aportaron para la realizacin de este documento.
ndice general
1. Transformaciones de Mbius. 7
1.1. La esfera de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.1. Inversiones y la esfera de Riemann . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.2. Proyeccin estereogrca, mtrica cordal. . . . . . . . . . . . . . . . . . . . . 9
1.2. Transformaciones de Mbius. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3. Clasicacin por conjugacin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4. Geometra. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.5. Clasicacin por la traza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2. Geometra Hiperblica 33
2.1. EL plano hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2. Algunas isometras del plano hiperblico. . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2.1. Homotecias y traslaciones horizontales. . . . . . . . . . . . . . . . . . . . . . 36
2.2.2. La propiedad homognea del plano hiperblico. . . . . . . . . . . . . . . . . 36
2.3. Curvas minimales en el plano hiperblico. . . . . . . . . . . . . . . . . . . . . . . . 37
2.4. Todas las isometras del plano hiperblico. . . . . . . . . . . . . . . . . . . . . . . . 41
2.5. Aplicaciones Lineales y antilineales . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.5.1. Algunas aplicaciones racionales antilineales. . . . . . . . . . . . . . . . . . . 44
2.6. La norma hiperblica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.7. El modelo del disco para el plano hiperblico . . . . . . . . . . . . . . . . . . . . . . 46
2.8. El espacio hiperblico tridimensional. . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.8.1. El espacio hiperblico tridimensional. . . . . . . . . . . . . . . . . . . . . . . 48
2.8.2. Isometras del Espacio hiperblico tridimensional . . . . . . . . . . . . . . . 50
3. Grupos Kleinianos 53
3.1. Construccin de grupos Kleinianos. . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.1.1. Crculos emparejados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3
4 NDICE GENERAL
3.1.2. Codicacin de elementos por medio de rboles. . . . . . . . . . . . . . . . . 56
3.1.3. Trazando la formacin de Schottky. . . . . . . . . . . . . . . . . . . . . . . . 56
3.1.4. Los grupos - Schottky. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2. Grupos Quasifuchsianos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.2.1. Requisitos para emparejar discos tangentes. . . . . . . . . . . . . . . . . . . 62
3.2.2. Frmulas para emparejar grupos de Schottky, con crculos tangentes. . . . . 65
3.2.3. Grupos conjugados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.3. Frmulas para trazas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.4. Cuando la traza del conmutador es 2. . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.5. Una familia especial de crculos tangentes. . . . . . . . . . . . . . . . . . . . . . . . 77
3.6. Degeneraciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.7. El Gasket. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
3.7.1. Generando el Gasket. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
3.8. Ms ejemplos de grupos Quasifuchsianos. . . . . . . . . . . . . . . . . . . . . . . . . 115
3.9. Denicin formal de grupos Kleinianos. . . . . . . . . . . . . . . . . . . . . . . . . . 118
3.9.1. Discontinuidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
3.9.2. Grupos discretos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
3.9.3. Conjuntos lmites de grupos Kleinianos. . . . . . . . . . . . . . . . . . . . . . 120
3.10. Dominios fundamentales y topologa de grupos Kleinianos. . . . . . . . . . . . . . . 121
3.10.1. Dominios fundamentales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
3.10.2. Relacin entre grupos Kleinianos y Supercies de Riemann. . . . . . . . . . . 123
4
Introduccin
El objetivo de este trabajo es dar una introduccin a la geometra hiperblica, tanto del plano
como del espacio, estudiando los modelos de Poincar del plano y el espacio. Aprovecharemos la
oportunidad para denir la teora de grupos Kleinianos y estudiar principalmente los Grupos Qua-
sifuchsianos los cuales son grupos Kleinianos cuyo conjunto lmite est contenido en una curva de
Jordan invariante. Si el lmite del conjunto es igual a la curva de Jordan el grupo Quasifuchsiano se
dice que es de tipo uno, y de lo contrario, se dice que es de tipo dos. Algunos autores utilizan grupo
Quasifuchsiano como grupo Quasifuchsiano del tipo I, en otras palabras, el lmite establecido es
toda la curva de Jordan. Esta terminologa es incompatible con el uso de los trminos tipo I y
tipo II para grupos Kleinianos: todos los grupos Quasifuchsianos son grupos Kleinianos del tipo
II (incluso si son grupos Quasifuchsianos de tipo I), ya que sus conjuntos lmite son subconjuntos
propios de la esfera de Riemann. El caso especial cuando la curva de Jordan es un crculo o lnea
se llama un grupo Fuchsiano, en honor a Lzaro Fuchs.
Un grupo Kleiniano es un grupo discreto de transformaciones de Mbius. Acta tanto como gru-
po de isometras del espacio hiperblico tridimensional como por automorsmos conformes en la
esfera de Riemann, que se puede identicar en el borde del espacio hiperblico. La propiedad de ser
discreto implica que el grupo tiene un buen comportamiento en el espacio hiperblico, en el sentido
que las rbitas de los puntos no tienen puntos de acumulacin en el espacio hiperblico, aunque s
pueden tenerlo en el innito, es decir, en la esfera de Riemann. El conjunto de puntos de acumula-
cin de cualquier rbita es lo que se llama el conjunto lmite del grupo Kleiniano. Este conjunto es
vaco slo si el grupo Kleiniano es nito. En otro caso es un cerrado de la esfera invariante por el
grupo. Este cerrado puede ser incluso toda la esfera. Su complementario se llama dominio regular
o de discontinuidad. El cociente del espacio hiperblico por el grupo Kleiniano es una variedad de
dimensin 3 con una estructura hiperblica; adems puede tener cierta singularidad (es lo que se
llama un orbifold). El cociente del dominio de discontinuidad por el grupo Kleiniano es un orbifold
de dimensin 2 con una estructura conforme. Una propiedad muy llamativa de los conjuntos lmite
es su naturaleza fractal. Esto se advierte en seguida en cuanto uno ve algunos dibujos de conjun-
tos lmite. Por otra parte, estos dibujos ilustran propiedades de los grupos Kleinianos y de sus
espacios cocientes. Como objetivo del trabajo presente: dibujar conjuntos lmites de ciertos grupos
Kleinianos. A partir de estos dibujos, extraer algunas propiedades de dichos grupos Kleinianos y
de sus espacios cocientes.
En el captulo I, estudiamos el ingrediente para la construccin fractal, esto es, las transformaciones
de Mbius, donde damos a conocer sus propiedades, clasicacin, as como tambin su geometra.
En el captulo II, introducimos la geometra hiperblica, estudiando los modelos del semiplano
superior y el modelo del disco de Poincar, para el caso del plano hiperblico, deniendo adems
la mtrica para ambos modelos y obteniendo as diversas propiedades y consecuencias referentes
a las isometras del plano hiperblico, as como tambin de las curvas que minimizan la distancia,
esto es las geodsicas. Luego introducimos brevemente la extensin del plano hiperblico al espacio
tridimensional.
Finalmente en el captulo III, estudiaremos primeramente procesos de construccin de grupos
Kleinianos mediante el proceso de crculos emparejados por transformaciones de Mbius, en donde
obtenemos ejemplos de grupos kleinianos, estos son: Grupos de Schottky, Grupos Fuchsianos y
Grupos Quasifuchsianos, donde haremos ms nfasis en la familia, de los Quasifuchsianos, luego
procedemos con la denicin formal, introduciendo adems los conceptos de conjunto lmite, con-
junto ordinario y regin fundamental para un grupo Kleiniano, luego estudiamos un poco sobre la
6 NDICE GENERAL
topologa de los cocientes del conjunto ordinario con el grupo, donde obtenemos una interesante
relacin con las supercies de Riemann.
6
Captulo 1
Transformaciones de Mbius.
En esta parte deniremos la base principal, un ingrediente clave para la construccin fractal.
Una de las ideas fundamentales de Klein era que cualquier grupo de transformaciones puede ser
usado para crear simetra. Clsicamente, pensamos en la simetra en trminos de los movimientos
euclideanos de traslacin, rotacin y reexin, pero la simetr tambin se puede crear de las
transformaciones que distorsionan, estiran y giran. En esta parte, se deber aprender sobre una
hermosa clase de transformaciones, llamadas Transformaciones de Mbius, que se extienden y giran
de una manera correcta y controlada. Estas son las transformaciones que generaran todas nuestras
imgenes fractales, y en las que, como en la visin de Klein, todos nuestros cuadros son simtricos,
pero antes deniremos el espacio ambiente, donde nuestras transformaciones van actuar.
1.1. La esfera de Riemann

Denicin 1.1.1. Los puntos del plano complejo junto con forman el plano complejo extendido,
denotado por .
C
1.1.1. Inversiones y la esfera de Riemann

En esta parte vamos a comprender la transformacin T que toma un nmero compleo z y lo lleva
1
a su inverso . Si z = r(cos + i sen ), entonces el inverso en coordenadas polares es:
z
1 1
= (cos() + i sen()).
z r
1 1
Que viene de sustituir z por haciendo dos operaciones: cambiamos r por y por . Vemos
z r
que la segunda operacin, sustituir por es una conjugacin o reexin compleja en el eje
1
real. El efecto geomtrico de la transformacin en las rectas de la forma x = c, c 6= 0 nos da la
z
circunferencia
2 2
1 2 1
x +y = .
2c 2c
7
8 CAPTULO 1. TRANSFORMACIONES DE MBIUS.
Mientras que las rectas de la forma y = c, c 6= 0 nos da la circunferencia

2 2
2 1 1
x + y+ =
2c 2c
1
la siguiente gura muestra el efecto de la transformacin .
z
f (z) = 1/z

1
Figura 1.1: Efecto de la inversin .
z
8
CAPTULO 1. TRANSFORMACIONES DE MBIUS. 9
Denicin 1.1.2. Aritmtica del innito:

Sea a un nmero nito, entonces denimos:
a+=
a=
a = ; siempre que a 6= 0

=
a
a
=0

a
= ; si a 6= 0
0
0
los resultados de los clculos , 0 , y son indenidas.
0
Necesitamos de una transformacin o mapeo que actu entre la esfera y el plano. Este es exc-
tamente el problema de la construccin de un atlas. Un mtodo preferido por los matemticos
es usando nmeros complejos y es llamada la proyeccin estereogrca, usada por Ptolemy.
Mediante la proyeccin estereogrca, las distancias relativas y reas se ven distorsionadas, pero
los crculos se transforman en crculos y los ngulos se mantienen.
1.1.2. Proyeccin estereogrca, mtrica cordal.

Para asociar cada punto en el plano con uno de S2 , usamos la siguiente idea geomtrica: se toma
el plano x3 = 0 como el plano complejo C y la lnea que proyecta el polo norte e3 = (0, 0, 1) de la
esfera de Riemann a cualquier otro punto x = (x1 , x2 , x3 ) en dicha esfera.
Esta lnea cruza el plano complejo en un nico punto, para encontrarlo se parametriza
e3 + t(x e3 ), tR
y se debe cumplir
[e3 + t(x e3 )] e3 = 0,
1 + t(x e3 ) e3 = 0,
1
t= .
1 x3
De donde, el punto asociado a x es

1 x1 x2 x3 1
e3 + (x e3 ) = e3 + , ,
1 x3 1 x3 1 x3 1 x3

x1 x2
= , ,0 .
1 x3 1 x3
Una demostracin geomtrica de este hecho se obtiene observando que la proyeccin de x debe
tener la direccin de (x1 , x2 ), y por semejanza se obtiene que
p
|z| x21 + x22
=
1 1 x3
9
Tal como se indica en la gura 1.2, con base a este anlisis, se dene la funcin
: S2 {e3 } 7 C.
e3
Figura 1.2: Proyeccin estereogrca.
La cul es una biyeccin de S {e3 } al plano complejo C.
a) es inyectiva. Para demostrarlo, construimos la inversa. Obsrvese que si z = (x1 , x2 , x3 ),

2
como (x1 , x2 , x3 ) S , se tiene que
x1 + ix2 2 2 2 2

2
|z| =
= x1 + x2 = 1 x3 = 1 + x3
1 x3 (1 x3 )2 (1 x3 )2 1 x3
y despejando
|z|2 1
x3 = . (1.1)
|z|2 + 1
Tambin
2x1
z+z = ,
1 x3
y
|z|2 1

(z + z)(1 x3 ) z+z z+z 2
x1 = = 1 2 = 2
,
2 2 |z| + 1 2 |z| + 1
z+z
x1 = . (1.2)
|z|2 + 1
nalmente, como
2ix2
zz = ,
1 x3
10
se sigue que
zz
x2 = . (1.3)
i(|z|2 + 1)
Por consiguiente, es inyectiva, ya que z (x1 , x2 , x3 ).

determina Obsrvese tambin que la
funcin
|z|2 1

z+z zz
(z) = , ,
|z|2 + 1 i(|z|2 + 1) |z|2 + 1
es inversa por la izquierda de .
b) es sobreyectiva. Para esto, debemos encontrar algn (x1 , x2 , x3 ) S {e3 } tal que para todo
z = (y1 , y2 ) C se debe cumplir (x1 , x2 , x3 ) = (y1 , y2 ), esto signica que
x1 + ix2
= y1 + iy2 ,
1 x3
esto signica
x1 x2
= y1 y = y2
1 x3 1 x3
Si y1 = y2 = 0 entonces basta tomar x = (0, 0, 1). !
x2 x3
Si y1 = 0 entonces x1 = 0, basta tomar x= 0, p 2 ,p 2 .
x2 + x23 x2 + x23
!
x1 x3
Si y2 = 0 entonces x2 = 0, basta tomar x= p , 0, p 2 .
x22 + x23 x2 + x23
!
x1 x2
Si y1 y y2 son distintos de cero, entonces basta tomar x= p ,p 2 ,0 .
x21 + x22 x1 + x22
Haciendo corresponder con el polo norte e3 se obtiene una biyeccin de S2 en

C y el modelo
buscado. A esta biyeccin se le llama La proyeccin estereogrca. Geomtricamente es evidente
que el hemisferio sur (x3 < 0) corresponde al disco unitario
4 = {z C/|z| < 1}
y el hemisferio norte (x3 > 0) al exterior de este disco. En esta presentacin esfrica del plano
complejo no hay una interpretacin fcil de la suma y el producto, su ventaja radica en que no
es un punto distinguido. Convendremos que toda recta pasa por . Una propiedad fundamental
de la proyeccin estereogrca la exhibe el siguiente resultado.
Proposicin 1.1.1. Bajo la proyeccin estereogrca, rectas en

C y crculos en C se transforman
2
en crculos en S y viceversa.
Demostracin. a) Un crculo en S2 es la interseccin de un plano con la esfera, por lo que sus

puntos satisfacen una ecuacin de la forma
ax1 + bx2 + cx3 = d.
11
Por lo tanto, este crculo es la imagen bajo la proyeccin estereogrca de un conjunto cuyos
puntos satisfacen la siguiente ecuacin en el plano.
|z|2 1

z+z zz
a +b +c = d.
|z|2 + 1 i(|z|2 + 1) |z|2 + 1
Escribiendo z = x + iy , se obtiene
2ax + 2by + c(x2 + y 2 1) = d(x2 + y 2 + 1),
que es la ecuacin de una recta o un crculo en el plano, dependiendo si d=c o si d 6= c (al

completar cuadrados no se puede obtener un radio negativo, puesto que se trata de la imagen
de un conjunto no vaco).
b) Por otro lado, una recta en el plano est denida por la ecuacin
ax + by = c.
Estos puntos bajo la proyeccin estereogrca son llevados al conjunto de puntos en la esfera
denidos por la ecuacin
x1 x2
a +b =c
1 x3 1 x3
ax1 + bx2 = c(1 x3 ),
Los cuales estn contenidos en la interseccin de un plano y la esfera, es decir, se trata de un
crculo. Como () = (0, 0, 1) satisface dicha ecuacin, este crculo pasa por el polo norte, lo
cual tambin es evidente a partir de la construccin geomtrica. Finalmente, un crculo en el
plano est denido por las siguientes ecuaciones
|z a|2 = r2 ,
(z a)(z a) = r2
|z|2 az az + |a|2 = r2 ,
luego usando, 1.1
1 + x3
2<(az) = r2 |a|2 .
1 x3
Si a = a1 + ia2 , z = x + iy , entonces <(az) = a1 x + a2 y y la imagen del crculo en la esfera
est denida por las siguientes ecuaciones
1 + x3
2(a1 x + a2 y) = r2 |a|2 ,
1 x3
1 + x3 x1 x2
2a1 2a2 = r2 |a|2 ,
1 x3 1 x3 1 x3
1 + x3 2a1 x1 2a2 x2 = (r2 |a|2 )(1 x3 ).
Se sigue entonces que estos puntos estn en un plano y por lo tanto constituyen un crculo en
la esfera.
12
Es til obtener, en trminos de z y z0,

puntos del plano complejo, una frmula de la distancia
0 0 0
entre sus proyecciones en la esfera. Si denotamos stas por (x1 , x2 , x3 ) y (x1 , x2 , x3 ) se tiene
(x1 x01 )2 + (x2 x02 )2 + (x3 x03 )2 = 2 2(x1 x01 + x2 x02 + x3 x03 ).
As usando 1.1, 1.2, 1.3

x1 x02 + x2 x02 + x3 x03
z0 + z0 z0 z0 |z|2 1 |z 0 |2 1

z+z zz
= +
|z|2 + 1 |z 0 |2 + 1 |z|2 + 1 |z 0 |2 + 1 |z|2 + 1 |z 0 |2 + 1
2zz 0 + 2zz 0 + |zz 0 |2 |z|2 |z 0 |2 + 1

=
(1 + |z|2 )(1 + |z 0 |2 )
2(z z 0 )(z z 0 ) + (1 + |z|2 )(1 + |z 0 |2 )

=
(1 + |z|2 )(1 + |z 0 |2 )
Por consiguiente,
2|z z 0 |2

(x1 x01 )2 + (x2 x02 )2 + (x3 x03 ) =22 1
(1 + |z|2 )(1 + |z 0 |2 )
4|z z 0 |2
= .
(1 + |z|2 )(1 + |z 0 |2 )
Esta nueva frmula de distancia en C es particularmente novedosa y til por incluir el punto al
0
innito. En este caso, si z = , se tiene
|z|2 1
x1 x01 + x2 x02 + x3 x03 = ,
|z|2 + 1
por lo que
|z|2 1

4
(x1 x01 )2 + (x2 x02 )2 + (x3 x03 )2 =22 = .
|z|2 + 1 1 + |z|2
Estos clculos inducen la mtrica buscada en .
C
Denicin 1.1.3. Se dene la mtrica cordal en el plano complejo extendido de la siguiente manera
2|z1 z2 |

p p si z1 , z2 6= .
1 + |z1 |2 1 + |z2 |2

dC (z1 , z2 ) =

2

p , si z2 = .
1 + |z1 |2

Como S2 es un subespacio mtrico de R3 , esta distancia dene en efecto una mtrica en .

C El
trmino cordal proviene de que se miden cuerdas en la esfera
dC (z1 , z2 ) = |(z1 ) (z2 )|.
13
Proposicin 1.1.2. Las mtricas cordal y euclideana inducen la misma topologa en C, es decir,
denen los mismos abiertos en C. Adems
dc (zn , ) 7 0
si y slo si |zn | 7 .
Demostracin. Para la primera parte hay que probar que la funcin identidad
Id : CE 7 CC
es bicontinua, donde CE es el plano complejo provisto con la mtrica euclideana y CC , con la

mtrica cordal.
Si |zn z| 0, cuando n , |(zn ) (z)| 0, cuando n , ya que la funcin
entonces
es continua, los cual prueba que la funcin Id es tambin continua. Ahora , por la continuidad de
, si dC (zn , z) 0, cuando n , entonces |(zn ) (z)| 0 y |(zn ) (z)| = |zn z| 0,
cuando n . Para la segunda parte, sea zn , n N, una sucesin en C, tal que |zn | , cuando
n , como
2
dC (zn , ) = p
1 + |zn |2
se sigue quedC (zn , ) 0.
Por otra parte, si dC (zn , ) 0, cuando n , dado > 0, existe N tal que si n > N , se tiene
r
2 4
p < y por lo tanto |zn | > 1
1 + |zn |2 2
(ya que se puede tomar < 2). Por lo que, dado M > 0, tomando tal que
r
4
M= 1,
2
se obtiene |zn | > M , si n > N y |zn | .
1.2. Transformaciones de Mbius.

Recordamos que a las transformaciones de variable compleja de la forma
az + b
T (z) = ,
cz + d
donde a, b, c, d C, ad bc 6= 0, se les llama transformaciones de Mbius. Estas funciones estn

bien denidas en los puntos del plano complejo extendido, donde no se aplica el lgebra:
a) Si c = 0, se dene T () = .
14

a d
b) Si c 6= 0, se dene T () = y T = . Para otros valores ad bc = k 6= 0, la
c c
transformacin
a b
z+
7 k
z k
c d
z+
k k
tiene la misma regla de correspondencia que la transformacin original, sin embargo,
a d b c
= 1.
k k k k
De este hecho se sigue que todas las transformaciones de Mbius pueden denirse por matrices de
la forma
a b
, a, b, c, d C, ad bc = 1.
c d
A este grupo de matrices se le denota por SL(2, C). El centro de este grupo consiste de las matrices
Id .
Proposicin 1.2.1. Las transformaciones de Mbius complejas son funciones continuas en

C con
la mtrica cordal.
d
Demostracin. Se sigue de la proposicin 1.1.2 que basta probar la continuidad en y en , si
c
c 6= 0, y en si c = 0.
d
Ahora, si c 6= 0 y zn , cuando n , se tiene que como
c
azn + b (d/c)a + b 1
y 7
c c zn (d/c)
entonces
azn + b azn + b
= 7
czn + d c(zn (d/c))
y por lo tanto

azn + b
dC , 7 0 cuando n 7 .
czn + d

Por otra parte, el producto de matrices se corresponde con la composicin de transformaciones

de Mbius, es decir, si

a b
T (z) = y S=
c d
entonces la transformacin ST es de Mbius y est denida por la matriz

a b a + c b + d
= .
c d a + c b + d
15
Esto se sigue ya que z C, salvo por un nmero nito (donde el lgebra no se aplica), se tiene

az + b
+
cz + d (az + b) + (cz + d) (a + c)z + b + d
S(T (z)) = = = .
az + b (az + b) + (cz + d) (a + c)z + b + d
+
cz + d
Por lo cual, las transformaciones ST y la denida por la matriz ST coinciden en , excepto, quiz
C
por un nmero nito de puntos, sin embargo, al ser ambas funciones continuas, son iguales. En
particular, las transformaciones de Mbius son biyecciones, ya que si T est denida por la matriz

a b
T = SL(2, C),
c d
1
la transformacin inversa T est denida por

d b
c a
por consiguiente, estas transformaciones forman un grupo, la identidad es la funcin
1z + 0
z .
0z + 1
Con frecuencia es importante distinguir las transformaciones de las matrices que las denen, por
lo que denotaremos las primeras con una barra arriba y las segundas sin barra.
Proposicin 1.2.2. Dos transformaciones de Mbius
az + b a0 z + b 0
T (z) = S(z) =
cz + d c0 z + d0
son iguales si y slo si existe k C, tal que
a = ka0 , b = kb0 , c = kc0 , d = kd0 .
Demostracin. La condicin de suciencia es inmediata. Para demostrar la necesidad obsrvese

0
primero que como T y S coinciden en 0 y en , se tiene que a = 0, entonces a = 0, y si b = 0,
entonces b0 = 0. Probamos primero el caso a, b, c, d 6= 0, se tiene que
1 1
T () = d/c = d0 c0 , y T (0) = b/a = b0 /a0 .
Escribiendo
d/d0 = c/c0 = , b/b0 = a/a0 = ,
se sigue que
az + b a0 z + b0 (a0 z + b0 )
= 0 = .
cz + d c z + d0 (c0 z + d0 )

En particular, al evaluar S y T en la preimagen de 1, se tiene = 1, por lo cual = .

Los casos en los que algn coeciente es cero, son ms sencillos, mostramos dos de ellos.
16
a) Si b, c = 0, evaluando en 1 se tiene a/d = a0 /d0 y a/a0 = d/d0 .
b) Si c=0 y b 6= 0, como el primer caso, b/b0 = a/a0 = y para alguna , d = d0 , etctera.
De la proposicin anterior se sigue que hay exactamente dos matrices unimodulares que deter-
minan una transformacin de Mbius dada. Esto es, ya que si T es de Mbius y est denida por
las matrices
a0 b 0

a b
, SL(2, C),
c d c0 d0
entonces
1 = a0 d0 b0 c0 = k 2 (ad bc) = k 2
y
a0 b 0

a b
k = 1, i.e = .
c0 d 0 c d
Al cociente de SL(2, C) sobre su centro Id se le llama su proyectivizacin, este grupo cociente,
denotado por P SL(2, C), es isomorfo al grupo de transformaciones de Mbius complejas.
Ejemplo 1. Transformaciones de Mbius:
a) La traslaciones
T (z) = z + b, b C.
b) Las rotaciones
T = az, a = ei .
c) Las homotecias
T (z) = kz, k R+ .
d) La transformacin
1
T (z) = ,
z
Se describen ahora las propiedades de conformalidad de estas transformaciones as como sus sin-
gularidades (polos). Obsrvese que una transformacin de Mbius
az + b
T (z) =
cz + d
tiene un polo simple en d/c, si c 6= 0, y es entera si c = 0.
En general, dada una funcin holomorfa f denida en una vecindad de , se dice que f es
holomorfa en (o que f tiene un polo de orden k en ), si la funcin g denida en una vecindad
de cero por
1
g(z) = f
z
es holomorfa en cero (o tiene un polo de orden k en cero). Obsrvese que si no es una singularidad
esencial, entonces necesariamente se tiene una de las dos posibilidades antes mencionadas. La
17
1
eleccin en esta denicin no es arbitraria. Por una parte, es una eleccin natural de cartas
z
coordenadas para proveer de estructura de supercie de Riemann a la esfera S2 , por otra parte, la
1
accin z en S2 est dada por la rotacin
z
(x1 , x2 , x3 ) (x1 , x2 , x3 ).
Con esta convencin se tiene que si

az + b
f (z) =
cz + d
es de Mbius y c 6= 0, entonces f es holomorfa en y tiene un polo simple en d/c. Para el caso
c = 0, f tiene un polo simple en . Mostramos la primera armacin . Cerca de
az + b a + b/z a
f (z) = =
cz + d c + d/z c
cuando z , y cerca de 0.
a/z + b a + bz a
g(z) = = ,
c/z + d c + dz c
cuando z 0, por lo que 0 es una singularidad removible de g. Volviendo al contexto general

de una funcin C
f :C meromorfa, se sigue del teorema de Liouville que si ,
f es entera en C
entonces f es constante. Por otra parte, si f es entera en C y f tiene un polo en , entonces f es
necesariamente un polinomio. Esto es consecuencia del teorema de las desigualdades de Cauchy y el
principio de continuacin analtica. Este hecho tiene una interesante y fundamental consecuencia:
toda funcin meromorfa en la esfera es necesariamente racional. Esto se sigue, ya que si C
f :C
es meromorfa, entonces por compacidad f tiene solamente un nmero nito de polos, y es claro que
al multiplicar a f por un polinomio adecuado, se obtiene una funcin constante u otro polinomio.
En particular, las nicas biyecciones meromorfas de la esfera son las de Mbius.
Lema 1.2.1. Cualquier transformacin en P SL(2, C) se puede expresar como la composicin de

1
traslaciones, rotaciones, homotecias y la transformacin z
z
Demostracin. Una transformacin en P SL(2, C) que ja es de la forma
a b
z z+ ,
d d
es decir, es una composicin de homotecias, rotaciones y traslaciones. Si la funcin de Mbius no
ja , entonces se puede expresar como
a ad ad
az + b (cz + d) + b b
z = c c =a+ c ,
cz + d cz + d c cz + d
y es por lo tanto, la composicin de algunas de las transformaciones descritas anteriormente.
Teorema 1.2.1. Las funciones de Mbius en P SL(2, C) transforman crculos en crculos.
18
1
Demostracin. Basta probar que la transformacin z tiene la propiedad mencionanda, ya que
z
evidentemente las traslaciones, las rotaciones y las homotecias transforman crculos en crculos y
rectas en rectas. Para estas ltimas, una prueba analtica de este hecho es muy simple, por ejemplo,
si k C, la funcin z kz transforma la recta
z = a + bt, a, b C, tR
en la recta
w = kz = ka + kbt, t R,
y el crculo |z a| = r, en el crculo
|kz ka| = kr.
1
El caso de la traslacin es tambin trivial. Para demostrar que la transformacin z tiene la
z
propiedad, usamos la ecuacin general del crculo.
A(x2 + y 2 ) + Bx + Cy = D. (1.4)
1
Escribiendo z = x + iy y = u + iv, como
z
x y 1
u= , v= y u2 + v 2 = ,
x2 + y2 x2 + y2 x2 + y2
sustituyendo en la ecuacin general del crculo obtenemos:

1 u v
A +B +C =D
u + v2
2 u + v2
2 u + v2
2
y
D(u2 + v 2 ) + Bu Cv = A,
que es de nuevo la ecuacin de un crculo. Esto se sigue, ya que si D 6= 0, se puede completar
cuadrados y obtener la ecuacin de crculo (no hay radios negativos, y a que se trata de la imagen
de un crculo ). Este argumento algebraico no se aplica en 0 y en , si el crculo pasa por ellos.
Sin embargo, probar el resultado para estos puntos es muy sencillo, por ejemplo, si se trata de un
crculo por el origen, entonces D=0 y los puntos de la imagen satisfacen la ecuacin de la recta
Bu Cv = A. Como es la imagen del 0 y est en dicha recta, se sigue el argumento.
Teorema 1.2.2. Dados distintos y w1 , w2 , w3 C
z1 , z2 , z3 C tambin distintos , existe una
nica transformacin en P SL(2, C) que enva zj en wj , j = 1, 2, 3.
Demostracin. Primero probamos que si T es de Mbius y T y ja 0, 1 e , entonces T es la

identidad. Sea
az + b
T =
cz + d
con dicha propiedad, como T (0) = b/d y T () = a/c, se tiene b, c = 0, por lo que T (1) = a/d = 1
y a = d. En consecuencia, T (z) = z z. Ahora, si z1 , z2 , z3 C, la transformacin

z1 z3 z z2
S 1 (z) = .
z1 z2 z z3
19
Es de Mbius y enva z1 , z2 , z3 en 1, 0, e , respectivamente. Para adaptar esta frmula al caso en

que alguno de los puntos sea , simplemente se omiten los dos factores donde aparece este punto,
por ejemplo, si z2 = , la transformacin
z1 z3
S 2 (z) =
z z3
tiene la propiedad deseada. El mismo argumento muestra la existencia de una transformacin de
Mbius S2 que manda w1 , w2 , w3 en 1, 0, e y por lo tanto la transformacin
1
S 2 S 1 P SL(2, C)
manda zj en wj , j = 1, 2, 3.
La unicidad se sigue ya que si T1 y T2 envan zj en wj , j = 1, 2, 3, se tiene
S 2 T 1 S 1 1 = S 2 T 2 S 1 1
(Puesto que ambas funciones son la identidad), por lo que T 1 = T 2.
Este teorema y los resultados anteriores implican que las transformaciones de Mbius actuan
transitivamente en la familia de todos los crculos de la esfera de Riemann. Esta til y fundamental
propiedad se generaliza tambin a cualquier dimensin.
Corolario 1.2.1. Dados dos crculos A y B en

C, existe T P SL(2, C), tal que T (A) = B , es
decir, este grupo actua transitivamente en los crculos de
C
1.3. Clasicacin por conjugacin.

Una primera clasicacin de las transformaciones de Mbius se obtiene al considerar los puntos
jos en .
C Obsrvese primero que si T es de Mbius y no es la identidad, entonces T ja a lo ms
dos puntos. Esto se sigue ya que si T 6= , entonces
az + b
T (z) = =z az + b = cz 2 + dz
cz + d
de donde
cz 2 + (d a)z b = 0
p
(a d) (d a)2 4bc
z=
2c
Consideramos el discriminante el cual lo reducimos de la siguiente manera
(d a)2 4bc = d2 2da + a2 4b(c)

= a2 2ad + d2 + 4ad 4; ya que ad bc = 1
= (a + d)2 4
= Tr(T (z)) 4.
20
As tenemos que T tendr un nico punto jo si la traza de la matriz asociada es 2, y tendr dos
puntos joas, si el discriminates es distinto de cero, ms adelante distinguiremos cada uno de los
casos.
Por otro lado, si es un punto jo, la ecuacin
a b
z+ =z
d d
tiene a lo ms una solucin.
Denicin 1.3.1. Sea T de Mbius, tal que ja exactamente un punto en ,

C entonces a T se
llama parablica.
Lema 1.3.1. Sean T y transformaciones de Mbius, entonces T ja a un punto w en

C (o
preserva un subconjunto AC ). si y slo si S = T 1 ja (A) (o preserva ).
Demostracin.
T (w) = w T (w) = (w) = T 1 ((w)) = (w)

Proposicin 1.3.1. Sea T una transformacin de Mbius. Entonces:
a) Si T es parbolica, T es conjugada en P SL(2, C) a una traslacin.
b) SiT no es parablica, T es conjugada en P SL(2, C) a una transformacin de la forma z z ,

C.
Demostracin. Sea T parablica con punto jo z0 y P SL(2, C) tal que (z0 ) = , por
ejemplo,
1
(z) =
z z0
entonces S = T 1 ja , y por lo tanto es de la forma
S = z +
se sigue del lema anterior que S no tiene otro punto jo, por lo cual =1 (si 6= 1, la ecuacin
z + = z tendra una solucin nita). Para probar la segunda parte, supongamos que T ja 2
puntos distintos w1 , w2 y que
z w1
=
z w2
(si w2 = , se toma (z) = z w1 ). Bajo estas hiptesis la funcin
S = T 1
ja 0 e , por lo cual si
az + b
S(z) = ,
cz + d
se tiene b, c = 0. El resultado anterior mustra que cualquier transformacin de Mbius es con-
jugada a una transformacin cannica. El siguiente resultado examina la conjugacin entre estas
transformaciones cannicas.
21
Proposicin 1.3.2. Sean k1 , k2 complejos no nulos, supngase tambin que k1 6= k2 , k21 , entonces
las transformaciones T = k1 z y S = k2 z no son conjugadas en P SL(2, C).
Demostracin. Si la transformacin P SL(2, C) conjuga T y S , digamos S = T 1 , entonces

se sigue del lema 1.3.1 que preserva {0, }.
Si ja 0 e , entonces es de la forma z z , C, por lo que conmuta con T ,
pero entonces T = S , lo cual contradice las hiptesis. Por otra parte, si (0) = y () = 0,
escribiendo
az + b
(z) = ,
cz + d
b a
como (0) = y () = , se tiene que a, d = 0 y que
d c
b
(z) = .
cz
En este caso es una involucin, es decir = 1 y

1 b k1 b b z
T (z) = T = = =
cz cz k1 b k1
c
cz
1
lo cual contradice que k1 6= .
k2
Ahora podemos obtener una clasicacin de los elementoes de P SL(2, C), en relacin a las
transformaciones cannicas actuando en la esfera de Riemann.
Denicin 1.3.2. T P SL(2, C) tal que T ja exactamente 2 puntos en C

Sea , supngase
tambin que T es conjugada en P SL(2, C) a la transformacin S(z) = z . Entonces:
a) Si || = 1, a T se llama elptica.
b) Si R+ , a T se llama hiperblica.
c) Si || =
6 1 y / R+ ,
a T se llama loxodrmica.
1.4. Geometra.
En esta parte vamos a estudiar el efecto geomtrico que las transformaciones de Mbius tienen
cuando hacemos composiciones sucesivas a puntos y crculos, los casos trabajados son los siguientes:
1. Consideremos una transformacin de Mbius . Sea x un punto de la esfera de Riemann que

no es un punto jo de . Encontraremos los puntos de acumulacin de la rbita de x.
az + b
Solucin. Sea x C y se (z) = una transformacin de Mbius, queremos encontrar
cz + d
los puntos de acumulacin de la rbita de x, la rbita de x est dada por
x = {(x) : }
22
vamos a separar los casos en los que (z) sea parblica, elptica y loxodrmica.
Caso I.
Supongamos que (z) (z) es conjugada a una

es una transformacin parablica, por tanto
transformacin de la forma (z) = z + 1, y como hemos supuesto que x no es punto jo de
(z), por tanto x 6= . Vamos a tomar = hz + 1i, por tanto cualquier elemento de x lo
podemos pensar como z + n, as, si n tendremos que el punto de acumulacin de la
rbita sera . Por tanto, para una transformacin parablica cualquiera tendremos que el
punto de acumulacin de la rbita sera su punto jo.
Caso II.
Supogamos ahora que (z) es elptica, como es elptica, entonces es conjugada a una
transformacin de la forma = z ; donde || = 1; para este caso = hzi y cada elemento
n n n
de x lo podemos pensar como z , donde, si n , | | = || 1. Para este caso
tenemos que una transformacin elptica no es ms que una rotacin de un ngulo , donde
= ei , as vamos a considerar tres casos:

a ) El ngulo = , con m un nmero entero distinto de cero.
m
p p
b ) El ngulo = ; Q con (p, q) = 1.
q q
c ) El ngulo = x ; donde x es un nmero irracional.
Para ver como son las rbitas en cada uno de los casos anteriores tomaremos un ejemplo

en cada caso, por ejemplo, vemos que es lo que sucede para = , donde tenemos que la
4
transformacin asociada a la ensima composicin estara dada por
n (z) = ein/4 z
donde la imagen de un punto x0 + iy0 estara dada por
zn = (x0 cos(n/4) y0 sen(/4), y0 cos(n/4) + x0 sen(n/4))
la siguiente gura muestra el conjunto de rbitas para = /4 y tomemos z0 = 1
23
Figura 1.3: Dinmica de la transformacin (z) = ei/4 z .
Por otro lado podemos variar el ngulo y para = /3 obtenemos
y mientra que para = /6 obtenemos
24
nalmente para el ngulo

= x , con x un nmero irracional, en este caso tomaremos
= 2

Figura 1.6: Dinmica de la transformacin (z) = ei 2
z.
p
As tenemos que para los casos donde = /m = las rbitas se estaran acumulando en los
q
vrtices de un 2m - agono un 2q - agono regular, mientras que para un = x , con x irracional,
la rbitas se estaran acumulando en un crculo.
Caso III.
Finalmente, si (z) es una transformacin loxodrmica, entonces (z) es una transformacin

conjugada a unatra transformacin del la forma (z) = z ; donde || = 6 1, en este caso
25
vamos a considerar el grupo = hzi, si x es distinto de los puntos jos, los puntos de
n
acumulacin de la rbita seran x, ahora, donde el mdulo de ste complejo ser 0 si
0 < || < 1, por tanto el punto de acumulacin sera 0, en otro caso sera . Finalmente,
para una transformacin loxodrmica cualquiera, las rbitas se estaran acumulando en los
puntos jos de dicha transformacin.
Otro dato importante que nos interesa es, saber como es la imagen de un crculo mediante
alguna transfromacin de Mbius, lo discutimos a continuacin:
2. Cmo actan las transformaciones de Mbius sobre los crculos?
Solucin. Sabemos que la transformaciones Mbius, nos llevan de rectas y crculos a crculos,
y viceversa, en esta parte veremos la forma que tienen las circunferencias, cuando se aplican
sucesivamente transformaciones de Mbius. Consideremos un caso muy sencillo, que es la
circunferencia centrada en el origen
x2 + y 2 = r 2 ; r>0
Consideremos primeramente, que la transformacin (z) es una transformacin parablica,

en este caso, podemos trabajar con la dinmica que le generar la transformacin conjugada
(z) = z + 1, as composiciones sucesivas de (z) nos dar como resultado n (z) = z + n, la
cual, desplazar a nuestro crculo centrado en el origen hacia la derecha, as nuestro nuevo
crculo tendr por ecuacin
(x n)2 + y 2 = r2
por otro lado, las rectas de la forma x = K ; (K constante) las transformar en rectas de la
forma x = k + n, mientras que las rectas de la forma y=k quedarn jas.
Por otro lado, supongamos ahora que la transformacin es elptica, as podemos considerar
el efecto que le hace su tranformacin conjugada, que es una tranformacin de la forma
(z) = z = ei z , donde su matriz asociada es,

ei/2 0
M= i/2 .
0 e
Luego, composiciones sucesivas de (z), tendrn la forma (z) = ein z . As, para el complejo
w = u + iv = (cos(n) + i sen(n))(x + iy) = (cos(n)x sen(n)) + i(y cos(n) + sen(n)x)
tenemos
x = u cos(n) + v sen(n)
y = v cos(n) u sen(n).
Por tanto el crculo Cr = {x + iy/x2 + y 2 = r2 } queda jo, mientras que para las rectas
x = k, obtemos la recta
cos(n)x + sen(n)y = k
y para las rectas de la forma y=k obtenemos
cos(n)y sen(n)x = k.
26
Finalmente, supongamos que la transformacin es loxodrmica, esto es, (z) es una trans-
formacin conjugada a una de la forma (z) = z , con || =
6 1 sin prdida de generali-
r+i
dad podemos suponer que = e , por tanto composiciones sucesivas sern de la forma
n rn+in
(z) = e z , por tanto, si lo aplicamos al crculo Cr = {(x, y)/x2 + y 2 = r2 } obtenemos
w = u + iv = ern (cos(n) + i sen(n))(x + iy)
donde obtenemos que

u = ern cos(n)x ern sen(n)y,
v = ern sen(n)x + ern cos(n)y,
por tanto
u cos(n) + v sen(n)
x=
2ern
cos(n)v sen(n)u
y=
2ern
as
2 2u2 + v 22
x +y =r = .
4e2rn
Luego, el crculo tranformado sera de la forma
u2 + v 2 = 4r2 e2rn = (2rern )2
o de forma equivalente en el crculo
x2 + y 2 = (2rern )2 .
1.5. Clasicacin por la traza

Ahora exhibimos una caracterizacin de los elementos de P SL(2, C) en trminos de la traza, esta
clasicacin es de gran utilidad, por ejemplo, permite detectar de manera inmediata de qu tipo
es una transformacin de Mbius dada.
Denicin 1.5.1. Sea T una transformacin de Mbius distinta de la identidad.
a) Si T es parablica se dene su multiplicador como 1.
1
b) Si T es conjugada a una transformacin de la forma z kz , k 6= 0, 1 a los nmeros k y se
k
les llama los multiplicadores de T.
Se sigue de la clasicacin denida por la conjugacin a formas cannicas que los multiplicadores
estn bien denidos. El grupo de matrices 22 con entradas complejas y determinante distinto
de 0, se denota por GL(2, C), se dene la traza de A GL(2, C) como la suma de los elementos
diagonales, sta se denota por Tr(A). Usaremos el siguiente resultado bsico del lgebra lineal.
Lema 1.5.1. La traza es invariante bajo conjugacin en GL(2, C).
27
Demostracin. Basta probar que Tr(AB) = Tr(BA), A, B GL(2, C), ya que entonces Tr(ABA1 ) =
1
Tr(A AB) = Tr(B). Escribiendo

a b
A= , B=
c d
se tiene
a + b a + c
AB = y BA =
? c + d ? b + d
por lo que
Tr(AB) = Tr(BA).
La traza de una transformacin de Mbius est bien denida salvo un signo, puesto que existen
dos matrices unimodulares que la denen.
Denicin 1.5.2. Dada T P SL(2, C),
az + b
T (z) = ,
cz + d
a+d
se dene la traza de T como .
ad bc
Denotaremos la traza de T por X (T ). Para muchas aplicaciones es til tener frmulas explcitas
de las coordenadas de los puntos jos. Obtenemos ahora una expresin en trminos de la traza,
para esto consideramos
az + b
T (z) = , ad bc = 1, T 6= Id
zc + d
y se tiene los dos casos:
Caso 1: c 6= 0. En este caso, como

T (z) = z az + b = (cz + d)z cz 2 + (d a)z b = 0,
los puntos jos de T estn dados por
p
ad (a d)2 + 4bc
,
2c
y usando la condicin unimodular, sta frmula se simplica a

ad X24
(1.5)
2c
caso 2: c = 0. En este caso
a b
T (z) = z + .
d d
Si T es parablica, es el nico punto jo. De otra manera, como
a
b
T (z) = z 1 z = ,
d d
el punto jo est dado por
b
.
da
28
Teorema 1.5.1. Sea T P SL(2, C), T 6= Id , entonces
1
k+ +2=X2
k
1
donde k, son los multiplicadores de T y X es su traza.
k
Demostracin. Caso 1: T es parablica. Como el cuadrado de la traza es invariante bajo

conjugacin, se tiene
1 t
X (T ) = tr
2 2
=4
0 1
y se sigue el resultado.
Caso 2: T no es parablica. En este caso T es conjugada a una transformacin de la forma

S(z) = kz , la cual est denida por la matriz

k 0
S= 1 SL(2, C).
0
k
Por lo cual

2
1 1
X (T ) = X (S) =
2 2
k+ =k+ + 2.
k k

Para transformaciones con dos puntos jos nitos 1 , 2 , se tiene una expresin de los multiplica-
dores en trminos de estos puntos. Sea
az + b
T (z) =
cz + d
con esta propiedad S(z) = kz , donde k es uno de los multiplicadores de T y
z 1
(z) = .
z 2
Entonces,
S = T 1 y S = T.
Por lo cual
T (z) 1 z 1
=k ,
T 2 z 2
y evaluando en , se tiene
a/c 1 1 a/c 2
k= y =
a/c 2 k a/c 1
Para el caso de una transformacin en P SL(2, C) que ja dos puntos, uno de los cuales es , es
decir, de la forma T = z + , los multiplicadores se encuentra con facilidad, stos precisamente
1
y . Lo cual se sigue, ya que con esta notacin el segundo punto jo est dado por

,
1
29
y conjugando con

(z) = z ,
1
se obtiene
1
S(z) = T (z) = T z+ = z
1
(como el trmino constante es cero, no es necesario efectuar ms cuentas). Esta facilidad para
detectar los mltiplicadores de una transformacin que ja , permite tambin clasicarla de
manera inmediata, por ejemplo,
a iz + 5
es elptica, sin embargo
a 7z + 8 + i
es hiperblica. El siguiente resultado es muy importante, exhibe un criterio, tambin sencillo, para
clasicar cualquier transformacin en P SL(2C).
Teorema 1.5.2. Sea T P SL(2, C), T 6= 0 y X la traza de T. Entonces
a) T es parablica si y slo si X = 2;
b) T es elptica si y slo si X (2, 2);
c) T es hiperblica si y slo si X (, 2) (2, );
d) T es loxodrmica si y slo si X
/ R.
Demostracin. Probamos primero las condiciones de necesidad. EL caso parablico ya se prob. Si

i
T es elptica, entonces T es conjugada a una transformacin de la forma S(z) = e z , (0, 2),
la cual est determinada por la matriz

ei/2 0
SL(2, C).
0 ei/2
Por lo tanto, X (T ) = X (S) = 2 cos(/2) (2, 2). Si T es hiperblica, entonces T es

conjugada a una transformacin denida por la matriz

k 0
1 SL(2, C), k R+
0
k
por lo cual

2
1 1
X (T ) = X (S) =
2 2
k+ =k+2+ > 4,
k k
puesto que

2
1
k > 0.
k
30
Ahora, si T es loxodrmica y i , 6= 0, 1, (0, 2), es uno de sus multiplicadores, se sigue del

teorema 1.5.1, muestra
1
(cos + i sen ) + (cos i sen ) + 2 = X 2 (T ).

Si X (T ) R, X 2 (T ) R+ y ( 1/) sen = 0, por lo cual sen = 0 y = . Al

se tendra
+
tomar la parte real se tiene ( + 1/) + 2 R , lo que es una contradiccin, ya que + 1/ > 2.
Para demostrar la suciencia, obsrvese que si X (T ) = 4, se sigue de la primera parte que T
2
no es elptica, ni tampoco hiperblica o loxodrmica, por lo que deber ser parablica. Los casos
restantes se demuestran de manera similar.
Corolario 1.5.1. Dos transformaciones de Mbius complejas T, S son conjuagadas en P SL(2, C)

si y slo si
X (T ) = X (S)
31
Captulo 2
Geometra Hiperblica
El plano hiperblico es un espacio mtrico que es muy familiar al plano euclideo, introduciremos
sus propiedades bsicas mediante un proceso anlogo a la propiedades del plano euclideo.
2.1. EL plano hiperblico

Denicin 2.1.1. El plano hiperblico es un espacio mtrico que consiste del semiplano superior
H2 = (x, y) R2 ; y > 0 = {z C; =(z) > 0}

el cual equiparemos con una nueva mtrica dhip .
Para denir la mtrica dhip , primeramente deniremos la longitud hiperblica de una curva
parametrizada por la funcin diferenciable
t (x(t), y(t)), a t b,
como
b
p
x0 (t)2 + y 0 (t)2
Z
lhip () = dt. (2.1)
a y(t)
Utilizando la regla de la cadena, podemos mostrar que la longitud hiperblica es independiente

de la parametrizacin de . La denicin de la longitud hiperblica tambin se puede extender a
curvas diferenciables a trozos, tomando la suma de longitudes hiperblicas de curvas difereciables
a trozos.
33
34 CAPTULO 2. GEOMETRA HIPERBLICA
P
P0
Q0
x
Figura 2.1: Plano hiperblico.
La distancia hiperblica entre dos puntos P yQ es el nmo de las longitudes hiperblicas de

todas las curvas diferenciables que conectan P y Q , esto es:
dhip (P, Q) = nf {lhip ()/ conecta P y Q} (2.2)
Ms adelante veremos que la distancia hiperblica entre los puntos P0 y Q0 indicada en la gura
2.1 es la misma distancia hiperblica de P a Q. Tambin veremos que las curvas que conectan
P y Q que minimizan las distancias hiperblicas son los arcos de semicircunferencias. Con la
prctica, veremos ms confortable la geometra del plano hiperblico y veremos que tiene muchas
e importantes similitudes con el plano euclideo, pero antes vamos a demostrar que la longitud
hiperblica dhip es en realidad una funcin distancia.
Lema 2.1.1. La funcin

dhip : H H R
denida por la ecuacin 2.2 es una funcin distancia.
Demostracin. Vamos a vericar las cuatro condiciones de la denicin de funcin distancia.
a) La condicin dhip 0 es inmediata debido a la denicin.
b) La condicin
dhip (Q, P ) = dhip (P, Q)
tambin se sigue directamente de la denicin.
c) Para demostrar la desigualdad triangular, consideramos tres puntos P, Q, R H2 , ahora sea

> 0, por denicin de la distancia hiperblica como el nmo de las longitudes hiperblicas,
1
existe una curva diferenciable a trozos que va de P Q tal que lhip ()
< dhip (P, Q) + , y
a
2
0 0 1
una curva diferenciable a trozos que va de Q a R tal que lhip ( ) < dhip (Q, R) + , ahora
0 00
2
combinando stas dos curvas y obtenemos una curva diferenciable a trozos que va de
P a R, donde la longitud es
lhip ( 00 ) = lhip () + lhip ( 0 ) < dhip (P, Q) + dhip (Q, R) + .
34
CAPTULO 2. GEOMETRA HIPERBLICA 35
como consecuencia
dhip (P, R) < dhip (P, Q) + dhip (Q, R) + .
Puesto que esta propiedad es cierta para todo > 0, conclumos que dhip (P, R) dhip (P, Q) +
dhip (Q, R), como queramos.
d) Finalmente la nica condicin que tiene una dicultad mayor es que dhip (P, Q) > 0 si P 6= Q.
Consideremos una curva diferenciable a trozos que va de P a Q, parametrizada por la funcin
diferenciable a trozos
t (x(t), y(t)) a t b,
con P = (x(a), y(a)) y Q = (x(b), y(b)), ahora tenemos si no va hasta el otro extremo, as
que y(t) 2y(a) para todo t [a, b],
Z bp 0 2
x (t) + y 0 (t)2
lhip () = dt
a y(t)
Z bp 0 2
x (t) + y 0 (t)2 1
dt = leuc ()
a 2y(a) 2y(a)
1
deuc (P, Q).
2y(a)
Po otro lado, L de la ecuacin y = 2y(a). Sea t0 el primer valor
cruza la recta horizontal
0
de t para el cual esto es cierto; hacemos y(t0 ) = 2y(a) y y(t) < 2y(a) para todo t < t0 . As
0
denota la parte de correspondiente a los valores de t con a t t0 . Esta curva conecta
P con el punto (x(t0 ), y(t0 )) L, as, sta longitud euclidea leuc ( 0 ) es mayor o igual que la
distancia euclidea de P a la recta L, que tambin es igual a y(a). Adems
t0
p
x0 (t)2 + y 0 (t)2
Z
0
lhip () lhip ( ) = dt
a y(t)
Z t0 p 0 2
x (t) + y 0 (t)2 1
dt = leuc ( 0 )
a 2y(a) 2y(a)
1 1
y(a) = .
2y(a) 2
En ambos casos, hemos encontrado que lhip () C para una constante positiva

1 1
C = mn deuc (P, Q), > 0,
2y(a) 2
que depende nicamente de P yQ (una vez ms y(a) es la y -coordenada de P ), luego tenemos
que dhip (P, Q) C > 0, por tanto no puede ser 0 si P 6= Q.
2.2. Algunas isometras del plano hiperblico.

El Plano hiperblico (H2 , dhip ) tiene muchas simetras. Veremos que sus simetras son como las
del plano euclideo.
35
2.2.1. Homotecias y traslaciones horizontales.

Incluiremos las homotecias denidas por (x, y) = (x.x), para algn > 0, por otro lado, si
la curva diferenciable a trozos est parametrizada por
t (x(t), y(t)), a t b,
su imagen () bajo est parametrizada por
t (x(t), x(t)), a t b.
Adems
p
b
2 x0 (t)2 + 2 y 0 (t)2
Z
lhyp (()) = dt
a y(t)
Z bp 0 2
x (t) + y 0 (t)2
= dt
a y(t)
= lhip ().
Se tiene establece una correspondencia uno a uno entre las curvas que conectan P y Q y las
curvas que conectan (P ) y (Q), esto se sique de la denicin de la mtrica hiperblica que
establece
dhip ((P ), (Q)) = dhip (P, Q)
para todo P , Q H2 . Esto demuestra que la homotecia induce una isometra de (H2 , dhip ). La
traslacin horizontal denida por (x, y) = (x + x0 , y) para algn x0 R son las isometras ms
2
obvias de (H , dhip ), al igual que la reexin (x, y) = (x, y) atravs del eje y .
2.2.2. La propiedad homognea del plano hiperblico.

Las isometras obtenidas por la composicin de homotecias y las traslaciones horizontales son
la que demuestran que el plano hiperblico es homogneo. Recordemos que la composicin de
0 0 00 00
dos aplicaciones : X X y : X X es la aplicacin : X X denida por
(p) = ((P )) para todo P X . Si adems, X, X 0 y X 00 son espacios mtricos, es una
0 0 0 00 00 00
isometra de (X, d) a (X , d ), es una isometra de (X , d ) a (X , d ), entonces es una
00 00
isometra de (X, d) a (X , d ) ya que
d00 ( (P ), (Q)) = d00 (((P )), ((P )))

= d0 ((P ), (Q))
= d(P, Q).
Proposicin 2.2.1. 2
El plano hiperblico (H , dhip ) es homogneo, esto es, para todo P, Q H2 ,
2
existe una isometra de (H , dhip ) tal que (P ) = Q.
d
Demostracin. Si P = (a, b) y Q = (c, d) H2 , con b, d > 0, la homotecia de radio = que
b
ad
enva P al punto R = , d con la misma y -coordenada d a Q. Luego, las traslacin horizontal
b
(x, y) = (x + c ad
b
, y) enva R a Q. La composicin ahora prueba que una isometra que
enva P a Q.
36
Lema 2.2.1. La inversin del disco unitario es una isometra del plano hiperblico (H2 , dhip ).
Demostracin. Si es una curva diferenciable a trozos parametrizada por
t (x(t), y(t)), a t b,
su imagen () bajo la inversin est parametrizada por
t (x1 (t), y1 (t)), a t b,
con
x(t) y(t)
x1 (t) = y y1 (t) =
x(t)2 + y(t)2 x(t)2 + y(t)2
entonces
(y(t)2 x(t)2 )x0 (t) 2x(t)y(t)y 0 (t)
x01 (t) =
(x(t)2 + y(t)2 )2
y
(y(t)2 x(t)2 )y 0 (t) 2x(t)y(t)x0 (t)
y10 (t) =
(x(t)2 + y(t)2 )2
luego
x0 (t)2 + y 0 (t)2
x01 (t)2 + y10 (t)2 = .
(x(t)2 + y(t)2 )2
As, se tiene
p b
x01 (t)2 + y10 (t)2
Z
lhip (()) = dt
a y1 (t)
Z bp 0 2
x1 (t) + y10 (t)2
= dt
a y(t)
= lhip ().
esto muestra que la inversin es una isometra del plano hiperblico.
2.3. Curvas minimales en el plano hiperblico.

En la geometra euclidea, las curvas minimales que conectan dos puntos, son los segmentos entre
dichos puntos. Ahora queremos identicar las curvas que minimizan la distancia entre dos puntos
del plano hiperblico, comenzaremos con un caso especial.
Lema 2.3.1. SiP0 = (x0 , y0 ), P1 = (x0 , y1 ) H2 estn ubicados sobre la misma recta vertical,
entonces el segmento [P0 , P1 ] tiene la menor logitud hiperblica de todas las curvas diferenciables a
trozos que van de P0 a P1 . La longitud hiperblica de cualquier otra curva diferenciable que conecta
P0 a P1 tiene estrictamente mayor longitud hiperblica y

y1
dhip (P0 , P1 ) = lhip ([P0 , P1 ]) = ln .
y0
37
Demostracin. Supongamos sin prdida de generalidad que y0 y1 , parametrizando el segmento

[P0 , P1 ] por
t (x0 , t), y0 t y1 .
entonces
y1

02 + 12
Z
y1
lhip ([P0 , P1 ]) = dt = ln
y0 t y0
ahora, consideramos una curva diferenciable a trozos que va de P0 a P1 , que est parametrizada
por
t (x(t), y(t)), a t b.
su longitud hiperblica es
pb Z b 0
x0 (t)2 + y 0 (t)2 |y (t)|
Z
lhip () = dt dt
a y(t) a y(t)
Z b 0
y (t) y(b) y1
dt = ln = ln = lhip ([P0 , P1 ]).
a y(t) y(a) y0
La igualdad en la primera desigualdad requiere que la funcin x(t) sea constante, mientras que en
la segunda implica que y(t) es creciente. Esto muestra que la curva es igual al segmento rectilneo
[P0 , P1 ] si lhip = lhip ([P0 , P1 ]).
La siguiente estimacin, es demostrada por el mismo argumento del lema anterior.
Lema 2.3.2. Para cualesquiera dos puntos P0 = (x0 , y0 ), P1 = (x1 , y1 ) H2 ,

y1
dhip (P0 , P1 ) ln .

y0
Lema 2.3.3. P , Q H2 que no esten sobre una misma recta vertical, existe una
Para cualquier,
2
isometra del plano hiperblico (H , dhip ) tal que (P ) y (Q) estn en la misma recta vertical. En
realidad, el segmento [(P ), (Q)] es la imagen bajo del nico arco circular que conecta P con
Q y est centrado sobre el eje x.
Demostracin. Como P Q no estn sobre la misma recta vertical, la perpendicular que biseca la
y
lnea de P y Q intersecta el eje x en algn punto R. El punto R equidista de P a Q por la mtrica
euclidea, as, existe un crculo C centrado en R y que pasa atravez P y Q que est centrado sobre
el eje x. El crculo C intersecta el eje x en dos puntos. Sean 1 la traslacin horizontal que enva
0
uno de esos puntos a (0, 0). Entonces C = 1 (C) es un crculo que pasa atravez del origen y est
0
centrado en algn punto (a, 0). En particular, la ecuacin del crculo C en coordenadas polares
es r = 2a cos(). Su imagen bajo la inversin 2 es la curva de coordenadas polares de ecuacin
1
r= , llamaremos a la recta vertical L, donde la ecuacin en coordenadas cartesianas es
2a cos()
1
x= .
2a
38
2 1 (P )
2 1 (Q) 1 (Q) Q
C0 C
P
1 (P )

1 (a, 0) (0,0) R
,0
2a
Figura 2.2: Arcos minimales centrados en el eje x.
La composicin 2 1 enva C a la recta vertical L. En particular, esta enva los puntos P y Q a

dos puntos sobre la recta vertical L. Restringiendo 2 1 a puntos en H2 , entonces demostramos
que la isometra = 2 1 cumple con las condiciones del lema.
El lema 2.3.3 puede extenderse inmediatamente al caso donde P y Q estn situados en la misma
recta vertical L L como un crculo de radio innito, donde el centro est
por la interpretacin de
localizado en el innito sobre el eje x. Equivalentemente, la recta vertical L de ecuacin x = a
puede ser vista como el lmite cuando x tiene a + o a del crculo de radio |x a| centrado
2
en el punto (x, 0). Con esta convencin, cualesquiera dos puntos P, Q H pueden ser conectados
por un nico arco circular centrado sobre el eje x.
Teorema 2.3.1. Entre todas las curvas que conectan P y Q en H2 , los arcos circulares centrados
sobre el eje x (posiblemente un segmento vertical) son las nicas curvas que minimizan la distancia
hiperblica.
Demostracin. Si P y Q
estn sobre la misma recta vertical, esto est demostrado por el lema
0 0
2.3.1. Por otro lado el lema 2.3.3 prueba que una isometra enva P y Q a dos puntos P y Q
0 0
sobre la misma recta vertical L. Por el lema 2.3.1, las curva minimales de P a Q es el segmento
0 0
[P , Q ]. Como una isometra enva cuvas minimales a curvas minimales, la curva minimal de P a
Q es la imagen del segmento rectilneo [P 0 , Q0 ] bajo la isometra inversa 1 . Por el segundo hecho
del lema 2.3.3, esta imagen es el arco circular que conecta P a Q y est centrado sobre el eje x.
En un espacio mtrico donde la funcin distancia est denida tomando el nmo de las longitudes
de arcos de ciertas curvas, como en el plano euclideo y el plano hiperblico, existe un trmino
tcnico para las curvas minimales. Ms precisamente geodsica es una curva tal que para todo
P y para todo Q sucientemente cercano a P, la seccin de que conecta P a Q es la
curva minimal que conecta P y Q
(para la longitud de arco considerada). Por ejemplo, sabemos
2
que las geodsicas en el plano euclideo (R , deuc ) son los segmentos rectilneos, luego el teorema
2
2.3.1 muestra que las geodsicas en el plano hiperblico (H , dhip ) son los arcos circulares centrados
sobre el eje x.
39
Denicin 2.3.1. Una geodsica completa es una geodsica que no puede extenderse a lo largo de
una geodsica.
Lema 2.3.4. P0 = (0, y0 ) y P1 = (0, y1 ) dos puntos del semiplano superior derecho L =
Sea
{(0, y); y > 0} H del eje y , con y1 > y0 y sea g una geodsica hiperblica completa que pasa
atravez de P0 . ver gura 2.3. Entonces las siguientes condiciones son equivalentes.
a) P0 es el punto de g que est ms cerca a P1 para la distancia hiperblica dhip ;
b) g es la geodsica completa g0 que es ortogonal a L en el punto P0 , equivalentemente sta es el

semi crculo euclideano de radio y0 centrado en (0, 0) y conecta (y0 , 0) a (y0 , 0).
Demostracin. Los lemas 2.3.1 y 2.3.2 muestran que para todo punto P = (u, v) sobre la geodsica
g0 ,
y1 y1
dhip (P1 , P ) ln ln = dhip (P1 , P0 ).
v y0
L
P1
P
P0
g
g0
Figura 2.3: geodsicas completas
Como una consecuencia, el punto P0 est ms cerca a P1 entre todos los puntos de g0 . Recpro-
camente, si g es otra geodsica hiperblica completa que pasa atravez de P0 y forma un ngulo

6= con L en P0 , queremos encontrar un punto P en g con
2
dhip (P1 , P ) < dhip (P1 , P0 ).
Para P = (u, v) g , la parametrizacin del segmento rectilneo [P1 , P ] dado, tiene longitud
hiperblica igual a
1
p
u2 + (v y1 )2
Z
lhip ([P1 , P ]) = dt
0 y1 + t(v y1 )
p
u2 + (v y1 )2 y1
= ln .
y1 v v
40
Ahora hacemos que el punto P = (u, v) varie sobre la geodsica g cerca de P0 . Cuando u = 0,
dv
tenemos que v = y0 y = cot . Derivando la frmula anterior, nos que todava en u = 0.
du
d 1
lhip ([P1 , P ]) = cot .
du y0

En particular, a menos que = , esta derivada es diferente 0 y existe cerca de P0 = (0, y0 ) un
2
punto P = (u, v) de g tal que
dhip (P1 , P ) lhip ([P1 , P ]) < lhip ([P1 , P0 ]) = dhip ([P1 , P0 ]).
2.4. Todas las isometras del plano hiperblico.

Hasta el momento nos hemos encontrado con tres tipos de isometras del plano hiperblico
(H2 , dhip ): homotecias, traslaciones horizontales y las inversiones. En esta seccin, describiremos
2
todas las isometras de (H , dhip ). Es conveniente usar nmeros complejos, recordemos
H2 = {z C; =(z) > 0} ,
Donde la parte imaginario =(z) es la coordenada y de z = x + iy .

En coordenadas complejas, una homotecia es de la forma z 7 z
> 0, una
para un nmero
z 1
traslacin es de la forma z 7 z + x0 con x0 R, y la inversin es de la forma z 7 = ,
|z|2 z
p
donde z = x iy es el conjugado complejo de z = x + iy y donde |z| = 2 2
x + y = zz es su
mdulo. Podemos obtener ms ejemplos de isometras por composicin de isometras de esos tipos.
Llamaremos a la composicin de dos mapeos y deniendolas por
(P ) = ((P )),
y puesto que la composicin de dos isometras es una isometra.
Lema 2.4.1. Todas los mapeos de la forma
az + b
z 7 con a, b, c, d R y ad bc = 1 (2.3)
cz + d
cz + d
z 7 con a, b, c, d R y ad bc = 1 (2.4)
az + b
son isometras del plano hiperblico (H2 , dhip ).
Demostracin. Estas transformaciones son en realidad transformaciones de Mbius, que como

mostramos en el captulo 1, son composiciones de traslaciones, homotecias e inversiones.
41
Lema 2.4.2. Sea una 2

isometra del plano hiperblico (H , dhip ) tal que (iy) = iy para todo
2
y > 0. Entonces (z) = z para todo z H o (z) = z para todo z .
Demostracin. Sea L = {iy; y > 0} es el semiplano superior del eje y . Por hiptesis, ja todo
punto de L. iy L, sea gy la nica geodsica hiperblica completa que pasa atravz de
Para todo
iy y es ortogonal a L. Llamaremos, gy es el semicrculo euclideo de radio y centrado en 0 contenido
2
en H . Ya que es una isometra y (iy) = iy es el punto de (gy ) = g que est ms cerca a
(iy1 ) = iy1 . Usaremos el lema 2.3.4 para demotrar que g = gy . Ciertamente, este hecho caracteriza
la geodsica gy por la propiedad que para cualquier y1 > y , el punto iy es el punto de gy que est
ms cerca a iy . Como una consecuencia, ya que es una isometra, (iy) = iy1 . El 2.3.4 muestra
entonces que g = gy , as que (gy ) = gy .
Ahora, si P = u + iv es un punto de gy , esta es su imagen (gy ) es uno de los dos puntos de gy

que estn a una distancia dhip (P, iy) de iy . Uno de esos dos puntos es P , el otro es u + iv por
simetra.
Conclumos que (u + iv) = u + iv o u + iv para todo u + iv H2 (ya que u + iv pertenece
a alguna geodsica gy ). Ya que es una isometra, esta es continua. Esto se del hecho de que
(u + iv) = u + iv para todo u + iv H2 o (u + iv) = u + iv para todo u + iv H2 . Este puede
2 2
referirse como (z) = z para todo z H o (z) = z para todo z H .
Teorema 2.4.1. Las isometras del plano hiperblico (H2 , dhip ) son exactamente las aplicaciones
de la forma
az + b
(z) = con a, b, c, d R y ad bc = 1.
cz + d
cz + d
(z) = con a, b, c, d R y ad bc = 1.
az + b
Demostracin. En el lema 2.4.1 demostramos que las transformaciondes de Mbius son isometras
2
del plano hiperblico. Recprocamente, sea una isometra de H , y consideremos la parte positiva
L = {iy : y > 0} del eje y . Como L es una geodsica completa de H2 , su imagen bajo la isometra
tambin es una geodsica completa de H2 , un semicrculo euclideo delimitado por dos puntos
distintos u, v R{}. Donde u o v pueden ser exactamente cuando (L) es una recta vertical.
Adems, si orientamos L desde 0 hasta , requeriremos con menor generalidad la correspondiente
orientacin de (L) que va desde u a v .
Primero, consideramos el caso cuando u y v son diferente de . La isometra hiperblica
az au
(z) =
cz cv
con a c R, ac(u v)=1, u nos lleva a 0, v nos lleva a . Se sigue de la composicin

y
ja los puntos 0 e . Como consecuencia, la isometra enva la geodsica completa L en s
misma y respeta la orientacin. En particular, (i) = it para algn t > 0. Reemplazando a por

a/ t y c por c t en la denicin de , podemos llegar a que (i) = i. Entonces enva
cada iy L a un punto de L que est a la misma distancia hiperblica desde i como iy ; enviando
respeta la orientacin de L, la nica posibilidad es que (iy) = iy para todo y > 0. Ahora
42
aplicando el lemma 2.4.2 concluimos de que (z) = z para todo z o (z) = z para todo
z. En el primer caso,
cvz + au
(z) = 1 (z) =
cz + a
donde la frmula para la funcin inversa 1 es obtenida por la solucin de la ecuacin (z 0 ) = z
para todo z. En el segundo caso
cvz + au
(z) = 1 (z) = .
cz + a
En todo caso (z) es del tipo requerido. Solo falta considerar los casos cuando u o v es innito.
Los argumentos son idnticos, usando las isometras
a
(z) =
cz cv
con ac = 1 cuando u= y
az au
(z) =
c
con ac = 1 cuando v = .

az + b
Las isometras de (H2 , dhip ) de la forma (z) = con a, b, c, d R y ad bc = 1 son
cz + d
cz + d
llamadas aplicaciones racionales lineales con coecientes reales. Las de la forma (z) =
az + b
con a, b, c, d R y ad bc = 1 son aplicaciones racionales antilineales.
2.5. Aplicaciones Lineales y antilineales

En esta parte estableceremos algunas propiedades de aplicaciones racionales lineales y antili-
neales. ya que posteriormente necesitaremos considerar aplicaciones de este tipo con coecientes
complejos, probaremos esas propiedades en un nivel mayor de generalidad. En el contexto comple-
az + b
jo, una transformacin racional es una aplicacin no constante de la forma (z) =
cz + d
con coecientes complejos a, b, c, d C. Un poco de lgebra elemental muestra que es no cons-
tante exactamente cuando ad bc 6= 0. Dividiendo todos los coecientes por uno de las dos races

ad bc, podemos consecuentemente arreglar para que ad bc = 1 con el cambio del mapeo
. Sistemticamente requeriremos que los coecientes a, b, c, d C satisfaciendo esta condicin
ad bc = 1.
d
Hasta el momento el mapeo, no est denida en z = . Sin embargo, esto puede facilmente ser
c
az + b
jado por la introduccin a un punto en el innito de C. La aplicacin racional (z) =
cz + d

con a, b, c, d C y ad bc = 1, denimos un mapeo : C C por (d/c) = y () = .
a
c
Esta aplicacin es continua por la denicin de continuidad en el innito, y a queremos
a
lm (z) = y lm (z) =
z dc z c
43
Similarmente, una aplicacin racional antilineal : C C de la forma

es una aplicacin
cz + d
b c
(z) = con a, b, c, d C y ad bc = 1, con la convencin de que = y () = .
a
az + b a
2.5.1. Algunas aplicaciones racionales antilineales.

Ya nos hemos encontrado con las homotecias
1
2 z + 0
z z = 1
0z + 2
con un nmero real positivo. Si permitimos coecientes complejos, podemos considerar las rota-
ciones

i ei 2 z + 0
ze z=
0z + ei 2
de ngulo R alrededor del origen, las traslaciones
z + z0
z z + z0 =
0z + 1
para nmeros complejos arbitrarios z0 C. Tambin vamos a considerar la inversin del crculo
unitario
z 1 0z + 1
z = =
|z|2 z z+0
Lema 2.5.1. Toda transformacin lineal o antilineal : C C es una composicin de homotecias,
translaciones, rotaciones e inversiones del crculo unitario.
Demostracin. La demostracin es idntica a los argumentos algebraicos utilizados para el caso

lineal, ver 1.2.1.
Si C es el crculo de radio R centrado en el punto z0 C, la inversin del crculo es la aplicacin

antililineal denido por
z z0
(z) z0 = R2
|z z0 |2
o equivalentemente, que
2 2
z0
R
z+ R |z
R
0|
(z) = 1
R
z zR0
enva z al punto que est en el mismo rayo que va desde z0 a z , y est a una distancia ecuclidea
R2 /deuc(z,z0 ) de z0 . Esta inversin ja todo punto del crculo C e intercambia el interior con el
exterior de C . Hay un interesante caso lmite de inversiones donde dejamos el centro y el radio del
i
crculo ir a innito. Dados t, t0 y 0 R, sea z0 = te y R = t t0 . Si hacemos t tender a +, el
i
crculo C converge a la lnea L que pasa atravz del punto t0 e y forma un ngulo de 0 + con
2
2i io
el eje x. Por otro lado, la inversin a travs de C converge al mapeo z e z + 2t0 e , que es
justamente la reexin a travz de la lnea L. De esta manera, interpretamos la recta L como un
crculo de radio innito centrado en el innito, podemos considerar la reexin euclidea a travez
de L como una inversin a travez de este crculo. Note que toda recta L puede ser obtenida de
esta manera.
44
2.6. La norma hiperblica.

Si

v = (a, b) es un vector en R2 , su magnitud o norma euclidea es igual a

k

v keuc = a2 + b2 .
Por ejemplo, si

v es la velocidad de una partcula que se mueve en el plano euclideo, k

vk
describe la rapidez de dicha partcula. En el plano hiperblico, las distancias son medidas de
manera diferente, respecto al plano y en consecuencia tambin la rapidez. Si

v es un vector con
2
base en el punto z H C, su norma hiperblica es
1
k

v khip = k
v keuc .
=(z)
Para justicar esta denicin, sea una curva en H2 , parametrizada por t z(t), a t b. En
0
particular, el vector tangente de en el punto z(t) es la derivada z (t), y que lo hemos considerado
como un vector basado en z(t). Entonces las longitudes euclideanas e hiperblicas de estn dadas
por frmulas muy similares
Z b
leuc () = kz 0 (t)keuc dt
a
y
Z b
lhip () = kz 0 (t)khip dt.
a
Si es una aplicacin diferencial y

v es un vector con base en el punto P, su imagen DP (

v)
bajo la aplicacin diferencial es un vector con base en (P ).
Lema 2.6.1. Si es una isometra de (H2 , dhip ), entonces kDz0 (

v )khip = k

v khip para todo
vector

v 2
con base en z0 H .
az + b
Demostracin. Considere el caso donde es racional lineal (z) = con a, b, c, d R y
cz + d
ad bc = 1. Por la proposicin ??, si

v es un vector con base en z0 H2 ,
1
kDz0 (

v )keuc = k

v keuc .
|cz0 + d|2
Por otro lado,
1 1 az + b a
z0 + b

0
=((z0 )) = (z0 ) (z0 ) =
2i 2 cz0 + d c z0 + d
1 z0 z0 1
= 2
= =(z0 ).
2i |cz0 + d| |cz0 + d|2
Adems,
1
kDz0 (

v )khip = kDz0 (
v )keuc
=((z0 ))
1
= k

v keuc = k
v khip .
=(z0 )
cz + d
El argumento es similar para aplicaciones racionales antilineales (z) = .
az + b
45
2.7. El modelo del disco para el plano hiperblico

Ahora vamos a describir un nuevo modelo para el plano hiperblico, que es otro espacio mtrico
2
(X, d) que es isomtrico a (H , dhip ). Este modelo es algunas veces ms conveniente para procesos
computacionales.

B2 P
Figura 2.4: Modelo del disco para el plano hiperblico.
Sea B2
es el disco abierto de radio 1 centrado en (0,0) en el plano complejo, la bola Bdeuc ((0, 0), 1)
2
2
en el plano euclideo (R , deuc ). Para un vector v con base en un punto z B , denimos su
2
B norma de la siguiente manera:
2
k

v kB2 = k

v keuc
1 |z|2
donde k

v keuc k es la norma euclidea de V . Entonces, como para el plano euclideo e hiperblico,
2 2
denimos la B longitud de una curva diferenciable a trozos en B parametrizada por t z(t),
a t b, como
Z b
lB2 () = kz 0 (t)kB2 dt.
a
Finalmente, dados dos puntos cualesquiera P , Q B2 , denimos su B2 -distancia dB2 (P, Q) como el
nmo de las longitudes lB2 de las curvas diferenciables a trozos que conectan P y Q. Sea una
z + i
aplicacin racional lineal denida por (z) = . Note que los coecientes de no satisfacen
zi
la relacin usual ad bc = 1. Esto puede arreglarse, dividiendo todos los coecientes por una de

las races cuadradas complejas 2i, pero el resultado de la expresin podra ser engorroso.
z + i
Proposicin 2.7.1. Las transformacin racional (z) = induce una isometra de (H2 , dhip )
z+i
a (B2 , dB2 ).
Demostracin. Note que |(z)| = 1 cuando z R, as que enva R {} al crculo unitario.

2
Como consecuencia, enva el semiplano superior H al interior o el exterior del crculo unitario
46
en C {}. Puesto que (i) = 0, conclumos de que (H2 ) es igual al interior de B2 del crculo
unitario. Consideramos la diferencial Dz : C C de en z H2 . La proposicn (??) tenemos:
2
kDz (v)kB2 = kDz (v)keuc
1 |(z)|2

2 2i
= 2 v
(z + i)2

z + i
1
z+i
4
= |v|
|z + | z + i|2
i|2
4
= |v|
(z + i)(z i) (z + i)(z i)
2 1
= |v| = |v| = kvkhip .
i(z z) =(z)
De estos clculos, concluimos que enva a una curva en H2 () en B2 tal que

a una curva
lB2 (()) = lhip (). Tomando el nmo de las longitudes de tales curvas, se sigue que dB2 ((P ), (Q)) =
dhip (P, Q) para todo P , Q H2 . En otras palabara, dene una isometra de (H2 , dhip ) a
(B2 , dB2 ).
En particular, esto demuestra que dB2 es una mtrica y no una semi-mtrica (equivalentemente
que dB2 (P, Q) = 0 nicamente cuando P = Q), que es una propiedad que implcitamente asumimos
anteriormente.
Proposicin 2.7.2. 2
Las geodsicas de (B , dB2 ) son los arcos contenidos de los crculos eucldeos
1 2
que son ortogonales a S , es decir, la frontera B , incluyendo las lneas rectas que pasan atravez
del origen.
Demostracin. Ya que es una isometra de (H2 , dhip ) a (B2 , dB2 ), las geodsicas de (B2 , dB2 ) son
2
justamente las imagenes bajo de las geodsicas de (H , dB2 ). Como las aplicaciones racionales
lineales envan crculos a crculos y adems son conformes, el resultado se sigue inmediamente del
2
hecho que las geodsicas de (H , dhip ) son exactamente arcos euclideos centrados sobre el eje x o
equivalentemente ortogonalmente al eje x.
Proposicin 2.7.3. Las isometras de (B2 , dB2 ) son exactamente las restricciones a B2 de todas
las aplicaciones racionales lineales y antilineales de la forma
z + z +
(z) = o (z) =
z + z +
con ||2 ||2 = 1.
Demostracin. Como es una isometra de (H2 , dhip ) a (B2 , dB2 ), las isometras de de (B2 , dB2 ) son
1 2
exactamente las aplicaciones de la forma donde es una isometra de (H , dhip ).
az + b
Si es una aplicacin racional lineal de la forma (z) = con a, b, c, d R y ad bc = 1,
cz + d
entonces
(ai b + c + di)z + (ai b c + di)
1 =
(ai + b + c + di)z + (ai + b c + di)
47
es de la forma indicada para
1
= (a + bi ci + d)
2
1
y = (a + bi + ci + d)
2
Recprocamente, escribiendo + = bi + d y = a ci con a, b, c, d R, cualquier aplicacin
z +
z con ||2 ||2 = 1 es de la forma 1 para algunos a, b, c, d R con
z + z
ad bc = 1.
2.8. El espacio hiperblico tridimensional.

Ahora vamos aumentar una dimensin en uno, el espacio hiperblico tridimensional H3 . Este
espacio est denido en completa analoga con el plano hiperblico. Muchas de las pruebas son
idnticas a las realizadas en dimensin 2.
2.8.1. El espacio hiperblico tridimensional.

El espacio hiperblio tridimensional es el espacio mtrico que consiste del espacio superior, esto
es:
H3 = (x, y, u) R3 ; u > 0 .

Si es una curva diferenciable a trozos en H3 parametrizado por la funcin vectorial
t (x(t), y(t), u(t)), atb
su longitud hiperblica es:
b
p
x0 (t)2 + y 0 (t)2 + u0 (t)2
Z
lhip () = dt.
a u(t)
P
y
Figura 2.5: EL espacio hiperblico
48
Denicin 2.8.1. La distancia hiperblica de P a Q H3 est denida por
dhip (P, Q) = nf {lhip (); conecta P y Q}
El hecho de que (H3 , dhhip ) es un espacio mtrico es idntico a la prueba, para el plano hiperblico
en el lema 2.1.1.

Como en dimensin 2, la norma hiperblica de un vector v con base el punto
P = (x, y, u) H3 est denida como
1
v khip = k
k
v keuc
u

donde k

v keuc = a2 + b2 + c2 es la norma euclidea usual de

v = (a, b, c). El espacio hiperb-
lico tridimensional admite algunas isometras un tanto obvias : H3 H3 que son inmediatas
extensiones de su contraparte, el plano hiperblico. Entre las cuales tenemos: Las traslaciones
horizontales: denidas por
(x, y, u) = (x + x0 , y 0 , u)
para x0 , y0 R y las homotecias (x, y, z) = (x, y, u) para > 0. Una nueva, pero no muy
diferente tipo de simetra consiste de rotaciones alrededor del eje u, denida por
(x, y, u) = (x cos y sin , x sin + y cos , u)
para R.Finalmente, en analoga a la inversin del disco unitario, tenemos la inversin atravez
3 3
de la esfera unitaria. Este es la aplicacin : R {} R {} dada por

x y u
(x, y, u) = , 2 , 2
x + y + u x + y + u x + y 2 + u2
2 2 2 2 2
Tenemos que la inversin as denida enva el semiespacio superior en s mismo.
Lema 2.8.1. 3 3

Si : H H es la inversin atravez de la esfera unitaria y si v es un vector con
base en P 3

H , entonces su imagen DP ( v ) bajo la diferencial de , que es un vector con base
en (P ), es tal que
kDP (

v )khip = k

v khip
como consecuencia, es una isometra de (H3 , dhip )
Demostracin. Esto es un inmediato arreglo, idntico al usado en la prueba del lema 2.2.1 para
demostrar que la inversin atravez del crculo unitario es una isometra del plano hiperblico.
Considere el plano vertical:
H = (x, 0, u) R3 ; u > 0 H3 .

Sustituyendo la letra u por y , este plano superior tiene una identicacin natural con el plano
2 2
hiperblico H . Para esta identicacin la longitud hiperblica tridimensional de un curva en H .

3
Lo mismo es cierto para la norma hiperblica k v khip de un vector v tangente a H en P H H .
2 3
Tambin podemos identicar el plano hiperblico (H , dhip ) con el plano superior H H , dotamos
con la mtrica dH para el cual dh (P, Q) es el nmo de las longitudes hiperblicas de todas las
curvas que conectan P y Q en H.
49
Teorema 2.8.1. El espacio hiperblico (H3 , dhip ) es homogneo e isotrpico. Equivalentemente,

para todo

vector v en el punto P y todo w en Q con k v khip = k w khip , entonces existe una
isometra

de (H3 , dhip ) tal que (P ) = Q y DP ( v ) = w

Demostracin. Modicando

v , P,
w y Q por traslaciones horizontales y rotaciones atravez del
3
eje u ( que son isometras de H , podemos asumir sin prdida de generalidad que P y Q estn el
2 3

semiplano superior H H y que v y w son tangentes al semiplano superior. Entonces, como el
2 2 2
plano hiperblico H es isotrpico por la proposicin 2.2.1, existe una isometra : H H que

enva P a Q y donde la aplicacin diferencial enva v a w . Esta isometra es una composicin
de traslaciones a lo largo del eje x, homotecias e inversin atravez del crculo unitario en el plano.
Extendiendo las inversiones por las inversiones atravez de la esfera unitaria, todos esos factores
3 3 3
se extienden a isometras de H , as se extiende a una isometra : H H que tiene las
propiedades deseadas.
2.8.2. Isometras del Espacio hiperblico tridimensional

Listaremos todas las isometras del espacio hiperlico H3 , es conveniente identicar el plano xy
con el plano complejo C, de la manera usual.
Lema 2.8.2. = C {} se extiende continua-

Toda aplicacin racional lineal o antilineal de C
mente a una aplicacin
3
: H C H C3 donde la restriccin a H3 es una isometra de
(H3 , dhihp ).
Demostracin. Sabemos que las aplicaciones lineales o antilineales C

: C es una composi-
cin de traslaciones, rotaciones, homotecias e inversiones atravez del crculo unitario. Observamos
3
que todos esos factores extienden transformaciones continuas de H C induciendo isometras de
3
(H , dhip ).
A priori, la extensin de probada en el lema anterior, depende del cambio de la composicin

de como una composicin de traslaciones, rotaciones, homotecia e inversiones atravez del crculo
unitario. Para mostrar que este no es el caso, usaremos una simple observacin geomtrica.
Lema 2.8.3. La inversin atravez de la esfera unitaria enva cualquier esfera S centrada sobre el
plano xy , posiblemente un plano vrtical.
Demostracin. La inversin y la esfera S son cuerpos simtricos con respecto a rotaciones alrededor
de la lnea que conecta el origen O con el centro de la esfera S . La propiedad consecuentemente se
2
sigue del hecho 2-dimensional que la inversin atravez del crculo unitario es una isometra de H
y adems enva un crculo centrado sobre el eje x a cualquier otro crculo centrado sobre el eje x
(posiblemente una recta vertical).
Lema 2.8.4. Las extensiones : H3 H3 de una aplicacin racional lineal o antilineal : C C

probado para el lema 2.8.2 es independiente de la seleccin.
Demostracin. Si P H3 , arbitrariamente recoge 3 esferas S1 , S2 y S3 centrados sobre el plano

xy , pasando atravez de P , y sucientemente genricos ya que P es el ncio punto de insterseccin
3
de H S1 S2 S3 .
50
Las esferas S1 , S2 , S3 intersectan el plano xy C en tres crculos C1 , C2 , C3 . Luego enva crculos

. As existen esfras nicas S 0 , S 0 , S 0 centradas sobre el plano
C1 , C2 , C3 a crculos C10 , C20 , C30 en C 1 2 3
xy que intersectan el plano xy a lo largo de C10 , C20 , C20 . Por el lema 2.8.3 y de manera similar
para las traslaciones horizontales, rotaciones atravez del eje z y homotecias, la extensin de
0 0 0
enva S1 a S1 , S2 a S2 y S3 a S3 . Como consecuencia (P ) es el nico punto de interseccin de
H3 S10 S20 S20 .
En particular (P
) es independiente de la descomposicin de como una composicin de tras-
laciones, rotaciones, homotecias e inversiones que son usadas en la demostracin del lema 2.8.2.
Teorema 2.8.2. Toda aplicacin racional lineal o antilineal : C C tiene una nica exten-
sin continuaa
3 3
: H C H C donde su restriccin a H es una isometra de (H3 , dhip ).
3
3
Recprocamente, toda isometra de (H , dhip ) es obtenida de esta manera.
Demostracin. La existencia de la extensin se demostr justamente en el lema 2.8.2 . Recpro-

camente, sea una isometra de (H3 , dhip ). Queremos encontrar una aplicacin lineal o antilineal
3
donde la extensin isomtrica a H coincida con .
Ya que es una isometra, sta enva la
geodsica orientada en 0, 3 . Por lgebra
a otra geodsica completa de H , que va de z1 a z2 C
elemental, existe una aplicacin racional lineal enviando 0 a z1 y a z2 . Si
es su extensin
3
isomtrica a H , la isometra
1 ahora enva la geodsica orientada de 0 a en si misma.
1
Sustituyendo por por de ser necesario, podemos adems asumir que enva la geodsica
de 0 a en s misma, sin prdida de generlidad.
Componiendo con una homotecia de ser necesario, podemos asumir que esta ja algunos puntos
de su geodsica. Como es una isometra, esta ja todo punto de la geodsica de 0 a . Sea g una
2 3
geodsica completa contenida en el sesmiplano superior H H y que cruza 0 a en algn punto
P0 . Entonces (g) es una geodsica completa que pasa atravez de P0 . Note que H2 es la unin
2
de todas las geodsicas completas que van de 0 a y g {P0 }. Adems, (H ) es la unin de
todas las geodsicas que van de 0 a y (g) {(P0 )}, y consecuentemente es el plano superior
vertical euclideo que contiene 0, y (g). Componiendo con una rotacin alrededor de 0, si
2 2
es necesario, podemos adems asumir que (H ) = H .
2
En particular, ahora restringida a una isometra de H . Por la clascacin de isometras de
(H2 , dhip ) en el teorema 2.4.1, existe consecuentemente una aplicacin lineal o antilineal , con
coecientes reales donde la extensin isomtrica coincide con sobre H2 . Entonces 1
3 2
es una isometra hiperblica de H que ja todo punto de H . El mismo argumento como en la
1
demostracin del lema 2.4.1 muestra que es la aplicacin identidad o la reexin euclidea
2
atravez de H . El lema 2.8.4 muestra la que la extensin es nica.
En general, usaremos las mismas letras para denotar aplicaciones racionales lineales y antilineales
:C C , la isometra hiperblica : H3 H3 , y la aplicacin continua : H3 C HC
3 3
hecho de esas dos aplicaciones. Diremos que : H H es la extensin isomtrica de : C C
3
a una isometra de (H , dhip ) que aunque en un sentido extricto, matemticamente incorrecto( si
3
la extensin actual es ( : H C H3 C ), es conveniente una terminologa adecuada, para
futuras referencias, indicaremos la siguiente propiedad:
Lema 2.8.5. Sean Bddip (P0 , r) y Bddip (P00 , r) son dos bolas con el mismo radio r>0 en (H3 , dhip ).
Dotando cada bola con la restriccin de la mtrica hiperblica dhip . Entonces toda isometra :
Bddip (P0 , r) Bddip (P00 , r) tiene una nica extensin a una isometra : H3 H3 .
51
Demostracin. La demostracin se sigue de las lneas del teorema 2.8.2 transportando cada una
3
por una isometra de H , de ser necesario, podemos asumir sin prdida de generalidad que P0 est
sobre la geodsica de 0 a . Entonces, por los argumentos usados en la prueba del teorema 2.8.2
podemos progresivamente componer con varias isometras de (H3 , dhip ) se reduce el problema al
caso donde enva P0 a P0 , y entonces enva la interseccin de Bddip (P0 , r) con la geodsica de 0
a en s mismo y entonces enva Bddip (P0 , r) H2 , y entonces ja todo punto de Bddip (P0 , r).
En stos puntos, la existencia de la extensin a una isometra global (equivalentemente, la aplicacin
3
identidad) de H es inmediata. La unicidad de la extensin es inmediata, una vez que nos damos
cuenta que podemos enviar cada geodsica que va desde P0 en s misma.
52
Captulo 3
Grupos Kleinianos
En este captulo desarrollaremos la teora bsica de grupos Kleinianos, que son ciertos grupos de
H3 , antes de presentar la denicin formal de un grupo Kleiniano
isometras del espacio hiperblico
construiremos a detalle algunos ejemplos mediante un proceso de iteracin de nuestra herramienta
fractal "transformaciones de Mbius", donde utilizaremos sus propiedades denidas en el captulo
1.
3.1. Construccin de grupos Kleinianos.

3.1.1. Crculos emparejados.
Para nuestra primera construccin de un grupo Kleiniano vamos a considerar 4 crculos en el
plano, los cuales vamos a enlazarlos mediante dos transformaciones de Mbius, lo cual es posible
debido a que tres puntos determinan un nico crculo y debido al teorema 1.2.2 siempre podemos
encontrar una transformacin que nos lleve de los puntos z1 , z2 , z3 a tres puntos w1 , w2 , w3 , as
podemos tomar 3 puntos de un crculo y 3 del otro, as de esta forma garantizamos que siempre
es posible encontrar dos transformaciones que convierta un crculo en otro, la siguiente denicin
establece las condiciones para dicho emparejamiento.
Denicin 3.1.1. Sean DA y Da dos discos disjuntos acotados por las circunferencias CA y Ca
respectivamente. Una transformacin loxodrmica a se dice que empareja los discos DA y Da si
transforma CA en Ca y el exterior de DA en Da .
Por otro lado se tiene:
a ) El punto jo atractor F ix+ (a) de a es interior a Da y el punto jo repulsor F ix (a) de a
es interior a DA .
+
b ) Potencias sucesivas de a encajan el disco Da a un disco ms pequeo conteniendo F ix (a),
1
mientras que potencias sucesivas de a encogen DA a un disco ms pequeo conteniendo

F ix (a).
En adelante vamos a considerar la transformacin de Mbius por a y su inversa por A, esto es:
a1 = A y A1 = a.
53
54 CAPTULO 3. GRUPOS KLEINIANOS
Ahora, consideremos dos parejas de discos disjuntos y supongamos que estn emperajados por
las transformaciones a, b y sus respectivas inversas son A, B ; la coleccin de todas las posibles
composiciones de las transformaciones a, b, A, B forma un grupo, ya que la composicin de dos
transformaciones de Mbius vuelve a ser una transformacin de Mbius y tambin estn sus res-
pectivos inversas.
Denicin 3.1.2. Sean DA , Da , DB y Db cuatro discos disjuntos. Sean a, b las respectivas trans-
formaciones que emparejan los crculos Ca con CA y CB con Cb respectivamente. Se llama grupo
de Schottky determinado por estos discos al grupo generado por todas las composicones posibles de
a y b.
Denicin 3.1.3. Un grupo G se dice libre de rango k si todo elemento de G puede escribirse en
una forma nica como producto nito de k elementos de G incluyendo sus inversos.
Lema 3.1.1. SeanD y D0 dos discos disjuntos y a una transformacin de Mbius que transforma
el exterior de D en D0 . Entonces a es el loxodrmica.
Demostracin. Supongamos entonces que la transformacin a(z) lleva el exterior del disco D al
0
interior del disco D y supongamos que la transformacin no es loxodrmica, as la transformacin
puede ser parablica o elptica.
w
a(z)
D a(w)
D0
A(z)
Figura 3.1: Efecto de la transformacin a(z).
Si la transformacin es parablica tenemos que su rbita es su punto jo y puesto que la imagen
de un punto exterior a D que llamaremos w va al interior del otro disco D0 y as potencias sucesivas
0
de a(z) se iran acumulando en el disco D , ya que es compacto, por otro lado tenemos que el interior
0 0
de D va al exterior de D y la aplicacin inversa A lleva el exterior de D al interior de D , as
0
imgenes sucesivas de un punto del exterior de D se irn acumulando en el interior de D , as
tenemos que la rbita de dicha transformacin siempre seran dos puntos, uno en el interior de D y
D0 respecitvamente, sin embargo esto no es posible ya que sabemos que los puntos de acumulacin
de una transformacin parablica es su punto jo y mientras que en el caso elptico son los vrtices
de un 2n - agono regular o un crculo. Por tanto la nica posibilidad es que la transformacin sea
loxodrmica.
54
CAPTULO 3. GRUPOS KLEINIANOS 55
Teorema 3.1.1. Un grupo de Schottky (determinado por Da , DA , Db , DB ) tiene todos sus ele-
1
mentos loxodrmicos y es libre de rango 2
Demostracin. Para demostrar que todos los elementos son loxodrmicos, aplicamos el lema 3.1.1
a las transformaciones a y b que emparejan los discos DA , Da y DB , Db respectivamente y puesto
que por el proceso de construccin, cada elemento del grupo es composicin de los generadores a
1 1
y b sin elementos de las forma ab ba .
Los cuatro discos inicicales Da , Db , DA y DB son llamados discos iniciales de Schottky y puesto
que las transformaciones de Mbius siempre mapean crculos a crculos, cuando cualquiera de las
cuatro transformaciones a, b, A y B es aplicada a cualquiera de los cuatro discos, todas sus imgenes
tambin sern discos propios que se irn anidando en los respectivos interiores de los discos iniciales
2
hasta que su radio tienda a cero . Los puntos que estn en el lmite de crculos anidados son los
que llamaremos el conjunto lmite del grupo. La siguiente gura muestra la primera aplicacin de
todas las tranformaciones a todos los discos iniciales, donde entenderemos que Cab = a(Cb ).
Ca
CB
CaB
caa
CBa
Cab
CBB
CBA
cbb Cba
CAB
CAA
CAb Cb
CbA
CA
Figura 3.2: Aplicacin de cada transformacin a cada crculo.
Llamaremos a los cuatro discos iniciales primer nivel, luego aplicamos cada transformacin a los
otros restantes, obteniendo 12 composiciones diferentes : aB, aa, ab, bA, bb, ba, AB, Ab, AA, BA, BB, Ba,
el cual llamaremos segundo nivel, y as sucesivamente. A la composicin de estos elementos, les
llamaremos palabras.
1 Un grupo de Schottky no es conmmutativo, para ver esto tomamos un punto x fuera de los cuatro discos, ahora
bien, la transformacin ab, lo llevar al disco Da y la transformacin ba lo llevar a Db y puesto que los discos son
disjuntos se tiene que los respectivos puntos tambin son distintos as, tenemos que los grupos de Schottky no son
conmutativos.
2 El hecho de que los radios de los crculos es aparentemente trivial a partir de las guras de los conjuntos lmites
que veremos ms adelante, sin embargo, no es automtico, aunque no los demostraremos en este trabajo, puede
revisarse algunas ideas de la demostracin en [2].
55
3.1.2. Codicacin de elementos por medio de rboles.

La idea de la codicacin de nuestras palabras es por medio de una coleccin de vrtices o nodos
conectados por echas a las que llamaremos aristas, cada nodo tiene un nivel, el nivel que no
tenga elementos ser el de la palabara vaca, el nivel 1 ser el de los cuatro crculos iniciales y
as sucesivamente. Del nodo inicial salen 4 echas apuntando a cuatro nodos a, b, A, B , para cada
uno de estos salen 3 echas apuntando a los nodos del nivel 2, por ejemplo del nodo del nivel 1,
en a salen echas que van hacia aB, aa, ab, que son las tres posibles palabaras con la letra inicial
a y vamos quitando de una vez las cancelaciones aA Bb, en este caso diremos que las palabras
estarn reducidas. Cada nodo de nivel N es alcanzado por una echa que llega de un nodo de nivel
N 1, la siguiente gura muestra el patrn a seguir.
aa
aB ab
Ba ba
a
BB bb
B b
A
BA bA
AB Ab
AA
Figura 3.3: rbol de palabras.
Las imgenes de los discos de Schottky son rotulados en exactamente el mismo sentido que los
nodos sobre la palabra del rbol, mediante la siguiente regla
Dab = a(Db ) = Dab .
Por otro lado, para cualquier palabra de la forma Dx1 x2 xn se cumplir la siguiente cadena
Dx1 Dx1 x2 Dx1 x2 xn .
3.1.3. Trazando la formacin de Schottky.

Asumiremos que tendremos de entrada dos generadores, estos son a y b con sus respectivos
inversos A y B , estas cuatro matrices sern declaradas como una lista de matrices 2x2, con entradas
complejas. El orden exacto de esta lista no es importante, pero una cosa que siempre necesitaremos
conocer, es cual generador es el inverso, con el n de poder asegurarse de considerar nicamente
palabras reducidas, los pasos y elementos a considerar son los siguientes:
a) Codcamos los generadores de la siguiente manera: gens[0] = a, gens[1] = b, gens[2] = A y

gens[3] = B y mediante esta codicacin tambin podemos codicar los respecitvos inversos :
inv[0] = 2, inv[1] = 3, inv[2] = 0 e inv[3] = 1.
56
b) Tiling plots: Esta funcin trazar algo cada vez que vayamos a un nuevo nodo en el grupo.
c) Lev:
El nivel actual donde estamos.
d) Lev max:
El mximo nivel que deseamos buscar.
e) Group:
Una creciente lista de palabras en el grupo que hemos generado. Esta inicia fuera como un
gran vaco; espacio suciente para nuestra caja de cgidos.
f) Tag:
Esta es una lista de enteros de exactamente la misma longitud del grupo. Como generamos
palabras en el grupo, guardamos su ndice (un entero entre 0 y 3) ya que implementaremos el
Sage Math. Las listas de elementos se comienzan a enumerar desde 0.
g) Num:
Necesitaremos mantener el camino de los nmeros de las palabras enumeradas en cada nivel.
lev1
En el presente caso, esto es actualmente 4.3 , pero en casos ms complicados esto puede
ser difcil de determinar.
El algoritmo a implementar recibe el nombre de BFS"que viene de Bread - First - Search, este
algoritmo buscar en el rbol nivel por nivel, no dejando un nivel hasta que tengamos explorados
toda palabra en el nivel. En este trabajo hemos implementado Sage Math, el algoritmo se presenta
en la seccin de anexos.
3.1.4. Los grupos - Schottky.

Hay frmulas concretas para otras familias de grupos de Schottky basados en posiciones simtri-
3
cas de los crculos; las frmulas dependeran de un ngulo que medir la posicin de los crculos;
los llamaremos grupos Shocttky , en este caso, los crculos han sido ubicados ortogonalmente
al crculo unitario. El caso particular cuando los cuatro crculos tengan el mismo radio y estn
ubicados de manera simtrica el conjunto lmite estar contenido en una circunferencia, a estos
grupos les llamaremos grupos Fuchsianos de Schottky. Tomemos de referencia la siguiente gura:
3 Para
sta conguracin el ngulo puede variar entre 0 y /2 excepto = /3, ya que en este ngulo los crculos
se van a cortar.
57
P
1
r

O Q C
Figura 3.4: Construccin de crculos ortogonales.
La circunferencia azul en la gura 3.4 es la circunferencia unitaria, para que la circunferencia de

rojo sea ortogonal a la circunferencia unitaria necesitamos que el radio OP sea perpendicular al
radio CP , as tenemos que los tringulos que se determinan OP Q y P QC son tringulos rectngulos
semejantes, por tanto las razones de semejanza son
cos 1 sen
= =
sen r QC
de donde
sen2 1 cos2 1
QC = = = cos = sec cos .
cos cos cos
Por otro lado
r = tan
as la ecuacin de la circunferencia de rojo estara dada por la siguiente ecuacin
Cb : (x sec )2 + y 2 = tan2
por tanto el resto de circunferencias estaran dadas por las siguientes ecuaciones
CB : (x + sec )2 + y 2 = tan2
Ca : x2 + (y sec )2 = tan2
CA : x2 + (y + sec )2 = tan2
para obtener nuestro grupo tomaremos una transformacin a que empareje CA y Ca , una trans-
formacin b que empareje CB Cb . Para encontrar la transformacin b, tomamos 3 puntos de la
y
circunferencia CB , los cuales sern z1 = sec + tan i, z2 = sec tan y z3 = tan sec ,
de tal forma que la transformacin b nos lleve a los puntos w1 = sec + tan i, w2 = sec + tan
y w3 = sec tan respectivamente, donde los puntos w1 , w2 y w3 son puntos de la circunfe-
rencia Cb . Ahora, utilizando el teorema 1.2.2 podemos encontrar transformaciones que nos lleven
de z1 , z2 y z3 a 1, 0, respectivamente, digamos que dicha transformacin sea S1 , de la misma
forma, podemos encontrar una transformacin S2 que nos lleve de los puntos w1 , w2 y w3 a 1, 0,
58
respectivamente, digamos que dicha transformacin sea S2 , as la transformacin que nos lleve de
los puntos z1 , z2 , z3 a w1 , w2 , w3 respectivamente ser S2 1 S1 . As tenemos que la aplicacin

z1 z3 z z2
S1 (z) =
z z2 z z3
1
z + sec + tan
=i
z tan + sec

iz + i sec + i tan
=
z tan + sec
enva los puntos z1 , z2 , z3 a 1, 0, respectivamente.

Por otra lado

w1 w3 z w2
S2 (z) =
w1 w2 z w3

z sec tan
= i .
z tan + sec
Por otro lado, la inversa de la aplicacin S2 (z) es
1
2i csc z + 12 csc + 1

i
S2 (z) 1 = 2 2
21 cot iz + 12 cot

nalmente encontramos la composicin S2 1 S1 .

1 i iz + i sec + i tan
+ 12 csc + 21

2
i csc
2
z tan + sec
S2 1 S1 =
1 iz + i sec + i tan
+ 21 cot

2 cot i
z tan + sec
1 i 1 1

2
i 2
csc (iz + i sec + i tan ) + 2
csc + 2
(z tan + sec )
= 1 1
2
cot (z + sec + tan ) + 2 cot (z tan + sec )
csc z + sec csc tan
=
cot z + csc
1 1 sen
csc z + .
= cos sen cos = csc z + cot .
cot z + csc cot z + csc
Por lo tanto la transformacin la podemos escribir como

1 1 cos
b= .
sen cos 1
De manera similar obtenemos que la transformacin a estara dada por

1 1 i cos
a= .
sen i cos 1
59

La siguiente gura se obtiene de la corrida del algoritmo BFS, con = y se presentan 7 niveles
6
6
del rbol de palabras, es decir 4 3 1 = 2915 crculos.

Figura 3.5: Grupo - Schottky.
6

Por otro lado, si el ngulo ahora es = , obtenemos la siguiente gura, siempre con 7 niveles
4
e implementado el algoritmo BFS.
60

Figura 3.6: Grupo - Schottky.
4
Los casos anteriores son ejemplos de grupos Kleinianos, donde para el caso en que los cuatro
crculos tengan el mismo radio y esten ubicados en posiciones simtricas, su conjunto lmite estar
contenido en una circunferencia, para el caso que los 4 crculos sean tangentes, el conjunto lmite
ser una circunferencia, es decir la curva cerrada simple, ms elemental, en este caso el grupo
4
Kleiniano es llamado grupo Fuchsiano, en honor a Lzaro Fuchs , ahora bien, podemos considerar
ms generadores o considerar diferentes formas para los crculos, por ejemplo Qu sucede cuando
los crculos son tangentes? pero una pareja de ellos tiene radio diferente, o Qu sucede cuando
3 de ellos tienen el mismo radio y siguen siendo tangentes?, bueno en principio lo que podramos
esperar en el caso de que sean tangente, es que el conjunto lmite sea una curva cerrada simple, esto
4 Lazarus Fuchs, (1833-1902). Naci cerca de un lugar que hoy en da se conoce como Poznan en Poland, Fuchs
fue un miembro aprendiz del crculo matemtico de Berln. Estudi sistemticamente los sistemas de ecuaciones
diferenciales en el plano complejo, investigando como una solucin podra cambiar cuando hace un circuito alrededor
de una singularidad, cuando un trmino en la ecuacin toma el (como por ejemplo z1 en z = 0).
61
es, una curva de Jordan; si no son tangentes lo que habra que esperar es que el conjunto lmite est
contenido en una curva de Jordan. En la siguiente seccin abordaremos los casos planteados. Otro
punto importante que debemos de considerar es que estos son nada ms algunos casos particulares
de grupos Kleinianos y que no vamos a considerar los casos ms exticos de grupos Kleinianos,
pero si lo sucientemente interesantes, para describir algunas propiedades.
3.2. Grupos Quasifuchsianos.

En la seccin anterior, describimos un ejemplo de grupo al que llamamos Fuchsiano, el cual
consista en un grupo cuyo conjunto lmite estaba contenido en un crculo, ahora lo que nos va a
interesar es que el conjunto lmite est contenido en algo que no sea una circunferencia, pero lo
sucientemente cercano a una; al igual que los casos anteriores, vamos a construir algunos ejemplos
y luego entrar con la denicin formal.
Denicin 3.2.1. Mediante el proceso de construcin de crculos emparejados, un grupo cuyo

conjunto lmite sea una curva de Jordan ser llamado grupo Quasifuchsiano.
Denicin 3.2.2. Al complemento del conjunto lmite le llamaremos conjunto ordinario ( con-
junto regular del grupo).
Por otro lado tendremos que el conjunto lmite de un grupo Quasifuchsiano, siempre separa el
conjunto ordinario en dos partes; el adentro y el afuera .
Denicin 3.2.3. Sean, a y b dos transformaciones de Mbius, el conmutador de a y b se dene

como abAB.
La palabra abAB es muy especial, ya que si tenemos que ab = ba, entonces
abAB = baAB
= bB
=I
por lo que hasta en cierto sentido, el conmutador mide hasta en qu punto a y b conmutan, por
esta razn es llamado conmutador de a y b.
3.2.1. Requisitos para emparejar discos tangentes.

Ahora la tarea ser que tenemos que emparejar discos, de forma que estos sean tangentes, por
tanto deberemos de ser cuidadosos con los puntos de tangencia si queremos obtener los enlaces
correctos, para esto, vamos a considerar lo siguientes requisitos
1. Un requisito necesario para que el conjunto lmite sea una curva; es que los puntos tangentes
sean mapeados de acuerdo a las reglas, con respecto a la gura 3.7
62
Ca
CB Q
S
Cb
CA
Figura 3.7: Crculos tangentes iniciales.
a(R) = Q b(R) = S
a(S) = P b(Q) = P
por otro lado, haciendo uso de las transformaciones inversas tenemos las siguientes relaciones
A(Q) = R B(S) = R
A(P ) = S B(P ) = Q
2. El conmutador de a y b debe ser parablico. Supongamos que el conmutador no fuera para-

blico, entonces la palabra abAB podra ser elptica o loxodrmica; supongamos que fuera
loxodrmica, entonces la palabra tendra dos puntos jos, en los cuales tenemos que el punto
P ya lo es, ya que
a(b(A(B(P )))) = a(b(A(Q)))

= a(b(R))
= a(S)
=P
Esto podra evitar que las imgenes de los crculos de Schottky se encojan en P . Por tanto la
transformacin debe ser parablica. Ahora veamos con un ejemplo que la condicin 2, no se
obtiene inmediatamente de la condicin 1, para esto consideramos la siguiente conguracin
de crculos tangentes
CA : (x + 1)2 + (y + 2)2 =4
Ca : (x 2)2 + (y + 2)2 =4
CB : (x + 1)2 + (y 1)2 =1
Cb : (x 2)2 + (y + 2)2 =1
63
la conguracin se muestra en la siguiente gura
Ca
CB
R P
S
Cb
CA
Figura 3.8: Conguracin de crculos tangentes.
Ahora para encontrar la transformacin a que empareja CA y Ca y tomamos 3 puntos de

cada una de ellas y encontramos la transformacin S 1, que emparejar los puntos z1 , z2 , z3
de CA con los puntos 1, 0, , los cuales son
z1 = 1
z2 = 1 2i
z3 = 1 4i
mientras que los puntos de Ca w1 , w2 , w3 son
w1 = i
w2 = 2 i
w3 = 4 + i
y debemos encontrar una transformacin S 2 que nos lleve de w1 , w2 , w3 a 1, 0, respec-

1
tivamente, as la transformacin buscada a estara dada por S 2 S 1 . Para el caso de la
transformacin b, los puntos de la circunferencia CB estaran dados por
z1 = i
z2 = 1
z3 = 2i
64
mientras que para la circunferencia Cb tomaremos
w1 = i
w2 = 1 2i
w3 = 2 3i
y de manera similar al caso anterior encontramos la transformacin b, las cuales estaran

dadas por
( 56 i 54 )z + 19
6
i+1 ( 3
10
i 35 )z + 10
27
i + 25
a= y b=
( 3 + 6 )z + i 16
1 1
( 4
5
1
i 10 )z + 15 i 11
10
luego la tranformacin, asociada al conmutador abAB estara dada por
2443 10981
4649 6583

260
i 1560 520
i+ 780
abAB =
4723
1560
i 311
260
1331
780
i+ 1487
520
433 163
donde su traza estara dada por i , lo que signica que la transformacin es
39 39
loxodrmica, as vemos que el obtener un conmutador parablico es independiente del primer
requisito.
3. Como el conmutador es parablico, su traza es 2 -2 (suponiendo siempre que su deter-

minante es 1), para obtener un grupo Quasifucsiano con conmutador parablico, Tr(abAB)
siempre debe de ser 2. Ms adelante justicaremos el motivo de que la traza del conmutador
tiene que ser 2.
3.2.2. Frmulas para emparejar grupos de Schottky, con crculos tan-

gentes.
En esta parte describiremos el proceso para conseguir nuestros crculos iniciales y transformacio-
nes de Mbius a y b, trabajaremos siempre con dos generadores. Vamos a considerar primeramente
el caso donde cada par de crculos emparejados tienen el mismo radio. Anteriormente los crculos
CB y Cb fueron elegidos de manera que sean ortogonales al crculo unitario, al igual que los crculos
CA y Ca , ahora lo que haremos es considerar los crculos CA y Ca tangentes a un crculo centrado
en el origen de radio k , tal como indica la siguiente gura:
65
Cb
Ck
CA Ca
Cu
CB
Figura 3.9: Crculos iniciales tangentes con radios distintos.
Para la conguracin de crculos de la gura anterior, ya encontramos la forma de tanto los

crculos, CB yCb como la forma de la transformacin b. Ahora haremos algo similar, pero con los
discos azules CA y Ca , para esto consideremos la siguiente gura:
r C
P Q
x
Figura 3.10: Crculo ortogonal a uno crculo de radio k.
En base a la construccin de la gura 3.10, los tringulos OP Q y P QC son semejantes y por

tanto obtenemos las siguientes relaciones de semejanza:
k OQ PQ
= =
r PQ QC
66
donde
k k cos k sen
= =
r k sen QC
de donde obtenemos
k
= cot
r
entonces k = r cot r = k tan . Luego
k(1 cos2 )
QC = r sen = k tan sen = = k(sec cos ).
cos
Luego las coordenadas del centro de la circunferencia Ca seran (0, k sec ), as
Ca : x2 + (y k sec )2 = k 2 tan2
CA : x2 + (y + k sec )2 = k 2 tan2
Cb : (x sec )2 + y 2 = tan2
CB : (x + sec )2 + y 2 = tan2
Ahora veamos la condicin de tangencia para Ca y Cb , esto es, la distancia de los centros de stas
circunferencias debe ser igual a la suma de los respectivos radios.

sec2 + k 2 sec2 = k tan + tan
sec2 + k 2 sec2 = (k tan + tan )2
= k 2 tan2 + 2k tan2 + tan2
As
k 2 2k tan2 + 1 = 0

donde k = tan2 sec tan2 1. Para el emparejamiento entre Ca y CA tomaremos los puntos
z1 = k sec + k tan i
z2 = k sec k tan i
z3 = k tan + k sec i
que estn sobre Ca mientras que para CA tomaremos
w1 = k sec + k tan i
w2 = k sec k tan i
w3 = k tan k sec i
Luego obtenemos la transformacin S1 que transforma w1 , w2 , w3 en 1, 0, respectivamente y S2

que transforma z1 , z2 , z3 en 1, 0, respectivamente las cuales estn dadas por

w1 w3 z w2 z1 z3 z z2
S 1 (z) = y S 2 (z) =
w1 w2 z w3 z1 z2 z z3
luego la transformacin buscada sera
1
S(z) = S 2 S 1
67
Luego la transformacin buscada sera
csc z + ik cot
a(z) =
i csc
+ cot
k
Las siguientes guras corresponden a 7 niveles del algoritmo BFS
Figura 3.11: Grupo Quasifuchsiano, = /3.
68
Figura 3.12: Grupo Quasifuchsiano, = 5/12.
69
3.2.3. Grupos conjugados.
Una nueva forma ms sencilla de construir imgenes por medio de imgenes ya creadas, es
conjugar las que ya tenemos. Recordemos que los medios de conjugacin ven la misma imagen,
pero desde un punto de vista diferente, la imagen que obtenemos despus de una transformacin,
esto es una coordenada que cambia en la esfera de Riemann. Al reemplazar una transformacin por
una conjugada, modicamos la matriz, pero el comportamiento dinmico sigue siendo el mismo.
Hay dos etapas en la conjugacin por una transformacin M, reemplazando todo punto z por
el punto transformado, z
= M (z) y reemplazar una transformacin T por su =
conjugado T
1
M T M . Supongamos que queremos conjugar un grupo formado por el emparejamiento de cuatro
crculos tangentes, la imagen de cada uno de los 4 crculos de la conguracin inicial bajo una
transformacin de Mbius M es un crculo; adems ya que los 4 crculos Ca , Cb , CA y CB forman
una cadena tangente, la cadena tangente se mantiene para los crculos M (Ca ), M (Cb ), M (CA ) y
M (CB ).Las coordenadas cambian, Cmo conjugamos el grupo? la respuesta es que debemos
= M gM 1 ,
reemplazar toda transformacin g en G por la respectiva transformacin conjugada g
as los nuevos generadores estaran dados por
= M aM 1
a y b = M bM 1
donde el generador a
empareja M (CA ) con M (Ca ), ya que
(M (CA )) = M aM 1 (M (CA )) = M a(CA ) = M (Ca ).

a
Para estos casos vamos a representar M (Ca ) = Ca para indicar que M (CA ) es el crculo de la nueva
cadena, emparejada por los nuevos generadores. Mediante la nueva notacin
a
(CA ) = Ca .
Denicin 3.2.4. Dado un grupo G de transformaciones de Mbius, a todas los elementos de

1
la forma M gM le llamaremos conjugado del grupo G, para alguna transformacin M G y
1
g G lo denotaremos por M GM .
Las siguientes guras corresponden al conjugado de la cadena de tangente de crculos, de la

subseccin 3.1.4
(1 i)z + 1
Vamos a conjugar con la transformacin M= ,
z+1+i
70
(1 i)z + 1
Figura 3.13: Grupo conjugado, = /4, M = .
z+1+i
71
(1 i)z + 1
z+1+i
(1 i)z + 1
z+1+i
72
Para el caso de grupos Fuchsianos, estos pueden ser conjugados a un subgrupo del semiplano
superior. La traza de una matriz es invariante mediante conjugacin y la traza de cualquier matriz
del semiplano superior es real. En realidad como veremos en la siguiente seccin, es posible expresar
la traza de cualquier elemento en un grupo con dos generadores como un polinomio en Tr a, Tr b
y Tr ab.
3.3. Frmulas para trazas.

Nuestro buen amigo Flix Klein, descubri una bella, pero complicada frmula para encontrar
la traza del conmutador, en general, tenemos
Tr(abAB) = (Tr a)2 + (Tr b)2 + (Tr ab)2 Tr a Tr b Tr ab 2.
Por otro lado, si la traza del conmutador es igual 2, obtenemos otra interesante relacin,
conocida como la identidad de Markov:
(Tr a)2 + (Tr b)2 + (Tr ab)2 = Tr a Tr b Tr ab.
5
La identidad de Markov , puede verse como una ecuacin cuadrtica en trminos de las trazas de
a y b. En otras palabra, Tr ab sera una de las races de la ecuacin
x2 Tr aTr b x + (Tr a)2 + (Tr b)2 = 0
Lema 3.3.1. Sean A, B dos matrices cualesquiera (de cualquier orden). Entonces Tr(AB) =
Tr(BA).
Demostracin. Sean A = (aij ) y B = (bij ) matrices de n n, con entradas complejas, entonces la

traza de la matriz AB est dada por
n X
n
!
X
Tr(AB) = aik bki
i=1 k=1
n X
X n
= bki aik
k=1 i=1
= Tr(BA)
El lema anterior nos da como consecuencias:
1
a) Tr(ABA ) = B.
b) Sea M una matriz de 22 con determinante 1. Entonces
1
TrM = TrM . (3.1)
5 Andri
Andryevich Markov fue un matemtico ruso conocido por sus trabajos en la teora de los nmeros y la
teora de probabilidades. Markov naci en Riazn, Rusia.
73

a b
c) Sea M= con ad bc = 1 y N una matriz de 2 2, entonces
c d
TrM N + TrM1 N = TrM TrN.
Demostracin. Puesto que

a b
M=
c d
entonces la inversa de M, est dada por

1 d b
M =
c a
luego
1 a b d b
M +M = + = (a + d)I = Tr(M )I
c d c a
ahora multiplicando por la derecha por la matriz N obtenemos
M N + M 1 N = (Tr M ) N
nalmente obteniendo las trazas a ambos lados tenemos
Tr M N + Tr M 1 N = Tr M Tr N.

d) Identidad de Markov.
Sean a y b dos transformaciones de Mbius, entonces
Tr(abAB) = (Tr a)2 + (Tr b)2 + (Tr ab)2 Tr a Tr b Tr ab 2.
Demostracin. Aplicando el lema c) a los pares (a, b), (a, bAB), (Ab, AB) y (B, B) obtenemos
las siguientes condiciones
(a, b) : Tr(ab) + Tr(Ab) = Tr(a) Tr(b). (3.2)
(a, bAB) : Tr(abAB) + Tr(AbAB) = Tr(a) Tr(baB). (3.3)

2
(Ab, AB) : Tr(AbAB) + Tr(B ) = Tr(Ab) Tr(AB). (3.4)
2 2
(B, B) : Tr(B ) + Tr(I) = (TrB) (3.5)
Partimos de la ecuacin 3.3 y despejamos la traza del conmutador
Tr(abAB) = Tr(a) Tr(baB) Tr(AbAB)

luego despejamos Tr(AbAB) de la ecuacin 3.4 obteniendo
Tr(abAB) = Tr(a) Tr(baB) (Tr(Ab) Tr(AB) Tr(B 2 )

= (Tr a)2 Tr(Ab) Tr(AB) + Tr(B 2 ); Tr(baB) = a y sustituyendo 3.2, 3.4 y 3.5
= (Tr a)2 (Tr(a) Tr(b) Tr(ab)) Tr(AB) + (Tr(B))2 2
= (Tr a)2 + (Tr(B))2 + Tr(ab) Tr(AB) (Tr(a) Tr(b)Tr(AB) 2
= (Tr a)2 + (Tr(b))2 + (Tr(ab))2 (Tr(a) Tr(b) Tr(ab) 2.

74
3.4. Cuando la traza del conmutador es 2.

En las condiciones de la seccin 3.2 con los requisitos
1. Emparejamiento adecuado de los puntos de tangencia
a(R) = Q b(R) = S,
a(S) = P b(Q) = P
donde la transformacin a empareja los Discos DA y Da y la transformacin b empareja los
discos DB y Cb .
2. La traza del conmutador debe ser parablica.
3. La traza del conmutador debes ser 2.
En esta seccin demostraremos que la traza del conmutador no puede ser 2, para eso consideremos
el siguiente lema.
Lema 3.4.1. Si Tr(abAB) = 2, entonces a y b tienen un punto jo comn.
Demostracin. Supongamos que a y b son dos transformaciones de Mbius. Si modicamos el signo

de a, multiplicando por 1 todas sus entradas, tambin modicamos el signo de las entradas de su
1
respectiva inversa A, lo cual signica que el conmutador abAB no cambia ya que (a) = A1
por tanto
(a)b((a)1 )B = (1)ab(1)A1 B = (1)(1)abAB = abAB.

Supongamos que Tr(abAB) = 2, entonces abAB tiene un nico punto jo, que debido a la con-
guracin inicial, el nico punto jo para el conmutador sera el punto P, entonces tendramos que
las transformaciones a y b tambin dejaran jo el punto P, Cmo podemos chequear esto? Su-
a1 z + a2
pongamos primeramente que a tienen dos puntos jos; por conjugacin a = kz y b(z) = ,
a3 z + a4
ahora obtenemos la traza de abAB . Vamos a utilizar la frmula de Markov.
Tr(abAB) = (Tr a)2 + (Tr b)2 + (Tr ab)2 Tr a Tr b Tr ab 2
para esto tenemos que las trazas de las matrices a, b y ab son
k+1
Tr(a) =
k
a1 + a4
Tr(b) =
a1 a4 a2 a3
ka1 + a4
Tr(ab) = p
k (a1 a4 a2 a3 )
sustituyendo en la frmula tenemos
75
(k + 1)2 (a1 + a4 )2 (ka1 + a4 )2 (k + 1)(a1 + a4 )(ka1 + a4 )

T r(abAB) = + + 2
k a1 a4 a2 a3 k(a1 a4 a2 a3 ) k(a1 a4 a3 a2 )
((k + 1)2 2k)(a1 a4 a3 a2 ) + k(a1 + a4 )2 + (ka1 + a4 )2 (k + 1)(a1 + a4 )(ka1 + a4 )

=
k(a1 a4 a3 a2 )
2 2
(k + 1)(a1 a4 a2 a3 ) + 2ka1 a4 k a1 a4 a1 a4
=
k(a1 a4 a2 a3 )
2
k a2 a3 + 2ka1 a4 a2 a3
=
k(a1 a4 a2 a3 )
ahora encontramos
T r(abAB) 2
k 2 a2 a3 + 2ka1 a4 a2 a3 2k(a1 a4 a2 a3 ) a2 a3 (k 1)2

T r(abAB) 2 = = .
k(a1 a4 a2 a3 ) k(a1 a2 a2 a3 )
Entonces T r(abAB) = 2 implica que a2 = 0 a3 = 0 k = 1. Analicemos cada caso.
a) Caso a2 = 0.
Como a2 = 0 tenemos que
a1 z
b(z) =
a3 z + a4
a1 a4
tenemos que sus puntos jos seran z = 0 y z = 6 0 en este caso notamos que tanto
a3 =
a3
a y b tienen z = 0 como punto jo.
b) Caso a3 = 0.
a1 z + a2
Como a3 = 0 tenemos que b(z) = .
a4
Suponiendo que a4 6= 0 tendramos que sera un punto jo tanto de a y b, por otro lado, el
a2
otro punto jo sera z = .
a1 a4
c) Finalmente si k = 1 tenemos que a(z) = z , a sera la aplicacin identidad, por tanto los puntos
jos de b tambin son puntos jos de a.
Por otro lado si a tiene un nico punto jo; por conjugacin se puede representar com a(z) = z + 1,
b1 z + b2
supongamos como en el caso anterior que b(z) = . As las matrices asociadas son
b3 z + b4

1 1 b1 b2
a= y b= .
0 1 b3 b4
Normalizando la transformacin b:
b1 b2

b = b1 b4b b2 b3 b1 b4 b2 b3

3 b4

b 1 b4 b2 b 3 b1 b4 b2 b3
76
por tanto la traza del conmutador abAB estara dado por
2b1 b4 b22
b1 b4 b2 b3
ahora vemos que sucede con Tra(abAB) 2.
2b1 b4 b22
Tra(abAB) 2 = 2
b1 b4 b2 b3
2b2 b3 b22
= =0
b1 b4 b2 b3
de donde obtenemos
b2 (2b3 b2 ) = 0
as, tenemos que b2 = 0 y b3 = 0, por tanto la transformacin buscada b(z) estara dada por
b1 z
b(z) = b1 , b4 6= 0
b4
la cual pues tiene tambin a como punto jo.
Ahora bien, tenemos que si la traza del conmutador es 2, las transformaciones a y b tienen un
punto jo en comn, pero esto no puede ser dados los requisitos de emparejamiento, ya que las
transformaciones nunca tendran puntos jos comunes, ya que los puntos jos atractores estaran
dentro de Da y Db respectivamente.
3.5. Una familia especial de crculos tangentes.

La identidad de Markov, se vuelve de gran utilidad ya que podemos vericar directamente que
para la conguracin de cuatro crculos tangentes, donde los crculos emparejados tienen el mismo
radio cumple que la traza del conmutador de las transformaciones de Mbius tiene traza igual 2.
La conguracin de dichos crculos emparejados se puede generalizar un poco: Vamos a considerar
las siguientes circunferencias, en alucin a la construccin del ejemplo en la seccin 3.1.4
k2
Ca : x2 + (y kx1 /y1 )2 =
y12
k2
CA : x2 + (y + kx1 /y1 )2 = 2
y1
1
Cb : (x x0 /y0 )2 + y 2 = 2
y0
1
CB : (x + x0 /y0 )2 + y 2 = 2
y0
donde la transformaciones que emparejan los crculos CA con Ca y CB con Cb son
x1 z + iky1
a(z) =
iy1
z + x1
k
x0 z + y 0
b(z) =
y 0 z + x0
77
sujetas a las condiciones
x20 y02 = 1 y x21 y12 = 1.
La ecuaciones de las circunferencias de la seccin 3.1.4 tienen la misma forma que las circunferencias
anteriores, por ejemplo, la circunferencia
Ca : x2 + (y sec )2 = tan2 .
es equivalente a
2
2 sen 1
x + y =
cot cot2
en este caso x1 = sen , y1 = cos y k = 1.

Por otro lado tambin necesitamos que los crculos sean tangentes, para esto las suma de los
radios debe ser igual a la distancia de los centros, tomaremos las circunferencias Ca y Cb y puesto
que nuestra conguracin es simtrica, bastar con encontrar dicho punto de interseccin. As
tenemos:

k 1 kx1 x0
+ =d 0, , ,0
y1 y0 y1 y0
s
x20 x2
2 1
= + k
y02 y12
2
x2 x2

k 1
+ = 20 + k 2 21
y1 y0 y0 y1
2 2 2
k k 1 x0 2 x1
+ 2 + = + k
y12 y0 y1 y02 y02 y12
k2 2 1 2k
2
(x1 1) + 2 (x20 1) =
y1 y0 y0 y1
2k
k2 + 1 = ; ya que x20 1 = y02 y x21 1 = y12
y0 y1
nalmente

1 1 1
k+ = . (3.6)
2 k y0 y1
Por otro lado la ecuacin 3.6, permite vericar que la relacin de Markov se satisface. Primero
consideramos las trazas de las transformaciones a, b y ab
Tr a = 2x0
Tr b = 2x1

1
Tr ab = 2x0 x1 + y0 y1 i k
k
78
sustituyendo en la ecuacin de Markov obtenemos
2
a + Tr2 b + Tr2 ab = Tr a Trb Trab
Tr
4x21 + 4x20 + (2x1 x0 + y0 y1 i(k 1/k))2 = 4x0 x1 (2x0 x1 + y1 y0 i(k 1/k))

2
2 2 2 2 2 1
4x1 (1 x0 ) + 4x0 = y1 y0 k
k
2
1 1 1 1 2 1
1= k = k 2+ 2
y02 y12 4 k 4 k
1 2 1 1
= k + 2
4 2 4k
1 2 1 1
= k + + 2 1
4 2 4k
1 1
= k2 + 2 + 2 1
4 k
2
1 1 1
= k+ 1 = 2 2 1 por 3.6
4 k y0 y1
Por tanto la condicin del conmutador, tambin es cierta, esto es, la traza de abAB es 2. Las
siguientes imgenes corresponden a la familia de circunferencias
k2
Ca : x2 + (y kx1 /y1 )2 =
y12
k2
CA : x2 + (y + kx1 /y1 )2 = 2
y1
2 2 2
Cb : (x sec ) + y = tan
CB : (x + sec )2 + y 2 = tan2 .
Donde los crculos CB y Cb estn emparejados por
csc z + cot
b=
cot z + csc
ahora deberemos de encontrar la transformacin
x1 z + iky1
a(z) =
iy1
z + x1
k
y adems considerar algn valor de k. Si k = 2 tenemos

1 1 1
k+ =
2 k y0 y1
5 1
=
4 cot y1
de donde obtenemos
4
y1 = tan .
5
79

p 25 + 16 tan2
As x1 = 1 + y12 = , as los crculos Ca y CA tendrn las siguientes ecuaciones
5
!2
25 + 16 tan2 25
Ca : x2 + y = cot2 .
2 tan 4
!2
25 + 16 tan2 25
CA : x2 + y+ = cot2 .
2 tan 4
Las siguientes guras representan a nuestra familia especial, para diferentes valores de , y 7 niveles
del BFS.
Figura 3.16: Grupo Quasifuchsiano, = /6, k = 2.
80
81
Figura 3.19: Grupo Quasifuchsiano, = 12/5, k = 2.
3.6. Degeneraciones.
Consideremos la siguiente conguracin
CA : x2 + (y + y0 )2 = R2
Ca : x2 + (y y0 )2 = R2
CB : (x + x0 )2 + y 2 = r2
Cb : (x x0 )2 + y 2 = r2
Necesitamos encontrar una transformacin a(z) que convierta el crculo CA en el crculo Ca y

una transformacin b(z), que convierta el crculo CB en el crculo Cb , para esto vamos a considerar
lo siguiente
82
p2
Ca
R
p3
z1 y0 w1
CB
Cb
r
r
p1
x0 z3 w3 x0
q1
R
z2 w2
q3
y0
CA
q2
Figura 3.20: Conguracin especial.
los puntos z1 , z2 , z3 de CB
z1 = x0 + ir
z2 = x0 ir
z3 = x0 + r
y los puntos w1 , w2 , w3 que estn sobre Cb
w1 = x0 + ir
w2 = x0 ir
w3 = x0 r.
Ahora, sabemos que la transformacin que lleva z1 , z2 , z3 a 1, 0, es

z1 z3 z z2
S1 (z) =
z1 z2 z z3
simplicando obtenemos
i1 z + x0 + ir
S1 (z) =
2i z + x0 r
83
y su matriz asociada es
(i 1) (i 1)(x0 + ir)
S1 = .
2i 2i(x0 r)
Por otro lado, la transformacin que lleva w1 , w2 , w3 a 1, 0, es

w1 w3 z w2
S2 (z) =
w1 w2 z w3
simplicando obtenemos

i+1 z x0 + ir
S2 (z) =
2i z x0 + r
y su matriz asociada es
(i + 1) (i + 1)(x0 ir)
S2 = .
2i 2i(x0 r)
Finalmente, la transformacin b(z) est dada por
b(z) = S21 S1 .
Veamos explcitamente la transformacin, para esto vamos a considerar las matrices asociadas,
esto es:
1
(i + 1) (i + 1)(x0 ir) (i 1) (i 1)(x0 + ir)
b=
2i 2i(x0 r) 2i 2i(x0 r)

1 2i(x0 r) (i + 1)(x0 ir) (i 1) (i 1)(x0 + ir)
=
det(S2 ) 2i (i + 1) 2i 2i(x0 r)

1 4ix0 4i(x20 r2 )
=
4ir 4i 4ix0
x20 r2

x0
r r
= .

1 x
0
r r
As, la transformacin b(z) que lleva z1 , z2 , z3 a w1 , w2 , w3 respectivamente es
x0 x2 r 2
z+ 0
b(z) = r z x0r
+
r r
2 2
Por otro lado, para encontrar la transformacin a(z), que convierta
el crculo x + (y + y0 ) = R2
2 2 2
en el crculo x + (y y0 ) = R , para esto vamos a considerar los puntos q1 , q2 , q3 de CA
q1 = (y0 + R)i
q2 = (y0 R)i
q3 = R y 0 i
84
y los puntos p1 , p2 , p3 que estn sobre Ca

p1 = (y0 R)i
p2 = (y0 + R)i
p3 = R + y0 i.
Ahora, tenemos que la transformacin

p1 p 3 z p2
S10 (z) =
p1 p 2 z p3
convierte p1 , p2 , p3 en 1, 0, , simplicando nos queda

i+1 z (y0 + R)i
S10 (z) =
2i z (R + y0 i)
luego la matriz asociada es

(i + 1) (y0 + R)(1 i)
S10 = .
2i 2i(R + y0 i)
Ahora encontramos la transformacin S20 (z), que lleva q1 , q2 , q3 a 1, 0,

0 q1 q3 z q2
S2 (z) =
q1 q2 z q3
simplicando nos queda
i1 z + (y0 + R)i
S20 (z) =
2i z + (y0 i R)
luego la matriz asociada es

(i 1) (y0 + R)i(i 1)
S20 = .
2i 2i(y0 i R)
Finalmente la transformacin a(z) = (S 0 )1 0
2 S1 , la cual transformar q1 , q2 , q3 en p1 , p2 , p3 respec-
tivamente. Vamos a encontrar la forma explcita para a(z), haciendo uso de las matrices asociadas
0 0
a S1 (z) y S2 (z), esto es:
1
(i 1) (y0 + R)i(i 1) (i + 1) (y0 + R)(1 i)
a=
2i 2i(y0 i R) 2i 2i(R + y0 i)

1 2i(y0 i R) (y0 + R)(1 + i) (i + 1) (y0 + R)(1 i)
= 0

det(S2 ) 2i (i 1) 2i 2i(R + y0 i)

4y0 4i(y02 R2 )
1
=
4iR
4i 4y0
2 2
(y02 R2 )

y0 (y0 R ) y0
Ri i
R R R
= =

1 y0 1 y0
i
R Ri R R
85
As, la transformacin a(z) est dada por
y0 y 2 R2
z 0 i
a(z) = R R .
zi y0
+
R R
Por tanto, para la conguracin
CA : x2 + (y + y0 )2 = R2
Ca : x2 + (y y0 )2 = R2
CB : (x + x0 )2 + y 2 = r2
Cb : (x x0 )2 + y 2 = r2
tenemos que las transformaciones que emparejan los crculos CB con Cb y CA con Ca son
x0 x2 r 2 y0 y 2 R2
z+ 0 z 0 i
b(z) = r z x0r y a(z) = R R .
+ zi y0
r r +
R R
Por otro lado si queremos obtener grupos Quasifucsianos, tenemos que encontrar la condicin de
tangencia, para esto consideramos las circunferencias Ca y Cb , as la condicin de tangencia es
d((x0 , 0), (0, y0 ) = r + R

x20 + y02 = (r + R)2
q
r = R x20 + y02 .
p
puesto que r > 0, tomaremos r = R + x20 + y02 . Ahora vericaremos que se cumple la condicin
de Markov, para esto consideramos las trazas de las matrices asociadas a las transformaciones a(z),
b(z) y ab(z), esto es
2y0
Tra(a) =
R
2x0
Tra(b) =
r
2x0 y0 (R2 r2 + x20 y02 )i
Tra(ab) = + .
rR rR
Luego:
2 4y02 4x20 (2x0 y0 + (R2 r2 + x20 y02 )i)2

Tra (a) + Tra2 (b) + Tra2 (ab) = + + y (3.7)
R2 r2 r 2 R2
4x0 y0 2x0 y0 + (R r + x20 y02 )i
2 2

2 2 2
Tra (a) Tra (b) Tra (ab) = (3.8)
rR rR
ahora restando 3.7 y 3.8, tenemos:
4y02 r2 + 4x20 R2 4x20 y02 (R r2 + x20 y02 )2

r 2 R2 r 2 R2
= 2(r + R )(x0 + y0 ) (x0 + y0 ) (R2 r2 )2
2 2 2 2 2 2 2
86
ahora sustituimos la condicin de tangencia, esto es (r + R)2 = x20 + y02 , as:
(r + R)4 2(r2 + R2 )(r + R)2 + (R2 r2 )2

= (r + R)4 2(r2 + R2 )(r + R)2 + (r2 + R2 )2 (r2 + R2 )2 + (R2 r2 )2

h i
2 2 2 2 4 2 2 4 4 2 2 4

= (r + R) (r + R ) r 2r R R + R 2r R + R
= 4r2 R2 4r2 R2 = 0.

Por tanto, se cumple que la diferencia de las expresiones 3.7 y 3.8 es cero, se tiene que se cum-
ple la condicin de Markov, as los grupos que obtendremos para esta familia seran Quasifuchsianos.
Ejemplos.
Vamos a considerar nuestra conguracin que depender de los parmetros x0 , y0 , r y R donde
para el caso en que la conguracin sea tangente, tendremos nicamente de parmetros indepen-
p
dientes x0 , y0 y R, ya que r = R + x20 + y02 .
CA : x2 + (y + y0 )2 = R2
Ca : x2 + (y y0 )2 = R2
CB : (x + x0 )2 + y 2 = r2
Cb : (x x0 )2 + y 2 = r2 .
Caso I: Conguracin sin tangencia.

En este caso obtendremos un grupo de Schottky, tomaremos x0 = 2, r = 1, y0 = 3, R = 2, As los
crculos seran:
CA : x2 + (y + 3)2 =4
Ca : x2 + (y 3)2 =4
CB : (x + 2)2 + y 2 =1
Cb : (x 2)2 + y 2 =1
donde las transformaciones que emparejan CA con Ca y CB con Cb son
3 5
z i 2z + 3
a(z) = 2 2 y b(z) =
zi 3 z+2
+
2 2
La gura obtenida con el algorimto BFS, 7 niveles es la siguiente
87
Figura 3.21: Grupo de Schottky, x0 = 2, r = 1; y0 = 3, R = 2.
Por otro lado si ahora considereamos y0 = 2.5, obtenemos
88
Figura 3.22: Grupo de Schottky, x0 = 2, r = 1; y0 = 2.5, R = 2.
Caso II. Conguracin tangente.
Ahora vamos a considerar nuestra conguracin de manera que los crculos sean tangente, veamos

un ejemplo en concreto, tomando x0 = 2, R = 2, y0 = 5, as r = 1. La conguracin de los
crculos tangentes sera
CB : (x + 2)2 + y 2 =1
Cb : (x 2)2 + y 2 =1

CA : x2 + (y + 5)2 =4

Ca : x2 + (y 5)2 =4
la transformacin que empareja CB y Cb es
2z + 3
b(z) = .
z+2
89
Por otro lado, la transformacin que empareja CA y Ca es

5 1
z i
a(z) = 2 2
z 5
i +
2 2
luego, las matrices asociadas son

5 i
2 2
2 3
a= , b=

1 2
i 5

2 2
en este caso vamos a obtener un grupo Quasifuchsiano, y para vericarlo, veremos que se cumple
la identidad de Markov, esto es
(Tr a)2 + (Tr b)2 + (Tr ab)2 = Tr a Tr b Tr ab.
Para nuestro caso particular, tenemos que

Tr a = 5
Tr b = 4

Tr ab = 2 5 + i.
As

(Tr a)2 + (Tr b)2 + (Tr ab)2 = 5 + 16 + (2 5 + i)2 = 40 + 4 5i

(Tr a) (Tr b) (Tr ab) = 4 5(2 5 + i = 40 + 4 5i.

La siguiente gura corresponde al caso x0 = 2 con y0 = 5 y R=2 y al utilizar la relacin para
r, obtenemos que r = 1.
90

Figura 3.23: Grupo Quasifuchsiano, x0 = 2, r = 1; y0 = 5, R = 2.
Caso III: Casos extremos.
Un caso muy especial de nuestra conguracin es cuando y0 = R , en este caso la conguracin

toma la forma
CA : x2 + (y + R)2 = R2
Ca : x2 + (y R)2 = R2
CB : (x + x0 )2 + y 2 = r2
Cb : (x x0 )2 + y 2 = r2
La transforamcin b(z) contina siendo la misma, sin embargo, la transformacin a(z) se reduce
a
z
a(z) =
zi
+1
R
de dicha conguracin, junto con la condicin de tangencia y haciendo variar x0 al innito se
obtiene el famoso Gasket de Apolonio, el cual daremos sus generadores en la siguiente seccin;
91
ahora vamos a ver que es lo que sucede con nuestra conguracin cuando hacemos variar a x0 ,
para valores muy grandes. Para x0 = 3, y0 = R = 2 obtenemos:
Figura 3.24: Grupo Quasifuchsiano con un parablico extra, x0 = 3; y0 =

R = 2.
92
Figura 3.25: Grupo Quasifuchsiano con un parablico extra, x0 = 4; y0 =

R = 2.
Figura 3.26: Grupo Quasifucsiano con un parablico extra, x0 = 10; y0 =

R = 2.
93
Figura 3.27: Grupo Quasifuchsiano con un parablico extra, x0 = 20;

y0 = R = 2.
En la gura 3.27 la imagen representada est entre x [4, 4] e y [5, 5].
94

y0 = R = 2.
para el caso de la gura 3.28, notamos que las circunferencias CB y Cb parecen rectas y esta-
mos aproximndonos a la gura del Gasket. Ahora, vamos a exagerar an ms el valr de x0 ,
considerando x0 = 10000000000, obteniendo:
95

y0 = R = 2.
Ahora aplicaremos un nuevo algoritmo, el cual dibujar los centros de los crculos de tal manera
que el centro sea una proporcin del menor de los radios de los 4 crculos iniciales.
96

Figura 3.30: Puntos lmites para el caso x0 = 2, r = 1; y0 = 5, R = 2.
97
Figura 3.31: Puntos lmites para el caso x0 = 4; y0 = R = 2.
98
99
100
101
102
103
Figura 3.38: Puntos lmites para el caso x0 = 1e10; y0 = R = 2.
La idea de hacer tender el x0 al innito nos dar una conguracin ms extrema, la cual nos
dar un grupo con dos parablicos extras y en particular esta gura es una aproximacin al Gasket
(empaquetamiento de los crculos de Apolonio).
3.7. El Gasket.
En esta parte se presentar un proceso de construccin de crculos tangentes y obtenedremos el
6
famoso Gasket de Apolinio , el cual veremos que est estrechamente relacionado con los conjuntos
lmites de grupos de Schottky.
Denicin 3.7.1. Una regin entre tres discos tangentes es un trangulo, donde sus arcos son
sus respectivos lados, este tipo de tringulo es llamado es un trangulo ideal.
Los vrtices de nuestro tringulo ideal, son los puntos de tangencia. El Gasket se forma por el
hecho de que en cada tringulo ideal ideal siempre hay un nico disco inscrito o incrculo que es
tangente a los otros tres crculos. Podemos pensar que el Gasket como una construccin sobre la
esfera.
6 Apolonio, conocido por sus contemporneos como el gran gemetra . Vivi en Perga ahora en da Turqua. Uno
de los gigantes de las matemticas griegas. Fue famoso por sus 8 volmenes y tratados sobre cnicas estudiaron
elipses, hiprbolas y parbolas como seccin de un cono por un plano en varios ngulos. Sus escritos se convirtieron
en textos estndar en el mundo antiguo. Muchos ahora en da estn perdidos y los conocemos slo a travs de
mencin en otros comentarios, entre ellos trabajos sobre slidos regulares, nmeros irracionales y aproximaciones
de .
104
3.7.1. Generando el Gasket.

Geomtricamente el Gasket tiene un bello efecto, pero la verdadera razn de incluirlo en este parte
del trabajo es que es el conjunto lmite de un grupo de Schottky que resulta del emparejamiento
de crculos tangentes, con la diferencia que ahora hay tangencias extras entre los cuatro crculos
iniciales.
1. En el prime caso tenemos una cadena de crculos tangentes, donde dos de ellos son tangentes
al eje x.
Q Ca P
CB S Cb
R
CA
Figura 3.39: Cadena de crculos tangentes, con dos tangentes al eje x.
2. En el segundo caso tenemos 2 crculos tangentes a dos rectas tangentes en el innito.
Ca
CB Cb
Q P
R S
CA
Figura 3.40: Crculos tangentes a 2 rectas tangentes en el innito.
Para el primer caso, donde hay una recta, vamos a considerar el ms particular, donde la circun-
ferncia CA es tangente a la recta Ca tal como se muestra en la siguiente gura
105
Ca
Q CA P
R S
CB Cb
Figura 3.41: Conguracin particular del Gasket.
Los crculos a considerar en el primer caso son:
Ca : x = 0
2
2 1 1
CA : x + y + =
4 16
2 2
Cb : (x + 1) + (y + 1) = 1
CB : (x 1)2 + (y + 1)2 = 1
a1 z + a2
Donde los crculos CB y Cb son tangentes en i, as para encontrar la apliacin a(z) =
a3 z + a4
consideramos los puntos z1 , z2 , z3 en la circunferencia CA
z1 = 0
1 2
z2 = i
5 5
1 2
z3 = i
5 5
y los puntos w1 , w2 , w3 en Ca
w1 = 0
w2 = 1
w3 = 1
necesitamos una transformacin a(z) que haga lo siguiente:
a(z1 ) = w1
a(z2 ) = w2
a(z3 ) = w3
106
As tendremos
a2
a(0) = =0
a4
lo que implica que a2 = 0, por otro lado necesitamos que a( 15 25 i) = 1 de donde obtenemos la
siguiente relacin
a1 2a1 i = a3 + 2a3 i 5a4 (3.9)
por otro lado necesitamos que a( 51 25 i) = 1, de donde obtenemos la siguiente condicin
a1 2a1 i = a3 2a3 i + 5a4 (3.10)
ahora sumando 3.9 y 3.10 obtenemos

2a1 i = a3
nalmente necesitamos que a1 a4 a2 a3 = 1 , lo que signica que a1 a4 = 1 , (ya que a2 = 0 ) por
tanto la transformacin a tiene la siguiente forma
a1 z + a2 a1 z + 0
a(z) = =
a3 z + a4 2a1 iz + a11
tenemos que dicha transformacin depende del parmetro a1 , para este caso tomaremos a1 = 1 ,
obteniendo as la transformacin
z
a(z) = .
2iz + 1
Para encontra la transformacin b(z) que empareje los crculos CB y Cb vamos a considerar los
puntos
z1 = 1
z2 = i
z3 = 1 2i
en CB , y
w1 = 1
w2 = i
w3 = 1 2i

z1 z3 z z2
en Cb y utlizaremos el teorema 1.2.2, donde la aplicacin S1 (z) = enva los
z1 z2 z z3
puntos z1 , z2 y z3 a 1, 0 y respectivamente, dicha transformacin tiene la forma
(1 i)z + 1 + i
S 1 (z) =
z + 1 + 2i
y de manera similar podemos encontrar una transformacin S2 que nos lleve de w1 , w2 y w3 a 1, 0
e respectivamente, la transformacin tiene la siguiente forma
(1 + i)z + i 1
S2 =
z1+i
107
por tanto la transformacin b = S 1

2 S1 me llevar de los puntos z1 , z2 y z3 a los puntos w1 , w2 , w3
respectivamente, la inversa de la transformacin S2 es
(12i)
1 2
z + i12
S 2 = 1 (i+1)
2
2
nalmente la transformacin b tiene la siguiente forma
1 (1 + i)z i
b = S2 S1 =
iz + (1 i)
As, para la conguracin del primer caso
Ca : x = 0
2
2 1 1
CA : x + y + =
4 16
2 2
Cb : (x + 1) + (y + 1) = 1
CB : (x 1)2 + (y + 1)2 = 1
z (1 + i)z i
a(z) = empareja CA y Ca . Por otro lado b(z) = tiene determinante 1,
2iz + 1 iz + (1 i)
as dividiendo por i tendramos que
(1 i)z + 1
b(z) =
z+1+i
empareja los crculos CB y Cb .
Para el segundo caso,la conguracin de crculos es la siguiente:
Ca : x2 + (y 2)2 = 1
C A : x2 + y 2 = 1
CB : x = 1
Cb : x = 1
La transformacin b que nos lleva de CB a Cb es una trasalacin de la forma b(z) = z + 2, por
tanto su matriz asociada sera

1 2
b=
0 1
por otro lado, para la transformacin a(z) que empareje las circunferencias
C A : x2 + y 2 = 1
Ca : x2 + (y 2)2 = 1
Tomaremos los puntos
z1 = 1
z2 = 1
z3 = i
108
en la circunferencia CA , por otro lado, consideremos los puntos
w1 = 2 + i
w2 = 2 + 2i
w3 = i
de la circunferencia Ca , necesitamos que la transformancin a(z) haga lo siguiente
a(z1 ) = w1
a(z2 ) = w2
a(z3 ) = w3
As, obtenemos las siguientes relaciones
a1 + a2
a(1) = = 2 + i
a3 + a4
a1 + a2
a(1) = = 2 + 2i
a3 + a4
a1 i + a2
a(i) = =i
a3 i + a4
luego:
a1 = 2ia3 a4
a2 = 2ia4 + a3
as la transformacin sera
(2ia3 a4 )z + 2ia4 + a3
a(z) =
a3 z + a4
donde tambin necesitamos que el discriminante de la matriz asociada sea 1, por tanto
(2ia3 a4 )a4 a3 (2ia4 + a3 ) = 1
de donde obtenemos
a23 + a24 = 1
tomando a4 = 0, entonces a3 = i, tomaremos a3 = i, as la matriz asociada sera

2 i
a= .
i 0
As para la segunda conguracin
Ca : x2 + (y 2)2 = 1
CA : x2 + y 2 = 1
Cb : x=1
CB : x = 1
109
2z i
Donde la transformacin a(z) = empareja los crculos CA y Ca y la transformacin
iz
b(z) = z + 2
empareja los crculos CB y Cb .

El grupo del Gasket es llamado doble cspide, algunas veces es llamado cspide maximal. Puesto
que en el disco el grupo ir llenandolo con tringulos ideales, el cual es un grupo de simtrias al
cual llamaremos grupo modular, el cual ha tenido una enorme contribucin en el mundo de las
matemticas. Nos vamos a centrar en el disco
1
(x + 1)2 + y 2 =
4
y necesitamos encontrar el subgrupo de todas las tranformaciones en el grupo del Gasket que
mapean el interior en s mismo; ste subgrupo o cualquiera de sus conjugadas es el que llamaremos
grupo modular, las siguientes guras muestran la conguracin en el disco
Figura 3.42: Generadores del grupo modular.
El grupo modular es un nuevo tipo de "grupos de collar"; hecho por el caso omiso de todo el
resto del Gasket y viendo justamente en el disco la accin producidad por a Bab, donde
y la
transformacin a empareja CA con Ca y la transformacin BAb empareja CBa con CBA ya que
BAb(CBa ) = BAb(B(Ca )) = BA(Ca ) = B(CA ) = CBA .
Tal como indica la siguiente gura
110
Ca
CBa CA
CBA
Figura 3.43: Generadores del grupo modular.
Denicin 3.7.2. El grupo modular aritmtico. El grupo modular aritmtico es construido con el
emparejamiento de cuatro crculos de Schottky con puntos de tangencia en 1, 0, 1 e .
Este grupo es conjugado a al grupo modular. La conguracin inicial se muestra en la siguiente

gura
1 0 1
Figura 3.44: Generadores del grupo aritmtico modular.
La conguracin estara dada por
CA : (x + 1/2)2 + y 2 = 1/4
Ca : (x 1/2)2 + y 2 = 1/4
CB : x = 1
Cb : x = 1
111
Las circunferencias CB y Cb estn emparejadas por la traslacin b(z) = z + 2, por tanto su matriz
asociada sera
1 2
b= .
0 1
a1 z + a2
Para encontrar a(z) = , consideraremos los puntos
a3 z + a4
z1 = 0
z2 = 1
1 i
z3 = +
2 2
en la circunferencia CA , mientras que en la circunferencia Ca tomamos
w1 = 0
w2 = 1
1 i
w3 = +
2 2
ahora necesitaremos que la transformacin a(z), haga lo siguiente
a(z1 ) = w1
a(z2 ) = w2
a(z3 ) = w3
por tanto :
a(0) = 0 lo que implica a2 = 0. Por otro lado
a(1) = 1
a(1/2 + i/2) = 1/2 + i/2
de la condicin a(1) = 1 obtenemos a1 = a3 a4 , mientras de la condicin a(1/2 + i/2) =
1/2 + i/2 obtenemos
a1 (1/2 + i/2) 1 i
= +
a3 (1/2 + i/2) + a4 2 2

a1 a1 1 i 1 i 1 i
+ i = a3 + + a4 +
2 2 2 2 2 2 2 2
a3 a4 a4 a4 a3 a4 a1 a4
= + +i = + i= + i
2 2 2 2 2 2 2
de donde obtenemos que a1 = a4 y as a3 = a1 +a4 , pero como a1 a4 = 1, entonces tanto a1 = a4 = 1,
z
as a3 = 2, por tanto la transformacin a(z) sera y su matriz asociada sera
2z + 1

1 0
a= .
2 1
Al cubriemiento de tringulos ideales por medio de los generadores del grupo modular, le llamare-
mos Teselacin Modular, la cual tiene una bella e interesante relacin entre los nmeros racionales,
esto se debe a que justamente los puntos donde se van acumulando las semicircunferencias sobre
el eje x son nmeros racionales.
112
Denicin 3.7.3. Un cuadriltero ideal es una regin bsica de 4 lados, acotada por cuatro arcos
slidos.
La Teselacin de Farey surge de la conguracin del grupo modular
1/1 0/1 1/1
Figura 3.45: Inicio de la Teselacin de Farey.
Para la teselacin de Farey, podemos concluir por simple inspeccin que
p
1. Los vrtices de los tringulos ideales acumulados son nmeros racionales .
q
r p
2. Si y son dos vrtices del mismo arco circular, stos van a cumplir que ps rq = 1.
s q
r p
3. Si < y son vrtices de un arco circular, entonces el tercer vrtice de ellos es
s q
r p r+p
= .
s q s+q
Esta forma de sumar fracciones es conocida como la suma F arey . Como hemos dicho ante-
riormente, el grupo modular es un nuevo tipo de grupo de collar , ste est hecho por el
emparejamiento de cuatro crculos tangentes y la nica diferencia de los grupos de Schottky
que aparecieron en su momento es que ahora no estamos emparejando crculos opuestos
sino, adyacentes. Las condiciones trabajadas anteriormente siguen siendo ciertas todava,
pero porque estamos emparejando los crculos en un patrn diferente, podramos esperar
que elementos distintos deben ser parablicos para lograr que las imgenes de los crculos se
encojan, ahora bien, nuestra conguracin va a ser la siguiente
113
Ca CA
R Q
CB Cb
Figura 3.46: Conguracin inicial para el grupo aritmtico.
Donde adems deber cumplirse a(P ) = R y b(R) = P los cuatro puntos de tangencia de los
crculos son
S = F ix(a)
Q = F ix(b)
P = F ix(ba)
R = F ix(ab)
De manera similar a las construcciones anteriores el orden, para los crculos imgenes cerca de S
y Q se van haciendo cada vez ms pequeos, los generadoresa y b deben ser parablicos. Por otra
parte ba tambin debe de ser parablico para hacer que los crculos se encojan en P . Notemos
que ab y ba son conjugadas ya que b(ab)B = ba, as, hablar de que ab o ba es parablico es la
misma cosa. El dato verdaderamente sorprendente es que todos los grupos con esos 3 elementos
parablicos automticamente son conjugados. El rbol para este caso se muestra acontinuacin
114
Ab
AB AA
ba aa
bA I aB
b a
bb ab
BB BA
Ba
Figura 3.47: Primeros niveles del rbol modular.
En resumen un collar modular es una cadena tangente de 4 crculos emparejados adyacentemente

por transformaciones a y b, donde las transformaciones a, b y ab son todas parablicas y S = Fix(a),
Q= Fix(b), a(P ) = R, b(R) = P as que P = Fix(ba) y R = Fix(ab). El grupo generado siempre
es conjugado al grupo modular estandar generado por

1 0 1 2
a= y b= .
2 1 0 1
3.8. Ms ejemplos de grupos Quasifuchsianos.

En los ejemplos construidos hasta este momento, hemos tenido especial cuidado con los puntos
tangencia y adems, para obtener grupos Quasifuchsianos debamos imponer la condicin de que
la traza del conmutador fuera 2, sin embargo gracias a la identidad de Markov
(Tra)2 + (Trb)2 + (Trab) = Tra Trb Trab.
Si escogemos stas matrices a, b y ab tal que cumplan la ecuacin de Markov, tendramos directa-
mente la condicin de que el conmutador sea 2, as como tambin, imponiendo las restricciones
que ambas transformaciones tengan matrices asociadas con determinante 1. As podramos apli-
car estas transformaciones a y b a los crculos de Schottky trabajados anteriormente. Hasta este
momento hemos trabajado con grupos donde los generadores tenan traza real, pero no hemos
dicho que puede suceder, si la traza es un nmero complejo, en este caso estamos en condiciones
recprocas, ahora vamos a dar las trazas de las transformaciones a y b y vamos a encontrar los
115
generadores y vamos a utilizar un nuevo algoritmo, el cual a diferencia del BF S utilizado para los
dibujos de las secciones anteriores, no gracar los discos encadenados, si no los puntos lmites,
ste algoritmo recibe el nombre de DF S (Depth - First - Search), que utiliza una funcin recursiva
para recorrer los rboles de palabras, recibir un nmero que permitir conocer si algn crculos
encadenado tiene radio menor que , el algoritmo se presenta en la seccin de Anexos. El proceso
de encontrar las matrices asociadas a las transformaciones a y b recibe el nombre de Recproco de
Grandma's, los pasos son
1. Elegimos dos nmeros complejos cualesquiera, a los que llamaremos Ta y Tb .
2. Consideramos una de las soluciones x de la ecuacin
x2 Ta Tb x + Ta2 + Tb2 = 0
3. Luego de aplicar las condiciones de los determinantes de las matrices asociadas, considerar
directamente la traza de la transformacin ab las entradas para a y b, las cuales estn dadas
por
Ta Ta Tab 2Tb + 4i
2 (2Tab + 4)
a= .

(T T 2T 4i) Ta
a ab b
2Tab 4 2
Tb 2i

Tb
2 2
b= .

Tb Tb + 2i
2 2
4. Por otro lado, la transformacin ab est dada por
Tab 2

Tab
2 2
ab = .

(T + 2) Tab
ab
2 2
donde
(Tab 2)Tb
= .
Tb Tab 2Ta + 2iTab
Podemos computar b y ab, ya que a = (ab)B .
Las siguientes guras corresponden a la conguracin de la seccin 3.6, con la diferencia que
ahora vamos a considerar la forma del recrproco de Grandma's:
116
Figura 3.48: x0 = 3; y0 = R = 2, Ta = 1.64213876 0.76658841i, Tb = 2
Figura 3.49: x0 = 100; y0 = R = 2, Ta = Tb = 1.91 + 0.05
117
Figura 3.50: x0 = 1e10 ; y0 = R = 2, Ta = 1.87 + 0.1i, Tb = 1.87 0.1i
3.9. Denicin formal de grupos Kleinianos.

3.9.1. Discontinuidad.
En este momento haremos un recorrido por los fundamentos necesarios para la construccin de
grupos Kleinianos y daremos algunas propiedades de los mismos, puesto que ya en las secciones
anteriores hemos construido algunos ejemplos bsicos, la idea ser poder vericar las propiedades
por medio de los dibujos de sus conjuntos lmites, as como tambin hacer algunos enlaces intere-
santes entre otras ramas de la matemtica, como lo son las supercies de Riemann. Consideremos
un grupo de transformaciones de Mbius G y un conjunto X 6=, ste da lugar a una aplicacin
GX X
donde a cada par (g, x) se le asocia g(x), es decir, esta aplicacin es tradicionalmente denida como
la accin del grupo G sobre el conjunto X , donde adems nos interesa el caso en el que X es un
espacio mtrico y donde todos los elementos de G sean isometras de (X, d); en este caso diremos
que g actua por isometras sobre (X, d) o que tiene una accin isomtrica de g sobre (X, d). En el
2
captulo 2 se demostr que el espacio (H , dhip ) es un espacio mtrico y adems sabemos que las
az + b
transformaciones z con a, b, c y d R y con ad bc = 1 forman un grupo de isometras,
cz + d
esto es una consecuencia directa del teorema 2.4.1.
Denicin 3.9.1. Sea X un espacio mtrico

7
y sea G un grupo de homeomorsmos de X en s
7 En esta denicin tambin X puede ser un espacio topolgico.
118
mismo. Un grupo G acta en un conjunto X, si existe una funcin
:GX X
tal que (g2 g1 , x) = (g2 , (g1 , x)) y (Id , x) = x.
Diremos que la accin de G en un punto x X es libremente discontinua, si existe un vecindario
U de x tal que g(U ) U = , g G 6= Id . El vecindario U es llamado un buen vecindario de x.
Denicin 3.9.2. El conjunto de puntos en los cuales la accin de G es libremente discontinua
8
es llamado conjunto libre regular, y es denotado = (G).
Denicin 3.9.3. Un subconjunto Y X es G - invariante o invariante bajo G, si g(Y ) = Y

para todo g G.
Denicin 3.9.4. La clase de equivalencia de la accin del grupo G sobre cualquier conjunto Y
se dene de la siguiente manera:
xy si y slo si g G g(x) = y
diremos que x y y son G-equivalentes o equivalentes bajo G.
La topologa usual sobre el espacio

Y /G
es la denida por la proyeccin natural
p : Y Y /G
ya que es continua y abierta.
Denicin 3.9.5. Un subgrupo G de transformaciones de Mbius que es libremente discontinuo

en algn punto
zC es llamado un grupo Kleiniano.
En general el conjunto
C/G
es un espacio complicado, ms no as el conjunto /G. La siguiente

proposicin establece una propiedad muy interesante del conciente /G.
Proposicin 3.9.1. El cociente

/G es un espacio Hausdor.

Demostracin. Necesitamos demostrar que para dos puntos distintos x e y de , podemos en-
contrar buenos vecindarios de U y V de x e y respectivamente, de tal forma que U V = .
Supongamos que U V 6= y puesto que U y V son abiertos entonces para algn punto x U y
xV podemos encontrar un vecindario lo sucientemente pequeo que lo contenga y si conside-
ramos una sucesin xn x, ese vecindario W contendra innitos puntos de la sucesin que a la
vez estaran enU y en V , por otro lado, como los elementos de G son transformaciones continuas
tenemos que g(xn ) g(x) tanto en g(U ) como en g(V ) lo cual contradice el hecho de que U y V
sean buenos vecindarios.
Proposicin 3.9.2. Todo grupo Kleiniano es numerable.
Demostracin. Revisar [1], para una demostracin. Por otro lado en las secciones anteriores, en
las construcciones de nuestros ejemplos, los elementos de los grupos obtenidos iban obteniendose
a partir de un rbol, por tanto los conjuntos obtenidos tambin son numerables.
8 Este conjunto tiene relacin con el complemento del conjunto lmite de un grupo Kleiniano, dada en la denicin
3.2.2.
119
3.9.2. Grupos discretos.

Denicin 3.9.6. G < SL(2, C), se dice que G es discreto si no existe una sucesin
Sea de
matrices distintas, Tn G, n N, tal que Tn T , cuando n , donde T es una matriz de
22 con entradas complejas.
Proposicin 3.9.3. Sea G un subgrupo no discreto de transformaciones de Mbius. Entonces

existe una sucesin de elementos distintos de G que convergene a la identidad.
Demostracin. Como G no es discreto, existe una secuencia de elementos {gm } de G convergen a

algn elemento g M. Normalizando G tenemos que g es de la forma z z + 1 o de la forma
1
z k 2 z . En cada caso, podemos vericar que gm+1 gm convergen a la identidad.
Proposicin 3.9.4. Sea G es un grupo Kleiniano. Entonces G es un subgrupo discreto de M.
Demostracin. Ver [1], para una demostracin.

Corolario 3.9.1. Sea G < SL(2, R) discreto, entonces .
( )c R
3.9.3. Conjuntos lmites de grupos Kleinianos.

Denicin 3.9.7. Un punto x es un punto lmite para el grupo Kleiniano G si existe un punto

z , y una sucesin {gm } de elementos distintos de G congn (z) x. El conjunto de todos los
puntos lmites es llamado conjunto lmite y lo denotaremos = (G).
Por otro lado, como todo vecindario de un punto de contiene innitas traslaciones de algn

punto, = .
Teorema 3.9.1. El conjunto lmite de un grupo Kleiniano es Cerrado, G - invariante y nada

denso sobre .
C
En los ejemplos construidos en las secciones anteriores podemos vericar claramente la primera
armacin, ya que los conjuntos lmites son circunferencias (para el caso de grupos Fuchsianos) o
porciones de circunferencias (para el caso de grupos de Schottky) o curvas de Jordan ms generales
(para el caso de grupos Quasifuchsianos). En [5] puede encontrarse una demostracin formal.
Teorema 3.9.2. Si contiene ms de dos puntos, entonces ste es perfecto.
Demostracin. Para una demostracin, ver [5].
Un grupo Kleiniano G cuyo conjunto lmite consiste de a lo ms dos puntos es llamado grupo
elemental ; los otros casos son llamados no elementales ; as los conjuntos lmites que dibujamos
anteriormente corresponden a grupos no elementales. La siguiente denicin referente a la accin
discontinua es un tanto ms particular a la dada anterioremente, esta vez nos restringimos a un
subconjunto nito del grupo.
Denicin 3.9.8. Diremos que G acta discontinuamente en x X si existe un vecindario U de

x, g(U ) U = para todo subconjunto nito de elementos g de G. El conjunto de puntos en
tal que
los cuales G actua discontinuamente es llamado el conjunto de discontinuidad o conjunto regular
y se denotar de ahora en adelante como = (G).
Teorema 3.9.3. Para cualquier grupo Kleiniano G , C es la unin de y .
120
3.10. Dominios fundamentales y topologa de grupos Klei-

nianos.
Ya mencionamos anteriormente que que el cociente /G donde G es un grupo Kleiniano es una
supercie de Riemann, ahora bien, pensar en como dibujar una imagen de supercie asociada a un
grupo Kleiniano podra no ser fcil, as que necesitamos de un dominio donde esto sea posible. Los
conjuntos y dominios fundamentales nos llevan al estudio de las teselaciones del plano hiperblico
y el espacio hiperblico tridimensional. En el caso bidimensional es de gran utilidad en la teora
de los nmeros, ya hablamos de esto anteriormente del grupo modular aritmtico; en el espacio
hiperblico tridimensional lo es para la topologa de variedades de dimensin 3.
3.10.1. Dominios fundamentales.

Dado un grupo discreto G de isometras del plano o el espacio hiperblico, para referirnos al
plano o espacio hiperblico escribiremos H2,3 .
Denicin 3.10.1. Un domino fundamental para la accin G sobre el plano o el espacio hiperlico,
es un conjunto abierto F H2,3 que satisface las siguientes condiciones
a) Si F denota la clausura topolgica de F en H2,3 , entonces para elementos arbitrarios g1 , g1 G

tenemos que g1 (F ) g2 (F ) = .
b) La unin gG g(F ), g G es siempre H2,3 .
En particular, si F es un dominio fundamental, entonces toda traslacin g(F ) de ste por un

elemento de G
tambin es un dominio fundamental. El mtdo de construccin de un dominio
2,3
fundamental para G Iso(H ) se da siempre que tengamos un grupo actuando sobre un espacio
mtrico localmente compacto, donde la mtrica satisface que dados dos puntos cualesquiera x1 y
x2 existe un tercer punto x3 a la misma distancia de ambos puntos x1 , x2 . Se dice que F es un
poliedro y es llamado Dominio fundamental de Dirichlet o regin Dirichlet para G.
Para la construccin tenemos:
Seleccionamos un punto x0 H2,3 que nos sea punto jo por ningn elemento de G y consideramos
2,3
el conjunto F de esos puntos en H donde la distancia hiperblica es estrictamente menor que la
distancia a cualquier punto de las G-rbitas de x0 . Esto es:
F = x H2,3 /dh (x, x0 ) < dh (x, g(x0 )), g G .

La regin F es convexa en el sentido hiperblico y su frontera es una coleccin numerable de

caras (n 1) dimensionales que estn relacionada a pares y quines emparejan esas cara son los
generadores del grupo. En general para grupos construidos en este trabajo, el conjunto fundamental
ser siempre el extreior de los crculos que se han emparejado mediante transformaciones de Mbius.
A continuacin presentamos las regiones fundamentales para los grupos construidos en las secciones
anteriores.
Grupos de Schottky:
Recordemos que los grupos de Schottky se obtuvieron por el emparejamiento de cuatro crculos
inciales disjuntos, ninguno dentro del otro, crculos a los que llamamos Ca , CA , Cb y Cb , que estaban
121
emparejadas por las transformaciones a y b, donde a emparejaba CA con Ca y b emperajaba CB

con Cb .
Ca
CB
F Cb
CA
Figura 3.51: Regin fundamental para grupos de Schottky.
Grupos Fuchsianos.
En este caso la regin fundamental estar dada por la unin de 2 polgonos hiperblicos que
resultan del exterior de los cuatro crculos tangentes Ca , CA , CB , Cb .
Ca
CB Cb
CA
Figura 3.52: Regin fundamental para grupos Fuchsianos.
122
Grupos Quasifuchsianos:
Para el caso de grupos Quasifuchsianos tenemos :
F Ca
CB Cb
CA
Figura 3.53: Regin fundamental para grupos Quasifuchsianos.
3.10.2. Relacin entre grupos Kleinianos y Supercies de Riemann.

Clsicamete, los grupos Kleinianos fueron estudiados por su conexin con las supercies de Rie-
mann. Actualemente se estudian por su conexin entre variedades hiperblicas tridimensionales,
las cuales han sido estudiadas en gran medida por Thurston entre otros.
Denicin 3.10.2. Una supercie de Riemann S es una variedad compleja 1 - dimensional; esto
es S es un espacio Hausdor, conexo, donde todo s S tiene un vecindario U y un homeomorsmo
asociado : U C, donde, denimos la composicin de uno de esos homeomorsomos con el
inverso de otro, esto es un holomorsmos. El homeomorsmo es llamado coordenada local en s.
Con el n de hacer anlis complejo localmente, no distinguiremos entre U y (U ); esto es, vamos
a considerar a (U ) como un vecindario de s.
El siguiente teorema es muy importante para este trabajo ya que de alguna manera establece
una relacin directa de un grupo Kleiniano G con supercies de Riemann.
Teorema 3.10.1. Sea G un grupo Kleiniano entonces S = /G es una supercie de Riemann.
Los siguientes teoremas permitirn establecer la supercie de Riemann asociada a los ejemplos
construidos en este trabajo:
Teorema 3.10.2. 9
(Retroseccin de Koebe) , Se S una supercie de Riemann de gnero g 1.
Entonces existe un grupo de Schottky de gnero g tal que (G)/G es holomorcamente equivalente
a S.
Para comprender la topologa del espacio /G donde G es un grupo de Schottky, vamos a

considerar la conguracin de crculos emparejados, junto con sus respectivos generadores, los
demostracin de ste teorema puede encontrarse en L. Bears, Automorphic forms for Schottky groups, Adv.
9 Una
in Math. 16(1975), 332-361.
123
cuales los pesaremos en el plano complejo extendido, esto es decir en la esfera de Riemann y pegar
las fronteras de los respectivos discos emparejados, geomtricamente:
Ca
b
CB
Cb
CA
Figura 3.54: Topologa de un grupo de Schottky.
Despus de pegar los crculos tal como indican los respectivos generadores a y b, obtendremos
un 2 toro, en general si tenemos 2n crculos emparejados obtendremos un n toro o una supercie
de gnero n.
Teorema 3.10.3. Si G es un grupo discreto isomorfo al grupo fundamental de una supercie de

Riemann de gnero g tal que (G) 6= (es decir, un grupo Kleiniano ) tal que todo elemento de
G, diferenete de la identidad, es loxodrmico, entonces (G) es una curva de Jordan y cada disco
10
acotado por esta curva es invariante por G (es decir, G es Quasifucsiano)
De la misma forma en que hicimos para el caso de grupos de Schottky, consideramos nuestra
conguracin tangente en la esferara de Rimann e identicamos los crculos respectivamente como
indican los generadores, geomtricamente:
10 La demostracin de ste teorema puede encontrarse en B. Maskit, On a class of kleinian groups, Ann. Acad.
Sci. Fenn. Ser. AI Math. 442 (1969),1-8.
124
Ca Cb
a
CB
CA
C1
b
Figura 3.55: Topologa de un grupo Quasifucsiano.
Luego de hacer las respecitvas identiaciones mediante los generadores, obtenderemos lo que se
conoces como un once-punctured torus gruop, o simplemente un toro con un "pinchazo".
125
Anexos
Para la realizacin de las imgenes de la iteracin de las transformaciones de Mbius, mediante
los crculos emparejados, hemos utilizados 3 algoritmos que han sido ejecutados con el software
matemtico libre, Sage Math.
I. Algoritmo BFS.
El cdigo implimentado para la generacin de las guras de la seccin 3.1.4
def grafCircunferencia(c,color=None,z=0,rellena=True):
"""c es una tupla formada por dos elementos:
c[0]: Un nmero complejo
c[1]: Un nmero real positivo
"""
if color:
return circle((real(c[0]),imag(c[0])),c[1],
rgbcolor=color,fill=rellena,zorder=z)
else:
return circle((real(c[0]),imag(c[0])),c[1])
def mobius_on_point(matriz,punto):
"""matriz: Matriz compleja de 2x2
punto: Nmero complejo
"""
num = matriz[0,0]*punto+matriz[0,1]
den = matriz[1,0]*punto+matriz[1,1]
if den == 0:
return num/(1e-5000)
else:
return num/den
def mobius_on_circle(matriz,circunferencia):
circunfencia[0]: Nmero complejo
circunfencia[1]: Nmero real positivo
"""
conjugada = conjugate(matriz[1,1]/matriz[1,0]+circunferencia[0])
if conjugada == 0:
z = circunferencia[0] - circunferencia[1]*circunferencia[1]/1e-5000
else:
z = circunferencia[0] - circunferencia[1]*circunferencia[1]/conjugada
nuevoCentro = mobius_on_point(matriz, z)
nuevoRadio = abs(nuevoCentro - mobius_on_point(matriz,
circunferencia[0]+circunferencia[1]))
return (nuevoCentro, nuevoRadio)
def schottky(generadores, circunferencias, inversos, nivelMax=1):

"""generadores: una lista de 4 matrices complejas de 2x2
circunferencias: una lista de 4 circunferencias (centro,radio)

inversos: una lista de 4 nmeros enteros
nivelesMax: el nmero de niveles que se desea dibujar
(debe ser mayor o igual que 1) """
def definirColor(n):
"n: nivel actual"
return fuegoDoble(n)
def fuegoDoble(n):
azul = 25.0/256, 133.0/256, 255.0/256
rojo = 248.0/256, 7.0/256, 20.0/256
amarillo = 241.0/256, 221.0/256, 49.0/256
niv_2 = nivelMax/2.0
niv = float(nivelMax)
if n/niv < 0.5:
return map(lambda i: azul[i]+n*(rojo[i]-azul[i])/niv_2, range(3))
else:
return map(lambda i: rojo[i]+(n-niv_2)*(amarillo[i]-rojo[i])/(niv-niv_2),
range(3))
def escalaGriz(n):
co = 0.9-0.9*n/nivelMax
return (co,co,co)
def fuego1(n):
amarillo = 0.945098039, 0.866666667, 0.074509804
rojo = 0.97254902, 0.02745098, 0.02745098
return map(lambda i: amarillo[i]+n*(rojo[i]-amarillo[i])/nivelMax, range(3))
def fuego2(n):
amarillo = 1.0, 1.0, 0.9804
rojo = 0.97254902, 0.02745098, 0.02745098
return map(lambda i: amarillo[i]+n*(rojo[i]-amarillo[i])/nivelMax, range(3))
def fuego3(n):
azul = 25.0/256, 133.0/256, 255.0/256
rojo = 0.97254902, 0.02745098, 0.02745098
return map(lambda i: azul[i]+n*(rojo[i]-azul[i])/nivelMax, range(3))
def schottky_aux(g,ixgen,n):
"""g: Generador actual
ixgen: ndice del generador actual (no puede aplicrsele su inversa)
n: Nivel actual
"""
graficos = []
for i in range(4):
if i!=inversos[ixgen]:
graficos.append(grafCircunferencia(mobius_on_circle(g,
circunferencias[i]), color=definirColor(n),z=n))
if n>=nivelMax:
#print len(graficos)
return sum(graficos)
for i in range(4):
128
graficos.append(schottky_aux(g*generadores[i],i,n+1))
#return sum(map(lambda x: grafCircunferencia(circunferencias[x],

color=definirColor(0),z=0) , range(4)))
return sum(map(lambda x: grafCircunferencia(circunferencias[x],
color=definirColor(0),z=0) + \
schottky_aux(generadores[x],x,1), range(4)))
def theta_schottky(theta,niveles):
P = sec(theta)
r = tan(theta)
Ca = (I*P,r)
Cb = (P,r)
CA = (-I*P,r)
CB = (-P,r)
CD = mobius_on_circle(m,CB)
a = matrix([[csc(theta),I*cot(theta)],[-I*cot(theta),csc(theta)]])
b= matrix([[csc(theta),cot(theta)],[cot(theta),csc(theta)]])
A= a**-1
B = b**-1
return schottky([a,b,A,B],[Ca,Cb,CA,CB],[0,1,2,3],niveles)
#theta_schottky(pi/6,1).show()
#theta_schottky(float(pi/6),7).show(figsize=[10,10],axes=False)
#theta_schottky(pi/4,7).show(figsize=[40,40],dpi=200,axes=False)
Por otro lado, modifcando los generadores en la denicin de la funcin theta Schottky , obte-
nemos las guras de la seccin 3.5, para diversos valores de
P = sec(theta) #sec(th)
Q = sqrt(25+16*tan(theta)*tan(theta))/(2*tan(theta))
r = tan(theta)
s = 5/2*cot(theta)
Cb = (P,r)
Ca = (I*Q,s)
CB = (-P,r)
CA = (-I*Q,s)
b = matrix([[csc(theta),cot(theta)],[cot(theta),csc(theta)]])
a = matrix([[sqrt(25+16*tan(theta)*tan(theta))/5,
I*(8*tan(theta))/5],[-I*(2*tan(theta))/5,
sqrt(25+16*tan(theta)*tan(theta))/5]])
129
A = a**-1
B = b**-1
return schottky([a,b,A,B],[Ca,Cb,CA,CB],[2,3,0,1],niveles)
1
Para las imgenes de los grupos conjugados de la seccin 3.2.3, para la transformacin ,
z
= /6.
P = sec(theta)
r = tan(theta)
m = matrix([[0,1],[1,0]])
M = m**-1
Ca = (I*P,r)
Cc = mobius_on_circle(m,Ca)
Cb = (P,r)
Cd = mobius_on_circle(m,Cb)
CA = (-I*P,r)
CC = mobius_on_circle(m,CA)
CB = (-P,r)
CD = mobius_on_circle(m,CB)
c = m*matrix([[csc(theta),I*cot(theta)],[-I*cot(theta),csc(theta)]])*M
d = m*matrix([[csc(theta),cot(theta)],[cot(theta),csc(theta)]])*M
C = c**-1
D = d**-1
return schottky([d,c,C,D],[Cd,Cc,CC,CD],[3,2,1,0],niveles)
#theta_schottky(float(pi/6),7).show(figsize=[10,10],axes=False)
#theta_schottky(pi/4,7).show(figsize=[40,40],dpi=200,axes=False)
(1 i)z + 1
As como tambin para la transformacin , para = /6 y = /4.
z+1+i
II Graca puntos lmites:
El siguiente algorimo, graca los centros de lso crculos que tienen un radio menor que una porcin
del menor de los radios de los cuatro crculs iniciales, esto es cmin {rad(Ca ), rad(Cb ), rad(A), rad(CB )},
donde c = 0.1, 0.01, 0.001 o incluso ms pequeo.
def circInfinito(x0):
"""Esta funcin devuelve una circunferencia de radio 'infinito'
y que pasa por x0+0*I
"""
infinito = 1e10
return (infinito+x0+0.0*I,infinito)
def grafCircunferencia(c,color=None,z=0,rellena=True):
"""c es una tupla formada por dos elementos:
130
c[0]: Un nmero complejo

c[1]: Un nmero real positivo
"""
if color:
return circle((real(c[0]),imag(c[0])),c[1],rgbcolor=color,
fill=rellena,zorder=z)
else:
return circle((real(c[0]),imag(c[0])),c[1])
"""
if den == 0:
else:
return num/den
"""
if conjugada == 0:
else:
nuevoRadio = abs(nuevoCentro - mobius_on_point(matriz,
circunferencia[0]+circunferencia[1]))
return (nuevoCentro, nuevoRadio)
def schottky_original(generadores, circunferencias, inversos, nivelMax=1):

(debe ser mayor o igual que 1)
"""
n: Nivel actual
"""
graficos = []
for i in range(4):
131
graficos.append(grafCircunferencia(mobius_on_circle(g,
circunferencias[i]),z=n))
if n>=nivelMax:
for i in range(4):
return sum(map(lambda x: grafCircunferencia(circunferencias[x],z=0) + \

def schottky(generadores, circunferencias, inversos, nivelMax, radioMax):

(debe ser mayor o igual que 1)
radioMax: Mximo radio de las circunferencias que se dibujarn
(a parte de las generadoras)
"""
n: Nivel actual
"""
graficos = []
for i in range(4):
estaCircunferencia = mobius_on_circle(g,circunferencias[i])
if estaCircunferencia[1]<radioMax:
graficos.append(point((real(estaCircunferencia[0]),
imag(estaCircunferencia[0]))))
#graficos.append(grafCircunferencia(estaCircunferencia,z=n))
if n>=nivelMax:
for i in range(4):
return sum(map(lambda x: grafCircunferencia(circunferencias[x],z=0) + \

132
def theta_schottky(niveles,x0,y0,R):
r = -R+sqrt(x0*x0+y0*y0)
Cb = (x0,r)
Ca = (y0*I,R)
CB = (-x0,r)
CA = (-y0*I,R)
b = matrix([[x0/r, (x0*x0-r*r)/r],[1/r, x0/r]])
B = b**-1
a = matrix([[y0/R,(R*R-y0*y0)/R*I],[I/R,y0/R]])
A = a**-1
return schottky([a,b,A,B],[Ca,Cb,CA,CB],[2,3,0,1],niveles,
0.001*min(map(lambda C: C[1], [Ca,Cb,CA,CB])))
En la siguiente instruccin, colocamos los parmetros (nivel, x0, y0, R)
theta_schottky(7,1e10,1.0,1.0).show(axes=False,xmin=-6, xmax=6, ymin=-4, ymax=4)
III. Versin Recursiva:

"""
if den == 0:
else:
return num/den
"""
if matriz[1,0]==0:
conjugada = conjugate(matriz[1,1]/1e-50000+circunferencia[0])
else:
if conjugada == 0:
else:
nuevoRadio = abs(nuevoCentro - mobius_on_point(matriz, circunferencia[0]+circunferenc
return(nuevoCentro,nuevoRadio)
def Explore_tree(matriz,entero,nivel):
133
#global epsilon
global grafico
E=[entero-1,entero,entero+1]
for i in E:
Y= matriz*gens[i%4]
circunf = mobius_on_circle(Y,circ[i%4])
if circunf[1]<epsilon or nivel>200:
newpoint = mobius_on_point(Y,fix[i%4])
grafico = grafico+point([real(circunf[0]),imag(circunf[0])])
else:
Explore_tree(Y,i,nivel+1)
#Inicializando epsilon
epsilon=0.1
grafico=Graphics()
k=[0,1,2,3]
gens = [matrix([[sqrt(2.),I],[-I,1]]),\
matrix([[sqrt(2.),1],[1,sqrt(2.)]]),\
matrix([[sqrt(2.),I],[-I,1]])**-1,\
matrix([[sqrt(2.),1],[1,sqrt(2.)]])**-1]
circ = [(I*sqrt(2.),1.),(sqrt(2.),1.),(-I*sqrt(2.),1.),(-sqrt(2.),1.)]
for c in k:
Explore_tree(gens[c],c,1)
grafico.show(aspect_ratio=1)
Bibliografa
[1] Lascuarin Orive, Antonio. Una introduccin a la geometra hiperblica bidimensional. Fe-
brero de 2010.
[2] Series Caroline, Wrigt David. Indra' S Pearls, The Vision of Felix Klein. CAMBRIDGE UNI-
VERSITY PRESS. 2002.
[3] W. Anderson, James. Hyperbolic Geometry. Segunda Edicin. Springer 2000.
[4] Cannon James, J. Floyd William, Kenyon Richard, Parry R. Walter. Hyperbolic Geometry".
Revista Flavor of Geometry, MSRI Publications, Volumen 31, 1997.
[5] Bernard Maskit, Kleinian Groups. Springer 1987.
[6] S.L. Krushkal, B. N. Apanasov, N. A. Gusevski. Kleinian Groups anda Uniformization in

examples and problem. American Mathematical Society.
[7] Pedro Alegra .Las demostraciones geomtrica .
[8] Bonahon Francis. Low- Dimensional Geometry Fromm Euclidean Surfaces to Hyperbolic
Knot. Revista Student Mathematical Library, IAS/Park city Mathematical Subseries, Volu-
men 49,2009.
[9] Matsuzaki Katsuhiko. Taniguchi Masahiko Taniguchi. Hyperbolic Manifolds and Kleinian Gro-
pus. Oxford Mathematical Mographs.(2002).
[10] Fenchel Werner , Elementary Geometry in Hiperbolic Space. Editorial Consultant, Univer-
sitt Bielefeld, 1989.
[11] Beardon Alan, "The Geometry of Discrete Groups".Springer, 1995.
[12] Iversen Birger, "Hyperbolic Geometry. CAMBRIDGE UNIVERSITY PRESS, 2008
[13] Benedetti Ricardo, Petronio Carlo. "Lectures on Hyperbolic Geometry". Springer, 1992.
135

19201023

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

19201023

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD DE EL SALVADOR

FACULTAD DE CIENCIAS NATURALES Y MATEMTICA

TRABAJO DE INVESTIGACIN TITULADO:

MAESTRA EN MATEMTICA FUNDAMENTAL

Ciudad Universitaria, Diciembre de 2015

1.1.1. Inversiones y la esfera de Riemann . . . . . . . . . . . . . . . . . . . . . . . 7

1.1.2. Proyeccin estereogrca, mtrica cordal. . . . . . . . . . . . . . . . . . . . . 9

1.2. Transformaciones de Mbius. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

1.3. Clasicacin por conjugacin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.5. Clasicacin por la traza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

2.2. Algunas isometras del plano hiperblico. . . . . . . . . . . . . . . . . . . . . . . . . 35

2.2.1. Homotecias y traslaciones horizontales. . . . . . . . . . . . . . . . . . . . . . 36

2.2.2. La propiedad homognea del plano hiperblico. . . . . . . . . . . . . . . . . 36

2.3. Curvas minimales en el plano hiperblico. . . . . . . . . . . . . . . . . . . . . . . . 37

2.4. Todas las isometras del plano hiperblico. . . . . . . . . . . . . . . . . . . . . . . . 41

2.5. Aplicaciones Lineales y antilineales . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

2.5.1. Algunas aplicaciones racionales antilineales. . . . . . . . . . . . . . . . . . . 44

2.6. La norma hiperblica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

2.7. El modelo del disco para el plano hiperblico . . . . . . . . . . . . . . . . . . . . . . 46

2.8. El espacio hiperblico tridimensional. . . . . . . . . . . . . . . . . . . . . . . . . . . 48

2.8.1. El espacio hiperblico tridimensional. . . . . . . . . . . . . . . . . . . . . . . 48

2.8.2. Isometras del Espacio hiperblico tridimensional . . . . . . . . . . . . . . . 50

3.1.1. Crculos emparejados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

3.1.2. Codicacin de elementos por medio de rboles. . . . . . . . . . . . . . . . . 56

3.1.3. Trazando la formacin de Schottky. . . . . . . . . . . . . . . . . . . . . . . . 56

3.1.4. Los grupos - Schottky. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

3.2. Grupos Quasifuchsianos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

3.2.1. Requisitos para emparejar discos tangentes. . . . . . . . . . . . . . . . . . . 62

3.2.2. Frmulas para emparejar grupos de Schottky, con crculos tangentes. . . . . 65

3.2.3. Grupos conjugados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

3.3. Frmulas para trazas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

3.4. Cuando la traza del conmutador es 2. . . . . . . . . . . . . . . . . . . . . . . . . . . 75

3.5. Una familia especial de crculos tangentes. . . . . . . . . . . . . . . . . . . . . . . . 77

3.7. El Gasket. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

3.7.1. Generando el Gasket. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105

3.8. Ms ejemplos de grupos Quasifuchsianos. . . . . . . . . . . . . . . . . . . . . . . . . 115

3.9. Denicin formal de grupos Kleinianos. . . . . . . . . . . . . . . . . . . . . . . . . . 118

3.9.1. Discontinuidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118

3.9.2. Grupos discretos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120

3.9.3. Conjuntos lmites de grupos Kleinianos. . . . . . . . . . . . . . . . . . . . . . 120

3.10. Dominios fundamentales y topologa de grupos Kleinianos. . . . . . . . . . . . . . . 121

3.10.1. Dominios fundamentales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121

3.10.2. Relacin entre grupos Kleinianos y Supercies de Riemann. . . . . . . . . . . 123

1.1. La esfera de Riemann

1.1.1. Inversiones y la esfera de Riemann

Mientras que las rectas de la forma y = c, c 6= 0 nos da la circunferencia

Denicin 1.1.2. Aritmtica del innito:

1.1.2. Proyeccin estereogrca, mtrica cordal.

Figura 1.2: Proyeccin estereogrca.

La cul es una biyeccin de S {e3 } al plano complejo C.

a) es inyectiva. Para demostrarlo, construimos la inversa. Obsrvese que si z = (x1 , x2 , x3 ),

Por consiguiente, es inyectiva, ya que z (x1 , x2 , x3 ).

Haciendo corresponder con el polo norte e3 se obtiene una biyeccin de S2 en

Proposicin 1.1.1. Bajo la proyeccin estereogrca, rectas en

Demostracin. a) Un crculo en S2 es la interseccin de un plano con la esfera, por lo que sus

ax1 + bx2 + cx3 = d.

2ax + 2by + c(x2 + y 2 1) = d(x2 + y 2 + 1),

que es la ecuacin de una recta o un crculo en el plano, dependiendo si d=c o si d 6= c (al

Es til obtener, en trminos de z y z0,

As usando 1.1, 1.2, 1.3

2zz 0 + 2zz 0 + |zz 0 |2 |z|2 |z 0 |2 + 1

2(z z 0 )(z z 0 ) + (1 + |z|2 )(1 + |z 0 |2 )

Como S2 es un subespacio mtrico de R3 , esta distancia dene en efecto una mtrica en .

1.1.2. Proyeccin estereogrca, mtrica cordal. . . . . . . . . . . . . . . . . . . . . 9

1.3. Clasicacin por conjugacin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.5. Clasicacin por la traza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

3.1.2. Codicacin de elementos por medio de rboles. . . . . . . . . . . . . . . . . 56

3.9. Denicin formal de grupos Kleinianos. . . . . . . . . . . . . . . . . . . . . . . . . . 118

3.10.2. Relacin entre grupos Kleinianos y Supercies de Riemann. . . . . . . . . . . 123

Denicin 1.1.2. Aritmtica del innito:

1.1.2. Proyeccin estereogrca, mtrica cordal.

Figura 1.2: Proyeccin estereogrca.

Proposicin 1.1.1. Bajo la proyeccin estereogrca, rectas en

Como S2 es un subespacio mtrico de R3 , esta distancia dene en efecto una mtrica en .

se obtiene |zn | > M , si n > N y |zn | .

Demostracin. La condicin de suciencia es inmediata. Para demostrar la necesidad obsrvese

Demostracin. Una transformacin en P SL(2, C) que ja es de la forma

Demostracin. Primero probamos que si T es de Mbius y T y ja 0, 1 e , entonces T es la

Corolario 1.2.1. Dados dos crculos A y B en

1.3. Clasicacin por conjugacin.

Por otro lado, si es un punto jo, la ecuacin

Denicin 1.3.1. Sea T de Mbius, tal que ja exactamente un punto en ,

Lema 1.3.1. Sean T y transformaciones de Mbius, entonces T ja a un punto w en

Denicin 1.3.2. T P SL(2, C) tal que T ja exactamente 2 puntos en C

la siguiente gura muestra el conjunto de rbitas para = /4 y tomemos z0 = 1

nalmente para el ngulo

1.5. Clasicacin por la traza

Denicin 1.5.1. Sea T una transformacin de Mbius distinta de la identidad.

a) Si T es parablica se dene su multiplicador como 1.