stringtranslate.com

Métrica de Kähler-Einstein

En geometría diferencial , una métrica de Kähler-Einstein en una variedad compleja es una métrica de Riemann que es a la vez una métrica de Kähler y una métrica de Einstein . Se dice que una variedad es Kähler-Einstein si admite una métrica de Kähler-Einstein. El caso especial más importante de estos son las variedades Calabi-Yau , que son Kähler y Ricci-planas .

El problema más importante para esta área es la existencia de métricas de Kähler-Einstein para variedades compactas de Kähler. Este problema se puede dividir en tres casos dependiendo del signo de la primera clase de Chern de la variedad de Kähler:

Cuando la primera clase de Chern no es definida, o tenemos una dimensión de Kodaira intermedia, encontrar la métrica canónica permanece como un problema abierto, lo que se denomina conjetura de algebrización mediante un programa de modelo mínimo analítico.

Definición

variedades de Einstein

Supongamos que es una variedad de Riemann . En física, las ecuaciones de campo de Einstein son un conjunto de ecuaciones diferenciales parciales sobre el tensor métrico que describen cómo debe curvarse la variedad debido a la existencia de masa o energía, una cantidad encapsulada por el tensor tensión-energía . En un vacío donde no hay masa ni energía, es decir , las ecuaciones de campo de Einstein se simplifican. Es decir, la curvatura de Ricci es un tensor simétrico, como lo es la métrica misma, y ​​las ecuaciones se reducen a

¿ Dónde está la curvatura escalar de ? Es decir, la curvatura de Ricci se vuelve proporcional a la métrica. Una variedad de Riemann que satisface la ecuación anterior se llama variedad de Einstein .

Toda variedad de Riemann bidimensional es Einstein. Se puede demostrar utilizando las identidades de Bianchi que, en cualquier dimensión mayor, la curvatura escalar de cualquier variedad de Einstein conectada debe ser constante. Por esta razón, la condición de Einstein a menudo se da como

para un numero real

Colectores Kähler

Cuando la variedad de Riemann es también una variedad compleja , es decir, viene con una estructura casi compleja integrable , es posible pedir una compatibilidad entre la estructura métrica y la estructura compleja . Hay muchas formas equivalentes de formular esta condición de compatibilidad, y una interpretación sucinta es preguntar que es ortogonal con respecto a , de modo que para todos los campos vectoriales , y que se conserva mediante el transporte paralelo de la conexión Levi-Civita , capturada por el condición . Esta tripleta se llama variedad de Kähler .

Métricas de Kähler-Einstein

Una variedad de Kähler-Einstein es aquella que combina las propiedades anteriores de ser Kähler y admitir una métrica de Einstein. La combinación de estas propiedades implica una simplificación de la ecuación de Einstein en términos de estructura compleja. Es decir, en una variedad de Kähler se puede definir la forma de Ricci , una forma real , mediante la expresión

¿ Dónde están los campos vectoriales tangentes a ?

La estructura casi compleja obliga a ser antisimétrica, y la condición de compatibilidad combinada con la identidad de Bianchi implica que es una forma diferencial cerrada . Asociada a la métrica de Riemann está la forma de Kähler definida por una expresión similar . Por lo tanto, las ecuaciones de Einstein para se pueden reescribir como

la ecuación de Kähler-Einstein.

Dado que se trata de una igualdad de formas diferenciales cerradas, implica una igualdad de las clases de cohomología de De Rham asociadas y . La primera clase es la primera clase Chern de . Por lo tanto, una condición necesaria para la existencia de una solución a la ecuación de Kähler-Einstein es que , para algunos . Esta es una condición topológica necesaria en la variedad Kähler .

Tenga en cuenta que, dado que la curvatura de Ricci es invariante bajo escala , si hay una métrica tal que , siempre se puede normalizar a una nueva métrica con , es decir . Por tanto, la ecuación de Kähler-Einstein a menudo se escribe

dependiendo del signo de la constante topológica .

Transformación a una ecuación compleja de Monge-Amperio

La situación de las variedades compactas de Kähler es especial, porque la ecuación de Kähler-Einstein se puede reformular como una ecuación compleja de Monge-Amperio para un potencial de Kähler suave en . [5] Según el supuesto topológico de la variedad de Kähler, siempre podemos suponer que existe alguna métrica de Kähler . La forma de Ricci está dada en coordenadas locales por la fórmula

Por supuesto , y están en la misma clase de cohomología , por lo que el lema de la teoría de Hodge implica que existe una función suave tal que .

Cualquier otra métrica está relacionada mediante un potencial de Kähler tal que . Entonces se deduce que si es la forma de Ricci con respecto a , entonces

