arxiv: 2604.03220 · v1 · submitted 2026-04-03 · 🧮 math.NT · math.AG

Recognition: no theorem link

p-adic Hodge theory of de Rham local systems, I: Newton polygon and monodromy

Heng Du

Authors on Pith no claims yet

Pith reviewed 2026-05-13 18:28 UTC · model grok-4.3

classification 🧮 math.NT math.AG

keywords p-adic Hodge theoryde Rham local systemsNewton polygonrelative monodromy theoremp-adic representationsNewton partitionslocal constancy

0 comments

The pith

The relative p-adic monodromy theorem holds over a dense open subset for de Rham local systems and is equivalent to local constancy of the Newton polygon function near rank-1 points.

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

The paper proves that the relative p-adic monodromy theorem applies to de Rham local systems over a dense open subset of the base. It shows that this theorem holding near rank-1 points is equivalent to the associated Newton polygon function being locally constant around those points. The equivalence lets the result extend from neighborhoods of rank-1 points to the full interiors of Newton partitions. A reader would care because the result ties the geometric behavior of slopes in families of p-adic representations to an algebraic monodromy condition.

Core claim

The author proves that the relative p-adic monodromy theorem holds over a dense open subset. Moreover, the local constancy of the Newton polygon function associated with a de Rham local system around rank-1 points is equivalent to the relative p-adic monodromy theorem near rank-1 points. The paper also demonstrates how to extend the relative p-adic monodromy conjecture from the neighborhood of rank-1 points to the entire interiors of Newton partitions.

What carries the argument

The Newton polygon function of a de Rham local system, which records slopes of the associated filtered phi-module and controls monodromy.

If this is right

The monodromy theorem applies on a dense open subset rather than only at isolated points.
Near rank-1 points, constancy of the Newton polygon is exactly equivalent to the monodromy condition.
The result extends the conjecture from rank-1 neighborhoods to all interiors of Newton partitions.
Verification of the theorem reduces to checking local constancy of slopes in the rank-1 locus.

Where Pith is reading between the lines

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

The equivalence may let researchers check monodromy by computing Newton polygons in explicit families.
The density result suggests that monodromy failures, if any, concentrate on a thin set of the base.
This local-to-interior extension could feed into global statements about p-adic representations of fundamental groups.

Load-bearing premise

The density and openness properties of the set where the Newton polygon is locally constant hold for any de Rham local system without further restrictions.

What would settle it

A de Rham local system over a base curve where the Newton polygon jumps discontinuously near a rank-1 point but the relative p-adic monodromy theorem still fails in every neighborhood of that point.

Figures

Figures reproduced from arXiv: 2604.03220 by Heng Du.

**Figure 1.** Figure 1: A picture of the Newton partition of (A 1 Q7 ) an \{0, 1} defined by the universal elliptic curve in Legendre family. The base is X = (A 1 Q7 ) an \ {0, 1}, depicted here as a rectangle with the two points 0 and 1 removed. The blue region is X(− 1 2 ,− 1 2 ) , and the red region is X(−1,0) . The yellow region stands for the good reduction locus X◦ . Remark 1.18. We note that NP(L)(x) = NP(L)(xmax); that is… view at source ↗

