On the Donaldson-Scaduto conjecture

1. Enunciato del Problema e Contesto

Il lavoro affronta una congettura proposta da Simon Donaldson e Scaduto riguardante l'esistenza di specifiche sottovarietà associative nelle $G_2$-varietà e di sottovarietà lagrangiane speciali nelle 3-varietà di Calabi-Yau.

• Contesto Globale: Nello studio delle $G_2$-varietà costruite tramite fibrazioni coassociative K3 nel limite adiabatico, Donaldson e Scaduto hanno congetturato che le sottovarietà associative possano formare "giunzioni triple" dove tre estremità cilindriche si incontrano.
• Modello Locale: Il lavoro si concentra sulla versione locale di questa congettura. Lo spazio ambiente è sostituito da $X \times \mathbb{R}^3$, dove $X$ è un istantone gravitazionale di tipo ALE (Asintoticamente Localmente Euclideo) di tipo $A_2$ (una 4-varietà iperkähler).
• La Congettura: Esiste una sottovarietà associativa $P \subset X \times \mathbb{R}^3$ omeomorfa a una 3-sfera con tre buchi ($S^3$ con tre punteggiature) e avente tre estremità asintotiche a specifici semicilindri $\Sigma_i \times (\mathbb{R}^+ v_i)$.
• Equivalenza: Identificando $X \times \mathbb{R}^3$ con $X \times \mathbb{R}^2 \times \mathbb{R}$, il problema è riformulato in termini di sottovarietà lagrangiane speciali nella 3-varietà di Calabi-Yau $Z = X \times \mathbb{R}^2$. Gli autori generalizzano il problema agli istantoni di tipo $A_{n-1}$, cercando una famiglia $(n-1)$-dimensionale di lagrangiane speciali omeomorfe a una 3-sfera con $n$ buchi con $n$ estremità asintoticamente cilindriche.

2. Metodologia

Gli autori impiegano una combinazione di analisi geometrica, equazioni alle derivate parziali (PDE) e teoria geometrica della misura. La strategia procede in quattro fasi principali:

A. Riduzione Dimensionale

Assumendo l'invarianza $U(1)$ (motivata dall'ansatz di Gibbons-Hawking per $X$), il problema è ridotto da una condizione lagrangiana speciale in 6 dimensioni a un problema in 2 dimensioni sul quoziente simplettico $Z_{red} \cong \mathbb{R}^4$.

• La condizione lagrangiana speciale si riduce a un sistema di equazioni per una mappa $F: U \subset \mathbb{R}^2 \to \mathbb{R}^2$, dove $U$ è il poligono convesso con vertici $p_1, \dots, p_n$ (i punti monopolo).
• Sotto un'ipotesi grafica ($F = \nabla \phi$), il sistema si riduce a un'equazione di Monge-Ampère reale:
  $$\det(D^2 \phi) = V(u) = A + \sum_{i=1}^n \frac{1}{2|u - p_i|}$$
  dove $V$ è la funzione armonica che definisce la metrica di Gibbons-Hawking.

B. Risoluzione del Problema di Dirichlet

Gli autori risolvono l'equazione di Monge-Ampère sul poligono convesso $U$ con condizioni al contorno specifiche:

• Dati al Contorno: Su ogni lato $[p_i, p_{i+1}]$, il potenziale $\phi$ è richiesto essere affine lineare, corrispondente alle posizioni asintotiche delle estremità cilindriche.
• Singularità: Il termine di destra $V$ presenta singolarità nei vertici $p_i$.
• Tecnica: Utilizzano una strategia di approssimazione, risolvendo l'equazione su domini strettamente convessi $U_t \subset U$ e prendendo il limite $t \to 1$. Stabiliscono limiti uniformi $C^0$ e continuità di Lipschitz per garantire l'esistenza di una soluzione convessa continua $\phi$ che è regolare nell'interno.

C. Analisi del Comportamento del Gradiente

Un passaggio critico è comprendere il comportamento del gradiente $\nabla \phi$ vicino al bordo:

