Plumbings of lens spaces and crepant resolutions of compound $A_n$ singularities

Resumo Técnico: Encanamentos de Espaços de Lente e Resoluções Crepantes de Singularidades Compostas $A_n$

Enunciado do Problema
O artigo investiga a topologia simplética de uma classe específica de variedades de Weinstein de dimensão 6, construídas como encanamentos cíclicos de fibrados cotangentes de espaços de lente tridimensionais ao longo de círculos. Essas variedades, denotadas $\mathcal{W}_f$, surgem como espaços totais de fibrados Morse-Bott sobre $\mathbb{C}^*$ com fibras singulares determinadas por uma fatoração polinomial $f(x,y) = \prod f_i(x,y)$. O problema central é estabelecer a Simetria Espelho Homológica (HMS) para essas 3-folhas Stein não compactas e compreender seus grupos de classes de mapeamento simplético. Especificamente, os autores visam relacionar a categoria de Fukaya envolta derivada de $\mathcal{W}_f$ com a categoria derivada de feixes coerentes na resolução crepante de uma singularidade composta $A_n$ ($cA_n$) correspondente $R_f = K[u,v,x,y]/(uv - f(x,y))$.

Metodologia
Os autores empregam uma combinação de geometria simplética, geometria algébrica e teoria das categorias:

1. Construção e Cálculo Simpléticos:

   • A variedade $\mathcal{W}_f$ é realizada como um encanamento afim $A_n$ de fibrados cotangentes $T^*Q_i$ (onde $Q_i$ são espaços de lente ou $S^1 \times S^2$) ao longo de círculos.
   • A categoria de Fukaya envolta $\mathcal{W}(\mathcal{W}_f; K)$ é calculada contando seções holomorfas do fibrado Morse-Bott $\mathcal{W}_f \to \mathbb{C}^*$. Os autores utilizam um hamiltoniano de envolvimento específico adaptado à estrutura do fibrado.
   • Eles identificam a álgebra $A_\infty$ de endomorfismos de um conjunto gerador de fibras lagrangianas ($L_0, \dots, L_n$) com uma álgebra de caminhos de um quiver com relações, deformada pelo polinômio $f(x,y)$.

2. Geometria Algébrica e Simetria Espelho:

   • No lado B, os autores constroem uma resolução crepante específica $\phi: Y_f \to \text{Spec}(R_f)$ da singularidade $cA_n$. O lugar excepcional consiste em uma cadeia de curvas racionais.
   • Eles utilizam o modelo Evans-Lekili, que relaciona categorias de Fukaya envolta relativas de discos perfurados a álgebras de caminhos de quivers.
   • Os autores realizam localizações e completamentos categóricos (em relação a filtrações por comprimento de palavra e elementos de Seidel) para preencher a lacuna entre o contexto afim não compacto e o contexto local completo.

3. Grupos de Classes de Mapeamento:

   • Os autores analisam o grupo de classes de mapeamento simplético $\pi_0 \text{Symp}_c(\mathcal{W}_f)$ aproveitando a equivalência HMS. Eles relacionam autoequivalências da categoria derivada de feixes coerentes no lugar excepcional (calculadas por Toda) com automorfismos simpléticos de $\mathcal{W}_f$.

Principais Contribuições e Resultados

1. Teoremas de Simetria Espelho Homológica (HMS):
   O artigo prova duas versões de HMS para a 3-folha Stein $\mathcal{W}_f$:

   • A Versão Não Completada (Teorema 3): Há uma equivalência entre a categoria de Fukaya envolta derivada de $\mathcal{W}_f$ e a categoria derivada limitada de feixes coerentes no complemento de um divisor na resolução crepante:
     $$D^b\text{Coh}(\mathcal{Y}_f) \simeq D^{\text{perf}}\mathcal{W}(\mathcal{W}_f; K)$$
     onde $\mathcal{Y}_f = Y_f \setminus D$.
   • A Versão Completada (Teorema 7): Há uma equivalência entre a categoria derivada de módulos perfeitos sobre a categoria de Fukaya envolta completada (completada em relação à filtração por comprimento de palavra de cordas hamiltonianas) e a categoria derivada limitada de feixes coerentes na versão local completa da resolução $\hat{Y}_f$:
     $$D^{\text{perf}}\widehat{\mathcal{W}}(\mathcal{W}_f; K) \simeq D^b\text{Coh}(\hat{Y}_f)$$

2. Categorias de Singularidade Relativas e Encanamentos de "Multi-Bolha":
   Ao preencher a origem da base do fibrado, os autores obtêm um encanamento "multi-bolha" $W_f$. Eles provam (Teorema 10) que a categoria de Fukaya envolta derivada de $W_f$ é equivalente à categoria de singularidade relativa da resolução crepante $Y_f$ (definida como o quociente da categoria derivada pelo feixe estrutural), desde que uma condição específica de não isotopia nos núcleos lagrangianos seja satisfeita. Isso generaliza resultados anteriores sobre encanamentos de "double bubble".

3. Grupos de Classes de Mapeamento Simplético:
   O artigo estabelece que o grupo de classes de mapeamento simplético de $\mathcal{W}_f$ é infinitamente gerado.

   • Teorema 15: Se a singularidade $cA_n$ é isolada, um subgrupo infinitamente gerado específico do grupo de tranças puro $PBr_{n+2}$ (denotado $PBr^c_{n+2}$) injeta-se de forma dividida no grupo de classes de mapeamento simplético de suporte compacto $\pi_0 \text{Symp}_c(\mathcal{W}_f)$.
   • Teorema 17: Uma injeção dividida similar existe para o grupo de classes de mapeamento simplético graduado envolvendo o grupo de tranças puro completo $PBr_{n+2}$.
   • Esses resultados generalizam o trabalho de Keating-Smith (que tratou o caso do conifold) para a classe mais ampla de encanamentos de espaços de lente.

4. Aplicações a Imersões Lagrangianas:
   Usando a existência de quasi-dilações cíclicas derivadas da equivalência HMS, os autores provam (Proposição 47) que, sob certas condições, nenhuma subvariedade lagrangiana exata fechada e orientada em $W_f$ pode ser um espaço $K(\pi, 1)$.

Significado e Alegações
O artigo alega generalizar os resultados de simetria espelho homológica para encanamentos de "double bubble" (Smith-Wemyss) e suavizações de conifold (Keating-Smith) para uma classe cíclica de encanamentos envolvendo espaços de lente.

• Fornece uma realização concreta da HMS para uma classe de 3-folhas onde a geometria espelho envolve núcleos de espaços de lente não triviais e padrões de interseção cíclicos.
• Responde parcialmente à "questão de realização" levantada por Smith e Wemyss sobre quais categorias de singularidade relativas surgem de encanamentos de espaços de lente.
• Demonstra que os grupos de classes de mapeamento simplético dessas variedades Stein são ricos e infinitamente gerados, estendendo o fenômeno conhecido do caso $A_1$ (conifold) para $A_n$ superiores e tipos topológicos mais complexos.
• O trabalho confirma uma conjectura de Lekili-Segal sobre a relação entre a categoria de Fukaya envolta de um espaço total de um fibrado de toro algébrico e a de sua base neste contexto específico.

Os autores enfatizam que seus resultados dependem do cálculo da categoria de Fukaya envolta via fibrados Morse-Bott e da subsequente identificação da álgebra resultante com a álgebra de caminhos de um quiver associado à resolução crepante. As provas dos resultados sobre grupos de classes de mapeamento dependem do cálculo de Toda do grupo de autoequivalências da categoria derivada de feixes coerentes no lugar excepcional.