Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$

Technische Samenvatting: Uniforme Gestratificeerde Verdwijning en Equidistributie op $\mathbb{G}_m^d$

Probleemstelling
Het artikel behandelt het probleem van het vaststellen van uniforme grenzen aan de "slechte" loci van karakterreeksen geassocieerd met perverse schoven op de gesplitste $d$-dimensionale torus $\mathbb{G}_m^d$ over eindige velden. Specifiek streeft het naar een uniforme gestratificeerde generieke verdwijningsstelling waarbij de grenzen enkel afhangen van de dimensie $d$ en de complexiteit van de schof (in de zin van Sawin), in plaats van van het specifieke karakter van het eindige veld of de priem $\ell$.

Deze verdwijningsstellingen beschrijven de locus van karakters $\chi$ waarvoor de forget-supports morfisme $R\Gamma_c(\mathbb{G}_m^d, M_\chi) \to R\Gamma(\mathbb{G}_m^d, M_\chi)$ geen isomorfisme is. Hoewel generieke verdwijning eerder werd vastgesteld door Gabber–Loeser (onder voorbehoud van resolutie van singulariteiten) en later onvoorwaardelijk door Forey–Fresán–Kowalski (FFK), leverden die resultaten geen uniforme kwantitatieve grenzen aan het aantal karakters van eindige velden in deze slechte loci naarmate de kardinaliteit van het veld groeit.

De auteurs beogen de equidistributiestellingen voor deze karakterreeksen uit te breiden naar willekeurige sequenties van eindige velden met groeiende kardinaliteit, waarbij het karakter kan variëren. Eerdere resultaten van Katz (voor $d=1$) en FFK (voor verbonden commutatieve groepen) waren ofwel beperkt tot vaste objecten over variërende extensies, ofwel voorwaardelijk op uniforme grenzen voor hogere-dimensionale tori ($d \ge 2$).

Methodologie
De bewijsstrategie steunt op drie hoofdcomponenten: een uniforme één-coördinaat Mellin-schatting, inductie op de dimensie van de torus, en een Tannakiaanse deductie voor equidistributie.

1. Uniforme Eén-coördinaat Mellin-schatting:
   De kern van de technische innovatie is een kwantitatieve grens op de verzameling "exceptionele" karakters voor een enkele multiplicatieve variabele. Door $\mathbb{G}_m^d = \mathbb{G}_m \times \mathbb{G}_m^{d-1}$ te ontbinden, analyseren de auteurs de relatieve directe beelden van een perverse schof getwist door een karakter van de eerste factor.

   • Zij maken gebruik van de lokalisatie-driehoek om het falen van het forget-supports morfisme te relateren aan de boundary stalks bij $0$ en $\infty$.
   • Deze boundary stalks worden geïdentificeerd met de continue inertie-cohomologie van relatieve nearby-cycle complexen.
   • Door gebruik te maken van de prime-to-$\ell$ verdwijning van inertie-cohomologie (Appendix B) en de injectiviteit van de afbeelding $\lambda \mapsto \lambda_x(\tau_x)$ (waarbij $\tau_x$ een topologische generator is van tame inertie), tonen zij aan dat exceptionele karakters overeenkomen met monodromie-eigenwaarden op deze nearby-cycle complexen.
   • Cruciaal is dat zij het aantal van dergelijke eigenwaarden uitsluitend begrenzen in termen van de complexiteit $cu(A)$ en dimensie $d$, zonder gebruik te maken van de de Jong-alteraties of resolutie van singulariteiten, wat anders niet-uniforme constanten zou introduceren.

2. Inductie op Dimensie:
   De auteurs bewijzen de hoofdstellingen door inductie op $d$.

   • Theorem 1.1 (Uniforme Puntentelling): Voor een complex $K$ is de grootte van de support $\Delta(K)$ van de kegel van de Mellin-vergelijkingsmorfisme begrensd door $O(q^{n(d-1)})$. De inductiestap gebruikt de relatieve Mellin-transformatie om het probleem van dimensie $d$ te reduceren naar $d-1$. Voor niet-exceptionele karakters reduceert het probleem tot het lager-dimensionale geval; voor exceptionele karakters is de grens triviaal maar gecontroleerd door de complexiteit.
   • Theorem 1.2 (Gestratificeerde Puntentelling met Begrensde Complexiteit): Dit verfijnt het resultaat naar specifieke cohomologische graden $i$. De auteurs gebruiken de perverse spectrale sequentie om de cohomologie-sprongen in graad $i$ op $\mathbb{G}_m^d$ te relateren aan sprongen in graden $i$ en $i-1$ op $\mathbb{G}_m^{d-1}$ voor de perverse cohomologie-schoven van de relatieve directe beelden. Dit maakt het mogelijk om de inductieve grens $O(q^{n(d-i)})$ te behouden.

