stringtranslate.com

Mapa armónico

En el campo matemático de la geometría diferencial , una función suave entre variedades de Riemann se denomina armónica si sus representantes de coordenadas satisfacen una cierta ecuación diferencial parcial no lineal . Esta ecuación diferencial parcial para una función también surge como la ecuación de Euler-Lagrange de una funcional llamada energía de Dirichlet . Como tal, la teoría de funciones armónicas contiene tanto la teoría de geodésicas de velocidad unitaria en geometría de Riemann como la teoría de funciones armónicas .

De manera informal, la energía de Dirichlet de una aplicación f de una variedad de Riemann M a una variedad de Riemann N puede considerarse como la cantidad total que f estira M al asignar cada uno de sus elementos a un punto de N. Por ejemplo, una banda de goma sin estirar y una piedra lisa pueden verse naturalmente como variedades de Riemann. Cualquier forma de estirar la banda de goma sobre la piedra puede verse como una aplicación entre estas variedades, y la tensión total involucrada está representada por la energía de Dirichlet. La armonicidad de tal aplicación significa que, dada cualquier forma hipotética de deformar físicamente el estiramiento dado, la tensión (cuando se considera como una función del tiempo) tiene una primera derivada igual a cero cuando comienza la deformación.

La teoría de los mapas armónicos fue iniciada en 1964 por James Eells y Joseph Sampson , quienes demostraron que en ciertos contextos geométricos, los mapas arbitrarios podían deformarse en mapas armónicos. [1] Su trabajo fue la inspiración para el trabajo inicial de Richard Hamilton sobre el flujo de Ricci . Los mapas armónicos y el flujo de calor asociado al mapa armónico , en sí mismos, se encuentran entre los temas más estudiados en el campo del análisis geométrico .

El descubrimiento del "burbujeo" de secuencias de mapas armónicos, debido a Jonathan Sacks y Karen Uhlenbeck , [2] ha sido particularmente influyente, ya que su análisis se ha adaptado a muchos otros contextos geométricos. En particular, el descubrimiento paralelo de Uhlenbeck del burbujeo de los campos de Yang-Mills es importante en el trabajo de Simon Donaldson sobre variedades de cuatro dimensiones, y el descubrimiento posterior de Mikhael Gromov del burbujeo de curvas pseudoholomórficas es significativo en aplicaciones a la geometría simpléctica y la cohomología cuántica . Las técnicas utilizadas por Richard Schoen y Uhlenbeck para estudiar la teoría de la regularidad de los mapas armónicos han sido asimismo la inspiración para el desarrollo de muchos métodos analíticos en el análisis geométrico. [3]

Geometría de aplicaciones entre variedades

Aquí se considera la geometría de una aplicación suave entre variedades de Riemann mediante coordenadas locales y, equivalentemente, mediante álgebra lineal . Una aplicación de este tipo define tanto una primera forma fundamental como una segunda forma fundamental. El laplaciano (también llamado campo de tensión ) se define mediante la segunda forma fundamental, y su anulación es la condición para que la aplicación sea armónica . Las definiciones se extienden sin modificaciones al entorno de variedades pseudo-riemannianas .

Coordenadas locales

Sea U un subconjunto abierto de ℝ m y sea V un subconjunto abierto de n . Para cada i y j entre 1 y n , sea g ij una función de valor real suave en U , tal que para cada p en U , se tiene que la matriz m × m [ g ij ( p )] es simétrica y definida positiva . Para cada α y β entre 1 y m , sea h αβ una función de valor real suave en V , tal que para cada q en V , se tiene que la matriz n × n [ h αβ ( q )] es simétrica y definida positiva. Denotemos las matrices inversas por [ g ij ( p )] y [ h αβ ( q )] .

Para cada i , j , k entre 1 y n y cada α , β , γ entre 1 y m se definen los símbolos de Christoffel Γ( g ) k ij  : U → ℝ y Γ( h ) γ αβ  : V → ℝ por [4]

Dado un mapa suave f de U a V , su segunda forma fundamental define para cada i y j entre 1 y m y para cada α entre 1 y n la función de valor real ∇( df ) α ij en U por [5]

Su laplaciano define para cada α entre 1 y n la función de valor real (∆ f ) α en U por [6]

Formalismo de paquetes

