On the Donaldson-Scaduto conjecture

1. Formulação do Problema e Contexto

O artigo aborda uma conjectura proposta por Simon Donaldson e Scaduto relativa à existência de subvariedades associativas específicas em variedades $G_2$ e subvariedades lagrangianas especiais em 3-folhas Calabi-Yau.

• Contexto Global: No estudo de variedades $G_2$ construídas via fibrados K3 coassociativos no limite adiabático, Donaldson e Scaduto conjecturaram que subvariedades associativas podem formar "junções triplos" onde três extremidades cilíndricas se encontram.
• Modelo Local: O artigo foca na versão local desta conjectura. O espaço ambiente é substituído por $X \times \mathbb{R}^3$, onde $X$ é um instantão gravitacional ALE (Assintoticamente Localmente Euclidiano) do tipo $A_2$ (uma 4-variedade hiperquaternionica).
• A Conjectura: Existe uma subvariedade associativa $P \subset X \times \mathbb{R}^3$ que é homeomorfa a uma esfera 3 com três buracos ($S^3$ com três puncturas) e possui três extremidades assintóticas a semicilindros específicos $\Sigma_i \times (\mathbb{R}^+ v_i)$.
• Equivalência: Ao identificar $X \times \mathbb{R}^3$ com $X \times \mathbb{R}^2 \times \mathbb{R}$, o problema é reformulado em termos de subvariedades lagrangianas especiais na 3-folha Calabi-Yau $Z = X \times \mathbb{R}^2$. Os autores generalizam o problema para instantões do tipo $A_{n-1}$, buscando uma família $(n-1)$-dimensional de lagrangianas especiais homeomorfas a uma esfera 3 com $n$ buracos com $n$ extremidades assintoticamente cilíndricas.

2. Metodologia

Os autores empregam uma combinação de análise geométrica, equações diferenciais parciais (EDPs) e teoria da medida geométrica. A estratégia prossegue em quatro etapas principais:

A. Redução Dimensional

Assumindo invariância $U(1)$ (motivada pelo ansatz de Gibbons-Hawking para $X$), o problema é reduzido de uma condição lagrangiana especial 6-dimensional para um problema 2-dimensional no quociente simplético $Z_{red} \cong \mathbb{R}^4$.

• A condição lagrangiana especial reduz-se a um sistema de equações para um mapa $F: U \subset \mathbb{R}^2 \to \mathbb{R}^2$, onde $U$ é o polígono convexo com vértices $p_1, \dots, p_n$ (os pontos de monopolo).
• Sob uma suposição gráfica ($F = \nabla \phi$), o sistema reduz-se a uma equação de Monge-Ampère real:
  $$\det(D^2 \phi) = V(u) = A + \sum_{i=1}^n \frac{1}{2|u - p_i|}$$
  onde $V$ é a função harmônica que define a métrica de Gibbons-Hawking.

B. Resolução do Problema de Dirichlet

Os autores resolvem a equação de Monge-Ampère no polígono convexo $U$ com condições de contorno específicas:

• Dados de Contorno: Em cada aresta $[p_i, p_{i+1}]$, o potencial $\phi$ é requerido para ser afim linear, correspondendo às posições assintóticas das extremidades cilíndricas.
• Singularidades: O lado direito $V$ possui singularidades nos vértices $p_i$.
• Técnica: Eles utilizam uma estratégia de aproximação, resolvendo a equação em domínios estritamente convexos $U_t \subset U$ e tomando o limite $t \to 1$. Estabelecem limites uniformes $C^0$ e continuidade Lipschitz para garantir a existência de uma solução convexa contínua $\phi$ que é suave no interior.

C. Análise do Comportamento do Gradiente

Um passo crítico é entender o comportamento do gradiente $\nabla \phi$ próximo ao contorno:

