pith. sign in

arxiv: 2208.01517 · v5 · pith:SY22SPT5new · submitted 2022-08-02 · 🧮 math.AG

Derived F-zips

Can Yaylali This is my paper

Pith reviewed 2026-05-24 11:07 UTC · model grok-4.3

classification 🧮 math.AG
keywords derived F-zipsEnriques surfacesmoduli stackspositive characteristicHodge-de Rham spectral sequencesmooth proper morphismsalgebraic stacks
0
0 comments X

The pith

Derived F-zips can be attached to any proper smooth morphism of schemes in positive characteristic and recover the classical theory on ordinary F-zips.

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

The paper defines a derived version of F-zips so that every proper smooth morphism in positive characteristic carries one. It shows that these derived objects form a stack whose geometry can be studied directly. The construction recovers the usual F-zip when the input is ordinary, yet continues to make sense for objects whose Hodge-de Rham spectral sequence does not degenerate. As a concrete application the derived F-zips are used to study the moduli stack of Enriques surfaces, including those in characteristic 2 that lie outside the reach of classical F-zip theory.

Core claim

A derived F-zip is defined for every proper smooth morphism of schemes in positive characteristic; the resulting object forms a stack that contains the classical F-zip stack as a substack and supplies geometric information about the moduli stack of Enriques surfaces even when the Hodge-de Rham spectral sequence fails to degenerate.

What carries the argument

The derived F-zip associated to a proper smooth morphism, which carries the data needed to form a stack and to restrict to the classical F-zip on ordinary inputs.

If this is right

  • The stack of derived F-zips admits natural substacks whose geometry can be compared with known moduli problems.
  • Classical results about F-zips on ordinary schemes extend to the derived setting by restriction.
  • Enriques surfaces in characteristic 2 whose Hodge-de Rham spectral sequence is non-degenerate still carry well-defined derived F-zips that can be used to analyze their moduli stack.
  • Attempts to generalize further to derived G-zips or to lci morphisms encounter additional technical obstructions that are identified in the paper.

Where Pith is reading between the lines

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

  • The same construction might supply invariants for other classes of varieties in positive characteristic whose classical Hodge theory is degenerate.
  • If the stack of derived F-zips is representable or has a known coarse moduli space, it would give a new global invariant for families of smooth proper schemes.
  • The obstructions encountered for derived G-zips suggest that the F-zip case is special and may not extend verbatim to other group schemes.

Load-bearing premise

The proposed definition of a derived F-zip produces an object that assembles into a stack and reduces exactly to the classical F-zip without introducing new inconsistencies.

What would settle it

An explicit proper smooth morphism whose associated derived F-zip either fails to form a stack or whose restriction to the classical locus differs from the usual F-zip.

read the original abstract

We define derived versions of $F$-zips and associate a derived $F$-zip to any proper, smooth morphism of schemes in positive characteristic. We analyze the stack of derived $F$-zips and certain substacks. We make a connection to the classical theory and look at problems that arise when trying to generalize the theory to derived $G$-zips and derived $F$-zips associated to lci morphisms. As an application, we look at Enriques-surfaces and analyze the geometry of the moduli stack of Enriques-surfaces via the associated derived $F$-zips. As there are Enriques-surfaces in characteristic $2$ with non-degenerate Hodge-de Rham spectral sequence, this gives a new approach, which could previously not be obtained by the classical theory of $F$-zips.

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.

Referee Report

3 major / 2 minor

Summary. The paper defines derived versions of F-zips and associates such an object to any proper smooth morphism of schemes in positive characteristic. It analyzes the stack of derived F-zips and certain substacks, establishes a connection to the classical theory of F-zips, and discusses obstacles to generalizing the construction to derived G-zips or to lci morphisms. As an application, the derived F-zips are used to study the geometry of the moduli stack of Enriques surfaces, with particular attention to characteristic-2 examples where the Hodge-de Rham spectral sequence is non-degenerate and classical F-zip methods do not apply.

