Infinitesimal rigidity of Hermitian gravitational instantons

Enunciado do Problema
O artigo aborda as propriedades estruturais do espaço de módulos de instantons gravitacionais hermitianos, focando especificamente em métricas Asintoticamente Localmente Planas (ALF). Embora o trabalho recente de Biquard, Gauduchon e LeBrun tenha estabelecido a rigidez local de instantons hermitianos (significando que o espaço de módulos é localmente bem comportado), uma questão fundamental permanecia em relação à rigidez infinitesimal e integrabilidade. Especificamente, não se sabia se toda deformação de Einstein infinitesimal de um instanton gravitacional hermitiano é tangente a uma curva dentro do espaço de módulos de tais instantons, ou se existem "obstruções" que impedem a integração de deformações infinitesimais em deformações finitas. Este é um problema não trivial, pois a integrabilidade falha para métricas de Einstein genéricas (ex: o contraexemplo de Koiso). Os autores visam provar que, para instantons gravitacionais ALF hermitianos e não-Kähler, a rigidez infinitesimal e a integrabilidade ocorrem.

Metodologia
A prova baseia-se em uma combinação de análise geométrica, teoria de perturbação e identidades específicas derivadas da estrutura de curvatura de variedades riemannianas de quatro dimensões.

1. Identidade de Divergência: Os autores derivam uma nova identidade de divergência para variedades riemannianas genéricas com um tensor de Weyl não auto-dual. Esta identidade, inspirada em ideias de Wu e LeBrun, relaciona a divergência de um campo vetorial específico construído a partir de um autovetor do tensor de Weyl auto-dual ($W^+$) a termos envolvendo a norma da derivada covariante do autovetor, os autovalores de $W^+$ e um termo envolvendo o tensor de Ricci sem traço.
2. Expansão Perturbativa: Os autores consideram uma família suave de uma única variável de métricas $\hat{g}_{ab}(s)$ que passa por uma métrica de Einstein hermitiana não-Kähler. Eles realizam uma expansão perturbativa da identidade de divergência derivada até a segunda ordem ($s^2$).
3. Estrutura Kähler Conforme: Um passo crítico envolve mostrar que, se a curva de métricas satisfaz a condição de Einstein e condições de contorno específicas, a curva é conformalmente Kähler até a segunda ordem perturbativa. Isso utiliza o fato de que instantons hermitianos são conformes a espaços Kähler extremais.
4. Condições de Contorno (ALF): A análise é restrita a métricas ALF. Os autores analisam cuidadosamente o comportamento assintótico dos termos da identidade de divergência no infinito. Eles demonstram que, para instantons ALF, os termos de contorno decorrentes do teorema da divergência desaparecem na segunda ordem de perturbação.
5. Estabilidade de Modo: A prova constrói-se sobre o trabalho anterior dos autores estabelecendo a "estabilidade de modo", que mostrou que a parte auto-dual do tensor de Weyl linearizado para deformações ALF genéricas é algebricamente especial.

Contribuições Principais e Resultados

• Teorema Principal (Teorema 1.1): Os autores provam que qualquer instanton gravitacional ALF hermitiano, não-Kähler, é integrável e satisfaz a rigidez infinitesimal. Isso significa que qualquer deformação de Einstein infinitesimal de tal métrica é, a menos de transformações de gauge, uma perturbação em relação aos parâmetros do módulo.
• Kähleridade Conforme de Segunda Ordem: Um resultado intermediário crucial é a prova de que uma curva de métricas riemannianas passando por uma métrica de Einstein hermitiana não-Kähler é conformalmente Kähler até a segunda ordem perturbativa, desde que certas condições de contorno sejam atendidas.
• Conclusão do Quadro de Rigidez: Ao combinar seu resultado com o teorema de rigidez local de Biquard, Gauduchon e LeBrun, o artigo completa a descrição do espaço de módulos para instantons gravitacionais hermitianos tanto nos casos compactos quanto não-compactos (ALF). Ele resolve a questão aberta de se a integrabilidade ocorre para esta classe específica de métricas de Einstein.

Significância
O artigo afirma resolver a questão da rigidez infinitesimal e integrabilidade para instantons gravitacionais ALF hermitianos. Este resultado é significativo porque confirma que o espaço de módulos desses instantons não é apenas localmente rígido, mas também que o espaço de deformações infinitesimais é totalmente capturado pelos próprios parâmetros do módulo, sem "obstruções ocultas" à integrabilidade. O trabalho estende a compreensão dos instantons gravitacionais além dos exemplos conhecidos (como Taub-NUT e Chen-Teo) para um contexto de classificação geral, reforçando a estabilidade estrutural das métricas de Einstein hermitianas em quatro dimensões. A derivação da identidade de divergência para variedades com tensores de Weyl não auto-duais é apresentada como uma ferramenta técnica de interesse independente, potencialmente aplicável a outros problemas envolvendo a classificação de métricas de Einstein.