Sean ( M , g ) y ( N , h ) variedades de Riemann . Dado un fibrado suave f de M a N , se puede considerar su diferencial df como una sección del fibrado vectorial T * Mf * TN sobre M ; esto es decir que para cada p en M , se tiene un fibrado lineal df p entre espacios tangentes T p MT f(p) N . [7] El fibrado vectorial T * Mf * TN tiene una conexión inducida a partir de las conexiones de Levi-Civita en M y N . [8] Por lo tanto, se puede tomar la derivada covariante ∇( df ) , que es una sección del fibrado vectorial T * MT * Mf * TN sobre M ; esto quiere decir que para cada p en M , se tiene una función bilineal (∇( df )) p de espacios tangentes T p M × T p MT f(p) N . [9] Esta sección se conoce como la hessiana de f .

Usando g , se puede trazar el hessiano de f para llegar al laplaciano de f , que es una sección del fibrado f * TN sobre M ; esto dice que el laplaciano de f asigna a cada p en M un elemento del espacio tangente T f ( p ) N . [10] Por la definición del operador de traza, el laplaciano puede escribirse como

donde e 1 , ..., e m es cualquier base g p -ortonormal de T p M .

Energía de Dirichlet y sus fórmulas de variación

Desde la perspectiva de las coordenadas locales, como se indica anteriormente, la densidad de energía de una función f es la función de valor real en U dada por [11]

Alternativamente, en el formalismo de paquete, las métricas de Riemann en M y N inducen una métrica de paquete en T * Mf * TN , y por lo tanto se puede definir la densidad de energía como la función suave 1/2 | df | 2 en M . [12] También es posible considerar la densidad de energía como dada por (la mitad de) la traza g de la primera forma fundamental. [13] Independientemente de la perspectiva adoptada, la densidad de energía e ( f ) es una función en M que es suave y no negativa. Si M está orientado y M es compacto, la energía de Dirichlet de f se define como

donde g es la forma de volumen en M inducida por g . [14] Dado que cualquier función medible no negativa tiene una integral de Lebesgue bien definida , no es necesario colocar la restricción de que M sea compacto; sin embargo, entonces la energía de Dirichlet podría ser infinita.

Las fórmulas de variación para la energía de Dirichlet calculan las derivadas de la energía de Dirichlet E ( f ) a medida que se deforma la función f . Para ello, considérese una familia de funciones de un parámetro f s  : MN con f 0 = f para la que existe un conjunto abierto precompacto K de M tal que f s | MK = f | MK para todo s ; se supone que la familia parametrizada es suave en el sentido de que la función asociada (−ε, ε) × MN dada por ( s , p ) ↦ f s ( p ) es suave.

Existe también una versión para variedades con borde. [16]

Debido a la fórmula de primera variación, el Laplaciano de f puede considerarse como el gradiente de la energía de Dirichlet; correspondientemente, un mapa armónico es un punto crítico de la energía de Dirichlet. [18] Esto puede hacerse formalmente en el lenguaje del análisis global y las variedades de Banach .

Ejemplos de mapas armónicos

Sean ( M , g ) y ( N , h ) variedades riemannianas suaves. La notación g stan se utiliza para referirse a la métrica riemanniana estándar en el espacio euclidiano.

Recordemos que si M es unidimensional, entonces la minimalidad de f es equivalente a que f sea geodésica, aunque esto no implica que sea una parametrización de velocidad constante y, por lo tanto, no implica que f resuelva la ecuación diferencial geodésica.

Flujo de calor del mapa armónico

Buena postura

Sean ( M , g ) y ( N , h ) variedades de Riemann suaves. Un flujo de calor armónico en un intervalo ( a , b ) asigna a cada t en ( a , b ) una función dos veces diferenciable f t  : MN de tal manera que, para cada p en M , la función ( a , b ) → N dada por tf t ( p ) es diferenciable, y su derivada en un valor dado de t es, como un vector en T f t ( p ) N , igual a (∆ f t ) p . Esto se suele abreviar como:

Eells y Sampson introdujeron el flujo de calor del mapa armónico y demostraron las siguientes propiedades fundamentales:

Supongamos ahora que M es una variedad cerrada y ( N , h ) es geodésicamente completa.

Como consecuencia del teorema de unicidad, existe un flujo de calor de mapa armónico máximo con datos iniciales f , lo que significa que se tiene un flujo de calor de mapa armónico { f t  : 0 < t < T } como en el enunciado del teorema de existencia, y está definido de manera única bajo el criterio adicional de que T toma su valor máximo posible, que podría ser infinito.

