Вы находитесь на странице: 1из 15

SUPERFICIES DE RIEMANN

J.

Cuf

En sus esfuerzos por construir de una manera slida la teora de


las funciones analticas de una variable compleja, Riemann se di
cuenta de que era necesario abandonar el plano complejo como soporte de tales funciones . Ello es debido a que la analiticidad es una
propiedad local y es,

por tanto, una restriccin innecesaria impo-

ner un dominio global con propiedades prefijadas para todas las funciones .
El hecho de que es inadecuado fijar como dominio de todas las
funciones analticas el plano complejo viene ilustrado por la imposi
bilidad de resolver el problema de la prolongacin analtica sin s
lirse del plano . Puesto que hay muchas funciones holomorfas en una
regin que pueden extenderse a una regin mayor,

es natural

inten-

tar buscar el mayor dominio posible para una funcin analtica y es


fcil

ver, mediante ejemplos,

que este problema no tiene solucin

en el plano : tomemos U,,y una determinacin de log z en-\k. ;

esta fun

cin se prolonga a los abiertos V,


y Vz por medio de determinaciones
del log .,

pero no se puede prolon-

gar a ningGn abierto que contenga


a V.~ v V2' porque las prolongaciones a V, y VZ
siempre difieren en
. La solucin del problema de la
prolongacin analtica la proporcio
na la idea de superficie de Riemann
asociada a una funcin la cual es el dominio natural mximo de la
funcin construida a partir de su comportamiento local .
Histricamente,

la nocin de superficie de Riemann se ha utiliza-

do en dos sentidos distintos aunque . intimamente relacionados . Riermnn, en au tesis, resolvi la dificultad de construir un dominio
natural para las funciones multiformes, equivalente al de la prolongacin analtica, con la idea fundamental de hacer variar la

variable z sobre un dominio que puede recubrir una parte del plano complejo varias veces . Aunque actualmente se huya del uso de

funciones multiformes, la idea de Riemann es bsica y se puede axio

matizar fcilmente, ello conduce a la nocin de superficie recubridora .

Aunque inicialmente la idea de superficie de Riemann aparece,

pues, ligada a una funcin, posteriormente se ha desarrollado el es


tudio de las superficies de Riemann de una forma abstracta, como va
riedades complejas independientes de las funciones que les dieron
origen .

Ya el mismo Riemann en sus trabajos sobre los fundamentos de la

geometra introdujo lo que se conoce por variedad diferenciable,

idea que se generaliza a la de variedad compleja : hoy en da por super


ficie de Riemann se entiende una .variedad compleja de dimensin uno .
El punto de partida para la teora moderna de las superficies de

Riemann es la obra de H. weyl "Die Idea der Riemannschen Flche"


(1913) .

La teora abstracta de las superficies de Riemann tiene una par


te algebrica y una parte analtico-geomtrica . La parte algebrica

es,esencialmente, el estudio de las superficies de Riemann compactas

y el hecho fundamental es que toda superficie de Riemann compacta es

i
i
i

t asociada cannicamente a una curva algebrica del plano proyectivo ; el estudio de ambas categoras es equivalente y lo es a su vez
al estudio de los cuerpos de funciones algebricas

que son as los .

cuerpos de funciones meromorfas sobre una superficie de Riemann com-

pacta o los cuerpos de funciones racionales sobre una curva algebraica .


Todas las nociones . y resultados sobre la curva tienen sus anlogos en
la superficie y en el cuerpo de funciones . El punto de partida para
el estudio y clasificacin de estas superficies es una importante
24

relacin de dualidad, debida a Riemann y Roch que permite calcular en


la dimensin de un divisor (o sea de un fibrado sobre la

muchos casos,

superficie) . No nos ocuparemos aqu de esta parte de la teora de super


- ficies de Riemann .
La parte analtica trata ms bien de los problemas de existencia de
funciones que tienen un carcter especial en relacin con la estructura analtica como son las funciones sixbarm6nicas, armnicas o analticas,

as cmo de los problemas de construccin, clasificacin y representacin conforme de superficies de Riemann.

En las dos partes, algebraica y andtica, juegan un papel muy impcr

tante las propiedades topol6gicas de las superficies de Riemann y es


quizs uno de los aspectos ms sugestivos del tema el observar como mu

