pith. sign in

arxiv: 2502.12136 · v2 · submitted 2025-02-17 · 🧮 math.AG

p-Adic Weight Spectral Sequences of Strictly Semi-stable Schemes over Formal Power Series Rings via Arithmetic mathcal{D}-modules

Yuanmin Liu This is my paper

Pith reviewed 2026-05-23 03:03 UTC · model grok-4.3

classification 🧮 math.AG
keywords p-adic cohomologyweight spectral sequencearithmetic D-modulesstrictly semi-stable schemesrigid cohomologynearby cyclesformal power series rings
0
0 comments X

The pith

Arithmetic D-modules construct the weight spectral sequence in p-adic cohomology for strictly semi-stable schemes over k[[t]].

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

The paper constructs a weight spectral sequence for p-adic cohomology of strictly semi-stable schemes over a formal power series ring by means of arithmetic D-modules. Its E1 terms are given explicitly by the rigid cohomologies of the irreducible components of the closed fiber. The E∞ terms are conjecturally identified with the unipotent nearby cycles of Lazda-Pál rigid cohomology over the bounded Robba ring. Functoriality is proved for pushforwards and conjectured for pullbacks and duality.

Core claim

For a strictly semi-stable scheme over k[[t]], the weight spectral sequence in p-adic cohomology is constructed using arithmetic D-modules, with E1 terms described by rigid cohomologies of irreducible components of the closed fiber and E∞ terms conjecturally described by the unipotent nearby cycle of Lazda-Pál's rigid cohomology over the bounded Robba ring.

What carries the argument

Arithmetic D-modules applied to the strictly semi-stable scheme, yielding a weight spectral sequence whose graded pieces are expressed via rigid cohomology.

If this is right

  • The E1 page is given by rigid cohomologies of the irreducible components of the closed fiber.
  • The spectral sequence is functorial for pushforwards.
  • The E∞ page is conjecturally identified with unipotent nearby cycles in Lazda-Pál rigid cohomology.
  • The construction supplies a p-adic weight filtration whose graded pieces are accessible via rigid cohomology.

Where Pith is reading between the lines

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

  • If the E∞ conjecture holds, the sequence would give a concrete way to compute the weight-graded pieces of p-adic cohomology from nearby-cycle data.
  • The pushforward functoriality already proved may extend to a larger class of morphisms once the pullback conjecture is settled.
  • The same D-module approach could be tested on schemes over more general bases to see whether the same rigid-cohomology description persists.

Load-bearing premise

Arithmetic D-modules can be applied directly to strictly semi-stable schemes over k[[t]] so that the resulting weight spectral sequence has E1 page equal to the rigid cohomologies of the closed-fiber components.

What would settle it

An explicit computation on a simple strictly semi-stable scheme where the E1 page of the constructed sequence fails to equal the direct sum of rigid cohomologies of the irreducible components would show the construction does not hold.

read the original abstract

Let $k$ be a perfect field of characteristic $p > 0$. For a strictly semi-stable scheme over $k[[t]]$, we construct the weight spectral sequence in $p$-adic cohomology using the theory of arithmetic $\mathcal{D}$-modules, whose $E_1$ terms are described by rigid cohomologies of irreducible components of the closed fiber and whose $E_\infty$ terms are conjecturally described by the (unipotent) nearby cycle of Lazda-P\'{a}l's rigid cohomology over the bounded Robba ring. We also show its functoriality by pushforward and state the conjecture of its functoriality by pullback and dual.

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 / 0 minor

Summary. The paper claims to construct the weight spectral sequence in p-adic cohomology for strictly semi-stable schemes over k[[t]] (k perfect of char p) via the theory of arithmetic D-modules. The E1 page is asserted to be given by rigid cohomologies of the irreducible components of the closed fiber; the E∞ page is conjecturally identified with the unipotent nearby cycle of Lazda-Pál rigid cohomology over the bounded Robba ring. Functoriality under pushforward is proved and conjectures are stated for pullback and duality.

Significance. If the construction and comparison maps can be verified, the result would supply an arithmetic D-module route to weight spectral sequences in the p-adic semi-stable setting, potentially clarifying the relationship between rigid cohomology of components and nearby-cycle cohomology over the Robba ring. The explicit E1 description and the stated functoriality statements would be the main contributions.

