Gopakumar-Vafa Invariants and Macdonald Formula

Resumo Técnico: Invariante de Gopakumar–Vafa e Fórmula de Macdonald

Enunciado do Problema
O artigo aborda a relação entre os invariantes de pares estáveis de Pandharipande–Thomas (PT) e os invariantes de Gopakumar–Vafa (GV) para variedades de Calabi–Yau, focando especificamente em superfícies locais (espaços totais dos feixes canônicos sobre superfícies de del Pezzo). Embora a correspondência numérica PT/GV esteja estabelecida para classes de curvas irredutíveis, o refinamento cohomológico e o comportamento sobre a variedade de Chow completa (incluindo ciclos redutíveis e não reduzidos) permanecem complexos. Especificamente, o artigo investiga:

1. A validade de uma fórmula exponencial cohomológica relacionando a série de imagem direta PT à uma construção de exponencial de Chow construtível derivada.
2. As condições sob as quais esta fórmula se estende do lóbulo de curvas reduzidas para a variedade de Chow completa, particularmente no que diz respeito à ausência de "suportes estritos não reduzidos" nos feixes de ciclos de aniquilação PT.
3. As discrepâncias geométricas e de feixes precisas entre o feixe de ciclos de aniquilação PT, o complexo de interseção do esquema de Hilbert relativo e o feixe constante deslocado do espaço de incidência, especialmente nos graus onde o espaço de pares estáveis deixa de ser um esquema de Hilbert relativo suave (por exemplo, grau $d=2, n=4$).

Metodologia
O autor utiliza uma abordagem construtível derivada, empregando feixes perseverantes, ciclos de aniquilação e a teoria de loci $d$-críticos. Os componentes metodológicos principais incluem:

• Exponencial de Chow Construtível Derivada: O artigo define uma álgebra simétrica derivada completada sobre o monoide de Chow, denotada por $\text{Exp}_{\text{Chow}}$, que incorpora deslocamentos cohomológicos, sinais de Koszul e sistemas locais de permutação.
• Decomposição de Suporte: A análise baseia-se no teorema de decomposição de suporte para esquemas de Hilbert relativos (Migliorini–Shende–Viviani) e sua adaptação para a variedade de Chow. O autor distingue entre termos de "suporte total" (termos de Macdonald) e termos "redutíveis" decorrentes de normalizações parciais de curvas nodais.
• Condição de Suporte Não Reduzido (NR): Uma condição técnica central, $(NR)_{\chi, \beta}$, é formulada. Ela afirma que nenhum constituinte simples da imagem direta semissimplificada de PT possui suporte estritamente contido no lóbulo não reduzido da variedade de Chow.
• Análise Local-Global: Para a família do plano completo, que não é globalmente $H$-suave, o autor aplica cálculos locais versais em estratos de partições genéricos e utiliza a transversalidade de suavização de nós para transpor esses resultados para o sistema linear.
• Geometria do Locus Crítico: No caso específico de grau $(2,4)$, o artigo realiza uma análise esquemática detalhada do espaço de pares estáveis, identificando-o como a união de um componente de incidência da seção zero e um componente de "fita de Ferrand" (Ferrand ribbon). O autor utiliza a descrição do cone de obstrução dual de Toda e a redução dimensional de Kinjo para analisar a estrutura crítica.

Contribuições Principidas e Resultados

1. Conjectura Exponencial PT/GV Cohomológica:
   O artigo formula a conjectura central (Conjectura 4.2) de que a série de imagem direta PT normalizada $Z_{PT}(q, Q)$ é isomórfica à exponencial de Chow dos complexos de Macdonald $A_\beta(q)$:
   $$Z_{PT}(q, Q) \cong \text{Exp}_{\text{Chow}} \left( \sum_{\beta} A_\beta(q) Q^\beta \right)$$
   O autor prova que, se esta identidade for válida no lóbulo de Chow reduzido, ela se estende para a variedade de Chow completa se, e somente se, a condição de suporte não reduzido $(NR)_{\chi, \beta}$ for válida para todos os coeficientes.

