You are on page 1of 24

83

Bolet!n de Matematicas
Vol. XIX, Nil.2 (1985)

BALANCES

GEOMETRIA Y TOPOLOGIA DE VARIEDADES


DE DIMENSION 2 Y 3
MaJUa Ve.d() *

Comentarios a propos ito de un curso sobre el tema


dictado por la autora en el Departamento de Matematicas
de la Universidad Nacional de Septiembre a Diciembre de
1984.

Traduccion

La
dar

intencion

Thurston)

la comprension

italiano:

principal

un panorama

en los ultimos

w.

del

introductorio
anos

han
de

del

curso
de las

(principalmente

producido

era

ideas
por

un verdadero

las variedades

la de

obra

de

giro

en

de dimension

tres.

Profesora
Profesora

de la Universidad de Pisa
Visitante de la Universidad

que

Nacional.

Balances

84

Una
Carse
do,

gran

a este

dificultad
material

la variedad

puesto

que

nicas

tiempo

elemento

Esta
del

tratamiento

v~riedades

dis con tin u 0 s, e t c ,, sin


esta

aquella

trar

algunos

teorla,

encarninados

al

L 0 que

fin

con

trulr

conductor

estando

guieron
nes

de

los

se remite

clave

el
de

topologla
poco

de

de grupos

limitandose

a ilus-

directamente

a e sp ec ie de"

del

se dan

decir
de

in trod u ccion

de ayudar
material

aqul

estudiados,

a la bibliografla

en la base

un poco

principalmente

no

objetos

Se puede

un

en

pre ten d er pro fun d iz a r en

el objeto

dirigida

el curso,

tres,

de

a ni

propuesto.

a posteriori"

do;

1a

ha causado,

y ejemplos

sigu e e sun

el hila

de

es al mismo

se hablo

sino

conceptos

y tec-

y de encanto).

un poco

de dimension

ideas

desorganizacion

temas;

hiperbolica,

sobreto-

diversas

intrlnseca

cierta

de los

geometrla

muy

de interes

una

y,

deacer

"pre-requisitos",

naturalmente,

dificultad

curso

trata

convergen

de ramas

(10 que,

un

llamados

teorla

provenientes

quien

es la amplitud

los

en esta

matematica

vel

de

para

a reconsdesarrolla-

a quienes
las

para

definicio-

si

las

cuales

indicada.

informalmente

que

la conjetura

y de

1a idea
los

resul

85

Batanaes

tados
cha

de Thurston

interconexion,

problemas
racter

ac1arar

una

superficies;

(unico

tables,

conexas,

La parte

pologica)

ta,
3)
gun

Tal

cie

curvatura

con

dotar

orien

superficie

(to-

homeomorfismos)

riemanniana

es positiva,

negativa

compl~

negativa

constante
el area

nu1a, s~

de Euler-Poincare

de Gauss-Bonnet

uno

de Eu1er-

constante.

curvatura

te metrico

de

borde).

(salvo

positiva,

entre

comp1eta

superficies

Sln

de variedad

en

superficies:

principal

de cualquier

ca de Euler-Poincare

Una

para

1a caracteristica

exp1icito

las

topol6gica

compactas,

se puede

E1 teorema

sobre

invariante

curvatura

que

da para

de ca-

pensar

es 1a caracterlstica

estructura

con

basta

e1 invariante

interna

respectivamente,
4)

c1asicos

c1asificacion

de una

entre

problemas

concepto

c1asificacion

Poincare

2)

este

resultados

Existe

esta

metrico

bajas,

estre-

topo1ogico.

algunos

de las

de una

en dimensiones

de caracter

Para

1)

es 1a existencia

para

una

estab1ece

total

(esto

es,

sea,

nula.
superfiun vinculo

1a caracteristi-

entre

un invarian

topologico).

primera

parte

del

curso

i1ustrar

estos

resultados,

ha

sido

uti1iza

aprovechando,

Balanaes

86

al mismo

tiempo,

mas

manejable

tos

que

introducir

las

superficies,

de

podrian

variedades.

para

servir

el sentido

por

usado

una

que

tructura

geometrica

en

de metrica

l~s

2) y

cie

libremente
sobre
ria

S;

hiperbolica

este

casos

es-

clasi

hiperbolic~

con

particular

r~

y se demostraron

entre
sobre

el cociente

dar
una

propiamente

superfi-

grupo

que

actua

discontinua

se senalo

poligon~

es-

de un

