Symplectic duality for the constant term of the geometric Eisenstein series

Resumen Técnico: Dualidad Simpléctica para el Término Constante de la Serie de Eisenstein Geométrica

Planteamiento del Problema
Este artículo investiga la cohomología de un esquema de variedades de cuasimapas (quasimaps) específico, denotado como $QM_{\vec{N}}^{\vec{M}}$, que categorifica el término constante de la serie de Eisenstein geométrica para el subgrupo parabólico mirabólico de $GL_{n+1}$ sobre el cuerpo de funciones $\mathbb{F}_q(C)$ de una curva proyectiva suave $C$. El problema central es comprender la estructura de esta cohomología, la cual porta una acción de un álgebra de modificación de tipo Hecke, e identificarla con un objeto geométrico más tratable. Específicamente, el autor busca establecer una "dualidad simpléctica" (o simetría de espejo 3d) entre la descripción de la rama de Higgs (el esquema de cuasimapas) y una descripción de la rama de Coulomb (una superficie singular y su resolución).

Metodología
El autor emplea una combinación de teoría de representaciones geométrica, geometría algebraica derivada y técnicas de cohomología equivariante. La metodología procede a través de los siguientes pasos:

1. Construcción del Esquema Derivado: El esquema de cuasimapas $QM_{\vec{N}}^{\vec{M}}$ se define como un esquema derivado. Se computa explícitamente su complejo tangente, estableciendo que el esquema es cuasisuave. Esto permite la definición de un espacio tangente virtual y una dimensión virtual.
2. Álgebra de Correspondencias: Se introduce una correspondencia de modificación $\iota$, que reemplaza un fibrado en línea $L$ por $L(-x)$ en un punto $x \in C$. Las operaciones de tracción (pullback) y empuje (pushforward) a lo largo de esta correspondencia generan un álgebra $A_\chi$ de operadores que actúan sobre la cohomología (con coeficientes en un sistema local $\chi$). Las relaciones en este álgebra (conmutadores e identidades de Casimir) se computan en términos de clases de Chern tautológicas.
3. Variedad Dual Simpléctica: El autor construye la "rama de Coulomb" $X^\vee_0 = \text{Spec}(\mathbb{Q}_l[x, y, \eta]/(xy - \eta^{n+1}))$, la cual es una singularidad de superficie tipo $A_n$. Esta superficie se identifica como el dual simpléctico a la rama de Higgs $X = T^*\mathbb{P}^n$.
4. Resolución y Loci Fijos: Se construye una resolución mínima $\rho: X^\vee \to X^\vee_0$ mediante el pegado de cartas afines $U_k \cong \mathbb{A}^2$. El autor utiliza una descomposición de Białynicki-Birula del esquema de cuasimapas inducida por una acción de un toro. Esta descomposición estratifica el esquema en órbitas atractoras $Attr(k)$, cuyos loci fijos son productos simétricos de la curva.
5. Comparación vía Filtración: El núcleo de la prueba consiste en comparar dos filtraciones:
   • En el lado de las cuasimapas: una filtración inducida por la descomposición de Białynicki-Birula.
   • En el lado dual: una filtración de la cohomología local de un fibrado vectorial específico sobre $X^\vee$ con soporte en la variedad lagrangiana atractora $L \subset X^\vee$.
     El autor demuestra que los trozos graduados asociados de estas filtraciones son isomorfos como módulos sobre los respectivos álgebras. El problema de extensión (si las filtraciones se desdoblan) se analiza para determinar el isomorfismo completo.

Contribuciones Clave y Resultados

• Identificación del Álgebra: El subálgebra de la álgebra de correspondencias generada por operadores de grado dos se identifica con el anillo de funciones regulares de la singularidad de superficie $A_n$. Los operadores de grado uno forman un módulo espín (un álgebra de Clifford) sobre esta superficie, y los operadores de grado cero actúan como operadores diferenciales de primer orden.
• El Caso del Carácter Trivial (Teorema 1): Para el sistema local trivial, el artículo establece un isomorfismo equivariante respecto al toro entre la cohomología desplazada del esquema de cuasimapas y la cohomología local de un fibrado torcido sobre la resolución $X^\vee$:
  $$\hat{H}^*_c(QM_{\vec{N}}^{\vec{M}}) \cong H^*_L(X^\vee, \hat{\mathcal{O}}_{vir} \otimes \mathcal{O}(\vec{M}))$$
  Aquí, $\hat{\mathcal{O}}_{vir}$ es un "fibrado estructural virtual simetrizado" (un fibrado espín torcido por la raíz cuadrada del fibrado canónico) y $\mathcal{O}(\vec{M})$ es un fibrado en línea determinado por los grados de los fibrados de entrada.
• El Caso del Carácter No Trivial (Teorema 2): Para un sistema local de rango uno no trivial $\chi$, el isomorfismo se cumple si y solo si ciertas condiciones de "obstrucción" no se cumplen. Específicamente, si $\chi^{n+1}_0 \neq 1$, el isomorfismo falla precisamente cuando existen índices $k < s$ tales que los fibrados $M_k$ y $M_s$ son isomorfos, y se satisface una condición específica de característica de Euler que involucra al fibrado canónico $K_C$. En estos casos excepcionales, la filtración en la cohomología no se desdobla, reflejando la estructura no reducida del locus fijo en el lado singular frente al locus fijo reducido en el lado resuelto.
• Cómputo Explícito de la Cohomología Local: El artículo computa explícitamente la cohomología local de la resolución $X^\vee$ con soporte en el conjunto atractor $L$, mostrando que está generada por vectores cíclicos específicos con pesos de Frobenius y de toro bien definidos.

Significancia y Reivindicaciones

El artículo afirma proporcionar una realización geométrica del término constante de la serie de Eisenstein geométrica en términos de la cohomología local de una resolución de una superficie singular. Este resultado generaliza el trabajo previo sobre $GL_2$ (específicamente el análisis en [KO23]) hacia $GL_{n+1}$.

La significancia radica en:

1. Categorificación: Categorifica el término constante de la serie de Eisenstein, elevándolo de una traza de Frobenius a un objeto cohomológico completo con una acción de un álgebra.
2. Dualidad Simpléctica: Construye explícitamente el dual simpléctico (rama de Coulomb) para este ajuste específico de la serie de Eisenstein geométrica, identificando la singularidad $A_n$ como el dual de la rama de Higgs $T^*\mathbb{P}^n$.
3. Análisis de Obstrucción: El artículo proporciona una caracterización precisa de cuándo la dualidad es un isomorfismo y cuándo falla debido a extensiones de desdoblamiento, vinculando estos fallos a condiciones geométricas específicas de la curva y los fibrados (que involucran el género $g$ y los grados de los fibrados).

El autor señala que la prueba depende de la pureza de la cohomología de las órbitas atractoras, lo cual se sigue de su suavidad, y utiliza técnicas de localización equivariante para hacer coincidir los pesos y estructuras en ambos lados de la dualidad. El trabajo se presenta como un paso hacia la comprensión del programa de Langlands geométrico y la estructura de las formas automórficas mediante métodos geométricos.