AVANZA. Vol. II. FM - IIT, UACJ (2012) 2156.

mica
Transformaciones casiconformes y dina
*
Holomorfa
Juan Francisco Estrada Garca, Julio Erasto Poisot Macas **

Resumen
En este artculo se da una introducci
on a los conceptos y resultados b
asicos
de las transformaciones casiconformes y el espacio de Teichm
uller con algunas
de sus aplicaciones en el estudio de la din
amica generada por las transformaciones racionales definidas en la esfera de Riemann
Palabras clave: Casiconformes, superficie de Riemann, espacio de
Teichm
uller, sistemas din
amicos holomorfos

1.

Introducci
on

De acuerdo con Ahlfors [2], la nocion de transformacion casiconforme fue

introducido por H. Grotzsch en 1928, al darse cuenta que si Q es un cuadrado y R es un rectangulo, que no es un cuadrado, no existe transformacion
conforme de Q en R, tal que enve vertices en vertices. Al conseguir medir la
aproximacion a la conformidad de la transformacion que resolva su problema,
Grotzsch dio el primer paso hacia la creacion de la Teora de las transformaciones casiconformes. Fue hasta 1935 en que los mapeos de Grotzsch fueron
retomados por Lavrentieff en un artculo, que trata acerca de las ecuaciones
diferenciales parciales no lineales asociadas al estado de un flujo potencial de
un gas incomprensible. Tal trabajo proporciona una nueva interpretacion de
las ecuaciones de Cauchy-Riemann, a saber la conformidad. Esta teora, por
amplio consenso, tiene su nacimiento en un artculo de Lars Ahlfors en 1954 en
el Journal D Analyse, en donde se presenta su primer trato sistematico y en su
correcta generalidad, y se ha desarrollado tanto, que no todos los topicos pueden ser cubiertos en un solo escrito sin importar el punto de vista que se tome.

* Artculo de divulgacion cientfica.

** Facultad de Ciencias Fsico Matematicas. BUAP, festrada@fcfm.buap.mx

22

F. Estrada, J. Poisot

En este artculo, introducimos las definiciones y resultados basicos necesarios

para entender la Teora de la deformacion de las transformaciones casiconformes en el plano. Cualquiera de tales transformaciones, puede ser deformada a
la identidad dentro de toda la familia de transformaciones casiconformes. De
acuerdo al Teorema de Uniformizacion, el caso de las transformaciones entre
superficies de Riemann puede reducirse al caso de dominios planos. Esto nos
permite tratar la Teora de los espacios de Teichm
uller, la cual entre otras
cosas nos da una parametrizacion de todas las estructuras complejas de una
superficie dada. Finalizamos este artculo dando algunas de las aplicaciones de
esta teora en el estudio de la dinamica holomorfa.

2.
2.1.

Transformaciones conformes
Definici
on y resultados b
asicos

Una transformacion en plano que preserva medidas de angulos y orientacion, se llama conforme. En analisis complejo, una funcion f diferenciable con
derivada no cero, preserva angulos y orientacion. En particular, una funcion
biyectiva entre dos dominios (abiertos y conexos) A y B, holomorfa, es un biholomorfismo entre estos dos dominios, y establece un homeomorfismo conforme
entre estos dos dominios. A tal transformacion le llamamos equivalencia conforme. Estos conceptos se generalizan a dominios del plano complejo extendido
:= C {} cuya representacion geometrica es la esfera de Riemann. En el
C
caso especial de que A = B, tal equivalencia conforme se llama automorfismo
conforme de A.
Ejemplos fundamentales de transformaciones conformes son los grupos de

automorfismos
conformes
de
los
dominios
canonicos
C,
C,
M= {z C : |z| < 1}, H = {z C : Im (z) > 0}, descritos en el siguiente teorema:
tiene la forma:
Teorema 2.1. (i) Todo elemento de Aut(C)
(z) =
donde a, b, c, d C con ad bc = 1.

az + b
,
cz + d

Transformaciones casiconformes

23

(ii) Todo elemento de Aut(C) tiene la forma:

(z) = az + b,
donde a, b C con a 6= 0.
(iii) Todo elemento de Aut(M) tiene la forma:
az + b
(z) =
,

bz + a
donde a, b C con |a|2 |b|2 = 1. Estos elementos tambien se pueden escribir
como.
z
(z) = exp i
,
1
z
donde R y M.
(iv) Todo elemento de Aut(H) tiene la forma:
(z) =

az + b
,
cz + d

donde a, b, c, d R con ad bc = 1.
y () = , entonces en una vecindad de
Demostraci
on. (i) Si Aut(C)
, tiene una expansion de Laurent:
(z) = az +

bn z n ,

n=0

y por el principio del

con a 6= 0. Entonces (z) az es holomorfa en C,
maximo se tiene que (z) az debe ser una constante b. As obtenemos que
y () = z0 6= , entonces
(z) = az + b con a 6= 0. Si Aut(C)
y 1 () = .
definiendo 1 (z) = 1/(zz0 ), vemos que 1 ,1 Aut(C),
1
As obtenemos que 1 (z) = /((z)z0 ) = a1 z + b1 , donde a1 , b1 C con
a1 6= 0. Por lo tanto, se escribe en la forma enunciada con ad bc 6= 0.
Ademas, no cambia cuando a, b, c y d son multiplicados por una constante
com
un, por lo cual podemos normalizar la expresion de con ad bc = 1.
si estable(ii) Cada elemento Aut (C) se extiende a uno de Aut(C),
cemos que () = . As que por el argumento anterior, se sigue que se
expresa en la forma estipulada.

24

F. Estrada, J. Poisot

(iii) Sea Aut(4) con (0) = . La transformacion 1 (z) = (z)/(1z)

pertenece a Aut(4). Por tanto, 2 = 1 Aut(4) y 2 (0) = 0. De acuerdo
al lema de Schwarz, 2 es una rotacion 2 (z) = expi z; con R, la otra
expresion estipulada se sigue de inmediato.
(iv) T (z) = (zi)/(z+i) es un biholomorfismo entre H y 4; entonces, para
cada elemento Aut(H), obtenemos 1 = T T 1 Aut(4). As, 1 es
una transformacion que puede expresarse como en (i). Y puesto que enva
H sobre si mismo, podemos suponer que a, b, c , d R, con ad bc > 0. Por
tanto, puede escribirse de la forma en (iii), y en consecuencia de la forma en
(iv).

Todas estas transformaciones pertenecen al grupo de transformaciones de

Mobius, las cuales se definen como:




az + b

M ob C = T (z) =
: a, b, c, d C con ad bc 6= 0
cz + d
. Una propiedad geometrica de las transformaciones de Mobius, es que transforman crculos en la esfera en crculos en la esfera. Dado que tres puntos
existe una u
caracterizan un crculo, entonces dados dos triangulos en C,
nica
transformacion de Mobius, que lleva un triangulo en el otro y que lleva vertices
en vertices.
Uno de los resultados mas importantes del analisis complejo, tanto por
sus m
ultiples aplicaciones a la fsica matematica como a la geometra, es el
Teorema de Transformacion Conforme de Riemann.
Teorema 2.2. . [Representaci
on Conforme de Riemann] Todo dominio simplemente conexo del plano que no sea todo el plano, es conformemente equivalente al disco unitario 4.
Una demostracion de este teorema puede encontrarse en [1]. Es claro que
utilizando los automorfismos del disco unitario, podemos obtener una infinidad
de representaciones conformes de un dominio simplemente conexo que no sea
el plano. La unicidad de tal transformacion queda establecida exigiendo que
el cero del disco unitario, sea la imagen de un punto dado en el dominio
simplemente conexo y que la derivada en ese punto sea un n
umero real positivo,
o exigiendo que el argumento
umero real
 de la derivada en ese punto sea un n
