{"id":"arxiv/2604.20005","url":"https://arxiv.org/abs/2604.20005","tags":["math.AG","math.AC"],"score":0,"title":"$F$-finite schemes have a dualizing complex","domain":"math.AG","source":"arxiv","authors":["Bhargav Bhatt","Manuel Blickle","Karl Schwede","Kevin Tucker"],"reviews":0,"subject":"math.AG","summary":"In this paper we show that any Noetherian $F$-finite scheme has a dualizing complex $ω^{\\bullet}_{X}$ with the property that for all finite type maps $f \\colon X \\to Y$ between $F$-finite Noetherian schemes there is a canonical isomorphism $ω^{\\bullet}_{X} \\xrightarrow{\\cong} f^!ω^{\\bullet}_{Y}$ in $D^b_{coh}(X)$. This, in particular, applies to the Frobenius morphism $F \\colon X \\to X$ so that we obtain a canonical isomorphism $ω^{\\bullet}_{X} \\xrightarrow{\\cong} F^!ω^{\\bullet}_{X}$. To prove this, we rely on a result of Gabber that every Noetherian $F$-finite ring is a quotient of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-21","reactions":{}}