stringtranslate.com

Teorema de uniformización

En matemáticas, el teorema de uniformización establece que toda superficie de Riemann simplemente conexa es equivalente conformemente a una de tres superficies de Riemann: el disco unitario abierto , el plano complejo o la esfera de Riemann . El teorema es una generalización del teorema de mapeo de Riemann desde subconjuntos abiertos simplemente conexos del plano a superficies de Riemann arbitrarias simplemente conexas.

Como toda superficie de Riemann tiene una cobertura universal que es una superficie de Riemann simplemente conexa, el teorema de uniformización conduce a una clasificación de las superficies de Riemann en tres tipos: las que tienen como cobertura universal la esfera de Riemann ("elípticas"), las que tienen como cobertura universal el plano ("parabólicas") y las que tienen como cobertura universal el disco unidad ("hiperbólicas"). De ello se deduce además que toda superficie de Riemann admite una métrica riemanniana de curvatura constante , donde la curvatura puede tomarse como 1 en el caso elíptico, 0 en el parabólico y -1 en el hiperbólico.

El teorema de uniformización también produce una clasificación similar de las variedades riemannianas orientables cerradas en casos elípticos/parabólicos/hiperbólicos. Cada una de estas variedades tiene una métrica riemanniana equivalente conforme con una curvatura constante, donde la curvatura puede tomarse como 1 en el caso elíptico, 0 en el parabólico y -1 en el hiperbólico.

Historia

Felix Klein  (1883) y Henri Poincaré  (1882) conjeturaron el teorema de uniformización para (las superficies de Riemann de) curvas algebraicas. Henri Poincaré (1883) lo extendió a funciones analíticas multivaluadas arbitrarias y dio argumentos informales a su favor. Las primeras demostraciones rigurosas del teorema general de uniformización fueron dadas por Poincaré  (1907) y Paul Koebe  (1907a, 1907b, 1907c). Paul Koebe dio más tarde varias demostraciones y generalizaciones más. La historia se describe en Gray (1994); una descripción completa de la uniformización hasta los artículos de 1907 de Koebe y Poincaré se da con demostraciones detalladas en de Saint-Gervais (2016) (el seudónimo de tipo Bourbaki del grupo de quince matemáticos que produjeron conjuntamente esta publicación).

Clasificación de superficies de Riemann conexas

Toda superficie de Riemann es el cociente de la acción libre, propia y holomorfa de un grupo discreto sobre su recubrimiento universal y este recubrimiento universal, al ser una superficie de Riemann simplemente conexa, es holomorfamente isomorfa (también se dice: "conformemente equivalente" o "biholomorfa") a una de las siguientes:

  1. La esfera de Riemann
  2. El plano complejo
  3. el disco unitario en el plano complejo.

Para las superficies de Riemann compactas, las que tienen recubrimiento universal el disco unidad son precisamente las superficies hiperbólicas de género mayor que 1, todas con grupo fundamental no abeliano; las que tienen recubrimiento universal el plano complejo son las superficies de Riemann de género 1, es decir los toros complejos o curvas elípticas con grupo fundamental Z 2 ; y las que tienen recubrimiento universal la esfera de Riemann son las de género cero, es decir la propia esfera de Riemann, con grupo fundamental trivial.

Clasificación de variedades riemannianas de 2 caras cerradas y orientadas

En una variedad 2-orientada, una métrica de Riemann induce una estructura compleja utilizando el paso a coordenadas isotérmicas . Si la métrica de Riemann se da localmente como

entonces en la coordenada compleja z = x + i y , toma la forma

dónde

de modo que λ y μ son suaves con λ > 0 y | μ | < 1. En coordenadas isotérmicas ( u , v ) la métrica debe tomar la forma

con ρ > 0 suave. La coordenada compleja w = u + i v satisface

de modo que las coordenadas ( u , v ) serán isotérmicas localmente siempre que se cumpla la ecuación de Beltrami

tiene una solución localmente difeomorfa, es decir, una solución con jacobiano no evanescente.

Estas condiciones se pueden expresar de forma equivalente en términos de la derivada exterior y el operador de estrella de Hodge . [1] u y v serán coordenadas isotérmicas si du = dv , donde se define en diferenciales por ∗( p dx + q dy ) = − q dx + p dy . Sea ∆ = ∗ dd el operador de Laplace-Beltrami . Por la teoría elíptica estándar, u puede elegirse para que sea armónica cerca de un punto dado, es decir Δ u = 0 , con du no anulándose. Por el lema de Poincaré dv = ∗ du tiene una solución local v exactamente cuando d (∗ du ) = 0 . Esta condición es equivalente a Δ u = 0 , por lo que siempre se puede resolver localmente. Dado que du no es cero y el cuadrado del operador de estrella de Hodge es −1 en las formas 1, du y dv deben ser linealmente independientes, de modo que u y v dan coordenadas isotérmicas locales.

La existencia de coordenadas isotérmicas se puede demostrar por otros métodos, por ejemplo utilizando la teoría general de la ecuación de Beltrami , como en Ahlfors (2006), o por métodos elementales directos, como en Chern (1955) y Jost (2006).

De esta correspondencia con superficies compactas de Riemann se desprende una clasificación de las 2-variedades de Riemann cerradas y orientables. Cada una de ellas es conformemente equivalente a una única 2-variedad cerrada de curvatura constante , por lo que un cociente de una de las siguientes por una acción libre de un subgrupo discreto de un grupo de isometría :

  1. La esfera (curvatura +1)
  2. el plano euclidiano (curvatura 0)
  3. el plano hiperbólico (curvatura −1).

