pith. sign in

arxiv: 2604.14584 · v1 · submitted 2026-04-16 · 🧮 math.AG

Bernstein--Sato Theory for D-modules in Positive Characteristic

Daichi Takeuchi This is my paper

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

classification 🧮 math.AG
keywords Bernstein-Sato rootsD-modulespositive characteristicF^e-modulesCartier modulesp-adic integersholonomic modulesalgebraic geometry
0
0 comments X

The pith

Bernstein-Sato roots of D-modules arising from unit F^e-modules in positive characteristic are finite and rational p-adic integers.

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

The paper adapts the classical Bernstein-Sato theory to the setting of D-modules on Noetherian regular F-finite schemes over finite fields of positive characteristic. It defines the roots as p-adic integers and proves they are finite in number and rational precisely when the D-module comes from a locally finitely generated unit F^e-module on a scheme of finite type over an F-finite field. The work also builds a parallel theory for Cartier modules, which could let researchers track singularity data through these discrete invariants in arithmetic geometry.

Core claim

We develop a positive characteristic analogue of the Bernstein-Sato theory for holonomic D-modules on Noetherian regular F-finite F_p-schemes, defining Bernstein-Sato roots as p-adic integers. When the D-module arises from a locally finitely generated unit F^e-module and the scheme is of finite type over an F-finite field, the roots are shown to be finite and rational. A related theory is developed for Cartier modules.

What carries the argument

The definition of Bernstein-Sato roots as p-adic integers for D-modules, carried by the reduction to locally finitely generated unit F^e-modules together with the associated Cartier module theory.

If this is right

  • The roots become computable discrete invariants for a large class of D-modules in positive characteristic.
  • Rationality implies that only finitely many p-adic numbers need to be checked, reducing the problem to finite data.
  • The parallel Cartier module theory supplies a corresponding set of invariants for another family of objects in the same setting.
  • The construction recovers the known case for the structure sheaf as a special instance.

Where Pith is reading between the lines

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

  • The rational roots may serve as a positive-characteristic counterpart to multiplier ideals or other singularity measures.
  • One could check whether these roots stabilize or match known numerical invariants such as the F-signature in concrete examples.
  • The p-adic definition might allow lifting or comparison statements when reducing characteristic-zero singularities modulo p.

Load-bearing premise

The D-module must arise from a locally finitely generated unit F^e-module on a Noetherian regular F-finite scheme of finite type over an F-finite field.

What would settle it

An explicit example of a D-module arising from a locally finitely generated unit F^e-module on such a scheme whose Bernstein-Sato roots turn out to be either infinite or non-rational p-adic integers would falsify the result.

read the original abstract

In this article, we develop a positive characteristic analogue of the Bernstein--Sato theory for holonomic D-modules in the complex setting. We work with D-modules on a Noetherian regular $F$-finite $\mathbb{F}_p$-scheme $X$, and define their Bernstein--Sato roots as $p$-adic integers. When the D-module is the structure sheaf $O_X$, this recovers Bitoun's definition. When the D-module arises from a locally finitely generated unit $F^e$-module and $X$ is of finite type over an $F$-finite field, we show that the roots are finite and rational, generalizing Bitoun's result. In the course of the proof, we also develop a related theory for Cartier modules.

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

0 major / 3 minor

Summary. The paper develops a positive characteristic analogue of Bernstein-Sato theory for holonomic D-modules on Noetherian regular F-finite F_p-schemes X. Bernstein-Sato roots are defined as p-adic integers; the definition recovers Bitoun's for the structure sheaf O_X. When the D-module arises from a locally finitely generated unit F^e-module and X is of finite type over an F-finite field, the roots are proved finite in number and rational. An auxiliary theory of Cartier modules is developed in the course of the argument.

Significance. If the results hold, the work supplies a meaningful generalization of Bitoun's theorem from O_X to a larger class of D-modules under the unit F^e-module hypothesis, together with a p-adic definition of roots and a supporting Cartier-module formalism. These contributions extend the toolkit for studying singularities and D-module invariants in characteristic p and may enable further comparisons with the complex-analytic Bernstein-Sato theory.

