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

Riassunto Tecnico: $D\text{-mod}(\text{Bun}^I_G)$ è compatto-generato

Enunciato del Problema
Il saggio affronta la questione se la categoria DG dei D-moduli, indicata con $D\text{-mod}(\text{Bun}^I_G)$, sia compatto-generata. Qui, $\text{Bun}^I_G$ è lo stack algebrico dei fasci principali $G$ su una curva $X$ liscia e proiettiva, dotati di una struttura di livello Iwahori in un punto fissato $x \in X$.

Questo problema sorge come una naturale generalizzazione del programma di Langlands geometrico non ramificato. Nel caso non ramificato, Drinfeld e Gaitsgory hanno dimostrato in [DG15] che $D\text{-mod}(\text{Bun}_G)$ è compatto-generato. Questa proprietà è una condizione necessaria per la congettura di Langlands geometrica, la quale postula un'equivalenza tra $D\text{-mod}(\text{Bun}_G)$ e la categoria degli ind-coerenti su lo stack dei sistemi locali. Mentre il caso non ramificato è stato risolto, il caso ramificato (specificamente con struttura di livello Iwahori, che rappresenta la ramificazione tenera) rimaneva una questione aperta riguardante la compatta generazione.

Metodologia
Il saggio impiega il framework stabilito da Drinfeld e Gaitsgory per dimostrare la compatta generazione di D-moduli su stack non quasi-compatti. La strategia centrale consiste nel dimostrare che lo stack $\text{Bun}^I_G$ è troncabile. Uno stack si dice troncabile se può essere coperto da un sistema cofinale di sottostack aperti quasi-compatti che sono co-troncativi.

La metodologia procede attraverso i seguenti passaggi:

1. Riduzione alla Co-troncatività: Poiché $\text{Bun}^I_G$ è localmente QCA (quasi-compatto con gruppi di automorfismi affini) ma non quasi-compatto, l'autore mira a esprimerlo come un'unione di sottostack aperti quasi-compatti $\text{Bun}^I_{G, (\leq \theta)}$. L'obiettivo è dimostrare che, per un $\theta$ sufficientemente grande, il complemento di questi sottostack è troncativo.
2. Stratificazione: L'autore costruisce una stratificazione di $\text{Bun}^I_G$ analoga alla stratificazione di Harder-Narasimhan utilizzata nel caso non ramificato. Ciò comporta:
   • Stratificare per il tipo di Harder-Narasimhan $\lambda$ del sottofondo del fascio principale $G$.
   • Stratificare ulteriormente per la posizione relativa $w$ tra la struttura di livello Iwahori (una riduzione $B$) e la riduzione parabolica (riduzione $P$) associata allo strato.
3. Criterio di Contrazione: Per dimostrare che i complementi dei sottostack aperti sono troncativi, l'autore utilizza il criterio del "sottostack contrattivo". Un sottostack si dice contrattivo se ammette un'azione di $\mathbb{A}^1$ che contrae il sottostack verso una sezione, soddisfacendo specifiche condizioni geometriche (smoothness, suriettività e immersioni aperte in un diagramma specifico).
4. Stime di Generazione Globale: Una componente tecnica critica consiste nel dimostrare che determinati fasci vettoriali associati sono globalmente generati. Nello specifico, per un sottogruppo Levi $M$ e un parabolico $P$, l'autore mostra che il fascio $\mathfrak{n}(P)F_M$ (associato al nilradicale di $P$) è globalmente generato sotto specifici limiti numerici sul grado del fascio. Ciò si basa su teoremi di vanishing per $H^1$ di fasci ritorti.

Contributi Chiave e Risultati

• Teorema Principale: Il saggio dimostra che $D\text{-mod}(\text{Bun}^I_G)$ è compatto-generato (Teorema 0.2.3).
• Generalizzazione: Il risultato è esteso al caso di strutture di livello Iwahori in una collezione finita di punti $x_1, \dots, x_k \in X$, dimostrando che anche $D\text{-mod}(\text{Bun}^{(I; x_1, \dots, x_k)}_G)$ è compatto-generato (Teorema 0.2.5).
• Raffinatezza dei Limiti: Un contributo tecnico significativo è l'aggiustamento del limite numerico richiesto affinché la stratificazione sia co-troncativa.
  • Nel caso non ramificato [DG15], il limite per la coppia $\langle \theta, \check{\alpha}_i \rangle$ era $2g - 2$.
  • Nel caso Iwahori a singolo punto, l'autore dimostra che il limite deve essere elevato a $2g - 1$.
  • Nel caso a $k$ punti, il limite è mostrato essere $2g - 2 + k$.
    Questo spostamento è reso necessario dalla necessità di $k$-generazione globale dei rilevanti fasci vettoriali per garantire la contrattività dei complementi della stratificazione.
• Modello Semplice (Toy Model): La Sezione 2 fornisce una prova dettagliata e autosufficiente per il caso $G = SL_2$, illustrando la macchina concettuale (quadrati fibrati, suriettività delle mappe, azioni contrattive) senza la piena complessità combinatoria del caso generale.

Significatività
Il saggio sostiene che stabilire la compatta generazione di $D\text{-mod}(\text{Bun}^I_G)$ è un passo necessario verso la formulazione e la dimostrazione della congettura di Langlands geometrico ramificato di Iwahori.

La significatività è duplice:

1. Prerequisito per l'Equivalenza: Come notato nell'introduzione, il lato destro della proposta equivalenza di Langlands (ind-fasci coerenti sullo stack dei sistemi locali) è a priori compatto-generato. Pertanto, la compatta generazione del lato sinisto ($D\text{-mod}(\text{Bun}^I_G)$) è una condizione necessaria affinché tale equivalenza possa esistere.
2. Estensione Metodologica: Il lavoro dimostra che le tecniche combinatorie e geometriche sviluppate da Drinfeld e Gaitsgory per il caso non ramificato possono essere applicate con successo al contesto ramificato. L'autore nota che, sebbene esistesse uno schizzo inedito di Gaitsgory e Arkhipov [AG09], esso conteneva carenze combinatorie corrette in [DG15] per il caso non ramificato; questo saggio fornisce le modifiche necessarie per correggere l'argomento per il caso ramificato di Iwahori.

Il saggio non pretende di dimostrare la piena equivalenza di Langlands per il caso ramificato, ma piuttosto stabilisce la proprietà fondamentale di finitezza richiesta affinché tale programma possa procedere.