On generalized Fuchs theorem over relative $p$-adic polyannuli

Peiduo Wang

REVIEW 2 major objections 6 minor 31 references

On generalized Fuchs theorem over relative $p$-adic polyannuli

T0 review · 2 major / 6 minor · reviewed 2026-08-08 · deepseek-v4-flash

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

Pith's one-line read p-adic connections decompose when exponents differ non-Liouville

desk verdict Useful appendix results and a genuinely broader relative Fuchs theorem, but the main theorem's local finite-etale-cover step needs a strictness hypothesis or a new argument. read the letter →

arxiv 2502.05528 v1 pith:DFIMO3KK submitted 2025-02-08 math.NT

Peiduo Wang This is my paper · ORCID

classification math.NT MSC 12H2514G22

keywords p-adicFuchstheoremrelativepolyannuliRobbaconditionlogarithmicconnectionsexponentsrigidanalyticspacesGaloisdescentweakequivalenceof

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

This paper proves a p-adic analogue of the classical Fuchs theorem for logarithmic connections on relative polyannuli: if a locally free module with an integrable connection satisfies the Robba condition and its p-adic exponents have non-Liouville differences, then the module decomposes canonically as a direct sum of submodules with constant exponents. This generalizes the 'generization' proposition of [Shi10], which required the base space to have a single-point Shilov boundary, to arbitrary connected smooth rigid bases. The paper also resolves two long-standing questions about exponents: the set of p-adic exponents of a module forms exactly one weak equivalence class, and the two standard definitions of exponent (from [CM97] and [Dwo97]) coincide. The proof relies on reducing the base to a unit polydisc via finite étale covers and then applying Galois descent.

What carries the argument

The argument is carried by three mechanisms. (1) A relative version of the Robba condition and p-adic exponents for ∇-modules over X × A^n(I) relative to X, defined pointwise and shown to be well-defined on connected bases by reduction to curves. (2) Pushforward of (relative and absolute) ∇-modules along finite étale morphisms, which preserves the Robba condition, exponents, and the uniqueness of decompositions with respect to Liouville partitions (Propositions 3.4, 3.7, Corollary 3.11). (3) A local structure theorem (Corollary 4.12) asserting that every smooth rigid or dagger space over an algebraically closed field is locally a finite étale cover of the unit polydisc, combined with Galois descent (Proposition 4.17) to pass back to arbitrary K. For the special base cases in Section 5, the machinery also includes the p-adic Birkhoff factorization of [Chr07].

What would settle it

On the relative polyannulus $B^{1}$ × $A^{1}$_{Q_p}(]0,1[) for odd p, take a rank-2 relative ∇-module whose connection matrices have diagonal exponents 0 and 1/2 but with non-constant off-diagonal entries depending on the base coordinate, in a way that is not conjugate to a diagonal matrix over the relative annulus ring. Compute the intrinsic radius of convergence at the Gauss point; if such a module satisfies the Robba condition while remaining non-split, the canonical decomposition guaranteed by Theorem 4.18 would fail, refuting the theorem.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 4.18: let K be a complete nonarchimedean field of mixed characteristic, X a connected smooth rigid space, and P a logarithmic ∇-module over the relative polyannulus X × A^n_K(I) satisfying the Robba condition with exponent A. If the entries of A have p-adic non-Liouville differences, then P admits a unique direct sum decomposition P = ⊕_{λ ∈ (Z_p/Z)^n} P_λ, where each P_λ has exponent identically equal to λ. This is the p-adic Fuchs theorem for relative polyannuli in the absolute logarithmic case. The appendix additionally proves that the set of exponents of a Robba-condition module on a polyannulus is exactly one weak equivalence class, and that the two standard exponent constructions coincide.

Load-bearing premise

The proof that every smooth rigid space has an affinoid neighborhood admitting a finite étale map to the unit polydisc (Corollary 4.12) requires the ring of topologically bounded elements to be topologically of finite type over the valuation ring of the base field; the author notes this can fail when the field is neither discrete nor algebraically closed, so the main theorem inherits this dependence.

Editorial extensions

If this is right

