$F$-finite schemes have a dualizing complex
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915948498255872 |
|---|---|
| author | Bhatt, Bhargav Blickle, Manuel Schwede, Karl Tucker, Kevin |
| author_facet | Bhatt, Bhargav Blickle, Manuel Schwede, Karl Tucker, Kevin |
| contents | 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 regular ring, from which it follows that every $F$-finite Noetherian scheme has a (potentially non-canonical) dualizing complex. To make this canonical, we identify the dualizing complex of any $F$-finite Noetherian scheme as a unit of an alternate symmetric monoidal structure on $D^b_{coh}(X)$ we call the $!$-tensor product. We also sketch an alternate approach to finding this canonical dualizing complex following the more classical approach to Grothendieck duality. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_20005 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | $F$-finite schemes have a dualizing complex Bhatt, Bhargav Blickle, Manuel Schwede, Karl Tucker, Kevin Algebraic Geometry Commutative Algebra 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 regular ring, from which it follows that every $F$-finite Noetherian scheme has a (potentially non-canonical) dualizing complex. To make this canonical, we identify the dualizing complex of any $F$-finite Noetherian scheme as a unit of an alternate symmetric monoidal structure on $D^b_{coh}(X)$ we call the $!$-tensor product. We also sketch an alternate approach to finding this canonical dualizing complex following the more classical approach to Grothendieck duality. |
| title | $F$-finite schemes have a dualizing complex |
| topic | Algebraic Geometry Commutative Algebra |
| url | https://arxiv.org/abs/2604.20005 |