W1(S

proposito,

una

de su revestimi~n

a Is accion

fundamental

sobre

tres

de

arr{ba.

completa

y de manera

la teo-

fundamentales

p~

grupos.

Sea X una variedad

morfisrnos analltieos
eaeiones

casos

equivalencia

al grupo

con

esta

riemanniana

euclidiana,

tres

respecto

de Poincare

ra estos

( 1)

la

S y ver S como

(isomorfb

en

camo

el concepto

los

3) enunciados

geometrica

to universal

dos

produce

estos

- se demostro
tructura

dimension

la metrica

puntos

se via

de variedad

eliptica,

se analizaron
en

3-

constante.

- se via

lieve

de las

geometrica,,(1)

Thurston

estructura

curvatura

cos

conc~p

En particular:
"estructura

con

algunos

en el estudio

- se d e f Ln Lfi una

implica

en el contexto

definidas

ciones de elementos

analitiea

y G un grupo de difeo-

de X. Sea S el eonjunto
sobre abiertos

de las apli

de X que son restric-

de G sobre las eornponentes eonexas

Balances

87

Por mucho
resultado

tiempo

analogo

te estudio

tem~tica
mente

por

de dimension
S1 misma,

clasificacion,
final)

"clasicos":
(luna

variedad

rna homotop1a
fera?)

que

aun

abiertos

citar

esfera

en efecto

de ser

tres

que

de

la

el proproblemas

de Poincare
tiene

es homeomorfa

ha sido,

ma-

complet~

sentido

la conjetura

de

teorla

numerosos

de dimension
de una

como

del problema

es en cierto

siguen
basta

lejos

es-

la topologta

tres

Ademas

(que

un

de obtener

las 3-variedades;

desarrollar

sistematizada.

blema

tratado

a 1) para

ha hecho

las variedades

se ha

la mis

a la es

historicamente,

del abierto.
Se dice que un espacio t.opo.Log i co M es

1.

DEFINICION

una (G,X)-variedad

ni

si existe un atlas

es un homeomorfismo

entre u. y un abierto

si u - n u - 1- Ii' , entonces
,(.

2.

DEFINICION

(G,X)-estructura
guientes

(ui,ni) ne M, donde

n,(.n'j-t
-0

Una UtJw.c;tuJta

Vi de X y,

S.

ge.om~Wca sobre M es una

sobre M tal que G y X verifican

las si-

condiciones:

a) G actua transitivamente

sobre X.

b) G es un grupo de Lie (analltico)

todo punto, GX = {g E G
c) X es simplemente conexo.
d) M es completa
manniana

I g(x) =

y de volumen

respecto

a la propr

de

x}, es compacto.

finito

asociada).

e) G es maximal

y el estabilizador

(segun la metrica

rie

Balances

88

otro

"hilo

sarrollado
Una
las

conductor"

en tor no al cual

gran

de

de las

han

debido

"ad

hoc",

dado

que

utiles
plo,

Sln

borde.

minada
zan,

para

por

no

util

pero

se obtiene

diga

grupos

una
no

cuando

existe,

tales

es

siem

conexa,
dete~

esta

con

ra-

instrumento

en cuanto

en general,

de

ejem-

El grupo

ser un

manejable

poco

de

generadores
un

algoritmo

presentaciones

dan

la de disponer

de

isomorfos.

Una

situacion

construccion

se obtienen
datos

cambio,

presentacion

dos

ser
Por

y, por

informacion.

poco

de que

completamente

fundamental

en

a menudo

resultan

compacta,

esta

de

contextos,

de Euler-Poincare

otra

puede,

es el hecho

3-variedades.

homolog1a

el grupo

general,

de otros

3-variedad

da ninguna

relaciones

mas

general

todas

las
y

de este

condiciones

1a misma

t1pica

simples)

te potencia
nen

una

La

fundamental

una

de las

su

e instrumentos

estandar

la caracteristica
nula

etc.)

transferibles

en el caso

de

su peculiaridad

tecnicas

tecnicas

la topologla

la topologla

inventarse

las

pre

que

de

algebraica,

no

de

que motiva

