New cases of Dwork's conjecture on asymptotic behaviors of solutions of $p$-adic differential equations without solvability

Shun Ohkubo

REVIEW 1 major objections 4 minor 18 references

New cases of Dwork's conjecture on asymptotic behaviors of solutions of $p$-adic differential equations without solvability

T0 review · 1 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read New cases proved for Dwork's p-adic solution-growth conjecture

desk verdict Proves Dwork's conjecture for two new families by an exterior-power descent trick; the stress-test worry about Q's horizontal basis evaporates on reading—the proof never uses it. read the letter →

arxiv 2411.16562 v1 pith:NLLBNHPT submitted 2024-11-25 math.NT

Shun Ohkubo This is my paper · ORCID

classification math.NT MSC 12H25

keywords Dworkconjecturep-adicdifferentialequationslogarithmicgrowthhorizontalsectionssubsidiarygenericradiimodulestransfertheoremsolvability

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Solutions of $p$-adic differential equations on the open unit disc can grow logarithmically near the boundary; Dwork proved that, when the equation is solvable, every horizontal section has logarithmic order at most $m-1$. This paper establishes Dwork's conjecture for a broader class of equations that may not be solvable: the conjecture asserts that the bound should be $n-1$, where $n$ is the actual number of horizontal sections. The main theorem proves the conjecture for every nonzero finite free differential module whose $(m-n)$-th subsidiary generic radius of convergence has limit strictly below $1$ at the boundary, and in particular whenever $n=m-1$. The proof produces a solvable rank-$n$ submodule whose horizontal sections coincide with those of the original module, then applies Dwork's solvable theorem to that submodule. If correct, the conjecture is now certified for these new families and the growth filtration is determined without assuming solvability.

What carries the argument

The central device is Condition (D): a triple $(L,\phi,\theta)$ consisting of a rank-$n$ finite free differential submodule $L\subset M$ over $K[[t]]_0$, with $L\otimes K\{t\}\cong P:=H^0(M\otimes K\{t\})\otimes K\{t\}$ compatibly with the inclusion into $M$. When Condition (D) holds, Proposition 4.4 shows Conjecture 1.2 follows by applying Dwork's theorem to the solvable module $L$. To produce $L$, the paper uses the Kedlaya–Xiao decomposition $Q\oplus Q'$ over $K\langle\alpha/t,t]]_0$ separating the top $n$ subsidiary generic radii from the smaller ones, an exterior-power descent argument analogous to Kedlaya's trick for $\phi$-modules to obtain a horizontal section $e\in\wedge^n M$, and then defines $L$ as the kernel of $x\mapsto x\wedge e$.

What would settle it

Construct a rank-$2$ module $M$ over $K[[t]]_0$ with $n=1$ and $\lim_{\rho\to 1-0} R_1(M,\rho)<1$ whose unique horizontal section has logarithmic growth order strictly greater than $0$; the conjecture predicts such a section is bounded in logarithmic order by $0$. More generally, take any module covered by Theorem 1.4 with $n<m-1$ and compute the logarithmic order of its horizontal sections: a single section of order strictly larger than $n-1$ would disprove Conjecture 1.2 in the new cases.

Watch

Extended reading notes

Core claim

Conjecture 1.2 predicts that for a rank-$m$ finite free differential module $M$ over $K[[t]]_0$ with $n=\dim_K H^0(M\otimes K\{t\})$, the whole space of horizontal sections lies in $\mathrm{Fil}^{n-1}$, i.e. every horizontal solution has logarithmic order at most $n-1$. The paper proves two new cases. If $\lim_{\rho\to 1-0} R_{m-n}(M\otimes K(t)_\rho)<1$, then Conjecture 1.2 holds for $M$; and if $n=m-1$, it holds as well. The proof uses the Kedlaya–Xiao decomposition of $M\otimes K\langle\alpha/t,t]]_0$ into a rank-$n$ summand $Q$ carrying the top $n$ subsidiary generic radii, all equal to $1$, and a complementary summand $Q'$ carrying the smaller radii, and shows that the horizontal-section module $P=H^0(M\otimes K\{t\})\otimes K\{t\}$ maps isomorphically into $Q$. An exterior-power descent then yields a horizontal section $e\in\wedge^n M$, and the kernel $L$ of $x\mapsto x\wedge e$ is a solvable rank-$n$ differential submodule whose horizontal sections are exactly those of $M$. Dwork's theorem 1.1 applied to $L$ gives the desired filtration statement.

