The Frobenius Mystery: Why Is the Morphism “Closed”?

Imagine two worlds of geometric shapes, called schemes, linked by a map known as a morphism. In positive characteristic – where adding 1 to itself p times gives zero – there is a special operator, the Frobenius, that raises every coordinate to the p‑th power. Researchers have found that if the morphism’s Frobenius is a “closed immersion” (meaning it leaves no gaps), then the map is formally unramified: it doesn’t create hidden “folds” at the infinitesimal level. If the Frobenius is a perfect isomorphism, the map is formally étale, i.e., as smooth as a crack‑free ice surface. This result ties together two seemingly distant ideas: the local property of the map (formally unramified or étale) and the global behavior of the Frobenius. Moreover, the authors examined what happens when schemes are non‑noetherian, lacking a finite set of generators. In those cases the equivalences still hold, but require more sophisticated techniques. Kunz’s theorem, after which it is named, thus acts as a key that translates “naked‑eye” geometry into an algebraic condition on the Frobenius, opening new avenues for studying algebraic spaces in positive characteristic.

Kunz's original theorem states that for a Noetherian local ring of characteristic p>0, regularity is equivalent to the flatness of the Frobenius morphism. In the scheme setting, formal unramifiedness is defined via the I‑adic completion of its coordinate ring: a morphism is formally unramified if the conormal module vanishes, i.e., the module of differentials Ω_{X/Y} becomes zero after completion. The proof of the new result starts from the fact that if the relative Frobenius F_{X/Y}:X→X^{(p)} is a closed immersion, then its image is defined by a nilpotent ideal, which forces Ω_{X/Y}=0 after completion, guaranteeing formal unramifiedness. The converse uses the universal property of completion: if the morphism is formally unramified, the conormal map is an isomorphism, and thus the Frobenius diagram collapses to a closed immersion. For the étale case, the Frobenius being an isomorphism is equivalent to Ω_{X/Y}=0 and an invertible derivation map, classic conditions for formal étaleness. In the non‑Noetherian scenario, one employs filtered limit techniques and Popescu's results on regularity of ind‑Noetherian morphisms, showing that the same equivalences persist without finiteness. This greatly broadens the theorem’s applicability, allowing treatment of more “infinite” algebraic spaces such as pro‑limit schemes while preserving the link between formal properties and Frobenius behavior.