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

Sintesi Tecnica: Problema di Gieseker Relativo sui Bundles $F$-divisi

Enunciato del Problema
Il saggio affronta il comportamento dei gruppi fondamentali sotto morfismi di varietà in caratteristica positiva, concentrandosi specificamente sulla relazione tra il gruppo fondamentale étale ($\pi_1^{\text{ét}}$) e il gruppo fondamentale $F$-diviso ($\pi_1^{\text{F-div}}$). In caratteristica zero, Grothendieck ha stabilito che per un morfismo $f: X \to Y$ di schemi propri connessi, la suriettività (o l'isomorfismo) della mappa sui gruppi fondamentali etali implica la piattezza fedele (o l'isomorfismo) della mappa sui gruppi fondamentali stratificati.

In caratteristica positiva, i fasci stratificati sono equivalenti ai bundles $F$-divisi (sequenze di fasci vettoriali correlati da pullbacks di Frobenius). Il problema centrale, noto come problema di Gieseker, chiede se le analoghe affermazioni valgano per $\pi_1^{\text{F-div}}$. Specificamente, se $f: X \to Y$ è un morfismo suriettivo di varietà proiettive normali su un campo algebricamente chiuso, la suriettività di $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ implica che $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ sia piattezza fedele? Inoltre, l'isomorfismo dei gruppi fondamentali etali implica un isomorfismo dei gruppi fondamentali $F$-divisi?

Risultati precedenti di Esnault e Mehta [EM10] e Biswas, Kumar e Parameswaran [BKP25] hanno affrontato casi assoluti o morfismi finiti specifici, spesso richiedendo assunzioni di regolarità (smoothness). Sun e Zhang [SZ25] hanno recentemente generalizzato questi risultati a varietà normali, ma si sono basati su prove complesse che coinvolgevano la regolarità di $Y$. Questo saggio mira a generalizzare e rafforzare tali risultati, rimuovendo assunzioni di regolarità non necessarie ove possibile e fornendo un quadro unificato.

Metodologia
La strategia di prova si basa sulla dualità di Tannaka. Poiché la categoria dei bundle $F$-divisi, $\text{Vect}^{\text{perf}}(X)$, è una categoria di Tannaka, le proprietà dell'omomorfismo indotto sul gruppo fondamentale sono equivalenti alle proprietà del funtore pullback $f^*: \text{Vect}^{\text{perf}}(Y) \to \text{Vect}^{\text{perf}}(X)$. Nello specifico:

1. Piattezza Fedele: Richiede che $f^*$ sia totalmente fedele e che la sua immagine essenziale sia chiusa sotto sottogruppi (subobjects).
2. Isomorfismo: Richiede che $f^*$ sia totalmente fedele ed essenzialmente suriettiva.

Il saggio impiega i seguenti strumenti tecnici chiave:

• Teorema di Discesa per i Bundle $F$-divisi: Gli autori dimostrano un analogo del teorema di discesa di Bhatt e Scholze [BS17] specificamente per i bundle $F$-divisi. Questa è l'innovazione tecnica centrale. Stabilisce che un bundle $F-diviso$ su $X$ discende a $Y$ se e solo se è banale su tutte le fibre geometriche di $f$, a condizione che $f$ abbia fibre geometricamente connesse. A differenza del risultato di Bhatt-Scholze, che permette la discesa dopo una mappa finita puramente inseparabile, questo risultato fornisce una singola mappa di discesa per l'intera sequenza di bundle.
• Fattorizzazione di Stein: Il morfismo $f$ è decomposto in una parte con fibre geometricamente connesse e una omeomorfismo universale finito. Quest'ultima induce un equivalenza di categorie (Lemma 1.3), riducendo il problema al caso in cui $f$ abbia fibre geometricamente connesse.
• Morfismi Genuinamente Ramificati: Per il caso dell'isomorfismo, gli autori utilizzano la teoria dei morfismi "genuinamente ramificati" (introdotti in [PS10] e [BKP25]). Adattano gli argomenti riguardanti la stabilità di pendenza (slope stability) e il comportamento dei fasci riflessi sotto pullback al contesto delle varietà normali.
• Schemi di Rappresentazione e Moduli: Per gestire la suriettività essenziale (il caso dell'isomorfismo), il saggio utilizza la generalizzazione di X. Sun degli schemi di rappresentazione di Simpson in caratteristica positiva [Sun19]. Ciò comporta la costruzione di spazi moduli di fasci vettoriali Gieseker semistabili incorniciati (framed) con classi di Chern numericamente nulle.
• Teorema di Hrushovski: La prova della suriettività essenziale si basa sul teorema di Hrushovski [Hru04] riguardante i punti periodici di mappe razionali. Estendendo la situazione a una famiglia su una base finitamente generata e analizzando l'azione del morfismo di Frobenius sullo schema di rappresentazione, gli autori mostrano che i bundle stabili con specifiche proprietà di Frobenius sono densi. Ciò permette di costruire i necessari dati di discesa.

Contributi Chiave e Risultati

1. Teorema di Discesa (Theorem 0.4 / Theorem 2.2):
   Il saggio dimostra che per una mappa propria suriettiva $f: X \to Y$ di schemi $F$-fini connessi con fibre geometricamente connesse, un bundle $F$-diviso su $X$ discende a $Y$ se e solo se è banale su ogni fibra geometrica. Questo risultato è indipendente dal teorema di Bhatt-Scholze ed è cruciale per le applicazioni successive.

2. Piattezza Fedele (Theorem 0.3 e Theorem 3.8):

• Theorem 0.3: Se $f: X \to Y$ è un morfismo proprio suriettivo con fibre geometricamente connesse, allora $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ è piattezza fedele. Questo risultato è valido senza assumere che $Y$ sia regolare o che $X$ sia normale, purché le fibre siano geometricamente connesse.
• Theorem 3.8: Per varietà proiettive normali dove $Y$ è regolare e $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ è suriettiva, la mappa indotta sui gruppi fondamentali $F$-divisi è piattezza fedele. Questo generalizza i risultati precedenti rimuovendo l'obbligo che $f$ sia un morfismo finito.

3. Isomorfismo (Theorem 0.2 e Theorem 3.11):

• Theorem 0.2: Se $X$ e $Y$ sono varietà proiettive normali, $Y$ è regolare, e $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ è un isomorfismo, allora $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ è un isomorfismo.
• Theorem 3.11: Sotto l'assunzione aggiuntiva che $f_*\mathcal{O}_X = \mathcal{O}_Y$ (che implica fibre geometricamente connesse), l'isomorfismo dei gruppi fondamentali etali implica l'isomorfismo dei gruppi fondamentali $F$-divisi.
• Il saggio nota che la regolarità di $Y$ è attualmente essenziale per la parte dell'isomorfismo a causa delle limitazioni nella comprensione del comportamento dei gruppi fondamentali etali sotto l'estensione (spreading out) per varietà normali generali e del ricorso ai teoremi di purezza nei proof esistenti di morfismi genuinamente ramificati.

4. Generalizzazione del Lavoro Precedente:
   I risultati generalizzano e rafforzano il recente lavoro di Sun e Zhang [SZ25], che a sua volta ha generalizzato Esnault-Mehta [EM10] e Biswas-Kumar-Parameswaran [BKP25]. Il saggio fornisce una prova più diretta per il caso della piattezza fedele utilizzando il nuovo teorema di discesa, evitando gli argomenti più complessi di [SZ25].

Significatività e Rivendicazioni
Il saggio rivendica di fornire una risposta definitiva al problema relativo di Gieseker per i bundle $F$-divisi nel contesto delle varietà proiettive normali, soggetta alla regolarità del target per il caso dell'isomorfismo. La principale significatività risiede in:

• Il Teorema di Discesa: Gli autori presentano l'analogo del teorema di discesa di Bhatt-Scholze per i bundle $F$-divisi come un risultato di interesse indipendente, notando che esso supera le limitazioni nell'applicare direttamente il teorema originale all'intera sequenza di bundle.
• Rimozione delle Assunzioni di Regolarità: Per il risultato di piattezza fedele, il saggio riesce a rimuovere l'assunzione che $f$ debba essere un morfismo finito o che $X$ debba essere regolare, basandosi invece sulla connessione geometrica delle fibre.
• Unificazione: Il lavoro unifica il trattamento dei fasci stratificati in caratteristica zero e dei bundle $F$-divisi in caratteristica positiva, confermando che la relazione strutturale tra i gruppi fondamentali etali e "differenziali" (stratificati/$F$-divisi) persiste in caratteristica positiva sotto condizioni appropriate.

Gli autori dichiarano esplicitamente che la regolarità di $Y$ nel teorema dell'isomorfismo è un limite attuale delle tecniche di prova (specificamente il ricorso a [BKP25] e [SZ25] per il caso genuinamente ramificato) piuttosto che una necessità nota del risultato stesso. Notano inoltre che la prova della seconda parte del Theorem 0.2 dipende dal teorema di Hrushovski e dalla limitatezza delle famiglie di fasci semistabili, celate negli schemi di rappresentazione di Sun.