Infinitesimal rigidity of Hermitian gravitational instantons

Planteamiento del Problema
El artículo aborda las propiedades estructurales del espacio de módulos de los instantones gravitacionales hermitianos, centrándose específicamente en las métricas Asintóticamente Localmente Planas (ALF). Si bien el trabajo reciente de Biquard, Gauduchon y LeBrun estableció la rigidez local de los instantones hermitianos (lo que significa que el espacio de módulos es localmente bien comportado), persistía una pregunta fundamental respecto a la rigidez infinitesimal y la integrabilidad. Específicamente, se desconocía si cada deformación de Einstein infinitesimal de un instantón gravitacional hermiano es tangente a una curva dentro del espacio de módulos de dichos instantones, o si existen "obstrucciones" que impiden la integración de las deformaciones infinitesimales en finitas. Este es un problema no trivial, ya que la integrabilidad falla para métricas de Einstein generales (por ejemplo, el contraejemplo de Koiso). Los autores pretenden demostrar que para los instantones gravitacionales hermitianos ALF, no kähler, la rigidez infinitesimal y la integrabilidad se cumplen.

Metodología
La demostración se basa en una combinación de análisis geométrico, teoría de perturbaciones e identidades específicas derivadas de la estructura de curvatura de las variedades riemannianas de cuatro dimensiones.

1. Identidad de Divergencia: Los autores derivan una nueva identidad de divergencia para variedades riemannianas genéricas con un tensor de Weyl no autodual. Esta identidad, inspirada en las ideas de Wu y LeBrun, relaciona la divergencia de un campo vectorial específico construido a partir de un autovector del tensor de Weyl autodual ($W^+$) con términos que involucran la norma de la derivada covariante del autovector, los autovalores de $W^+$ y un término que involucra el tensor de Ricci sin traza.
2. Expansión Perturbativa: Los autores consideran una familia suave de una familia de métricas $\hat{g}_{ab}(s)$ que pasa por una métrica de Einstein hermiana no kähler. Realizan una expansión perturbativa de la identidad de divergencia derivada hasta el segundo orden ($s^2$).
3. Estructura Kähler Conforme: Un paso crítico consiste en demostrar que, si la curva de métricas satisface la condición de Einstein y condiciones de contorno específicas, la curva es conformalmente kähler hasta el segundo orden perturbativo. Esto utiliza el hecho de que los instantones hermianos son conformes a espacios kähler extremales.
4. Condiciones de Contorno (ALF): El análisis se restringe a métricas ALF. Los autores analizan cuidadosamente el comportamiento asintótico de los términos de la identidad de divergencia en el infinito. Demuestran que para los instantones ALF, los términos de contorno que surgen de la divergencia mediante el teorema de la divergencia se anulan en el segundo orden de la perturbación.
5. Estabilidad de Modos: La prueba se construye sobre el trabajo previo de los autores que establece la "estabilidad de modos", la cual demostró que la parte autodual del tensor de Weyl linealizado para deformaciones ALF genéricas es algebraicamente especial.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.1): Los autores demuestran que cualquier instantón gravitacional hermiano ALF, no kähler, es integrable y satisface la rigidez infinitesimal. Esto significa que cualquier deformación de Einstein infinitesimal de dicha métrica es, salvo por transformaciones de gauge, una perturbación con respecto a los parámetros de los módulos.
• Segunda-Orden de Kähleridad Conforme: Un resultado intermedio crucial es la demostración de que una curva de métricas riemannianas que pasa por una métrica de Einstein hermiana no kähler es conformemente kähler hasta el segundo orden perturbativo, siempre que se cumplan ciertas condiciones de contorno.
• Completación del Cuadro de Rigidez: Al combinar su resultado con el teorema de rigidez local de Biquard, Gauduchon y LeBrun, el artículo completa la descripción del espacio de módulos para los instantones gravitacionales hermianos tanto en casos compactos como no compactos (ALF). Resuelve la cuestión abierta de si la integrabilidad se cumple para esta clase específica de métricas de Einstein.

Significado
El artículo afirma resolver la cuestión de la rigidez infinitesimal y la integrabilidad para los instantones gravitacionales hermianos ALF. Este resultado es significativo porque confirma que el espacio de módulos de estos instantones no solo es localmente rígido, sino que también el espacio de deformaciones infinitesimales está plenamente capturado por los parámetros del espacio de módulos, sin "obstrucciones ocultas" a la integrabilidad. El trabajo extiende la comprensión de los instantones gravitacionales más allá de los ejemplos conocidos (como Taub-NUT y Chen-Teo) hacia un contexto de clasificación general, reforzando la estabilidad estructural de las métricas de Einstein hermianas en cuatro dimensiones. La derivación de la identidad de divergencia para variedades con tensores de Weyl no autoduales se presenta como una herramienta técnica de interés independiente, potencialmente aplicable a otros problemas que involucren la clasificación de métricas de Einstein.