El primer caso da la 2-esfera, la única 2-variedad con curvatura positiva constante y, por lo tanto, característica de Euler positiva (igual a 2). El segundo da todas las 2-variedades planas, es decir, los toros , que tienen característica de Euler 0. El tercer caso cubre todas las 2-variedades de curvatura negativa constante, es decir, las 2-variedades hiperbólicas, todas las cuales tienen característica de Euler negativa. La clasificación es consistente con el teorema de Gauss-Bonnet , que implica que para una superficie cerrada con curvatura constante, el signo de esa curvatura debe coincidir con el signo de la característica de Euler. La característica de Euler es igual a 2 – 2 g , donde g es el género de la 2-variedad, es decir, el número de "agujeros".

Métodos de prueba

Muchas pruebas clásicas del teorema de uniformización se basan en la construcción de una función armónica de valor real en la superficie de Riemann simplemente conexa, posiblemente con una singularidad en uno o dos puntos y que a menudo corresponde a una forma de la función de Green . Se emplean ampliamente cuatro métodos de construcción de la función armónica: el método de Perron ; el método alterno de Schwarz ; el principio de Dirichlet ; y el método de proyección ortogonal de Weyl . En el contexto de las 2-variedades riemannianas cerradas, varias pruebas modernas invocan ecuaciones diferenciales no lineales en el espacio de métricas conformemente equivalentes. Estas incluyen la ecuación de Beltrami de la teoría de Teichmüller y una formulación equivalente en términos de mapas armónicos ; la ecuación de Liouville , ya estudiada por Poincaré; y el flujo de Ricci junto con otros flujos no lineales.

El teorema de Rado demuestra que toda superficie de Riemann es automáticamente contable en segundo lugar . Aunque el teorema de Rado se utiliza a menudo en demostraciones del teorema de uniformización, algunas demostraciones se han formulado de modo que el teorema de Rado se convierte en una consecuencia. La contabilización en segundo lugar es automática para superficies de Riemann compactas.

Métodos del espacio de Hilbert

En 1913, Hermann Weyl publicó su clásico libro de texto "Die Idee der Riemannschen Fläche" basado en sus conferencias de Göttingen de 1911 a 1912. Fue el primer libro en presentar la teoría de superficies de Riemann en un entorno moderno y a través de sus tres ediciones ha seguido siendo influyente. Dedicada a Felix Klein , la primera edición incorporó el tratamiento de Hilbert del problema de Dirichlet utilizando técnicas del espacio de Hilbert ; las contribuciones de Brouwer a la topología; y la prueba de Koebe del teorema de uniformización y sus posteriores mejoras. Mucho más tarde, Weyl (1940) desarrolló su método de proyección ortogonal que dio un enfoque simplificado al problema de Dirichlet, también basado en el espacio de Hilbert; esa teoría, que incluía el lema de Weyl sobre regularidad elíptica , estaba relacionada con la teoría de integrales armónicas de Hodge ; y ambas teorías fueron subsumidas en la teoría moderna de operadores elípticos y espacios L 2 de Sobolev . En la tercera edición de su libro de 1955, traducida al inglés en Weyl (1964), Weyl adoptó la definición moderna de variedad diferencial, en preferencia a las triangulaciones , pero decidió no hacer uso de su método de proyección ortogonal. Springer (1957) siguió la explicación de Weyl del teorema de uniformización, pero utilizó el método de proyección ortogonal para tratar el problema de Dirichlet. Kodaira (2007) describe el enfoque en el libro de Weyl y también cómo acortarlo utilizando el método de proyección ortogonal. Se puede encontrar una explicación relacionada en Donaldson (2011).

Flujos no lineales

Richard S. Hamilton demostró que el flujo de Ricci normalizado en una superficie cerrada uniformiza la métrica (es decir, el flujo converge a una métrica de curvatura constante). Sin embargo, su prueba se basó en el teorema de uniformización. El paso faltante involucraba el flujo de Ricci en la 2-esfera: Chen, Lu y Tian (2006) proporcionaron un método para evitar una apelación al teorema de uniformización (para el género 0); [2] Andrews y Bryan (2010) dieron una explicación breve e independiente del flujo de Ricci en la 2-esfera.

Generalizaciones

Koebe demostró el teorema general de uniformización : si una superficie de Riemann es homeomorfa a un subconjunto abierto de la esfera compleja (o equivalentemente si cada curva de Jordan la separa), entonces es conformemente equivalente a un subconjunto abierto de la esfera compleja.

En 3 dimensiones, existen 8 geometrías, llamadas las ocho geometrías de Thurston . No toda variedad tridimensional admite una geometría, pero la conjetura de geometrización de Thurston demostrada por Grigori Perelman afirma que toda variedad tridimensional puede cortarse en trozos que sean geometrizables.

El teorema de uniformización simultánea de Lipman Bers muestra que es posible uniformizar simultáneamente dos superficies de Riemann compactas del mismo género >1 con el mismo grupo cuasi-fucsiano .

El teorema de mapeo de Riemann medible muestra de manera más general que el mapa de un subconjunto abierto de la esfera compleja en el teorema de uniformización puede elegirse para que sea un mapa cuasiconforme con cualquier coeficiente de Beltrami medible y acotado dado.

Véase también

Notas

  1. ^ DeTurck y Kazdan 1981; Taylor 1996a, págs. 377–378
  2. ^ Brendle 2010

Referencias

Referencias históricas

Encuestas históricas

Funciones armónicas

El método de Perron

El método alterno de Schwarz

Principio de Dirichlet

Método de proyección ortogonal de Weyl

Operadores de Sario

Ecuaciones diferenciales no lineales

Ecuación de Beltrami

Mapas armónicos

Ecuación de Liouville

Flujos en métricas de Riemann

Referencias generales

Enlaces externos