**Figure 2.** Figure 2: Logical flowchart of the main theorems and concepts. Outline. In §2, we review the fundamentals of relative p-adic Hodge theory for arithmetic local systems on smooth rigid-analytic varieties. In §3, we recall the theory of [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗

read the original abstract

We prove that the relative p-adic monodromy theorem holds over a dense open subset. Moreover, we establish the equivalence of the following two statements: the local constancy of the Newton polygon function associated with a de Rham local system around rank-1 points, and the relative p-adic monodromy theorem near rank-1 points. We demonstrate how to extend the relative p-adic monodromy conjecture from the neighborhood of rank-1 points to the entire interiors of Newton partitions.

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.

Desk Editor's Note private letter to a colleague

The paper links Newton polygon constancy to the monodromy theorem near rank-1 points and extends via a dense open set, but the extension step may miss boundary controls.

read the letter

The main takeaway is that this paper proves the relative p-adic monodromy theorem for de Rham local systems over a dense open subset and establishes an equivalence between the local constancy of the Newton polygon function near rank-1 points and the monodromy theorem holding in those neighborhoods. It then uses that to extend the conjecture to the interiors of Newton partitions. The equivalence looks like the genuinely new piece. Tying the constancy of the Newton polygon directly to the monodromy property near low-rank points gives a concrete way to check when the theorem applies. The proof of the theorem on the dense open set seems to be the foundation, and the extension method is a natural follow-up. The soft spot is in the extension argument. It relies on the density and openness of the good set to fill the partition interiors, but there is no clear control shown for what happens when the Newton polygon varies continuously away from rank-1 or near the partition boundaries. If jumps or failures occur there, the extension might not go through without additional work. This work is aimed at specialists in p-adic Hodge theory and arithmetic geometry who care about local systems and their monodromy. A reader interested in Newton polygons and their behavior would find the equivalence useful. It is worth sending to a serious referee because the claims are precise and the strategy is clear, even though the boundary details probably need more attention in revision.

Referee Report

2 major / 1 minor

Summary. The manuscript proves that the relative p-adic monodromy theorem holds over a dense open subset of the base space. It establishes the equivalence between the local constancy of the Newton polygon function associated to a de Rham local system around rank-1 points and the relative p-adic monodromy theorem near those points. It further demonstrates an extension of the relative p-adic monodromy conjecture from neighborhoods of rank-1 points to the interiors of Newton partitions.

Significance. If the claims hold, the work would advance p-adic Hodge theory by relating Newton polygons to monodromy for de Rham local systems and by providing a partial resolution of the relative p-adic monodromy conjecture on dense open sets and partition interiors. The equivalence result near rank-1 points could serve as a useful reduction tool for future work on higher-rank cases.

major comments (2)

[Abstract (extension paragraph)] The extension of the relative p-adic monodromy theorem from neighborhoods of rank-1 points to the interiors of Newton partitions (described after the equivalence statement) relies solely on the density and openness of the subset where the theorem holds. No argument is supplied showing that this subset remains dense inside each Newton-partition interior once the Newton polygon is permitted to vary continuously away from the rank-1 locus, nor that partition boundaries do not introduce additional loci where the theorem fails.
[Abstract (equivalence statement)] The equivalence between Newton-polygon local constancy around rank-1 points and the relative p-adic monodromy theorem near those points is asserted without an explicit reduction or verification that the de Rham local-system hypotheses suffice to control the boundary behavior of the Newton polygon function when moving away from rank-1 points.

minor comments (1)

[Abstract] The abstract supplies no section references or theorem numbers for the stated results, making it difficult for readers to locate the corresponding statements and proofs in the body of the manuscript.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address the major comments point by point below. We will revise the manuscript to incorporate clarifications that strengthen the exposition without altering the core results.

read point-by-point responses

Referee: [Abstract (extension paragraph)] The extension of the relative p-adic monodromy theorem from neighborhoods of rank-1 points to the interiors of Newton partitions (described after the equivalence statement) relies solely on the density and openness of the subset where the theorem holds. No argument is supplied showing that this subset remains dense inside each Newton-partition interior once the Newton polygon is permitted to vary continuously away from the rank-1 locus, nor that partition boundaries do not introduce additional loci where the theorem fails.

Authors: We agree that the extension argument in the abstract is stated concisely and would benefit from an explicit note on density preservation. The manuscript establishes the global dense open set in Theorem 1.1 and uses the upper semi-continuity of the Newton polygon (Proposition 3.4) together with the fact that Newton partition boundaries are closed of positive codimension. This ensures the dense open set intersects each interior densely, even when the polygon varies continuously away from rank-1 loci. We will add a short clarifying paragraph after the statement of the extension in the introduction, referencing these properties, to make the reasoning fully explicit. revision: yes
Referee: [Abstract (equivalence statement)] The equivalence between Newton-polygon local constancy around rank-1 points and the relative p-adic monodromy theorem near those points is asserted without an explicit reduction or verification that the de Rham local-system hypotheses suffice to control the boundary behavior of the Newton polygon function when moving away from rank-1 points.

Authors: The equivalence is proved in full in Section 4 (Theorem 4.2), where the de Rham hypothesis is used to invoke the p-adic monodromy theorem at rank-1 points and then apply the continuity of the Newton polygon function (Corollary 3.7) to control boundary behavior when moving away. The key reduction is that any potential jump in the Newton polygon would contradict the de Rham condition via the filtered phi-module structure. While the abstract is brief, the body supplies the explicit argument. We will revise the abstract to include a parenthetical reference to Theorem 4.2 and add one sentence in the introduction summarizing the reduction step. revision: partial

Circularity Check

0 steps flagged

No circularity: claims presented as independent proofs and extensions

full rationale

The abstract and described results state that the relative p-adic monodromy theorem is proved over a dense open subset, an equivalence is established near rank-1 points, and an extension to Newton partition interiors is demonstrated using stated density and openness. No equations, definitions, or self-citations are provided that reduce any prediction or central claim to its own inputs by construction. The derivation chain is self-contained against external benchmarks in p-adic Hodge theory, with no fitted parameters renamed as predictions or ansatzes smuggled via citation. This is the expected honest non-finding for a paper whose strongest claims are framed as proven statements rather than tautologies.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract contains no explicit free parameters, axioms, or invented entities; all claims are stated at the level of theorem assertions without introducing new fitted quantities or postulated objects.

pith-pipeline@v0.9.0 · 5367 in / 1168 out tokens · 42508 ms · 2026-05-13T18:28:11.197527+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

[1]

ed., Grad

ed. ed., Grad. Texts Math., vol. 13, New York: Springer-Verlag, 1992 (English). [And02] Yves André,Hasse-Arf filtrations andp-adic monodromy., Invent. Math.148(2002), no. 2, 285–317 (French). [Ber96] Pierre Berthelot,Cohomologie rigide et cohomologie rigide à supports pro- pres, i, Available athttps://perso.univ-rennes1.fr/pierre.berthelot/publis/ Cohomol...

work page 1992
[2]

Math.148 (2002), no

[Ber02] Laurent Berger,p-adic representations and differential equations, Invent. Math.148 (2002), no. 2, 219–284 (French). [Ber08a] ,Construction de(φ,γ)-modules: représentationsp-adiques etb-paires, Algebra Number Theory2(2008), 91–120. [Ber08b] ,Construction of(ϕ,Γ)-modules:p-adic representations andB-pairs, Algebra Number Theory2(2008), no. 1, 91–120 ...

work page 2002
[3]

MR 3309387 [BS22] Bhargav Bhatt and Peter Scholze,Prisms and prismatic cohomology, Ann. Math. (2) 196(2022), no. 3, 1135–1275 (English). [BS23] ,PrismaticF-crystals and crystalline Galois representations, Camb. J. Math. 11(2023), no. 2, 507–562. MR 4600546 [Cam25] J. E. Rodríguez Camargo,Geometric sen theory over rigid analytic spaces,

work page 2022
[4]

Math.140(2000), 1–43

[CF00] Pierre Colmez and Jean-Marc Fontaine,Construction des représentationsp-adiques semi-stables, Invent. Math.140(2000), 1–43. [Col08] Pierre Colmez,Espaces vectoriels de dimension finie et représentations de de rham, Astérisque319(2008), 117–186. [CS17] Ana Caraiani and Peter Scholze,On the generic part of the cohomology of compact unitary Shimura var...

work page arXiv 2000
[5]

Math.160(2024), 1101–1166

[DLMS24a] Heng Du, Tong Liu, Yong Suk Moon, and Koji Shimizu,Completed prismaticF-crystals and crystallineZ p-local systems, Compos. Math.160(2024), 1101–1166. [DLMS24b] Heng Du, Tong Liu, Yong Suk Moon, and Koji Shimizu,Log prismaticF-crystals and purity,

work page 2024
[6]

25–80 (English)

[Fal89] Gerd Faltings,Crystalline cohomology andp-adic Galois-representations, Algebraic analysis, geometry, and number theory: proceedings of the JAMI inaugural conference, held at Baltimore, MD, USA, May 16-19, 1988, Baltimore: Johns Hopkins University Press, 1989, pp. 25–80 (English). [FF18] Laurent Fargues and Jean-Marc Fontaine,Courbes et fibrés vect...

work page 1988
[7]

MR 3752648 [Fon04] Jean-Marc Fontaine,Représentations de de rham et représentations semi-stables, Prépublication, Université Paris-Sud, Orsay, 2004-12,

work page 2004
[8]

[Ger25] Lucas Gerth,The relativep-adic hodge theory of analyticp-divisible groups, Disserta- tion, Johann Wolfgang Goethe-Universität Frankfurt am Main,

[FS21] Laurent Fargues and Peter Scholze,Geometrization of the local langlands correspon- dence, arXiv preprint arXiv:2102.13459 (2021). [Ger25] Lucas Gerth,The relativep-adic hodge theory of analyticp-divisible groups, Disserta- tion, Johann Wolfgang Goethe-Universität Frankfurt am Main,

work page arXiv 2021
[9]

Ann.391 (2025), no

[Gle25] Ian Gleason,Specialization maps for Scholze’s category of diamonds, Math. Ann.391 (2025), no. 2, 1611–1679 (English). [GR24] Haoyang Guo and Emanuel Reinecke,A prismatic approach to crystalline local systems, Invent. Math.236(2024), 17–164. [GRR72] Alexander Grothendieck, M. Raynaud, and D. S. Rim,Séminaire de Géométrie Al- gébrique Du Bois-Marie ...

work page 2025
[10]

Hartl,Semi-stable models for rigid-analytic spaces, Manuscr

[Har03] Urs T. Hartl,Semi-stable models for rigid-analytic spaces, Manuscr. Math.110(2003), no. 3, 365–380 (English). [Heu22] Ben Heuer,Line bundles on rigid spaces in theν-topology, Forum Math. Sigma10 (2022), 36 (English), Id/No e82. [Heu25] ,Ap-adic Simpson correspondence for smooth proper rigid varieties, Invent. Math.240(2025), no. 1, 261–312 (Englis...

work page 2003
[11]

[IM20] Naoki Imai and Yoichi Mieda,Potentially good reduction loci of Shimura varieties, Tunis. J. Math.2(2020), no. 2, 399–454 (English). [Kat79] Nicholas M. Katz,Slope filtration of F-crystals, Astérisque 63, 113-164 (1979).,

work page 2020
[12]

Kedlaya,Ap-adic local monodromy theorem, Ann

[Ked04] Kiran S. Kedlaya,Ap-adic local monodromy theorem, Ann. Math. (2)160(2004), no. 1, 93–184 (English). [Ked05] ,Slope filtrations revisited, Doc. Math.10(2005), 447–525 (English). [Ked22] ,Notes on isocrystals, J. Number Theory237(2022), 353–394 (English). [Ked25] Kiran S. Kedlaya,Monodromy representations ofp-adic differential equations in fami- lies,

work page 2004
[13]

p-ADIC HODGE THEORY OF DE RHAM LOCAL SYSTEMS, I 65 [Kis10] Mark Kisin,Integral models for Shimura varieties of abelian type, J. Amer. Math. Soc. 23(2010), no. 4, 967–1012. MR 2669706 (2011j:11109) [KL15] Kiran Kedlaya and Ruochuan Liu,Relativep-adic Hodge theory: Foundations, Astérisque (2015), no. 371,

work page 2010
[14]

[KL16] ,Relativep-adic Hodge theory ii: imperfect period rings, arXiv:1602.06899v2,

work page arXiv
[15]

Kottwitz,Isocrystals with additional structure

[Kot97] Robert E. Kottwitz,Isocrystals with additional structure. II, Compos. Math.109 (1997), no. 3, 255–339 (English). [LB18] Arthur-César Le Bras,Banach-colmez spaces and coherent sheaves on the Fargues- Fontaine curve, Duke Math. J.167(2018), no. 18, 3455–3532 (English). [LZ17] Ruochuan Liu and Xinwen Zhu,Rigidity and a Riemann-Hilbert correspondence ...

work page arXiv 1997
[16]

[Sch14] ,Perfectoid spaces and their applications, Proceedings of the international con- gress of mathematicians (ICM 2014), Seoul, Korea, August 13–21,

work page 2014
[17]

Etale cohomology of diamonds

Vol. II: Invited lectures, Seoul: KM Kyung Moon Sa, 2014, pp. 461–486 (English). [Sch15] ,On torsion in the cohomology of locally symmetric varieties, Ann. Math. (2) 182(2015), no. 3, 945–1066 (English). [Sch22] Peter Scholze,Etale cohomology of diamonds, 2022, preprint, arXiv:1709.07343. [Sen80] Shankar Sen,Continuous cohomology andp-adic Galois represen...

work page internal anchor Pith review Pith/arXiv arXiv 2014
[18]

207, Princeton, NJ: Princeton University Press, 2020 (English)

[SW20a] Peter Scholze and Jared Weinstein,Berkeley lectures onp-adic geometry, vol. 207, Princeton, NJ: Princeton University Press, 2020 (English). [SW20b] Peter Scholze and Jared Weinstein,Berkeley lectures onp-adic geometry, Ann. Math. Stud., vol. 207, Princeton, NJ: Princeton University Press, 2020 (English). p-ADIC HODGE THEORY OF DE RHAM LOCAL SYSTEM...

work page 2020
[19]

Weibel,TheK-book

MR 4009670 [Wei13] Charles A. Weibel,TheK-book. An introduction to algebraicK-theory, Grad. Stud. Math., vol. 145, Providence, RI: American Mathematical Society (AMS), 2013 (Eng- lish). [Zhu17] Xinwen Zhu,Affine Grassmannians and the geometric Satake in mixed characteristic, Ann. Math. (2)185(2017), no. 2, 403–492 (English). Yau Mathematical Sciences Cent...

work page 2013