Load-bearing premise

The proof rests on Kedlaya and Xiao's decomposition theorem, cited as a black box: it assumes that whenever the subsidiary generic radii satisfy the required gap, the module over $K\langle\alpha/t,t]]_0$ splits as $Q\oplus Q'$ with exactly those radii, and if that splitting fails for some $M$, the construction of the submodule $L$ collapses.

Editorial extensions

If this is right

For every nonzero $M$ with $n=m-1$, Conjecture 1.2 holds, so the horizontal sections are governed by the bound $m-2$ and are realized by a solvable rank-$(m-1)$ submodule.
The radius criterion $\lim_{\rho\to 1-0} R_{m-n}(M,1)<1$ is checkable from the subsidiary generic radii, so the theorem gives a practical sufficient condition for the filtration statement whenever $n<m$.
Combined with the previously known cases $m\le 2$ and $n=m,0$, the conjecture is now established for all modules in the new families, including the previously open rank $3$ case with $n=2$.
The horizontal sections of $M$ and of the constructed submodule $L$ coincide, so Dwork's solvable theorem transfers the top logarithmic-growth bound from $L$ to $M$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The full conjecture will require a different argument exactly when $\lim_{\rho\to 1-0} R_{m-n}(M,1)=1$ with $n<m$, because that is where the Hom-vanishing step that constructs the isomorphism $P\otimes K\langle\alpha/t,t\}\cong Q\otimes K\langle\alpha/t,t\}$ breaks down.
The exterior-power descent that produces the horizontal section $e\in\wedge^n M$ may carry more information than the single bound $n-1$; tracking the growth of the sections that build $e$ could refine the log-growth filtration beyond its top index inside the new cases.
Since Lemma 4.7 identifies $n=m$ with $R_1(M,1)=1$, the conjecture could be restated as a purely radius-theoretic statement about the first subsidiary radius at $\rho=1$ and the dimension of the horizontal-section space.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Hi [Name],

Short version: the paper is real. It extends Dwork's conjecture on logarithmic growth of p-adic solutions to two new families: any rank when n=m-1, and any rank satisfying lim R_{m-n}<1. The method is an exterior-power descent that reduces the problem to constructing a solvable rank-n submodule; it's a genuine extension of Ohkubo's earlier rank-2 result, not a rehash.

The proof's spine is Theorem 4.5. Given the assumption R_{m-n}(M,1)<1, it pulls out a Kedlaya-Xiao decomposition Q⊕Q' over the bounded annulus, builds an isomorphism Γ between P and Q, and glues the n-th exterior powers to get an e∈∧^nM with D(e)=0. The gluing uses the Milnor square for K[[t]]_0, K{t}, and K⟨α/t,t]]_0. I checked the step the stress-test flagged: the sentence claiming a basis {g_i} of Q with D(g_i)=0. That claim is indeed unsupported and usually false—a rank-one module with D(e)=λ/t e, |λ|=|p|^{1/(p-1)}, λ∉Z, has all radii 1 but no horizontal sections. But the proof never actually uses D(g_i)=0. It only needs a basis of Q to form the wedge; the argument for D(e)=0 goes through τ(e), the P-side, not the Q-side. So the stress-test note misses the mark. The sentence should be deleted or fixed, but it's a cosmetic flaw, not a gap.