Por lo tanto, para hacer necesitamos encontrar tal que

Esto ciertamente será cierto si se prueba la misma ecuación después de eliminar las derivadas y, de hecho, esta es una ecuación equivalente por el lema hasta cambiar por la adición de una función constante. En particular, después de eliminar y exponenciar, la ecuación se transforma en

Esta ecuación diferencial parcial es similar a una ecuación real de Monge-Ampere , y se conoce como ecuación compleja de Monge-Ampere, y posteriormente puede estudiarse utilizando herramientas del análisis convexo . Su comportamiento es muy sensible al signo de la constante topológica . Las soluciones de esta ecuación aparecen como puntos críticos del funcional de energía K introducido por Toshiki Mabuchi en el espacio de potenciales de Kähler en la clase .

Existencia

El problema de existencia de las métricas de Kähler-Einstein se puede dividir en tres casos distintos, dependiendo del signo de la constante topológica . Dado que la forma de Kähler es siempre una forma diferencial positiva , el signo de depende de si la clase de cohomología es positiva, negativa o cero. En geometría algebraica esto se entiende en términos del paquete canónico de : si y solo si el paquete canónico es un paquete de líneas amplio , y si y solo si es amplio. Si es un paquete de líneas trivial, entonces . Cuando la variedad de Kähler es compacta , el problema de la existencia queda completamente resuelto.

El caso c 1 (X)

Cuando la variedad de Kähler satisface el supuesto topológico , el paquete canónico es amplio y, por tanto, debe ser negativo. Si se satisface el supuesto topológico necesario, es decir, existe una métrica de Kähler tal que , Aubin y Yau demostraron que siempre existe una métrica de Kähler-Einstein. [6] [7] La ​​existencia de una métrica de Kähler que satisface el supuesto topológico es una consecuencia de la prueba de Yau de la conjetura de Calabi .

Teorema (Aubin, Yau): Una variedad compacta de Kähler siempre admite una métrica de Kähler-Einstein.

El caso c 1 (X)=0

Cuando el paquete canónico es trivial, de modo que , se dice que la variedad es Calabi-Yau . Estas variedades son de especial importancia en física, donde deberían aparecer como fondo de cuerdas en la teoría de supercuerdas en 10 dimensiones. Matemáticamente, esto corresponde al caso en el que , es decir, cuando la variedad de Riemann es plana de Ricci .

La existencia de una métrica de Kähler-Einstein fue probada en este caso por Yau, utilizando un método de continuidad similar al caso en el que . [8] El supuesto topológico introduce nuevas dificultades en el método de continuidad. En parte debido a su prueba de existencia y la prueba relacionada de la conjetura de Calabi , Yau recibió la medalla Fields .

Teorema (Yau): Una variedad de Kähler compacta con paquete canónico trivial, una variedad de Calabi-Yau, siempre admite una métrica de Kähler-Einstein y, en particular, admite una métrica plana de Ricci.

El caso c 1 (X)>0

Cuando el paquete anticanónico es amplio, o equivalentemente , se dice que la variedad es Fano. A diferencia de lo que ocurre en este caso, no siempre existe una métrica de Kähler-Einstein. Akito Futaki observó que existen posibles obstáculos a la existencia de una solución dada por los campos vectoriales holomorfos de , y es una condición necesaria que el invariante de Futaki de estos campos vectoriales no sea negativo. [9] De hecho, mucho antes Matsushima y Lichnerowicz habían observado que otra condición necesaria es que el álgebra de Lie de los campos vectoriales holomorfos debe ser reductivo . [10] [11]

Yau conjeturó en 1993, en analogía con el problema similar de la existencia de métricas de Hermite-Einstein en haces de vectores holomorfos , que la obstrucción a la existencia de una métrica de Kähler-Einstein debería ser equivalente a una cierta condición de estabilidad álgebro-geométrica similar a estabilidad de pendiente de haces de vectores. [12] En 1997, Tian Gang propuso una posible condición de estabilidad, que llegó a conocerse como K-estabilidad . [13]

La conjetura de Yau fue resuelta en 2012 por Chen – Donaldson – Sun utilizando técnicas muy diferentes del método clásico de continuidad del caso , [1] [2] [3] y al mismo tiempo por Tian. [4] [14] Chen–Donaldson–Sun han cuestionado la prueba de Tian, ​​alegando que contiene imprecisiones matemáticas y material que debería atribuirse a ellos. [a] Tian ha cuestionado estas afirmaciones. [b] El premio Veblen 2019 fue otorgado a Chen–Donaldson–Sun por su prueba. [15] Donaldson recibió el Premio Breakthrough Prize en Matemáticas 2015 en parte por su contribución a la prueba, [16] y el Premio New Horizons Breakthrough 2021 fue otorgado a Sun en parte por su contribución. [17]

