arxiv: 2604.05330 · v1 · submitted 2026-04-07 · 🧮 math.LO · math.FA· math.NT

Recognition: 2 theorem links

· Lean Theorem

Structural Hierarchy of Reid Class of non-Archimedean Banach Spaces

Tomoki Mihara

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:16 UTC · model grok-4.3

classification 🧮 math.LO math.FAmath.NT

keywords Reid classnon-Archimedean Banach spacesclassification theoremhierarchyBanach vector spacesvaluation fieldC_p spacesdirect sums

0 comments

The pith

The Reid class of Abelian groups has a direct counterpart in non-Archimedean Banach spaces that satisfies an analogous classification theorem.

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

The paper defines a class of Banach vector spaces over complete valuation fields that is analogous to the Reid class of Abelian groups. It then sets up a hierarchy for this class and proves that it obeys a classification theorem parallel to Eda's theorem for groups. Using this, it establishes that several specific Banach spaces over the p-adic complexes, built by iterating ell-infinity and C-zero constructions, are mutually non-isomorphic. It also proves that the space of bounded continuous functions from the rationals to C_p cannot be built from repeated bounded direct products and completed direct sums, nor can its dual, and that the forgetful functor from the class to all such Banach spaces has no left adjoint.

Core claim

We formulate a class R of Banach k-vector spaces analogous to Reid class of Abelian groups. We formulate an analogue of the hierarchy of Reid class introduced by K. Eda, and verify a counterpart of the classification theorem of Reid class by K. Eda. As an application, we verify that the Banach C_p-vector spaces ell^infty(N,C_p), C_0(N,C_p), ell^infty(N,C_0(N,C_p)), C_0(N,ell^infty(N,C_p)), and so on are all distinct, the Banach C_p-vector space of bounded continuous functions Q to C_p and its dual cannot be expressed by iterated application of bounded direct product and completed direct sum, and there is no left adjoint functor of the forgetful functor from R to the category of Banach C_p-

What carries the argument

the class R of Banach k-vector spaces, which enables the transfer of the hierarchy and classification from Abelian groups to this non-Archimedean setting

If this is right

The spaces ell^infty(N, C_p), C_0(N, C_p), ell^infty(N, C_0(N, C_p)) and further iterations are pairwise distinct.
The space of bounded continuous functions from Q to C_p and its dual lie outside the constructions obtainable by iterated bounded direct products and completed direct sums.
The forgetful functor from R to Banach C_p-vector spaces does not admit a left adjoint.

Where Pith is reading between the lines

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

The parallel between discrete Abelian groups and continuous Banach spaces suggests that the classification is driven by underlying combinatorial or set-theoretic invariants rather than the norm or field structure.
Similar hierarchies could be defined for other categories of topological modules or non-Archimedean structures to test the robustness of the analogy.
The lack of a left adjoint indicates that R is not freely generated by the basic operations within the larger category of Banach spaces.

Load-bearing premise

That the class R of Banach k-vector spaces admits a hierarchy and classification theorem that directly parallels the Reid class of Abelian groups so that the same structural arguments apply after replacing groups by Banach spaces.

What would settle it

An explicit isomorphism between any two of the listed spaces such as ell^infty(N, C_p) and C_0(N, C_p), or a construction showing that the bounded continuous functions from Q to C_p can be obtained via the iterated operations, would falsify the applications of the theorem.

read the original abstract

Let $k$ be a complete valuation field. We formulate a class $\mathscr{R}$ of Banach $k$-vector spaces analogous to Reid class of Abelian groups. We formulate an analogue of the hierarchy of Reid class introduced by K.\ Eda, and verify a counterpart of the classification theorem of Reid class by K.\ Eda. As an application, we verify that the Banach $\mathbb{C}_p$-vector spaces \begin{eqnarray*} & & \ell^{\infty}(\mathbb{N},\mathbb{C}_p), \text{\rm C}_0(\mathbb{N},\mathbb{C}_p), \ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\mathbb{C}_p)), \text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\mathbb{C}_p)), \\ & & \ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\mathbb{C}_p))), \text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\mathbb{C}_p))), \end{eqnarray*} and so on are all distinct, the Banach $\mathbb{C}_p$-vector space of bounded continuous functions $\mathbb{Q} \to \mathbb{C}_p$ and its dual Banach $\mathbb{C}_p$-vector spaces cannot be expressed by iterated application of bounded direct product and completed direct sum, and there is no left adjoint functor of the forgetful functor from $\mathscr{R}$ to the category of Banach $\mathbb{C}_p$-vector spaces.

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

Mihara defines a Reid-class analogue for Banach spaces over valuation fields and claims a classification theorem with applications to distinguishing iterated Cp spaces.