The only genuine soft spot is the reliance on Kedlaya-Xiao as a black box. That's standard practice and the cited theorem is published, so it's not a weakness in any serious sense. The rest of the proof—the vanishing of Hom to get Γ, the wedge-image equality, the exact sequence gluing—is coherent and self-contained.

Who's this for? Specialists in p-adic differential equations, G-functions, and Dwork's conjecture. They should read it. It doesn't resolve the full conjecture but it's the first progress in years on the non-solvable side.

Send it to peer review. The math looks solid, the exposition is mostly clean, and the result is worth having on record.

Best, [Your name]

Referee Report

1 major / 4 minor

Summary. The paper proves new cases of Dwork's conjecture on the logarithmic growth of horizontal sections of p-adic differential modules over the bounded unit disc. The main result, Theorem 1.4, gives two sufficient conditions under which the conjecture holds: (i) lim_{ρ→1-0} R_{m-n}(M⊗K(t)_ρ) < 1, and (ii) n = m-1. The proof strategy is to construct a solvable rank-n submodule L of M and then apply Dwork's theorem for solvable modules. The construction uses a decomposition theorem of Kedlaya-Xiao over a bounded annulus, an exterior-power argument, and a gluing exact sequence. The paper also proves a Dwork transfer theorem over K[[t]]_0 and establishes Condition (D) in the rank-2 case, recovering the author's previous result.

Significance. Assuming the proof can be completed, this is a substantial advance: it goes beyond the previously known rank-2 and trivial cases, and the exterior-power/gluing technique is elegant and potentially reusable. The paper is careful in setting up the necessary algebraic machinery (Property (P), elementary divisor rings, subsidiary radii) and gives reasonably self-contained proofs, with the main external input being the Kedlaya-Xiao decomposition. However, the central construction currently relies on an unproven assertion about the existence of a horizontal basis for the summand Q, which is load-bearing. The significance is high if the gap is fixable; otherwise the main theorem is not established.

major comments (1)

[§4, proof of Theorem 4.5] The proof asserts that there exists a basis {g_1,...,g_n} of Q with D(g_i)=0, but this is not justified by the cited decomposition. The cited Kedlaya-Xiao theorem and [Ohk19, Theorem 3.5] only guarantee that Q' realizes the first m-n subsidiary generic radii; they do not assert that the complementary summand Q is solvable over the bounded annulus K⟨α/t,t]]_0. The condition that all subsidiary generic radii of Q equal 1 does not imply a horizontal basis for modules over K⟨α/t,t]]_0: for example, over a ramified coefficient field, the rank-one module Q=K⟨α/t,t]]_0 e with D(e)=λ t^{-1}e, λ∉Z and |λ|=|p|^{1/(p-1)}, has R_1(Q,ρ)=ρ for ρ∈(α,1) yet has H^0(Q)=0. The subsequent gluing step that produces e∈∧^n M depends crucially on the chosen g_i lying in Q (not merely in Q⊗K⟨α/t,t}). Without a proof or a precise citation of a stronger decomposition statement, the central construction in Theorem 4.5 is incomplete.

minor comments (4)

[§3, definition of F_i(M,r)] The displayed formula for F_i(M,r) repeats R_1 in every term; it should be R_1,...,R_i.
[§1, Theorem 1.4(i)] The notation R_{m-n}(M⊗K(t)_ρ) is used in the introduction before the subsidiary generic radii are defined in §3; consider moving the definition earlier or adding a forward reference.
[§4, proof of Lemma 4.7] The claim that there exists α∈(0,1) such that F_m(M,r)=mr for r∈[α,+∞) is stated without proof or reference. A short justification or a precise citation to [Ked22, Proposition 9.3.3] would improve readability.
[§4, proof of Theorem 4.5] The exact sequence 0→K[[t]]_0→K{t}×K⟨α/t,t]]_0→K⟨α/t,t}→0 is used without proof; it would be helpful to cite a standard reference (e.g., [Ked22]) for this Mayer-Vietoris type sequence.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof reduces Conjecture 1.2 to constructing a solvable submodule via the external Kedlaya-Xiao decomposition and standard transfer theorems; the author's prior rank-2 result is used only as a base case.