Teorema de Eells y Sampson

El resultado principal del artículo de Eells y Sampson de 1964 es el siguiente: [1]

Sean ( M , g ) y ( N , h ) variedades de Riemann suaves y cerradas, y supongamos que la curvatura seccional de ( N , h ) no es positiva. Entonces, para cualquier función continuamente diferenciable f de M a N , la función armónica máxima de flujo de calor { f t  : 0 < t < T } con datos iniciales f tiene T = ∞ , y a medida que t aumenta a , las funciones f t convergen posteriormente en la topología C ∞ a una función armónica.

En particular, esto muestra que, bajo los supuestos de ( M , g ) y ( N , h ) , cada mapa continuo es homotópico a un mapa armónico. [1] La existencia misma de un mapa armónico en cada clase de homotopía, que se afirma implícitamente, es parte del resultado. Esto se demuestra construyendo una ecuación de calor y mostrando que para cualquier mapa como condición inicial, la solución existe para todo el tiempo y la solución subconverge uniformemente a un mapa armónico.

El resultado de Eells y Sampson fue adaptado por Richard Hamilton al contexto del problema de valor límite de Dirichlet , cuando M es en cambio compacto con un límite no vacío. [20]

Poco después del trabajo de Eells y Sampson, Philip Hartman extendió sus métodos para estudiar la unicidad de los mapas armónicos dentro de las clases de homotopía, mostrando además que la convergencia en el teorema de Eells−Sampson es fuerte, sin la necesidad de seleccionar una subsecuencia. [21] Es decir, si dos mapas están inicialmente cerca, la distancia entre las soluciones correspondientes a la ecuación de calor no aumenta en todo momento, por lo tanto: [22]

[23] señala que cada mapa de un producto en es homotópico a un mapa, de modo que el mapa es totalmente geodésico cuando se restringe a cada fibra.

Singularidades y soluciones débiles

Durante muchos años después del trabajo de Eells y Sampson, no estaba claro hasta qué punto era necesario el supuesto de curvatura seccional en ( N , h ) . Siguiendo el trabajo de Kung-Ching Chang, Wei-Yue Ding y Rugang Ye en 1992, se acepta ampliamente que no se puede esperar "normalmente" que el tiempo máximo de existencia de un flujo de calor de mapa armónico sea infinito. [24] Sus resultados sugieren firmemente que hay flujos de calor de mapa armónico con "explosión de tiempo finito" incluso cuando tanto ( M , g ) como ( N , h ) se toman como la esfera bidimensional con su métrica estándar. Dado que las ecuaciones diferenciales parciales elípticas y parabólicas son particularmente suaves cuando el dominio es bidimensional, el resultado de Chang−Ding−Ye se considera indicativo del carácter general del flujo.

Basándose en los trabajos fundamentales de Sacks y Uhlenbeck, Michael Struwe consideró el caso en el que no se hace ninguna suposición geométrica sobre ( N , h ) . En el caso de que M sea bidimensional, estableció la existencia incondicional y la unicidad de las soluciones débiles del flujo de calor del mapa armónico. [25] Además, descubrió que sus soluciones débiles son suaves a partir de un número finito de puntos del espacio-tiempo en los que se concentra la densidad de energía. En niveles microscópicos, el flujo cerca de estos puntos está modelado por una burbuja , es decir, un mapa armónico suave desde la esfera redonda de 2 dimensiones hasta el objetivo. Weiyue Ding y Gang Tian pudieron demostrar la cuantificación de la energía en tiempos singulares, lo que significa que la energía de Dirichlet de la solución débil de Struwe, en un tiempo singular, cae exactamente en la suma de las energías de Dirichlet totales de las burbujas correspondientes a las singularidades en ese momento. [26]

Struwe fue capaz posteriormente de adaptar sus métodos a dimensiones superiores, en el caso de que la variedad del dominio fuera el espacio euclidiano ; [27] él y Yun Mei Chen también consideraron variedades cerradas de dimensiones superiores . [28] Sus resultados consiguieron menos que en dimensiones inferiores, y sólo pudieron demostrar la existencia de soluciones débiles que son suaves en subconjuntos densos abiertos.

La fórmula de Bochner y la rigidez

El principal punto computacional en la prueba del teorema de Eells y Sampson es una adaptación de la fórmula de Bochner al contexto de un flujo de calor de mapa armónico { f t  : 0 < t < T } . Esta fórmula dice [29]