read the letter

The key takeaway from this paper is that Mihara has defined a new class R of Banach spaces over complete valuation fields, modeled on the Reid class for abelian groups, and claims to have verified an analogue of Eda's classification theorem for it. He then applies this to show that several iterated versions of ell^infty and C0 spaces over Cp are distinct, that the bounded continuous functions from Q to Cp and its dual aren't built from products and sums, and that the forgetful functor from R has no left adjoint. The construction of R and the hierarchy is the main novelty here. It isn't something that appears in the earlier work on groups, and the applications to concrete Cp-Banach spaces add some specific distinctions that could be useful in that subfield. The claim about the classification being verified is the central result, and if the details check out it organizes these spaces in a new way. The soft spot is the lack of any proof outline or definition details in the abstract. The paper asserts the theorem is verified, but without seeing how the arguments carry over from the group case or how the non-Archimedean norms are handled, it's tough to evaluate the soundness. The reader's report notes that the full text wasn't available for checking, which leaves the mathematical support unverified at this stage. This is a specialized piece aimed at people working on non-Archimedean Banach spaces and p-adic functional analysis. Readers already interested in classification theorems or categorical constructions in that area might find the distinctions and the adjoint result worth looking at. It seems like the kind of paper that deserves a serious referee to go through the proofs and see if the analogy holds up without hidden assumptions. I would recommend sending it for peer review.

Referee Report

2 major / 2 minor

Summary. The paper formulates a class R of Banach k-vector spaces (k a complete valuation field) analogous to the Reid class of Abelian groups. It introduces an analogue of Eda's hierarchy on this class and claims to verify a counterpart of Eda's classification theorem. Applications include proving that the listed C_p-Banach spaces (ell^infty(N, C_p), C_0(N, C_p), ell^infty(N, C_0(N, C_p)), C_0(N, ell^infty(N, C_p)), and further iterations) are pairwise distinct, that the Banach space of bounded continuous functions Q to C_p and its dual cannot be obtained by iterated bounded direct products and completed direct sums, and that the forgetful functor from R to Banach C_p-vector spaces has no left adjoint.

Significance. If the classification theorem and applications hold, the work supplies a structural hierarchy and classification for a natural class of non-Archimedean Banach spaces, directly paralleling Eda's theorem for groups. The concrete distinctions among the iterated ell^infty and C_0 constructions over C_p, together with the non-expressibility and adjoint results, would be useful for researchers working on p-adic functional analysis and categorical properties of Banach spaces over valued fields. No machine-checked proofs or parameter-free derivations are indicated.

major comments (2)

[Abstract and main body] The manuscript asserts verification of the classification theorem and the listed applications, yet contains no definitions of the class R, no explicit construction of the hierarchy, and no proofs or verification steps for any of the claims. This renders the central results unverifiable from the text.
[Applications paragraph] The application listing the spaces ell^infty(N, C_p), C_0(N, C_p), ... 'and so on' as all distinct does not specify the precise inductive definition of the hierarchy or the number of iterations considered, making the distinctness claim impossible to check without additional detail.

minor comments (2)

[Abstract] The LaTeX in the displayed list of spaces uses outdated constructs such as text{rm}; modern notation would improve readability.
[Applications paragraph] The phrase 'and so on' in the list of spaces leaves the exact scope of the distinctness claim imprecise.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need for greater explicitness to ensure verifiability of the results. We agree that the current draft requires substantial expansion and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract and main body] The manuscript asserts verification of the classification theorem and the listed applications, yet contains no definitions of the class R, no explicit construction of the hierarchy, and no proofs or verification steps for any of the claims. This renders the central results unverifiable from the text.

Authors: We agree that the submitted manuscript lacks explicit definitions of the class R, the construction of the hierarchy, and any proofs or verification steps. This was an oversight in the draft preparation. In the revised version we will add a dedicated preliminary section defining the class R as the smallest class of Banach k-vector spaces containing k and closed under the relevant operations analogous to the Reid class, followed by an explicit inductive construction of the hierarchy mirroring Eda's approach, and complete proofs of the classification theorem together with the applications. revision: yes
Referee: [Applications paragraph] The application listing the spaces ell^infty(N, C_p), C_0(N, C_p), ... 'and so on' as all distinct does not specify the precise inductive definition of the hierarchy or the number of iterations considered, making the distinctness claim impossible to check without additional detail.

