Superficies de Riemann

Nombre: Alexander Santo

Es un cierto tipo de espacio de Hausdorff.
El desarrollo de la idea de superficie de Riemann comenz a mediados del siglo XIX de la
mano del matemtico Bernhard Riemann, con los intentos de extender el dominio de
definicin de funciones analticas definidas sobre un abierto U del plano complejo. La
extensin mxima se lograba no sobre el propio plano complejo, sino sobre copias de
abiertos del mismo que se solapaban, en lo que hoy da conocemos como variedad
compleja de dimensin uno.
Hay que imaginar que el plano z consta de dos capas sobrepuestas, una sobre la otra.
Ahora hay que imaginar que estas capas se cortan a lo largo de OB y que el borde inferior
de la capa inferior se une al borde superior de la capa superior. Entonces, a partir de la
capa inferior y al dar una vuelta completa en torno a O, se llega a la capa superior. Ahora
hay que imaginar que se unen los otros bordes de manera que si se contina dando
vuelta se va, de la capa superior, de nuevo a la capa inferior. La coleccin de estas dos
capas es una superficie de Riemann que corresponde a la funcin z1/2. Cada capa
corresponde a una rama de la funcin, y en cada capa la funcin es unvoca. El concepto
de superficie de Riemann tiene la ventaja de que permite obtener varios valores de una
funcin multi valuada de una manera continua. Esta idea se extiende fcilmente. Por
ejemplo, para la funcin z1/3, la superficie de Riemann tiene tres capas; para ln z, la
superficie de Riemann tiene una cantidad infinita de capas.
Clasificacin de superficies de Riemann
El conjunto de superficies de Riemann puede dividirse en tres tipos: las superficies
hiperblicas, las parablicas y las elpticas. Esta divisin viene dada por el teorema de
uniformizacin, que garantiza que toda superficie de Riemann simplemente conexa es
conformemente equivalente a una de las siguientes:
Al plano complejo

A la esfera de Rieman , tambin llamada lnea proyectiva compleja

Al disco abierto D:= {z C : |z| < 1} o a la superficie equivalente formada por el semiplano
superior H := {z C : Im(z) > 0}.
En caso de que la superficie X no sea simplemente conexa, podremos afirmar que su
recubridor universal Y es conformemente equivalente a uno de los tres modelos
anteriores. En ese caso, la superficie X podr obetenersese como el espacio cociente
de Y bajo la accin de un grupo de biholomorfismos del recubridor Y que acte de modo
libre (es decir, sin puntos fijos) y propiamente discontinuo.
Cocientes de la esfera (superficies elpticas). Los biholomorfismos de la esfera son
exactamente las transformaciones de Moebius. Como una transformacin de Moebius
siempre deja un punto fijo, no obtendremos ningn cociente de la esfera.

Cocientes del plano (superficies parablicas). Los biholomorfismos del plano complejo
que actan de modo libre y propiamente discontinuo son las traslaciones, en concreto los
grupos de traslaciones con uno o dos generadores, isomorfos
Los cocientes respectivos son topolgicamente equivalentes a una corona circular o a un
toro. Al ser las traslaciones isometras respecto de la mtrica plana del plano, inducen una
mtrica plana en el cociente.
Cocientes del disco (superficies hiperblicas)
Un grupo de biholomorfismos del disco que acte de modo libre y propiamente
discontinuo se dice un grupo Fuchsiano. Existen numerosos grupos Fuchsianos, y su
estudio es un ramo importante de la geometra moderna.
Como todo biholomorfismo del disco resulta ser una isometra de la mtrica hiperblica
del disco unidad, tambin conocida como mtrica de Poincar, se induce una mtrica
hiperblica en el cociente.