You are on page 1of 19

Hiperbolicidad en el Sentido de Gromov

Jose Manguce 1
1 Universidad

Autonoma
Benito Juarez
de

Oaxaca, Licenciatura en Matematicas

05 agosto de 2016
Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

1 / 19

Temas a exponer :

Grupos Hiperbolicos.

El Problema de la Palabra.

La Frontera.

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

2 / 19


Grupos Hiperbolicos

Definicion.

Sean M un espacio metrico,


I R, ,  R con 1,  0, se define
1

Una geodesica
es un mapeo : I M tal que, a, b I
d((a), (b)) =| a b |

Una geodesica
k-local es un mapeo
: I M tal que, si | a b | k y a, b I, entonces
d((a), (b)) =| a b |

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

3 / 19

Triangulos
Hiperbolicos

Definicion

Sean X un espacio geodesico


y x, y , z X . Un triangulo
- hiperbolico

es un triangulo
formado por segmentos geodesico
tales que :

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

4 / 19

Un espacio metrico
H sera hiperbolico,
si es finitamente generado y si

su grafica de Cayley es -hiperbolico.


Ejemplos :
1

R2 no es hiperbolico.

El grupo libre en dos generadores F2 = ha, bi es -hiperbolico


para cualquier  > 0

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

5 / 19

Primeros resultados

Lema 1. Sean M un espacio -hiperbolico


y : [a, b] M una

geodesica
k-local. Si k 8, entonces la imagen de , Im() esta
contenida en una vecindad de radio no mayor a 2 sobre el segmento

geodesico
[(a), (b)].

Lema 2. Si M es un espacio -hiperbolico,


entonces cada geodesica

k -local en M para k > 8 es una (, )-cuasigeodesica,


donde la
constante > 0 depende solo de , y  < 8

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

6 / 19

El Problema de la Palabra

Definicion.
Sea G un grupo finitamente generado por A.
1

A los elementos de G les llamaremos palabras.

2
3

Al conjunto A le llamaremos alfabeto.


La longitud de una palabra finita sera el numero
de letras que la

compongan.

Diremos que w ' w si en F (A) representan al mismo elemento.

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

7 / 19

Suponga que en un grupo finitamente generado G = hA, Ri podemos


encontrar una lista finita de pares
(u1 , v1 ), ..., (un , vn )
l(vi ) l(ui ). As w es reducible si tiene
tales que ui ' vi y ademas
como subpalabra alguna ui .
El Algoritmo de Dehn
while w G palabra no trivial
if algun
ui es subpalabra de w then
reemplazar la correspondiente ui por vi
else
return w no representa la identidad
end
end
return w ' e
Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

8 / 19

Primer resultado Fuerte

de Dehn.
Teorema. Los grupos hiperbolicos
admiten una presentacion

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

9 / 19


Hasta este punto tenemos que si H es hiperbolico,
entonces admite
de Dehn.
una presentacion
Sera cierto el recproco ?

Es decir si H admite un algoritmo de Dehn entonces es hiperbolico


?

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

10 / 19

La respuesta es no en general. Considere el siguiente contraejemplo.


Sea Z2 y (a, b) Z2 .
Una forma practica de resolver el problema de la palabra en Z2 es
fijandonos en sus entradas, es decir :
1

si a es cero, continuamos, si no (a, b) 6= (0, 0),

si b es cero, entonces (a, b) = (0, 0), si no entonces


(a, b) 6= (0, 0).

El ejemplo anterior, muestra que siendo Z no hiperbolico,


tiene
problema de la palabra soluble.

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

11 / 19

La Frontera

Definicion.

Sea X espacio metrico.


El producto interno de Gromov con respecto a
un punto base w es
(x.y) = 12 {d(x, w) + d(y , w) d(x, y)} .

nos dice que tanto permanecen juntos los caminos que


Esta definicion
van a x y a y.
Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

12 / 19

Ejemplo
Sea X la grafica de Cayley de
D
E
Z Z2 = x, y | y 2 = e, xy = yx

(yx 3 .yx 2 ) = 1 con respecto al punto w = e

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

13 / 19

{xi } converge a infinito si limi,j (xi .xj ) =


Decimos que una sucesion
Sea S (X ) el conjunto de todas las sucesiones que convergen a
(que en general no
infinito. Entonces S (X ) tiene la siguiente ralacion
es de equivalencia).
si lim (ai .bi ) =
{ai } {bi } si y solo
i

Ejemplo
Sea X la grafica de Cayley del grupo
Z Z = hx, y | xy = yxi

con la metrica
definida al final del captulo 1. Consideremos a (0, 0)
como punto base. Defina an = x n , bn = y n y cn = x n y n . Entonces las
sucesiones an = x n , bn = y n y cn = x n y n convergen a infinito y
(an .cn ) = (bn .cn ) = n y (an .bn ) = 0.
ademas
Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

14 / 19

anterior si es de
Un resultado importante es que la relacion

equivalencia cuando X es hiperbolico.

Definicion.
La frontera de X sera X = S / .

Es decir la frontera de un espacio hiperbolico


son los diferentes
infinitos en S . Observe que este contexto solo tiene sentido hablar

de frontera cuando el espacio X es hiperbolico.

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

15 / 19

Ejemplos
1

Considere X = R con la metrica usual y 0 como punto base. Si


{ai } S , entoces ai > 0 salvo un conjunto finito de is o ai < 0
salvo un conjunto finito de is. Esto define dos distintas clases de
equivalencia de sucesiones las cuales llamaremos + y
respectivamente.

Sea X la grafica de Cayley de


D
E
Z Z2 = x, y | y 2 = 1, xy = yx

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

16 / 19

Podemos extender el producto interno de Gromov a la frontera. Sea


b = X X .
X

Producto extendido de Gromov


b,
Para x, y X
(x.y )s = inf { lim inf (xi .yi )},
i

donde el nfimo es alcanzado por todos los pares de sucesiones


xi x y yi y.

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

17 / 19

b que consta de
de subconjuntos de R
Sea B la coleccion
1

Para cada x X y r > 0 la bola de radio r alrededor de x


Br (x) = {y X : d(x, y) < r }. Es decir la base usual para

espacios metricos.

Para cada x X y k > 0 los conjuntos de la forma


b : (x.y) > k}
Nx,k = {y X

Observacion. Con esta topologa (x.y) no es necesariamente


continua.
b
Teorema. El conjunto B es una base para una topologa en X

Teorema Si X , Y son cuiasi-isometricos.


Entonces X y Y son
homeomorfos.

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

18 / 19

GRACIAS

Maguce (UABJO)

Grupos hiperbolicos

05 agosto de 2016

19 / 19

You might also like