Authors: We acknowledge that the phrasing 'and so on' is imprecise and that neither the inductive definition nor the exact iteration depth is stated. In the revision we will replace this with the full inductive definition of the hierarchy (base case, successor, and limit ordinals) and explicitly list the six spaces as corresponding to the first six levels, allowing direct verification of pairwise distinctness via the classification theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines a new class R of Banach k-vector spaces by direct analogy to the existing Reid class of Abelian groups, then constructs an analogue hierarchy and proves a counterpart classification theorem. The applications to distinctness of specific C_p-spaces and non-expressibility via products/sums follow from this independent verification. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations appear; the cited Eda result is external and the derivation remains self-contained against the stated categorical constructions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Based on abstract only; the central claims rest on the assumption that an analogue of the Reid class can be defined for Banach spaces and that Eda-style arguments transfer. No free parameters or invented entities beyond the class itself are visible in the abstract.

axioms (1)

domain assumption The class R of Banach k-vector spaces can be defined so that it behaves analogously to the Reid class of Abelian groups with respect to hierarchy and classification.
The paper formulates R as analogous and then verifies the counterpart theorem.

invented entities (1)

The class R no independent evidence
purpose: To serve as the ambient category in which the hierarchy and classification theorem are stated for non-Archimedean Banach spaces.
Newly formulated collection of Banach k-vector spaces.

pith-pipeline@v0.9.0 · 5599 in / 1521 out tokens · 51520 ms · 2026-05-10T19:16:21.223851+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean, IndisputableMonolith/Cost/FunctionalEquation.lean reality_from_one_distinction, washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We formulate a class R of Banach k-vector spaces analogous to Reid class of Abelian groups. We formulate an analogue of the hierarchy of Reid class introduced by K. Eda, and verify a counterpart of the classification theorem of Reid class by K. Eda.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat induction and recovery theorems echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 4.10. ... R is the disjoint union of F_k, MR_α, PΠ_α, and PΣ_α with α∈Ord∖{0}.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals
math.LO 2026-04 unverdicted novelty 6.0

Almost free non-Archimedean Banach k-vector spaces are free when their cardinality satisfies ℵ₁-strong compactness or weak compactness.

Reference graph

Works this paper leans on

13 extracted references · 1 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

S.\ U.\ Chase, On Direct Sums and Products of Modules , Pacific Journal of Mathematics, Volume 12, Number 3, pp.\ 847--854, 1962

1962
[2]

M.\ Dugas and B.\ Zimmermann-Huisgen, Iterated direct sums and products of modules, in Abelian Group Theory , Lecture Notes in Mathematics, Volume 874, Springer, pp.\ 179--193, 1892
[3]

K.\ Eda, A Boolean Power and a Direct Product of Abelian Groups , Tsukuba Journal of Mathematics, Volume 6, Number 2, pp.\ 187--194, 1982

1982
[4]

K.\ Eda, Almost-Slender Groups and Fuchs-44-Groups , Comentarii Mathematici, Uiversitatis Sancti Pauli, Volume 32, Number 2, pp.\ 131--135, 1983

1983
[5]

K.\ Eda, On -kernel groups , Archiv der Mathematik, Volume 41, Issue 4, pp.\ 289--293, 1983

1983
[6]

A.\ Ehrenfeucht and J.\ o\'s, Sur le produits cart\'esiens des groupes cycliques infinis , Bulletin de l'Academie Polonaise des Sciences, Volume III, Num\'ero 2, pp.\ 261--263, 1954

1954
[7]

70--90, 1980

A.\ V.\ Ivanov, Direct sums and complete direct sums of abelian groups (in Russian) , Abelian Groups and Modules, Tomskogo gosudarstvennogo universiteta, pp. 70--90, 1980

1980
[8]

T.\ Mihara, Non-Archimedean Analogue of Chase's Lemma , arXiv:2603.29930, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[9]

K.\ Morita and J.\ Nagata, Topics in general topology , North-Holland mathematical library, Volume 41, North-Holland, 1989

1989
[10]

, C.\ P\'erez-Garcia and W.\ H.\ Schikhof, Non-reflexive and non-spherically complete subspaces of the p -adic space ^ , Indagationes Mathematicae, New Series, Volume 6, Issue 1, pp.\ 121--127, 1995

1995
[11]

A.\ C.\ M.\ van Rooji, Non-archimedean functional analysis , Monographs and textbooks in pure and applied mathematics, Volume 51, M.\ Dekker, 1978

1978
[12]

E.\ C.\ Zeeman, On direct sums of free cycles , Journal of the London Mathematical Society, Volume s1-30, Issue 2, pp.\ 195--212, 1955

1955
[13]

Journal f\"ur die reine und angewandte Mathematik, Issue 309, pp.\ 86--91, 1979

B.\ Zimmermann-Huisgen, On Fuchs' problem 76 . Journal f\"ur die reine und angewandte Mathematik, Issue 309, pp.\ 86--91, 1979

1979