(respecto

la topologla

la teorla.

dificultades

3-variedades

autonomla

el

parte

se ha de-

(en el sentido

3-variedades
no

poder

porque

suficientes

aplicada

de que

a partir

explotar

instrumento

necesarias

construccion,

es

a datos

de

la apare~
no

se

tie

para que
distin-

Balances

89

tos,

produzca

plo,

cirugla

o bien,

cultad

Dehn

esto

cronica

de

tres

homeomorfas

diagramas

todo

dimension

largo

10

de

nudos

ejemlinks,

Heegard).

se

puede

la

topologla

haya

de

(por

sido

intuir

la

que

de
de

una

difi-

variedades

de

seleccionar

bue-

invariantes.

En
ta

de

los

De

nos

variedades

la

este

idea

obtener,
gos

panorama,
(ambiciosa)

para

los

ficies.

las

citados

que

en

topologla

tentes,

la

prension

de

punto

vista

tambien

al

Thurston,

2),

este

de

4)

es

tratar

al

supe~

introducir
mas

sobre

p~

mayor

com

desde

un

topologico

discusiones

es-

rlgidos,
a una

de

analo

para

tambien

exclusivamente

inser

razonable

tipo,

lleven

3-variedades,

sucesivas

3)

instrumentos

geometrla,

se

resultados

i),

punto
de

los

las

superficial,

3-variedades,

resultados

de

de

de

puntos

Respecto

perar
la

muy

(ver

la

geometrla

h i p e r b fi L'i ca ) .
Es
cuando

se

de

superficies

las

lelismo

habla

resultados
no

se

ve,

todo,

"analogos"

puede
en

que

esperar

efecto,

que

un

los
para-

s r n mucha

di

que:

existen

admiten

de

d i r e c t o , Se

ficultad,
a)

o b s e r v a r , an tes

necesario

una

variedades
estructura

de

dimension

geometrica:

tres
en

que

no

p a r t Lc u Lar

Balances

90

todas

las

3-variedades

excepcion
b) Las

posibles

siderar
tres

# p3

de p3

no primas,

en dimension
del

caso

pesar

posee

metrica
vatura

constante)

de

tres

las

ra una

na

Toda

de cada

las

can

cur

de ninguna

condiciones

(en el

a proposito

clave

de

p~

sentido

las

superfi

tridimensional,

a ocho

Este

de Thurstonse
de

3-variedad

en piezas

una

estructura

( 1)

dotada

(una

completa,

geometrica"

informalmente,

canonica

obtener

S2xSl,

geometrlas.

Conjetura.
cion

que

en el caso

Laconjetura
presar,

(eliptica,

precedentes.

curso

11evan,

las

geometria,

s~r

con-

solamente

ejemplo,

"buena"

en efecto,

en el

posibles

por

no puede

"estructura

definido

son

homogenea,

metricas

Resulta,

cies)

una

riemanniana

no

es necesario

bidimensional

euclidiana):

que

que

tres

hiperbolica,
de

la unica

(1)

geometrias

analogas

con

de

elIas

puede

la siguiente

admite

una

manera:

descomposi

tales

que

la parte

puede

ser

dotada

in~r

de una

geometrica.
es el maximo

como

# significa

an~lDgo

resultado
al punta

surna conexa ,

que

2) de

e~

se puede
las

super-

Balances

9f

ficies.

La

descomposici6n

can6nica

refiere

la

conjctura

compuesta

de

dos

estadios:

de

una

variedad

est~

e L primero
en

precedente

es

c on s t r u c c i ti n mas

una

cortar

una 3-variedad

La

conjetura

particular,
la

conjetura

CIa

de

un

La

caso

por

un

n i do sen

los

G 1 tim

directamente

que

"casi"

conjetura

todas

las

bien

no

la

topologia
ejemp10.
se

p6tesis

la

de

variedades
soluci6n

de

ha

t~cnicas

muestra

es

muy

de

pa r t i.cuLar es .

fuerte:
el

en

hecho

de

c o n s ecueu

sea

res u 1 tad

sido

de

est

resultados

as:

obtes que

demostrada
sea

la

m~trico

conj~

para

relevantes

dimensi6n

tres

la

canjetura

de

t~cnicas

de-

para

de

la

la

resultados

1igados
tipo

jus-

puede

SB'

problemas

claramente
In.

t o ro s

de

variedades);

saluci6n

de

de

com por t a eI

conjetura

directamente

utilizan

llegar

la

numero

san

segundo

que

(informalmente

1a

si

tura,

As!

el

suyo.

de

gran

realidad

s e r f a una

Poincare

se

(necesnrio

);

citamos

particular

tificada

que,

Thurston

plausibilidad

apoyan

largo

curiosidacl,
de

a)

complicada

10

de

par

que

clr

que

en

primas

o b s e r va c i o n

p o r, la

In

1;) d e s c om p o s.i
c i Sn

