Technische Samenvatting: $D\text{-mod}(\text{Bun}^I_G)$ is Compactly Generated

Probleemstelling
De paper behandelt de vraag of de DG-categorie van D-modules, aangeduid als $D\text{-mod}(\text{Bun}^I_G)$, compact gegenereerd is. Hierbij is $\text{Bun}^I_G$ de algebraïsche stack van hoofd $G$-bundels op een glad projectieve curve $X$, uitgerust met een Iwahori-niveaustructuur bij een vast punt $x \in X$.

Dit probleem komt voort uit een natuurlijke generalisatie van het ongeramificeerde geometrische Langlands-programma. In het ongeramificeerde geval bewezen Drinfeld en Gaitsgory in [DG15] dat $D\text{-mod}(\text{Bun}_G)$ compact gegenereerd is. Deze eigenschap is een noodzakelijke voorwaarde voor de geometrische Langlands-conjectuur, die een equivalentie postuleert tussen $D\text{-mod}(\text{Bun}_G)$ en de categorie van ind-coherente sheaves op de stack van lokale systemen. Terwijl het ongeramificeerde geval werd opgelost, bleef het geramificeerde geval (specifiek met Iwahori-niveaustructuur, wat tamme ramificatie vertegenwoordigt) een open vraag met betrekking tot compacte generatie.

Methodologie
De paper maakt gebruik van het kader dat door Drinfeld en Gaitsgory is opgezet voor het bewijzen van de compacte generatie van D-modules op niet-quasicompacte stacks. De kernstrategie bestaat uit het aantonen dat de stack $\text{Bun}^I_G$ truncatabel is. Een stack is truncatabel als deze bedekt kan worden door een cofinale verzameling quasicompacte open substacks die co-truncatief zijn.

De methodologie verloopt via de volgende stappen:

1. Reductie naar Co-truncativiteit: Omdat $\text{Bun}^I_G$ lokaal QCA (quasicompact met affiene automorfisme groepen) is maar niet quasicompact, beoogt de auteur het uit te drukken als een vereniging van quasicompacte open substacks $\text{Bun}^I_{G, (\leq \theta)}$. Het doel is om aan te tonen dat voor een voldoende grote $\theta$, het complement van deze substacks truncatief is.
2. Stratificatie: De auteur construeert een stratificatie van $\text{Bun}^I_G$ analoog aan de Harder-Narasimhan stratificatie die wordt gebruikt in het ongeramificeerde geval. Dit houdt in:
   • Stratificatie naar het Harder-Narasimhan type $\lambda$ van de onderliggende hoofd $G$-bundel.
   • Verdere stratificatie door de relatieve positie $w$ tussen de Iwahori-niveaustructuur (een $B$-reductie) en de parabolische reductie ($P$-reductie) geassocieerd met de stratum.
3. Contractiviteitscriterium: Om aan te tonen dat de complementen van de open substacks truncatief zijn, maakt de auteur gebruik van het "contractieve substack"-criterium. Een substack is contractief als deze een $\mathbb{A}^1$-actie toelaat die de substack naar een sectie contraheert, waarbij specifieke geometrische condities (gladheid, surjectiviteit en open inbeddingen in een specifieke diagram) worden vervuld.
4. Global Generation Estimates: Een cruciaal technisch onderdeel is het bewijzen dat bepaalde geassocieerde vectorbundels globaal gegenereerd zijn. Specifiek voor een Levi-subgroep $M$ en een parabolische $P$, toont de auteur aan dat de bundel $\mathfrak{n}(P)F_M$ (geassocieerd met de nilradical van $P$) globaal gegenereerd is onder specifieke numerieke grenzen op de graad van de bundel. Dit berust op vanishing theorems voor de $H^1$ van getwiste bundels.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling: De paper bewijst dat $D\text{-mod}(\text{Bun}^I_G)$ compact gegenereerd is (Theorem 0.2.3).
• Generalisatie: Het resultaat wordt uitgebreid naar het geval van Iwahori-niveaustructuren bij een eindige collectie punten $x_1, \dots, x_k \in X$, waarbij wordt bewezen dat $D\text{-mod}(\text{Bun}^{(I; x_1, \dots, x_k)}_G)$ ook compact gegenereerd is (Theorem 0.2.5).
• Verfijning van Grenzen: Een significante technische bijdrage is de aanpassing van de numerieke grens die vereist is voor de stratificatie om co-truncatief te zijn.
  • In het ongeramificeerde geval [DG15] was de grens voor de pairing $\langle \theta, \check{\alpha}_i \rangle$ gelijk aan $2g - 2$.
  • In het geval van een enkel Iwahori-punt bewijst de auteur dat de grens moet worden verhoogd naar $2g - 1$.
  • In het $k$-punten geval wordt aangetoond dat de grens $2g - 2 + k$ is.
    Deze verschuiving is noodzakelijk vanwege de vereiste voor $k$-global generation van de relevante vectorbundels om de contractiviteit van de stratificatie-complementen te waarborgen.
• Toy Model: Sectie 2 biedt een gedetailleerd, zelfstandig bewijs voor het geval $G = SL_2$, waarbij de conceptuele machinerie (vezelvierkanten, surjectiviteit van afbeeldingen en contractieve acties) wordt geïllustreerd zonder de volledige combinatorische complexiteit van het algemene geval.

Betekenis
De paper stelt dat het vaststellen van de compacte generatie van $D\text{-mod}(\text{Bun}^I_G)$ een noodzakelijke stap is naar het formuleren en bewijzen van de Iwahori geramificeerde geometrische Langlands-conjectuur.

De betekenis is tweeledig:

1. Voorwaarde voor Equivalentie: Zoals vermeld in de introductie, is de rechterzijde van de voorgestelde Langlands-equivalentie (ind-coherente sheaves op de stack van lokale systemen) a priori compact gegenereerd. Daarom is de compacte generatie van de linkerzijde ($D\text{-mod}(\text{Bun}^I_G)$) een noodzakelijke voorwaarde voor een dergelijke equivalentie om te kunnen bestaan.
2. Methodologische Uitbreiding: Het werk demonstreert dat de combinatorische en geometrische technieken ontwikkeld door Drinfeld en Gaitsgory voor het ongeramificeerde geval succesvol kunnen worden aangepast aan de geramificeerde setting. De auteur merkt op dat hoewel een ongepubliceerd schets door Gaitsgory en Arkhipov [AG09] bestond, deze combinatorische tekortkomingen bevatte die in [DG15] voor het ongeramificeerde geval werden gecorrigeerd; deze paper levert de noodzakelijke modificaties om het argument voor het Iwahori geramificeerde geval te herstellen.

De paper claimt niet de volledige Langlands-equivalentie voor het geramificeerde geval te bewijzen, maar stelt de fundamentele eindigheidseigenschap vast die vereist is om een dergelijk programma voort te zetten.