Esto también es de interés para analizar mapas armónicos. Supongamos que f  : MN es armónico; cualquier mapa armónico puede verse como una solución de flujo de calor del mapa armónico en constante in t , y por lo tanto se obtiene de la fórmula anterior que [30]

Si la curvatura de Ricci de g es positiva y la curvatura seccional de h no es positiva, entonces esto implica que e ( f ) no es negativo. Si M es cerrado, entonces la multiplicación por e ( f ) y una única integración por partes muestra que e ( f ) debe ser constante y, por lo tanto, cero; por lo tanto, f debe ser constante. [31] Richard Schoen y Shing-Tung Yau notaron que este razonamiento se puede extender a M no compacto haciendo uso del teorema de Yau que afirma que las funciones subarmónicas no negativas que están acotadas por L 2 deben ser constantes. [32] En resumen, de acuerdo con estos resultados, uno tiene:

Sean ( M , g ) y ( N , h ) variedades de Riemann suaves y completas, y sea f una función armónica de M a N . Supóngase que la curvatura de Ricci de g es positiva y la curvatura seccional de h no es positiva.

En combinación con el teorema de Eells−Sampson, esto muestra (por ejemplo) que si ( M , g ) es una variedad riemanniana cerrada con curvatura de Ricci positiva y ( N , h ) es una variedad riemanniana cerrada con curvatura seccional no positiva, entonces cada mapa continuo de M a N es homotópico a una constante.

La idea general de deformar una función general en una función armónica, y luego mostrar que cualquier función armónica de este tipo debe ser automáticamente de una clase altamente restringida, ha encontrado muchas aplicaciones. Por ejemplo, Yum-Tong Siu encontró una importante versión analítica compleja de la fórmula de Bochner, afirmando que una función armónica entre variedades de Kähler debe ser holomorfa, siempre que la variedad objetivo tenga una curvatura negativa apropiada. [33] Como aplicación, al hacer uso del teorema de existencia de Eells−Sampson para funciones armónicas, pudo mostrar que si ( M , g ) y ( N , h ) son variedades de Kähler suaves y cerradas, y si la curvatura de ( N , h ) es apropiadamente negativa, entonces M y N deben ser biholomorfas o antibiholomorfas si son homotópicas entre sí; El biholomorfismo (o anti-biholomorfismo) es precisamente el mapa armónico producido como límite del flujo de calor del mapa armónico con datos iniciales dados por la homotopía. Mediante una formulación alternativa del mismo enfoque, Siu pudo demostrar una variante de la conjetura de Hodge aún no resuelta , aunque en el contexto restringido de la curvatura negativa.

Kevin Corlette encontró una extensión significativa de la fórmula de Bochner de Siu y la utilizó para demostrar nuevos teoremas de rigidez para redes en ciertos grupos de Lie . [34] Después de esto, Mikhael Gromov y Richard Schoen extendieron gran parte de la teoría de mapas armónicos para permitir que ( N , h ) sea reemplazado por un espacio métrico . [35] Mediante una extensión del teorema de Eells−Sampson junto con una extensión de la fórmula de Bochner de Siu–Corlette, pudieron demostrar nuevos teoremas de rigidez para redes.

Problemas y aplicaciones

Una función entre variedades de Riemann es totalmente geodésica si, siempre que es una geodésica, la composición es una geodésica.

Mapas armónicos entre espacios métricos

La integral de energía se puede formular en un contexto más débil para funciones u  : MN entre dos espacios métricos . El integrando de energía es, en cambio, una función de la forma

en el cual μεx
es una familia de medidas asociadas a cada punto de M . [36]

Véase también

Referencias