minor comments (3)
  1. [Abstract] Abstract: the opening sentence refers to 'holonomic D-modules' while the finiteness/rationality theorem is stated only for those arising from locally finitely generated unit F^e-modules; add a clarifying sentence on the precise scope of each result.
  2. The construction of the Bernstein-Sato roots via the unit F^e-module structure and the p-adic topology should be stated explicitly before the main theorems (currently only summarized in the abstract).
  3. Ensure that any new notation introduced for Cartier modules is defined in a single location and cross-referenced consistently in the proofs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. No specific major comments appear in the report, so we have no individual points to address point-by-point. We will incorporate any minor editorial or expository suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines Bernstein-Sato roots as p-adic integers for holonomic D-modules on Noetherian regular F-finite F_p-schemes, recovering Bitoun's definition exactly when the module is O_X. For the subclass arising from locally finitely generated unit F^e-modules on finite-type schemes over F-finite fields, it proves the roots are finite and rational by constructing an auxiliary Cartier-module theory and using the unit and finite-generation hypotheses to control the roots; these steps are independent of the target statement and do not reduce the finiteness/rationality claim to a fitted parameter or to a self-citation chain. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on standard properties of holonomic D-modules and F-modules in positive characteristic together with the new definition of roots; no free parameters are introduced, but the p-adic definition and holonomicity assumptions are domain-level.

axioms (2)
  • domain assumption Holonomic D-modules on Noetherian regular F-finite schemes admit well-defined filtrations compatible with the Frobenius
    Invoked to define the roots as p-adic integers and to recover Bitoun's case for O_X.
  • domain assumption Unit F^e-modules are locally finitely generated when arising from D-modules on finite type schemes over F-finite fields
    Used to prove finiteness and rationality of the roots.
invented entities (1)
  • Bernstein-Sato roots defined as p-adic integers no independent evidence
    purpose: To provide an analogue of complex Bernstein-Sato roots that makes sense in positive characteristic
    Newly defined in the paper; no independent falsifiable prediction outside the theory is given in the abstract.

pith-pipeline@v0.9.0 · 5417 in / 1609 out tokens · 54459 ms · 2026-05-10T10:01:35.892503+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Pulling back Cartier structures along regular maps

    math.AG 2026-04 unverdicted novelty 6.0

    A relative Cartier isomorphism and operator are constructed for arbitrary regular F-finite maps of locally Noetherian schemes, yielding new constancy results for mixed test ideals.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages · cited by 1 Pith paper

  1. [1]

    Cartier modules: finiteness results.Journal f¨ ur die reine und ange- wandte Mathematik, 2011(661):85–123,

    [BB11] Manuel Blickle and Gebhard B¨ ockle. Cartier modules: finiteness results.Journal f¨ ur die reine und ange- wandte Mathematik, 2011(661):85–123,

    work page 2011

  2. [2]

    Grothendieck, given at Harvard 1963/64, With an appendix by P

    Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64, With an appendix by P. Deligne. [JNBQG23] J. Jeffries, L. N´ u˜ nez-Betancourt, and E. Quinlan-Gallego. Bernstein-Sato theory for singular rings in positive characteristic.Trans. Amer. Math. Soc., 376(7):5123–5180,

    work page 1963

  3. [3]

    InProceedings of the 4th European congress of mathematics (ECM), Stockholm, Sweden, June 27–July 2, 2004, pages 341–364

    [MTW05] Mircea Mustat ¸˘ a, Shunsuke Takagi, and Kei-ichi Watanabe.F-thresholds and Bernstein-Sato polynomials. InProceedings of the 4th European congress of mathematics (ECM), Stockholm, Sweden, June 27–July 2, 2004, pages 341–364. Z¨ urich: European Mathematical Society (EMS),

    work page 2004

  4. [4]

    [Sta12] Theodore J

    Thesis (Ph.D.)–University of Michigan. [Sta12] Theodore J. Stadnik, Jr. The lemma on b-functions in positive characteristic.arXiv:1206.4039,

    work page arXiv