Teorema: Una variedad de Fano compacta admite una métrica de Kähler-Einstein si y sólo si el par es K-poliestable.

Más tarde, Datar-Székelyhidi proporcionó una prueba basada en el método de continuidad que resolvió el caso , y ahora se conocen varias otras pruebas. [18] [19] Consulte la conjetura de Yau-Tian-Donaldson para obtener más detalles.

El flujo de Kähler-Ricci y el programa modelo mínimo

Un programa central en geometría biracional es el programa de modelo mínimo , que busca generar modelos de variedades algebraicas dentro de cada clase de biracionalidad, que son en algún sentido mínimos , generalmente porque minimizan ciertas medidas de complejidad (como el género aritmético en el caso de curvas). En dimensiones superiores, se busca un modelo mínimo que tenga nef paquete canónico . Una forma de construir modelos mínimos es contraer ciertas curvas dentro de una variedad algebraica que tengan una autointersección negativa. Estas curvas deben considerarse geométricamente como subvariedades en las que se concentra una curvatura negativa.

En este sentido, el programa del modelo mínimo puede verse como una analogía del flujo de Ricci en geometría diferencial, donde las regiones donde se concentra la curvatura se expanden o contraen para reducir la variedad de Riemann original a una con curvatura uniforme (precisamente, a una nueva variedad de Riemann que tiene curvatura de Ricci uniforme, es decir una variedad de Einstein). En el caso de 3 variedades, Grigori Perelman utilizó esto para demostrar la conjetura de Poincaré .

En el contexto de las variedades de Kähler, Cao anotó por primera vez el flujo de Kähler-Ricci . [20] Aquí se fija una métrica de Kähler con la forma de Ricci y se estudia el flujo geométrico para una familia de métricas de Kähler parametrizadas por :

Cuando una variedad proyectiva es de tipo general , el modelo mínimo admite una mayor simplificación a un modelo canónico , con haz canónico amplio. En entornos donde solo hay singularidades leves ( orbifold ) en este modelo canónico, es posible preguntar si el flujo de Kähler-Ricci converge a una métrica de Kähler-Einstein (posiblemente levemente singular) , que debería existir con la existencia de Yau y Aubin. resultado para .

Cascini y La Nave [21] y casi al mismo tiempo Tian-Zhang demostraron un resultado preciso en este sentido . [22]

Teorema: El flujo de Kähler-Ricci en una variedad proyectiva de tipo general existe para todos los tiempos, y después de como máximo un número finito de formaciones de singularidades, si el modelo canónico tiene, en el peor de los casos, singularidades orbifold, entonces el flujo de Kähler-Ricci converge a la métrica de Kähler-Einstein en , hasta una función acotada que se aleja suavemente de una subvariedad analítica de .

En el caso de que la variedad sea de dimensión dos, también lo es una superficie de tipo general, se obtiene convergencia a la métrica de Kähler-Einstein en .

Más tarde, Jian Song y Tian estudiaron el caso en el que la variedad proyectiva tiene singularidades log-terminales. [23]

Flujo de Kähler-Ricci y existencia de métricas de Kähler-Einstein

Es posible dar una prueba alternativa del teorema de Chen-Donaldson-Sun sobre la existencia de métricas de Kähler-Einstein en una variedad de Fano suave utilizando el flujo de Kähler-Ricci, y esto fue llevado a cabo en 2018 por Chen-Sun-Wang. [24] Es decir, si la variedad de Fano es K-polistable, entonces el flujo de Kähler-Ricci existe para siempre y converge a una métrica de Kähler-Einstein en la variedad de Fano.

Generalizaciones y nociones alternativas.

Métricas de Kähler de curvatura escalar constante

Cuando el paquete canónico no es trivial, amplio o antiamplio, no es posible pedir una métrica de Kähler-Einstein, ya que la clase no puede contener una métrica de Kähler y, por lo tanto, la condición topológica necesaria nunca puede satisfacerse. Esto se desprende del teorema de incrustación de Kodaira .