major comments (2)
  1. [Abstract] Abstract (first paragraph): the central claim that arithmetic D-modules produce a well-defined weight spectral sequence whose E1 terms are the rigid cohomologies of the irreducible components rests on an unverified application of the D-module functor to strictly semi-stable schemes over k[[t]]; no definition of the functor, no comparison isomorphism, and no error-term analysis appear in the supplied text, rendering the load-bearing step unverifiable.
  2. [Abstract] Abstract: the conjectural identification of the E∞ page with the unipotent nearby cycle of Lazda-Pál rigid cohomology is stated without any supporting diagram, spectral-sequence comparison, or reference to a prior result that would make the conjecture testable within the manuscript.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for highlighting points that require clarification. We address each major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (first paragraph): the central claim that arithmetic D-modules produce a well-defined weight spectral sequence whose E1 terms are the rigid cohomologies of the irreducible components rests on an unverified application of the D-module functor to strictly semi-stable schemes over k[[t]]; no definition of the functor, no comparison isomorphism, and no error-term analysis appear in the supplied text, rendering the load-bearing step unverifiable.

    Authors: The definition of the arithmetic D-module functor on strictly semi-stable schemes over k[[t]], the comparison isomorphisms identifying the E1 terms with rigid cohomology of the irreducible components, and the accompanying error-term analysis are given in Sections 3 and 4 of the manuscript (building on the arithmetic D-module formalism recalled in Section 2). The abstract is intended only as a summary; we will revise it to include explicit forward references to these sections so that the load-bearing steps are immediately locatable from the abstract. revision: partial

  2. Referee: [Abstract] Abstract: the conjectural identification of the E∞ page with the unipotent nearby cycle of Lazda-Pál rigid cohomology is stated without any supporting diagram, spectral-sequence comparison, or reference to a prior result that would make the conjecture testable within the manuscript.

    Authors: The identification is explicitly labeled as conjectural both in the abstract and in Section 5, where we outline the expected relationship to the unipotent nearby-cycle functor of Lazda–Pál and cite their work on rigid cohomology over the bounded Robba ring. Because the statement remains conjectural, a complete diagram or spectral-sequence comparison is not supplied; the manuscript instead records the precise form of the conjecture and the functoriality statements that would follow from it. We will add a parenthetical reference to Section 5 in the revised abstract. revision: partial

Circularity Check

0 steps flagged

No circularity; construction rests on external arithmetic D-module theory

full rationale

The paper's central claim is a construction of a weight spectral sequence for strictly semi-stable schemes over k[[t]] via the theory of arithmetic D-modules, with E1 terms identified with rigid cohomology of closed-fiber components. This identification is presented as a direct application of the existing D-module formalism rather than a self-referential fit or redefinition. No equations or steps in the provided abstract reduce the claimed E1 description or functoriality statements to fitted parameters or prior self-citations within the paper itself. The E∞ conjecture is explicitly labeled as such and does not enter the main derivation. The derivation chain therefore remains self-contained against external benchmarks on arithmetic D-modules and rigid cohomology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on abstract; the construction depends on the established theory of arithmetic D-modules and rigid cohomology without introducing new free parameters or entities visible in the summary.

axioms (2)
  • domain assumption Arithmetic D-modules exist and behave functorially for strictly semi-stable schemes over k[[t]] in a manner that yields the stated weight spectral sequence.
    Invoked in the first sentence of the abstract as the tool for the construction.
  • domain assumption Rigid cohomology of the irreducible components of the closed fiber assembles into the E1 page of the weight spectral sequence.
    Stated directly in the abstract description of E1 terms.

pith-pipeline@v0.9.0 · 5643 in / 1440 out tokens · 27859 ms · 2026-05-23T03:03:44.100233+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

