Сохранить в:
| Главные авторы: | , , , |
|---|---|
| Формат: | Preprint |
| Опубликовано: |
2026
|
| Предметы: | |
| Online-ссылка: | https://arxiv.org/abs/2604.20005 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Оглавление:
- 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.