2. Redução aos Lóbulos Reduzidos e Extensões Mínimas:
   O artigo estabelece que os coeficientes da exponencial de Chow são semissimples e recuperados do lóbulo de Chow reduzido via extensão mínima perseverante. Consequentemente, a identidade global é equivalente à anulação dos termos de "suporte estrito não reduzido" na imagem direta PT. Isso fornece uma interpretação de feixes precisa da recursão KKV numérica.

3. Comparação entre Par Estável e Esquema de Hilbert Relativo:
   Para $\mathbb{P}^2$ local e $0 \le n \le d+1$, o artigo prova que o espaço de pares estáveis é isomórfico ao esquema de Hilbert relativo suave, e o feixe de ciclos de aniquilação PT é isomórfico ao complexo de interseção deste esquema de Hilbert. Isso confirma a condição $(Hilb)_{d,n}$ e a condição de suporte não reduzido $(NR)_{d,n}$ nesta faixa.

• Teorema 1.2: Identifica o primeiro somando redutível para $d \ge 3$ e $n=d-1$ como o complexo de interseção do fechamento do lóbulo de uma curva de grau-$(d-1)$ mais uma reta.

4. Cálculos de Del Pezzo:
   O artigo calcula os coeficientes de Macdonald de suporte total para $\mathbb{P}^1 \times \mathbb{P}^1$ local (classe $(2,3)$) e coeficientes agregados para superfícies de del Pezzo $S_r$ ($5 \le r \le 8$) em grau anticanônico. Esses cálculos verificam a recursão KKV nestes casos específicos.

5. Análise do Grau $(2,4)$ e a "Correção de Incidência":
   O artigo fornece uma análise detalhada do primeiro caso ($d=2, n=4$) onde o espaço de pares estáveis não é um esquema de Hilbert relativo suave.

• Geometria: O espaço $M$ é mostrado como a união esquemática do componente de incidência $Y$ (esquema de Hilbert relativo suave) e um componente de fita $R$ (fitas de Ferrand).
• Estrutura Crítica: O germe completado de $M$ ao longo da interseção é identificado como $\mathbb{A}^6 \times \text{Crit}(c(x_1x_2 + x_3x_4))$.
• Teoria de Feixes: O artigo constrói um "triângulo de anexo de grau dois" relacionando as imagens diretas do feixe constante em $Y$, o feixe de ciclos de aniquilação PT em $M$, e o complexo de interseção do lóbulo não reduzido (retas duplas).
• Conjectura 8.15/8.18: O artigo conjectura que a imagem direta PT não possui constituintes com suporte estrito no lóbulo não reduzido (retas duplas), enquanto o complexo de interseção do lado de Hilbert contém uma corda de Lefschetz. A diferença é um único constituinte primitivo (o complexo de interseção do lóbulo de retas duplas) que é removido por um morfismo específico $\kappa_2$. Isso fornece uma explicação de feixes perseverantes para o termo de correção KKV.

Significância e Alegações
O artigo alega fornecer um arcabouço de feixes rigoroso para a correspondência PT/GV que vai além dos invariantes numéricos. Sua significância reside em:

• Esclarecer o Papel dos Ciclos Não Reduzidos: Isola a obstrução de feixes precisa (suportes estritos não reduzidos) que impede a extensão ingênua da fórmula de Macdonald das curvas reduzidas para a variedade de Chow completa.
• Refinar a Recursão KKV: Interpreta os termos de correção KKV não meramente como subtrações combinatórias, mas como a remoção de constituintes perseverantes específicos (complexos de interseção de estratos não reduzidos) da imagem direta do lado de Hilbert para obter a imagem direta PT.
• Precisão Esquemática: Ao analisar o caso de grau $(2,4)$, o artigo demonstra que a característica de Euler do espaço de incidência singular é insuficiente para determinar os invariantes PT; a geometria específica do lóbulo crítico e o anexo do componente de fita são essenciais.
• Unificação: Unifica a fórmula de Macdonald, a recursão KKV e a teoria de ciclos de aniquilação de loci $d$-críticos em um único arcabouço exponencial cohomológico, condicionado à validade da condição de suporte não reduzido.

O artigo não alega provar a conjectura completa para todos os graus, mas estabelece as condições necessárias e as verifica no "intervalo de incidência suave" e em exemplos específicos de baixo grau, enquanto formula conjecturas precisas para graus superiores e o comportamento não reduzido geral.