A log-∇-module over a relative polyannulus with non-Liouville exponent differences has a canonical eigen-decomposition, so its monodromy is described by constant exponents on each summand.
The generization proposition of [Shi10], previously restricted to bases with one-point Shilov boundary, now holds for arbitrary connected smooth rigid bases.
The coincidence of the two exponent definitions means results proved via one construction transfer automatically to the other.
The weak-equivalence result closes a gap in the literature: a multiset weakly equivalent to an exponent is again an exponent, so the set of exponents is a single weak equivalence class for modules on (relative) polyannuli.

Reading between the lines

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

If the announced theorem for relative connections over a base with one-point Shilov boundary (mentioned in Remark 4.19) is established, the pushforward technique of this paper would likely extend the Fuchs theorem to bases without any chosen differential structure on the base.
The local reduction to the unit polydisc suggests a strategy for proving relative p-adic Fuchs theorems for other classes of connections (e.g., irregular or with more general singularities) by first solving the problem on the polydisc and then gluing.
The single weak-equivalence-class property may simplify algorithmic computation of p-adic exponents in rigid cohomology: any weakly equivalent candidate multiset can be used as a working exponent for symbolic manipulation.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

The paper has two genuinely useful pieces. Appendix A.1 proves that a multiset weakly equivalent to an exponent is again an exponent (Conjecture A.1), and Appendix A.2 proves the CM/Dwork exponent definitions coincide up to sign. These are clean, self-contained, and checkable results; I'd trust them.

The main body proves a broader relative Fuchs theorem than Shiho's, dropping the one-point Shilov boundary assumption on the base. Theorem 4.18 is the headline: an absolute logarithmic connection on a relative polyannulus with non-Liouville exponent differences decomposes into exponent pieces. The proof strategy is sensible: push forward to the unit polydisc via finite etale maps, decompose there, then descend.

The stress-test note is right, though. Corollary 4.12, the local finite etale cover to the strict unit polydisc B^m, is not justified for non-strict Berkovich affinoids. The paper explicitly allows non-strict algebras in Definition 1.2 (e.g., K⟨ρ^{-1}s⟩ for ρ not in |K^*|), and a finite etale map U→B^m would force O(U) to be finite over a strict algebra, hence strict. At the Shilov point of a non-strict disc, every affinoid neighborhood is non-strict, so no such U exists. Thus the reduction in Theorem 4.18 currently works only if the base is strict Tate rigid, which is never stated, or if a strictness hypothesis is added. This is a load-bearing gap, not cosmetic.

Other issues are minor. The paper frequently says 'the proof is the same as [Wan24]' for factorization lemmas; that is acceptable because Wan24 is published, but it makes the paper less self-contained. Lemma 5.1 states NID but its proof uses NLD—the statement's condition is the correct one, so it's a typo. The relationship to Kedlaya's relative theory could be spelled out more, but that's not damaging.

Overall: the appendix alone justifies referee time, and the main theorem is likely correct in the intended strict setting. A serious referee should ask for a precise convention about strictness, plus the Lemma 5.1 typo fix. This is not a desk reject; it deserves peer review.

Referee Report

2 major / 6 minor

Summary. The paper develops a relative version of the p-adic Fuchs theorem for (logarithmic) ∇-modules over relative polyannuli X×A^n_K(I) satisfying the Robba condition. It introduces p-adic exponents for modules with relative connections, proves their well-definedness, studies their behavior under finite étale pushforwards, and proves a Galois descent. The main result, Theorem 4.18, asserts a direct-sum decomposition by exponents with non-Liouville differences for log-∇-modules over a connected smooth rigid base, generalizing Shiho's generization. Section 5 gives two generalized Fuchs theorems for Σ-semi-constant and "ξ-constant on the base" modules. The appendix proves that the set of exponents is exactly one weak equivalence class and that Christol-Mebkhout and Dwork exponents coincide.

Significance. If the strictness gap in §4.2 is repaired, the paper is a valuable contribution: Theorem 4.18 is a genuine relative p-adic Fuchs theorem over bases without one-point Shilov boundary, the pushforward and Galois-descent techniques are clean and reusable, and the appendix resolves two folklore questions (weak equivalence of exponents, CM vs Dwork definitions). The proofs are mostly well-structured, and the paper is honest about limitations in Remark 4.11. However, the main theorem currently rests on a local étale-structure statement that is not valid in the stated non-strict Berkovich setting.