dado en el intervalo (, . Para establecer el comportamiento en la frontera

Transformaciones casiconformes

25

de la transformacion de Riemann, necesitamos recordar que un dominio de

Jordan es una imagen homeomorfa del disco unitario cerrado.
Teorema 2.3 (Caratheodory-Osgood). Una transformaci
on conforme del disco unitario sobre un dominio en el plano, puede ser extendida a un homeomorfismo del disco cerrado sobre la cerradura del dominio si y solo si este dominio
es de Jordan.
Una demostracion de este teorema puede encontrarse en [3]. El teorema
de Riemann es de existencia, as que en sus aplicaciones tanto a la fsica
como a la geometra, es muy conveniente, contar con una expresion explcita
del biholomorfismo, lo cual es establecido en el siguiente resultado, donde
se usa que el semiplano superior y el disco unitario son biholomorfos, y el
biholomorfismo esta dado por:


z
T (z) = exp (i)
,
z
donde Im() > 0 y R.
Teorema 2.4 (Formula de Schwarz-Christoffel). Sea f una transformaci
on
conforme del semiplano superior H sobre el interior D de un polgono cerrado
P en el plano; sean < a1 < a2 < < an la lista de puntos
transformados a los vertices de P por el homeomorfismo extendido fe de f a la
angulo interior de P en el vertice f(aj ).
cerradura H de H en C, y sea j el
Entonces, existen constantes A y B, tales que para cualquier z H:
Z z
f (z) = A
( a1 )1 1 ( a2 )2 1 ( an )n 1 d + B
i

si an 6= , mientras que:
Z z
f (z) = A
( a1 )1 1 ( a2 )2 1 ( an1 )n1 1 d + B
i

si an = .
Una demostracion puede encontrarse en [1].

26

2.2.

F. Estrada, J. Poisot

Sobre la soluci
on al problema de Gr
otzsch

Podemos enunciar la problematica de Grotzsch del modo siguiente: existe

una transformacion conforme que enve un cuadrado en un rectangulo, que no
es un cuadrado, de forma que lleve vertices a vertices?, su respuesta es negativa.

AExiste
un difeomorfismo C 1 que resuelva este problema?, su respuesta es

afirmativa. AExiste
un modo de medir la desviacion de la conformodidad de
la solucion?, su respuesta es afirmativa. El siguiente argumento nos permite
verificar estas respuestas [2]:
Sea f : U V un difeomorfismo de clase C 1 entre dos dominios U y V
del plano que preserva orientacion, es decir, el jacobiano Jf (z) :=| f (z) |2
(z) |2 es positivo en U , lo cual denotamos por f Dif + (U, V ), para
| f
con z = x + iy, la
el cual se definen las derivadas parciales complejas f y f
diferencial df y la derivada Df por:
f =

1
= 1 (fx + ify )
(fx ify ) , f
2
2
d
z
df = f dz + f

(z) u
[Df (z)] (u) = f (z) u + f
.
La derivada f en la direccion :
f (z + r exp (i)) f (z)
.
r0
r exp (i)

f (z) = lm

exp (2i), y as:

Entonces, f = f + f
(z) |, mn | f (z) |=| f (z) | | f
(z) | .
max | f (z) |=| f (z) | + | f

(z) | es positiva, ya que el jacobiano Jf :=| f |2

La diferencia | f (z) | | f
2

| f | es positivo para los difeomorfismos que preservan la orientacion. En

consecuencia, el cociente de dilatacion:
Df (z) :=

(z) |
| f (z) | + | f
max | f (z) |
=
(z) |
mn | f (z) |
| f (z) | | f

es finito y mayor o igual a 1.

Transformaciones casiconformes

27

se anula en su domiLa transformacion f es conforme si y solo si f

nio. Entonces, f es independiente de : y obtenemos que f = f =
0
f , lo cual es equivalente a que el cociente de dilatacion sea identicamente
igual a 1.
El cociente de dilatacion es un invariante conforme: si g y h son transformaciones conformes, tales que

w = h f g este definida, entonces se demuestra
que Df (z) = Dw g 1 (z) .
Sean R y R0 dos rectangulos con lados a, b y a0 , b0 , respectivamente. Podemos suponer que a/b a0 /b0 y que b b0 ; de otra manera, intercambiamos
U y R0 V y f (R) = R0 , y que f enva lados a
a y b. Supongamos que R
en lados a0 y lados b en lados b0 . Obtenemos las siguientes estimaciones:
 

 

 |dz| |df | |f | + f
 |dz| ,
|f | f
lo cual se sigue de la definicion de diferencial; ademas:
Z a
Z a
 

0
 dx
a =
|df (x + iy)| dx
|f | + f
0

a0 b0

Z
0

a02 b02

Z
0

aZ b
0

aZ

 
Z aZ b

 2 
|f | + f
2
 dxdy
f
  dxdy
|f
|


|f | f
0
0
Z aZ b
0 0
=ab
Df dxdy
0

y en particular,

 

 dxdy
|f | + f

a0 a
1

0
b b
ab

Z Z
Df dxdy
R

a0 a
 sup Df (z) .
b0 b zU

El mnimo es alcanzado para la transformacion afn, dada por:





1 a0 b0
1 a0 b0
f (z) =
+
z+

z.
2 a
b
2 a
b
Esto demuestra que no existe transformacion conforme, que resuelva el
problema de Grotzsch.

28

3.
3.1.

F. Estrada, J. Poisot

Definici
on
analtica
Casiconforme

de

transformaci
on

El caso diferenciable

De acuerdo a la seccion anterior, siguiendo a Ahlfors, podemos definir el

concepto de transformacion casiconforme para f Dif + (U, V ).
Def inici
on 3.1. f Dif + (U, V ) es Kcasiconforme, con K 1 si Df (z)
K para todo z U . Diremos que f Dif + (U, V )es casiconforme, si existe
un K 1, tal que f es Kcasiconforme. La menor K, tal que f es Kcasiconforme, es llamada dilatacion casiconforme de f .
Ejemplo 3.2. 1) Sean U = {x + iy : |y| 2x y 0 < x < 1}, V = C. Consideremos la funcion f : U V, dada por:

y
f (x + iy) = 2 x + i ,
x
es casiconforme, ya que f Dif + (U, V ) y Df es acotada en U.
2) Sea K > 1. La funcion h : 4 4, dada por h (z) = z |z|K , es casiconforme, ya que h Dif + (4, 4) y
 
K

|h| + h
K+1 + 1


Dh =
 1 K .
|h| h
K+1
3) Sea U = {x + iy : |y| x y 0 < x < 1} , V = C. La transformacion
g : U V, dada por g (x + iy) = x + i xy , es un elemento de Dif + (U, V ) ,
tal que Dg no es acotada en U por lo cual no es casiconforme. Sin embargo,
para cualquier punto en U , podemos construir una vecindad de tal punto, en
la cual esta transformacion es casiconforme.
Desde el punto de vista geometrico, podemos hacer las siguientes observaciones: 1) Una transformacion conforme infinitesimalmente enva circunferencias en circunferencias, lo cual se desprende directo de la definicion de derivada compleja. 2) Una transformacion casiconforme infinitesimalmente enva
circunferencias en elipses, es decir, la derivada enva circunferencias en elipses,
lo cual se constata del siguiente argumento:
(z) exp (i) .
Df (z) r exp (i) = rf (z) exp (i) + rf

Transformaciones casiconformes

29

(z) = r2 exp (i2 ), la parte derecha

Y si tomamos f (z) = r1 exp (i1 ), y f
de la igualdad anterior toma la forma:






1 + 2
1 2
1 2
r exp i
(r1 + r2 ) cos
+ + i (r1 r2 ) sin
+
,
2
2
2
on polar de una elipse, cuyo cociente de las longitudes del eje
que es la representaci
mayor y el eje menor es:


(z)
|f (z)| + f
r1 + r2


=
(z) = Df (z) ,
|r1 r2 |
|f (z)| f
lo cual nos proporciona una interpretacion geometrica de Df (z) .
Si S 1 = {z C : |z|
= 1} y f Dif + (U, V ), para z U , denotamos por Ef (z) la
elipse Df 1 (f (z)) S 1 considerada modulo una homotecia real y se define la funcion
f (z) :=

(z)
f
f (z) .

Tenemos que |f (z)| < 1. Las condiciones siguientes son equivalentes:

i) La transformaci
on f es conforme, es decir, f es holomorfa con derivada no nula
en U .
ii) Ef es el campo de circunferencias.
iii) f = 0 en U .
Los datos provistos por el campo de elipses Ef en U (considerado modulo una homotecia real en cada punto) y los de la funcion f : U 4, son equivalentes. Ademas,
tenemos que f y Df est
an relacionadas por:
Df (z) =

1 + |f |
.
1 |f |

El argumento principal de f (z) satisface:

Arg (f (z)) = 2 1 = 2,
donde es el
angulo que hace el eje menor de la elipse con el eje real.
La definici
on de la funci
on f y su significado geometrico, nos permite plantearnos
la siguiente pregunta: dado un dominio en U j C y un campo de elipses E definido
en U , podemos encontrar un difeomorfismo f : U V , tal que el campo E = Ef ? Lo
cual equivale a: dada una funcion : U 4, podemos encontrar un difeomorfismo
f : U V , tal que = f ? Es decir, nos estamos preguntando por las soluciones de
la ecuaci
on en derivadas parciales:
= f,
f

30

F. Estrada, J. Poisot

la cual es conocida como ecuaci

on de Beltrami. Esta ecuacion surge tambien en el estudio de la geometra diferencial de superficies, en particular en la
teora de superficies que admiten una estructura holomorfa, conocidas como superficies de Riemann, y esta teora es fundamental en el estudio de la dinamica holomorfa.
Una de las tecnicas m
as exitosas en dinamica holomorfa inaugurada en la decada de
1980, es la llamada ciruga holomorfa, en la cual el uso del teorema que garantiza la
existencia de soluciones a la ecuacion de Beltrami, es un hecho fundamental, as como en el estudio de grupos kleinianos. En todas estas aplicaciones de la ecuacion de
Beltrami, es necesario considerar que la funcion no es necesariamente continua; es
decir, f no es necesariamente diferenciable. Por lo que necesitamos generalizar nuestro
concepto de transformaci
on casiconforme.

3.2.

El caso general

Para tratar el caso general, necesitamos introducir algunas nociones basicas de la

Teora de distribuciones de L. Schwartz. Sea U un abierto de C. Denotamos con C (U )
(respect. C 1 (U ), C (U )) el espacio vectorial de funciones continuas definidas en U ,
y que toman valores en C (respect. el espacio de funciones con derivadas continuas
y el espacio de funciones con derivadas de todos los ordenes). Denotamos Ccomp (U )
el espacio de funciones con soporte compacto definidas en U , y definimos igualmente
1

Ccomp
(U ) y Ccomp
(U ).
El espacio L2 (U ) es completacion del espacio Ccomp (U ) con la norma L2 definida
por:
ZZ
ZZ
2

(kf kL2 ) =

|f | =

|f (z)| dxdy,
zU

donde la integral es considerada respecto a la medida de Lebesgue. Este

es un espacio
2
de Hilbert complejo. Denotamos por Lcomp (U ) el subespacio de funciones de L2 (U )
que tienen soporte compacto en U , y por L2loc (U ) el espacio de
funciones definidas en U y que estan localmente en L2 . De igual manera, definimos
L1 (U ), L1comp (U ), L1loc (U ). Recordemos que
L (U ) = {f : U C medible y acotada}
es un espacio de Banach complejo, con la norma |f | :=sup esenczU |f (z)|.
Def inici
on 3.3. Dadas dos funciones f y g en L1loc (U ), decimos que g =
sentido de distribuciones, si:
ZZ
ZZ


h

h Ccomp
(U )
gh =
f
.
x

f
x

en el

Transformaciones casiconformes

31

La funci
on g est
a determinada de manera u
nica (como elemento de L1loc (U )) por
esta condici
on.
1
Def inici
on 3.4. Definimos el espacio de Sobolev Hloc
(U ) como el espacio vectof
1
rial de funciones f Lloc (U ), que admiten derivadas parciales f
x y y en el
1
sentido de distribuciones contenidas en L2loc (U ). Para f Hloc
(U ), definimos f

y f en el sentido de distribuciones mediante las formulas habituales:





f
1 f
= 1 f + i f .
i
, f
f =
2 x
y
2 x
y

Teorema(lema de H. Weyl). Si U C es abierto, y f : U C es una funcion continua,

= 0 en el sentido de distribuciones, entonces f es holomorfa
L1 (U ) y f
tal que f
loc
en U .
Una demostraci
on puede encontrarse en [9]. Con estos conceptos estamos en la posibilidad de enunciar la definicion analtica general de transformacion
casiconforme.
Def inici
on 3.5. Sean U, V subconjuntos abiertos de C, tomemos K 1, y sea
k := (K 1) / (K + 1), as que 0 k < 1. Una transformacion f : U V es
Kcasiconforme, si es un homeomorfismo cuyas derivadas parciales en el sentido de
pertenecen a L2 (U ) y satisfacen:
distribuciones f y f
loc
 
 k |f |
f
en L2loc (U ); es decir, || k a se llama dilatacion compleja de f .
Supongamos que f es kcasiconforme y g es k 0 casiconforme, y pongamos:
K=