cs

variedades

patencia

(por
Smith).

de

intYoducidas

de

las

hi

por

Thurston.

Entre
en

direcci6n

tes:

los
a

resultados
la

c o n j etura

parcial

s obtenidos

c i t a m'os

los

s i.gui cn

Balanees

92

TEOREMA
dades

1. La

es cierta

para

las

varie

Haken.

2.

TEORENA
sin

conjetura

una

M tiene

borde.

y solo

Sea

si

variedad

una

Haken.

estructura

compacta.

hiperbolica

si

es atoroidal.

TEOREMA

3.

M una variedad Haken. compacta.


con borde aM ; 0, que contiene
una superficie
incompresible
F que no sea la fibra de una fi-

bracion

p:M ~ 51. Entonces

Sea

ra hiperbolica

M tiene

una

si M es atoroidal.

si y solo
3

TEOREMA 4. Sea M = 5 -K el complemento


3

do en 5 . M tiene

Y solo

si

no

tiene

10 si K no

una

estructura

es un nudo

una

estructu

geometrica

si

satelite.

estructura

es ni un nudo

de un n~

hiperbolica

s a t e Li t e ni

si y so

un nudo tau

rino.

TEOREMA

s.

un nudo

que

M(p~q)
Dehn

no

sea

ni

la variedad
de

tipo

estructura
de

M = 5 -K elcomplemento

Sea

los

satelite

parametros

M(p.q)

Entonces

hiperbolica,

para

(p,q),

taurino,

de M por

obtenida

(P.q).

ni

en 5

todos

excepto

y sea

cirugla
tiene

los

de

de

una

valores

un numero

fini

to de pa r e j a s .

Las
muy

demostraciones

profundas

de

complicadas

Ins

teorema

1-5 son

y en el curso

no se

93

BaZances

pretendia~

ni

en elIas.
el

Se queria,

significado

mas

dar

las

de

siquiera

en un

de los

definiciones

mas

justificando
observaciones

manera

informal;

te los

teorema

complemento
mente

solo

a captar

de estos

teore-

en el sentido
de los

amplio.

Esto

de modo

mas

bien,

nudo

sino

menos

estamos

S3 -

tambien
por

eje~

riguroso

expresando

demostrando

ocho

de

objetos

se hizo,

4 y 5 en un caso

del

llegar

involucradas

aqui

adentrarse

completame~

particular

6)),

de

pero