chos conceptos y problemas analticos se convierten sobre la superficie


de Riemann en problemas simplemente topol6gicos; citemos entre ellos, al

gunos de los cuales trataremos a continuacin, la idea de prolongacin


analtica ajo largo de una curva ; el problema de existencia de una deter

minacin de una funcin analtica global ; la discontinuidad propia como


caracterstica de los grupos uniformizantes-

la equivalencia entre g-

nero topolgico de una superficie compacta y el nmero de diferenciales

abelianas independientes ; el computo de la clase caracterstica de un


fibrado a partir del orden total(ceros y polos) de una seccin meromor
fa del mismo ; etc .

Utilizaremos la nocin de superficie de Riemann en el sentido de su


perficie que posee una estructura conforme, es decir un sistema de car
tas locales tal que las funciones de transicin sean holomorfas . A par
tir de esta-definici6n de obtienen ejemplos simples de superficies de
Riemann as como la nocin de funcin analtica entre dos superficies
de Riemann . La idea de funcin analtica est intimamente relacionada
con la idea de revestimiento( la otra forma en que se usa el trmino

"superficie de Riemann") como resultado del comportamiento local de una


funcin holomorfa (teorema de la aplicacin abierta) .
Un espacio separado W y una aplicacin f de W en una superficie W
determinan un revestimiento liso de W si cada punto peW tiene un

entero que es homeomorfo por f a un entono de po - f (D o ) .


de que la

En el caso

aplicacin continua f : W-aW sea tal que para cada pnto

entorno l de modo que v - po