1+k
,
1k

K0 =

1 + k0
,
1 k0

entonces la K 00 correspondiente a f g es a o mas K K 0 y as f g es k 00 casiconforme

para alguna k 00 = k 00 (k, k 0 ) . En realidad, se puede demostrar que:
Proposici
on 3.6. Si f : U V y g : V W son homeomorfismos casiconformes,
entonces la composici
on g f es casiconforme y
gf (z) =

f (z) + g (z)

f (z)
f (z)

1 + g (f (z)) f (z)
Si f es holomorfa, entonces gf (z) = g (f (z))

f (z)
f (z) .

f (z)
f (z)

32

F. Estrada, J. Poisot

Una demostraci
on puede encontrarse en [2]. De acuerdo al lema de Weyl,
tenemos:
Teorema 3.7. Sean U, V C abiertos. Un homeomorfismo f : U V que es
1-casiconforme, es conforme.
El siguiente resultado es el punto de partida para la Teora de la deformacion de
transformaciones casiconformes en el plano.
Teorema 3.8. (Morrey, Bojarski, Ahlfors, Bers) (Transformaci
on medible de Riemann). i) Sea U C un abierto y sea L (U ) , tal que kk < 1. Entonces
existe una transformaci
on casiconforme f := f : U C, que satisface la ecuaci
on
de Beltrami:
= f
f
Adem
as, f (z) z 0 cuando z . A tal funci
on se le llama coeficiente de
Beltrami en U .
ii) Si g es otra soluci
on casiconforme de esta ecuaci
on, entonces existe una funci
on
holomorfa e inyectiva : f (U ) C, tal que g = f , as que f (z) = f (z).
iii) Si la funci
on depende tambien de un par
ametro , es decir, : U C,
donde y es un dominio de C, y la dependencia de respecto a es holomorfa
(respect. continua), entonces las soluciones de la ecuaci
on de Beltrami, f , dependen
de manera holomorfa (respect. continua) del par
ametro .
Una demostraci
on se encuentra en [7].
Nota 3.9. Dos transformaciones entre superficies f , g : S1 S2 , se dicen isotopicas
si existe una familia a un parametro Ht : S2 S2 de homeomorfismos, tal que
H0 = idS2 y H1 f = g. De acuerdo a (ii), dos soluciones f y g de la ecuacion de
Beltrami, son isot
opicas. Ademas, si f y g son homeomorfismos casiconformes de
entonces g = f para alguna transformacion de Mobius .
la esfera C,

4.

Superficies de Riemann

En el estudio del comportamiento multivaluado de ciertas funciones holomorfas,

o en el estudio de la extensi
on del dominio de holomorfa (continuacion analtica) de estas funciones, surge el concepto de superficie de Riemann. Hay varias
formas de introducir este concepto, pero la forma que nos conviene en esta exposici
on es la siguiente:
Una variedad de dimensi
on n es un espacio topologico conexo Hausdorff X, tal
que cada punto del espacio posee una vecindad abierta, que es homeomorfa a un
abierto de Rn o de Cn (variedad topologica). Si ademas en cada punto p X, para

Transformaciones casiconformes

33

dos vecindades U, U 0 de p, con : U Rn y : U 0 Rn homeomorfismos a abiertos

de Rn (o Cn ), se tiene que:
1 : (U U 0 ) (U U 0 )
es diferenciable (analtica), la variedad se llama diferenciable (analtica).
Def inici
on 4.1. Sea S una variedad diferenciable de dimension real 2. Una carta
compleja es un homeomorfismo : U V de un subconjunto abierto U S sobre
un subconjunto abierto V C. Dos cartas complejas i : Ui Vi , i = 1, 2, se dicen
compatibles holomorfamente si la funcion:
2 1
1 : 1 (U1 U2 ) 2 (U1 U2 )
es biholomorfa.
Un atlas complejo en S es un sistema U = {i : Ui Vi , i I} de cartas, que son
compatibles holomorfamente y que cubren a S; es decir, iI Ui = S.
Dos atlas complejos U y U 0 se dicen equivalentes holomorfamente ,si toda carta de U
es compatible holomorfamente con toda carta de U 0 . Notese que la
composici
on de funciones biholomorfas es biholomorfa; en consecuencia, la nocion
de equivalencia holomorfa de atlas complejos es una relacion de equivalencia.
Una estructura compleja sobre una variedad S de dimension real 2, es una clase
de equivalencia de atlas equivalentes holomorfamente sobre S.
Def inici
on 4.2. Una superficie de Riemann es un par (S, ) , donde S es una variedad
de dimensi
on real 2, conexa y es una estructura compleja sobre S.
Usualmente escribimos S en lugar de (S, ), siempre que sea clara la estructura
compleja que estamos considerando.
Ejemplo 4.3. Ejemplos de superficies de Riemann:
(a) El plano complejo C. Su estructura compleja esta definida por el atlas cuya
u
nica carta es la funci
on identidad C C.
(b) Dominios. Supongamos que S es una superficie de Riemann y que D S es
un subconjunto abierto y conexo. Entonces D tiene una estructura compleja natural,
que lo convierte en una superficie de Riemann. El atlas es aquel formado por todas las
cartas complejas : U V sobre S, tales que U D. En particular, todo dominio
de C es una superficie de Riemann.
Introducimos la siguiente topologa sobre C.
Los
(c) La esfera de Riemann C.
conjuntos abiertos son, los conjuntos abiertos usuales U C, junto con los conjuntos
de la forma V {}, donde V C es el complemento del subconjunto compacto G

34

F. Estrada, J. Poisot

es un espacio topologico Hausdorff compacto, homeomorfo

C. Con esta topologa, C
a la esfera de dimensi
on 2, S 2 . Tomemos:
{} = C
U1 := C
{0} = {C {0}} {} .
U2 := C
Definimos las funciones 1 : U1 C como la funcion identidad y
n1
zC{0}
2 (z) := z para
.
0 para z=
una superficie de Riemann.
El atlas definido por estas dos cartas, convierte a Cen
(d) El cilindro. Considerese el grupo cclico G de traslaciones actuando en C, cuyos
elementos son de la forma z z + n, donde n Z. Entonces hay una transformacion
cubriente natural (vease la seccion siguiente) : C C/G, que enva un punto a la
orbita bajo la acci
on de G. Topologicamente, el espacio de orbitas puede ser representado como la banda infinita {z | 0 5 x < 1} con el punto iy en el lado izquierdo
de la banda, identificado con 1 + iy en el lado derecho. Las ramas de 1 restringidas a la imagen de de conjuntos abiertos en C, que estan estrictamente entre dos
lneas verticales separadas una unidad, son homeomorfismos. Esos homeomorfismos
constituyen un sistema de cartas para C/G, cuyas transformaciones de transicion son
traslaciones en G. As que C/G es una superficie de Riemann. Ademas, se puede verificar que la transformaci
on z exp {2iz} induce un isomorfismo conforme de C/G
sobre C \ {0}.
(e) Los toros. Sea G el grupo de las traslaciones de la forma z z + nw1 + mw2
con n, m Z, y w1 , y w2 forman una base sobre R para C, actuando en C. Entonces
R = C/G es un toro, y como en el ejemplo anterior, este tiene una estructura de
superficie de Riemann, dada por las ramas de la inversa de la transformacion cubriente
: C C/G.
(f) El Teorema de Transformacion medible de Riemann nos conduce naturalmente
produce
a la idea de que cada L (U ), en un dominio simplemente conexo U C,
una nueva superficie de Riemann (U, ), con la estructura conforme definida por
las
el atlas U () , que consiste en la familia de todas las transformaciones : U C,
cuales son casiconformes con dilatacion en U . El punto (ii) de tal teorema garantiza
que las funciones de transici
on entre dos diferentes cartas coordenadas, es holomorfa.
Def inici
on 4.4. Una funci
on entre dos superficies de Riemann f : (S1 , 1 )
(S2 , 2 ), se dice holomorfa si para cualesquiera cartas complejas : U V , :
U 0 V 0 de 1 y 2 , respectivamente, tales que f (U ) U 0 , se verifica que la expresion local de la funci
on f 1 : V V 0 es holomorfa. Dos superficies de Riemann
se dicen equivalentes biholomorfamente ,si existe una funcion biyectiva y holomorfa
entre ellas, con inversa holomorfa.

Transformaciones casiconformes

35

Uno de los problemas m

as importantes del analisis complejo es el de la clasificacion
de superficies de Riemann, bajo la relacion de equivalencia biholomorfa. Este problema
alcanz
o finalmente su respuesta (Koebe, Poincare, Klein) a principios del siglo XX,
lo cual queda establecido en el siguiente teorema.

4.1.

Espacios cubrientes

La Teora de los espacios cubrientes esta relacionada con el estudio del grupo
fundamental. Muchas cuestiones topologicas basicas sobre espacios cubrientes, pueden
reducirse a cuestiones puramente algebraicas sobre los grupos fundamentales de los
distintos espacios involucrados. Recurriremos a esta teora para establecer resultados
basicos en el estudio de las superficies de Riemann.
En lo que sigue, se supondr
a que todos los espacios son arco-conexos y localmente
arco-conexos, mientras no se diga lo contrario.
e X entre espacios
Def inici
on 4.5. Decimos que una transformacion continua : X
e recubre a X a traves de , si
topol
ogicos, es llamada transformacion cubriente o que X
cada y X tiene una vecindad V , tal que 1 (V ) = jJ Uj , donde los Uj son abiertos
e tales que para todo j J, : Uj V es un homeomorfismo.
conexos ajenos de X,
Def inici
on 4.6. Decimos que dos curvas , 0 : [0, 1] X son homotopicas (relativas
a los puntos extremos), si existe una funcion continua : [0, 1] [0, 1] X tal que
para s (t) = (t, s) se tiene que 0 = y 1 = 0 , y las curvas s tienen los mismos
puntos extremos para cada s.
En particular, si es una curva cerrada (0) = (1) = x0 , entonces las s son
tambien curvas cerradas con punto extremo x0 . La funcion es llamada homotopa
entre y 0 . Dado x0 X, sea 1 (X, x0 ) el espacio de clases de homotopa de
curvas cerradas, con (0) = (1) = x0 . Este espacio puede convertirse en el grupo
fundamental de X con punto base x0 , definiendo para cada [1 ], [2 ], pertenecientes a
1 (X, x0 ), su suma [1 ] + [2 ] como la clase de homotopa de la curva:

1 (2t) para t[0, 1 ]
(t) = (2t1) para t 12,1 .
[2 ]
2
Un espacio X es conexo simplemente si 1 (X, x0 ) = 0, donde 0 representa la clase de
homotopa de la curva constante x0 . La propiedad principal de una transformacion
cubriente es que curvas y homotopas, pueden ser levantadas: para cada : [0, 1] X
continua, existe
: [0, 1] X con
= . Ademas, si es una homotopa entre
y 0 , entonces existe una homotopa entre
y alg
un levantamiento 0 de 0 . Un
cubriente es universal si X es conexo simplemente.

36

F. Estrada, J. Poisot

Teorema 4.7. Sea X un espacio topol

ogico conexo por trayectorias. Entonces, tenemos lo siguiente:
1. Existe una transformaci
on cubriente : X X.
2. Cada transformaci
on continua f : Y X, tiene un levantamiento. M
as precisamente, para cada y Y y cada x
1 (f (y)), existe una u
nica transformaci
on
continua f : Y X con f = f y f (y) = x
.
3. Si f : Y Y es una transformaci
on cubriente y Y es conexo simplemente,
entonces f es un homeomorfismo. En particular, el cubriente universal es u
nico salvo
homeomorfismos.
Una demostraci
on puede consultarse en [9]. Debido al teorema precedente, uno
puede levantar : X X a una transformacion
: X X. Puesto que es una
transformaci
on cubriente,
tambien es una transformacion cubriente, y puesto que X
es conexo simplemente, es un homeomorfismo. Sea el espacio de tales levantamientos:


=
;
es un levantamiento de : X X .
Este espacio es un grupo con la composicion, y es llamado grupo de transformaciones
cubrientes.
Ejemplos de superficies cubrientes:
(i) Sea : C C {0}, dado por (z) = exp (z). Entonces, C es una superficie
cubriente universal de C {0}.
(ii) Sea : H {0}, dado por (z) = exp (2iz). Entonces, H es un cubriente
universal de {0}.
(iii) Sea : C {0} C {0}, dado por (z) = z n , con n N. Entonces, C {0}
es una superficie cubriente de s misma, pero no es una

superficie cubriente universal.
2
(iv) Sea > 1, definamos r = exp 2 /log y A = {w C : r < |w| < 1}.
Definimos : H A por (z) = exp (2i log(z)/log()), donde log (z) denota su rama
principal. Entonces, H es la superficie cubriente universal del anillo A.
(v) Sea = { = m 1 + n : m, n Z, H}, el grupo de red generado por 1 y
con la operaci
on de suma. Este grupo es isomorfo a un subgrupo del grupo Aut(C),
donde el isomorfismo est
a dado por 0 (z) = z + m 1 + n . Sea la proyeccion
C
de C / , entonces C es la superficie cubriente universal del toro C/ .
(vi) Si X es localmente conexo simplemente, el grupo act
ua discontinuamente
sobre X (es decir, cada punto tiene una vecindad U , tal que (U ) U 6= para solo
un n
umero finito de elementos ). Ademas, el espacio X es homeomorfo a X/ y
el grupo es isomorfo al grupo fundamental 1 (X) .
Teorema 4.8. En toda superficie de Riemann S, existe una superficie cubriente
universal S de S, la cual es biholomorfa a una de las siguientes:
1) El plano complejo C.

2) La esfera de Riemann C.
3) El disco unitario 4.

Transformaciones casiconformes

37

Demostraci
on. Este teorema es consecuencia de un notable resultado, debido a Koebe,
llamado Teorema de Planaridad de Koebe, el cual establece que cualquier superficie
de Riemann plana, es conformemente equivalente con una de las tres posibilidades
C, o un dominio contenido en C. Una superficie R es plana si cualquier
siguientes: C,
curva cerrada simple, contenida en R, divide a R en dos componentes. De la Teora de
los espacios cubrientes, cualquier superficie R tiene una cubierta universal simplemene con transformaci
e R, donde es un homeomorfismo
te conexa R
on cubriente : R
e sin puntos fijos,
local y hay un grupo G de transformaciones cubrientes actuando en R
e
R
con la propiedad de que /G es homeomorfo a R. Ademas, cada punto p R tiene
una vecindad N , tal que (N ) N es vaco para cada elemento G \ {id}.
La estructura conforme dada en R, induce una estructura conforme en el espacio
e convirtiendolo en una superficie de Riemann plana simplemente conexa.
cubriente R,
As, el Teorema de Planaridad y el Teorema de Representacion Conforme de Riemann,
o a C o a H.
e es conformemente equivalente a C
implican que R
N
otese que el grupo G es libre de torsion actuando en H, cuyo espacio factor es
conforme a R, pero no es determinado en forma u
nica. Sin embargo, si G0 es otro subgrupo libre de torsi
on de P SL (2, R), tal que H factorizado por G0 es conformemente
equivalente a R, entonces existe una transformacion de Mobius B, que preserva H,
tal que G0 = B G B 1 .
Nos referiremos a estas tres posibilidades como el caso euclidiano (o parabolico),
hiperb
olico, y esferico (o elptico), respectivamente. Esas superficies de Riemann no son
mutuamente conformemente equivalentes. El plano complejo C no es biholomorfo a
C, ya que C no es compacto y C s lo es. Por la misma razon, y C no son biholomorfos. El plano C y el disco no son biholomorfos, ya que en C toda funcion entera
acotada es constante y en , existen funciones holomorfas acotadas no constantes. La
transformaci
on de M
obius w = (zi)/(z+i) modifica biholomorfamente H en el disco
unitario .

4.2.

M
etricas en superficies de Riemann

De acuerdo a la secci
on anterior, una superficie de Riemann es una variedad diferenciable de dimensi
on real 2 y en el estudio de la geometra diferencial, el concepto
de metrica riemanniana sobre ellas es una herramienta fundamental, lo cual necesitaremos m
as adelante.
Def inici
on 4.9. Una metrica riemanniana sobre una superficie de Riemann S, es una
forma cuadr
atica positiva sobre el espacio tangente en cada punto de S.
En una carta local z = x + iy, esta se puede escribir como:
ds2 = a (z) dx2 + 2b (z) dxdy + c (z) dy 2 ,

38

F. Estrada, J. Poisot



a (z) b (z)
donde a (z) > 0 y b (z) a (z) c (z) < 0 y la matriz asociada
depende
b (z) c (z)
suavemente de z. Con la notacion compleja dz = dx + idy y d
z = dx idy, la metrica
se puede expresar como:
2

ds2 = (z) |dz + (z) d

z| ,
2

con (z) > 0 y | (z)| < 1. La metrica estandar de C es ds20 := |dz| = dx2 + dy 2 y la
es:
de C
!2
2 |dz|
2
dsC =
.
2
1 + |z|
La metrica hiperb
olica (o de Poincare) en el disco unitario es:
ds2

!2

2 |dz|
2

1 |z|

la cual tiene a las transformaciones de Mobius M ob () como isometras.

De cada metrica, podemos obtener una distancia d (z1 , z2 ) integrando a lo largo
de las curvas de z1 a z2 y tomando el nfimo de tales longitudes. Dos metricas ds21
y ds22 son equivalentes conformemente, si existe una funcion positiva (z), tal que
ds22 = (z) ds21 . Una clase de equivalencia conforme de metricas, define una estructura
conforme sobre S. Trataremos tambien con estructuras conformes medibles, para las
cuales los coeficientes de la metrica se suponen medibles y las relaciones anteriores
son satisfechas casi donde quiera,
a la medida de Lebesgue. La estructura

 con respecto
conforme estandar es 0 := ds20 = ds2C , donde los corchetes denotan la clase de
equivalencia de las metricas respectivas. Se puede demostrar usando lo anterior, que
las estructuras conformes medibles estan en una correspondencia uno a uno con las
dz
diferenciales de Beltrami, tensores de la forma (z) dz
, la cual es consistente bajo
cambios de coordenadas. Una estructura conforme medible es llamada acotada, si
| (z)| < 1.

5.

Deformaciones de estructuras complejas y espacio de Teichm

uller

En el siglo XIX, B. Riemann se pregunta como describir las variaciones de estructuras complejas sobre una superficie dada. Esta problematica es retomada por
O. Teichm
uller en 1938, utilizando como herramienta fundamental las transformaciones casiconformes, dando origen a la Teora del espacio de Teichm
uller, que da

Transformaciones casiconformes

39

una respuesta a este problema construyendo una parametrizacion del conjunto de

todas las estructuras complejas de una superficie dada. Esta teora esta en la intersecci
on de muchas importantes areas de las matematicas como: la Teora de
superficies de Riemann, variedades complejas, grupos fuchsianos, kleinianos, grupos
de Lie, topologa en dimensiones 2 y 3, ecuaciones diferenciales, dinamica holomorfa
y Teora erg
odica. Recientemente esta teora ha empezado a jugar un rol importante
en la Teora de cuerdas.

5.1.

Deformaciones casiconformes de funciones holomorfas

abierto, denotamos con B (U ) el conjunto de todos los coeficientes

Dado U C
de Beltrami sobre U , que es la bola unitaria en L (U ). La metrica de Poincare sobre
B (U ), se define como sigue:
dB (1, 2 ) = sup esencz U dP (1 (z) , 2 (z)) ,
donde dP (1 (z) , 2 (z)) es la distancia de Poincare entre dos puntos en .
Un camino de Beltrami en U es una funcion t t B (U ), tal que para casi todo
z U , t t (z) es una geodesica hiperbolica en . Si t es un camino de Beltrami,
entonces su vector tangente en t = t0 ,
t0 (z) =

d
t (z) |t=t0 ,
dt

on medible esencialmente acotada, llamada vector de Beltrami. Inversaes una funci

mente, cualquier funci
on L (U ) es tangente a un u
nico camino de Beltrami.
Lema 5.1. (1) Sea f : U V una transformaci
on casiconforme. Si B (V ),
entonces su funci
on regreso f ? se define por:
?

(f ) (z) =

f (z) + (f (z))

f (z)
f (z)

1 + (f (z)) f (z)

f (z)
f (z)

y esta expresi
on es un coeficiente de Beltrami sobre U .
(2) La funci
on f ? : B (V ) B (U ), definida por 7 f ? , es una isometra de
la metrica de Poincare y transforma caminos de Beltrami en caminos de Beltrami.
Observaciones. (1) Si f es holomorfa, entonces:
(f ? ) (z) = (f (z))

f (z)
casi donde quiera
f (z)