full rationale

The derivation chain is not circular. Theorem 1.4 is proved by first establishing Condition (D), i.e., the existence of a rank-n solvable submodule L, and then applying the independent Dwork theorem (Theorem 1.1) to L; this is a reduction to an external theorem, not an assumption of the target conjecture. The key decomposition Q ⊕ Q′ is imported from [KX10, Theorem 2.3.9, Remark 2.3.11], with [Ohk19, Theorem 3.5] cited only as a detailed write-up of that same external result, not as an unverified self-citation carrying the argument. The separation of subsidiary radii is proved from the hypothesis R_{m-n}(M,1) < 1 together with [Ked22, Theorem 11.3.2], and the gluing construction via exterior powers and the exact sequence 0 → K[[t]]_0 → K{t} × K⟨α/t,t]]_0 → K⟨α/t,t} → 0 is a genuine construction, not a renaming of the conclusion. Lemma 4.7, used in part (ii), is proved from Dwork's transfer theorem [Ked22, Theorem 9.6.1] and standard convexity, so part (ii) is not a reformulation of part (i). The author's previous rank-2 case appears only in Proposition 1.3 and Corollary 4.9 as a base case, not as the load-bearing content of the new cases. The only notable caveat is the passage in Theorem 4.5 asserting that Q has a horizontal basis {g_1,...,g_n}; this is not justified in the text and may be a correctness or completeness gap, but it is not circular, since the existence of those horizontal sections is not equivalent to Conjecture 1.2 and is not obtained by assuming the conjecture. No fitted parameter is renamed as a prediction, and no self-citation chain forces the result. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No fitted constants or invented entities appear. The proof is a chain of standard results from p-adic differential equations; the variables m and n are the rank and solution-space dimension in the theorem statement.

assumptions (5)

domain assumption Kedlaya-Xiao decomposition theorem: under R_{m-n}(M,1)<1, there exist (α,Q,Q',χ) with Q⊕Q' ≅ M⊗K⟨α/t,t]]_0 and R_i(Q',ρ)=R_i(M,ρ) for i=1..m-n.
Cited as [KX10, Theorem 2.3.9, Remark 2.3.11] in the proof of Theorem 4.5; it is the main external ingredient that provides the modules Q,Q' and the coefficient ring K⟨α/t,t]]_0.
domain assumption Subsidiary generic radii satisfy the limit relation at ρ=1 and the function F_m is convex, piecewise affine, with finitely many slopes, as in [Ked22, Theorem 11.3.2 and Proposition 9.3.3].
Used in Theorem 4.5 and Lemma 4.7 to relate radii at ρ<1 to ρ=1 and to justify applications of Dwork transfer.
domain assumption Dwork's transfer theorem [Ked22, Theorem 9.6.1] on triviality of differential modules over discs.
Used in Lemma 4.7 to conclude H^0(M⊗K{t/ρ}) has dimension m from R_i(M,ρ)=ρ for all i.
domain assumption Dwork's theorem (Theorem 1.1, via [And08, Theorem 3.2.1]) that solvable modules satisfy Fil^{m-1}H^0 = H^0.
Applied to the constructed rank-n module L in Proposition 4.4 to conclude the required growth bound.
domain assumption The rings K⟨α/t,t⟩, K⟨α/t,t]]_0, and K⟨α/t,t} are elementary divisor domains (Lemma 2.2), proved via Helmer [Hel43] and Lazard [Laz62].
Used in Lemma 3.4 to ensure kernels and cokernels of maps of finite free differential modules are finite free, underpinning the abelian category arguments.

how reviews work

0 comments

Cite this review

Pith. "Pith review of New cases of Dwork's conjecture on asymptotic behaviors of solutions of $p$-adic differential equations without solvability." pith.science (2026). https://pith.science/paper/NLLBNHPT

