Gopakumar-Vafa Invariants and Macdonald Formula

Resumen Técnico: Invariante de Gopakumar–Vafa y Fórmula de Macdonald

Planteamiento del Problema
El artículo aborda la relación entre los invariantes de pares estables de Pandharipande–Thomas (PT) y los invariantes de Gopakumar–Vafa (GV) para variedades de Calabi–Yau tres veces, centrándose específicamente en superficies locales (espacios totales de fibrados canónicos sobre superficies del Pezzo). Si bien la correspondencia numérica PT/GV está establecida para clases de curvas irreducibles, el refinamiento cohomológico y el comportamiento sobre la variedad de Chow completa (incluyendo ciclos no reducidos y reducibles) siguen siendo complejos. Específicamente, el artículo investiga:

1. La validez de una fórmula exponencial cohomológica que relaciona la serie de la imagen directa de PT con un constructo derivado de la exponencial de Chow.
2. Las condiciones bajo las cuales esta fórmula se extiende desde el lugar de curvas reducidas hacia la variedad de Chow completa, particularmente en lo que respecta a la ausencia de "soportes estrictos no reducidos" en los haces de ciclos de aniquilación de PT.
3. Las discrepancias geométricas y de haces precisas entre el haz de ciclos de aniquilación de PT, el complejo de intersección del esquema de Hilbert relativo y el haz constante desplazado del espacio de incidencia, especialmente en grados donde el espacio de pares estables deja de ser un esquema de Hilbert relativo suave (por ejemplo, grado $d=2, n=4$).

Metodología
El autor emplea un enfoque constructible derivado, utilizando haces perversos, ciclos de aniquilación y la teoría de loci $d$-críticos. Los componentes metodológicos clave incluyen:

• Exponencial de Chow Derivada Constructible: El artículo define un álgebra simétrica completada derivada sobre el monoide de Chow, denotada como $\text{Exp}_{\text{Chow}}$, que incorpora desplazamientos cohomológicos, signos de Koszul y sistemas locales de permutación.
• Descomposición de Soporte: El análisis se basa en el teorema de descomposición de soporte para esquemas de Hilbert relativos (Migliorini–Shende–Viviani) y su adaptación a la variedad de Chow. El autor distingue entre términos de "soporte completo" (términos de Macdonald) y términos "reducibles" que surgen de normalizaciones parciales de curvas nodales.
• Condición de Soporte No Reducido (NR): Se formula una condición técnica central, $(NR)_{\chi, \beta}$. Esta afirma que ningún componente simple de la semisimplicación de la imagen directa de PT tiene un soporte contenido estrictamente en el lugar no reducido de la variedad de Chow.
• Análisis Local-Global: Para la familia del plano completo, que no es globalmente $H$-suave, el autor aplica cálculos locales versales en estratos de partición genéricos y utiliza la transversalidad del suavizado de nodos para trasladar estos resultados al sistema lineal.
• Geometría del Locus Crítico: En el caso específico de grado $(2,4)$, el artículo realiza un análisis esquemático detallado del espacio de pares estables, identificándolo como la unión de un componente de incidencia de la sección cero y un componente de "cinta de Ferrand" (Ferrand ribbon). Utiliza la descripción del cono de obstrucción dual de Toda y la reducción dimensional de Kinjo para analizar la estructura crítica.

Contribuciones Claves y Resultados

1. Conjetura de la Exponencial Cohomológica PT/GV:
   El artículo formula la conjetura central (Conjetura 4.2) de que la serie de la imagen directa de PT normalizada $Z_{PT}(q, Q)$ es isomórfica a la exponencial de Chow de los complejos de Macdonald $A_\beta(q)$:
   $$Z_{PT}(q, Q) \cong \text{Exp}_{\text{Chow}} \left( \sum_{\beta} A_\beta(q) Q^\beta \right)$$
   El autor demuestra que si esta identidad se cumple en el lugar de Chow reducido, se extiende a la variedad de Chow completa si y solo si la condición de soporte no reducido $(NR)_{\chi, \beta}$ se cumple para todos los coeficientes.