major comments (2)

[§4.2, Proposition 4.10] Proposition 4.10 is not proved for the non-strict K-affinoid algebras admitted by Definition 1.2. The proof invokes [BGR84, Thm. 6.4.3/1] and [BGR84, Cor. 6.4.3/6], which give topological finite generation of R° over O_K for strictly affinoid algebras; for R=K⟨ρ^{-1}s⟩ with ρ∉|K^*| (possible over algebraically closed K, e.g. K=C_p and ρ=2 for odd p), R° is generally not topologically of finite type over O_K, so the presentation argument fails. Concretely, the Shilov point of M(R) has no affinoid neighborhood admitting a finite étale morphism to the strict unit polydisc, because such a neighborhood would have strict algebra, whereas every affinoid neighborhood of that point is the whole non-strict disc. Thus Corollary 4.12 is false in the stated Berkovich setting.
[§4.4, Theorem 4.18] Theorem 4.18 depends on Corollary 4.12 by applying it to every point of X_0=X-D in the algebraically closed case. Since Corollary 4.12 fails for non-strict smooth rigid spaces (as explained above), the asserted reduction to the one-point Shilov boundary case is incomplete for such X. The theorem should be restricted to strictly K-analytic spaces (with an explicit convention, since Definition 1.2 and Lemma 1.7 deliberately use arbitrary radii), or a non-strict analogue of the local finite étale cover statement must be supplied. Without this, the main advertised decomposition is not established.

minor comments (6)

[§5.1, Lemma 5.1] The proof of Lemma 5.1 says "Since the set of eigenvalues of A is (NLD)", but the hypothesis is (NID). The argument should use that λ_i-λ_j-n ≠ 0 for n∈Z\{0} because differences are non-integer; (NLD) alone would not exclude integer differences.
[§2.1] Several results (Propositions 2.4, 2.6, 2.10, 2.11, Theorem 2.13) are dismissed as "the same as [Wan24]". Since these statements are new relative versions over B^m_γ × A^n_K(I), the paper should either spell out the modifications or state explicitly that the cited proofs carry over verbatim with the relative variables treated as additional annulus directions.
[Appendix A.1, Proposition A.3] The notation ^kA, ^kN, ^k sgn is hard to parse; for instance, S_{k,B}=S^{σ_k}_{k,A}t^{-ksgn kN} should be written with the index k clearly separated from the step-k objects, e.g. using A^{(k)}, N^{(k)}, ε^{(k)}.
[Various] There are minor typos: "thr n-th direction" in Proposition 4.9 proof, "boudary" in Proposition 2.23 proof, "veriry" in Lemma 3.2 proof, and "deﬁniton" in the introduction.
[§5.0, Lemma 5.4] The density statement "R[t^{-1},t] is dense in K[[s/ρ]]^{an}⟨ρ'/t,t/ρ'⟩" is used without proof or reference; a short justification (or a citation to the definition of analytic elements) would improve readability.
[§4.2, Corollary 4.12 (dagger case)] In the proof of Corollary 4.12 for dagger spaces, the appeal to [Vez18, Prop. 2.15] should state the exact statement that finite étale morphisms between completions extend to fringes, as Remark 4.13 notes, so that the étale morphism U→B^m lifts to the dagger category.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper extends prior published results via pushforward and finite étale reduction, and its self-citations are independent, checkable inputs rather than re-labeled conclusions.

full rationale

The derivation chain is not circular. The main theorem (Theorem 4.18) reduces a general smooth base to the one-point Shilov boundary case by Corollary 4.12 (finite étale neighborhoods of the unit polydisc), then uses Proposition 4.9, which is itself a generalization of Shiho's one-point result, and Proposition 3.11 to descend decompositions through pushforwards. The one-dimensional/high-dimensional Fuchs theorem over polyannuli (Theorem 1.21) is imported from the author's published prior work [Wan24], and is an input theorem, not a renamed version of the relative statement being proved. The appendix proves internally the weak-equivalence-of-exponents fact (Proposition A.3) and the equivalence of CM- and Dwork-exponents (Proposition A.15); these are not assumed in the main body beyond their own proofs. The paper also explicitly notes in Remark 1.22 that Proposition A.3 strengthens the formulation of [Wan24, Cor. 3.15], so the dependence is transparent. Self-citation is heavy, but the cited results are published, stated with explicit hypotheses, and do not include the target decomposition theorem for relative polyannuli; they serve as legitimate building blocks. The main caveat—Corollary 4.12 may fail for non-strict Berkovich affinoid neighborhoods, as identified in Remark 4.11 for general K—is a possible correctness gap in a geometric input, not a circular reduction. Therefore no circular step is exhibited, and the appropriate circularity score is 0.

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

