Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

Resumo Técnico: Conjeturas AFL Quase-Canônicas e de Transferência Aritmética em Níveis Parahóricos

Enunciado do Problema
O artigo aborda a formulação e verificação das conjeturas de Transferência Aritmética (TA), que são variantes do lema fundamental aritmético (AFL) na presença de ramificação. A conjetura clássica do AFL, estabelecida por Zhang, Mihatsch–Zhang e Z. Zhang, relaciona a derivada de uma integral orbital do elemento unitário em uma álgebra de Hecke esférica a um número de interseção aritmética em um espaço de módulos formal de Rapoport–Zink (RZ) de grupos $p$-divisíveis. Este cenário clássico requer uma extensão quadrática não ramificada $F/F_0$, um vetor especial de comprimento unitário e uma estrutura de nível hiperespecial.

Os autores investigam o cenário onde as hipóteses de "não ramificação" são relaxadas, especificamente ao considerar estruturas de nível parahórico não hiperespeciais. Isso introduz ramificação no problema. Um obstáculo primário na formulação de conjeturas TA neste contexto é o lado geométrico: os espaços RZ ambientes devem ser regulares para definir multiplicidades de interseção de Serre. Quando a estrutura de nível é não hiperespecial, os espaços produto naturais frequentemente falham em ser regulares, necessitando da construção de novos modelos integrais e da resolução de singularidades.

Metodologia
O artigo é dividido em duas partes independentes, empregando uma mistura de geometria aritmética, teoria das deformações e análise harmônica.

1. Construção e Análise Geométrica (Parte 2):

   • Os autores focam no espaço $\widetilde{\mathcal{N}}_n^{[1]}$, um modelo integral de um membro da torre RZ correspondente a um subgrupo não parahórico em um grupo unitário não quase-esplitado. Este espaço surge como um produto fibrado ligando $\mathcal{N}_n^{[1]}$ (nível $r=1$) e $\mathcal{N}_{n+1}^{[0]}$ (nível hiperespecial).
   • Usando a teoria de Dieudonné e a teoria das deformações de Grothendieck–Messing, os autores analisam os pontos $\bar{k}$ e a estrutura local de $\widetilde{\mathcal{N}}_n^{[1]}$ e do divisor especial $Z(u)$ (associado a um vetor especial de valoração 1).
   • Eles provam que $\widetilde{\mathcal{N}}_n^{[1]}$ é regular de dimensão $n$. O morfismo $\pi_1: \widetilde{\mathcal{N}}_n^{[1]} \to \mathcal{N}_n^{[1]}$ é mostrado ser finito e plano de grau $q+1$, étale fora de um "lugar de balão" e totalmente ramificado ao longo dele. O morfismo $\pi_2: \widetilde{\mathcal{N}}_n^{[1]} \to Z(u)$ é uma explosão ao longo de um esquema de dimensão zero.
   • A fibra especial de $Z(u)$ é mostrada ser regular fora de um subconjunto fechado de dimensão zero, com as singularidades sendo de um tipo específico (quase-canônico).

2. Conjeturas de Transferência Aritmética e Provas (Parte 1):

   • Os autores definem números de interseção aritmética nos espaços regulares construídos acima, especificamente em produtos como $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}^{[0]}$ e suas "versões de gráfico" $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}$.
   • Eles formulam conjeturas TA relacionando esses números de interseção às derivadas de integrais orbitais de funções teste específicas. Essas funções teste são construídas usando homomorfismos de mudança de base entre álgebras de Hecke esféricas e funções atômicas de Hecke.
   • Versão de Gráfico: Os autores provam uma "versão de gráfico" da conjetura TA. Ao relacionar o número de interseção no gráfico do morfismo $\pi_2$ ao número de interseção no divisor especial $Z(u)$, eles reduzem o problema ao AFL conhecido (para $r$ par) e ao recém-estabelecido "AFL quase-canônico" (para $r$ ímpar).
   • AFL Quase-Canônico: Um resultado central é a prova do AFL quase-canônico, que lida com o caso onde o vetor especial tem valoração 1 (nível 1). Isso envolve estabelecer um teorema de transferência para elementos não unitários específicos na álgebra de Hecke e provar a identidade correspondente para o número de interseção no divisor quase-canônico $Z(u)$.
   • Redução a Casos Conhecidos: Para casos onde $r$ é par, os autores mostram que a conjetura TA segue do AFL para toda a álgebra de Hecke (Conjetura 9.2.3 em [14]), desde que as funções de transferência necessárias existam. Para casos específicos pequenos (por exemplo, $n=r=1$), eles verificam as conjeturas explicitamente.

Contribuições e Resultados Chave

• Estrutura de $\widetilde{\mathcal{N}}_n^{[1]}$: O artigo fornece uma descrição estrutural completa do misterioso espaço $\widetilde{\mathcal{N}}_n^{[1]}$, provando sua regularidade e detalhando a geometria dos morfismos $\pi_1$ e $\pi_2$. Isso confirma conjeturas de Kudla e Rapoport sobre a geometria de torres RZ quase auto-duais.
• AFL Quase-Canônico: Os autores estabelecem o AFL Quase-Canônico (Teorema 7.2.1), que relaciona o número de interseção no divisor quase-canônico $Z(u)$ (valoração 1) à derivada de integrais orbitais de uma função de transferência específica. Isso preenche uma lacuna na teoria do AFL para cenários ramificados.
• Versão de Gráfico das Conjeturas TA: O artigo prova a versão de gráfico da conjetura TA para o tipo $(r, 0)$ (Teorema 1.0.2). Este resultado é "razoavelmente completo", cobrindo casos onde $r$ é par (via redução ao AFL) e $r$ é ímpar (via redução ao AFL quase-canônico).
• Conjeturas TA Explícitas: Os autores formulam conjeturas TA explícitas para vários tipos $(r, 0)$ e $(0, r)$, identificando funções teste candidatas via homomorfismos de mudança de base.
  • Para $r$ par, a conjetura está ligada ao AFL para toda a álgebra de Hecke.
  • Para $r=n$ ímpar, uma conjetura específica é formulada e provada para $n=1$.
  • Para outros $r$ ímpares, a existência de uma função de transferência é postulada, mas candidatos explícitos não são fornecidos em todos os casos.
• Verificação em Casos Simples: O artigo prova as conjeturas em casos específicos simples, notavelmente $n=1$ e $r=1$, e demonstra como as conjeturas gerais seguem do AFL para toda a álgebra de Hecke no caso de $r$ par.

Significado e Escopo
O artigo afirma ter esgotado os casos possíveis para conjeturas TA sob restrições naturais: o espaço ambiente deve ser um produto de espaços RZ de níveis parahóricos maximais e ser regular, e os ciclos devem ser pull-backs de divisores especiais excepcionais (divisores Z ou divisores Y).

O significado reside em estender o quadro do AFL além do cenário não ramificado e hiperespecial. Ao provar a regularidade dos modelos integrais necessários e estabelecer o AFL quase-canônico, os autores fornecem a fundação geométrica requerida para formular e provar parcialmente conjeturas TA na presença de estruturas de nível parahórico. Os resultados verificam as hipóteses da versão de gráfico das conjeturas TA em um caso particular e oferecem um roteiro para trabalhos futuros nos casos restantes onde funções teste explícitas ainda não são conhecidas. Os autores observam explicitamente que, embora tenham formulado conjeturas para todos os casos restantes, eles não possuem candidatos explícitos para as funções teste no caso geral de $r$ ímpar (além de $r=n=1$) e deixam isso para investigação futura.