arxiv: 2604.20005 · v1 · submitted 2026-04-21 · 🧮 math.AG · math.AC

Recognition: unknown

F-finite schemes have a dualizing complex

Bhargav Bhatt , Manuel Blickle , Karl Schwede , Kevin Tucker

Authors on Pith no claims yet

Pith reviewed 2026-05-10 01:13 UTC · model grok-4.3

classification 🧮 math.AG math.AC

keywords F-finitedualizing complexGrothendieck dualityFrobeniusderived categoryNoetherian schemepositive characteristicexceptional inverse image

0 comments

The pith

Noetherian F-finite schemes have canonical dualizing complexes compatible with finite type maps via the exceptional inverse image.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that every Noetherian F-finite scheme possesses a dualizing complex that is functorial with respect to finite type morphisms via the exceptional inverse image. This is achieved by leveraging Gabber's theorem for existence of dualizing complexes on quotients of regular rings and then canonically identifying the complex as the unit object in a newly defined symmetric monoidal structure called the !-tensor product on the bounded derived category of coherent sheaves. A reader would care because this provides a canonical choice for dualizing complexes, which are essential for formulating Grothendieck duality in algebraic geometry over fields of positive characteristic, particularly when working with the Frobenius morphism.

Core claim

Any Noetherian F-finite scheme X admits a dualizing complex ω_X^• in D^b_coh(X) such that for any finite type morphism f : X → Y between Noetherian F-finite schemes there is a canonical isomorphism ω_X^• ≅ f! ω_Y^•, and in particular this holds for the Frobenius endomorphism.

What carries the argument

The !-tensor product, an alternate symmetric monoidal structure on D^b_coh(X) whose unit is the dualizing complex.

If this is right

The dualizing complex is preserved under the Frobenius morphism via the isomorphism ω^•_X ≅ F! ω^•_X.
Grothendieck duality can be formulated canonically for finite type maps between F-finite schemes.
Every such scheme has at least one dualizing complex, made canonical by the monoidal unit property.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This construction might extend to other classes of schemes or morphisms beyond finite type.
It could provide a way to define trace maps or other duality data in positive characteristic geometry.
Connections to F-singularities and other invariants in char p geometry may follow from this functoriality.

Load-bearing premise

The !-tensor product defines a symmetric monoidal structure on the derived category whose unit is the dualizing complex, building on the existence from Gabber's theorem.

What would settle it

A counterexample consisting of a Noetherian F-finite scheme without a dualizing complex satisfying the canonical isomorphism for the Frobenius morphism, or where the proposed !-tensor product fails to be associative or unital.

Figures

Figures reproduced from arXiv: 2604.20005 by Bhargav Bhatt, Karl Schwede, Kevin Tucker, Manuel Blickle.

read the original abstract