y esta funci
on de regreso est
a bien definida a
un si f no es inyectiva.

40

F. Estrada, J. Poisot

(2) f = f ? (0). En otras palabras, el coeficiente de Beltrami de un homeomorfismo casiconforme f es el regreso del coeficiente de Beltrami identicamente cero.
(3) La acci
on tangente de f sobre un vector de Beltrami, esta dada por:



2
f (z)
1 |f |
f
(z)
(T f ? ()) () (z) = 
2 (f (z)) .
(z)
1 + (f (z)) f (z) f
f (z)
De manera que si es un vector de Beltrami tangente al camino de Beltrami t en
t = t0 y t0 = , entonces (T f ? ()) () es el vector de Beltrami tangente al camino
de Beltrami f ? (t ) en t = t0 . Notese que si f es holomorfa, entonces
(T f ? ()) () (z) = (f (z))

f (z)
casi donde quiera.
f (z)

Los caminos de Beltrami pueden ser usados para construir deformaciones de funciones holomorfas. Una demostracion del lema anterior, as como del teorema siguiente,
pueden encontrarse en [4].
Teorema 5.2. Sea F : U V una funci
on holomorfa entre conjuntos abiertos, tales
que V U . Sea t : V C un camino de Beltrami en V con 0 0, satisfaciendo
la condici
on
F ? (t ) = t para toda t.
Sea t : V Vt C una familia continua de homeomorfismos casiconformes con
0 = id, tal que el coeficiente de Beltrami de t es t . Entonces:
Ft = t F 1
t
es una familia continua de funciones holomorfas.
Def inici
on 5.3. Sea S una superficie de Riemann, un coeficiente de Beltrami sobre
S es una colecci
on de coeficientes de Beltrami i : Vi C, uno para cada carta
i : Ui Vi de S, llamada expresion de en i , satisfaciendo la condicion de
compatibilidad:

?
j 1
j = i sobre i (Ui Uj )
i
y la condici
on de acotaci
on:
|i (z)| < k para casi todo z Vi ,
donde k < 1 es independiente de i.

Transformaciones casiconformes

41

Def inici
on 5.4. Un homeomorfismo f entre dos superficies de Riemann S1 y S2 ,
es Kcasiconforme si todas las expresiones locales de f son Kcasiconformes. La
transformaci
on de regreso f ? : B (S2 ) B (S1 ), se define tomando los regresos de las
expresiones locales de la funci
on f . La metrica de Poincare sobre B (S) se define como
sigue:
dB (1 , 2 ) = sup sup esenczi (Ui ) dP (1,i (z) , 2,i (z)) .
i

1
0
Notemos que dP (1,i (z) , 2,i (z)) = dP (1,j (z 0 ) , 2,j (z 0 )) si 1
i (z) = j (z ).
De tal manera que el supremo anterior sobre i, puede ser tomado sobre cualquier
atlas. Notemos tambien que f ? es una isometra.
Decimos que una familia a un parameto t de coeficiente de Beltrami, es un camino
de Beltrami sobre la superficie de Riemann S, si para cada carta i : Ui i (Ui ),
t 7 i,t es un camino de Beltrami en i (Ui ), donde i,t es la expresion de t en esta
carta. An
alogamente, definimos un vector de Beltrami en el coeficiente de Beltrami
como una colecci
on i :i (Ui ) C de vectores de Beltrami, tales que:

?
T j 1
(j ) (j ) = i
i

y tal que el supremo esencial |i | es uniformemente acotado. Esta condicion de invarianza puede ser escrita en coordenadas locales como sigue:




j 1
i
1


1 j j i (z) = i (z) ;
j i
como antes, cada vector de Beltrami en determina un u
nico camino de Beltrami
t con 0 = e inversamente.

5.2.

Deformaciones
Complejas

casiconformes

de

estructuras

Con los conceptos introducidos en la seccion anterior y el Teorema de MorreyBojarsky-Ahlfors-Bers, podemos definir con toda precision el significado de la deformaci
on casiconforme de una estructura compleja, asociada a un coeficiente de Beltrami, sobre una superficie de Riemann.
Teorema 5.5. (Superficie de Riemann S ). Sean S una superficie de Riemann y
un coeficiente de Beltrami sobre S, entonces determina una nueva superficie de
Riemann S y una transformaci
on casiconforme f : S S , tal que f ? (0) = .
Corolario 5.6. (1) Toda transformaci
on casiconforme f : U U , donde U C un
dominio, es isot
opica a la identidad. (2) Toda transformaci
on casiconforme f : S S
con S una superficie, es isot
opica a la identidad.

42

F. Estrada, J. Poisot

Idea de la demostraci
on del teorema
Sea U = {i : Ui Vi , con i I} un atlas sobre S y para cada i U, sea i :
Vi C la expresi
on local de . Sea i : Vi i (Vi ) la transformacion casiconforme cuyo coeficiente de Beltrami es i , es decir, i? (0) = i . Entonces, U =
{i = i i : Ui i (Vi )} es un atlas para S. La transformacion casiconforme f
queda determinada localmente por las i .
Nota 5.7. Sea S el espacio topologico S dotado con la estructura compleja definida por el atlas U. Tomando f como la transformacion identidad en S , obtenemos
f ? (0) = , Por lo cual un camino de Beltrami t sobre S, define una familia a un
par
ametro de superficies de Riemann St . Si 0 = 0, entonces esta es una deformacion
de la estructura compleja original sobre S. Inversamente, dada cualquier superficie
de Riemann S1 y un homeomorfismo casiconforme f : S S1 , podemos obtener un
coeficiente de Beltrami = f ? (0) sobre S. Por lo tanto, podemos identificar el espacio
B (S) con el C (S) de todas las estructuras complejas sobre el espacio topologico S,
que son homeomorfas casiconformemente a la estructura original.

5.3.

Espacio de Teichm
uller de una superficie de Riemann

De acuerdo a las secciones anteriores, podemos dar la siguiente definicion de espacio de Teichm
uller:
Def inici
on 5.8. Dada una superficie S, dos coeficientes de Beltrami 1 y 2 sobre S
son equivalentes en el sentido de Teichm
uller 1 T 2 , si 1 = ? 2 , donde : S S
es un homeomorfismo casiconforme que es isotopico a la identidad. El espacio de clases
de equivalencia de coeficientes de Beltrami sobre S, es llamado espacio de Teichm
uller
de S y es dentado por T (S). Sea : B (S) T (S) la correspondiente proyeccion,
esta puede ser utilizada para dotar a T (S) de una estructura compleja. Definimos
sobre T (S) la metrica de Teichm
uller como sigue:


dT ([1 ] , [2 ]) = dB 1 ([1 ]) , 1 ([2 ]) .
Notemos que esto es precisamente el mnimo de la distancia de Poincare, de
dP (1 , ? (2 )) sobre todos los homeomorfismos casiconformes : S S, que
son isot
opicos a la identidad. Otra manera de definir el espacio T (S) es la siguiente: para cualquier transformacion casiconforme f : S S1 , donde S1 es otra superficie de Riemann, consideramos el par (S, f ). Decimos que dos pares (S1 , f1 )
y (S2 , f2 ) son equivalentes en el sentido de Teichm
uller ,si f2 f11 es homotopica
a una transformaci
on conforme de S1 sobre S2 . Denotamos por [S, f ] la clase de
equivalencia del par (S, f ). Entonces, llamamos al conjunto de todas las clases
de equivalencia el espacio de Teichm
uller de S.

Transformaciones casiconformes

43

Ejemplo 5.9. (1) El espacio de Teichm

uller C es trivial (cualquier transformacion
casiconforme en C es isot
opica a la identidad), lo cual se desprende del Teorema de
Integraci
on de Morrey-Bojarski-Ahlfors-Bers.
(2) Para la superficie de Riemann
S = AR = {z C : 1 < |z| < R}
con R > 1. Notemos que la imagen de S bajo una transformacion casiconforme,
es conformemente equivalente a otro anillo S1 = {z C : 1 < |z| < s} , y que toda
transformaci
on casiconforme de S sobre s misma, es homotopica a la identidad o a
la transformaci
on conforme z zs . Ademas, por el principio de reflexion, podemos
concluir que anillos correspondientes a diferentes valores de s, no son mutuamente
conformemente equivalentes. Por lo tanto, T (S) se identifica con el intervalo abierto
(1, ).
(3) Supongamos que S = 4 o S = {0}. Entonces, la imagen de S bajo una
transformaci
on casiconforme es conformemente equivalente a S y toda transformacion
casiconforme de S sobre s misma, es homotopica a la identidad. Por lo tanto, T ()
y T ( {0}) consisten de un solo punto.
(4) Supongamos que la cubriente universal de S es C. Por un teorema (consecuencia del Teorema de Uniformizacion) que afirma: una superficie de Riemann
tiene una cubriente universal biholomorfa a C si y solo si esta es biholomorfa a una
de las tres siguientes: C, C {0}, o C/ con un grupo de red. Entonces, S es
conformemente equivalente a una de las tres C, C {0}, o C/. La imagen de C
o C {0} por una transformacion casiconforme, es equivalente conformemente a
C o C {0}, respectivamente. Ademas, toda transformacion casiconforme de C sobre
s misma es homot
opica a la identidad. Por lo tanto, T (C) consiste de un solo punto.
Toda transformaci
on casiconforme de C {0} sobre s misma, es homotopica a la
identidad o a la transformaci
on conforme z z1 . Por tanto, T (C {0}) consiste de
un solo punto. Con una argumentacion un poco mas elaborada, se puede mostrar que
existe un homeomorfismo entre T (C/) y H.

6.

Movimiento holomorfo

La introducci
on de este concepto estuvo motivada por el estudio de la estabilidad
estructural (la cual trataremos en una seccion posterior) de la dinamica generada por
la iteraci
on de funciones racionales de una variable compleja, actuando en la esfera
de Riemann en un celebre artculo de Mane, Sad y Sullivan [M SS]. Esta teora se ha
convertido en a
nos recientes en una herramienta muy importante para el estudio de
la din
amica holomorfa y de los espacios de Teichm
uller.

44

F. Estrada, J. Poisot

es llamada movimiento holomorfo de

Def inici
on 6.1. Una funci
on : 4 A C

