pith. sign in

arxiv: 2604.17799 · v1 · submitted 2026-04-20 · 🧮 math.NT · math.AG

Semistable Reduction Theorem for Overconvergent F-isocrystals over Laurent Series Fields

Yuanmin Liu This is my paper

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

classification 🧮 math.NT math.AG
keywords semistable reductionoverconvergent F-isocrystalsrigid cohomologyLaurent series fieldsfinite dimensionalitycompact supportp-adic cohomology
0
0 comments X

The pith

Overconvergent F-isocrystals over Laurent series fields admit semistable reduction after finite base extension.

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

The paper proves the semistable reduction theorem for E^dag_K-valued and K-valued overconvergent F-isocrystals on varieties over the Laurent series field k((t)). These isocrystals were previously introduced by Lazda and Pál. The result shows that a finite extension of the base allows the isocrystal to acquire a semistable model. As a direct consequence the rigid cohomology with compact support becomes finite-dimensional in the E^dag_K-valued case. This supplies a new tool for controlling p-adic cohomology invariants when the base is a Laurent series field rather than a number field or a finite field.

Core claim

The semistable reduction theorem holds for both E^dag_K-valued and K-valued overconvergent F-isocrystals over k((t))-varieties: after a finite extension of the base, the isocrystal admits a semistable reduction. The same theorem directly implies that the rigid cohomology groups with compact support of E^dag_K-valued overconvergent F-isocrystals are finite-dimensional.

What carries the argument

The semistable reduction theorem for overconvergent F-isocrystals, which guarantees that the object becomes semistable after finite base change.

If this is right

  • After finite base extension the isocrystals admit semistable models that can be used for further calculations.
  • Rigid cohomology with compact support is finite-dimensional for the E^dag_K-valued case.
  • Cohomological invariants of these isocrystals become computable in the Laurent series setting.
  • The result supplies a reduction step that can be inserted into other arguments about p-adic cohomology over function fields of positive characteristic.

Where Pith is reading between the lines

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

  • The same reduction technique might apply to other coefficient categories defined over Laurent series bases.
  • Finite-dimensionality could be used to define weight filtrations or monodromy operators in this context.
  • The theorem opens a route to comparing cohomology over Laurent series fields with cohomology over global fields of positive characteristic.

Load-bearing premise

The foundational properties and definitions of the overconvergent F-isocrystals introduced by Lazda and Pál continue to hold without change when the base is changed to a Laurent series field.

What would settle it

An explicit example of an overconvergent F-isocrystal over a k((t))-variety for which no finite extension of the base produces a semistable reduction, or for which the compact-support rigid cohomology groups are infinite-dimensional.

read the original abstract

We prove the semistable reduction theorem for $\mathcal{E}^{\dag}_K$-valued and $K$-valued overconvergent $F$-isocrystals over $k((t))$-varieties which were introduced by Lazda and P\'{a}l. As an application, we prove the finite dimensionality of $\mathcal{E}^{\dag}_K$-valued rigid cohomology with compact support.

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 manuscript proves the semistable reduction theorem for E^dag_K-valued and K-valued overconvergent F-isocrystals over k((t))-varieties, building on the constructions introduced by Lazda and Pál. It then applies the theorem to establish the finite dimensionality of E^dag_K-valued rigid cohomology with compact support.

Significance. If the central claims hold, the result would extend semistable reduction theorems to the setting of Laurent series fields, a base of independent interest in p-adic arithmetic geometry. The finite-dimensionality application would supply a concrete tool for bounding dimensions in rigid cohomology, potentially aiding computations and comparisons with other cohomology theories.