• Vicino ai Lati: La derivata normale $\nabla_{normal} \phi$ diverge verso $+\infty$ man mano che ci si avvicina ai lati aperti, mentre la derivata tangente converge a una costante. Ciò garantisce che i lati del poligono non contribuiscano alla chiusura della sottovarietà.
• Vicino ai Vertici: La mappa gradiente $\nabla \phi$ mappa l'interno di $U$ in $\mathbb{R}^2 \setminus \bigcup C_{p_i}$, dove $C_{p_i}$ sono insiemi convessi disgiunti (sottogradienti) associati ai vertici. Gli autori dimostrano che l'immagine del gradiente evita questi insiemi, il che è cruciale per la topologia della sottovarietà risultante.

D. Regolarità e Topologia tramite Teoria Geometrica della Misura

Per dimostrare che l'oggetto costruito è una sottovarietà regolare:

• Chiusura: Prendono la chiusura della lagrangiana speciale aperta $L^\circ$.
• Singularità: Utilizzando il Teorema di Regolarità di Allard e la classificazione di Joyce dei coni lagrangiani speciali invarianti $U(1)$ in $\mathbb{C}^3$, dimostrano che i coni tangenti nei punti che giacciono sopra i vertici $p_i$ sono piani 3-regolari con molteplicità uno. Ciò esclude le singolarità, dimostrando che la chiusura $L$ è una sottovarietà regolare.
• Asintotica: Stabiliscono stime di decadimento esponenziale, mostrando che $L$ è una piccola perturbazione dei cilindri modello all'infinito.
• Topologia: Utilizzando il teorema di Van Kampen e le proprietà della fibratura, dimostrano che la varietà risultante è semplicemente connessa e quindi omeomorfa a una 3-sfera con $n$ buchi.

3. Contributi e Risultati Chiave

• Dimostrazione della Congettura Locale di Donaldson-Scaduto: Il lavoro dimostra rigorosamente l'esistenza del modello locale di tipo $A_2$ per la giunzione tripla di sottovarietà associative.
• Generalizzazione a $A_{n-1}$: Il risultato è esteso agli spazi ALE/ALF di tipo $A_{n-1}$, costruendo una famiglia $(n-1)$-dimensionale di lagrangiane speciali omeomorfe a una 3-sfera con $n$ buchi.
• Conteggio dei Parametri: La costruzione dipende da $n-1$ parametri reali (soggetti al vincolo $\sum c_i = 0$), che corrispondono alle traslazioni delle estremità asintotiche. Gli autori notano che queste deformazioni sono rigide una volta fissate le condizioni asintotiche.
• Svolta Analitica: Il lavoro fornisce un metodo robusto per risolvere l'equazione di Monge-Ampère reale con termini di destra singolari e dati al contorno affini su poligoni convessi, gestendo specificamente la divergenza del gradiente vicino ai lati e la struttura del sottogradiente ai vertici.
• Regolarità tramite Classificazione: La dimostrazione della regolarità si basa su un'applicazione profonda della classificazione di Joyce dei coni invarianti $U(1)$ per escludere coni tangenti non regolari negli "angoli" del dominio.

4. Significato

• Mattoni per l'Incollaggio: Queste lagrangiane speciali servono come mattoni fondamentali per costruire nuove lagrangiane speciali in "locali 3-varietà di Calabi-Yau" tramite tecniche di incollaggio. Ciò è essenziale per il programma più ampio di costruzione di $G_2$-varietà compatte e per la comprensione dei loro spazi dei moduli.
• Comprensione del Limite Adiabatico: Il lavoro fornisce una realizzazione matematica concreta del quadro euristico proposto da Donaldson e Scaduto riguardo al comportamento delle sottovarietà associative nel limite adiabatico delle $G_2$-varietà (in particolare vicino alle giunzioni triple).
• Interazione tra Campi: Il lavoro dimostra una potente sintesi di geometria iperkähler, strutture di Calabi-Yau, PDE non lineari (Monge-Ampère) e teoria geometrica della misura (regolarità delle correnti).

In sintesi, Habibi Esfahani e Li forniscono una dimostrazione completa di esistenza per una specifica classe di lagrangiane speciali che appaiono singolari ma sono in realtà regolari, risolvendo una congettura chiave nello studio della geometria $G_2$ e fornendo nuovi strumenti per la costruzione di sottovarietà calibrate.