Lagrangian Intersections, Symplectic Reduction and Kirwan Surjectivity

Resumo Técnico

1. Problema e Contexto

O artigo investiga a interseção de variedades lagrangianas complexas no contexto da geometria simplética e da simetria espelho (mirror symmetry). Especificamente, o foco está no estudo de interseções lagrangianas equivariantes sob a ação de um grupo de Lie complexo redutivo $G$.

O problema central é entender a estrutura geométrica e cohomológica da interseção derivada de duas variedades lagrangianas $G$-invariantes ($C_1$ e $C_2$) após a redução simplética (ou quociente simplético) $X // G$. Este estudo é fundamental para a construção da categoria de Fukaya de lagrangianas complexas e para a compreensão do 2-categorizado do modelo B em 3 dimensões (proposto por Kapustin-Rozansky-Saulina).

Os autores buscam responder a duas questões principais:

1. Qual é a geometria do produto fibrado derivado das interseções no quociente simplético?
2. Como os grupos de Ext (que calculam morfismos na categoria derivada) se relacionam com a cohomologia equivariante da interseção, e como isso se conecta à sobrejetividade de Kirwan (Kirwan surjectivity) no contexto de quocientes semi-estáveis (GIT)?

2. Metodologia

A abordagem combina técnicas de Geometria Algébrica Derivada, Redução Simplética e Teoria de Representação de Grupos Redutivos.

• Configuração (Set-up S): Considera-se uma variedade simplética holomorfa suave $X$ com uma ação Hamiltoniana de um grupo $G$. $C_1$ e $C_2$ são lagrangianas $G$-invariantes suaves e conectadas. A interseção esquemática $B = C_1 \cap C_2$ é assumida como não vazia e suave (interseção limpa ou clean intersection).
• Condição de Fatoração: Um pressuposto crucial é que a sequência conormal da subvariedade $B \subset X$ se divide (splits) como feixes $G$-equivariantes:
  $$0 \to N^\vee_{B/X} \to \Omega_X|_B \to \Omega_B \to 0$$
• Redução Simplética Derivada: Os autores utilizam a estrutura de stacks simpléticos deslocados (shifted symplectic stacks). O quociente simplético $X // G$ é tratado como um stack simplético 0-deslocado. As lagrangianas $C_i$ induzem lagrangianas no quociente $C_i/G$.
• Cálculo de Ext via Cohomologia Equivariante: Utilizam a adjunção entre empurrar e puxar (pullback-pushforward) e propriedades de base para traduzir o cálculo de grupos de Ext no quociente para a cohomologia da interseção $B/G$.
• Técnicas de Cobertura e Torsão: Quando o determinante do feixe normal $\det(N_{B/C_2})$ é um feixe de linha de torção, os autores empregam um "truque de cobertura" (covering trick) para relacionar a cohomologia com coeficientes em sistemas locais a cohomologia padrão, permitindo a degenerescência de sequências espectrais de Hodge.
• Teorema de Kirwan Twistado: A prova da sobrejetividade baseia-se na estratificação de HKKN (Hesselink-Kempf-Kirwan-Ness) do locus instável e em critérios de injetividade de Atiyah-Bott aplicados a sequências exatas longas de cohomologia equivariante com coeficientes locais.

3. Contribuições Principais e Resultados

A. Geometria da Interseção Derivada (Teorema 1.1 / Teorema 4.5)
Os autores provam que, sob a condição de que a sequência conormal se divide, o produto fibrado derivado das lagrangianas no quociente simplético é isomorfo ao espaço total do complexo cotangente deslocado da interseção:
$$C_1/G \times_{X//G} C_2/G \cong \text{Tot}_{B/G}(L_{B/G}[-1])$$
onde $L_{B/G}$ é o complexo cotangente do stack quociente $B/G$. Isso generaliza resultados clássicos de interseção limpa para o contexto equivariante e derivado.

B. Isomorfismo entre Ext e Cohomologia Equivariante (Teorema 1.1 / Corolário 4.7)
Se $\det(N_{B/C_2})$ é um feixe de torção e certas condições de finitude são satisfeitas ($h^0(B, \mathcal{O})^G < \infty$ e $B$ é próprio sobre afim), os grupos de Ext são isomorfos à cohomologia equivariante de $B$ com coeficientes em um sistema local específico:
$$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C_1/G}, \mathcal{O}_{C_2/G}) \cong H^\bullet_G(B, \det(N_{B/C_2})^\delta)$$