No numbers are fitted to data; the paper is a pure proof manuscript. It introduces no new objects beyond existing categories of nabla-modules, log-nabla-modules, and exponent multisets. The axioms above list the main unproved background inputs the central claims rest on.

assumptions (6)

domain assumption K is a complete nonarchimedean valuation field of mixed characteristic (0,p), and all spaces are Berkovich rigid or dagger spaces.
Throughout the paper, notation and results are stated in this setting (Notations, Definitions 1.2-1.4); the main theorems only apply here.
standard math Foundational facts about reductions, Shilov boundaries, and affinoid algebras from [Ber12] and [BGR84].
Used in Lemma 1.6, Lemma 1.7, and throughout Sections 2-4.
standard math Every quasi-smooth K-analytic curve admits a weak triangulation, and connected rigid spaces are arcwise connected ([Duc14] Theoreme 5.1.14, [Ber12] Theorem 3.2.1).
Used in Proposition 2.23 to prove well-definedness of exponents on curves and in Theorem 2.25 to extend to all connected spaces.
standard math Connected rigid spaces admit chains of smooth affinoid curves connecting prescribed points ([ALY23] Proposition A.2).
Used in Theorem 2.25 to reduce well-definedness of exponents to the curve case.
domain assumption Every point of a smooth rigid space over an algebraically closed field has an etale neighborhood that is finite etale over a unit polydisc (Corollary 4.12, via [Ayo15] and [Ach17]).
This is the key geometric reduction in Theorem 4.18; its proof requires K algebraically closed and is flagged as possibly failing for general K in Remark 4.11.
standard math The one-dimensional p-adic Fuchs theorem, exponent theory, and Frobenius antecedent results on annuli are taken as inputs ([Ked10] Chapter 13, [CM97], [Dwo97], [Ked10] Theorem 10.4.4).
Used to define exponents and to invoke Theorem 1.21 and Lemma 4.5.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On generalized Fuchs theorem over relative $p$-adic polyannuli." pith.science (2026). https://pith.science/paper/DFIMO3KK

@misc{pith2026250205528,
  author       = {Pith},
  title        = {Pith review of: On generalized Fuchs theorem over relative $p$-adic polyannuli},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DFIMO3KK}},
  note         = {Machine review of arXiv:2502.05528}
}

abstract

In this paper, we study coherent locally free (logarithmic-)$\nabla$-modules on relative $p$-adic polyannuli satisfying the Robba condition and prove several criteria for decomposition of such (logarithmic-)$\nabla$-modules. Firstly we prove the $p$-adic Fuchs theorem for absolute logarithmic $\nabla$-modules where the exponents have non-Liouville differences, which generalizes a result of Shiho. Secondly, we prove a generalized $p$-adic Fuchs theorem for relative $\nabla$-modules which are semi-constant on fibers. We also prove a generalized $p$-adic Fuchs theorem for absolute $\nabla$-modules, when the derivation on the base has some specific form. In the appendix, we prove the coincidence of two definitions of exponents due to Christol-Mebkhout and Dwork and prove that the set of exponents forms exactly one weak equivalence class.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 30 canonical work pages

[1]

k( ,1) -neighborhoods and comparison theorems

Piotr Achinger. k( ,1) -neighborhoods and comparison theorems. Compositio Mathematica , 151(10):1945--1964, 2015

work page 1945
[2]

Wild ramification and k ( ,1) spaces

Piotr Achinger. Wild ramification and k ( ,1) spaces. Inventiones mathematicae , 210:453--499, 2017

work page 2017
[3]

