Logarithmic purity and logarithmic Nori fundamental group

1. Il Problema e il Contesto

La geometria logaritmica, introdotta da Fontaine, Illusie e sviluppata sistematicamente da Kato, fornisce un quadro naturale per studiare schemi con singolarità al bordo (divisori). Un risultato strutturale fondamentale in questo ambito è il teorema di purezza logaritmico (Fujiwara-Kato, Mochizuki), che stabilisce un analogo logaritmico del teorema di purezza di Zariski-Nagata: un morfismo finito e piatto, étale fuori da un insieme di codimensione $\ge 2$, è in realtà étale ovunque (nel contesto logaritmico, si tratta di coperture Kummer log-étale).

Tuttavia, la teoria classica si concentra su torsori sotto gruppi finiti étale o su morfismi log-étale. Esiste un vuoto nella comprensione dei torsori sotto gruppi di schemi non-étale (come $\mu_p$ in caratteristica $p$) all'interno della topologia logaritmica.
D'altro canto, Nori ha introdotto il gruppo fondamentale di Nori per classificare i fibrati vettoriali essenzialmente finiti e i torsori sotto gruppi finiti non necessariamente ridotti (in caratteristica positiva), utilizzando il formalismo di Tannaka.

L'obiettivo del paper è unificare queste due prospettive:

1. Generalizzare il teorema di purezza logaritmico per includere torsori sotto schemi di gruppo finiti piatti e linearmente riduttivi (che includono gruppi non-étale) nella topologia log-piatto (Kummer log-flat).
2. Costruire un gruppo fondamentale di Nori logaritmico che classifichi tali torsori, estendendo la teoria di Nori al contesto logaritmico.

2. Metodologia

L'autrice utilizza una combinazione di tecniche di geometria algebrica logaritmica, teoria dei torsori e formalismo di Tannaka.

• Topologia Kummer Log-Piatto (klf): Si lavora nella categoria degli schemi logaritmici fini e saturi (fs), utilizzando la topologia Kummer log-piatto. Questa topologia permette di considerare torsori che non sono necessariamente log-étale, ma sono "log-piatto" e di tipo Kummer.
• Estensione dei Torsori: Il cuore della metodologia risiede nello studio dell'estensione dei torsori definiti su un aperto denso $U$ (dove la struttura logaritmica è banale) all'intero schema logaritmico regolare $S$.
• Decomposizione dei Gruppi: Per dimostrare l'estendibilità, l'autrice sfrutta la struttura dei gruppi linearmente riduttivi in caratteristica positiva. Ogni tale gruppo $G$ su uno schema locale strettamente henseliano si decompone in una successione esatta $0 \to \Delta \to G \to H \to 0$, dove $\Delta$ è diagonalizzabile e $H$ è un gruppo costante di ordine invertibile.
• Costruzione Tannakiana: Per definire il gruppo fondamentale, si costruisce una categoria di torsori puntati e si dimostra che essa è cofiltrata, ammettendo un oggetto pro-universale. Questo oggetto definisce il gruppo fondamentale come il suo gruppo di automorfismi (dualità di Tannaka).

3. Contributi Chiave e Risultati Principali

A. Generalizzazione del Teorema di Purezza Logaritmica

Il risultato centrale è il Teorema 3.6, che generalizza il teorema di purezza logaritmico di Fujiwara-Kato e Mochizuki.

• Enunciato: Sia $S$ uno schema logaritmico regolare con schema sottostante integrale e $U \subset S$ l'aperto denso dove la struttura logaritmica è banale. Sia $G$ uno schema di gruppo finito, piatto e linearmente riduttivo su $S$.
• Risultato: Il funtore di restrizione
  $$\text{Tors}_{klf}(S, G) \longrightarrow \text{Tors}_{fppf}(U, G)$$
  è un'equivalenza di categorie.
• Significato: Questo significa che ogni torsore fppf su $U$ sotto un gruppo linearmente riduttivo si estende in modo unico a un torsore log-piatto (klf) su tutto $S$. Questo estende risultati precedenti (come [GZ24]) che valevano solo per schemi regolari o gruppi diagonalizzabili.

B. Costruzione del Gruppo Fondamentale di Nori Logaritmico

Sulla base del teorema di purezza, l'autrice costruisce il Gruppo Fondamentale di Nori Logaritmico ($\pi_{1, N}^{log}$).

• Definizione (Teorema 4.5): Per uno schema logaritmico regolare $X$ su un campo $k$ di caratteristica $p > 0$ e un punto logaritmico $x_0$, esiste uno schema di gruppo pro-finito e pro-linearmente riduttivo $\pi_{1, N}^{log}(X, x_0)$ che classifica i torsori Kummer log-piatto su $X$ sotto gruppi finiti linearmente riduttivi.
• Universalità: Esiste un "torsore log-universale" $\tilde{T}$ tale che ogni torsore puntato ammette un unico morfismo da $\tilde{T}$.
• Relazione con il caso classico (Corollario 4.7): Se il punto base $x_0$ ha struttura logaritmica banale (quindi $x_0 \in U$), allora:
  $$\pi_{1, N}^{log}(X, x_0) \simeq \pi_{1, N}(U, x_0)$$
  dove $\pi_{1, N}(U, x_0)$ è il quoziente pro-linearmente riduttivo massimale del classico gruppo fondamentale di Nori su $U$.
• Recupero dei casi noti:
  • Se le strutture logaritmiche sono tutte banali, si recupera il gruppo di Nori classico.
  • Se $k$ è algebricamente chiuso di caratteristica 0, i gruppi linearmente riduttivi coincidono con i gruppi costanti finiti, e la costruzione recupera il gruppo fondamentale log-étale classico.

C. Applicazione alle Curve Nodal

Il paper estende anche i risultati alle curve nodali log-smooth (Corollario 3.8), mostrando che l'isomorfismo tra coomologia logaritmica e coomologia fppf sull'aperto regolare vale anche per gruppi linearmente riduttivi, generalizzando lavori precedenti su gruppi diagonalizzabili.

4. Significato e Implicazioni

1. Unificazione Teorica: Il lavoro collega la teoria dei torsori logaritmici (spesso legata alla ramificazione tampe e alla geometria dei bordi) con la teoria dei gruppi fondamentali di Nori (legata alla caratteristica $p$ e ai gruppi non-ridotti).
2. Strumento per la Ramificazione: Fornisce un nuovo strumento per studiare la ramificazione lungo i divisori di bordo in presenza di gruppi di Galois non-étale, un'area dove la teoria classica di Grothendieck è insufficiente.
3. Futuri Sviluppi (Direzione Tannakiana): L'autrice suggerisce che il gruppo fondamentale logaritmico di Nori potrebbe essere ricostruito tramite una categoria di Tannaka appropriata, dove i fibrati vettoriali sono sostituiti da fibrati parabolici (che riflettono la struttura al bordo). Questo apre la strada a una comprensione più profonda delle strutture di bordo attraverso la teoria delle rappresentazioni.
4. Generalizzazione della Purezza: Il teorema di purezza dimostrato è un risultato tecnico potente che permette di lavorare con torsori su schemi logaritmici regolari senza dover imporre condizioni di étalité sui gruppi, estendendo la validità dei risultati di Mochizuki e Fujiwara-Kato.

In sintesi, il paper di Sara Mehidi stabilisce una solida base teorica per l'analisi dei torsori non-étale in geometria logaritmica, definendo un nuovo invariante fondamentale (il gruppo di Nori logaritmico) che unifica le proprietà di ramificazione tampe con la teoria dei gruppi fondamentali in caratteristica positiva.