Professional Documents
Culture Documents
Contenido
1. Preliminares
1.0.1. Preliminares analticos . . . . . . . . . . . . . . . . . .
1.0.2. Preliminares geometricos . . . . . . . . . . . . . . . . .
1
1
6
15
3. Grupos de Hecke
37
4. Desigualdades de la traza
43
iii
Captulo 1
Preliminares
1.0.1.
Preliminares analticos
An .
nN
1.0. Preliminares
a este conjunto le llamamos la -algebra generada por A, es claro de la discusion anterior que S(A) es una -algebra y que A S(A).
Un ejemplo muy importante se obtiene al considerar (X, ) un espacio topologico, entonces podemos generar una -algebra atraves de la topologa
, la cual la denotaremos como S( ) = B . A esta -algebra se le conoce como la -algebra de Borel de , de este tipo de -algebras tiene particular importacia el caso cuando X = Rn (n cualquier natural) y =
los abiertos usuales de Rn , a esta -algebra la denotaremos por BRn .
Definici
on 3 Sean (X, ) y (Y, 0 ) espacios medibles, consideremos f : X Y ,
decimos que f es una funcion medible si para todo E 0 ocurre que
f 1 (E) .
Las funciones medibles las utilizaremos para definir integrales, pero primero necesitamos definir el concepto principal de la teoria de la medida.
Definici
on 4 Sea (X, ) un espacio medible. Una medida en (X, ) es una
funcion : R {} que cumple las siguientes propiedades
1. Preliminares
1. () = 0
2. (A) 0 A
3. es -aditiva, es decir que si {An }nN es una sucesion de subconjuntos
medibles disjuntos de X, entonces
(
An ) =
n=1
(An )
n=1
n
X
i Ei
i=1
1.0. Preliminares
Definici
on 6 Sea (X, , ) un espacio de medida y f : X R una funcion
-simple no negativa, entonces
f=
n
X
i Ei .
i=1
n
X
i (Ei ).
i=1
n
X
i=1
nZ
s d | s S(f )
1. Preliminares
La integral sobre una medida nos permite (entre muchas cosas) definir
nuevas medidas a partir de la medida original, las cuale estan definidas sobre
la misma -algebra. Para definir una nueva medida, simplemente se toma
una funcion medible no negativa f y define la nueva medida como
Z
Z
(E) :=
f d := f E d.
E
Para el siguiente resultado haremos uso de las funciones convexas y propiedades sobre ellas, los cuales puede consultar en [6, pp. 302-313].
Definici
on 8 Una funcion f : (a, b) R es convexa si para cualesquiera
t [0, 1] x, y (a, b) se cumple
f (tx + (1 t)y) tf (x) + (1 t)f (y)
(1.1)
Teorema 1.0.2 (Desigualdad de Jensen) Sea (X, , ) un espacio de medida tal que (X) = 1. Si : R R es convexa y f es integrable, entonces
Z
Z
f d f d.
1.0. Preliminares
1.0.2.
Preliminares geom
etricos
(x1 , x2 , x3 ) =
x1 +ix2
1x3
si (x1 , x2 , x3 ) 6= (0, 0, 1)
si (x1 , x2 , x3 ) = (0, 0, 1)
(1.2)
cuya inversa es
z+z
zz
|z| 1
,
,
,
(z) =
|z|2 + 1 i(|z|2 + 1) |z|2 + 1
b S2 ,
:C
() = (0, 0, 1).
(1.3)
b
Esta biyeccion permite medir distancias en C por medio de la metrica cordal,
la cual esta dada por
2|zw|
2
si w =
(1+|z|2 )1/2
b es una funcion T : C
bC
b
Definici
on 9 Una tranformacion de Mobius en C
de la forma
T (z) =
az + b
,
cz + d
{a, b, c, d} C,
ad dc = 1
donde se define
a
T () = ,
c
d
c
= ,
si
y
T () =
si
c = 0.
c 6= 0
1. Preliminares
az + b
= z,
cz + d
cz 2 + (d a)z b = 0.
(1.5)
Por lo que la transformacion T tiene por lo menos un punto fijo y a los mas
dos. Con esto si {, } son los puntos fijos distintos de una transformacion
T , entonces consideramos la tranformacion
(z) =
z
,
z
o (z) = z
az+b
cz+d
1.0. Preliminares
tr(T ) =
a+d
ad bc
az + b
,
cz + d
n
d
1o
If = z C | z
.
=
c
|c|
1. Preliminares
Definici
on 11 Una densidad es una funcion : Rn R+ continua,
donde es una region.
Definici
on 12 Sea una region y una densidad en dicha region, consideremos : [0, 1] una curva C 1 por tramos. Se define la -longitud de
como
Z 1
((t))|| 0 (t)|| dt.
` () =
0
2
.
1 |z|2
az + c
, |a|2 |c|2 = 1}.
cz + a
10
1.0. Preliminares
Dada la metrica hiperbolica en H2 o en , uno puede demostrar que dados dos puntos cualesquiera z, w, existe una u
nica curva que une a dichos
dos puntos cuya longitud es la distancia entre z y w, a esta u
nica curva la
denotamos por el segmento [z, w], tambien se puede demostrar que cualquier
segmento se puede prolongar en segmentos minimizantes con longitudes arbitrarias. Lo cual nos indica que la geometra hiperbolica cumple con los
primeros dos axiomas de Euclides.
A dichas curvas minimizantes de longitud, las conocemos por geodesicas
y se puede demostrar que estas corresponden a circunferencias ortogonales al
eje real o al crculo unitario (dependiendo de en que modelo se encuentre uno).
Tamben se puede demostrar que dada la metrica hiperbolica, esta induce la
misma topologa que la inducida por la metrica usual, esto se deduce del
hecho de que los crculos hiperbolicos son tambien crculos ecuclideanos.
Otro hecho de la geometra hiperbolica es que dados dos puntos z, w existe
una u
nica geodesica perpendicular al segmento [z, w] que pasa por el punto
medio de dicho segmento (los angulos entre curvas se miden de la forma
usual en Rn ). A esta u
nica geodesica perpendicular se le llama el bisector
perpendicular de z y w. Una prueba a todas las afirmaciones anteriores se
encuentran en [3, cap 2].
Definici
on 13 Definimos el area hiperbolica (o h-Area
para resumir) como
+
+
la medida Ah : BH2 R o Ah : B R dada por
Z
Z
4d
d
, Ah (E) =
,
Ah (E) =
2
2 2
E (1 |z| )
E (Im(z))
respectivamente, donde es la medida de Lebesgue en R2 .
Una forma en la que podemos cambiar de modelos de la geometra hiperbolica es por medio de la transformacion de Cayley, la cual esta dada por
: H2 ,
zi
.
z+i
La tranformacion de Cayley nos es bastante u
til ya que es una ismotera
entre los modelos, lo cual significa que transforma de forma adecuada todo
lo anteriormente mecionado.
Si denotamos por a la metrica hiperbolica (sin importar en que modelo), podemos derivar una ecuacion para calcular dicha metrica, la cual es
(z) =
11
1. Preliminares
(1.6)
Recordamos que SL(2, C) es un subconjunto de M2 (C), el cual se puede identificar de forma canonica con R8 , por lo tanto podemos otorgarle a
SL(2, C) la topologa relativa de subconjunto de R8 . Por lo que decimos que
un subrupo de SL(2, C) es discreto si es un espacio topologico discreto con
su topologa relativa. Decimos que un subgrupo de P SL(2, C) es discreto si
su grupo correspondiente en SL(2, C) lo es.
Definici
on 14 Decimos que un subgrupo P SL(2, C) es fuchsiano si es
conjugado a un subgrupo discreto de P SL(2, R).
Uno de los ejemplos primordiales de grupos fuchsianos es el de el grupo
modular, el cual se define como
az + b
,
P SL(2, Z) := T P SL(2, R) | T (z) =
cz + d
{a, b, c, d} Z, adbc = 1 .
Definici
on 15 Dado un subgrupo de P SL(2, C), decimos que un punto
b
b y una sucesion infinita
C es un punto lmite de si existe z C
{fn }nN tales que
fn (z) ,
definimos el conjunto lmite de el cual denotamos por L() como el conjunto de puntos lmite de .
Decimos que es elemental si |L()| 2, diremos que es no elemental
en cualquier otro caso.
Definici
on 16 Decimos que un conjunto H es h-convexo si para cualesquiera {z, w} H el segmento de geodesica [z, w] cumple que [z, w] H.
12
1.0. Preliminares
b y la cerradura en el
En esta tesis diferenciamos entre la cerradura en C
plano hiperbolico por medio de la siguiente notacion: A denota la cerradura
usual de A y A denota a la cerradura hiperbolica. Notese que si H es hconvexo, entonces A tambien lo es.
b
Definici
on 17 Sea subgrupo de P SL(2, C). Decimos que un conjunto D C
es una region fundamental de si se cumplen las siguientes propiedades
a) D es region
b) Cualesquiera dos puntos en D no estan -relacionados
b = S g(D)
c) C
g
d) (D) = 0, donde es la medida de Lebesgue y denota la frontera
b
en C
Este concelpto se exiende de manera natural a acciones en H2 o
Los ejemplos mas notorios de regiones fundamentales son los polgonos de
Ford y de Dirichlet, los cuales se usaran enla mayor parte de los resultados
de esta tesis. La construcion de estos polgonos se puede encontrar en [1].
Definici
on 18 Sean S1 = y S2 dos crculos, entonces definimos el producto inversivo entre S1 y S2 como
|r2 + s2 |a b|2 |
,
2rs
donde S1 = {z C | |a z| = r} y S2 = {z C | |a z| = s}. Si en vez de
dos crculos tenemos una recta, digamos S2 = {z C | b z = t}, entonces el
producto inversivo se define como
(S1 , S2 ) =
(S1 , S2 ) =
|a b t|
.
2r|b|
Existe una definicion mas general del producto inversivo, la cual puede consultar en [1, cap 3]. El producto inversivo nos permite encontrar
angulos entre crculos ya que si es el angulo entre S1 y S2 , entonces
(S1 , S2 ) = |cos|.
Para finalizar con los preliminares, discutimos uno de los teoremas mas
importantes para esta tesis y para la geometra hiperbolica en general, el
1. Preliminares
13
Captulo 2
az + b
cz + d
1
.
(cz + d)2
Por lo tanto consideramos z I(f ), por lo que f 0 (z) = 1, lo cual implica que
cz + d = 1 y como f P SL(2, R), entonces
Imf (z) =
Im(z)
= Im(z).
cz + d
16
rtices
2.0. Restricciones universales para ciclos de ve
y los lados del polgono de Ford se aparean, se sigue de la discusion anterior que Im(wj ) = Im(wi ) i, j {1, ..., n + 1}. En consecuencia tomamos
wj = uj + iv los cuales ordenamos tal que x0 = u1 < ... < un+1 = x0 + 1.
T1
x0
T2
T3
1 2
2 3
w1
w2
v
w3
1
v/tan1
Figura 2.1: Polgono de Dirichlet de G
rtices
2. Restricciones universales para ciclos de ve
n+1
X
n+1
X
2
2j
j .
q
q
j=1
j=1
17
(2.1)
Esto se sigue ya que al repetirse el angulo j dos veces en cada Tj obtenemos que la suma de los angulos de los triangulos Tj es dos veces la suma de
los angulos j , es un hecho que la suma de los angulos de un ciclo de orden
q es 2/q [1, p. 221].
Si proyectamos cada wj al eje real, obtenemos Re(wj ) = uj con lo cual
observamos que
(uj+1 uj )
,
2
ya que si nos fijamos en el triangulo euclideano cuyos vertices sean el conjunto
{wj+1 , uj+1 , uj + (uj+1 uj )/2}, al ser uj +(uj+1 uj )/2 el punto medio entre
uj y uj+1 , tenemos que uj + (uj+1 uj )/2 es el centro de la geodesica que
une a wj con wj+1 (vista como arco de circunferencia), lo cual nos indica que
el angulo de dicho triangulo euclideano en el vertice uj + (uj+1 uj )/2 es j ,
lo que implica que
vcotj =
tanj =
2v
1
vcotj = (uj+1 uj ).
(uj+1 uj )
2
vcotj =
n+1
X
1
j=1
(uj+1 uj )
1
= (un+1 u1 )
2
1
1
= (x0 + 1 x0 ) = .
2
2
Por u
ltimo si consideramos el conjunto = {1, ..., n + 1} y tomamos el
espacio de medida (, P(), ) donde (A) = |A|/n, es claro que () = 1.
Por lo tanto si definimos la siguiente funcion : R tal que (j) = j ,
claramente esta funcion tiene integral finita, entonces como cot : R R es
convexa, por la desigualded de Jensen 1.0.2 tenemos
18
rtices
2.0. Restricciones universales para ciclos de ve
cot
Z
Z
d
cot d.
n+1
X
j
j=1
n+1
X
cot
j=1
1
2nv
cot
qn
n
2nv
j=1
)
tan( qn
.
2n
Con lo cual hemos probado el siguiente resultado.
Teorema 2.0.4 Sea G un grupo fuchsiano actuando en H2 de tal modo que
G = hT (z) = z + 1i, consideremos R es el pogono de Ford de G y {wj }n+1
j=1
un ciclo de vertices de orden q en R, entonces
Im(wj )
)
tan( qn
2n
(2.2)
tan( 3 )
1
= .
6
2 3
(2.3)
o tambien
1
1
senh (wj , T wj )
3
=
2
tan( 3 )
(2.4)
rtices
2. Restricciones universales para ciclos de ve
19
= 3
=
2Im(wj )
3
1
La primera igualdad que se uso en la prueba del corolario anterior se
puede consultar en [1, p. 130].
Resulta que la cota dada en el corolario 2.0.6 es la mejor posible, esto
es pues si consideramos el polgono D formado por las intersecciones entre
la region delimitada por {z H2 | 0 Re(z) 1} y los exteriores de los
crculos S1 = S(1/6, 1/3), S2 = S(3/6, 1/3) y S3 = S(5/6, 1/3), y tomamos
las transformaciones f1 , f2 y f3 , las cuales son rotaciones por con centros
en 1/6 + i/3, 3/6 + i/3 y 5/6 + i/3, respectivamente. Notamos
que las inter
secciones de dichos crculos tienen parte imaginaria 1/2 3. Ahora tomando
el producto inversivo entre {Re(z) = 0} y S1 , obtenemos
|a b t|
1
= = cos
,
r
2
3
donde r = 1/3, t = 0, a = (1/6, 0) y b = (1, 0). Asmismo el producto
inversivo de S1 con {Re(z) = 1/3}, S2 con {Re(z) = 1/3}, S2 con {Re(z) =
2/3}, S3 con {Re(z) = 2/3} y S3 con {Re(z) = 1} nos otorga el mismo
resultado (vease la Figura 2.2). Por lo tanto la suma angular de los vertices
en las intersecciones anteriores es igual a 2. Notamos que este es un ciclo
accidental apareado por las fi , ademas los punto fijos elpticos tienen orden
2 y angulos . Por lo tanto por el Teorema de Poincare D (c.f [?, cap 9]) es
una region fundamental de G = hf1 , f2 , f3 i.
Por u
ltimo, notamos f1 f2 f3
= T , donde
T (z) = z + 1, esto es ya
que claramente f1 f2 f3 manda i/2 2 a i/2 2 + 1. Ademas f1 f2 f3 es
parabolica que fija a , pues fk = k k , donde k es la reflexion en Sk y k
es la reflexion en {Re(z) = (2k 1)/6}, k {1, 2, 3}, de esto u
ltimo es facil
ver que f1 f2 f3 fija . Esto quiere decir que f1 f2 f3 (z) = z + y
20
rtices
2.0. Restricciones universales para ciclos de ve
f1
f2
S1
S2
f3
S3
i
2
1
6
1
3
2
3
2
6
5
6
tan( 3 )
1
= .
6
2 3
Corolario 2.0.6 De igual forma siguendo las hipotesis del teorema anterior,
si el ciclo es elptico, entonces
Im(wj )
tan( q )
2
(2.5)
o de forma equivalente
1
1
senh( (wj , T wj ))
.
2
tan( q )
(2.6)
La prueba de la segunda desigualdad es identica a la del corolario anterior. Usaremos el siguiente resultado, cuya prueba puede consultar en [1,
pp. 198,199].
rtices
2. Restricciones universales para ciclos de ve
21
Teorema 2.0.7 Sea G un grupo de isometras del plano hiperbolico sin elementos elpticos, entonces G es discreto o elemental. Mas aun si {f, g} G
y hf, gi es no elemental, entonces z
senh
1
(z, f z) senh (z, gz) 1.
2
2
1
(2.7)
(2.8)
1
(2.9)
22
rtices
2.0. Restricciones universales para ciclos de ve
Encontrar cotas universales de este estilo para grupos fuchsianos con elementos elpticos resulta ser una tarea mucho mas complicada, la cual requiere
de mas restricciones como nos muestra el siguiente ejemplo. El cual surge al
considerar cotas universales para un grupo fuchsiano G y {vi }ni=1 un ciclo accidental en la frontera del polgono de Dirichlet con centro en w, el ejemplo
nos dice que si n = 3, entonces los vertices se encuentran tan cerca como
queramos del centro w.
Construimos un polgono P con cuatro pares de lados los cuales se aparean
atraves de las transformaciones f, g, h y hg, donde g y h son elpticas de orden
dos, f es parabolica y hg es hiperbolica (vease la Figura 2.3)).
Dicho polgono lo podemos construir de la siguiente forma; usando el
modelo del disco construimos un triangulo hiperbolico de tal forma que dos
de sus vertices se encuentren en el eje imaginario y el angulo en uno de
dichos vertices sea /3, el vertice que cumple esto le llamamos v1 . Al vertice
que no se encuentre en el eje imaginario le llamamos p1 y el triangulo lo
contruimos de tal forma que el angulo en dicho vertice sea /2. Esto significa
que el angulo restante, el cual llamaremos , tiene que ser menor a /6. Este
triangulo claramente es construible (cf. [1, p. 155]) y ademas por medio de
traslaciones hiperbolicas podemos suponer que p1 se encuentra en el eje real
(vease la Figura 2.4).
Ahora podemos continuar el segmento de geodesica que une v1 con p1 de
tal forma que p1 sea el punto medio del segmento y denotaremos por v2 al
rtices
2. Restricciones universales para ciclos de ve
v1
h
p2
v3
2
3
23
p1
v2
gh
L1
L2
2
24
rtices
2.0. Restricciones universales para ciclos de ve
v1
v1
p1
p1
25
rtices
2. Restricciones universales para ciclos de ve
v1
v1
v2
2
3
v2
L1
(2.10)
(cf. [1, p. 229]) Como nuestra construccion del polgono siempre es posible
mientras < /6, podemos preguntarnos que sucede si /6. Como
sen(/3) = cos(/6), entonces al hacer tender a /6, notamos que cosht
tiende a 1 por la igualdad ((2.10)). Por lo cual necesareamente sucede que
t 0. Lo cual significa que (v1 , v2 ) la podemos hacer tan peque
na como
queramos, y claramente por simetra lo mismo aplica a (v1 , v3 ).
Ahora si nombramos por w al vertice restante de nuestro triangulo original, entonces observamos que cada vi esta a la misma distancia de w, ya que
w esta en el eje imaginario y tambien v2 y v3 son reflejados, la otra igualdad
se obtiene utilizando pitagoras hiperbolico (cf [1, Teo. 7.11.1]). Por lo tanto si probamos que (w, v1 ) la podemos hacer tan peque
na como queramos,
entonces eso es cierto con v2 y v3 .
Si nos fijamos en nuestro triangulo original, por trigonometra hiperbolica
tenemos que
26
rtices
2.0. Restricciones universales para ciclos de ve
0 = 0
1
gh(w) = 1 (w)
gh
L1
L2
f
1
2
rtices
2. Restricciones universales para ciclos de ve
27
reflexion (al ser una composicion impar de reflexiones) que fija a 2 . Por lo
tanto
f = 0 2 = 0 0 1 0 = 1 0 .
Esto implica que f (w) = 1 0 (w) = 1 (w), lo cual implica que 1 es
ortogonal a [w, f (w)]. De forma totalmente analoga se prueba que 2 es
ortogonal a [w, f 1 (w)].
De manera similar los pares L1 y L2 son los bisectores de [w, gh(w)] y
[w, h1 g 1 (w)] respectivamente ya que gh es la composicion de la reflexion
sobre L2 con la reflexion sobre el eje imaginario. Por lo que si llamamos 2 , 1
y 0 a las reflexiones en L2 , L1 y el eje imaginario respectivamente, entonces
siguiendo un argumento similar al anterior tenemos que 2 = 0 1 0 . Por lo
tanto
gh = 0 2 = 1 0
y por lo mismo que en la prueba anterior, esto implica que gh(w) = 1 (w).
De forma totalmente analoga se prueba que L2 es bisector perpendicular de
[w, h1 g 1 (w)].
Por u
ltimo notamos que el lado [v1 , v2 ] se encuentra contenido en el bisector de [w, g(w)], esto es pues g es la rotacion por en el punto medio
de [v1 , v2 ] y como el segmento que une a dicho punto medio con w es ortogonal a [v1 , v2 ] por contrucion, entonces se sigue lo anteriormente dicho.
Analogamente el lado [v1 , v3 ] cae en el bisector de [w, h(w)]. Por lo tanto al
ser G = hf, g, hi, tenemos que P es el polgono de Dirichlet D(w) de G.
Afortunadamente para los casos donde n > 3 s existen cotas inferiores
para las distancias del centro de un polgono de Dirichlet a ciclos de vertices
accidentales que se encuentran en la frontera de dicho polgono.
Teorema 2.0.9 Sea G un grupo fuchsiano no elemental y sea {vj }nj=1 un
ciclo accidental en la frontera del polgono de Dirichlet con centro en w,
entonces si n 5, tenemos la siguinte cota
cosh(w, vj )
1
tan2 ( n )
j {1, ..., n}
(2.11)
28
rtices
2.0. Restricciones universales para ciclos de ve
Recordamos que un ciclo de vertices en la frontera del polgono de Dirichlet con centro en w equidista de w, por ende {vj }nj=1 C, donde
C = {z | (z, 0) = r}.
Ahora si nos fijamos en los arcos de geodesica [vj , vj+1 ] (suponemos que
{vj }nj=1 se encuentran ordenados de forma cclica), estos arcos de geodesica
son opuestos a los angulos 2j en el origen (vease la Figura 4.4), por lo tanto
si sumamos estos angulos obtenemos
n
X
2j = 2
j=1
n
X
j = .
(2.12)
j=1
2j 2
j=1
n
X
j .
(2.13)
j=1
1
tanj tanj
(2.14)
Esta u
ltima igualdad se sigue de la trigonometra hiperbolica(cf [1, p. 147]).
Siguiendo lo anterior tenemos los siguientes casos:
1. Si cada j < /2, entonces por (2.12) y (2.13) tenemos que
n
X
j=1
j + j 2.
29
rtices
2. Restricciones universales para ciclos de ve
j + j =
j=1
j6=i
n
X
j + j i 2
j=1
vj
=
.
2
2
vj+1
r
j j
k + k
) tan2 ( ).
2
n
Por u
ltimo recordando la ecuacion (2.14) y el hecho de que r = (0, vj )
para toda j {1, ..., n} obtenemos
tank tank tan(
cosh(0, vj ) =
1
1
tank tank
tan2 ( n )
30
rtices
2.0. Restricciones universales para ciclos de ve
El siguiente ejemplo nos dice que la cota del resultado anterior no se
puede mejorar.
Sea k N k 2, entonces vamos a construir un grupo fuchsiano G
actuando en cuyo dominio fundamental sea el 4k-agono regular hiperbolico.
Ademas queremos que todos sus vertices se encuentren en un ciclo accidental
de 4k elementos.
h2
h1
L1
L3
L2
2j = 4k = 2
j=1
Esto se debe a como estan distribuidos los vertices del poligono (los cuales
rtices
2. Restricciones universales para ciclos de ve
31
=
j {1, ..., 4k}
2
4k
Por u
ltimo siguiendo el mismo procemiento del teorema anterior (es decir
bisectando los angulos 2j ) obtenemos que
j =
cosh(0, vj ) =
1
tan2
4k
1
sen n
1
1
1
1
=
.
2
sen
sen 2
sen 2n
sen n
32
rtices
2.0. Restricciones universales para ciclos de ve
az + b
,
cz + d
ab bc = 1,
c0
mod 2}.
En este ejemplo L es la geodesica que pasa por 0 y 1 (es decir euclideanamente es el arco de circunferencia de radio 1/2 con centro en 1/2), y
v = (1 + i)/2 es el punto fijo de
z1
0 (2),
2z 1
la cual claramente es elptica de orden 2. Notamos que v L ya que su distancia euclideana con 1/2 es 1/2. Como claramente L se encuentra contenida
en el polgono fundamental que contiene a v (el cual es facil de encontrar), y
T 0 (2), entonces (v, L) = 0.
Un caso similar al teorema anterior es el siguiente teorema, el cual aplica
cuando tenemos un ciclo accidental en vez de un punto fijo elptico.
T (z) =
n2
n
cosh(vi , L)
sen n
(2.15)
(2.16)
i
2
<
i {1, ..., n}
rtices
2. Restricciones universales para ciclos de ve
ii)
n
P
i=1
i
2n
33
= n .
i
i
csc
.
2
2
Para las desigualdades anteriores usamos el hecho de que cscx es decreiente en (0, /2). Como esto se cumple para toda i {1, ..., n}, entonces usando
(2.16) obtenemos
cosh(L, vi ) = csc csc
n
X
i=1
n
X
i
n
n2
cosh(vi , L) n
csc
.
2
sen n
i=1
cosh(vi , L)
i=1
n
qn2
sen qn
cosh(w, vj )
tan2
(q+1)
2qn
j {1, ..., n}
(2.17)
34
rtices
2.0. Restricciones universales para ciclos de ve
j = ,
j=1
y tambien
n
X
j=1
.
q
(2.18)
(2.19)
.
(j + j ) + =
q
q
j=1
n
X
(q + 1)
(q + 2)
(j + j ) =
(j + j ) i
=
.
q
2
2q
j=1
j=1
j6=i
(q + 1)
.
qn
35
rtices
2. Restricciones universales para ciclos de ve
Por u
ltimo recordando que r = (vj , w) obtenemos que
cosh(0, vj ) =
1
1
tank tank
tan2 (q+1)
2qn
Captulo 3
Grupos de Hecke
Dentro de la teora de los grupos discretos son de peculiar importancia los
grupos triangulares, en particular los grupos de Hecke por su conexion con la
teora de n
umeros. Para propositos de esta tesis los grupos de Hecke seran importantes en las discuciones siguientes y por lo tanto se le dedica un peque
no
captulo a ellos.
Definici
on 19 Se dice que un grupo fuchsiano es un Grupo de Hecke si tiene
una signatura (0 : 2, q, ) donde q es tal que 3 q
Sea 3 q , si consideramos las siguientes transformaciones
g(z) =
1
z
h(z) = z + 2cos
q
38
1
1
=
2
4cos ( q ) 4
1 cos2 ( q )
4cos2 ( q )
s
=
sen2 ( q )
1
.
= tan
4cos2 ( q )
2
q
h
g
w
2c 1
os
(
q )
i
2cos( q )
21
Im(w)
1
2
39
3. Grupos de Hecke
2 2g 2 +
n
X
j=1
i
1
+ t < .
mj
(3.1)
1
n X
n
1
=n
,
2
2
mj
j=1
esto quiere decir que al sustituirlo en la desigualdad (2.18) obtenemos
n
h
i
X
1
1
2 2g 2 +
+ t < 1 4g + n + 2t < 5.
mj
j=1
(3.2)
(3.3)
40
+
> ,
m1 m2
m1 m2
2
se tiene max{1/m1 , 1/m2 } > 1/4, lo que significa que mn{m1 , m2 } 3.
Como mi 2 para cualquier i, tenemos dos posibilidades:
2 max
1. Si alg
un mi , digamos m1 cumple que m1 = 2, entonces tomamos m2 = q
y as se cumple que 3 q , ya que si m1 = m2 = 2 no se cumple
el teorema de la signatura. Por lo tanto G es de Hecke
2. Si mi > 2 para cualquier i, entonces digamos que m1 = 3, como 1/m1 +
1/m2 > 1/2, esto implica que m2 < 6. Por lo tanto tomando q = m2 ,
tenemos que q {3, 4, 5} que era lo que queramos probar.
En las discuciones posteriores sera util saber c
ual es el area de un grupo
de Hecke con signatura (0; 2, q, ), un calculo serncillo nos muestra que esta
es
2
.
(3.4)
1
q
Para el siguiente teorema usaremos el siguiente resultado, el cual puede
consultar en [1, Teo. 9.6.1]
Teorema 3.0.14 Sea G un grupo fuschiano y H G, entonces si k = [G : H],
se tiene que
kAh H2 /G = Ah H2 /H .
Teorema 3.0.15 Sea G0 un grupo de Hecke y G un grupo fuchsiano que
contiene a G0 , entonces G0 = G
n. Suponemos que G act
Demostracio
ua en H2 , entonces por el teorema
kAh H2 /G = Ah H2 /G0 ,
(3.5)
41
3. Grupos de Hecke
Captulo 4
Desigualdades de la traza
Durante esta seccion sera de mucha importancia la desigualdad del Jrgensen,
la cual enunciaremos a continuacion, la prueba a se puede consultar en [1,
Teo 5.4.1].
Teorema 4.0.16 (Desigualdad de Jrgensen) Sea G = hf, gi, de tal forma que G sea discreto y no elemental, entonces
|tr2 (f ) 4| + |tr([f, g]) 2| 1
y esta es la mejor cota posible
Teorema 4.0.17 Sea G = hg, hi fuchsiano no elemental, con g, h parabolicas, entonces se cumple alguna de las siguientes propiedades
i) tr[g, h] 18
ii) tr[g, h] = 2 + 16cos4
2r
y G tiene signatura (0 : 2, r, )
y G tiene signatura (0 : r, , )
z
cz + 1
44
1 1
0 1
1 + c + c2
c
1 0
1 1
1 0
=
.
c 1
0 1
c 1
c2
c + 1
2
r
iii) c = 2 + 2cos
Si suponemos que 1 c < 4, entonces consideramos el cuadrilatero formado por los crculos isometricos de g y g 1 y las lneas {Re(z) = 1/2} y
{Re(z) = 1/2} (vease la figura 4.1).
Como I(g) y I(g 1 ) tienen radio 1/c y centros en 1/c y 1/c respectivamente, si c < 4, entonces 1/c > 1/4, lo que quiere decir que
1
6= ,
I(g) Re(z) =
2
de forma analoga I(g 1 ) y {Re(z) = 1/2} se intersecan. Por lo tanto sea
1
w I(g 1 ) Re(z) =
2
y sean 1 , 0 , 1 , 1 y 2 las reflexiones en {Re(z) = 1/2}, {Re(z) = 0},
2
2
{Re(z) = 1/2}, I(g) y I(g 1 ).
45
4. Desigualdades de la traza
I(g )
I(g)
21
1
2
h = 1 0 ,
2
ya que en ambos casos las dos son parabolicas, y se cumple que 0 1 fija
0 y 1 0 fija . Ademas que 0 1 manda I(g) a I(g 1 ) y 1 0 manda
2
2
{Re(z) = 1/2} a {Re(z) = 1/2}. As tenemos que
gh1 = 0 1 ( 1 0 )1 = (0 1 0 ) 1 .
2
Notese que 0 1 0 = 2 , ya que ambas son reflexiones que fijan a I(g 1 ). Por
lo tanto gh1 = 2 1 . Esto nos indica que gh1 es la rotacion por 2 en w,
2
donde es el angulo entre I(g 1 ) y {Re(z) = 1/2}. Como G es fuchsiano, se
tiene que gh1 es de orden finito (pues es elptica), por lo cual
=
k
r
k, r Z, (k, r) = 1.
46
0}. Esta
geodesica hace un angulo con la recta {Re(z) = 0}. Ahora si
tomamos la geodesica f (L), notamos que esta corta a {Re(z) = 1} en un
angulo por simetra, entonces obtenemos un cuadrilatero formado por L,
f (L), {Re(z) = 1} y {Re(z) = 0}. Observamos que como k 2 y = k/r
cos
k
= ,
r
k
2
esto implica que
.
2
Esto se verifica pues tanto I(g 1 ) como {Re(z) = 1/2} son tangentes a
{Re(z) = 0}, ademas el hecho de que /r < /2 dice que el punto donde se
hace el angulo se encuentra por encima del punto en el cual corta la bisectriz
del angulo , la cual corta en un angulo recto a {Re(z) = 0}, esto se verifica
notando que la reflexion en esta geodesica, deja invariante a {Re(z) = 0}.
Por lo tanto /2.
Por u
ltimo notamos que las imagenes de nuestro cuadrilatero bajo G
cubren a todo H2 , esto es sencillo de ver, ya que la accion de f tesela alrededor
de w. Ahora para cualquier otro punto z H2 , tomamos una curva que una
47
4. Desigualdades de la traza
r r
w
I(g)
0
1
2
1
1
2
2
2
2 1
2 2
,
r1 s
r
r
r1
48
az + b
,
cz + d
[g, h] =
.
1 + c2 + ac
Por lo tanto tr[g, h] = 2 + c2 2. Como h es parabolica y la desigualdad de
Jrgensen implica que tr[g, h] 3, lo que demuestra i).
Ahora si tr[g, h] < 6, quiere decir que c < 2, por lo tanto como el radio de I(g) es 1/c, este es mayor a 1/2 y como centro es d/c, entonces
I(g) {Re(z) = d/c 1/2} =
6 . Por lo tanto tenemos una region fundamental de Ford incluida en el triangulo
d 1
d 1 o
T = Ext(I(g)) z H2 |
< Re(z) <
+
,
c
2
c
2
(vease la Figura). Notamos que el area de T es menor a 2 < , donde
es el angulo entre I(g) y {Re(z) = d/c 1/2}, entonces por el teorema
3.0.13, G tiene signatura (0 : 2, q, ), 3 q < o (0 : 3, q, ), q {3, 4, 5}.
49
4. Desigualdades de la traza
I(g)
z1
z2
dc
1
2
dc
dc +
1
2
N Z,
n
d(LN
2 , L) d(L2 , L) n Z.
50
L2
L1
0
I(g)
51
4. Desigualdades de la traza
f (z) =
az + c
cz + a
|a|2 |c|2 = 1.
Por lo tanto G tiene un dominio fundamental incluido en la region delimitada por el exterior del crculo isometrico de f 1 y el angulo por 2/n
simetrico con respecto a I(f 1 ). De forma mas precisa, denotaremos por
52
2 2k 2 +
s
X
j=1
2
2
1 i
= Ah (R) Ah (D) <
.
mj
n
ms
s1
X
j=1
1
1
+ 1 0.
mj
Bibliografa
[1] Beardon, A. F., The Geometry of Discrete Groups, Graduate Texts
in Mathematics 91, Springer-Verlag, 1995.
[2] Hoffman, M. and Marsden, J. E., Basic Complex Analysis, W. H.
Freeman and Company, 1996.
[3] Lascurain Orive, A.,Una introdiccion a la geometra hiperbolica
bidimencional-2a Edicion-, Las prensas de ciencias UNAM, 2015.
[4] Rotman, J, An Introduction to the Theory of Groups, Springer, 1995.
[5] Rudin, W, Real and Complex Analysis, McGraw-Hill, 1987.
[6] Spivak, M Calculo Infinitesimal, Editorial Reverte, 1992.
53