In this paper we show that any Noetherian $F$-finite scheme has a dualizing complex $\omega^{\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 $\omega^{\bullet}_{X} \xrightarrow{\cong} f^!\omega^{\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 $\omega^{\bullet}_{X} \xrightarrow{\cong} F^!\omega^{\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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives F-finite schemes a canonical dualizing complex by turning it into the unit of a new monoidal structure on the derived category.

read the letter

The main point of this paper is that Noetherian F-finite schemes have a dualizing complex that is canonical and satisfies ω_X ≅ f! ω_Y for any finite type map f between such schemes, with the Frobenius as a special case. The authors start from Gabber's result that gives a dualizing complex after choosing a regular ring quotient, which is non-canonical. They then equip the derived category D^b_coh(X) with a new symmetric monoidal structure called the !-tensor product. The unit of this structure is defined to be the dualizing complex, which forces canonicity and the desired functoriality. This approach is new because it combines canonicity with compatibility under all finite type maps in one package. The prior literature had existence but not this level of naturality built in. The paper does well by giving a clean abstract construction that organizes the data. It also sketches an alternate route using classical Grothendieck duality methods, which might appeal to readers who prefer that style. The soft spots are around the details of the !-tensor product. The abstract says they define it so that its unit is the dualizing complex, but one needs to confirm that this structure is symmetric monoidal and that the unit does not depend on the initial choice of dualizing complex from Gabber. The stress-test note flags this independence issue, and without the full proof visible here, it is the part that requires the most care. If that independence is established, the rest follows logically with low circularity. Overall, the thinking is clear and the engagement with the literature is direct. This paper is for people working in algebraic geometry in positive characteristic, especially those using duality for studying singularities. Readers who are comfortable with derived categories will get the most from it. It is important enough and grounded enough to deserve a serious referee. I recommend sending it out for peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that any Noetherian F-finite scheme X admits a dualizing complex ω^•_X in D^b_coh(X) such that for every finite type morphism f: X → Y between Noetherian F-finite schemes there is a canonical isomorphism ω^•_X ≅ f! ω^•_Y. In particular this holds for the Frobenius endomorphism. The argument begins with Gabber's theorem, which supplies (non-canonical) dualizing complexes on affines, and then equips D^b_coh(X) with an auxiliary symmetric monoidal structure called the !-tensor product whose unit is taken to be the desired canonical dualizing complex. A classical Grothendieck-duality sketch is also included.

Significance. If the construction is correct, the result supplies a canonical, functorial dualizing complex for F-finite schemes that is compatible with exceptional pullbacks under all finite-type maps. This is a useful strengthening of Grothendieck duality in positive-characteristic settings where F-finiteness is common, and the monoidal-structure device for canonizing the choice is a novel technical contribution. The paper also supplies an alternate classical route, which may aid comparison with existing literature.

major comments (2)

[the construction of the !-tensor product] The construction following Gabber's theorem: the argument that the unit of the newly defined !-tensor product is independent of the initial (non-canonical) choice of dualizing complex is only sketched. Because different local choices of quotients could in principle produce non-isomorphic units, a detailed verification that the resulting unit is canonically independent (and that the isomorphisms ω^•_X ≅ f! ω^•_Y are natural) is load-bearing for the central claim and must be expanded.
[the definition of the !-tensor product] The verification of the !-tensor product axioms: the manuscript states that the !-tensor product is a symmetric monoidal structure on D^b_coh(X) whose unit is a dualizing complex, but the full check of the monoidal axioms (associativity, unitors, symmetry) and the identification of the unit with a dualizing complex is not visible in sufficient detail. These verifications are required to justify that the unit is indeed the desired canonical object.

minor comments (2)

The abstract and introduction would benefit from an explicit sentence stating that the !-tensor product is defined internally to D^b_coh(X) and is not the usual derived tensor product.
A precise citation to the statement of Gabber's theorem that is invoked (including the reference number) should be added in the paragraph that begins the construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance. We address the two major comments below and will revise the manuscript to supply the requested details.

read point-by-point responses

Referee: [the construction of the !-tensor product] The construction following Gabber's theorem: the argument that the unit of the newly defined !-tensor product is independent of the initial (non-canonical) choice of dualizing complex is only sketched. Because different local choices of quotients could in principle produce non-isomorphic units, a detailed verification that the resulting unit is canonically independent (and that the isomorphisms ω^•_X ≅ f! ω^•_Y are natural) is load-bearing for the central claim and must be expanded.

Authors: We agree that the independence of the unit requires a more detailed argument than the sketch provided. In the revised manuscript we will expand this part by explicitly constructing the canonical isomorphism between units obtained from two different choices of dualizing complexes (arising from different presentations as quotients of regular rings via Gabber's theorem) and by verifying that this isomorphism is independent of all auxiliary choices. We will also add a direct check of naturality for the isomorphisms ω^•_X ≅ f! ω^•_Y, proceeding by reduction to the affine case and using the functoriality of the !-tensor product with respect to finite-type morphisms. revision: yes
Referee: [the definition of the !-tensor product] The verification of the !-tensor product axioms: the manuscript states that the !-tensor product is a symmetric monoidal structure on D^b_coh(X) whose unit is a dualizing complex, but the full check of the monoidal axioms (associativity, unitors, symmetry) and the identification of the unit with a dualizing complex is not visible in sufficient detail. These verifications are required to justify that the unit is indeed the desired canonical object.

Authors: We acknowledge that the verification of the symmetric monoidal axioms was only outlined. In the revision we will insert a dedicated subsection containing complete proofs of associativity, the left and right unitors, and the symmetry isomorphism for the !-tensor product, relying on the corresponding coherence properties of the exceptional inverse image functor. We will also expand the argument that the unit object satisfies the definition of a dualizing complex, including verification that the biduality morphism is an isomorphism and that the object lies in D^b_coh(X). revision: yes

Circularity Check

0 steps flagged

No significant circularity; relies on external Gabber theorem and independent monoidal construction

full rationale

The derivation begins with Gabber's external theorem supplying a (non-canonical) dualizing complex for each affine F-finite Noetherian ring, hence locally on the scheme. The paper then introduces a new symmetric monoidal structure (the !-tensor product) on D^b_coh(X) whose unit is shown to be the dualizing complex; this identification is a theorem, not a definitional tautology, because the monoidal operation is defined independently of any particular choice of initial dualizing complex. The canonical isomorphisms ω^•_X ≅ f! ω^•_Y for finite-type f (including Frobenius) are then deduced from the monoidal properties rather than being imposed by construction. No equation or step reduces the final object to a fitted parameter, renamed input, or self-citation chain; the argument remains self-contained once the external existence result is granted.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The argument depends on Gabber's theorem for non-canonical existence and on standard properties of derived categories; the !-tensor product is introduced as a new monoidal structure to achieve canonicity.

axioms (2)

domain assumption Gabber's theorem that every Noetherian F-finite ring is a quotient of a regular ring
Provides the initial existence of a dualizing complex before canonicity is addressed.
standard math Standard properties of the bounded derived category of coherent sheaves and the exceptional inverse image functor
Background framework for defining dualizing complexes and the required isomorphisms.

invented entities (1)

the !-tensor product no independent evidence
purpose: Alternate symmetric monoidal structure on D^b_coh(X) whose unit identifies the canonical dualizing complex
Defined in the paper to select a canonical choice from the non-canonical complexes supplied by Gabber's theorem.

pith-pipeline@v0.9.0 · 5546 in / 1677 out tokens · 103739 ms · 2026-05-10T01:13:28.353953+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

40 extracted references · 5 canonical work pages

[1]

Avramov, Srikanth B

Luchezar L. Avramov, Srikanth B. Iyengar, Joseph Lipman, and Suresh Nayak. Reduction of derived H ochschild functors over commutative algebras and schemes. Adv. Math. , 223(2):735--772, 2010

2010
[2]

Introduction to G rothendieck duality theory

Allen Altman and Steven Kleiman. Introduction to G rothendieck duality theory . Lecture Notes in Mathematics, Vol. 146. Springer-Verlag, Berlin-New York, 1970

1970
[3]

M. Andr\'e. Homologie de F robenius. Math. Ann. , 290(1):129--181, 1991

1991
[4]

Duality between cartier crystals and perverse F _p -sheaves, and application to generic vanishing

Jefferson Baudin. Duality between cartier crystals and perverse F _p -sheaves, and application to generic vanishing. 2023. arXiv:2306.05378

work page arXiv 2023
[5]

Beilinson, Joseph Bernstein, and Pierre Deligne

Alexander A. Beilinson, Joseph Bernstein, and Pierre Deligne. Faisceaux pervers. In Analysis and topology on singular spaces, I ( L uminy, 1981) , volume 100 of Ast\'erisque , pages 5--171. Soc. Math. France, Paris, 1982

1981
[6]

Completions and derived de rham cohomology, 2012

Bhargav Bhatt. Completions and derived de rham cohomology, 2012. arXiv:1207.6193

work page arXiv 2012
[7]

Ballard, Srikanth B

Matthew R. Ballard, Srikanth B. Iyengar, Pat Lank, Alapan Mukhopadhyay, and Josh Pollitz. High frobenius pushforwards generate the bounded derived category, 2023

2023
[8]

Derived completions in stable homotopy theory

Gunnar Carlsson. Derived completions in stable homotopy theory. J. Pure Appl. Algebra , 212(3):550--577, 2008

2008
[9]

Grothendieck duality and base change , volume 1750 of Lecture Notes in Mathematics

Brian Conrad. Grothendieck duality and base change , volume 1750 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2000

2000
[10]

Lectures on condensed mathematics

Dustin Clausen and Peter Scholze. Lectures on condensed mathematics. 2019. https://people.mpim-bonn.mpg.de/scholze/Condensed.pdf

2019
[11]

Globalizing F -invariants

Alessandro De Stefani, Thomas Polstra, and Yongwei Yao. Globalizing F -invariants. Adv. Math. , 350:359--395, 2019

2019
[12]

K\"ahler differentials and H ilbert's fourteenth problem for finite groups

John Fogarty. K\"ahler differentials and H ilbert's fourteenth problem for finite groups. Amer. J. Math. , 102(6):1159--1175, 1980

1980
[13]

Notes on some t -structures, 2004

Ofer Gabber. Notes on some t -structures, 2004

2004
[14]

Grayson and Michael E

Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/
[15]

Residues and duality

Robin Hartshorne. Residues and duality . Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64. With an appendix by P. Deligne. Lecture Notes in Mathematics, No. 20. Springer-Verlag, Berlin, 1966

1963
[16]

Derived -stratifications and the d -equivalence conjecture

Daniel Halpern-Leistner. Derived -stratifications and the d -equivalence conjecture. 2021. arXiv:2010.01127

work page arXiv 2021
[17]

Andr\'e- Q uillen homology of commutative algebras

Srikanth Iyengar. Andr\'e- Q uillen homology of commutative algebras. In Interactions between homotopy theory and algebra , volume 436 of Contemp. Math. , pages 203--234. Amer. Math. Soc., Providence, RI, 2007

2007
[18]

Grothendieck duality via diagonally supported sheaves, 2023

Andy Jiang. Grothendieck duality via diagonally supported sheaves, 2023

2023
[19]

Regular local ring of characteristic p and p -basis

Tetsuzo Kimura and Hiroshi Niitsuma. Regular local ring of characteristic p and p -basis. J. Math. Soc. Japan , 32(2):363--371, 1980

1980
[20]

Differential basis and p -basis of a regular local ring

Tetsuzo Kimura and Hiroshi Niitsuma. Differential basis and p -basis of a regular local ring. Proc. Amer. Math. Soc. , 92(3):335--338, 1984

1984
[21]

Towards V orst's conjecture in positive characteristic

Moritz Kerz, Florian Strunk, and Georg Tamme. Towards V orst's conjecture in positive characteristic. Compos. Math. , 157(6):1143--1171, 2021

2021
[22]

Characterizations of regular local rings of characteristic p

Ernst Kunz. Characterizations of regular local rings of characteristic p . Amer. J. Math. , 91:772--784, 1969

1969
[23]

On N oetherian rings of characteristic p

Ernst Kunz. On N oetherian rings of characteristic p . Amer. J. Math. , 98(4):999--1013, 1976

1976
[24]

Foundations of G rothendieck duality for diagrams of schemes , volume 1960 of Lecture Notes in Mathematics

Joseph Lipman and Mitsuyasu Hashimoto. Foundations of G rothendieck duality for diagrams of schemes , volume 1960 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2009

1960
[25]

Elliptic cohomology ii: Orientations

Jacob Lurie. Elliptic cohomology ii: Orientations. 2018. https://www.math.ias.edu/ lurie/papers/Elliptic-II.pdf

2018
[26]

Liu and W

Yifeng Liu and Weizhe Zheng. Enhanced six operations and base change theorem for higher artin stacks, 2017. arXiv:1211.5948v3

work page arXiv 2017
[27]

Commutative algebra , volume 56 of Mathematics Lecture Note Series

Hideyuki Matsumura. Commutative algebra , volume 56 of Mathematics Lecture Note Series . Benjamin/Cummings Publishing Co., Inc., Reading, Mass., second edition, 1980

1980
[28]

Pro CDH -descent for cyclic homology and K -theory

Matthew Morrow. Pro CDH -descent for cyclic homology and K -theory. J. Inst. Math. Jussieu , 15(3):539--567, 2016

2016
[29]

F-singularities: a commutative algebra approach

Linquan Ma and Thomas Polstra. F-singularities: a commutative algebra approach . 2020. a book draft, https://www.math.purdue.edu/ ma326/F-singularitiesBook.pdf

2020
[30]

The relation between G rothendieck duality and H ochschild homology

Amnon Neeman. The relation between G rothendieck duality and H ochschild homology. In K - T heory--- P roceedings of the I nternational C olloquium, M umbai, 2016 , pages 91--126. Hindustan Book Agency, New Delhi, 2018

2016
[31]

Positive characteristic algebraic geometry

Zsolt Patakfalvi, Karl Schwede, and Kevin Tucker. Positive characteristic algebraic geometry. In Surveys on recent developments in algebraic geometry , volume 95 of Proc. Sympos. Pure Math. , pages 33--80. Amer. Math. Soc., Providence, RI, 2017

2017
[32]

Homology of commutative rings, 1968

Daniel Quillen. Homology of commutative rings, 1968. Mimeographed notes, MIT 1968, available at https://math.mit.edu/ hrm/manuscripts/quillen-commutative-algebra.pdf or https://math.uchicago.edu/ amathew/cotangent.djvu

1968
[33]

On the (co-) homology of commutative rings

Daniel Quillen. On the (co-) homology of commutative rings. In Applications of C ategorical A lgebra ( P roc. S ympos. P ure M ath., V ol. XVII , N ew Y ork, 1968) , volume XVII of Proc. Sympos. Pure Math. , pages 65--87. Amer. Math. Soc., Providence, RI, 1970

1968
[34]

Hochschild homology and the derived de Rham complex revisited.arXiv:2007.02576

Arpon Raksit. Hochschild homology and the derived de rham complex revisited. 2020. arXiv:2007.02576

work page arXiv 2020
[35]

S agemath, the S age M athematics S oftware S ystem ( V ersion x.y.z), 2023

The Sage Developers . S agemath, the S age M athematics S oftware S ystem ( V ersion x.y.z), 2023. https://www.sagemath.org

2023
[36]

A characterization of ordinary abelian varieties by the F robenius push-forward of the structure sheaf

Akiyoshi Sannai and Hiromu Tanaka. A characterization of ordinary abelian varieties by the F robenius push-forward of the structure sheaf. Math. Ann. , 366(3-4):1067--1087, 2016

2016
[37]

The stacks project

The Stacks project authors . The stacks project. https://stacks.math.columbia.edu, 2022

2022
[38]

Differential basis, p -basis, and smoothness in characteristic p>0

Andrzej Tyc. Differential basis, p -basis, and smoothness in characteristic p>0 . Proc. Amer. Math. Soc. , 103(2):389--394, 1988

1988
[39]

Existence theorems for dualizing complexes over non-commutative graded and filtered rings

Michel van den Bergh. Existence theorems for dualizing complexes over non-commutative graded and filtered rings. J. Algebra , 195(2):662--679, 1997

1997
[40]

Dualizing complexes over noncommutative graded algebras

Amnon Yekutieli. Dualizing complexes over noncommutative graded algebras. J. Algebra , 153(1):41--84, 1992

1992