major comments (2)
  1. [Introduction] Introduction and setup sections: the proof takes as given the key structural properties of the Lazda-Pál overconvergent F-isocrystals (existence of suitable filtrations, behavior of overconvergence radius under base change, and Frobenius compatibility with rigid cohomology) without deriving or verifying the necessary adaptations to the base field k((t)). The passage from finite fields or complete DVRs to Laurent series introduces new ramification and convergence questions that are load-bearing for the semistable reduction statement.
  2. [Application] Application paragraph (following the main theorem): the finite-dimensionality claim for rigid cohomology with compact support is deduced directly from the semistable reduction result; any gap in the foundational assumptions for k((t)) therefore propagates to this corollary.
minor comments (2)
  1. [Abstract] Abstract: the notation E^dag_K is introduced without a parenthetical reference or short definition; a brief reminder would improve readability for readers outside the immediate subfield.
  2. [References] References: confirm that the citation to Lazda-Pál includes the precise title and arXiv number of their foundational paper on overconvergent F-isocrystals.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their thorough review and insightful comments on our manuscript. The points raised highlight important aspects of the foundational setup and the application of our main theorem. We address each major comment below and indicate the revisions we will make to the manuscript.

read point-by-point responses

  1. Referee: [Introduction] Introduction and setup sections: the proof takes as given the key structural properties of the Lazda-Pál overconvergent F-isocrystals (existence of suitable filtrations, behavior of overconvergence radius under base change, and Frobenius compatibility with rigid cohomology) without deriving or verifying the necessary adaptations to the base field k((t)). The passage from finite fields or complete DVRs to Laurent series introduces new ramification and convergence questions that are load-bearing for the semistable reduction statement.

    Authors: We thank the referee for pointing this out. The manuscript builds directly upon the framework introduced by Lazda and Pál for overconvergent F-isocrystals on k((t))-varieties. However, to ensure the proof is robust, we agree that explicit verification of the key properties—such as the existence of suitable filtrations, the behavior of the overconvergence radius under base change, and the compatibility of Frobenius with rigid cohomology—is necessary when adapting to the Laurent series field setting. In the revised manuscript, we will insert a new subsection in the setup section that derives these properties from the general theory, carefully addressing the additional ramification and convergence issues specific to k((t)). This will strengthen the self-contained nature of the argument without altering the main results. revision: yes

  2. Referee: [Application] Application paragraph (following the main theorem): the finite-dimensionality claim for rigid cohomology with compact support is deduced directly from the semistable reduction result; any gap in the foundational assumptions for k((t)) therefore propagates to this corollary.

    Authors: We concur that the finite-dimensionality of E^dag_K-valued rigid cohomology with compact support follows directly from the semistable reduction theorem. Consequently, bolstering the foundational verifications as described in response to the first comment will also secure this application. In the revision, we will elaborate the application paragraph to provide a more detailed sketch of the deduction, making explicit the logical steps and confirming that no unresolved issues from the base field propagate to the corollary. revision: yes

Circularity Check

0 steps flagged

No circularity; theorem extends external prior definitions without self-referential reduction

full rationale

The paper states that it proves the semistable reduction theorem for objects introduced by Lazda and Pál, treating their foundational properties as given. No equations, fitted parameters, or self-citations appear in the provided abstract or description that reduce the claimed result to its inputs by construction. The derivation is therefore independent of the present paper's own content and relies on externally introduced structures, consistent with standard mathematical extension of prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review provides no explicit list of free parameters or invented entities; the work relies on prior definitions.

axioms (1)
  • domain assumption The definitions and basic properties of overconvergent F-isocrystals over k((t))-varieties as introduced by Lazda and Pál hold in this context.
    The paper builds directly on these objects without re-deriving their foundations.

pith-pipeline@v0.9.0 · 5354 in / 1271 out tokens · 40074 ms · 2026-05-10T04:23:55.264333+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

