$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^\mathrm{I})$ is Compactly Generated

Resumo Técnico: $D\text{-mod}(\text{Bun}^I_G)$ é Compactamente Gerado

Enunciado do Problema
O artigo aborda a questão de saber se a categoria DG de D-módulos, denotada por $D\text{-mod}(\text{Bun}^I_G)$, é compactamente gerada. Aqui, $\text{Bun}^I_G$ é o stack algébrico de pacotes principais $G$ sobre uma curva suave projetiva $X$ equipada com uma estrutura de nível de Iwahori em um ponto fixo $x \in X$.

Este problema surge como uma generalização natural do programa de Langlands geométrico não ramificado. No caso não ramificado, Drinfeld e Gaitsgory provaram em [DG15] que $D\text{-mod}(\text{Bun}_G)$ é compactamente gerado. Esta propriedade é uma condição necessária para a conjectura de Langlands geométrica, que postula uma equivalência entre $D\text{-mod}(\text{Bun}_G)$ e a categoria de sheaves ind-coerentes sobre o stack de sistemas locais. Embora o caso não ramificado tenha sido resolvido, o caso ramificado (especificamente com estrutura de nível de Iwahori, representando ramificação tênue) permaneceu uma questão aberta quanto à geração compacta.

Metodologia
O artigo emprega o arcabouço estabelecido por Drinfeld e Gaitsgory para provar a geração compacta de D-módulos em stacks não quasicompactos. A estratégia central consiste em demonstrar que o stack $\text{Bun}^I_G$ é truncável. Um stack é truncável se ele puder ser coberto por um sistema cofinal de substacks abertos quasicompactos que são co-truncativos.

A metodologia procede através dos seguintes passos:

1. Redução à Co-truncatividade: Como $\text{Bun}^I_G$ é localmente QCA (quasicompacto com grupos de automorfismo afins), mas não é quasicompacto, o autor visa expressá-lo como uma união de substacks abertos quasicompactos $\text{Bun}^I_{G, (\leq \theta)}$. O objetivo é mostrar que, para um $\theta$ suficientemente grande, o complemento desses substacks é truncativo.
2. Estratificação: O autor constrói uma estratificação de $\text{Bun}^I_G$ análoga à estratificação de Harder-Narasimhan usada no caso não ramificado. Isso envolve:
   • Estratificar pelo tipo de Harder-Narasimhan $\lambda$ do pacote principal $G$ subjacente.
   • Estratificar adicionalmente pela posição relativa $w$ entre a estrutura de nível de Iwahori (uma redução $B$) e a redução parabólica (redução $P$) associada ao estrato.
3. Critério de Contractividade: Para provar que os complementos dos substacks abertos são truncativos, o autor utiliza o critério de "substack contrativo". Um substack é contrativo se admite uma ação de $\mathbb{A}^1$ que contrai o substack para uma seção, satisfazendo condições geométricas específicas (suavidade, surjetividade e imersões abertas em um diagrama específico).
4. Estimativas de Geração Global: Um componente técnico crítico envolve provar que certos fibrados vetoriais associados são globalmente gerados. Especificamente, para um subgrupo Levi $M$ e um parabólico $P$, o autor mostra que o fibrado $\mathfrak{n}(P)F_M$ (associado ao radical nilpotente de $P$) é globalmente gerado sob limites numéricos específicos no grau do fibrado. Isso depende de teoremas de desaparecimento para $H^1$ de fibrados torcidos.

Contribuições Principais e Resultados

• Teorema Principal: O artigo prova que $D\text{-mod}(\text{Bun}^I_G)$ é compactamente gerado (Teorema 0.2.3).
• Generalização: O resultado é estendido para o caso de estruturas de nível de Iwahori em uma coleção finita de pontos $x_1, \dots, x_k \in X$, provando que $D\text{-mod}(\text{Bun}^{(I; x_1, \dots, x_k)}_G)$ também é compactamente gerado (Teorema 0.2.5).
• Refinamento de Limites: Uma contribuição técnica significativa é o ajuste do limite numérico necessário para que a estratificação seja co-truncativa.
  • No caso não ramificado [DG15], o limite para o emparelhamento $\langle \theta, \check{\alpha}_i \rangle$ era $2g - 2$.
  • No caso de Iwahori de um único ponto, o autor prova que o limite deve ser elevado para $2g - 1$.
  • No caso de $k$ pontos, o limite é mostrado como sendo $2g - 2 + k$.
    Este desloco é necessário devido à exigência de $k$-geração global dos fibrados vetoriais relevantes para garantir a contractividade dos complementos da estratificação.
• Modelo de Brinquedo (Toy Model): A Seção 2 fornece uma prova detalhada e autossuficiente para o caso $G = SL_2$, ilustrando a maquinaria conceitual (quadrados de fibra, surjetividade de mapas e ações contrativas) sem a complexidade combinatória total do caso geral.

Significância
O artigo afirma que estabelecer a geração compacta de $D\text{-mod}(\text{Bun}^I_G)$ é um passo necessário para formular e provar a conjectura de Langlands geométrica ramificada de Iwahori.

A significância é dupla:

1. Pré-requisito para Equivalência: Como observado na introdução, o lado direito da proposta equivalência de Langlands (sheaves ind-coerentes sobre o stack de sistemas locais) é, a priori, compactamente gerado. Portanto, a geração compacta do lado esquerdo ($D\text{-mod}(\text{Bun}^I_G)$) é uma condição necessária para que tal equivalência exista.
2. Extensão Metodológica: O trabalho demonstra que as técnicas combinatórias e geométricas desenvolvidas por Drinfeld e Gaitsgory para o caso não ramificado podem ser aplicadas com sucesso ao cenário ramificado. O autor observa que, embora existisse um esboço não publicado por Gaitsgory e Arkhipov [AG09], este continha deficiências combinatórias corrigidas em [DG15] para o caso não ramificado; este artigo fornece as modificações necessárias para corrigir o argumento para o caso ramificado de Iwahori.

O artigo não pretende provar a equivalência de Langlands completa para o caso ramificado, mas sim estabelecer a propriedade fundamental de finitude necessária para que tal programa possa prosseguir.