Significance. If the definition is shown to be well-behaved, to form a stack, and to recover the classical F-zip theory on the nose, the work supplies a new technical tool for moduli problems in positive characteristic where the Hodge filtration and Frobenius data interact in a derived manner. The explicit treatment of the Enriques-surface case in characteristic 2 demonstrates a concrete setting in which the extension is necessary and yields geometric information unavailable from the classical theory.

major comments (3)
  1. [§2–3] Definition of derived F-zip (presumably §2–3): the construction must be shown to restrict to the classical F-zip when the morphism is smooth and proper and the derived category is replaced by its heart; without an explicit comparison functor or a statement that the restriction is an equivalence on the classical locus, the claim that the new theory extends the old one remains formal.
  2. [§4] Stack property (presumably §4): the paper asserts that the functor sending a scheme to the groupoid of derived F-zips on it is a stack; the proof must verify descent for the étale topology on the base and that the automorphism groups are representable by algebraic spaces, as these properties are load-bearing for the subsequent analysis of substacks and the moduli application.
  3. [§6] Enriques-surface application (presumably §6): the geometry of the moduli stack is deduced from the associated derived F-zips; the argument relies on the non-degeneracy of the Hodge-de Rham spectral sequence in characteristic 2, but it is not clear from the stated claims whether the derived F-zip distinguishes the components or strata that the classical theory misses, or whether additional data (e.g., the derived structure sheaf) is needed to obtain the stated geometric conclusions.
minor comments (2)
  1. Notation for the derived category and the Frobenius action should be introduced uniformly before the definition of derived F-zips to avoid repeated re-explanation.
  2. The discussion of obstacles to G-zips and lci morphisms is useful but would benefit from a short table summarizing which axioms fail in each attempted generalization.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below.

read point-by-point responses

  1. Referee: [§2–3] Definition of derived F-zip (presumably §2–3): the construction must be shown to restrict to the classical F-zip when the morphism is smooth and proper and the derived category is replaced by its heart; without an explicit comparison functor or a statement that the restriction is an equivalence on the classical locus, the claim that the new theory extends the old one remains formal.

    Authors: We agree that an explicit comparison is required to make the extension claim rigorous. In the revised manuscript we will add a comparison functor from classical F-zips to derived F-zips together with a proof that it induces an equivalence when restricted to the heart for smooth proper morphisms. revision: yes

  2. Referee: [§4] Stack property (presumably §4): the paper asserts that the functor sending a scheme to the groupoid of derived F-zips on it is a stack; the proof must verify descent for the étale topology on the base and that the automorphism groups are representable by algebraic spaces, as these properties are load-bearing for the subsequent analysis of substacks and the moduli application.

    Authors: The proofs in §4 already establish étale descent and representability of the automorphism groups by algebraic spaces. To improve readability we will insert an explicit summary lemma collecting these verifications and cross-references to the relevant propositions. revision: partial

  3. Referee: [§6] Enriques-surface application (presumably §6): the geometry of the moduli stack is deduced from the associated derived F-zips; the argument relies on the non-degeneracy of the Hodge-de Rham spectral sequence in characteristic 2, but it is not clear from the stated claims whether the derived F-zip distinguishes the components or strata that the classical theory misses, or whether additional data (e.g., the derived structure sheaf) is needed to obtain the stated geometric conclusions.

    Authors: The derived F-zip is defined to encode precisely the derived data of the morphism, including the non-degenerate Hodge-de Rham spectral sequence in characteristic 2. This information is sufficient to distinguish the components and strata invisible to classical F-zips; the geometric conclusions in §6 follow directly from the derived F-zip without requiring extra data. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces a new definition of derived F-zips for proper smooth morphisms in positive characteristic, analyzes the associated stack, recovers classical F-zip theory by construction, and applies the objects to the moduli stack of Enriques surfaces in characteristic 2. No load-bearing step reduces a claimed prediction or uniqueness result to a fitted input, self-citation chain, or ansatz smuggled from prior work by the same author; the central claims are definitional and scoped explicitly, with the derivation remaining self-contained against external benchmarks such as the classical F-zip theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit list of free parameters, background axioms, or new postulated entities; the work appears to rest on standard derived-category and stack-theoretic machinery plus the new definitions themselves.