un conjunto A C, si:
(i) para cualquier a A fijo, la transformacion (, a) es holomorfa en .
(ii) para cualquier fijo, la transformacion a (a) = (, a) es inyectiva.
(iii) la transformaci
on 0 es la identidad en A.
Observaci
on. En la definicion anterior, podemos sustituir el disco 4 por una
variedad compleja conexa.
No es difcil convencerse de que cada transformacion g, que es parte de un movimiento holomorfo, es casiconforme. En particular, cada transformacion que es parte
de un movimiento holomorfo, distorsiona figuras en a lo mas una cantidad acotada.
El resultado que introdujo este concepto y que sirve para caracterizar la estabilidad
es:
Teorema 6.2. (lema MSS). Sea una variedad compleja analtica, y sea A C.
Si : A C es un movimiento holomorfo de A, entonces para cada , la
transformaci
on A C, dada por a 7 (, a), es casiconforme.
Puede consultarse una demostracion de este teorema en [15].
N
otese que no se pide que A sea abierto, as que la definicion analtica de casiconformidad no tiene sentido, por lo que es necesario usar caracterizaciones geometricas
de las transformaciones casiconformes.
Corolario 6.3. Si : A C es un movimiento holomorfo, entonces es
continua, y se extiende continuamente a un movimiento holomorfo
b : A C,
donde A es la cerradura de A en C.
Un resultado m
as general tambien es cierto.
Cualquier movimiento holomorfo :
Teorema 6.4. (Slodkowski). Sea A C.

C.

A C, se extiende a un movimiento holomorfo : C

Una demostraci
on se encuentra en [8].

7.
7.1.

Aplicaciones a la din
amica holomorfa
Preliminares sobre din
amica holomorfa

P (z)
Una funci
on racional f (z) = Q(z)
, donde P y Q son polinomios de una variable compleja con coeficientes complejos y primos relativos, define una funcion holomorfa de C en s misma. Consideramos a f como una transformacion cubriente

Transformaciones casiconformes

45

ramificada de C. Para una cantidad finita de excepciones, cada valor w C tiene exactamente d preim
agenes, donde el grado de f es d = max {grado de P, grado de Q}.
Siempre supondremos que el grado de f es mayor que 1. Denotamos por Rd el conjunto
de todas las funciones racionales de grado d. La iteracion de f es la sucesion de funciones {f n }n0 , donde f 0 = id, f n+1 = f f n , lo cual genera un sistema dinamico holomorfo en la esfera de Riemann C. La orbita de z C bajo f es O+ (z) = {f n (z) : n 0}.
1
La
orbita inversa es O (z) = n0 f n (z) = n0 (f n ) (z). La orbita grande de z
es Og (z) = n0 O (f n (z)). Dos funciones racionales f y g se dicen conjugadas por
una transformaci
on de M
obius h : C C, si g = h f h1 . Notemos que en este caso
h lleva
orbitas bajo f a
orbitas bajo g. Por lo tanto, funciones racionales conjugadas
por una transformaci
on de M
obius seran consideradas equivalentes desde un punto
de vista din
amico. Consideraremos tambien conjugaciones mediante homeomorfismos
o transformaciones casiconformes, y conjugaciones locales, las cuales seran definidas
solo en subconjuntos de C, tales como una vecindad de un punto periodico.
Un punto es llamado punto periodico si existe un n 1, tal que f n (z) = z, y el
m
as peque
no n con tal propiedad es llamado perodo de z. El multiplicador del ciclo
0
es la derivada = (f n ) (z) cuando z 6= , y es definido despues de una conjugacion
con una apropiada transformacion de Mobius, enviando el en C cuando z = .
Cuando 0 < || < 1 (respect. = 0, || = 1, | > 1|), z es llamado atractor (respect.
superatractor , indiferente, repelente). Un punto periodico indiferente z es llamado parab
olico, si es una raz de la unidad, o irracionalmente indiferente en el otro caso.
Un punto crtico de f es un punto donde f no es localmente inyectivo, lo cual
equivale a que f 0 (z) = 0, si z 6= y f (z) 6= . Denotamos por Cf el conjunto
de puntos crticos y Vf = f (Cf ) es el conjunto de valores crticos de f . Entonces
f : C \ f 1 (Vf ) C \ Vf es una cubierta (no ramificada) de grado d. El conjunto
poscrtico Pf de f , se define por:
Pf = zCf , n1 {f n (z)} .
En cierto sentido, este conjunto captura la esencia del sistema dinamico generado por
f . Un punto excepcional es un punto z, tal que O (z) es finito.
Def inici
on 7.1 (Familia normal y conjuntos de Fatou y Julia). Una familia F de
funciones holomorfas de un conjunto abierto U C a C, se dice ser normal si para cualquier sucesi
on de F, existe una subsucesion que converge uniformemente en
conjuntos compactos, donde la distancia en la imagen es medida en terminos de la
distancia esferica.
Un teorema de Montel asegura que cualquier familia que omite tres valores en C,
es normal; adem
as, las funciones lmite tambien son holomorfas. El conjunto de Fatou

46

F. Estrada, J. Poisot

de f esta definido por:



la familia de iteradas {f n }n0 es normal
Ff = z C :
en alguna vecindad abierta de z
y su complemento es el conjunto de Julia Jf = C \ Ff . Intuitivamente, si el valor
inicial z Ff , entonces el comportamiento de su orbita O+ (z) para n suficientemente
grande, no es sensible a peque
nas perturbaciones de z.
A continuaci
on se enuncian los resultados basicos acerca de los conjuntos de Fatou
y Julia.
Teorema 7.2. (Linealizaci
on, forma normal). Supongamos que f es una funci
on
holomorfa definida en una vecindad de z0 C, tal que f (z0 ) = z0 y = f 0 (z0 ).
(i) Si 0 < || < 1
o || > 1, entonces existe una transformaci
on conforme
definida en una vecindad de z0 , tal que (z0 ) = 0, 0 (z0 ) 6= 0 y f 1 (z) = z
en una vecindad de 0.


(ii) Si es una raz qesima primitiva de la unidad, = exp 2i pq , y f q no es
kq+1

la identidad, entonces f q tiene una expansi

on de la forma f q (z) = z +c (z z0 )
+
qk+2
O (z z0 )
, donde k N y c 6= 0. En este caso, existen kq dominios

(i

Z/kqZ)
i


con z0 i y funciones holomorfas i : i C, tales que f i {z0 } i+kp ,
f nq (z) z0 en i (n ) y i (f q (z)) = i (z) + 1.
dj
dk
(iii) Si = 0, dz
j f (z0 ) = 0 (j = 1, ...k 1) y dz k f (z0 ) 6= 0, entonces existe
una transformaci
on conforme definida en una vecindad de z0 , tal que (z0 ) = 0,
0 (z0 ) 6= 0 y f 1 (z) = z k en una vecindad de 0.
En el caso (i), es llamada coordenada linealizante; las i en (ii) son llamadas
coordenadas de Fatou, y en (iii) es llamada coordenada de Bottcher .
Teorema 7.3. Para cualquier funci
on racional f , se tiene lo siguiente:
(i) El conjunto de Julia Jf es distinto del vaco y cerrado en C, y Ff es abierto.
Ellos son completamente invariantes (es decir, f (Ff ) = Ff = f 1 (Ff ) y f (Jf ) =
Jf = f 1 (Jf )). Adem
as, C = Jf t Ff .
(ii) Puntos peri
odicos atractores y sus cuencas de atracci
on est
an contenidos en
Ff , donde la cuenca de atracci
on de z0 de perodo p, se define por:


B (z0 ) = z C : f np (z) z0 cuando n .
Puntos peri
odicos parab
olicos est
an en Jf ; sin embargo, ellos tienen cuencas (excluyendo las
orbitas inversas de los puntos parab
olicos) que est
an contenidas en Ff .
En ambos casos, el ciclo de cuencas contiene al menos un punto crtico. Puntos peri
odicos repulsores est
an en Jf . En cuanto a los puntos indiferentes irracionales,
ambos casos pueden ocurrir.

Transformaciones casiconformes

47

(iii) Si U es un conjunto abierto, tal que U Jf 6= , entonces n0 f n (U )cubre

C, excepto a lo m
as dos puntos, los cuales, si existen, son excepcionales.
(iv) Si z no es un punto excepcional, entonces Jf O (z). La igualdad vale si
z Jf .
(v) Jf = a la cerradura de {puntos peri
odicos repulsores de f}.
(vi) Si f es un polinomio, entonces es un punto fijo superatractor y
Jf = Kf = B () ,
donde Kf es el conjunto de Julia lleno; es decir,
n
o
Kf = z C : {f n (z)}n0 es acotada .
Una demostraci
on de estos teoremas puede encontrarse en [14, 15, 3].

7.2.

Teorema de No Errancia de Sullivan

Dada la invariancia bajo iteracion de los conjuntos de Julia y Fatou y como el

conjunto de Fatou es abierto, en general, el conjunto de Julia subdivide en componentes conexas al conjunto de Fatou, las cuales llamaremos componentes de Fatou. Dada una componente U Ff , el conjunto f (U ) es una componente conexa de C Jf y f induce una transformacion propia de U sobre f (U ). Decimos
que U es peri
odica si existe k > 0, tal que f k (U ) = U ; si existe m 0, tal que
m
f (U ) es peri
odica, decimos que U es periodica eventualmente si las f n (U ) son
dos a dos distintas, por lo que llamamos a U componente de Fatou errante. Uno
de los problemas m
as importantes en la dinamica racional que plantearon y dejaron sin respuesta Fatou y Julia (1920), consistio en averiguar sobre la existencia de
componentes de Fatou errantes. En 1982, D. Sullivan introdujo las transformaciones
casiconformes y el espacio de Teichm
uller en la solucion de este problema. Esta tecnica
ha resultado la base de las subsecuentes investigaciones en esta area.
Teorema 7.4. (No Errancia). Una funci
on racional de grado mayor que uno, no
tiene componente de Fatou errante.
Idea de la demostraci
on. Sea U una componente errante. Para n suficientemente grande, f induce un isomorfismo de f n (U ) sobre f n+1 (U ), as que haciendo un
corrimiento, podemos suponer que esto sucede desde n = 0. Sea una forma de
Beltrami sobre U , tal que kk < 1, transportemosla con f sobre las f n (U ), despues
sobre las f m (f n ), y por u
ltimo, la extendemos por 0. Se obtiene sobre C una forma
de Beltrami en L de norma < 1, que de acuerdo al Teorema de Morrey-BojarskyAhlfors-Bers, define sobre C una estructura compleja (diferente en general de

la
estructura compleja est
andar 0 ), y f es una transformacion analtica de C, en

48

F. Estrada, J. Poisot

ella misma. Por el teorema de uniformizacion, existe un isomorfismo de C,