(M

especial

significativo.
Con

este

requisitos

fin

10 cual

de ejemplos

teoria

diciendo

de

la geometria

topologia

algunos
de

basicamente

3-vaa par-

parte

de la

la misma
que

(Las

toda

notaruna

de la geometria
otras

conjetura

dotar

condiciones

siete

que
de una

hiperb..

geometrias;

se podria

3-variedad

se puede

merece

en los mismos

1-5 se puede

teorema

de las

hiperbolica

aparte:

"privilegiada"

condicion~s
bolica.

dar

tornados en su mayor

de los

respecto

clusive

de

se efectuo

consideraiones

enunciados
posicion

necesario

de nudos.

El caso
algunas

se hizo

indispensables

riedades,

lica

no

tecnicas

que
0

embargo,

enunciados

construcciones
sentido

plo,

tir

sin

de la conjetura,

las

las

marginalmente,

reformular

verifica
metrica

garantiza~lan

1n

cierrns
hiper-

simpleme~

94

Balances

te

que

no

priori"

existen

para

Est a
cho

de

poderlo

que

las

de

fin

de

que

uno

de

esos

la

una

ha

hiperbolicas

por

sl

cidad

el

de

de

la

trica

homot6pica
dim

lumen
t r

(de

i3 .

como

profunda

una
y

serie
a

de

dar

el

condi-

suficientes

una

metrica

de

en

direcciort

que

de

las

una

3-varied~

resultados

bastante

revelan

de

"extra-

cierta

respecto

ejemplo,

subproducto,
de

veces

tres

por

el

de

atipilas

otras

comportamiento

volumen).

t iv 0

del

hiperbolica

TEOREMA

de

puramente

cia

(Ver

funcion

o t rom
nes

m~s

dimension

dimensiones.

trabajo

originado,

sentido

la

admita

el

interesantes

en

desde

tipos.

mucho

des

pueden

necesarias

consecuencia,

comprension

se

h~

producen

clasificadas

3-variedad

siete

conjetura

nos"

geometrlas

topologico:

(topologicas)

En

siete

completamente

ciones

"a

" p r iv i L e g i a d a " d e pen d e del

otras

vista

topologicas

hacer).

po sic ion

3-variedades
punto

obstrucciones

tambien

topologicas

Y'1:q1-de?):
entre

nsion

trcH,

finito.

Eu

r tic u 1a r

in tere spa

respecto
es

Sea
dos

6:M

tl

es

la me

cuestio-

siguiente:

-~ N una

variedades

orientadas,
o n ct- s

el

de

de

e q uiv a l.e n

hiperb6licas

completas,
hom S

o pa

de
una

'i

vos om e

95

Balances

En particular,
estructura
nita),

hiperbolica

esta

es falso

trap

que

teorema

"tantas"
ner

siendo

consecuencias

intuitivamente
dolo

can

cultad

este
dad

los

que

to para

3-variedades
de volumen
Lo que

en

invariantes
topologicos.

pensar

en

en reali
es pres~
instrumen

topologica

(completas,

de vaque,

son

un buen

la "complejidad"

ser

la difi-

la topologla

ser

te

confront~n

En efecto,

pueda

hiperbolicas

deberia

sobre

metricos

de que

puede

ejemplo,

Basta

mie.!!.

n ? 4.

al hecho

Esto

discusion

tres.

el volumen

medir

unido

par

presente

invariantes

superficies,

en dimension

fuertes.

plausible,

de dimension

una

de volumen. fi-

son hiperbolicas,

muy

"cronica"

caso,

mible

cierto

la precedente

riedades

de las

de rigidez,

3-variedades

admite

es unica (salvo isometrlas).

en el caso

sigue

3-variedad

(completa,

estructura

Esto

EI

si una

de

las

orientadas,

finito).
se hizo

en el curso

a este

proposito'

fue:
- discutir
(debida

una

a Gromov

dez,

enunciando

dos,

elementales

lar

porque

rigidez

demostracion

es

y Thurston)
los varios
perc

muestran
falso

geometrica
del
pasos

teorema

que

en dimension

de rigi

y demostrando

significativos,

por

reciente

razon
dos.

en partic~

el teorema

de

Balances

96
- indicar
ylos

1a descomposicion

teorema

de

en pa~ticu1ar,

clausura

a ser

Una

to es,

situacion

los

~:S

negativa),

bases

del

del

(con

sx[O,l]

cilindro

una

variedad

este

los

trario,

hiperbolica

una

que,

para

de Thurston
de

los

Este

ejemplo

estudio

de

problemas
tienen

que

las

ver

Por

ha

sido

difeo-

un punta

ahora

de

es un

en particular,

las

el con

de aplicacion

muestra,

con

era

se busca

ya

(en general

es-

topologi-

teoremas

3-variedades

la re-

una

la plausibilidad

(aunque

dos

E 1 h ech 0

de cuales

un cilindro

apoyar

1 ).

que

completa

hiperbolica

El

inicialmente,

de aplicaciones

~ producen

do~

de E~

con

fenomenos

la comprension

estructura

es

las

admita

a la conjetura.

particular

que

tipo

contraejemplos

conjetura

mente

tanto

cilindros

determinante

del

caracterlstica

produce

"extranos",

morfismos
con

de

3-

Sx[o,l]/f

) '\, (<:f ( x ) ,

de que

ban

de acuerdo

(X

los

de

identificar

qui val en cia

entre

ocho

~ S es un difeomorfismo.

dee

cos muy

nudo

de aplicaciones,

tipo

Ia c ion

tructura

del

discut!

significativos

1 significa

moduLo

de cGspides;

generalizable.

c~lindros

superficie

Margulis

el ejemplo

complemento

las variedades

cociente

como

de ejemplos

son

de S es una
ler

una

clase

variedades

del

Kazhdan

y apertura

se mostro

do detal1adamente
viene

de

la

caso

citados).

surgen

bastante
superficies.

como

natural-

delicados)
Y es sor

BaZances

prendente
mente
como

notar

"inocuos"
las

todavla
puesta

tido

sin
solo

muy

es,

-+

una

bien

tantas

conocidos
preguntas

de Thurston

los

dos

en este

sen-

problemas:

elementos

del

grupo

{di f eomor f i smos de la superficie 5} /isotopla


seleccionar

en cada

"bueno"

(5

< 0).
que

is 0 top la,

(r~specto

sobre

reducible

(10

morfismo

de equivalen-

todo

difeomorf~

de uno

del

s s1

tipos:

isometrla

en 5 y,

X(5)

se demuestra

5 e s, sal v 0
tres

clase

particularmente
con

~erb6lica

va

aparent~

a las que se ha dado una res

"Clasificar"

superficie

atras

siguientes

un representante

~:

objetos

recientemente.

a los

guientes

b)

responde

I.

sobre

existan

respuesta

En efecto

a)

tiempo

resultado

es una

m0

y de

El mayor

G (5)

cia

aGn

superficies,

PROBLEMA

Esto

como,

a alguna

hi-

5).