esun
revestimiento liso
po E W hay un
de W -f(D O ) , se dice que (W,f) es un revestimiento (ramificado) de
W.
Si (Wq ; 0q(W2 ;_ 98,)

con dos superficies de Riemann (0


indi
12
can las estructuras conformes respectivas) y f :W i ~ w2 analtica
no constante, entonces f realiza a W., como un revestimiento de W 2
siendo en cada punto liso o ramificado segn sea o no distinto de
cero la derivada de f . Si q2 = f (q1 ) y ht,h2 son coordenadas locales cP =h2

N,

CP' (h1 (q1 ) ) 9 0, entonces f es un homeomorfismo


local (analtico) . En caso contrario, como el cero de T' es aislado
o f'.

se puede tomar un entorno V, de modo que V,- q1 son revestimiento


liso de W2 -q2'

Es interesante el hecho de que vale el reciproco de esta situa


ci6n : si (W 1 ,f) es un revestimiento (W1 es una superficie) de W 2 y

W2

tiene una estructura conforme


entonces existe una nica estructura conforme en W, que hace analtica a la funcin f, esta es
tructura se obtiene al tomar los homeomorfismos locales h. de W_
-4
tales
que h2 a f . hi
son
analticas para toda h2
coordenada
local

de W2 . Diremos que la estructura de W,, est inducida por la de WP ;


ms adelante consideraremos . el problema de cuando una estructura

en W, est inducida por una estructura de W2 .'


_
,
Veamos ahora como las dos nociones bsicas de estructura conforme en una superficie y de una superficie como revestimiento de otra
aparecen al construir. la superficie de Riemann de una funcin.-

En primer lugar, dado el carcter local de la analitcdad,es con

veniente ., siguiendo a

Weierstrass , dar como definicin de fun-

ci6n analtica global (aunque digamos simplemente funcin analtica)


la cb un conjunto f de elementos analticos de modo que dos de
ellos siempre sean prolongacin analtica directa uno rb .ropor medio
de un nmero finito . de elementos de -~ . Para cada punto a del pla.

n o si se establece entre los elementos analticos cuyo,dominio


contiene al punto a la relacin de equivalencia que consiste en den
26

tificar los elementos que coinciden en un entorno del punto a,

se

obtiene el anillo de los germenes de funciones analticas en el


punto a . Si

es una funcin analtica en el sentido de

Weier s_

trass,

la superficie de Riemann
asociada a t est formada
por los germenes de funciones analticas determinadas por elementos analticos pertenecientes a la funcin Y- y la proyeccin
:1 -*Q
'T

que asocia a cada punto (f,a)

(germen alrededor de _a)el

punto a E T y rr es un homeomorfismo local dotando a

de la topo-

loga que induce sobre cada fibra la topologa discreta ; as -9~ es


un revestimiento liso del dominio de la funcin 7 y posee,
tanto, una estructura analtica ; para lla
= f (rr (V,)

si

es el punto

ficie de Riemann
funcin uniforme F .
Adems,

(f,"(j

por

la funcin F(f) _

es analtica . As la super

convierte a la funcin multiforme ly

en una

la construccin anterior resuelve el problema de la pro

longaci6n analtica para una funcin _f uniforme en un dominio :


superficie de Riemann
cin analtica global

la

asociada en la forma anterior a la fun


obtenida al considerar los elementos ana

lticos determinados por f y

todas sus posibles prolongaciones

analticas directas es- el mximo dominio para la funcin f en el


sentido que

J contiene un dominio isomorfo el campo de definicin


u
de f y f se extiende a una funcin analtica en ,~
; adems toda
otra superficie de Riemann que goce de estas propiedades se aplica
analticamente en la superficie I . Para obtener una descripcin
ms completa de la funcin ~r es conveniente aadir a la superficie
de Riemann

nuevos puntos que corresponden a las singularidades

algebraicas del obteniendose una nueva superficie que es un reves


timiento ramificado del dominio de ~P . El problema de la proloncf
ci6n analtica se puede resolver tambin buscando la mxima supe!
ficie de Riemann ramificada .
Veamos,

ahora,

como se traduce la idea de prolongacin analti-

ca sobre la superficie de Riemann :


27

Si jr es una funcin analtica (global) y V(t) a < t<


_ b una curva con

tnum en el plano y para cada t E[ a,b1 tenemos un germen analtico


(f,Y(t))
.de la funcin de modo que para cada to
existe
un b > 0 tal
qu para lt - tp.) < 6 el germen (f, Y (t)) esta determinado por el mismo elemento analtico que determina el germen (f,Y(tn )), se dice
que los elementos (f,Y(t)) se han obtenido por prolongacin anali
tica del elemento correspondiente a (f,Y(a)) a lo largo de la curva
Y . La correspondencia t-, r (t) = (f,Y (t)) define una curva en9,y la
condicin de continuidad exigida equivale precisamente a que esta

curva (t) sea continua ; adems P se proyecta sobre Y, es decir


n ( r (t)) = f (t) para a < t < b . Es natural, pues, ya sea sobre la super
ficie ,de Riemann asociada-a una funcin analtica, ya sea en general sobre un revestimiento de una superficie arbitraria planteanse
el problema de la existencia y unicidad de elevaciones de una cur-

va dada en la superficie base, problema que incluye, pues, al de la


prolongacin analtica . Es fcil establecer la unicidad : dos elevaciones de una misma curva a partir del mismo punto inicial del re
vestimiento son idnticas . Por el contrario la existencia de eleva-

ciones no puede asegurarse en general . Un revestimiento liso tal que


toda curva de la, superficie base,admita una elevacin a partir de

cualquier punto sobre el punto inicial de .la curva se llama regular


(en el caso de tratarse de la superficie de Riemann de una funcin
significa que . admite prolongacin analtica a lo largo de

toda curva de un domino) .

Si tenemos un revestimiento liso regular (w,f) de una superficie

W, dos puntos a,bEW, un punto sobre y unimos a,b por.un curva

y, cualquier elevacin de y, Y, desde el punto acaba en un punto


sobre b; es_importante determinar hasta que punto depende de la
eleccin de Y . Una respuesta parciala esta cuestin la proporciona

el teorema de monodromia que ocupa un papel central en la teora de


los revestimientos : si

(w,f) es un revestimiento regular de w y

dos
curvas homotopas
Yt, v2

de . a b en W, entonces las elevacio

nes Yl,y 2 desde un mismo punto inicial sobre a terminan en el mismo punto rD . Adems Yl,Y2 son homotopos en W .
Como consecuencia se obtiene que una superficie simplemente co-

nexa no posee otro revestimiento regular que ella misma, resultado

cuyo significado analtico es que toda funcin analtica global que


se pueda prolongar a lo largo de todas las curvas de un dominio sim
plemente conexo, determinan una funcin holomorfa uniforme para ca-

da eleccin de un germen inicial


. Tambin significa que toda funcin
continua y que no se anula sobre una superficie simplemente conexa

posee una determinacin continua de su logaritmo o tambin que una

funcin armnica sobre una superficie de Riemann simplemente conexa


posee una funcin conjugada global .

Mientras no se advierta lo contrario, los revestimientos que con

sideramos sern lisos y regulares .

Si (W,,fi) es revestimiento de

la superficie W y (W 2 ,f 2 ) un revestimiento de w,, entonces (WZ ,f,of2)


es un revestimiento de W; consideremos el segundo como un revestimiento de W mayor que (W,,f,) . En general (W 2 ,f 2 ) es mayor que

(W1 , fl
) si 'existe
tal
y
f21 :W 2 -+ Wi
que f2 = f2 ,0 f1
(W2 , f2 i ) es revestimiento de W 1 . Esta relacin define una ordenacin parcial y si
dos revestimientos son_ comparables entre si en los dos sentidos los
consideraremos como equivalentes .

Sea po)
E W,
y
E
= po
donde (W, f) es un revestimien
po (N con f (D o
to de w y sea y una curva cerrada de W con origen en
Y es
po ; si
a
una elevacin de Y desde ps , Y es cerrada cuando y es homotopa
un punto ; as el que

motopta de y .

sea cerrada depende slo de la clase de ho-

Sea D el conjunto de clases de homotopia

y 5tales que

Y es ce
rrada . Esta claro que D es un subgrupo del grupo fundamental
k

n, (W1 ,PO ), que depende de po . Si sustituimos po por p,t y , es un arco


de

Po

a p,, su proyeccin es una curva

s cerrada desde po . Si Y es
una curva cerrada desde po resulta que aya -1 se eleva a una curva
cerrada desde
y slo si Y se eleva a una curva cerrada despo si

29

corresponde a Y,,, resulta que D,t = {G} _1 D {a},


son subgrupos conjugados,

es decir

de p. . Si D,
D y12,

Se obtiene que la construccin anterior determina una correspondencia biyectiva entre las clases de subgrupos conjugados de tr1(W,P, )
y las , clases de equivalencia de revestimientos (W, f) . Adems si
D

y W

se corresponden, entonces D es isomorfo al grupo fundamental

de DNI . Y es fcil ver que los subgrupos del grupo fundamental estn
ordenados como los revestimientos, es decir D c D2 implica que
es mayor que W2,y si W i es mayor que Wa entonces D 2 contiene un
conjugado de ;D,,. . Cuando D = fti (W)

se obtiene

duce a un elemento el revestimiento

W y cuando D se re-

correspondiente se llama el

el cual debe ser simplemente conexo .

revestimiento universal de W,
Dado un revestimiento

W =

W~

(VI ,f)

de W un homeomorfismo cp de

sobre

si mismo se llama una transformacin de revestimiento si f o !Q= f


con lo cual si W

y W

son superficies de Riemanncp es conforme ya

que las variables locales pueden elegirse con

._.~ = z,, o f . Es fcil

ver que el conjunto de puntos fijos por CP es abierto y como tambin es


cerrado, resulta que si cp no es la identidad,

cp no tienen puntos

fijos .
Las transformaciones de recubrimiento de (W,f)

formanun grupo

y si D es el subrgrupo de n,(W) . que corresponde a W resulta que el,


grupo de transformaciones de,revestimiento es isomorfo al cociente
donde N(D)

N(D)/D

es el normalizador de D en T l (W) . Un caso parti-

cular interesante es cuando N (D)

=n,

(id) o sea D es normal ;

(W, f)

se dice que es normal y en este caso el grupo de transformaciones


derevestimiento es transitivo . Esta propiedad no depende de la
eleccin

del punto P o inicial .

Anteriormente, hemos hecho notar que si

(W1,f)

es un revestimien

to de W 2 y W 2 tiene una estructura conforme, esta induce una estruc


tura conforme en Wi de modo que f sea analtica . Consideremos ahora
el problema inverso :
inducida

cuando una estructura conforme en W 1 ,

por una estructura conforme de W2 .?

30

est

En primer lugar,

si

una estructura

, en W,
proviene de una estructura de W 2 y cp es
una transformacin de revestimientos de W1 , cp ha de ser conforme
respecto de , ; en efecto : si qo E Wi .y f es homeomorfismo de un en

torno V de ql , entoncEs tambin es .un homeomor Esmo en m (V) y si llamamos f1,f2 a la restriccin de f a V y a w(V) obtenemos :
M = f2, ~f,y por tanto

cp es localmente
compuesta de funciones
analticas . Hay otra condicin necesaria muy interesante para las
transformaciones de revestimiento, que es independiente de la es
tructura analtica,

tiene un entornoV,

y que hacemos notar ahora, cada punto pe W,


que no corta a sus imagenes por las transfor-

maciones de revestimiento,
no es la identidad) ;
homeomorfo a f (V~)
mos p = cp (q)

cp(VI ) ;

(supuesto naturalmente que

cp

en efecto : cada p e W, posee un entorno Vi

y si existiera un punto p s vi n cp (Vi ) tendra


y, por tanto, f (p) = f ( m (q) ) = f (q) lo

con p, q E V,

que s61o es posible si p =q,

pero entonces P sera un punto fijo


lo que es imposible si tp no es la identidad . Esto se expre
sa diciendo que el grupo de transformaciones de revestimiento es
de cp,

propiamente discontinuo en Wi .
forme de Wi

En resumen,

si la estructura con-

esta inducida por una estructura de W$ , las transformaciones de revestimiento forman un grupo propiamente discontinuo
de aplicaciones conformes de Wi . Pero se cumple tambien el siguien
te reciproco
Sea G un grupo de aplicaciones biyectivas conformes de una
superficie de Riemann (W,3,) en si misma, que sea .propiamente
discontinuo,

entonces existe una superficie de Riemann (W2,~2)

y
~ W2 de modo que G es precisamente el grupo de las transformaciones de revestimiento de (W
2'f) .
La superficie (W2,2) es nica salvo equivalencia analtica .
una aplicacin analtica f :WI

Un ejemplo de esta situacin es cuando G son las transforma-

ciones del plano Z 1 Z +n, W, + n2


W2 con n 1 , n a enteros y W I /W2 no
real . Si estas transformaciones han de ser las de revestimiento,

31

la superficie base ha'de tener un punto para cada clase de puntos

que se corresponden entre si por los elementos de G. Hemos pues,de


id<intificar los puntos del plano equivalentes en este sentido y
la superficie que se obtiene es un toro y el resultado enunciado
significa

que este toro tiene una nica estructura analtica que

induce la del plano. Es decir en un toro (topol6gico)"existen tan

tus estructuras analticas como pares complejos W,,W2 con cociente


W1/W2 no real y distinto .
La situacin de este ejemplo es general y la superficie W2 se
obtiene al identificar los puntos de W, que .s e corresponden por
algn elemento de G.

Otro ejemplo de gran inters . corresponde al caso en que G es un

grupo propiamente distinto de homografas del disco unidad que se-

rn sin punto fijo (grupo Fuchsiano) . Al identificar los puntos del


disco .bajo G se obtiene una superficie de Riemann que tiene al dis
co como revestimiento regular y puesto que el disco es simplemente
conexo ser el revestimiento universal de la superficie obtenida,

es decir que G se identificr .el grupo fundamental de la superficie .-Nuestro objetivo va. a -ser precisanerte mostrar como, salvo po
cas excepciones,, el revestimiento universal .d e una superficie de

Riemann se, puede representar, como el disco unidad y el grupo fun- .


damental de la superficie aparece como un grupo fuchsiano . Desde
este punto de vista,

la teora de las superficies de Riemann y la,

teora de los grupos fuchsianos son casi .equivalentes . Aunque se


obtiene ,alguna ventaja formal desde el punto de vista de esta

equivalencia es posible el estudio de las superficies de Riemann


por mtodos ms directos .

Lo que acabamos de enunciar depende del teorema fundamental de

representacin conforme para superficies de Riemann o teorema de


uniformizacin debido a Koebe .
y Poincar (1907), uno de los teo
remas ms importantes de la teora de funciones analticas de una
variable y que juega un papel anlogo al teorema de Riemann para
regiones planas . El teorema de uniformizacin asegura que toda
32

superficie- de Riemann simplemente conexa es conformemente equiv


lente al disco, o al plano complejo o a la esfera de Riemann . Las

primeras demostraciones de este teorema eran largas y artificiosas ;

utilizando las sucesivas simplificaciones que se han ido introducien


do se puede dar hoy da una demostracin de proporciones manejables
que, naturalmente, no podemos detallar aqu . Ihdicaremos nicamente que existen, generalmente, dos caminos de demostracin y cuales
son los puntos importantres de cada uno de ellos .

Las demostraciones clsicas del teorema de uniformizaci6n utili

zan un recubrimiento de la superficie por medio de una sucesin


de regiones relativamente compactas sobre las que las funciones ho
lomorfas se pueden aproximar por funciones holomorfas globales . Por
este mtodo o bien hay que hacer la pip6tesis suplementaria de que
la superficie tiene base numerable
o bien hay que probar directa
mente que toda superficie de Riemann tiene base numerable, observa
ci6n debida a Rad6 . El punto esencial es el teorema de Runge para

superficies de Riemann abiertas (no compactas) segn el cual si W


es superficie de Riemann abierta y '\.c W un abierto tal que W no tiene ninguna componente conexa compacta, entonces toda funcin

holomorfa en'.k es el lmite de funciones holomorfas sobre W, unifor


memente sobre los compactos de i . Este teorema es debido a Behnke

y Stein y su construccin proporciona tambin soluciones al l y 2


problema de Cousin sobre W, generalizacin en los teoremas de Mittag-Leffler y Weierstrass en el plano . Una demostracin ms corta
se debe a Malgrange utilizando un teorema de aproximacin para las
soluciones de operador elptico .

Como consecuencia del teorema de Runge se obtienen las propied


des ms caractersticas de las superficies de Riemann abiertas, tam
bin debidas a Behnke
y Stein, y que posteriormente se han axio

matizado para cualquier dimensin, en el concepto de espacio de Stein,


o espacio analtico con base numerable tal que :
33

a) Las funciones h6lomorfas separan puntos .

b) Las funciones holomorfas ( en nmero igual a la dimensin del


espacio) proporcionan sistemas de coordenadas locales .

c) El espacio es holomorficamente conexo ( la convergencia uniforme sobre un conjunto no implica la convergencia uniforme en
ningn conjunto mayor, para todas las sucesiones de funciones

holomorfas) .

El teorema de

Behnke-Stein, que se puede enunciar ahora, di

ciendo .que toda superficie de Riemann abierta es un espacio

de

Stein, contiene en particular una respuesta afirmativa a la conjetura de Caratheodory sobre si existen funciones holomorfas no
constantes en toda superficie de Riemann abierta .

En este mtodo de demostracin del teorema de uniformizacin,


se necesita tambin la solucin del problema de Dirichlet para

una regin de la superficie de Riemann-y adems el caso compac

to, en que se trata de ver que la esfera admite una nica estruc
tura analtica, utiliza ampliamente la teora algebraica .

Otro camino de demostracin del teorema de uniformizaci6n,mu-

chr ms directo , se basa ,.. . una generalizacin debida. a AhifcrsSacio-Heins del mtodo alternante de Schwarz

y Neumann para

construir una funcin de Green utilizando la idea de Poisson.de


construir una funcin armnica como supremo de funcin subarm6nica .

Una funcin de Green relativa a un- punto pp de W es el supre-

mo (supuesto que sea finito) de la familia de funciones subarm6nicas V con soporte compacto en W--p,- tales que

lim ~, V (p) +)
log 1 z (p)
+ oo (z es una coordenada local en p.

f 4?.

Su existencia no depende de po y es equivalente a que para un


compacto

K c W con W- K

conexo existe una medida armnica so-

bre K y tambin es equivalente a que el principio del mximo en


W-K no sea vlido .

Las superficies abiertas para las que existe funcin de Green

se llaman hiperblicas y las restantes parablicas . La existencia

34

de funcin de Green permite construir un isomorfismo de la superficie en una regin

plana y por tanto en el disco unidad . El caso pa

rablico es algo ms complicado porque no se conoce a priori ninguna funcin armnica no constante ;
Perron

una modificac6n del mtodo de

permite demostrar que la superficie es isomorfa al plano .

Finalmente el caso compacto se puede tratar de forma anloga al ca


so parablico, ahorrandose el uso de teoremas algebraicos .
En este mtodo no 9e utiliza la numerabilidad de la superficie
y constituye, por tanto,

una demostracin del teorema de Rad6

ya

que al ser toda superficie de Riemann simplemente conexa numerable


se obtiene que lo es toda superficie de Riemann -sin ms que pasar
al revestimiento universal .
Vamos a considerar, finalmente,

el problema de la uniformizaci6n

para una superficie de Riemann que no sea simplemente conexa :


Sea W una superficie de Riemann y W su revestimiento universal
y lo dotamos de la estructura analtica incluida por W .

Podemos

aplicar a W el teorema de uniformizaci6n y suponer que W es la esfera de Riemann, el plano complejo o el disco unidad,

en todo caso

los puntos de W se pueden mirar como nmeros complejos z,

posiblemen

te incluyendo z= - . En cuanto a la proyeccin f : f , W ser una fun


ci6n analtica f(z)

con valores en W . Ya hemos hecho notar tambin

que las transformaciones de revestimiento


no tienen puntos fijos si

cp

de

(F7,f)

son uniformes

tpno es la identidad .

Para cualquiera de las tres posibilidades de W las transformacio


nes de revestimiento, por ser conformes han de ser homografas
az+b
e) (z) -_
ad - bc 9`0 ; ahora bien, una tal aplicacin siempre tie
c z+d
ne un punto fijo en la esfera y en consecuencia en el caso W = S Z la
nica transformacin de revestimiento posible es la identidad . Si

W es el plano y cp no tiene punto fijo, ha de ser una

transformacin

fq(z) - z+ b . Finalmente si W es el disco .los puntos fijos de cp han


de estar sobre la circunferencia unidad y ello implica que cP sea de
:; az + b
.
la forma cp(z)
Sz+ _a

35

Sabemos tambin que las transformaciones de revestimiento for-

man un grupo que en este caso es n1 (W) . Si W es el plano, el grupo r de transformaciones de revestimiento es, pues, un grupo pro
p?,lente discontinuo de traslacione,_ _ es sabido que slo hay

tres tipos de tales grupos a) la identidad, b) el grupo cclico

engendrado por una traslacin Z -. Z + b, b 3O , c) el grupo engen

drado por un par de traslaciones Z yZ + bl , Z ->Z + b2 con b2/b9 no


real . Sabemos tambin que la superficie W se obtiene a partir de
W identificando los puntos de W que se corresponden por alguna
transformacin de revestimiento; en el caso a) W es el plano en

b) un cilindro, que es conformemente equivalente al plano punteado y en c) W es un toro .

En todos los dems casos W es el disco y r es un grupo propia-

mente discontinuo de automorfismos

del disco, que sern sin pun-

to fijo . Tambin conocemos el reciproco : para tal grupo r se ob

tiene una superficie de Riemann al identificar puntos equivalentes bajo el grupo, la cual tendr al disco como revestimiento un
versal ya r como grupo de transformaciones de revestimiento .

En resumen : Una superficie de Riemann W o bien es conformemente

equivalente a la esfera, o al plano, o al plano punteado, o a un t


ro,o bien existe un grupo r propiamente discontinuo de automorfis
mos del disco unidad p, tal que W es conformemente equivalente a
la superficie A/r, identificando en A puntos equivalentes segn

r (grupo fuchsiano) el cual es a su vez isomorfo al grupo fundamen

tal de W . As la teora de las funciones analticasen W se con-

vierte segn los casos (excluida la esfera qn que slo hay constantes) en la teora de las funciones enteras, de las funciones

simplemente periodicas, de las funciones elpticas o de las funciones automorfis bajo el grupo r .
36

B I B L I 0 G R A F I A
AHLFORS, L .V . Complex Analysis . McGraw-Hill (1966)

2aed .

AHLFORS,L .V . Conformal Invariants . Topics in Geometric Function


Theory . McGraw-Hill (1973) .
AHLFORS,L .V . & SARIO,L . Riemann Surfaces . Princeton Univ . Press,
(1960) .
GUNNING,R .C . Lectures on Riemann Surfaces . Princeton Univ . Press,
(Mathematical Notes) (1966) .
SIEGEL, C .L . Topics in Complex Function Theory . 1,11,111,(1969,
1971,1973) .
SPRINGER,G . Introduction to Riemann Surfaces .Addison-Wesley (1957) .
WEYL, H . The Concept of a Riemann Surface . Addison-Wesley (1964) .

Вам также может понравиться