Generic vanishing on homogeneous spaces in arbitrary characteristic

Technische Samenvatting: Generiek Verdwijnen op Homogene Ruimten in Willekeurige Karakteristiek

Probleemstelling
Het artikel behandelt het probleem van het bewijzen van een "generiek verdwijnen"-stelling voor de doorsnede van lokaal gesloten gladde affiene deelvariëteiten binnen een proper homogene ruimte $X$, waarop een aangesloten algebraïsche groep $G$ werkt. Specifiek streven de auteurs ernaar te bewijzen dat voor een generische translaat $gW$ van een deelvariëteit $W$ door een element $g \in G$, de doorsnede $gW \cap Z$ voldoet aan een specifieke tekenongelijkheid met betrekking tot zijn Euler-karakteristiek.

Hoewel Schürmann–Simpson–Wang [SSW25] dit resultaat bewezen hebben in karakteristiek nul, beogen de auteurs deze stelling uit te breiden naar een willekeurig algebraïsch afgesloten lichaam, inclusief positieve karakteristiek. De kernuitdaging ligt in het aanpassen van de geometrische en cohomologische argumenten die in karakteristiek nul worden gebruikt, aan situaties waarin standaardtools (zoals Hodge-theorie of specifieke verdwijningsstellingen die afhankelijk zijn van karakteristiek nul) niet direct toepasbaar zijn.

Methodologie
De auteurs maken gebruik van het raamwerk van $\ell$-adische construeerbare schoven en de theorie van perverse schoven. Hun aanpak rust op de volgende methodologische stappen:

1. Radon-correspondentie: In plaats van de familie van doorsneden louter als een geparametriseerde familie te beschouwen, modelleren de auteurs de situatie als een Radon-correspondentie over de groep $G$. Zij definiëren een Radon-transformatiefunctor $R_W! : D^b_c(X) \to D^b_c(G)$ geassocieerd met de incidentiecorrespondentie $\Gamma_W \subset G \times X$.
2. Basiswisseling en Künneth-formule: Een kritische technische observatie is dat na een gladde terugtrekking langs een orbitafbeelding $\mu_x: G \to X$, de universele correspondentie een product wordt. Deze reductie stelt de auteurs in staat de Künneth-formule te benutten, die onvoorwaardelijk geldt in de afgeleide categorie van construeerbare schoven met eindige tor-dimensie ($D^b_c$).
3. $t$-exactheid: De auteurs bewijzen dat de samenstelling van de Radon-transformatie met de pushforward van een morfisme $f: Z \to X$ $t$-exact is ten opzichte van de perverse $t$-structuur. Dit wordt bereikt door de eigenschappen van de betrokken morfismen (gladheid, affiniteit, quasi-eindigheid) te analyseren en het verdwijnen van Artin en standaard stellingen over basiswisseling toe te passen.
4. Ondersteuningsgrenzen: Door de $t$-exactheid vast te stellen, leiden zij ondersteuningsgrenzen af voor de resulterende perverse schof op $G$. Deze grenzen impliceren dat de cohomologiegroepen van de doorsneden generiek verdwijnen buiten een specifieke graad.
5. Arithmetische descendie: Voor het geval dat het grondlichaam de algebraïsche sluiting is van een eindig lichaam $\mathbb{F}_q$, brengen de auteurs de geometrische resultaten terug naar het niveau van het eindige lichaam. Zij maken gebruik van Delignes stelling over generieke basiswisseling en de schatting van Lang–Weil om de spoorfuncties en de omvang van de "slechte" locus (waar generiek verdwijnen faalt) te analyseren.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Generiek Verdwijnen): Het artikel bewijst dat voor een perverse schof $K$ op een deelvariëteit $Z$, een dichte open deelverzameling $U \subset G$ bestaat zodanig dat voor alle $g \in U(k)$, de cohomologiegroepen met compacte drager $H^i_c(gW, g f_Z^* g \phi_Z^* K)$ verdwijnen voor $i \neq \dim W - \dim X$.
• Tekenongelijkheid: Als gevolg hiervan stellen de auteurs de tekenongelijkheid vast:
  $$(-1)^{\dim X - \dim W + \dim Z} \chi(gW \cap Z) \geq 0$$
  voor generieke $g \in G$, waarbij $\chi$ de Euler-karakteristiek aanduidt. Dit resultaat geldt over elk algebraïsch afgesloten lichaam en breidt het resultaat in karakteristiek nul van Schürmann–Simpson–Wang uit.
• Oplossing van Vermoedens: Het resultaat bevestigt Kumars tekenvermoeden voor drievoudige doorsneden van Schubert-cellen in willekeurige karakteristiek, een vermoeden dat eerder alleen in karakteristiek nul bekend was in specifieke gevallen of in volledige algemeenheid via [SSW25].
• Arithmetische Gevolgen:
  • Identiteit van Spoorfuncties: Over eindige lichamen wordt de spoorfunctie van de Radon-transformatie op een dichte open deelverzameling van $G$ geïdentificeerd met de Frobenius-spoor op een enkele middelste cohomologiegroep.
  • Schattingen van Lang–Weil: Het artikel biedt een schatting voor het aantal punten in de niet-generieke locus (het complement van de dichte open deelverzameling), waaruit blijkt dat deze begrensd is door $O(q^{n(\dim G - 1)})$.
  • Weil-grenzen: Onder aanvullende aannames (specifiek, dat de schof geen bijdrage aan de rand op oneindig heeft), leiden de auteurs een Weil-grens af voor de resulterende "exponentiële sommen" op de doorsneden.

Betekenis en Beweringen
De auteurs positioneren dit werk als een natuurlijke uitbreiding van de traditie van generiek verdwijnen, die historisch families van karakters of lokale systemen op vaste ondersteuningen heeft behandeld (bijvoorbeeld Green–Lazarsfeld, Gabber–Loeser, Schnell, Weissauer). Daarentegen behandelt dit artikel een vaste schof met een ondersteuning die varieert door translatie.

Het artikel claimt betekenis op twee hoofdgebieden:

1. Onafhankelijkheid van Karakteristiek: Het verwijdert de beperking tot karakteristiek nul voor stellingen over generiek verdwijnen op homogene ruimten, door gebruik te maken van de robuustheid van de Radon-transformatie en de theorie van perverse schoven in willekeurige karakteristiek.
2. Arithmetische Toepassingen: Het toont aan dat de geometrische $t$-exactheidsstelling concrete arithmetische gevolgen oplevert, waaronder precieze spooridentiteiten en grenzen voor exponentiële sommen over eindige lichamen, zonder dat de gegevens gedefinieerd hoeven te zijn over karakteristiek nul.

De auteurs blijven bescheiden wat de reikwijdte betreft, en merken op dat de methoden afhankelijk zijn van de specifieke structuur van homogene ruimten en de gladheid van orbitafbeeldingen, en dat zij geen nieuwe experimentele toepassingen of toekomstige richtingen voorstellen buiten de directe arithmetische verfijningen die in Sectie 4 worden besproken.