pith. sign in

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

Non-Abelian p-Curvature and a Non-Abelian Katz's Formula

Michael Barz This is my paper

Pith reviewed 2026-05-10 00:57 UTC · model grok-4.3

classification 🧮 math.AG
keywords non-abelian p-curvatureKatz formulasheared de Rham stacksGauss-Manin connectionKodaira-Spencer mapcharacteristic pnon-abelian Hodge theorysmooth proper morphism
0
0 comments X

The pith

Sheared de Rham stacks yield a conceptual proof of the non-abelian Katz formula for p-curvature.

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

This paper shows how sheared de Rham stacks can be used to prove a non-abelian version of Katz's formula. This formula relates the p-curvature of the Gauss-Manin connection to the Kodaira-Spencer map for smooth proper morphisms over a field of characteristic p. The conceptual approach makes the relationship a consequence of general properties of the stacks rather than specific calculations. A sympathetic reader cares because it offers a unified way to understand these phenomena in non-abelian settings without needing detailed background.

Core claim

For a smooth proper morphism between smooth schemes over a field of characteristic p, the non-abelian p-curvature of the associated Gauss-Manin connection is determined by the Kodaira-Spencer map in a manner that follows directly from the structure of sheared de Rham stacks. This gives a conceptual derivation of the non-abelian Katz formula, distinct from previous proofs.

What carries the argument

Sheared de Rham stacks that encode the data of the non-abelian Gauss-Manin connection and allow derivation of the curvature formula.

If this is right

  • The formula holds as a direct consequence of stack properties rather than explicit computation.
  • The non-abelian Gauss-Manin connection behaves according to the same principles as in the abelian case but in a stacky framework.
  • The approach applies directly to the non-abelian setting for smooth proper morphisms.
  • The result can be understood without prior background in de Rham stacks.

Where Pith is reading between the lines

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

  • This framework might simplify explicit calculations for particular families of varieties in characteristic p.
  • It suggests potential extensions to other morphisms or related structures in algebraic geometry.
  • Similar stack-based methods could be tested on additional invariants arising in non-abelian settings.

Load-bearing premise

The defining properties of sheared de Rham stacks remain valid when applied to the non-abelian Gauss-Manin connection and Kodaira-Spencer map for smooth proper morphisms.

What would settle it

An explicit computation for a specific smooth proper family in characteristic p, such as a family of curves, showing that the p-curvature does not match the relation predicted by the Kodaira-Spencer map would disprove the claim.

Figures

Figures reproduced from arXiv: 2604.20054 by Michael Barz.

Figure 1
Figure 1. Figure 1: Glueing the associated gradeds (ignoring the Frobenius twist) The observation that this glueing can be done is what will lead to our non-abelian Katz’s formula. While we do not need it in this paper, we remark that there is one more observation that can be made: not only are the associated gradeds of the Hodge and conjugate filtrations the same, but they are filtrations on the same underlying vector space.… view at source ↗
read the original abstract

Let $k$ be a field of characteristic $p,$ and $f : X \to S$ a smooth proper morphism of smooth $k$-schemes. Katz's formula gives a relationship between the Kodaira--Spencer map of $f,$ and an invariant called the $p$-curvature of the Gauss--Manin connection associated to $f.$ Recently, Lam--Litt proved a variant of Katz's formula in non-abelian Hodge theory, and suggested that it should be possible to give a more conceptual proof of their formula using the stacky approach to $p$-adic Hodge theory. In this article, we realize their suggestion, explaining how the rather concrete phenomena observed by Katz and Lam--Litt can be explained in a conceptual way using sheared de Rham stacks, as developed by Bhatt--Kanaev--Vologodsky--Zhang and Drinfeld (though we prove a slightly different statement than Lam--Litt do). We do not assume the reader has any background in the theory of de Rham stacks.

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

2 major / 2 minor

Summary. The paper claims to realize Lam--Litt's suggestion by deriving a non-abelian Katz-type formula relating the p-curvature of the Gauss-Manin connection to the Kodaira-Spencer map for smooth proper morphisms f: X → S of smooth k-schemes in characteristic p. It uses properties of sheared de Rham stacks (as developed by Bhatt--Kanaev--Vologodsky--Zhang and Drinfeld) to give a conceptual explanation of phenomena observed by Katz and Lam--Litt, while proving a slightly different statement and introducing all necessary background on de Rham stacks without assuming prior knowledge.