2. Reducción a Lugares Reducidos y Extensiones Mínimas:
   El artículo establece que los coeficientes de la exponencial de Chow son semisimples y se recuperan del lugar de Chow reducido mediante la extensión mínima perversa. En consecuencia, la identidad global es equivalente a la desaparición de los términos de "soporte estricto no reducido" en la imagen directa de PT. Esto proporciona una interpretación de haces precisa de la recursión numérica KKV.

3. Comparación entre Pares Estables y Esquema de Hilbert Relativo:
   Para $\mathbb{P}^2$ local y $0 \le n \le d+1$, el artículo demuestra que el espacio de pares estables es isomórfico al esquema de Hilbert relativo suave, y que el haz de ciclos de aniquilación de PT es isomórfico al complejo de intersección de este esquema de Hilbert. Esto confirma la condición $(Hilb)_{d,n}$ y la condición de soporte no reducido $(NR)_{d,n}$ en este rango.

• Teorema 1.2: Identifica el primer sumando reducible para $d \ge 3$ y $n=d-1$ como el complejo de intersección del cierre del lugar de una curva de grado $(d-1)$ más una recta.

4. Cálculos de del Pezzo:
   El artículo calcula los coeficientes de Macdonald de soporte completo para la $\mathbb{P}^1 \times \mathbb{P}^1$ local (clase $(2,3)$) y los coeficientes agregados para superficies del Pezzo $S_r$ ($5 \le r \le 8$) en grado anticanónico. Estos cálculos verifican la recursión KKV en estos casos específicos.

5. Análisis de Grado $(2,4)$ y la "Corrección de Incidencia":
   El artículo proporciona un análisis detallado del primer caso ($d=2, n=4$) donde el espacio de pares estables no es un esquema de Hilbert relativo suave.

• Geometría: Se muestra que el espacio $M$ es la unión esquemática del componente de incidencia $Y$ (esquema de Hilbert relativo suave) y un componente de cinta $R$ (cintas de Ferrand).
• Estructura Crítica: El germ completado de $M$ a lo largo de la intersección se identifica como $\mathbb{A}^6 \times \text{Crit}(c(x_1x_2 + x_3x_4))$.
• Teoría de Haces: El artículo construye un "triángulo de adjunción de grado dos" que relaciona las imágenes directas del haz constante en $Y$, el haz de ciclos de aniquilación de PT en $M$, y el complejo de intersección del lugar no reducido (líneas dobles).
• Conjetura 8.15/8.18: El artículo conjetura que la imagen directa de PT no tiene componentes con soporte estricto en el lugar no reducido (líneas dobles), mientras que el complejo de intersección del lado de Hilbert contiene una cadena de Lefschetz. La diferencia es un componente primitivo único (el complejo de intersección del lugar de líneas dobles) que es eliminado por un morfismo $\kappa_2$ específico. Esto proporciona una explicación de haces perversos para el término de corrección KKV.

Significado y Reivindicaciones
El artículo afirma proporcionar un marco de haces riguroso para la correspondencia PT/GV que va más allá de los invariantes numéricos. Su importancia radica en:

• Clarificar el Rol de los Ciclos No Reducidos: Aísla la obstrucción de haces precisa (soportes estrictos no reducidos) que impide la extensión ingenua de la fórmula de Macdonald de curvas reducidas a la variedad de Chow completa.
• Refinar la Recursión KKV: Interpreta los términos de corrección KKV no meramente como sustracciones combinatorias, sino como la eliminación de componentes perversos específicos (complejos de intersección de estratos no reducidos) de la imagen directa del lado de Hilbert para obtener la imagen directa de PT.
• Precisión Esquemática: Al analizar el caso de grado $(2,4)$, el artículo demuestra que la característica de Euler del espacio de incidencia singular es insuficiente para determinar los invariantes de PT; la geometría específica del lugar crítico y la adjunción del componente de la cinta son esenciales.
• Unificación: Unifica la fórmula de Macdonald, la recursión KKV y la teoría de ciclos de aniquilación de loci $d$-críticos en un único marco exponencial cohomológico, supeditado a la validez de la condición de soporte no reducido.

El artículo no pretende probar la conjetura completa para todos los grados, sino que establece las condiciones necesarias y las verifica en el "rango de incidencia suave" y en ejemplos específicos de bajo grado, mientras formula conjeturas precisas para grados superiores y el comportamiento no reducido general.