Notas al pie

  1. ^ abc Eells y Sampson 1964, Sección 11A.
  2. ^ Sacks y Uhlenbeck 1981.
  3. ^ Schoen y Uhlenbeck 1982; Schoen y Uhlenbeck 1983.
  4. ^ Aubin 1998, pág. 6; Hélein 2002, pág. 6; Jost 2017, pág. 489; Lin y Wang 2008, pág. 2.
  5. ^ Aubin 1998, pág. 349; Eells y Lemaire 1978, pág. 9; Eells y Lemaire 1983, pág. 15; Hamilton 1975, pág. 4.
  6. ^ Aubin 1998, Definición 10.2; Eells y Lemaire 1978, pág. 9; Eells y Lemaire 1983, pág. 15; Eells y Sampson 1964, Sección 2B; Hamilton 1975, pág. 4; Lin y Wang 2008, pág. 3.
  7. ^ Eells y Lemaire 1978, pág. 8; Eells y Lemaire 1983, pág. 13; Hamilton 1975, pág. 3.
  8. ^ Eells y Lemaire 1983, pág.4.
  9. ^ Eells y Lemaire 1978, pág. 8; Eells y Sampson 1964, Sección 3B; Hamilton 1975, pág. 4.
  10. ^ Eells y Lemaire 1978, pág. 9; Hamilton 1975, pág. 4; Jost 2017, pág. 494.
  11. ^ Aubin 1998, Definición 10.1; Eells y Lemaire 1978, p.10; Eells y Lemaire 1983, p.13; Hélein 2002, p.7; Jost 2017, p.489; Lin y Wang 2008, p.1; Schoen y Yau 1997, p.1.
  12. ^ Eells y Lemaire 1978, pág. 10; Eells y Lemaire 1983, pág. 13; Jost 2017, pág. 490-491.
  13. ^ Aubin 1998, Definición 10.1; Eells y Lemaire 1978, pág. 10; Eells y Lemaire 1983, pág. 13; Eells y Sampson 1964, Sección 1A; Jost 2017, págs. 490-491; Schoen y Yau 1997, pág. 1.
  14. ^ Aubin 1998, Definición 10.1; Eells y Lemaire 1978, p.10; Eells y Lemaire 1983, p.13; Eells y Sampson 1964, Sección 1A; Hélein 2002, p.7; Jost 2017, p.491; Lin y Wang 2008, p.1; Schoen y Yau 1997, p.2.
  15. ^ Aubin 1998, Proposición 10.2; Eells y Lemaire 1978, p.11; Eells y Lemaire 1983, p.14; Eells y Sampson 1964, Sección 2B; Jost 2017, Fórmula 9.1.13.
  16. ^ Hamilton 1975, pág.135.
  17. ^ Eells y Lemaire 1978, pág. 10; Eells y Lemaire 1983, pág. 28; Lin y Wang 2008, Proposición 1.6.2.
  18. ^ Aubin 1998, Definición 10.3; Eells y Lemaire 1978, pág. 11; Eells y Lemaire 1983, pág. 14.
  19. ^ Esto significa que, en relación con cualquier gráfico de coordenadas local, se tiene convergencia uniforme en conjuntos compactos de las funciones y sus primeras derivadas parciales.
  20. ^ Hamilton 1975, págs. 157-161.
  21. ^ Hartman 1967, Teorema B.
  22. ^ Dibble, James (junio de 2019). «Mapas totalmente geodésicos en variedades sin puntos focales». Boletín de la Sociedad Matemática de Londres . 51 (3): 443–458. arXiv : 1807.08236 . doi :10.1112/blms.12241. ISSN  0024-6093.
  23. ^ Cao, Jianguo; Cheeger, Jeff; Rong, Xiaochun (enero de 2004). "Estructuras de división local en variedades de curvatura no positiva y semirrigidez en dimensión 3". Comunicaciones en análisis y geometría . 12 (1): 389–415. doi :10.4310/CAG.2004.v12.n1.a17. ISSN  1944-9992.
  24. ^ Chang, Ding y Ye 1992; Lin y Wang 2008, sección 6.3.
  25. ^ Struwe 1985.
  26. ^ Ding y Tian 1995.
  27. ^ Struwe 1988.
  28. ^ Chen y Struwe 1989.
  29. ^ Eells y Sampson 1964, Sección 8A; Hamilton 1975, p.128-130; Lin y Wang 2008, Lema 5.3.3.
  30. ^ Aubin 1998, Lema 10.11; Eells y Sampson 1964, Sección 3C; Jost 1997, Fórmula 5.1.18; Jost 2017, Fórmula 9.2.13; Lin y Wang 2008, Teorema 1.5.1.
  31. ^ Aubin 1998, Corolario 10.12; Eells y Sampson 1964, Sección 3C; Jost 1997, Teorema 5.1.2; Jost 2017, Corolario 9.2.3; Lin y Wang 2008, Proposición 1.5.2.
  32. ^ Schoen y Yau 1976, págs. 336-337.
  33. ^ Siu 1980.
  34. ^ Corlette 1992.
  35. ^ Gromov y Schoen 1992.
  36. ^ Jost 1994, Definición 1.1.

Artículos

Libros y encuestas

Enlaces externos