Il mistero del Frobenio: perché il morphismo è “chiuso”?

Immagina di avere due mondi di forme geometriche, chiamati schemi, collegati da una mappa chiamata morfismo. In caratteristica positiva – cioè quando il numero 1 ripetuto p volte diventa 0 – esiste un operatore speciale, il Frobenio, che eleva ogni coordinata alla potenza p. Gli esperti hanno scoperto che, se il Frobenio della mappa è una “inclusione chiusa” (cioè non lascia buchi), allora la mappa è formalmente non ramificata: non crea “piega” invisibile a livello infinitesimale. Se, invece, il Frobenio è un’isomorfia perfetta, la mappa è formalmente étale, cioè è liscia come una superficie di ghiaccio senza crepe. Questo risultato collega due concetti apparentemente distanti: la proprietà locale della mappa (formalmente non ramificata o étale) e il comportamento globale del Frobenio. Inoltre, gli autori hanno esplorato cosa succede quando gli schemi non sono noetheriani, cioè quando non hanno una struttura finita di “generatori”. In quei casi, le equivalenze rimangono valide, ma richiedono tecniche più sofisticate. Il teorema di Kunz, da cui prende il nome, è così una chiave che traduce la geometria “a occhio nudo” in una condizione algebrica sul Frobenio, aprendo nuove strade per studiare spazi algebrici in caratteristica positiva.

Il teorema di Kunz originale afferma che, per un anello locale noetheriano di caratteristica p>0, la regolarità è equivalente alla flatness del morfismo di Frobenius. Nel contesto dei schemi, la formalità unramificata si definisce tramite il completamento I‑adico del suo anello di coordinate: il morphismo è formalmente non ramificato se il conormale è nullo, cioè se l’ideal di differenziali Ω_{X/Y} si annulla dopo completamento. La dimostrazione del nuovo risultato parte dal fatto che, se il Frobenio F_{X/Y}:X→X^{(p)} è una chiusura immersa, allora l’immagine è definita da un ideale nilpotente, il che implica Ω_{X/Y}=0 dopo completamento, garantendo la non ramificazione formale. L’inverso utilizza la proprietà universale del completamento: se il morphismo è formalmente non ramificato, la mappa di conormale è un’isomorfismo, e quindi il diagramma di Frobenio si riduce a una chiusura immersa. Per la parte étale, l’isomorfismo del Frobenio equivale a Ω_{X/Y}=0 e a una mappa di derivazioni invertibile, condizioni classiche per l’étale formalmente. Nel caso non noetheriano, si ricorre a tecniche di limitazione filtrante e a risultati di Popescu sulla regolarità di morphismi ind‑noetheriani, mostrando che le stesse equivalenze sopravvivono anche senza finitezza. Questo amplia notevolmente l’applicabilità del teorema, consentendo di trattare spazi algebrici più “infiniti” come le collezioni di schemi pro‑limitati, mantenendo il legame tra proprietà formali e comportamento del Frobenio.