Geometric arcs and fundamental groups of rigid spaces

Piotr Achinger, Marcin Lara, and Alex Youcis. Geometric arcs and fundamental groups of rigid spaces. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2023(799):57--107, 2023

work page 2023
[4]

Motifs des vari \'e t \'e s analytiques rigides , volume 140-141

Joseph Ayoub. Motifs des vari \'e t \'e s analytiques rigides , volume 140-141. Soci \'e t \'e math \'e matique de France, 2015

work page 2015
[5]

Formal and p-adic theory of differential systems with logarithmic singularities depending upon parameters

Francesco Baldassarri and Bruno Chiarellotto. Formal and p-adic theory of differential systems with logarithmic singularities depending upon parameters. Duke Math.J. , 72(1):241--300, 1993

work page 1993
[6]

Spectral theory and analytic geometry over non-Archimedean fields

Vladimir G Berkovich. Spectral theory and analytic geometry over non-Archimedean fields . Number 33. American Mathematical Soc., 2012

work page 2012
[7]

Non-archimedean analysis, Grundlehren der mathematischen Wissenschaften 261

Siegfried Bosch, Ulrich G \"u ntzer, and Reinhold Remmert. Non-archimedean analysis, Grundlehren der mathematischen Wissenschaften 261 . Springer Berlin, 1984

work page 1984
[8]

Modules diff \'e rentiels sur les couronnes

Gilles Christol and Bernard Dwork. Modules diff \'e rentiels sur les couronnes. In Annales de l'institut Fourier , volume 44, pages 663--701, 1994

work page 1994

Show all 31 references

[9]

D \'e composition des matrices en facteurs singuliers applications aux \'e quations diff \'e rentielles

Gilles Christol. D \'e composition des matrices en facteurs singuliers applications aux \'e quations diff \'e rentielles. Groupe de travail d'analyse ultram \'e trique , 7:1--17, 1979

1979
[10]

Le th\'eorem de turrittin p -adique

Gilles Christol. Le th\'eorem de turrittin p -adique. Manuscript available at https://mathexp. eu/christol/courspdf.pdf , 2007

2007
[11]

Sur le th \'e or \`e me de l'indice des \'e quations diff \'e rentielles p-adiques ii

Gilles Christol and Zoghman Mebkhout. Sur le th \'e or \`e me de l'indice des \'e quations diff \'e rentielles p-adiques ii. Annals of mathematics , 146(2):345--410, 1997

1997
[12]

La structure des courbes analytiques

Antoine Ducros. La structure des courbes analytiques. Manuscript available at http://www. math. jussieu. fr/\ ducros/trirss. pdf , 2014

2014
[13]

On exponents of p-adic differential modules

Bernard M Dwork. On exponents of p-adic differential modules. Journal f \"u r die reine und angewandte Mathematik , 484:85--126, 1997

1997
[14]

Structure fuchsienne pour des modules diff \'e rentiels sur une polycouronne ultram \'e trique

Fr \'e d \'e ric Gachet. Structure fuchsienne pour des modules diff \'e rentiels sur une polycouronne ultram \'e trique. Rendiconti del Seminario Matematico della Universit \`a di Padova , 102:157--218, 1999

1999
[15]

o nne. Rigid analytic spaces with overconvergent structure sheaf. Journal f \

Elmar Grosse-Kl \"o nne. Rigid analytic spaces with overconvergent structure sheaf. Journal f \"u r die reine und angewandte Mathematik , 2000:73--95, 2000

2000
[16]

Kiran S. Kedlaya. Full faithfulness for overconvergent f-isocrystals. Geometric aspects of Dwork theory , 2:819--835, 2004

2004
[17]

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

2006
[18]

Kiran S. Kedlaya. p -adic Differential Equations, Cambridge Studies in Advanced Mathematics 125 . Cambridge University Press, 2010

2010
[19]

Kiran S. Kedlaya. Local and global structure of connections on nonarchimedean curves. Compositio Mathematica , 151(6):1096--1156, 2015

2015
[20]

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

2022 arXiv
[21]

Kedlaya and Atsushi Shiho

Kiran S. Kedlaya and Atsushi Shiho. Corrigendum: Local and global structure of connections on nonarchimedean curves. Compositio Mathematica , 153(12):2658--2665, 2017