Una generalización natural de la ecuación de Kähler-Einstein al escenario más general de una variedad de Kähler compacta y arbitraria es preguntar que la métrica de Kähler tiene una curvatura escalar constante (se dice que la métrica es cscK ). La curvatura escalar es la traza total del tensor de curvatura de Riemann , una función suave sobre la variedad , y en el caso de Kähler la condición de que la curvatura escalar sea constante admite una transformación en una ecuación similar a la compleja ecuación de Monge-Ampere de Kähler. –Escenario de Einstein. Muchas técnicas del caso Kähler-Einstein continúan con el escenario cscK, aunque con dificultad adicional, y se conjetura que una condición de estabilidad algebro-geométrica similar debería implicar la existencia de soluciones a la ecuación en este escenario más general.

Cuando la variedad compacta de Kähler satisface los supuestos topológicos necesarios para que la condición de Kähler-Einstein tenga sentido, la ecuación de Kähler de curvatura escalar constante se reduce a la ecuación de Kähler-Einstein.

Métricas de Hermite-Einstein

En lugar de preguntar que la curvatura de Ricci de la conexión de Levi-Civita en el haz tangente de una variedad de Kähler es proporcional a la métrica misma, se puede hacer esta pregunta para la curvatura de una conexión de Chern asociada a una métrica hermitiana en cualquier haz de vectores holomorfos. terminado (tenga en cuenta que la conexión de Levi-Civita en el paquete tangente holomorfo es precisamente la conexión de Chern de la métrica hermitiana procedente de la estructura de Kähler). La ecuación resultante se llama ecuación de Hermite-Einstein, y es de especial importancia en la teoría de calibre , donde aparece como un caso especial de las ecuaciones de Yang-Mills , que provienen de la teoría cuántica de campos , en contraste con las ecuaciones regulares de Einstein que provienen de de la relatividad general .

En el caso en que el paquete de vectores holomorfos sea nuevamente el paquete tangente holomorfo y la métrica hermitiana sea la métrica de Kähler, la ecuación de Hermite-Einstein se reduce a la ecuación de Kähler-Einstein. Sin embargo, en general, la geometría de la variedad de Kähler suele ser fija y solo se permite variar la métrica del paquete, y esto hace que la ecuación de Hermite-Einstein sea más fácil de estudiar que la ecuación de Kähler-Einstein en general. En particular, la correspondencia Kobayashi-Hitchin proporciona una caracterización algebro-geométrica completa de la existencia de soluciones .

