Holonomic étale sheaves are constructible

Technische Samenvatting: Holonome Étale Sheaves zijn Constructibel

Probleemstelling
Het artikel behandelt de relatie tussen de begrippen "constructibiliteit" en "holonomiteit" voor étale sheaves op algebraïsche variëteiten. In de context van $\mathcal{D}_X$-modules op complexe manifolds stelt Kashiwara's stelling vast dat holonome modules constructibel zijn. In de algebraïsche setting bewees Beilinson eerder dat elke constructibele étale sheaf een singular support bezit met irreducibele componenten van dimensie gelijk aan de dimensie van de onderliggende schema, wat constructibele sheaves effectief karakteriseert als "holonoom" (hoewel hij holonomiteit voor niet-constructibele sheaves niet expliciet definieerde).

Het centrale probleem dat hier wordt aangepakt is het omgekeerde: Kan men een begrip van holonomiteit definiëren voor étale sheaves zonder a priori constructibiliteit aan te nemen, en impliceert deze definitie constructibiliteit? De auteurs beogen vast te stellen dat holonome étale sheaves inderdaad constructibel zijn, waarmee zij een étale analoog van Kashiwara's stelling leveren.

Methodologie
De auteurs ontwikkelen een raamwerk voor "micro support" (singular support) voor willekeurige étale sheaves, waarbij zij de constructie van Beilinson uitbreiden die oorspronkelijk constructibiliteit veronderstelde. De methodologie verloopt via de volgende stappen:

1. Geometrische Fundamenten (Secties 1–3): Het artikel vestigt de noodzakelijke geometrische taal met betrekking tot gesloten conische deelverzamelingen van de cotangente bundel $T^*X$. Het definieert en analyseert twee sleutel eigenschappen van morfismen relatief aan een conische deelverzameling $C$:

   • $C$-transversaliteit: Een conditie op een morfisme $h: W \to X$ met betrekking tot de intersectie van de pullback van $C$ met de kernel van de cotangente afbeelding.
   • $C$-acycliciteit: Een conditie op een paar van morfismen $(h, f)$ betreffende de acycliciteit van $f$ relatief aan de pushforward van $C$.
     Deze concepten zijn aangepast van het werk van Beilinson, maar zijn rigoureus gedefinieerd zonder de betrokken sheaves als constructibel voor te suponeren.

2. Definitie van Micro Support (Sectie 4): De auteurs definiëren een sheaf $F$ als micro supported op een gesloten conische deelverzameling $C \subset T^*X$ indien, voor elk $C$-acyclisch paar van morfismen $(h, f)$, het morfisme $f$ lokaal acyclisch is relatief aan de pullback $h^*F$. Deze definitie generaliseert het begrip micro support naar niet-constructibele sheaves. Belangrijke lemma's vestigen het gedrag van micro support onder operaties zoals pullbacks, pushforwards en onderscheiden driehoeken (distinguished triangles).

3. Bestaan van Singular Support (Sectie 5): De auteurs bewijzen dat voor elke sheaf $F$ op een glad schema $X$, een unieke minimale gesloten conische deelverzameling $SSF$ (de singular support) bestaat zodanig dat $F$ micro supported is op deze.

   • Het bewijs steunt op het reduceren van het probleem naar het geval waar $X$ een projectieve ruimte $\mathbb{P}^n$ is.
   • De Radon-transformatie en de Legendre-transformatie worden ingezet om de micro support op projectieve ruimtes te analyseren. Specifiek maken de auteurs gebruik van de geometrie van de incidentie-variëteit $Q \subset \mathbb{P} \times \mathbb{P}^\vee$ en de eigenschappen van de Radon-transformatie $R$ en haar inverse $R^\vee$ om de micro support van een sheaf te relateren aan die van zijn transformatie.
   • Deze sectie demonstreert dat de singular support bestaat zonder de constructibiliteitsveronderstelling, een punt dat door Tong Zhou werd aangekaart.

4. Holonomiteit en Constructibiliteit (Sectie 6):

   • Definitie: Een sheaf $F$ wordt gedefinieerd als holonoom indien (1) de singular support $SSF$ voldoet aan $\dim SSF \leq \dim X$, en (2) de stalk $F_x$ constructibel is voor elk geometrisch punt $x$.
   • Hoofdstelling: De auteurs bewijzen dat indien $F$ holonoom is, dan $F$ constructibel is.
   • Bewijsstrategie: Het bewijs verloopt via inductie op $\dim X$. Er wordt gebruik gemaakt van het feit dat op een dichte open deelverzameling een holonome sheaf lokaal constant is (micro supported op de nul-sectie). Door het onderscheiden driehoek te analyseren dat geassocieerd is met de complement van deze open deelverzameling en door gebruik te maken van de inductieve hypothese, tonen de auteurs aan dat de sheaf overal constructibel moet zijn. Het argument wordt eerst vastgesteld voor perfecte lichamen en vervolgens uitgebreid naar algemene lichamen via base change naar de perfecte afsluiting.

Belangrijkste Bijdragen en Resultaten

• Definitie van Holonomiteit: Het artikel introduceert een rigoureuze definitie van holonomiteit voor étale sheaves die constructibiliteit niet vooraf veronderstelt.
• Bestaan van Singular Support: Het stelt het bestaan vast van de singular support $SSF$ voor willekeurige sheaves (niet alleen constructibele), waarmee een vraag wordt beantwoordend over de noodzaak van de constructibiliteitsveronderstelling voor het bestaan van $SSF$.
• Hoofdstelling (Theorem 6.3): De centrale resultaat is de omgekeerde van Beilinson's stelling: Holonome étale sheaves zijn constructibel.
  • Specifiek: indien $\dim SSF \leq \dim X$ en alle stalks constructibel zijn, dan is de sheaf zelf constructibel.
• Extensie naar Singuliere Schema's: Het begrip holonomiteit wordt uitgebreid naar sheaves op singuliere schema's via gesloten immersies in gladde schema's, waarbij wordt bewezen dat deze definitie onafhankelijk is van de embedding.
• Stabiliteit: Het artikel bevestigt dat de categorie van holonome sheaves stabiel is onder standaard operaties (directe en inverse afbeeldingen, propere directe afbeeldingen met compacte ondersteuning) voor morfismen van eindig type.

Betekenis
Het artikel claimt zijn significantie als een étale analoog van Kashiwara's stelling over holonome $\mathcal{D}_X$-modules. Net zoals Kashiwara's stelling stelt dat holonome $\mathcal{D}$-modules constructibele coherentie hebben (een cruciaal onderdeel van de Riemann–Hilbert correspondentie), stelt dit werk dat holonome étale sheaves constructibel zijn.

De auteurs merken op dat dit resultaat een robuust substituut biedt voor de "gebrekkige notie van constructibiliteit" in contexten zoals rigide variëteiten, waar een vergelijkbaar begrip van holonomiteit naar verwachting definieerbaar is. Het werk bouwt direct voort op het fundamentele artikel van Beilinson [3], waarbij de definities worden verfijnd om de a priori constructibiliteitsveronderstelling te verwijderen en te bewijzen dat de geometrische conditie van het bezitten van een "kleine" singular support (dimensie $\leq \dim X$) gecombineerd met puntwijze constructibiliteit, voldoende is om globale constructibiliteit te garanderen.