• Caso Especial ($C_1 = C_2 = C$): O resultado recupera a cohomologia equivariante da própria lagrangiana: $\text{Ext}^\bullet(\mathcal{O}_{C/G}, \mathcal{O}_{C/G}) \cong H^\bullet_G(C, \mathbb{C})$.
• Estruturas Spin: O artigo estende esses resultados para feixes de linha $K^{1/2}$ (raízes quadradas do feixe canônico), que correspondem a estruturas spin. Nesse caso, o sistema local é de torção 2, refletindo a física de férmions em teorias de cordas.

C. Sobrejetividade de Kirwan Generalizada (Teorema 1.3 / Teoremas 5.5-5.7)
O artigo estabelece uma versão generalizada do teorema de sobrejetividade de Kirwan para interseções lagrangianas. Seja $X^{ss}$ o locus semi-estável definido por um feixe amplexo $G$-equivariante $L$. Existe um mapa de restrição natural:
$$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C_1/G}, \mathcal{O}_{C_2/G}) \to \text{Ext}^\bullet_{X^{ss}//G}(\mathcal{O}_{C_1^{ss}/G}, \mathcal{O}_{C_2^{ss}/G})$$
Os autores provam que este mapa é sobrejetor (surjective) sob as condições de que a sequência conormal se divide e as condições de finitude são satisfeitas.

• Isso é interpretado como a comutatividade entre a simetria e a redução no modelo B em 3D.
• O resultado é demonstrado através de um "Teorema de Kirwan Twistado" (Teorema A.1), que prova a sobrejetividade do mapa de Kirwan para cohomologia equivariante com coeficientes em sistemas locais arbitrários.

D. Exemplos Concretos
O artigo aplica seus resultados gerais a casos específicos, como:

• O feixe cotangente $X = T^*M$ de uma variedade $M$.
• Seções nulas e gráficos de formas fechadas.
• Variedades conormais, onde a interseção de lagrangianas conormais corresponde à interseção transversal de subvariedades na base.

4. Significado e Impacto

• Conexão entre Geometria e Física: O trabalho fornece uma base matemática rigorosa para fenômenos observados na teoria de cordas e no modelo B topológico, especificamente relacionando a estrutura de branas (lagrangianas) com a cohomologia equivariante e a redução simplética.
• Generalização da Teoria de Interseção: Estende a teoria clássica de interseções limpas e o isomorfismo HKR (Hochschild-Kostant-Rosenberg) para o contexto de stacks derivados e ações de grupos, lidando com a complexidade introduzida pela redução simplética.
• Ferramentas para Categorificação: Os resultados sobre a estrutura dos grupos de Ext são essenciais para a construção e compreensão da categoria de Fukaya de lagrangianas complexas e do 2-categorizado do modelo B, que são objetos centrais na simetria espelho.
• Novo Teorema de Kirwan: A prova da sobrejetividade de Kirwan para sistemas locais não triviais (teorema A.1) é um resultado independente de valor significativo em topologia algébrica e geometria simplética, permitindo o estudo de cohomologia com coeficientes torcionais em quocientes GIT.

Em suma, o artigo unifica conceitos de geometria simplética derivada, teoria de representações e física teórica, fornecendo uma descrição precisa da cohomologia de interseções lagrangianas em espaços quocientes e estabelecendo a validade da sobrejetividade de Kirwan nesse contexto generalizado.