sobre C, 0 . Entonces, f = f 1
on racional. Sullivan
es una nueva funci
demuestra que para toda p, se puede encontrar en el espacio de formas de Beltrami
continuas con soporte compacto sobre U , un subespacio E de dimension p, y en E, un
abierto no vaco W , tal que las {f }W son distintas dos a dos, lo cual es una contradicci
on con el hecho de que una transformacion racional de grado d solo depende
de un n
umero finito de par
ametros.

7.3.

El espacio de Teichm
uller de una funci
on racional

Dado que no hay componentes errantes en el conjunto de Fatou, toda componente

de Fatou es peri
odica eventualmente por lo cual el siguiente teorema nos da una
descripci
on completa de la dinamica de una funcion racional sobre su conjunto de
Fatou. Utilizando el teorema de linealiacion y forma normal de la seccion anterior y el
desarrollo de Taylor de f en una vecindad de los puntos periodicos, podemos enunciar
el siguiente teorema.
Teorema 7.5 (Teorema de clasificacion). Si U es una componente de Fatou de peri
odo p para f , entonces solo una de las siguientes afirmaciones es v
alida.
(CA) Cuenca atractora: existe un punto peri
odico atractor z0 U de perodo p
tal que la sucesi
on de iteradas f np (z) z0 (n ) uniformemente sobre conjuntos
compactos en U ;
(CSA) Cuenca superatractora: igual que en (CA) excepto que z0 es superatractor
y adem
as z0 es un punto crtico de f .
(CP) Cuenca parab
olica: existe un punto peri
odico parab
olico z0 U tal que
f p (z0 ) = z0 , el multiplicador del ciclo es 1 y fnp (z) z0 (n ) uniformemente
sobre conjuntos compactos de U .
(DS) Disco de Siegel: existe una transformaci
on conforme : U y un n
umero
irracional tal que f p 1 (z) = exp (2i) z;
(AH) Anillo de Herman: Lo mismo que en (DS) excepto que es reemplazado por
un anillo A = {z C : r < |z| < 1}.
Puede consultarse un demostracion en [14, 15, 3]. Para el n
umero de ciclos de
componentes de Fatou peri
odicas, tenemos:
Teorema 7.6 (Teorema de Shishikura). Denotamos por nCA , nSCA , nCP , nDS , nAH
el n
umero de cclos de cuencas atractoras, cuencas superatractoras, cuencas parab
olicas, discos de Siegel y anillos de Herman de una funci
on racional de grado d. Entonces
nCA + nSCA + nCP + nDS + 2nAH 2d 2 y nAH d 2. Adem
as, existen al menos
(nDS + 2nAH ) de puntos crticos en el conjunto de Julia.

Transformaciones casiconformes

49

Para una demostraci

on vease [17].
Deformaciones casiconformes sobre componentes de Fatou. Cuando f tiene una componente de Fatou periodica, podemos construir una deformacion casiconforme especfica de acuerdo a su tipo. Veamos esta construccion en el caso de cuencas
atractoras. Supongamos que f tiene un punto periodico atractor z0 de perodo p con
multiplicador . Sea la coordenada linealizante como en el Teorema de Linealizaci
on. Notemos que puede ser extendida a toda la cuenca B (z0 ) por medio de la
ecuaci
on funcional. Sea B 0 (z0 ) igual a B (z0 ) menos la orbita grande de z0 y puntos
crticos.
Definimos:
E = (B 0 (z0 ))  ,
donde la equivalencia es definida por w w0 si y solo si w0 = n w para alg
un n Z.
Entonces, E es isomorfo a un toro C ((log ) Z + 2iZ) menos un conjunto finito de
puntos, y la funci
on induce una funcion natural : B 0 (z0 ) E, que es una transformaci
on cubriente. De hecho, E puede ser identificado con el conjunto de orbitas
grandes en B 0 (z0 ). Dada cualquier estructura conforme medible acotada sobre E,
podemos definir una estructura conforme f invariante por 0 = ? () sobre B (z0 )
y 0 = 0 sobre el resto. Por lo tanto, el lema de Shishikura nos permite obtener la
deformaci
on casiconforme g de f mediante la estructura 0 .
An
alogamente, una deformacion casiconforme se puede construir para cuencas
parab
olicas, donde la coordenada linealizante es reemplazada por la de Fatou, donde
el toro C (log 0 ) Z + 2iZ menos un conjunto finito de puntos, es reemplazado por
el cilindro CZ menos un conjunto finito de puntos.
Para discos de Siegel o anillos de Herman, notemos que cualquier orbita grande
(excepto para el centro de un disco de Siegel) es densa en una curva invariante. Por
esta raz
on, las deformaciones estaran basadas sobre la deformacion de superficies
de Riemann foliadas; por ejemplo, un disco o un anillo redondo foliado por discos
concentricos, y tal deformaci
on debera preservar la foliacion. Una situacion similar
ocurre para cuencas superatractoras, pues la clausura de orbitas grandes corresponde
a la uni
on de crculos concentricos en la coordenada de Bottcher.
Existe tambien la posibilidad de una deformacion casiconforme soportada sobre
un conjunto de Julia.
Def inici
on 7.7. Decimos que f tiene un campo de lneas invariante sobre el conjunto
de Julia, si existe un subconjunto completamente invariante medible X contenido en
Jf ; es decir, f 1 (X) = X, con medida de Lebesgue positiva y una funcion medible
X 3 z 7 l (z), donde l (z) es una lnea recta que pasa por 0 en el espacio tangente
Tz C y f 0 eva l (z) en l (f (z)) para todo z X.

50

F. Estrada, J. Poisot

Si f tiene un campo de lneas invariante sobre su conjunto de Julia, es decir, en

dz
soportada en X, con ||=1. Una
X se tiene una diferencial de Beltrami = (z) dz
diferencial de Beltrami determina una funcion en el espacio tangente, homogenea de
grado cero, por:
a (z)
(v ) = (z)
,
a (z)
donde v = a (z ) z es un vector tangente. El correspondiente campo de lneas
consiste en esos vectores tangentes, para los cuales (v ) = 1 (union el vector cero).
Entonces, este define un campo de elipses con una excentricidad constante. Este, a
su vez, define una estructura conforme invariante que es diferente de la estructura
conforme est
andar sobre el conjunto de Julia. Por lo tanto, f puede ser deformada
por .
Para describir el espacio de Teichm
uller de funciones racionales, se necesitan las
siguientes definiciones:
Def inici
on 7.8. La clase de conjugacion casiconforme de f es:
cc (f ) = {funciones racionales que son casiconformemente conjugadas a f } .
El espacio de Teichm
uller de una funcion racional f es:


g es una funcion racional; h es una transformacion
T (f ) = (g, h) |
 ,
casiconforme, tales que h f = g h
donde la relaci
on de equivalencia es definida por (g1 , h1 ) (g2 , h2 ) si y solo si existe
una isotopa Ht : C C (t [0, 1]), tal que Ht g1 = g2 Ht y H0 = h2 h1
1 y H1
es una transformaci
on de M
obius.
Otras definiciones necesarias son: un punto es llamado acclico si no es periodico
ni preperi
odico. Dos puntos son llamados equivalentemente foliados por la gran orbita,
si tienen la misma
orbita grande o ambos estan en el conjunto de Fatou y las clausuras
de las
orbitas grandes dentro del conjunto de Fatou coinciden. Por ejemplo, los puntos
sobre las mismas curvas invariantes de un disco de Siegel o de un anillo de Herman, son
equivalentes en este sentido. Tambien los puntos z, z 0 en una cuenca superatractora,
kn
cuyas coordenadas de B
ottcher estan relacionadas por | (z 0 )| = | (z)| (n Z)
(donde k es el grado local del punto periodico superatractor), son equivalentes en este
sentido.
Sea nAC (U ) denota el n
umero de clases de equivalencia foliada por grandes orbitas
de puntos crticos acclicos, cuya orbita intersecta U . Sea nCL el n
umero maximo de
campos de lneas invariantes sobre el conjunto de Julia con soportes mutuamente
ajenos.

Transformaciones casiconformes

51

Teorema 7.9 (McMullen-Sullivan). El espacio de Teichm

uller de una funci
on racional f , puede ser descrito como sigue:
Y
T (f ) = M1 (Jf , f )
T (U, f ) ,
U

donde el producto es sobre todos los ciclos peri

odicos de componentes de Fatou, con
U representando una componente en el ciclo.
(i) M1 (Jf , f ) es el conjunto de diferenciales de Beltrami f invariantes con
soporte en Jf y || < 1. Este espacio es isomorfo al polidisco de dimensi
on nCL .
(ii) Si U es una cuenca atractora o una cuenca parab
olica, entonces T (U, f ) es
el espacio de Teichm
uller ordinario del toro cociente o del cilindro cociente, descritos
antes con nAC (U ) perforaciones correspondientes a las o
rbitas grandes de puntos
crticos. En el u
ltimo caso, el cilindro perforado es isomorfo a C con nAC (U ) + 2
perforaciones.
(iii) Si U es una cuenca superatractora, un disco de Siegel o un anillo de Herman,
entonces T (U, f ) es el espacio de Teichm
uller definido por un disco foliado o anillo
foliado con hojas marcadas, correspondiendo a las
orbitas grandes foliadas de puntos
crticos.
(iv) La dimensi
on de T (U, f ) es nAC (U ) para una cuenca atractora, una cuenca

superatractora o un disco de Siegel. Esta

es nAC (U ) 1 para una cuenca parab
olica
y nAC + 1, para un anillo de Herman. Por lo tanto,
dim T (f ) = nAC nCP + nAH + nCL .
Adem
as, existe un grupo M od (f ) (grupo modular), que act
ua sobre T (f ) propia y
discontinuamente y existe un isomorfismo de orbifolds:
cc (f )  M obius ' T (f ) M od (f ) .
Para una demostraci
on de este teorema, cons
ultese [13, 12].

7.4.

Estabilidad estructural

Def inici
on 7.10. Una funci
on racional es llamada hiperbolica, si todo punto crtico
es atrado a un ciclo peri
odico atractor o superatractor. Una familia holomorfa de funciones racionales, parametrizada por una variedad compleja conexa , es una funcion
holomorfa F : C C. Entonces, f = F (, ) : C C es una funcion racional de
grado constante d > 1. Una familia se dice que es Jestable en el parametro 0 ,
si existe una vecindad U de 0 contenida en y una funcion H : U J (f0 ) C,
tal que h = H (, ) : J (f0 ) J (f ) es un homeomorfismo para cada U ;
y adem
as h f0 = f h y h h0 cuando 0 , uniformemente sobre
J (f0 ). De manera an
aloga, es definida estabilidad estructural en el parametro 0 si
reemplazamos J (f0 ) y J (f ) por C en la definicion anterior.