2017
[22]

Kedlaya and Liang Xiao

Kiran S. Kedlaya and Liang Xiao. Differential modules on p-adic polyannuli. Journal of the Institute of Mathematics of Jussieu , 9(1):155--201, 2010

2010
[23]

Algebra, Third Edition

Serge Lang. Algebra, Third Edition . Addison-Wesley, 1993

1993
[24]

Les espaces de berkovich sont ang \'e liques

J \'e r \^o me Poineau. Les espaces de berkovich sont ang \'e liques. Bulletin de la Soci \'e t \'e Math \'e matique de France , 141(2):267--297, 2013

2013
[25]

The convergence newton polygon of a p -adic differential equation ii: Continuity and finiteness on berkovich curves

J \'e r \^o me Poineau and Andrea Pulita. The convergence newton polygon of a p -adic differential equation ii: Continuity and finiteness on berkovich curves. Acta Mathematica , 2012

2012
[26]

Th \'e orie de galois p -adique

Philippe Robba. Th \'e orie de galois p -adique. Groupe de travail d'analyse ultram \'e trique , 3(1):1--8, 1975-1976

1975
[27]

On logarithmic extension of overconvergent isocrystals

Atsushi Shiho. On logarithmic extension of overconvergent isocrystals. Mathematische Annalen , 348:467--512, 2010

2010
[28]

Cut-by-curves criterion for the log extendability of overconvergent isocrystals

Atsushi Shiho. Cut-by-curves criterion for the log extendability of overconvergent isocrystals. Mathematische Zeitschrift , 269:59--82, 2011

2011
[29]

Stacks project

Authors of Stacks Project. Stacks project
[30]

The monsky--washnitzer and the overconvergent realizations

Alberto Vezzani. The monsky--washnitzer and the overconvergent realizations. International Mathematics Research Notices , 2018(11):3443--3489, 2018

2018
[31]

On generalized fuchs theorem over p -adic polyannuli

Peiduo Wang. On generalized fuchs theorem over p -adic polyannuli. Tohoku Math. J. , 76(4):483--520, 2024

2024

Pith tools

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

[1] [1]

k( ,1) -neighborhoods and comparison theorems

Piotr Achinger. k( ,1) -neighborhoods and comparison theorems. Compositio Mathematica , 151(10):1945--1964, 2015

work page 1945

[2] [2]

Wild ramification and k ( ,1) spaces

Piotr Achinger. Wild ramification and k ( ,1) spaces. Inventiones mathematicae , 210:453--499, 2017

work page 2017

[3] [3]

Geometric arcs and fundamental groups of rigid spaces

Piotr Achinger, Marcin Lara, and Alex Youcis. Geometric arcs and fundamental groups of rigid spaces. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2023(799):57--107, 2023

work page 2023

[4] [4]

Motifs des vari \'e t \'e s analytiques rigides , volume 140-141

Joseph Ayoub. Motifs des vari \'e t \'e s analytiques rigides , volume 140-141. Soci \'e t \'e math \'e matique de France, 2015

work page 2015

[5] [5]

Formal and p-adic theory of differential systems with logarithmic singularities depending upon parameters

Francesco Baldassarri and Bruno Chiarellotto. Formal and p-adic theory of differential systems with logarithmic singularities depending upon parameters. Duke Math.J. , 72(1):241--300, 1993

work page 1993

[6] [6]

Spectral theory and analytic geometry over non-Archimedean fields

Vladimir G Berkovich. Spectral theory and analytic geometry over non-Archimedean fields . Number 33. American Mathematical Soc., 2012

work page 2012

[7] [7]

Non-archimedean analysis, Grundlehren der mathematischen Wissenschaften 261

Siegfried Bosch, Ulrich G \"u ntzer, and Reinhold Remmert. Non-archimedean analysis, Grundlehren der mathematischen Wissenschaften 261 . Springer Berlin, 1984

work page 1984

[8] [8]

Modules diff \'e rentiels sur les couronnes

Gilles Christol and Bernard Dwork. Modules diff \'e rentiels sur les couronnes. In Annales de l'institut Fourier , volume 44, pages 663--701, 1994

work page 1994