que

significa

en consecuencia,

sobre

m~trica

una

superficie

que

fija

induce

una

cu~

un difeo-

de genero

menoD.

c) pseudo-Anosov.

Los
una

serie

difeomorfismos
de propiedades

pseudo-Anosov
geom~trjcas

gozan

de

relevantes

Balanees

98

aunque

bastante

ticu1ar,

comp1icadas

respecto

a1 problema

3-variedades,

el ci1indro

M = Sx[O,l]/~

tiene

si y solo
Esta

una

mUller

de S,

es pseudo-Anosov.

de tiempo

significa

que

poner

t 0 a 1a ace ion

ca)

das

tambiin

del

sobre

efecto,

los

interpretar

de

compacta,

una

su c e s i Sn
puede

este

de otros

y del
puntos

sea

Se

de m e t r Lc a s "tien

clasico

natural

de

y pasa

de

borde

geomitricamente

respe

(que,
cuyo

sectores

espacio

1(5),

e d if e 0 m 0 r f ism os G(5 ) ?

de curvas

del

isotop1as.

problema

elaborada

espacio

las mitri-

compactificar

que

g ru pod

de

de Teich-

R-3X(S)

un borde
del

salvo

de

Sln

que

es un problema

es bastante

estudio

'"

~Se

s01ucion

de paso,

S,

atras

de a L infinito?".

viene

consecuencia

el espacio

sobre

1(S)

La

es una

es decir,

hiperbolicas

es decir,

las

hiperbolica

X(S) < 0 Y T(S) el espacio

con

~que

estructura

II. Sea S una superfitie

conocra

sobre

al

borde,

cas

citado

En pa~

de aplicacion

clasificacion

la respuesta

PROBLE~

si

de enunciar.

interispr~

la matemati-

a traves

simples

de T(5)

del

y cerra-

foliaciones.

como

notamos

En

se pueden

clases

de equi

Bal.anaee

99

valencia
mo

de foliaciones

subconjunto

curvas
nante

denso,

simples
en este

las

sobre

y contienen,

clases

y cerradas.
contexto

na topologia"
de-las

medidas

Un

de

isotopia

elemento

de las

de

determi-

es el de definir

el espacio

co-

una

"bue

curvas

(y

foliaciones).

Lo

que

se hizo

en el curso

a este

propos i-

to fue:
- describir
topologia,
espacio

los

objetos

que

se obtiene

funcional

- tratar

e~ cuestion

la

en un

grande.

detalladamente

el caso

a so val en res u 1 tadosan a log

mas

simples)

hoc"

y definir

de la inclusion

tee

ristica

al caso

negativa

de

toro;

en es

s (nat u r a Lm en t e

superficies

y las

y de naturaleza

del

con

demostraciones

caract~
son

"ad

elemental.

*
BIBlIOGRAFIA
A)

AI)

Geomet7!a
Siegel.
Vol.

A2)

Magnus.

Biperb6lica.
"Topics

in complex

II ed , Wiley
"Non

groups"

theory"

(1971).

euclidean

Academic

function

tesselations

Press

(1974).

and their

Balances

100

A 3'} Cox e t er , "I n trod u ct ion


ley
A4)

Milnor.

"Hiperbolic

years"

Bull.

(1982)

p.9-23.

geometry:

Amer.

B1)

"On

Thurston.

the

geometry

diffeomorphisms
Poenaru.

morphismes

(1978)
Fathi,

B4)

and

first

6 N.2.
1

dynamics

of

I" Preprint.
sur

les

diffeo

et l'espace

Seminaire

150

Vol.

surfaces

surfaces

Bourbaki

de

N.2.529

p.66.

Laudenbach,

ton

Soc.

de Thurston

des

TeichmUller",

67

of

"Travaux

the

Math.

de Thurston.

B3)

e 0 met ry" ed. Wi -

(1961).

B) Resultado8

B2)

tog

sur

les

Poenaru.

surfaces"

"Travaux

Asterisque,