pith-pipeline@v0.9.0 · 5656 in / 1157 out tokens · 23218 ms · 2026-05-24T11:07:52.188433+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · 2 internal anchors

  1. [1]

    Gepner, Brauer groups and \' e tale cohomology in derived algebraic geometry , Geom.\ Topol.\ 18 (2014), no

    B Antieau and D. Gepner, Brauer groups and \' e tale cohomology in derived algebraic geometry , Geom.\ Topol.\ 18 (2014), no. 2, 1149--1244

    work page 2014

  2. [2]

    Berthelot, L

    P. Berthelot, L. Breen and W. Messing, Th\' e orie de D ieudonn\' e cristalline. II , Lecture Notes in Math., vol. 930, Springer-Verlag, Berlin, 1982

    work page 1982

  3. [3]

    Bertin and C

    J. Bertin and C. Peters, Variations de structures de H odge, vari\' e t\' e s de C alabi- Y au et sym\' e trie miroir , in: Introduction \`a la th\' e orie de H odge , pp. 169--256, Panor. Synth\`eses, vol. 3, Soc.\ Math.\ France, Paris, 1996

    work page 1996

  4. [4]

    Completions and derived de Rham cohomology

    B. Bhatt, Completions and derived de Rham cohomology, preprint arXiv:1207.6193 (2012)

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  5. [5]

    , p -adic derived de Rham cohomology, preprint arXiv:1204.6560 (2012)

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  6. [6]

    , Torsion in the crystalline cohomology of singular varieties, Doc.\ Math.\ 19 (2014), 673--687

    work page 2014

  7. [7]

    Bhatt, M

    B. Bhatt, M. Morrow and P. Scholze, Topological H ochschild homology and integral p -adic H odge theory , Publ.\ Math.\ Inst.\ Hautes \' E tudes Sci.\ 129 (2019), 199--310

    work page 2019

  8. [8]

    Cesnavicius and P

    K. Cesnavicius and P. Scholze, Purity for flat cohomology, Ann.\ of Math. (2) 199 (2024), no 1, 51--180

    work page 2024

  9. [9]

    Cossec, I

    F. Cossec, I. Dolgachev, and C. Liedtke, Enriques surfaces I , 2024. Available at www.math.lsa.umich.edu/ idolga/EnriquesOne.pdf

    work page 2024

  10. [10]

    Deligne and L

    P. Deligne and L. Illusie, Rel\`evements modulo p^2 et d\' e composition du complexe de de R ham , Invent.\ Math.\ 89 (1987), no. 2, 247--270

    work page 1987

  11. [11]

    Ferrand, Conducteur, descente et pincement, Bull.\ Soc.\ Math.\ France 131 (2003), no

    D. Ferrand, Conducteur, descente et pincement, Bull.\ Soc.\ Math.\ France 131 (2003), no. 4, 553--585

    work page 2003

  12. [12]

    Goldring and J.-S

    W. Goldring and J.-S. Koskivirta, Strata H asse invariants, H ecke algebras and G alois representations , Invent.\ Math.\ 217 (2019), no. 3, 887--984

    work page 2019

  13. [13]

    G\" o rtz and T

    U. G\" o rtz and T. Wedhorn, Algebraic geometry I : Schemes , Adv.\ Lectures Math., Vieweg + Teubner, Wiesbaden, 2010

    work page 2010

  14. [14]

    , Algebraic Geometry II: Cohomology of Schemes, Springer Stud.\ Math.\ Master, Springer Spektrum, Wiesbaden, 2023

    work page 2023

  15. [15]

    Grothendieck and J

    A. Grothendieck and J. Dieudonn\'e, \'El\'ements de g\'eom\'etrie alg\'ebrique. III. \'Etude cohomologique des faisceaux coh\'erents. II. , Inst.\ Hautes \'Etudes Sci.\ Publ.\ Math.\ 17 (1963)

    work page 1963

  16. [16]

    , \'El\'ements de g\'eom\'etrie alg\'ebrique. IV. \'Etude locale des sch\'emas et des morphismes de sch\'emas. III. , Inst.\ Hautes \'Etudes Sci.\ Publ.\ Math.\ 28 (1966)

    work page 1966

  17. [17]

    , \'El\'ements de g\'eom\'etrie alg\'ebrique. IV. \'Etude locale des sch\'emas et des morphismes de sch\'emas. IV , Inst.\ Hautes \'Etudes Sci.\ Publ.\ Math.\ 32 (1967)

    work page 1967

  18. [18]

    Gwilliam and D

    O. Gwilliam and D. Pavlov, Enhancing the filtered derived category, J. Pure Appl.\ Algebra 222 (2018), no. 11, 3621--3674

    work page 2018

  19. [19]

    Halpern-Leistner, Geometric invariant theory and derived categories of coherent sheaves (Ph.D.\ Thesis, University of California, Berkeley), ProQuest LLC, Ann Arbor, MI, 2013

    D.\,S. Halpern-Leistner, Geometric invariant theory and derived categories of coherent sheaves (Ph.D.\ Thesis, University of California, Berkeley), ProQuest LLC, Ann Arbor, MI, 2013

    work page 2013

  20. [20]

    Hartshorne, Algebraic geometry, Grad.\ Texts in Math., vol

    R. Hartshorne, Algebraic geometry, Grad.\ Texts in Math., vol. 52, Springer-Verlag, New York-Heidelberg, 1977

    work page 1977

  21. [21]

    Illusie, Complexe cotangent et d\' e formations

    L. Illusie, Complexe cotangent et d\' e formations. I , Lecture Notes in Math., vol. 239, Springer-Verlag, Berlin-New York, 1971

    work page 1971

  22. [22]

    Kato, Logarithmic structures of F ontaine- I llusie , in: Algebraic analysis, geometry, and number theory ( B altimore, MD , 1988), pp

    K. Kato, Logarithmic structures of F ontaine- I llusie , in: Algebraic analysis, geometry, and number theory ( B altimore, MD , 1988), pp. 191--224, Johns Hopkins Univ.\ Press, Baltimore, MD, 1989

    work page 1988

  23. [23]

    Katz, Algebraic solutions of differential equations ( p -curvature and the H odge filtration) , Invent.\ Math.\ 18 (1972), 1--118

    N.\,M. Katz, Algebraic solutions of differential equations ( p -curvature and the H odge filtration) , Invent.\ Math.\ 18 (1972), 1--118

    work page 1972

  24. [24]

    Khan, Lecture notes: Descent in algebraic K-theory, 2018

    A. Khan, Lecture notes: Descent in algebraic K-theory, 2018. Available at https://www.preschema.com/lecture-notes/kdescent/

    work page 2018

  25. [25]

    Lang, Examples of liftings of surfaces and a problem in de R ham cohomology (Special issue in honour of Frans Oort), Compos.\ Math.\ 97 (1995), no

    W.\,E. Lang, Examples of liftings of surfaces and a problem in de R ham cohomology (Special issue in honour of Frans Oort), Compos.\ Math.\ 97 (1995), no. 1--2, 157--160

    work page 1995

  26. [26]

    Liedtke, Arithmetic moduli and lifting of E nriques surfaces , J

    C. Liedtke, Arithmetic moduli and lifting of E nriques surfaces , J. reine angew.\ Math.\ 706 (2015), 35--65

    work page 2015

  27. [27]

    Lurie, Derived algebraic geometry (Ph.D

    J. Lurie, Derived algebraic geometry (Ph.D. Thesis, MIT), ProQuest LLC, Ann Arbor, MI, 2004

    work page 2004

  28. [28]

    170, Princeton Univ,\ Press, Princeton, NJ, 2009

    , Higher topos theory, Ann.\ of Math.\ Stud., vol. 170, Princeton Univ,\ Press, Princeton, NJ, 2009

    work page 2009

  29. [29]

    Available at https://www.math.ias.edu/ lurie/papers/HA.pdf

    , Higher algebra, 2017. Available at https://www.math.ias.edu/ lurie/papers/HA.pdf

    work page 2017

  30. [30]

    Available at https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf

    , Spectral algebraic geometry, 2018. Available at https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf

    work page 2018

  31. [31]

    , Kerodon, https://kerodon.net, 2024

    work page 2024

  32. [32]

    Moonen and T

    B. Moonen and T. Wedhorn, Discrete invariants of varieties in positive characteristic, Int.\ Math.\ Res.\ Not.\ (2004), no. 72, 3855--3903

    work page 2004

  33. [33]

    R. Pink, T. Wedhorn, and P. Ziegler, F -zips with additional structure , Pacific J. Math.\ 274 (2015), no. 1, 183--236

    work page 2015

  34. [34]

    Saavedra Rivano, Cat\' e gories T annakiennes , Lecture Notes in Math., vol

    N. Saavedra Rivano, Cat\' e gories T annakiennes , Lecture Notes in Math., vol. 265, Springer-Verlag, Berlin-New York, 1972

    work page 1972

  35. [35]

    The Stacks Project Authors , Stacks Project , https://stacks.math.columbia.edu, 2024

    work page 2024

  36. [36]

    Temkin and I

    M. Temkin and I. Tyomkin, Ferrand pushouts for algebraic spaces, Eur. J.\ Math.\ 2 (2016), no. 4, 960--983

    work page 2016

  37. [37]

    To\"en and M

    B. To\"en and M. Vaqui\'e, Moduli of objects in dg-categories, Annales scientifiques de l'\'Ecole Normale Sup\'erieure Ser. 4, 40 (2007), no. 3, 387--444 (en)

    work page 2007

  38. [38]

    To\" e n and G

    B. To\" e n and G. Vezzosi, Homotopical algebraic geometry. I . T opos theory , Adv.\ Math.\ 193 (2005), no. 2, 257--372

    work page 2005

  39. [39]

    , Homotopical algebraic geometry. II . G eometric stacks and applications , Mem.\ Amer.\ Math.\ Soc.\ 193 (2008), no. 902

    work page 2008

  40. [40]

    Wedhorn, De R ham cohomology of varieties over fields of positive characteristic , in: Higher-dimensional geometry over finite fields, pp

    T. Wedhorn, De R ham cohomology of varieties over fields of positive characteristic , in: Higher-dimensional geometry over finite fields, pp. 269--314, NATO Sci.\ Peace Secur.\ Ser. D Inf.\ Commun.\ Secur., vol. 16, IOS Press, Amsterdam, 2008

    work page 2008

  41. [41]

    Williams, On Grothendieck universes, Compos.\ Math.\ 21 (1969), no

    N.\,H. Williams, On Grothendieck universes, Compos.\ Math.\ 21 (1969), no. 1, 1--3

    work page 1969

  42. [42]

    Yaylali, Derived F -zips, Ph.D

    C. Yaylali, Derived F -zips, Ph.D. thesis, Technische Universit \"a t Darmstadt, Darmstadt, 2022. Available at https://tuprints.ulb.tu-darmstadt.de/21626/

    work page 2022

  43. [43]

    , Notes on derived algebraic geometry, preprint arXiv:2208.01506 (2022)

    work page arXiv 2022

  44. [44]

    Ziegler, Graded and filtered fiber functors on T annakian categories , J

    P. Ziegler, Graded and filtered fiber functors on T annakian categories , J. Inst.\ Math.\ Jussieu 14 (2015), no. 1, 87--130

    work page 2015