Referencias

  1. ^ ab Chen, Xiuxiong; Donaldson, Simón ; Sol, canción (2014). "Métricas de Kähler-Einstein en variedades de Fano. I: Aproximación de métricas con singularidades de cono". Revista de la Sociedad Matemática Estadounidense . 28 : 183-197. arXiv : 1211.4566 . doi :10.1090/S0894-0347-2014-00799-2. S2CID  119641827.
  2. ^ ab Chen, Xiuxiong; Donaldson, Simón ; Sol, canción (2014). "Métricas de Kähler-Einstein en variedades de Fano. II: Límites con ángulo de cono inferior a 2π". Revista de la Sociedad Matemática Estadounidense . 28 : 199–234. arXiv : 1212.4714 . doi :10.1090/S0894-0347-2014-00800-6. S2CID  119140033.
  3. ^ ab Chen, Xiuxiong; Donaldson, Simón ; Sol, canción (2014). "Métricas de Kähler-Einstein en variedades de Fano. III: Límites cuando el ángulo del cono se acerca a 2π y finalización de la prueba principal". Revista de la Sociedad Matemática Estadounidense . 28 : 235–278. arXiv : 1302.0282 . doi :10.1090/S0894-0347-2014-00801-8. S2CID  119575364.
  4. ^ ab Tian, ​​G. (2015). "K-estabilidad y métricas de Kähler-Einstein". Comunicaciones sobre Matemática Pura y Aplicada . 68 (7): 1085-1156. arXiv : 1211.4669 . doi :10.1002/cpa.21578. S2CID  119303358.
  5. ^ Székelyhidi, Gabor (2014). "Una introducción a las métricas extremas de Kähler ". Estudios de Posgrado en Matemáticas. vol. 152. Sociedad Estadounidense de Matemáticas. ISBN 978-1-470-41047-6.
  6. ^ Aubin, T. (1976). "Équations du type Monge-Ampère sur les variétés kähleriennes compactes". CR Acad. Ciencia. París . Ser. AB. 283 (3): Aiii, A119–A121.
  7. ^ Yau, Shing Tung (1977). "La conjetura de Calabi y algunos resultados nuevos en geometría algebraica". Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 74 (5): 1798-1799. Código bibliográfico : 1977PNAS...74.1798Y. doi : 10.1073/pnas.74.5.1798 . PMC 431004 . PMID  16592394. 
  8. ^ Shing-Tung Yau . Sobre la curvatura de Ricci de una variedad compacta de Kähler y la compleja ecuación de Monge-Ampère. I. Comunicaciones sobre matemáticas puras y aplicadas , 31(3):339–411, 1978.
  9. ^ Futaki, A. (1983). "Una obstrucción a la existencia de las métricas de Einstein Kähler". Inventar. Matemáticas . 73 (3): 437–443. Código Bib : 1983 InMat..73..437F. doi :10.1007/BF01388438. S2CID  121382431.
  10. ^ Matsushima, Yozo (1957). "Sobre la estructura del grupo de homéomorfismos analíticos de una cierta variedad kählérienne". Matemáticas de Nagoya. J. _ 11 : 145-150. doi : 10.1017/S0027763000002026 .
  11. ^ Lichnerowicz, André (1958). Geometría de grupos de transformaciones . Travaux et Recherches Mathématiques. vol. III. París: Dunod.
  12. ^ Yau, S.-T. (1993). "Problemas abiertos en geometría". Geometría diferencial: ecuaciones diferenciales parciales en variedades (Los Ángeles, CA, 1990) . Proc. Simposios. Matemática pura. vol. 54. Providencia, RI: Amer. Matemáticas. Soc. págs. 1–28. ISBN 0-8218-1494-X.
  13. ^ Tian, ​​pandilla (1997). "Métricas de Kähler-Einstein con curvatura escalar positiva". Invenciones Mathematicae . 130 (1): 1–37. Código Bib : 1997 InMat.130....1T. doi :10.1007/s002220050176. SEÑOR  1471884. S2CID  122529381.
  14. ^ Tian, ​​G. (2015). "Corrigéndum: K-estabilidad y métricas de Kähler-Einstein". Comunicaciones sobre Matemática Pura y Aplicada . 68 (11): 2082-2083. doi : 10.1002/cpa.21612 .
  15. ^ "Premio Oswald Veblen de Geometría 2019 a Xiuxiong Chen, Simon Donaldson y Song Sun". Sociedad Matemática Estadounidense . 2018-11-19 . Consultado el 9 de abril de 2019 .
  16. ^ Simon Donaldson "Para las nuevas invariantes revolucionarias de variedades cuatridimensionales y para el estudio de la relación entre estabilidad en geometría algebraica y en geometría diferencial global, tanto para paquetes como para variedades de Fano".
  17. ^ Premio Revelación en Matemáticas 2021
  18. ^ Székelyhidi, G. (2016). "La estimación parcial según el método de continuidad". J.Amer. Matemáticas. Soc . 29 : 537–560. arXiv : 1310.8471 . doi : 10.1090/jams/833.
  19. ^ Datar, V.; Székelyhidi, G. (2016). "Métricas de Kähler-Einstein según el método de continuidad suave". Geom. Función. Anal . 26 (4): 975–1010. arXiv : 1506.07495 . doi :10.1007/s00039-016-0377-4. S2CID  118246980.
  20. ^ Cao, Huai-Dong (1985). "Deformación de matrices de Kähler a métricas de Kähler-Einstein en colectores compactos de Kähler". Invenciones Mathematicae . 81 (2): 359–372. Código Bib : 1985 InMat..81..359C. doi :10.1007/BF01389058. S2CID  124733796.
  21. ^ Cascini, P.; La Nave, G. (2006). "Kähler-Ricci Flow y el programa modelo mínimo para variedades proyectivas". arXiv : matemáticas/0603064 .
  22. ^ Tian, ​​G.; Zhang, Z. (2006). "Sobre el flujo de Kähler-Ricci en colectores proyectivos de tipo general". Anales chinos de matemáticas, serie B. 27 (2): 179-192. doi :10.1007/s11401-005-0533-x. S2CID  16476473.
  23. ^ Canción, Jian; Tian, ​​pandilla (2009). "Los Kahler-Ricci fluyen a través de singularidades". arXiv : 0909.4898 [matemáticas.DG].
  24. ^ Chen, Xiuxiong; Sol, Canción; Wang, Bing (2018). "Flujo de Kähler-Ricci, métrica de Kähler-Einstein y estabilidad K". Geom. Tópol . 2 (6): 3145–3173. arXiv : 1508.04397 . doi :10.2140/gt.2018.22.3145. S2CID  5667938.

Notas

  1. ^ Xiuxiong Chen, Simon Donaldson, Song Sun. "Sobre algunos desarrollos recientes en la geometría de Kähler".
  2. ^ Pandilla Tian. "Respuesta a CDS" y "Más comentarios sobre CDS", corrección de errores: K-Stability y Kähler‐Einstein Metrics