Infinitesimal rigidity of Hermitian gravitational instantons

Enunciato del Problema
Il documento affronta le proprietà strutturali dello spazio dei moduli degli instantoni gravitazionali ermiti, concentrandosi specificamente sulle metriche Asintoticamente Localmente Piatte (ALF). Sebbene il recente lavoro di Biquard, Gauduchon e LeBrun abbia stabilito la rigidità locale degli instantoni ermiti (ovvero che lo spazio dei moduli è localmente ben comportato), rimaneva una questione fondamentale riguardante la rigidità infinitesimale e l'integrabilità. In particolare, non era noto se ogni deformazione Einstein infinitesimale di un instantone gravitazionale ermite fosse tangente a una curva all'interno dello spazio dei moduli di tali instantoni, o se esistessero "ostruzioni" che impediscono l'integrazione delle deformazioni infinitesimali in quelle finite. Si tratta di un problema non banale, poiché l'integrabilità fallisce per le metriche Einstein generiche (ad esempio, il controesempio di Koiso). Gli autori mirano a dimostrare che per gli instantoni ALF ermiti, non-Kähler, la rigidità infinitesimale e l'integrabilità valgono.

Metodologia
La dimostrazione si basa su una combinazione di analisi geometrica, teoria delle perturbazioni e specifiche identità derivate dalla struttura di curvatura delle varietà riemanniane a quattro dimensioni.

1. Identità di Divergenza: Gli autori derivano una nuova identità di divergenza per varietà riemanniane generiche con un tensore di Weyl non auto-duale. Questa identità, ispirata dalle idee di Wu e LeBrun, mette in relazione la divergenza di un campo vettoriale specifico costruito da un autovettore del tensore di Weyl auto-duale ($W^+$) con termini che coinvolgono la norma della derivata covariante dell'autovettore, gli autovalori di $W^+$ e un termine che coinvolge il tensore di Ricci privo di traccia.
2. Espansione Perturbativa: Gli autori considerano una famiglia regolare parametrica di metriche $\hat{g}_{ab}(s)$ che passa attraverso una metrica Einstein ermita non-Kähler. Essi eseguono un'espansione perturbativa dell'identità di divergenza derivata fino al secondo ordine ($s^2$).
3. Struttura Kähler Conformale: Un passaggio critico consiste nello dimostrare che, se la curva di metriche soddisfa la condizione Einstein e specifiche condizioni al contorno, la curva è conformemente Kähler fino al secondo ordine perturbativo. Ciò sfrutta il fatto che gli instantoni ermiti sono conformi a spazi Kähler estremi.
4. Condizioni al Contorno (ALF): L'analisi è limitata alle metriche ALF. Gli autori analizzano attentamente il comportamento asintotico dei termini dell'identità di divergenza all'infinito. Dimostrano che per gli instantoni ALF, i termini al contorno derivanti dal teorema della divergenza svaniscono al secondo ordine di perturbazione.
5. Stabilità dei Modi: La dimostrazione si basa sul lavoro precedente degli autori che ha stabilito la "stabilità dei modi", la quale ha mostrato che la parte auto-duale del tensore di Weyl linearizzato per deformazioni ALF generiche è algebricamente speciale.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 1.1): Gli autori dimostrano che ogni instantone gravitazionale ALF ermita, non-Kähler, è integrabile e soddisfa la rigidità infinitesimale. Ciò significa che ogni deformazione Einstein infinitesimale di tale metrica è, salvo trasformazioni di gauge, una perturbazione rispetto ai parametri del modulo.
• Kählerità Conformale del Secondo Ordine: Un risultato intermedio cruciale è la dimostrazione che una curva di metriche riemanniane che passa attraverso una metrica Einstein ermita non-Kähler è conformemente Kähler fino al secondo ordine perturbativo, a condizione che valgano determinate condizioni al contorno.
• Completamento del Quadro di Rigidità: Combinando il loro risultato con il teorema di rigidità locale di Biquard, Gauduchon e LeBrun, il documento completa la descrizione dello spazio dei moduli per gli instantoni gravitazionali ermiti sia nei casi compatti che in quelli non compatti (ALF). Esso risolve la questione aperta se l'integrabilità valga per questa specifica classe di metriche Einstein.

Significatività
Il documento sostiene di aver risolto la questione della rigidità infinitesimale e dell'integrabilità per gli instantoni gravitazionali ALF ermiti. Questo risultato è significativo perché conferma che lo spazio dei moduli di questi instantoni non è solo localmente rigido, ma anche che lo spazio delle deformazioni infinitesimali è pienamente catturato dai parametri del modulo stesso, senza "ostruzioni nascoste" all'integrabilità. Il lavoro estende la comprensione degli instantoni gravitazionali oltre gli esempi noti (come Taub-NUT e Chen-Teo) verso un contesto di classificazione generale, rafforzando la stabilità strutturale delle metriche Einstein ermite in quattro dimensioni. La derivazione dell'identità di divergenza per varietà con tensori di Weyl non auto-duali è presentata come uno strumento tecnico di interesse indipendente, potenzialmente applicabile ad altri problemi riguardanti la classificazione delle metriche Einstein.