Symplectic duality for the constant term of the geometric Eisenstein series

Resumo Técnico: Dualidade Simplética para o Termo Constante da Série de Eisenstein Geométrica

Enunciado do Problema
Este artigo investiga a cohomologia de um stack de módulos específico de quasimaps, denotado por $QM_{\vec{N}}^{\vec{M}}$, que categorifica o termo constante da série de Eisenstein geométrica para o subgrupo parabólico mirabólico de $GL_{n+1}$ sobre o corpo de funções $\mathbb{F}_q(C)$ de uma curva projetiva suave $C$. O problema central é compreender a estrutura desta cohomologia, que carrega uma ação de uma álgebra de modificação do tipo Hecke, e identificá-la com um objeto geométrico mais tratável. Especificamente, o autor busca estabelecer uma "dualidade simplética" (ou simetria de espelho 3d) entre a descrição do ramo de Higgs (o stack de quasimaps) e uma descrição do ramo de Coulomb (uma superfície singular e sua resolução).

Metodologia
O autor emprega uma combinação de teoria de representações geométrica, geometria algébrica derivada e técnicas de cohomologia equivariante. A metodologia procede através dos seguintes passos:

1. Construção do Stack Derivado: O stack de módulos de quasimaps $QM_{\vec{N}}^{\vec{M}}$ é definido como um stack derivado. Seu complexo tangente é computado explicitamente, estabelecendo que o stack é quase-suave. Isso permite a definição de um espaço tangente virtual e de uma dimensão virtual.
2. Álgebra de Correspondências: Uma correspondência de modificação $\iota$ é introduzida, que substitui um fibrado linear $L$ por $L(-x)$ em um ponto $x \in C$. Operações de pullback e pushforward ao longo desta correspondência geram uma álgebra $A_\chi$ de operadores atuando na cohomologia (com coeficientes em um sistema local $\chi$). As relações nesta álgebra (comutadores e identidades de Casimir) são computadas em termos de classes de Chern tautológicas.
3. Variedade Dual Simplética: O autor constrói o "ramo de Coulomb" $X^\vee_0 = \text{Spec}(\mathbb{Q}_l[x, y, \eta]/(xy - \eta^{n+1}))$, que é uma singularidade de superfície $A_n$. Esta superfície é identificada como o dual simplético ao ramo de Higgs $X = T^*\mathbb{P}^n$.
4. Resolução e Locos Fixos: Uma resolução mínima $\rho: X^\vee \to X^\vee_0$ é construída através da colagem de charts afins $U_k \cong \mathbb{A}^2$. O autor utiliza uma decomposição de Białynicki-Birula do stack de quasimaps induzida por uma ação de um toro. Esta decomposição estratifica o stack em órbitas de atração $Attr(k)$, cujos locos fixos são produtos simétricos da curva.
5. Comparação via Filtração: O núcleo da prova envolve a comparação de duas filtrações:
   • No lado dos quasimaps: uma filtração induzida pela decomposição de Białynicki-Birula.
   • No lado dual: uma filtração da cohomologia local de um fibrado vetorial específico em $X^\vee$ suportado no subvariedade lagrangiana de atração $L \subset X^\vee$.
     O autor prova que os pedaços graduados associados destas filtrações são isomorfos como módulos sobre as respectivas álgebras. O problema de extensão (se as filtrações se dividem/split) é analisado para determinar o isomorfismo completo.

Principais Contribuições e Resultados

• Identificação da Álgebra: A subálgebra da álgebra de correspondência gerada por operadores de grau dois é identificada com o anel de funções regulares da singularidade de superfície $A_n$. Os operadores de grau um formam um módulo spin (uma álgebra de Clifford) sobre esta superfície, e os operadores de grau zero atuam como operadores diferenciais de primeira ordem.
• O Caso do Caratere Trivial (Teorema 1): Para o sistema local trivial, o artigo estabelece um isomorfismo equivariante em relação ao toro entre a cohomologia deslocada do stack de quasimaps e a cohomologia local de um sheaf torcido sobre a resolução $X^\vee$:
  $$\hat{H}^*_c(QM_{\vec{N}}^{\vec{M}}) \cong H^*_L(X^\vee, \hat{\mathcal{O}}_{vir} \otimes \mathcal{O}(\vec{M}))$$
  Aqui, $\hat{\mathcal{O}}_{vir}$ é um "sheaf de estrutura virtual simetrizado" (um bundle spin torcido pelo quadrado da raiz do bundle canônico), e $\mathcal{O}(\vec{M})$ é um fibrado linear determinado pelos graus dos bundles de entrada.
• O Caso do Caratere Não-Trivial (Teorema 2): Para um sistema local de posto um não-trivial $\chi$, o isomorfismo ocorre se, e somente se, certas condições de "obstrução" não forem atendidas. Especificamente, se $\chi^{n+1}_0 \neq 1$, o isomorfismo falha precisamente quando existem índices $k < s$ tais que os bundles $M_k$ e $M_s$ são isomorfos, e uma condição específica de característica de Euler envolvendo o bundle canônico $K_C$ é satisfeita. Nestes casos excepcionais, a filtração na cohomologia não se divide, refletindo a estrutura não-reduzida do loco fixo no lado singular versus o loco fixo reduzido no lado resolvido.
• Computação Explícita de Cohomologia Local: O artigo computa explicitamente a cohomologia local da resolução $X^\vee$ com suporte no conjunto de atração $L$, mostrando que ela é gerada por vetores cíclicos específicos com pesos de Frobenius e de toro bem definidos.

Significância e Alegações
O artigo afirma fornecer uma realização geométrica do termo constante da série de Eisenstein geométrica em termos da cohomologia local de uma resolução de uma superfície singular. Este resultado generaliza o trabalho anterior para $GL_2$ (especificamente a análise em [KO23]) para $GL_{n+1}$.

A significância reside em:

1. Categorificação: Ele categorifica o termo constante da série de Eisenstein, elevando-o de um traço de Frobenius para um objeto cohomológico completo com uma ação de álgebra.
2. Dualidade Simplética: Ele constrói explicitamente o dual simplético (ramo de Coulomb) para este setup específico de série de Eisenstein geométrica, identificando a singularidade $A_n$ como o dual ao ramo de Higgs $T^*\mathbb{P}^n$.
3. Análise de Obstrução: O artigo fornece uma caracterização precisa de quando a dualidade é um isomorfismo e quando ela falha devido a extensões de não-divisão (non-splitting), ligando estas falhas a condições geométricas específicas na curva e nos bundles (envolvendo o gênero $g$ e os graus dos bundles).

O autor observa que a prova depende da pureza da cohomologia das órbitas de atração, o que decorre de sua suavidade, e utiliza técnicas de localização equivariante para compatibilizar os pesos e estruturas em ambos os lados da dualidade. O trabalho é apresentado como um passo em direção à compreensão do programa de Langlands geométrico e da estrutura de formas automórficas via métodos geométricos.