3. Tannakiaanse Deductie:
   De equidistributieresultaat (Corollary 1.4) wordt afgeleid uit de Tannakiaanse formalisme van FFK.

   • De auteurs stellen vast dat de onramified locus $X(M_0)$ generiek is (Theorem 1.3) door deze te relateren aan de support $\Delta(L)$ van een specifiek object $L = M \oplus M^\vee$.
   • Gebruikmakend van het Weyl-criterium tonen zij aan dat de Frobenius-conjugaatklassen equidistribueren in de maximale compacte subgroep van de Tannakische groep. De uniforme grenzen uit Theorems 1.2 en 1.3 garanderen dat de "slechte" karakters (waar de cohomologie niet-nul is in niet-nul graden of waar ramificatie optreedt) verwaarloosbaar zijn in aantal vergeleken met het totaal aantal karakters naarmate de veldgrootte naar oneindig gaat.

Belangrijkste Bijdragen en Resultaten

• Theorem 1.1 (Uniforme Gestratificeerde Generieke Verdwijning): Bewijst dat er voor elke $d \ge 1$ een functie $\Phi_d^\Delta$ bestaat zodanig dat voor elk eindig veld $k$, elke priem $\ell \neq \text{char}(k)$, en elk complex $K$ van begrensde complexiteit $C$, het aantal karakters $\chi \in \widehat{\mathbb{G}_m^d}(k_n)$ waarvoor het forget-supports morfisme geen isomorfisme is, begrensd wordt door $\Phi_d^\Delta(C) q^{n(d-1)}$.
• Theorem 1.2 (Gestratificeerde Puntentelling met Begrensde Complexiteit): Bewijst dat voor een perverse schof $A$ van complexiteit $C$, het aantal karakters waar de cohomologie $H^i_c$ of $H^i$ niet-nul is, begrensd wordt door $\Psi_d(C) q^{n(d-i)}$. Dit levert de noodzakelijke uniforme grenzen voor de gestratificeerde verdwijningsloci.
• Theorem 1.3 (Onramified Puntentelling): Stelt vast dat het complement van de onramified locus voor een aritmisch semisimple object begrensd is door $O(q^{n(d-1)})$, uniform in de karakteristiek en $\ell$.
• Corollary 1.4 (Equidistributie): Bewijst een equidistributiestelling voor sequenties van perverse schoven van begrensde complexiteit met een gemeenschappelijke Tannakische monodromiegroep. Naarmate de kardinaliteit van de eindige velden naar oneindig gaat, equidistribueren de Frobenius-conjugaatklassen geassocieerd met de multiplicatieve karakters in de ruimte van conjugaatklassen van een maximale compacte subgroep van de Tannische groep.

Betekenis
Het artikel claimt het openstaande geval van horizontale equidistributie voor tori van dimensie $d \ge 2$ op te lossen, dat overblijft van Forey–Fresán–Kowalski. Hoewel FFK de structuur van de slechte loci onvoorwaardelijk vaststelde, bleef hun equidistributiestelling voor $d \ge 2$ voorwaardelijk op uniforme grenzen voor deze loci. Dit artikel levert die grenzen, waardoor de equidistributiestelling onvoorwaardelijk wordt voor $\mathbb{G}_m^d$.

Bovendien generaliseren de resultaten de equidistributiestelling van Katz (oorspronkelijk voor $d=1$) naar willekeurige sequenties van eindige velden, inclusief die waar de karakteristiek varieert. De uniformiteit van de constanten in de grenzen hangt enkel af van de dimensie en de complexiteit van de schof (in de zin van Sawin), wat uniformiteit over variërende karakteristieken en priemmen $\ell$ garandeert. Deze uniformiteit wordt bereikt zonder afhankelijk te zijn van resolutie van singulariteiten of de de Jong-alteraties, die doorgaans constanten opleveren die afhankelijk zijn van de specifieke geometrie van de variëteit in plaats van enkel haar complexiteit.

Dit werk verenigt de theorie van generieke verdwijning en equidistributie voor tori, en biedt een robuust kader voor het analyseren van exponentiële sommen en karakterreeksen in families over variërende eindige velden.