Relative Gieseker's problem on $F$-divided bundles

Technische Samenvatting: Relatieve Gieseker-problematiek op F-gedeelde bundels

Probleemstelling
Het artikel behandelt het gedrag van fundamentele groepen onder morfismen van variëteiten in positieve karakteristiek, met een specifieke focus op de relatie tussen de étale fundamentele groep ($\pi_1^{\text{ét}}$) en de $F$-gedeelde fundamentele groep ($\pi_1^{\text{F-div}}$). In karakteristiek nul stelde Grothendieck vast dat voor een morfisme $f: X \to Y$ van proper verbonden schema's, de surjectiviteit (of isomorfie) van de afbeelding op étale fundamentele groepen de getrouwe vlakheid (of isomorfie) van de afbeelding op gestratificeerde fundamentele groepen impliceert.

In positieve karakteristiek zijn gestratificeerde sheaves equivalent aan $F$-gedeelde bundels (sequenties van vectorbundels gerelateerd door Frobenius-pullbacks). Het centrale probleem, bekend als Gieseker's probleem, vraagt of de analoge stellingen ook gelden voor $\pi_1^{\text{F-div}}$. Specifiek: als $f: X \to Y$ een surjectieve morfisme is van normale projectieve variëteiten over een algebraïsch gesloten veld van positieve karakteristiek, impliceert de surjectiviteit van $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ dan dat $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ getrouw vlak is? Bovendien, impliceert de isomorfie van étale fundamentele groepen een isomorfie van $F$-gedeelde fundamentele groepen?

Eerdere resultaten door Esnault en Mehta [EM10] en Biswas, Kumar, en Parameswaran [BKP25] behandelden absolute gevallen of specifieke eindige morfismen, waarbij vaak gladheidseisen werden gesteld. Sun en Zhang [SZ25] hebben deze recentelijk gegeneraliseerd naar normale variëteiten, maar vertrouwden op complexe bewijzen die de gladheid van het doelwit $Y$ vereisten. Dit artikel beoogt deze resultaten te generaliseren en te versterken door onnodige gladheidseisen waar mogelijk te verwijderen en een verenigd kader te bieden.

Methodologie
De bewijsstrategie rust op Tannaka-dualiteit. Aangezien de categorie van $F$-gedeelde bundels, $\text{Vect}^{\text{perf}}(X)$, een Tannaka-categorie is, zijn de eigenschappen van het geïnduceerde homomorfisme op fundamentele groepen equivalent aan de eigenschappen van de pullback-functor $f^*: \text{Vect}^{\text{perf}}(Y) \to \text{Vect}^{\text{perf}}(X)$. Specifiek:

1. Getrouwe Vlakheid: Vereist dat $f^*$ volledig getrouw is en dat de essentiële afbeelding gesloten is onder subobjecten.
2. Isomorfie: Vereist dat $f^*$ volledig getrouw is en essentieel surjectief is.

Het artikel maakt gebruik van de volgende belangrijke technische instrumenten:

• Descent-stelling voor $F$-gedeelde bundels: De auteurs bewijzen een analoog van de descent-stelling van Bhatt en Scholze [BS17] specifiek voor $F$-gedeelde bundels. Dit is de kern van de technische innovatie. Het stelt vast dat een $F-gedeelde$ bundel op $X$ afdaalt naar $Y$ dan en slechts dan als deze triviaal is op alle geometrische vezels van $f$, mits $f$ geometrisch verbonden vezels heeft. In tegen tegenstelling tot de Bhatt-Scholze resultaat, die descent toestaat na een eindige puur inseparabele afbeelding, biedt dit resultaat een enkele descent-afbeelding voor de gehele sequentie van bundels.
• Stein-factorisatie: Het morfisme $f$ wordt ontleed in een deel met geometrisch verbonden vezels en een eindige universele homeomorfisme. De laatste induceert een equivalentie van categorieën (Lemma 1.3), wat het probleem reduceert tot het geval waarbij $f$ geometrisch verbonden vezels heeft.
• Genuien ramifieerde morfismen: Voor het isomorfiegeval maken de auteurs gebruik van de theorie van "genuinamente ramifieerde" morfismen (geïntroduceerd in [PS10] en [BKP25]). Ze passen argumenten betreffende hellingsstabiliteit (slope stability) en het gedrag van reflexieve sheaves onder pullback aan naar de setting van normale variëteiten.
• Representatieschema's en Moduli: Om de essentiële surjectiviteit (het isomorfiegeval) te behandelen, maakt het artikel gebruik van X. Sun's generalisatie van de Simpson-representatieschema's naar positieve karakteristiek [Sun19]. Dit omvat het construeren van moduli-ruimten van geframeerde, Gieseker-semistabiele vectorbundels met numeriek verdwijnende Chern-klassen.
• Hrushovski's Stelling: Het bewijs van essentiële surjectiviteit steunt op Hrushovski's stelling [Hru04] betreffende periodieke punten van rationale afbeeldingen. Door de situatie uit te breiden naar een familie over een eindig gegenereerde basis en de actie van de Frobenius-morfisme op het representatieschema te analyseren, tonen de auteurs aan dat stabiele bundles met specifieke Frobenius-eigenschappen dicht zijn. Dit maakt het mogelijk om de noodzakelijke descent-data te construeren.