de Thurs
Vol.66-

(1979).

Thurston,

Hatcher.

mapping
table

class

"A presentation
group

surface"

of a closed

Topology

Vol.

19

for

the

non

orien

(1980),

p.22I.
B5)

Papadopoulos.
morphismes
mes

"Reseaux

ferroviaires,

pseudo-Anosov

symplectiques

diffe

et automorphis-

de l'homologie",

Tesis.

C) Vario8.
Cl)

Epstein.
pies"

"Curves
Acta

on

2-manifold

Matll. Vol.

115

and
(1966)

isotop.83.

Balances

C2)

101

Rolfsen

"Knots

rish

and

"On

Poincare's

tal polygons"
(1971)
Sullivan

"Seminar

Freedman.

London

Preprint

Bull.

Math.

nifo1ds"
C8 ) Su 11 ivan.

Soc.

Princeton

CI0)

N~ 554

Surface
over

Bened-?tti.
metria
sione

Soc.

on

Vol.14

of

3-manifolds".
15 N~ 56

and

Dedo

of

3-m~

Press.

sur

1e s g r 0 upes

sur Sill.

Sem.

(1980).
structures
and

"Una

3-manifolds
which

Preprint.

introduzione
delle

r e" Quaderni

on

3-manifolds

circle".

e topologia
t

(1983).

topology

3 fibrees

groups
the

Bull.

et 1es v a r i e tes hyperboli-

"Hyperbolic

fiber

hyperbo-

geodesics

Math.

"T r avaux d e T hu r s ton

Bourbaki

II.

(1982).

University

de dimension

Thurston

Vol.

and

IHES

Vol.

geometry

quasi-fuchsiens

C9)

in Math.

"Closed

London

geometries

"The

ques

fundamen-

p.385.

"The

C7) Thurston

for

on conformal

Ha s s , Scott.

(1982)
Scott.

or Pe-

p.219.

surfaces"

C6)

Publish

theorem

Advances

lic geometry"
C5)

ed.

(1976).

C3) Maskit.

C4)

links"

varieta

dell'U.M.I.

alIa

geo-

de dimen
N~27

(1984).

Balances

102

CONE.TARIOS.
A) En

Al

(Cap.3)

de 1a geornetria

y A2

(Cap.I)

hiperbo1ica

to de vista

sintetico,

de vista

1a geornetria

trario

de

en A3

te desde

en parte

en parte

(Cap.I6)

ejernplo,

que

el ~rea

se 1a

rna de los

desde

e1 punta
Por

Se incluye

sintetica

delhecho

hiperbo1ico

coaxiales

es TI-(su

que

y de las

puede

ser

farnilias

util

para

de circulos
la cornprension

de las isornetrias hiperbolicas,

rnientras

Cap.

hiperbolica

se trata

resultados

de

En A4
geornetria

B)

la geornetria

para

una

exposicion

dos

de

los

que,

usando

historico

de

en particular,

"clasica"

original
No
son

entender

B2 Y B3

en el

con

la

liga

los

resul

de Thurston.

es Bl.

dernostraciones

que

diferencial.

panorama

hiperbolica

El articulo

Gtil

un

hiperbolica

recientes

Thurston

la geornetria

se hace

la geornetria
tados

de

d i scu s i S'n de la in

(Cap. 6) se da una

circular

20

e1 con

exc1usivarnen

sintetico.

tri~ngulo

~ pu~

~ngulos).

En A3,
version

un

estudio

desde

estudia

1a dernostracion
de

un

diferencia1.

un pun to de vista

por

se hace

son

can

es de
apenas
la

los

f~cil

resultados
lectura

bosquejadas.

genesis

de la

"explicaciones"

concisa

resultados

donde
y

las

de

y las
Puede

ser

idea.

de

BI.

B2

se dan

los

enuncia

ideas

es

fundarnentales

Balances
de las

103

demostraciones.

posicion

completa

B3,

en cambio,

y detallada,

es una

bastante

ex-

tecnica

y pesada.
En B4 se presenta
sobre
los

las

superficies,

precedentes

completamente
una

un

como

una

espacio

de las

siemp~e

Los
para

feomorfismos

estudio

sobre

topico

Se da

y relaciones

de

de

los

foliacioDes
circuitos
una

"circuitos

para

dar

expllcita-

P.L.

medidas

sobre

sobre

ferroviarios

construccion

fe-

el

una

su-

se utilizan

de algunos

di-

pseudo-Anosov.

una