52

F. Estrada, J. Poisot

Cuando es igual a Racd (la variedad compleja constituida por todas las funciones racionales de grado fijo d) y F es la funcion F (g, z) = g (z) (donde g Racd ),
entonces las funciones mismas son llamadas Jestables o estructuralmente estables,
si las condiciones anteriores son satisfechas.
Lema 7.11. Las funciones racionales hiperb
olicas son Jestables. Adem
as, el conjunto de funciones estructuralmente estables es abierto y denso dentro de las hiperb
olicas. Las conjugaciones h pueden ser elegidas de manera que h es un movimiento
holomorfo del conjunto de Julia (o de C en el caso de funciones estructuralmente
estables).
La primera afirmaci
on en el lema anterior, es una consecuencia inmediata del
lema. De hecho, para funciones hiperbolicas, los puntos periodicos repulsores no
se bifurcan, por lo cual ellas definen un movimiento holomorfo, el cual se extiende a
su cerradura, que es el conjunto de Julia. Ademas, hay otro notable resultado.
Teorema 7.12. Para cualquier familia holomorfa de funciones racionales, los par
ametros estructuralmente estables forman un abierto y denso. Adem
as, en las componentes
conexas de los par
ametros estructuralmente estables, la conjugaci
on h es casiconforme y define un movimiento holomorfo.
Una demostraci
on de este teorema puede consultarse en [4, 13, 15].

7.5.

Ciruga casiconforme

Ciruga casiconforme es una manera de construir nuevas funciones racionales con

ciertas propiedades din
amicas, a partir de las funciones ya existentes. Para hacer
esto, se construye una transformacion que no es holomorfa (al menos en una parte
de su dominio), pero que a
un es casi-regular. Despues, convocando al Teorema de la
Transformaci
on Medible de Riemann, se recupera la holomorfa. Con el paso por las
transformaciones casi-regulares, se gana flexibilidad en la construccion.
Def inici
on 7.13. Una transformacion continua g : C C es llamada casi-regular , si
existe una K 1, tal que en cada punto de C, g puede ser localmente escrita como
una composici
on de una funci
on holomorfa y una funcion Kcasiconforme.
Las estructuras conformes medibles pueden ser regresadas por transformaciones
casi-regulares. Por tanto, se puede hacer una construccion como en el teorema de la
secci
on 5.1 para transformaciones casi-regulares. La pregunta es como obtener una
que sea invariante.
Lema 7.14. (Principio de ciruga). Sup
ongase que g : C C es una transformaci
on
casi-regular y es una estructura conforme medible acotada, tal que g ? () = (casi

Transformaciones casiconformes

53

donde quiera) fuera de un conjunto medible X. Si cada

orbita de g pasa por X a
lo m
as una vez (o un n
umero acotado de veces), entonces existe una transformaci
on
on racional.
casiconforme : C C, tal que h = g 1 es una funci
Una demostraci
on de este lema puede consultarse en [17].
A continuaci
on, se establecen algunas aplicaciones de la ciruga. Empezamos con
la Teora de las transformaciones con parecido polinomial, introducidas por DouadyHubbard, que de hecho inician los trabajos en ciruga.
Def inici
on 7.15. Una transformacion con parecido polinomial, es un triplete f =
(f, U, V ) donde, U , V son dominios conexos simplemente en C con U V y f : U V
es una funci
on holomorfa propia. Su grado es el n
umero de imagenes inversas de un
punto z V , contadas con multiplicidad, que son independientes de z. Su conjunto
de Julia lleno es:
Kf = {z U : f n (z) (n = 0, 1, 2, . . .) estan definidas y pertenecen a U } .
Cualquier polinomio P puede ser restringido a un dominio U de modo que
(P |U , U, P (U ))
se convierte en una transformacion con parecido polinomial del mismo grado.
Teorema 7.16. (Rectificaci
on). Sea f = (f, U, V )una transformaci
on con parecido
polinomial de grado d, y sup
ongase adem
as que las fronteras de U y V son curvas de
Jordan analticas reales. Entonces, existe un u
nico polinomio P (z) y una transformaci
on casiconforme : V V 0 C, tal que f = P sobre U . Adem
as, puede
ser escogido de forma que /z = 0 casi donde quiera en Kf (lo cual unicamente tiene sentido si Kf tiene medida positiva). El polinomio P es u
nico, salvo conjugaci
on
afn si Kf es conexo.
Una demostraci
on puede consultarse en [6].
La noci
on de transformaci
on con parecido polinomial es de gran importancia en
la Teora de las renormalizaciones, la cual es de gran importancia en la dinamica
holomorfa.
Otro tipo de ciruga es la que relaciona los anillos de Herman con los discos
de Siegel. Un homeomorfismo de R en s mismo, o de S 1 en si mismo, es llamado
casisimetrico si este se extiende a una transformacion casiconforme de C.
Teorema 7.17. Sea f una funci
on racional que enva S 1 = {z C : |z| = 1} sobre
s mismo. Sup
ongase que f |S 1 es casisimetricamente conjugada a una rotaci
on irracional z exp (2i) z sobre S 1 , donde R \ Q. Entonces, existe una funci
on

54

F. Estrada, J. Poisot

racional h y
una transformaci

on casiconforme : C C, tal que h = f 1 sobre C \ 4 y h tiene un disco de Siegel con n
umero de rotaci
on , el cual contiene a
(4)

como
un
subdisco
invariante.
La
curva
S 1 es una curva invariante en el disco de Siegel o su frontera, de acuerdo a
cuando S 1 sea una curva invariante en un anillo de Herman de f o no.
Una demostraci
on puede consultarse en [16]. Si f tiene un anillo de Herman
de perodo 1, el cual contiene a S 1 como una curva invariante, entonces f |S 1 es
conjugado de forma real-analtica a una rotacion irracional; por tanto, esta ciruga
puede ser aplicada. Sin embargo, un ejemplo mas interesante es el caso de la funcion:
f (z) = exp (i) z 2

z3
,
1 3z

la cual tiene un punto crtico en S 1 . Para cualquier n

umero irracional , existe un
R, tal que f |S 1 tiene n
umero de rotacion , lo cual significa en este caso que
las
orbitas de f |S 1 tienen el mismo orden cclico como el de z 7 exp (2i) z. Sujeta
a una condici
on de teora de n
umeros llamada de tipo acotado, Herman fue capaz
de demostrar que f |S 1 es conjugado casisimetricamente a la rotacion irracional. De
forma que obtuvo el siguiente:
Teorema
umero irracional de tipo acotado, es decir, satisface

7.18. Si es un n

p
2
que  q  Cq para cualquier pq Q con una constante fija C > 0, entonces
la funci
on P (z) = exp (2i) z + z 2 tiene un disco de Siegel, cuya frontera es un
cuasicrculo conteniendo un punto crtico de P .
Una demostraci
on puede consultarse en [16].
Este artculo constituye una introduccion a los temas tratados. Nos resta solamente citar las referencias en las cuales se basa este artculo y donde pueden encontrarse
las demostraciones omitidas en esta presentacion, as como mayor extension en su
tratamiento.

Bibliografa
[1] Ahlfors, L. V. Complex Analysis. McGraw-Hill, Ltd. (1966).
[2] Ahlfors, L. V. Lectures on Quasiconformal Mappings. University Lecture Series,
Vol. 38 (2006). AMS.
[3] Lennart, C.; W. Gamelin, T. Complex Dynamics. Universitext: Tracts in Mathematics (1991).

Transformaciones casiconformes

55

[4] De Melo, W.; Van Strien, S. One-dimensional Dynamics. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 25. Springer-Verlag, Berlin (1993).
[5] Douady A. Systems Dynamiques Holomorphes. Seminaire Bourbaki (1982/83)
No. 599.
[6] Douady A.; Hubbard, J. H. On the Dynamics of Polynomial-like Mappings. Ann.
Sci. ecole Norm. Sup. (4) 18 (1985), No. 2, pp. 287-343.
[7] Douady A. Le theor`eme dntegrabilite des structures presque complexes en:
The Mandelbrot Set, Theme and Variations. London Mathematical Society, Lectures Notes Serie 274.
Bourbak i
[8] Douady A. Prolongement de mouvements holomorphes. SeminairA
No. 775 (1995), Asterisque 227, pp. 7-20
[9] H. Farkas; I. Kra. Riemann Surfaces. Graduate Texts in Mathematics. SpringerVerlag, New York (1980).
[10] Imayoshi Y. Taniguchi M. An Introduction to Teichm
uller Spaces. SpringerVerlag (1992).
[11] Lehto, O. Univalent Functions and Teichm
uller Spaces. GTM Springer-Verlag
(1987).
[12] MacMullen, C. T. Complex Dynamics and Renormalization. Annals of Mathematics Studies Princeton University Press (1994).
[13] MacMullen, C. T.; Sullivan, D. Quasiconformal homeomorphisms and dynamics
III. The Teichm
uller Space of Holomorphic Dynamical Systems. Adv. Math. 135,
No. 2 (1998), pp. 351-355.
[14] Milnor, J. Dynamics in one Complex Variable Third edition. Annals of Mathematics Studies, 160, Princeton Univ. Press. Princeton N. J. (2006).
[15] Morosawa, S.; Nishimura, Y.; Taniguchi, N.; Ueda, T. Holomorphic Dynamics.
Cambridge Studies in Advanced Mathematics, 66. Cambridge University Press
(2000).
[16] Petersen, C. L. Local Connectivity of Some Julia Sets Containing a Circle with
an Irrational Rotation. Acta Math. 177, No. 2 (1996), pp. 163-224.
[17] Shishikura M. On the Quasiconformal Surgery of Rational Functions. Ann. Sci.
ecole Norm. Sup. (4) 20, No. 1 (1987), pp. 1-29.
[18] Sullivan, D. Quasiconformal Homeomorphisms and Dynamic. I. Solution of the
Fatou-Julia Problem on Wanderings Domains. Ann. of Math. (2) 122, No. 3
(1985), pp. 401-418.

56

F. Estrada, J. Poisot
Francisco Estrada Garca (festrada@fcfm.buap.mx)
Julio Poisot Macas (jpoisot@fcfm.buap.mx)
Facultad de Ciencias Fsico Matematicas. Benemerita Universidad Autonoma de Puebla - Ciudad Universitaria.