• Próximo às Arestas: A derivada normal $\nabla_{normal} \phi$ diverge para $+\infty$ à medida que se aproxima das arestas abertas, enquanto a derivada tangencial converge para uma constante. Isso garante que as arestas do polígono não contribuam para o fechamento da subvariedade.
• Próximo aos Vértices: O mapa gradiente $\nabla \phi$ mapeia o interior de $U$ para $\mathbb{R}^2 \setminus \bigcup C_{p_i}$, onde $C_{p_i}$ são conjuntos convexos disjuntos (subgradientes) associados aos vértices. Os autores provam que a imagem do gradiente evita esses conjuntos, o que é crucial para a topologia da subvariedade resultante.

D. Regularidade e Topologia via Teoria da Medida Geométrica

Para provar que o objeto construído é uma subvariedade suave:

• Fechamento: Eles tomam o fechamento da lagrangiana especial aberta $L^\circ$.
• Singularidades: Utilizando o Teorema de Regularidade de Allard e a classificação de Joyce de cones lagrangianos especiais invariantes por $U(1)$ em $\mathbb{C}^3$, eles provam que os cones tangentes nos pontos situados acima dos vértices $p_i$ são planos 3 suaves com multiplicidade um. Isso elimina singularidades, provando que o fechamento $L$ é uma subvariedade suave.
• Assintóticas: Eles estabelecem estimativas de decaimento exponencial, mostrando que $L$ é uma pequena perturbação dos cilindros modelo no infinito.
• Topologia: Utilizando o teorema de Van Kampen e propriedades da fibratura, eles provam que a variedade resultante é simplesmente conexa e, portanto, homeomorfa a uma esfera 3 com $n$ buracos.

3. Contribuições e Resultados Chave

• Prova da Conjectura Local de Donaldson-Scaduto: O artigo prova rigorosamente a existência do modelo local do tipo $A_2$ para a junção tripla de subvariedades associativas.
• Generalização para $A_{n-1}$: O resultado é estendido para espaços ALE/ALF do tipo $A_{n-1}$, construindo uma família $(n-1)$-dimensional de lagrangianas especiais homeomorfas a uma esfera 3 com $n$ buracos.
• Contagem de Parâmetros: A construção depende de $n-1$ parâmetros reais (sujeitos à restrição $\sum c_i = 0$), que correspondem às translações das extremidades assintóticas. Os autores notam que essas deformações são rígidas assim que as condições assintóticas são fixadas.
• Avanço Analítico: O artigo fornece um método robusto para resolver a equação de Monge-Ampère real com lados direitos singulares e dados de contorno afins em polígonos convexos, lidando especificamente com a divergência do gradiente próximo às arestas e a estrutura de subgradiente nos vértices.
• Suavidade via Classificação: A prova de suavidade depende de uma aplicação profunda da classificação de cones invariantes por $U(1)$ de Joyce para descartar cones tangentes não suaves nos "cantos" do domínio.

4. Significado

• Blocos de Construção para Colagem: Estas lagrangianas especiais servem como blocos de construção fundamentais para a construção de novas lagrangianas especiais em "3-folhas Calabi-Yau locais" via técnicas de colagem. Isso é essencial para o programa mais amplo de construção de variedades $G_2$ compactas e compreensão de seus espaços de módulos.
• Compreensão do Limite Adiabático: O trabalho fornece uma realização matemática concreta da imagem heurística proposta por Donaldson e Scaduto sobre como as subvariedades associativas se comportam no limite adiabático de variedades $G_2$ (especificamente próximo a junções triplos).
• Interplay de Campos: O artigo demonstra uma poderosa síntese de geometria hiperquaternionica, estruturas Calabi-Yau, EDPs não lineares (Monge-Ampère) e teoria da medida geométrica (regularidade de correntes).

Em resumo, Habibi Esfahani e Li fornecem uma prova completa de existência para uma classe específica de lagrangianas especiais que parecem singulares mas são na verdade suaves, resolvendo uma conjectura chave no estudo da geometria $G_2$ e fornecendo novas ferramentas para a construção de subvariedades calibradas.