@misc{pith2026241116562,
  author       = {Pith},
  title        = {Pith review of: New cases of Dwork's conjecture on asymptotic behaviors of solutions of $p$-adic differential equations without solvability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NLLBNHPT}},
  note         = {Machine review of arXiv:2411.16562}
}

abstract

One of the phenomena peculiar in the theory of $p$-adic differential equations is that solutions $f$ of $p$-adic differential equations defined on open discs may satisfy growth conditions at the boundaries. This phenomenon is first studied by Dwork, who proves the fundamental theorem asserting that if a $p$-adic differential equation defined on an open unit disc is solvable, then any solution $f$ has order of logarithmic growth at most $m-1$. In this paper, we study a conjecture proposed by Dwork on a generalization of this theorem to the case without solvability. We prove new cases of Dwork's conjecture by combining descending techniques of differential modules with the author's previous result on Dwork's conjecture in the rank $2$ case.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

Andr\'e, G -functions and geometry, Aspects Math., E13, Friedr

Y. Andr\'e, G -functions and geometry, Aspects Math., E13, Friedr. Vieweg and Sohn, Braunschweig, 1989

work page 1989
[2]

Andr\'e, Dwork's conjecture on the logarithmic growth of solutions of p -adic differential equations, Compos

Y. Andr\'e, Dwork's conjecture on the logarithmic growth of solutions of p -adic differential equations, Compos. Math. 144 (2008), 484--494

work page 2008
[3]

Berger, Repr\'esentations p -adiques et \'equations diff\'erentielles, Invent

L. Berger, Repr\'esentations p -adiques et \'equations diff\'erentielles, Invent. Math. 148 (2002), 219--284

work page 2002
[4]

Chiarellotto and N

B. Chiarellotto and N. Tsuzuki, Logarithmic growth and Frobenius filtrations for solutions of p -adic differential equations, J. Inst. Math. Jussieu 8 (2009), 465--505

work page 2009
[5]

Chiarellotto and N

B. Chiarellotto and N. Tsuzuki, Log-growth filtration and Frobenius slope filtration of F -isocrystals at the generic and special points, Doc. Math. 16 (2011), 33--69

work page 2011
[6]

Christol, Modules diff\'erentiels et \'equations diff\'erentielles p -adiques, Queen's Papers in Pure and Applied Mathematics, 66

G. Christol, Modules diff\'erentiels et \'equations diff\'erentielles p -adiques, Queen's Papers in Pure and Applied Mathematics, 66. Queen's University, Kingston, ON, 1983

work page 1983
[7]

Christol, Le Th\'eor\`eme de Turrittin p -adique Turrittin th\'eor\`em, version du 11/6/2011

G. Christol, Le Th\'eor\`eme de Turrittin p -adique Turrittin th\'eor\`em, version du 11/6/2011

work page 2011
[8]

Dwork, On p -adic differential equations

B. Dwork, On p -adic differential equations. II. The p -adic asymptotic behavior of solutions of ordinary linear differential equations with rational function coefficients, Ann. of Math. (2) 98 (1973), 366--376

work page 1973

Show all 18 references

[9]

Dwork, Lectures on p -adic differential equations, With an appendix by Alan Adolphson, Grundlehren der Mathematischen Wissenschaften, 253, Springer-Verlag, New York-Berlin, 1982

B. Dwork, Lectures on p -adic differential equations, With an appendix by Alan Adolphson, Grundlehren der Mathematischen Wissenschaften, 253, Springer-Verlag, New York-Berlin, 1982

1982
[10]

Helmer, The elementary divisor theorem for certain rings without chain condition, Bull

O. Helmer, The elementary divisor theorem for certain rings without chain condition, Bull. Amer. Math. Soc. 49 (1943), 225--236

1943
[11]

Kedlaya, Slope filtrations revisited

K. Kedlaya, Slope filtrations revisited. Doc. Math. 10 (2005), 447--525

2005
[12]

Kedlaya, p -adic differential equations, Second edition, Cambridge Stud

K. Kedlaya, p -adic differential equations, Second edition, Cambridge Stud. Adv. Math. 199, Cambridge University Press, Cambridge, 2022

2022
[13]

Kedlaya, L

K. Kedlaya, L. Xiao, Differential modules on p -adic polyannuli, J. Inst. Math. Jussieu 9 (2010), 155--201

2010
[14]

Lazard, Les z\'eros des fonctions analytiques d'une variable sur un corps valu\'e complet, Inst

M. Lazard, Les z\'eros des fonctions analytiques d'une variable sur un corps valu\'e complet, Inst. Hautes \'Etudes Sci. Publ. Math. 14 (1962), 47--75

1962
[15]

Ohkubo, On the rationality and continuity of logarithmic growth filtration of solutions of p -adic differential equations, Adv

S. Ohkubo, On the rationality and continuity of logarithmic growth filtration of solutions of p -adic differential equations, Adv. Math. 308 (2017), 83--120

2017
[16]

Ohkubo, A note on logarithmic growth of solutions of p -adic differential equations without solvability, Math

S. Ohkubo, A note on logarithmic growth of solutions of p -adic differential equations without solvability, Math. Res. Lett. 26 (2019), 1527--1557

2019
[17]

Ohkubo, Logarithmic growth filtrations for ( , ) -modules over the bounded Robba ring, Compos

S. Ohkubo, Logarithmic growth filtrations for ( , ) -modules over the bounded Robba ring, Compos. Math. 157 (2021), 1265--1301

2021
[18]

Tsuzuki, Minimal slope conjecture of F -isocrystals, Invent

N. Tsuzuki, Minimal slope conjecture of F -isocrystals, Invent. Math. 231 (2023), 39--109

2023

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

Andr\'e, G -functions and geometry, Aspects Math., E13, Friedr

Y. Andr\'e, G -functions and geometry, Aspects Math., E13, Friedr. Vieweg and Sohn, Braunschweig, 1989

work page 1989

[2] [2]

Andr\'e, Dwork's conjecture on the logarithmic growth of solutions of p -adic differential equations, Compos

Y. Andr\'e, Dwork's conjecture on the logarithmic growth of solutions of p -adic differential equations, Compos. Math. 144 (2008), 484--494

work page 2008

[3] [3]

Berger, Repr\'esentations p -adiques et \'equations diff\'erentielles, Invent

L. Berger, Repr\'esentations p -adiques et \'equations diff\'erentielles, Invent. Math. 148 (2002), 219--284

work page 2002

[4] [4]

Chiarellotto and N

B. Chiarellotto and N. Tsuzuki, Logarithmic growth and Frobenius filtrations for solutions of p -adic differential equations, J. Inst. Math. Jussieu 8 (2009), 465--505

work page 2009

[5] [5]

Chiarellotto and N

B. Chiarellotto and N. Tsuzuki, Log-growth filtration and Frobenius slope filtration of F -isocrystals at the generic and special points, Doc. Math. 16 (2011), 33--69

work page 2011

[6] [6]

Christol, Modules diff\'erentiels et \'equations diff\'erentielles p -adiques, Queen's Papers in Pure and Applied Mathematics, 66

G. Christol, Modules diff\'erentiels et \'equations diff\'erentielles p -adiques, Queen's Papers in Pure and Applied Mathematics, 66. Queen's University, Kingston, ON, 1983

work page 1983

[7] [7]

Christol, Le Th\'eor\`eme de Turrittin p -adique Turrittin th\'eor\`em, version du 11/6/2011

G. Christol, Le Th\'eor\`eme de Turrittin p -adique Turrittin th\'eor\`em, version du 11/6/2011

work page 2011

[8] [8]

Dwork, On p -adic differential equations

B. Dwork, On p -adic differential equations. II. The p -adic asymptotic behavior of solutions of ordinary linear differential equations with rational function coefficients, Ann. of Math. (2) 98 (1973), 366--376

work page 1973