28 extracted references · 28 canonical work pages

  1. [1]

    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 preprint arXiv:2208.10137, 2022

    work page arXiv 2022

  2. [2]

    Proper pushforwards on analytic adic spaces.The Quarterly Journal of Mathematics, 76(1):147–183, 2025

    Tomoyuki Abe and Christopher Lazda. Proper pushforwards on analytic adic spaces.The Quarterly Journal of Mathematics, 76(1):147–183, 2025

    work page 2025

  3. [3]

    Cohomologie rigide et cohomologie rigide ` a support propre premi` ere partie

    Pierre Berthelot. Cohomologie rigide et cohomologie rigide ` a support propre premi` ere partie. Pr´ epublication IRMAR 96–03, 1996

    work page 1996

  4. [4]

    Finitude et puret´ e cohomologique en cohomologie rigide avec un appendice par aise johan de jong.Inventiones mathematicae, 128(2), 1997

    Pierre Berthelot. Finitude et puret´ e cohomologique en cohomologie rigide avec un appendice par aise johan de jong.Inventiones mathematicae, 128(2), 1997

    work page 1997

  5. [5]

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

    Daniel Caro. ArithmeticD-modules over laurent series fields: absolute case.arXiv preprint arXiv:2103.10362, 2021

    work page arXiv 2021

  6. [6]

    Overholonomicity of overconvergent F-isocrystals over smooth varieties.Annals of Mathematics, pages 747–813, 2012

    Daniel Caro and Nobuo Tsuzuki. Overholonomicity of overconvergent F-isocrystals over smooth varieties.Annals of Mathematics, pages 747–813, 2012

    work page 2012

  7. [7]

    Pentes en cohomologie rigide et f-isocristaux unipo- tents.manuscripta mathematica, 100(4):455–468, 1999

    Bruno Chiarellotto and Bernard Le Stum. Pentes en cohomologie rigide et f-isocristaux unipo- tents.manuscripta mathematica, 100(4):455–468, 1999

    work page 1999

  8. [8]

    A. J. De Jong. Smoothness, semi-stability and alterations.Publications Math´ ematiques de l’IH ´ES, 83:51–93, 1996

    work page 1996

  9. [9]

    European Mathemat- ical Society Z¨ urich, 2018

    Kazuhiro Fujiwara and Fumiharu Kato.Foundations of rigid geometry. European Mathemat- ical Society Z¨ urich, 2018

    work page 2018

  10. [10]

    A note on weakly complete algebras.Bulletin of the American Mathematical Society, 75:591–593, 1969

    William Fulton. A note on weakly complete algebras.Bulletin of the American Mathematical Society, 75:591–593, 1969

    work page 1969

  11. [11]

    A generalization of formal schemes and rigid analytic varieties.Mathematische Zeitschrift, 217(1):513–551, 1994

    Roland Huber. A generalization of formal schemes and rigid analytic varieties.Mathematische Zeitschrift, 217(1):513–551, 1994

    work page 1994

  12. [12]

    ´Etale cohomology of rigid analytic varieties and adic spaces, volume 30

    Roland Huber. ´Etale cohomology of rigid analytic varieties and adic spaces, volume 30. Springer, 2013. 54

    work page 2013

  13. [13]

    Logarithmic structures of fontaine-illusie.Algebraic analysis, geometry, and number theory, Proceedings of the JAMI Inaugual-Conference, pages 191–224, 1988

    Kazuya Kato. Logarithmic structures of fontaine-illusie.Algebraic analysis, geometry, and number theory, Proceedings of the JAMI Inaugual-Conference, pages 191–224, 1988

    work page 1988

  14. [14]

    Finiteness of rigid cohomology with coefficients.Duke Mathematical Journal, 134(1):15–97, 2006

    Kedlaya Kedlaya. Finiteness of rigid cohomology with coefficients.Duke Mathematical Journal, 134(1):15–97, 2006

    work page 2006

  15. [15]

    More ´ etale covers of affine spaces in positive characteristic.Journal of Algebraic Geometry, 14(1):187–192, 2005

    Kiran Kedlaya. More ´ etale covers of affine spaces in positive characteristic.Journal of Algebraic Geometry, 14(1):187–192, 2005

    work page 2005

  16. [16]

    Semistable reduction for overconvergent F-isocrystals I: Unipotence and loga- rithmic extensions.Compositio Mathematica, 143(5):1164–1212, 2007

    Kiran Kedlaya. Semistable reduction for overconvergent F-isocrystals I: Unipotence and loga- rithmic extensions.Compositio Mathematica, 143(5):1164–1212, 2007

    work page 2007

  17. [17]

    Semistable reduction for overconvergent F-isocrystals, II: A valuation-theoretic approach.Compositio Mathematica, 144(3):657–672, 2008

    Kiran Kedlaya. Semistable reduction for overconvergent F-isocrystals, II: A valuation-theoretic approach.Compositio Mathematica, 144(3):657–672, 2008

    work page 2008

  18. [18]

    Semistable reduction for overconvergent F-isocrystals, III: Local semistable reduction at monomial valuations.Compositio Mathematica, 145(1):143–172, 2009

    Kiran Kedlaya. Semistable reduction for overconvergent F-isocrystals, III: Local semistable reduction at monomial valuations.Compositio Mathematica, 145(1):143–172, 2009

    work page 2009

  19. [19]

    Semistable reduction for overconvergent F-isocrystals, IV: Local semistable reduction at nonmonomial valuations.Compositio Mathematica, 147(2):467–523, 2011

    Kiran Kedlaya. Semistable reduction for overconvergent F-isocrystals, IV: Local semistable reduction at nonmonomial valuations.Compositio Mathematica, 147(2):467–523, 2011

    work page 2011

  20. [20]

    Monodromy representations ofp-adic differential equations in families.arXiv preprint arXiv:2209.00593, 2022

    Kiran Kedlaya. Monodromy representations ofp-adic differential equations in families.arXiv preprint arXiv:2209.00593, 2022

    work page arXiv 2022

  21. [21]

    Relative p-adic hodge theory, II: Imperfect period rings

    Kiran Kedlaya and Ruochuan Liu. Relative p-adic hodge theory, II: Imperfect period rings. arXiv preprint arXiv:1602.06899, 2016

    work page arXiv 2016

  22. [22]

    A note on effective descent for overconvergent isocrystals.Journal of Number Theory, 237:395–410, 2022

    Christopher Lazda. A note on effective descent for overconvergent isocrystals.Journal of Number Theory, 237:395–410, 2022

    work page 2022

  23. [23]

    Rigidification of arithmeticD-modules and an overconvergent riemann- hilbert correspondence.arXiv preprint arXiv:2304.07181, 2023

    Christopher Lazda. Rigidification of arithmeticD-modules and an overconvergent riemann- hilbert correspondence.arXiv preprint arXiv:2304.07181, 2023

    work page arXiv 2023

  24. [24]

    Springer, 2016

    Christopher Lazda and Ambrus P´ al.Rigid cohomology over Laurent series fields, volume 21. Springer, 2016

    work page 2016

  25. [25]

    Formal cohomology: I.Annals of Mathematics, 88(2):181–217, 1968

    Paul Monsky and Gerard Washnitzer. Formal cohomology: I.Annals of Mathematics, 88(2):181–217, 1968

    work page 1968

  26. [26]

    Crystalline fundamental groups

    Atsushi Shiho. Crystalline fundamental groups. II. log convergent cohomology and rigid coho- mology.J. Math. Sci. Univ. Tokyo, 9(1):1–163, 2002

    work page 2002

  27. [27]

    Relative log convergent cohomology and relative rigid cohomology I.arXiv preprint arXiv:0707.1742, 2008

    Atsushi Shiho. Relative log convergent cohomology and relative rigid cohomology I.arXiv preprint arXiv:0707.1742, 2008

    work page arXiv 2008

  28. [28]

    Rigid cohomology of locally noetherian schemes part 1: geometry.arXiv preprint arXiv:1707.02797, 2017

    Bernard Le Stum. Rigid cohomology of locally noetherian schemes part 1: geometry.arXiv preprint arXiv:1707.02797, 2017. 55

    work page arXiv 2017