Significance. If the central derivation holds, the work provides a valuable conceptual bridge between concrete non-abelian Hodge-theoretic observations and the stacky formalism in p-adic Hodge theory. By explicitly developing the required background, it increases accessibility for readers outside the immediate subfield and strengthens the link between Katz's original formula and its non-abelian extensions.

major comments (2)
  1. [Introduction] The manuscript states that it proves a slightly different statement than Lam--Litt while still explaining the observed phenomena; however, the precise formulation of the proved non-abelian Katz relation (including any modifications to the p-curvature or Kodaira-Spencer map in the stacky setting) is not compared side-by-side with Lam--Litt's version in a way that makes the differences and their implications fully explicit.
  2. [Main derivation section] The key step asserting that the properties of sheared de Rham stacks apply directly to the non-abelian Gauss-Manin connection and Kodaira-Spencer map for smooth proper morphisms relies on the cited works of Bhatt--Kanaev--Vologodsky--Zhang and Drinfeld; a self-contained verification or reference to the exact stack properties used (e.g., any integrability or base-change statements) would strengthen the load-bearing part of the argument.
minor comments (2)
  1. [Background on de Rham stacks] Notation for the sheared de Rham stack and the associated non-abelian connection should be introduced with a short table or diagram in the background section to aid readers new to the formalism.
  2. [Abstract and Introduction] The abstract and introduction would benefit from an explicit numbered statement of the main theorem early on, rather than a descriptive paragraph, to make the precise claim immediately visible.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for their constructive comments. We address each of the major comments below and have incorporated revisions to improve the clarity of the presentation.

read point-by-point responses

  1. Referee: [Introduction] The manuscript states that it proves a slightly different statement than Lam--Litt while still explaining the observed phenomena; however, the precise formulation of the proved non-abelian Katz relation (including any modifications to the p-curvature or Kodaira-Spencer map in the stacky setting) is not compared side-by-side with Lam--Litt's version in a way that makes the differences and their implications fully explicit.

    Authors: We agree that an explicit side-by-side comparison would enhance the reader's understanding of how our stacky approach relates to Lam--Litt's work. In the revised manuscript, we have added a dedicated paragraph in the introduction that presents our formulation of the non-abelian Katz relation alongside Lam--Litt's version. This includes noting the modifications arising from the sheared de Rham stack context and explaining why these do not affect the explanation of the observed phenomena. revision: yes

  2. Referee: [Main derivation section] The key step asserting that the properties of sheared de Rham stacks apply directly to the non-abelian Gauss-Manin connection and Kodaira-Spencer map for smooth proper morphisms relies on the cited works of Bhatt--Kanaev--Vologodsky--Zhang and Drinfeld; a self-contained verification or reference to the exact stack properties used (e.g., any integrability or base-change statements) would strengthen the load-bearing part of the argument.

    Authors: We thank the referee for this observation. To strengthen the argument, we have included a short explanatory paragraph in the main derivation section that specifies the exact properties of the sheared de Rham stacks invoked (namely, the integrability of the non-abelian connection and the base-change compatibility for smooth proper morphisms). We provide precise references to the relevant theorems in Bhatt--Kanaev--Vologodsky--Zhang and Drinfeld, making the application more transparent while keeping the treatment self-contained for readers new to the subject. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via external stack properties

full rationale

The paper derives a non-abelian variant of Katz's formula by applying properties of sheared de Rham stacks (from Bhatt-Kanaev-Vologodsky-Zhang and Drinfeld) to the non-abelian Gauss-Manin connection and Kodaira-Spencer map. It explicitly introduces the necessary background without assuming prior knowledge and proves a slightly different statement than Lam-Litt. No load-bearing step reduces by definition, fitted input, or self-citation chain to the claimed result; the cited stack formalism supplies independent external content that the paper applies rather than re-derives internally. This is the standard case of a self-contained mathematical argument resting on prior independent work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard facts about schemes and connections together with the established theory of sheared de Rham stacks; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Smooth proper morphisms of smooth k-schemes in characteristic p admit a well-defined Gauss-Manin connection whose p-curvature interacts with the Kodaira-Spencer map.
    Invoked in the statement of Katz's formula and its non-abelian extension.
  • domain assumption Sheared de Rham stacks, as constructed by Bhatt-Kanaev-Vologodsky-Zhang and Drinfeld, carry the necessary functoriality and comparison properties to relate p-curvature to deformation data.
    The paper uses these stacks as the conceptual engine for the proof.

