{"id":"arxiv/2606.15429","url":"https://arxiv.org/abs/2606.15429","tags":["math.AC","math.AG"],"score":0,"title":"When is Frobenius epic?","domain":"math.AC","source":"arxiv","authors":["Javier Carvajal-Rojas","Rankeya Datta","Noah Olander","Axel Stäbler"],"reviews":0,"subject":"math.AC","summary":"We prove that a homomorphism of rings of prime characteristic is b-nil formally unramified if and only if its relative Frobenius is an epimorphism. We specialize this result under different finiteness conditions such as (relative) $F$-finiteness and Noetherianity. We give an example where the absolute Frobenius is an epimorphism but is not surjective, as well as an example of a formally unramified homomorphism that is not b-nil formally unramified.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-13","reactions":{}}