se demuestra

superficie

son

Ls o t Sp i ca s , y que

10 si son

simples).

de variedad

En Cl, en particular,

vas

de

de M}/isotopla.

instrumento

dar

independiente

generadores

estructura

perficie.

C)

con

de Thurston

de demostracion

(y mas

{difeomorfismos

rroviarios"
mente

tecnicas

distintas

En B5 hay

resultado

bastante

y con

presentacion

G(M)

otro

a la identidad

que

dos

homotopicas

y s~

Sl

un homeomorfismo

es tambien

isotopico

cur

homo
a 1a

identidad.

cion
del

En C2

(Cap.2

de los

dos

toro

(que

dificu1tades

A,B,C,D)

resultados

ya pueden
que

tran,

por

ejemp10,

c1ase

de homotopla

se

se da la demostracitados,

en e1 caso

dar

1a idea

tienen).

Ademas

la demostracion
ex

p(l]

q{m]

del

tipo

se encuende que

lT

una

(toro)

de

Balances

104

es representable

por

conexa

S1

del

si y solo

teorema

En Al se

let

En A2

los

encuentra

en el plano.

dominio~

se encuentra

p, q,:

del

un estudio

=e

Poincare

4.

(1-4)

trucciones

de

fun dam en tal.

detallado

de

(ab)

= (be)

q = (uc) 4

= 1>

ilustraciones;

se encuentra

rna de

bienA3

hay

= <a,b,e : a 222
=b

En C3

de Dirich

triangulo

bellisimas

C4

la construccion

fundamental;

(Cap.II)

grupos

la demostracion

en lenguaje

moderno;

r a t a , entre

otras

Ford

y de Dirichlet

del

cosas,
del

teore

las cons

dominio

A est e pro po sit 0 P u ed e s erut

i 1 tam

(Cap.4,15).

Tambien

cerrada

1 Y la demostracion

en la bibliografia

del- dominio

2.

de

simple,

siguiente:

1.

3.

curva

di~eontinuo~

a 94UPO~

6undamentale~,

con

.
(p,q)

de la cuerda

En cuanto

10

una

en A3

isornetrias
3

en:IR

(Cap.

pologia

de las

el Cap.

13

ga el area

similitudes

3,5,7)

elementos

(Cap.21).

se dernuestra

un poligono

un bello

euclidianas,

algunos

superficies

(5)
de

encontrarnos

una

plano

en ~2
de to-

Adem~s,

formula
con

tratado

que

vertices

en
Ii
en

BaZances

105

el reticulo
reticulo

entero

interiores

el borde.

Ademas

formula

puede

p[i]+q[m]

en

f(toro),

guiente
ble,

da.

Sln

gitud

minima,

ideas

utilizadas

que

a veces

de pensar
espacio
niana,

En C7
tura

en una

(G,X)

nada

tructura,
(Cap.3) .

curva

metrica

es un

de

de

las

"geometria"

de una

clase

de a de Ion
Las

elementales,

las

son

tres

geometrias

del

los

sobre

distancia,

aun

faciles.

relaciones
con

no

y cerr~

embedding.

no

de vista

con

simple

y, al comienzo

puntos

del si
orienta

una

representante

estudio

acerca

dotado

TI1M

en extrema

(l)

los distintos

-p'ql.

de una

argumentaciones
un

discusion

si

elementos

elemental

dotada

una

son

bidlmensionales
util

por

entonces

En C6 hay

si,

que

superficie

y sea a

es un

las

una

sobre

(no necesariamente

constante)

n:S1 ~ M

de por

son

Ipq'

borde,

representable

Si

cualquiera

curvatura

+q'[m]

..t(a,S)

Sea

de este

demostrar

demostracion

resultado:

riemanniana

para

p'[t]

una

compacta,

nula,

mismo

interesante

servir

entonces

En C5 hay

de puntos

al poligono

de ser

tar
=

al numero

una

5,

entre
que

una

sepu~

variedad:

metrica

rieman-

un tratado

(de lec

e s t ru c t u ra .

se puede
facil)

encontrar

sobre

holonomia,

el concepto

aplicacion

de

(G,X)

desarrollante

es-

Balanoes

106
C8y
hecho,

de

C9 dan
que

una

la demostraci5n
3-variedad

M' =Sx[O,l]/(X.,O)
tiene

una

estructura

'\,

del

* *

del

tipo

('f(x),l)

hiperb6lica

pseudo-Anosov.

(dif!cil)

si y s5lo

si es