Superficie de Riemann

Ir a la navegaci�nIr a la b�squeda

Superficie de Riemann que aparece al extender el dominio de la funci�n

{\displaystyle f(z)={\sqrt {z}}} {\displaystyle f(z)={\sqrt {z}}}
En geometr�a algebraica, una superficie de Riemann es una variedad compleja de
dimensi�n (compleja) uno. Consecuentemente, la variedad real subyacente ser� de
dimensi�n 2.

�ndice
1 Historia
2 Concepto
3 Ejemplos
4 Funciones
5 Clasificaci�n de superficies de Riemann
6 Referencias
Historia
El desarrollo de la idea de superficie de Riemann comenz� a mediados del siglo XIX
de la mano del matem�tico Bernhard Riemann, con los intentos de extender el dominio
de definici�n de funciones anal�ticas {\displaystyle f:U\to \mathbb {C} }
{\displaystyle f:U\to \mathbb {C} } definidas sobre un abierto U del plano
complejo. La extensi�n maximal (extensi�n anal�tica) se lograba no sobre el propio
plano complejo, sino sobre copias de abiertos del mismo que se solapaban, en lo que
hoy d�a conocemos como variedad compleja de dimensi�n uno.

Concepto
Una variedad real de dimensi�n 2 puede convertirse en una superficie de Riemann
(frecuentemente de varios modos no equivalentes) si y s�lo s� es orientable. De
este modo, la esfera y el toro admitir�n estructuras complejas, pero la banda de
M�bius, la botella de Klein y el plano proyectivo real no.

Se sabe que la 2-esfera tiene una sola estructura anal�tica. Mientras que cada
superficie orientable de g�nero mayor que cero tiene una infinidad, constrastando
con el punto de vista diferenciable ya que las superficies s�lo tienen una
estructura diferenciable.

Las superficies de Riemann constituyen el lugar natural donde estudiar el

comportamiento global de numerosas funciones. P ej:

{\displaystyle f(z)={\sqrt {z}}} {\displaystyle f(z)={\sqrt {z}}}

{\displaystyle f(z)=\log(z)} {\displaystyle f(z)=\log(z)}
Ejemplos
Sea S = C ? {8} y sea f(z) = z donde z pertenece a S \ {8} y g(z) = 1 / z donde z
pertenece a S \ {0} y 1/8 se define como 0. As� definidas, f y g son cartas
complejas compatibles, y { f, g } es un atlas para S, convirtiendo a S en una
superficie de Riemann compacta llamada la esfera de Riemann.
Sea G un grupo de biholomorfismos de una superficie de Riemann {\displaystyle X} X
, que act�a de modo libre y propiamente discontinuo, entonces el espacio cociente
{\displaystyle Y} {\displaystyle Y} es una superficie de Riemann y la proyecci�n p:
{\displaystyle X\to Y} {\displaystyle X\to Y} es una aplicaci�n recubridora.
Por ejemplo, {\displaystyle G} G puede ser un grupo de traslaciones del plano
complejo,. Sea {\displaystyle G} G el grupo generado por dos traslaciones
independientes, por ejemplo:
{\displaystyle T:z\to z+1,\quad U:z\to z+a} {\displaystyle T:z\to z+1,\quad U:z\to
z+a}
donde a es un n�mero complejo no real. El espacio cociente ser� homeomorfo al toro,
La topolog�a no depender� de la elecci�n de a (es siempre un toro), pero la
estructura compleja cambia sensiblemente al variar a.
Numerosos ejemplos de superficies de Riemann no compactas se obtienen por el
procedimiento de extensi�n anal�tica.

{\displaystyle f(z)=\arcsin z,\!} {\displaystyle f(z)=\arcsin z,\!}

{\displaystyle f(z)=\log z,\!} {\displaystyle f(z)=\log z,\!}

{\displaystyle f(z)=z^{\frac {1}{3}}} {\displaystyle f(z)=z^{\frac {1}{3}}}

{\displaystyle f(z)=z^{\frac {1}{4}}} {\displaystyle f(z)=z^{\frac {1}{4}}}

Funciones
Toda superficie de Riemann no compacta admite funciones holomorfas no constantes.

Esto contrasta con que en una superficie de Riemann compacta toda funci�n holomorfa
es constante debido al principio del m�ximo. Sin embargo, en superficies compactas
siempre existir�n funciones meromorfas no constantes, que pueden considerarse como
aplicaciones holomorfas de la superficie sobre la esfera de Riemann C ? {8}).

Clasificaci�n de superficies de Riemann

El conjunto de superficies de Riemann puede dividirse en tres tipos: las
superficies hiperb�licas, las parab�licas y las el�pticas. Esta divisi�n viene dada
por el teorema de uniformizaci�n, que garantiza que toda superficie de Riemann
simplemente conexa es conformemente equivalente a una de las siguientes:

al plano complejo {\displaystyle \mathbb {C} } \mathbb{C}

a la esfera de Rieman {\displaystyle \mathbb {C} \cup \{\infty \}}
{\displaystyle \mathbb {C} \cup \{\infty \}}, tambi�n llamada l�nea proyectiva
compleja {\displaystyle P^{1}\mathbb {C} } {\displaystyle P^{1}\mathbb {C} } o
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 acci�n de un grupo de biholomorfismos del recubridor Y que
act�e de modo libre (es decir, sin puntos fijos) y propiamente discontinuo.

Cocientes de la esfera (superficies el�pticas). Los biholomorfismos de la esfera

son exactamente las transformaciones de Moebius. Como una transformaci�n de Moebius
siempre deja un punto fijo, no obtendremos ning�n cociente de la esfera.
Cocientes del plano (superficies parab�licas). Los biholomorfismos del plano
complejo que act�an de modo libre y propiamente discontinuo son las traslaciones,
en concreto los grupos de traslaciones con uno o dos generadores, isomorfos a
{\displaystyle \mathbb {Z} } \mathbb Z o a {\displaystyle \mathbb {Z} +\mathbb
{Z} } {\displaystyle \mathbb {Z} +\mathbb {Z} }. Los cocientes respectivos son
topol�gicamente equivalentes a una corona circular o a un toro. Al ser las
traslaciones isometr�as respecto de la m�trica plana del plano, inducen una m�trica
plana en el cociente.
Cocientes del disco (superficies hiperb�licas)
Un grupo de biholomorfismos del disco que act�e de modo libre y propiamente
discontinuo se dice un grupo Fuchsiano. Existen numerosos grupos Fuchsianos, y su
estudio es un ramo importante de la geometr�a moderna.
Como todo biholomorfismo del disco resulta ser una isometr�a de la m�trica
hiperb�lica del disco unidad, tambi�n conocida como m�trica de Poincar�, se induce
una m�trica hiperb�lica en el cociente.

Referencias
Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New
York. ISBN 0-387-90465-4
J�rgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-
540-43299-X
Art�culo Riemann surface en Encyclopaedia of Mathematics
Categor�a: Superficie de Riemann