Diagonal cycles on Shtukas and the adjoint $L$-function

Resumo Técnico: Ciclos Diagonais em Shtukas e a Função L Adjunta

Enunciado do Problema
O artigo aborda a busca por uma identidade do tipo Gross–Zagier para corpos de funções para grupos redutivos de tipo arbitrário. Enquanto a fórmula clássica de Gross–Zagier relaciona a altura de pontos de Heegner à derivada central de uma função $L$, as conjecturas aritméticas de Gan–Gross–Prasad (GGP) generalizam isso para dimensões superiores; contudo, os arcabouços existentes foram amplamente restritos a grupos de tipo A, B ou D, e a situações onde a representação governante é a representação padrão. Trabalhos anteriores em corpos de funções, como o de Yun–Zhang e generalizações subsequentes pelo autor e colaboradores, foram limitados a variedades esféricas "fortemente temperadas", impondo restrições estritas sobre os tipos de modificação de Shtukas.

Este trabalho investiga o caso do grupo $G = H \times H$ e $X = H$, onde $H$ é um grupo redutivo quase simples e dividido. O problema central é relacionar os números de autointerseção do ciclo diagonal no espaço de módulos de $G$-Shtukas (com tipos de modificação arbitrários) a derivadas de ordem superior de funções $L$ adjuntas, estendendo assim o arcabouço de Gross–Zagier para grupos de tipo arbitrário sem a restrição de ser fortemente temperado.

Metodologia
A estratégia de prova diverge dos métodos de fórmula de traço relativa usados em estudos de interseção aritmética prévios. Em vez disso, emprega uma abordagem geométrica enraizada no programa de Langlands geométrico em característica positiva e formalismos de traço categórico. A metodologia procede através das seguintes etapas fundamentais:

1. Integrais de Período Geométricos e Observáveis: O autor define um funtor de integral de período geométrico $\int_X$ na categoria de feixes sobre o stack de módulos de $G$-bundles ($\text{Bun}_G$). Para um sistema local geometricamente fortemente irredutível $\sigma$, estuda-se a cohomologia deste integral de período.
2. Ação da Álgebra de Clifford: Uma inovação técnica central é a construção de uma ação de álgebra de Clifford na cohomologia do integral de período geométrico. Isso é alcançado estabelecendo uma relação de comutador entre observáveis $L$ "diagonais" e "adjuntos". Esta relação é derivada via computações locais no álgebra de Plancherel usando correspondências cohomológicas especiais.
3. Fórmula do Tipo Atiyah–Bott: O artigo prova uma fórmula análoga de Atiyah–Bott para estes integrais de período geométricos, mostrando que o anel de cohomologia é um anel polinomial (ímpar) livre gerado por classes tautológicas. Esta estrutura permite que o par de interseção seja interpretado como um traço torcido por Frobenius de um operador específico, denominado "observável de interseção".
4. Correspondência Local-Global: O observável de interseção é decomposto em uma "parte de derivada" e uma "parte escalar". Usando o álgebra de Plancherel local, o autor computa estas partes explicitamente. A parte de derivada é mostrada como correspondente à ação da representação adjunta, enquanto a parte escalar relaciona-se com o fibrado de linha determinante.
5. Fórmula de Traço: O número de autointerseção do ciclo diagonal (torcido por fibrados de linha determinante) é expresso como o traço do observável de interseção atuando na cohomologia do integral de período. Este traço é então computado usando a decomposição espectral fornecida pela ação da álgebra de Clifford.

Principais Contribuições e Resultados

• Identidade Gross–Zagier Generalizada: O resultado principal (Teorema 1.4) estabelece uma identidade relacionando o par de interseção do ciclo diagonal no módulo de Shtukas para $H \times H$ à $r$-ésima derivada da função $L$ adjunta $L(s, \check{h}_{\sigma_H})$ em $s=0$. A fórmula é:
  $$\langle \Delta_{Sht, !}([Sht_{H, \leq \lambda_{H,I}}] \cup \prod c_1(L_{det, i})), \Delta_{Sht, !}[Sht_{H, \leq \lambda_{H,I}}] \rangle^* = \epsilon_{\lambda_I} \frac{L(0, \check{h}_{\sigma_H})}{\log q} \left( -\frac{d}{ds} \right)^r \left( q^{-(g-1)r(H)s} L(s, \check{h}_{\sigma_H}) \right) \Big|_{s=0}$$
  Aqui, $\epsilon_{\lambda}$ é uma constante relacionada ao índice de Dynkin da representação, e $r(H)$ é o posto de $H$.
• Tipos de Modificação Arbitrários: Diferente de trabalhos anteriores restritos a variedades fortemente temperadas, este resultado é válido para representações essencialmente arbitrárias $V \in \text{Rep}(\check{G})$ que governam os tipos de modificação das Shtukas.
• Não degeneração do Par: O artigo prova (Teorema 1.2) que o par de interseção no componente $\sigma$-isotípico da cohomologia de interseção de Shtukas é não degenerado para sistemas locais geometricamente fortemente irredutíveis.
• Estrutura de Álgebra de Clifford: A construção da ação da álgebra de Clifford na cohomologia do integral de período geométrico (Teorema 3.9) é uma contribuição estrutural significativa, provendo uma nova ferramenta para analisar números de interseção no contexto de Langlands geométrico.
• Constantes Explícitas: O artigo fornece fórmulas explícitas para as constantes $\epsilon_\lambda$ (índices de Dynkin) para vários grupos simples divididos e pesos cowais minúsculos, destacando seu papel como fatores de multiplicidade na fórmula de interseção.

Significância e Alegações
O artigo alega fornecer o primeiro exemplo de uma fórmula do tipo Gross–Zagier para grupos de tipo arbitrário sobre corpos de funções. Ao remover a restrição "fortemente temperada", ele amplia significativamente o escopo da realização geométrica do programa de Langlands relativo.

O autor sugere que este resultado aponta para um quadro conjectural paralelo para interseções aritméticas em variedades de Shimura. Especificamente, a aparição da constante $\epsilon_\mu$ (o índice de Dynkin da co-característica de Hodge) como um fator de multiplicidade na fórmula de interseção é identificada como um fenômeno novo não observado anteriormente na literatura. O artigo postula que o Teorema 1.4 serve como um modelo de corpo de funções para uma generalização das conjecturas aritméticas de GGP para variedades de Shimura arbitrárias, onde o comportamento destas constantes desempenha um papel sutil e crucial.

O trabalho baseia-se na suposição de que o sistema local $\sigma_H$ é automórfico (o que é conhecido para $GL_n$ e esperado genericamente); se $\sigma_H$ não for automórfico, o número de interseção é nulo. Os resultados são formulados dentro do arcabouço de $\infty$-categorias e feixes étale com coeficientes $\mathbb{Q}_\ell$, utilizando a correspondência de Langlands geométrica conforme desenvolvida em trabalhos recentes de Gaitsgory, Lurie e outros.