pith-pipeline@v0.9.0 · 5480 in / 1455 out tokens · 50729 ms · 2026-05-10T00:57:54.563712+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    Sur la conjecture dep-courbures de grothendieck–katz et un probl` eme de dwork

    Yves Andr´ e. Sur la conjecture dep-courbures de grothendieck–katz et un probl` eme de dwork. In Alan Adolphson, Steven Sperber, Francesco Baldassarri, and Pierre Berthelot, editors,Geometric Aspects of Dwork Theory, pages 55–112. Walter de Gruyter, Berlin, New York, 2004

    work page 2004

  2. [2]

    Logarithmic de rham stacks and non-abelian hodge theory, 2025

    Michael Barz. Logarithmic de rham stacks and non-abelian hodge theory, 2025. Version v2

    work page 2025

  3. [3]

    Prismatic f-gauges

    Bhargav Bhatt. Prismatic f-gauges. https://www.math.ias.edu/˜bhatt/teaching/mat549f22/lectures.pdf, 2022. Ac- cessed: October 15th, 2025

    work page 2022

  4. [4]

    Sheared prismatization, 2025

    Bhargav Bhatt, Artem Kanaev, Akhil Mathew, Vadim Vologodsky, and Mingjia Zhang. Sheared prismatization, 2025. Work in progress

    work page 2025

  5. [5]

    The prismatization ofp-adic formal schemes, 2022

    Bhargav Bhatt and Jacob Lurie. The prismatization ofp-adic formal schemes, 2022. Version v1

    work page 2022

  6. [6]

    Algebraic leaves of algebraic foliations over number fields.Publications Math´ ematiques de l’IH ´ES, 93:161–221, 2001

    Jean-Benoˆ ıt Bost. Algebraic leaves of algebraic foliations over number fields.Publications Math´ ematiques de l’IH ´ES, 93:161–221, 2001

    work page 2001

  7. [7]

    Prismatization, 2020

    Vladimir Drinfeld. Prismatization, 2020. Version v7, revised 30 April 2024

    work page 2020

  8. [8]

    On a notion of ring groupoid, 2021

    Vladimir Drinfeld. On a notion of ring groupoid, 2021. Version v1

    work page 2021

  9. [9]

    On shimurian generalizations of the stack BT 1⊗Fp, 2024

    Vladimir Drinfeld. On shimurian generalizations of the stack BT 1⊗Fp, 2024

    work page 2024

  10. [10]

    Ring stacks conjecturally related to the stacks BT G,µ n , 2025

    Vladimir Drinfeld. Ring stacks conjecturally related to the stacks BT G,µ n , 2025

    work page 2025

  11. [11]

    Nicholas M. Katz. Algebraic solutions of differential equations ( p-curvature and the hodge filtration).Inventiones Mathe- maticae, 18:1–118, 1972

    work page 1972

  12. [12]

    Yeuk Hay Joshua Lam and Daniel Litt.p-curvature and non-abelian cohomology, 2026

    work page 2026

  13. [13]

    Higgs cohomology, p-curvature, and the cartier isomorphism.Compositio Mathematica, 121(3):265–294, 2000

    Arthur Ogus. Higgs cohomology, p-curvature, and the cartier isomorphism.Compositio Mathematica, 121(3):265–294, 2000

    work page 2000

  14. [14]

    Nonlinear hodge correspondence in positive characteristic, 2025

    Mao Sheng. Nonlinear hodge correspondence in positive characteristic, 2025. Version v1

    work page 2025

  15. [15]

    Nonabelian kodaira–spencer maps, 2025

    Mao Sheng and Yixuan Fu. Nonabelian kodaira–spencer maps, 2025. Version v1

    work page 2025

  16. [16]

    Homotopy over the complex numbers and generalized de rham cohomology

    Carlos Simpson. Homotopy over the complex numbers and generalized de rham cohomology. In M. Maruyama, editor, Moduli of Vector Bundles (Taniguchi Symposium December 1994), volume 189 ofLecture Notes in Pure and Applied Mathematics, pages 229–263. Dekker, New York, 1996. Toulouse preprint no. 50, April 1995

    work page 1994