25 extracted references · 25 canonical work pages

  1. [1]

    Explicit calculation of Frobenius isomorphisms and Poincar\' e duality in the theory of arithmetic D -modules , Rend

    Tomoyuki Abe. Explicit calculation of Frobenius isomorphisms and Poincar\' e duality in the theory of arithmetic D -modules , Rend. Sem. Mat. Univ. Padova., 131 , (2014), 90–145

    work page 2014

  2. [2]

    Langlands correspondence for isocrystals and the existence of crystalline companions for curves , J

    Tomoyuki Abe. Langlands correspondence for isocrystals and the existence of crystalline companions for curves , J. Amer. Math. Soc., 31 , (2018), 921–1057

    work page 2018

  3. [3]

    On Beilinson's equivalence for p -adic cohomology , Sel

    Tomoyuki Abe and Daniel Caro. On Beilinson's equivalence for p -adic cohomology , Sel. Math. New Ser., 24 , (2018), 90–145

    work page 2018

  4. [4]

    Theory of weights in p -adic cohomology , Am

    Tomoyuki Abe and Daniel Caro. Theory of weights in p -adic cohomology , Am. J. Math., 140 , (2018), 879–975

    work page 2018

  5. [5]

    A comparison between compactly supported rigid and D -module cohomology , arXiv:2208.10137, (2022)

    Tomoyuki Abe and Christopher Lazda. A comparison between compactly supported rigid and D -module cohomology , arXiv:2208.10137, (2022)

    work page arXiv 2022

  6. [6]

    A. A. Beilinson, J. Bernstein and P. Deligne. Faisceaux pervers , in Analyse et topologie sur les espaces singuliers (I) , Ast\' e risque; Soc. Math. France, Paris., 100 , (1982), 5–171

    work page 1982

  7. [7]

    D -modules arithm\' e tiques

    Pierre Berthelot. D -modules arithm\' e tiques. II : descente par Frobenius . M\' e moires de la S. M. F., 81 , (2000), 1–133

    work page 2000

  8. [8]

    Introduction \` a la th\' e orie arithm\' e tique des D -modules , in Cohomologies p -adiques et applications arithm\' e tiques (II) , Ast\' e risque, 279 , (2002), 1–80

    Pierre Berthelot. Introduction \` a la th\' e orie arithm\' e tique des D -modules , in Cohomologies p -adiques et applications arithm\' e tiques (II) , Ast\' e risque, 279 , (2002), 1–80

    work page 2002

  9. [9]

    Unipotent monodromy and arithmetic D -modules , manuscripta math

    Daniel Caro. Unipotent monodromy and arithmetic D -modules , manuscripta math. 156 , (2018), 81–115

    work page 2018

  10. [10]

    Arithmetic -modules over algebraic varieties of characteristic p > 0 , arXiv:1909.08432, (2021)

    Daniel Caro. Arithmetic -modules over algebraic varieties of characteristic p > 0 , arXiv:1909.08432, (2021)

    work page arXiv 1909

  11. [11]

    Arithmetic -modules over Laurent series fields: absolute case , arXiv:2103.10362, (2021)

    Daniel Caro. Arithmetic -modules over Laurent series fields: absolute case , arXiv:2103.10362, (2021)

    work page arXiv 2021

  12. [12]

    Logarithmic p -bases and arithmetical differential modules

    Daniel Caro and David Vauclair. Logarithmic p -bases and arithmetical differential modules . Ann. Inst. Fourier., 72 , no. 3, (2002), 1011–1096

    work page 2002

  13. [13]

    Th\' e orie de Hodge, II , IHES Publ

    Pierre Deligne. Th\' e orie de Hodge, II , IHES Publ. Math. 40 , (1971), 5–57

    work page 1971

  14. [14]

    The explicit reciprocity law and the cohomology of Fontaine-Messing , Bulletin de la S

    Kazuya Kato. The explicit reciprocity law and the cohomology of Fontaine-Messing , Bulletin de la S. M. F., 119 , (1991), 397–441

    work page 1991

  15. [15]

    Rigid Cohomology over Laurent Series Fields , Springer

    Christopher Lazda and Ambrus P\' a l. Rigid Cohomology over Laurent Series Fields , Springer. Algebra and Applications., 21 , (2016)

    work page 2016

  16. [16]

    Vanishing cycles for algebraic -modules , thesis, (2009)

    Sam Lichtenstein. Vanishing cycles for algebraic -modules , thesis, (2009)

    work page 2009

  17. [17]

    La suite spectrale des poids en cohomologie de Hyodo- Kato

    Abdelhafid Mokrane. La suite spectrale des poids en cohomologie de Hyodo- Kato . Duke Math. J., 72 , (1993), 301–337

    work page 1993

  18. [18]

    Cohomologie cristalline des vari\' e t\' e s ouvertes

    Abdelhafid Mokrane. Cohomologie cristalline des vari\' e t\' e s ouvertes . Rev. Maghrebine Math., 2 , (1993), 161–175

    work page 1993

  19. [19]

    p -Adic Weight Spectral Sequences of Log Varieties

    Yukiyoshi Nakkajima. p -Adic Weight Spectral Sequences of Log Varieties . J. Math. Sci. Univ. Tokyo., 12 , (2005), 513–661

    work page 2005

  20. [20]

    Weight Filtrations on Log Crystalline Cohomologies of Families of Open Smooth Varieties

    Ykiyoshi Nakkajima, Atushi Shiho. Weight Filtrations on Log Crystalline Cohomologies of Families of Open Smooth Varieties . Springer. Lecture Notes in Mathematics., 1959 , (2008)

    work page 1959

  21. [21]

    Degeneration of l -adic weight spectral sequences

    Chikara Nakayama. Degeneration of l -adic weight spectral sequences . Amer. J. Math., 122 , no. 4, (2000), 721–733

    work page 2000

  22. [22]

    U ber die lokale Zetafunktion von Shimuravariet\

    Michael Rapoport and Thomas Zink. \" U ber die lokale Zetafunktion von Shimuravariet\" a ten. Monodromiefiltration und verschwindende Zyklen in ungleicher Charakteristik , Invent. Math., 68 , (1982), 21–102

    work page 1982

  23. [23]

    Weight spectral sequences and independence of , J

    Takeshi Saito. Weight spectral sequences and independence of , J. Inst. Math. Jussieu., 2 , (2003), 583–634

    work page 2003

  24. [24]

    Joseph H. M. Steenbrink. Logarithmic embeddings of varieties with normal crossings and mixed Hodge structures . Math. Ann., 301 , (1995), 105–118

    work page 1995

  25. [25]

    On the p -adic nearby cycles of log smooth families

    Takeshi Tsuji. On the p -adic nearby cycles of log smooth families . Bulletin de la S. M. F., 128 , no 4, (2000), 529–575

    work page 2000