Belangrijkste Bijdragen en Resultaten

1. Descent-stelling (Theorem 0.4 / Theorem 2.2):
   Het artikel bewijst dat voor een proper surjectieve afbeelding $f: X \to Y$ van verbonden Noetherian $F$-finiete schema's met geometrisch verbonden vezels, een $F$-gedeelde bundel op $X$ afdaalt naar $Y$ dan en slechts dan als deze triviaal is op elke geometrische vezel. Dit resultaat is onafhankelijk van de Bhatt-Scholze stelling en is cruciaal voor de daaropvolgende toepassingen.

2. Getrouwe Vlakheid (Theorem 0.3 en Theorem 3.8):

   • Theorem 0.3: Als $f: X \to Y$ een proper surjectieve morfisme is met geometrisch verbonden vezels, dan is $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ getrouw vlak. Dit resultaat geldt zonder aan te nemen dat $Y$ glad is of $X$ normaal, mits de vezels geometrisch verbonden zijn.
   • Theorem 3.8: Voor normale projectieve variëteiten waar $Y$ glad is en $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ surjectief is, is de geïnduceerde afbeelding op $F$-gedeelde fundamentele groepen getrouw vlak. Dit generaliseert eerdere resultaten door de eis dat $f$ een eindige morfisme moet zijn te verwijderen.

3. Isomorfie (Theorem 0.2 en Theorem 3.11):

   • Theorem 0.2: Als $X$ en $Y$ normaal projectief zijn, $Y$ glad is, en $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ een isomorfie is, dan is $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ een isomorfie.
   • Theorem 3.11: Onder de aanvullende aanname dat $f_*\mathcal{O}_X = \mathcal{O}_Y$ (wat geometrisch verbonden vezels impliceert), impliceert de isomorfie van étale fundamentele groepen de isomorfie van $F$-gedeelde fundamentele groepen.
   • Het artikel merkt op dat de gladheid van $Y$ momenteel essentieel is voor het isomorfiegeval vanwege beperkingen in het begrip van het gedrag van étale fundamentele groepen onder het "spreading out" proces voor algemene normale variëteiten en de afhankelijkheid van zuiverheidstheorema's in bestaande bewijzen van genuienamente ramifieerde morfismen.

4. Generalisatie van vorig werk:
   De resultaten generaliseren en versterken het recente werk van Sun en Zhang [SZ25], die op hun beurt Esnault-Mehta [EM10] en Biswas-Kumar-Parameswaran [BKP25] hebben gegeneraliseerd. Het artikel biedt een directer bewijs voor het geval van getrouwe vlakheid met behulp van de nieuwe descent-stelling, waarbij de meer complexe argumenten van [SZ25] worden vermeden.

Betekenis en Claims
Het artikel claimt een definitief antwoord te bieden op de relatieve Gieseker-problematiek voor $F$-gedeelde bundels in de context van normale projectieve variëteiten, onder voorbehoud van de gladheid van het doelwit voor het isomorfiegeval. De primaire betekenis ligt in:

• De Descent-stelling: De auteurs presenteren de analogie van de Bhatt-Scholze descent-stelling voor $F$-gedeelde bundels als een resultaat van onafhankelijke interesse, waarbij zij opmerken dat dit de beperkingen overwint van het direct toepassen van de originele stelling op de gehele sequentie van bundels.
• Verwijdering van Gladheidseisen: Voor het resultaat van getrouwe vlakheid slaagt het artikel erin de aanname te verwijderen dat $f$ een eindelijke morfisme moet zijn of dat $X$ glad moet zijn, door te vertrouwen op de geometrische verbondenheid van de vezels.
• Unificatie: Het werk unificeert de behandeling van gestratifieerde sheaves in karakteristiek nul en $F$-gedeelde bundels in positieve karakteristiek, en bevestigt dat de structurele relatie tussen étale en "differentieel" (gestratifieerd/$F$-gedeeld) fundamentele groepen in positieve karakteristiek standhoudt onder passende condities.

De auteurs verklaren expliciet dat de gladheid van $Y$ in de isomorfie-stelling een huidige beperking is van de bewijstechnieken (specifiek de afhankelijkheid van [BKP25] en [SZ25] voor het genuienamente ramifieerde geval) en niet noodzakelijkerwijs een bekende noodzaak van het resultaat zelf is. Zij merken ook op dat het bewijs van het tweede deel van Theorem 0.2 afhangt van Hrushovski's stelling en de begrensdheid van families van semistabiele sheaves, die besloten liggen in de representatieschema's van Sun.