Iwahori Fundamental Local Equivalence

Resumo Técnico: Equivalência Local Fundamental de Iwahori

Enunciado do Problema
O artigo aborda a formulação local da correspondência de Langlands geométrica na presença de ramificação tame (Iwahori). Enquanto a conjectura global de Langlands geométrica para o caso não ramificado foi estabelecida recentemente através de uma série de trabalhos por Arinkin, Beraldo, Campbell, Chen, Faergeman, Gaitsgory, Lin, Raskin e Rozenblyum, o comportamento local do funtor de Langlands em um ponto com estrutura de nível Iwahori requer uma descrição espectral. Especificamente, o autor busca construir uma descrição espectral para a categoria DG de D-módulos em $\text{Bun}_G^I$ (fibrados com estrutura de nível Iwahori em um ponto fixo $x_0$).

A teoria local não ramificada é governada por três equivalências fundamentais no nível de ponto em $x$: a equivalência geométrica de Casselman-Shalika ($CS_{G,x}$), a equivalência geométrica de Satake ($Sat_{G,x}$) e a Equivalência Local Fundamental ($FLE_{G,x}$). O artigo visa construir contrapartes ramificadas de Iwahori para essas equivalências e, crucialmente, elevá-las de equivalências pontuais para equivalências de módulos de fatorização. Isso permite que as equivalências codifiquem o comportamento de pontos "movendo-se ao redor" e "colidindo" com o ponto de ramificação fixo $x_0$, uma necessidade para controlar o funtor global de Langlands.

Metodologia
O artigo emprega o framework de Categorias de Módulos de Fatorização. Em vez de tratar as categorias locais em $x_0$ isoladamente, o autor as trata como módulos sobre as correspondentes categorias de fatorização não ramificadas definidas no espaço de Ran.

1. Estruturas de Módulos de Fatorização: O autor define seis categorias de módulos de fatorização fundamentais (pares $(C, M)$ onde $C$ é uma categoria de fatorização e $M$ é um $C$-módulo de fatorização em $x_0$). Estas incluem:

   • Lado geométrico: $(Whit!(G), Whit!(Fl_G))$, $(Sph_G, Aff_G)$, e $(KL(G)_{crit}, IKL(G)_{crit})$.
   • Lado espectral: $(Rep(\check{G}), QCoh(\check{n}/\check{B}))$, $(Sph^{spec}_{\check{G}}, Aff^{spec}_{\check{G}})$, e $(IndCoh(Op^{mon-free}_{\check{G}}), IndCoh(Op^{mer}_{\check{G}} \times_{LS^{mer}_{\check{G}}} \check{n}/\check{B}))$.

2. Aproximação via Fusibilidade: Uma ferramenta técnica central é a noção de Fusibilidade (introduzida no contexto do trabalho iminente de Bogdanova, Chen e Gaitsgory [BCG26]). Uma categoria de módulo de fatorização é "fusível" se ela puder ser reconstruída a partir de sua fibra em $x_0$ via uma condição combinatória específica. O autor prova que as categorias relevantes (por exemplo, $Whit!(Fl_G)$ e $Aff_G$) são fusíveis. Esta propriedade permite a redução da prova de uma equivalência de categorias de módulos de fatorização para a prova de uma equivalência de suas fibras no ponto $x_0$.

3. Construção de Equivalências:

   • Arkhipov-Bezrukavnikov ($AB$): Construída ao relacionar $Whit!(Fl_G)$ a uma versão semi-infinita via o funtor Jacquet e utilizando a equivalência da versão semi-infinita estabelecida em [CCF+24].
   • Bezrukavnikov ($B$): Construída aproveitando a ação da categoria de Hecke esférica sobre a categoria de Hecke afim e a equivalência $AB$ previamente construída. A equivalência pontual é verificada adaptando argumentos de Dhillon e Taylor [DT25] do setting de Betti para o setting de de Rham.
   • Equivalência Local Fundamental de Iwahori ($IFLE$): Construída usando a coação da categoria espectral sobre a categoria geométrica, mediada pela equivalência $B$.

4. Temperedness (Temperamento): Para provar a equivalência pontual de $IFLE$, o autor introduz o Iwahori-Hecke Temperedness. Esta condição garante que o tensor com a categoria Whittaker seja conservativo. A prova envolve o mergulho de ambos os lados da equivalência em uma categoria ambiente maior ($IndCoh(Op^{mer}_{\check{G}, x_0})$) e mostrando que eles compartilham a mesma imagem essencial.

Principais Contribuições e Resultados
O artigo estabelece três teoremas, elevando equivalências locais pontuais para equivalências de pares de módulos de fatorização em $\text{FactModCat}_{x_0}$:

1. A Equivalência de Arkhipov-Bezrukavnikov ($AB$):
   O morfismo de pares $AB: (Whit!(G), Whit!(Fl_G)) \to (Rep(\check{G}), QCoh(\check{n}/\check{B}))$ é uma equivalência. Isso estende a clássica equivalência de Arkhipov-Bezrukavnikov para o setting de fatorização, compatível com a equivalência geométrica de Casselman-Shalika.

2. A Equivalência de Bezrukavnikov ($B$):
   O morfismo de pares monoidais $B: (Sph_G, Aff_G) \to (Sph^{spec}_{\check{G}}, Aff^{spec}_{\check{G}})$ é uma equivalência. Isso fornece uma descrição espectral da categoria de Hecke afim compatível com a equivalência geométrica de Satake.

3. A Equivalência Local Fundamental de Iwahori ($IFLE$):
   O morfismo de pares $IFLE: (KL(G)_{crit}, IKL(G)_{crit}) \to (IndCoh(Op^{mon-free}_{\check{G}}), IndCoh(Op^{mer}_{\check{G}} \times_{LS^{mer}_{\check{G}}} \check{n}/\check{B}))$ é uma equivalência. Esta é a versão de Iwahori da Equivalência Local Fundamental, ligando a categoria de Kazhdan-Lusztig ramificada de Iwahori a sheaves ind-coerentes em um stack específico de opers com condições de mônodromia.

Significância
O artigo afirma ter significância ao fornecer os ingredientes locais necessários para estudar o funtor global de Langlands com ramificação de Iwahori, denotado por $L^I_G$. Assim como as equivalências locais não ramificadas ($CS$, $Sat$, $FLE$) foram essenciais para a prova da conjectura global não ramificada, estas equivalências de fatorização ramificadas de Iwahori são as ferramentas requisitas para entender o comportamento de $L^I_G$ quando pontos variam em famílias e colidem com o ponto de ramificação.

O trabalho demonstra que o framework de "módulo de fatorização" é o dispositivo técnico correto para codificar a interação entre pontos móveis e uma estrutura de nível Iwahori fixa. Ao provar estas equivalências, o artigo completa o quadro local para ramificação tame, espelhando a estrutura do caso não ramificado e permitindo a potencial extensão dos resultados de Langlands global para o cenário tamely ramificado. Os resultados dependem fortemente da geração compacta de $D\text{-mod}(\text{Bun}_G^I)$ (estabelecida em [Nam24]) e da ação espectral tamely ramificada (de [Fae24]).