pith. machine review for the scientific record. sign in

arxiv: 2604.10526 · v1 · submitted 2026-04-12 · 🧮 math.LO · math.NT

Recognition: unknown

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals

Tomoki Mihara
Authors on Pith no claims yet

Pith reviewed 2026-05-10 15:56 UTC · model grok-4.3

classification 🧮 math.LO math.NT
keywords almost free Banach spacesnon-Archimedean vector spaceslarge cardinalsSchauder basisvaluation fieldsfreeness criteria
0
0 comments X

The pith

An almost free Banach vector space over a complete valuation field is free if its cardinality is weakly compact or satisfies strong compactness.

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

The paper defines free Banach k-vector spaces over complete valuation fields as those with orthonormal Schauder bases and introduces almost free versions by direct analogy to almost free Abelian groups. It proves that these almost free spaces are in fact free whenever the underlying cardinality meets large cardinal conditions such as weak compactness or ℵ₁-strong compactness. This result is presented as the non-Archimedean counterpart to known theorems in abelian group theory. A reader would care because it supplies a set-theoretic criterion for the existence of orthonormal bases in this class of spaces and links infinitary combinatorics to the structure theory of non-Archimedean Banach spaces.

Core claim

As non-Archimedean analogues of the classical facts that an almost free Abelian group is free under the assumption of the ℵ₁-strong compactness or the weak compactness of the cardinality, we show that an almost free Banach k-vector space is free under similar assumptions.

What carries the argument

The definition of an almost free Banach k-vector space, formulated as the non-Archimedean analogue of an almost free Abelian group, which transfers the large-cardinal implications to the setting of Banach spaces with orthonormal Schauder bases.

If this is right

  • Any almost free Banach k-vector space whose cardinality is weakly compact must be free.
  • The same conclusion holds under the assumption of ℵ₁-strong compactness of the cardinality.
  • Freeness of these spaces can be decided by checking set-theoretic properties of their dimension rather than by direct basis construction.

Where Pith is reading between the lines

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

  • Similar transfer arguments may apply to other non-Archimedean structures such as Banach algebras or modules.
  • In models where the relevant large cardinals fail, almost free but non-free examples should exist, paralleling the situation for Abelian groups.
  • The result suggests examining whether concrete p-adic or Laurent series spaces satisfy the almost free condition.

Load-bearing premise

The chosen definition of almost free Banach k-vector space correctly captures the non-Archimedean analogue of almost free Abelian groups so that the large cardinal theorems apply directly.

What would settle it

An explicit construction of an almost free but non-free Banach k-vector space whose cardinality is not weakly compact, or the existence of such a space in any model of set theory that lacks the relevant large cardinals.

read the original abstract

Let $k$ be a complete valuation field. We formulate a free Banach $k$-vector space as a Banach $k$-vector space with an orthonormal Schauder basis, and an almost free Banach $k$-vector space as a non-Archimedean analogue of an almost free Abelian group. As non-Archimedean analogues of the classical facts that an almost free Abelian group is free under the assumption of the $\aleph_1$-strong compactness or the weak compactness of the cardinality, we show that an almost free Banach $k$-vector space is free under similar assumptions.

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

1 major / 2 minor

Summary. The paper defines a free Banach k-vector space (k a complete valuation field) as one possessing an orthonormal Schauder basis and an almost free Banach k-vector space as the direct non-Archimedean analogue of an almost free Abelian group, i.e., every subspace of strictly smaller cardinality is free. It then claims that, under the assumption that the cardinality is weakly compact or ℵ₁-strongly compact, every almost free Banach k-vector space is free, transferring the classical Abelian-group results via the same large-cardinal hypotheses.

Significance. If the analogy between the definitions is tight enough for the combinatorial arguments to transfer without new hypotheses, the result would usefully extend large-cardinal freeness theorems from Abelian groups to the setting of non-Archimedean Banach spaces. The manuscript is credited for stating the definitions explicitly and for attempting a direct transfer rather than introducing ad-hoc parameters.

major comments (1)
  1. [§2] §2 (Definitions): The claim that the chosen definition of 'almost free' preserves the exact combinatorial properties (basis-extension arguments, closure under <κ-subspaces, applicability of elementary embeddings or Vopěnka-type principles) used in the Abelian-group case is load-bearing for the central transfer. The manuscript must explicitly verify that the valuation and norm do not create additional obstructions to extending partial orthonormal bases; otherwise the 'similar assumptions' do not suffice.
minor comments (2)
  1. [Abstract] The abstract and introduction should include a one-sentence reminder of the precise Abelian-group definition being mimicked, for readers outside set theory.
  2. [§1–§2] Notation for the valued field k and the norm should be introduced once and used consistently; minor inconsistencies appear in the early sections.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comment on the definitions. We address the major point below and will revise the manuscript accordingly to strengthen the justification for the transfer of results.

read point-by-point responses

  1. Referee: [§2] §2 (Definitions): The claim that the chosen definition of 'almost free' preserves the exact combinatorial properties (basis-extension arguments, closure under <κ-subspaces, applicability of elementary embeddings or Vopěnka-type principles) used in the Abelian-group case is load-bearing for the central transfer. The manuscript must explicitly verify that the valuation and norm do not create additional obstructions to extending partial orthonormal bases; otherwise the 'similar assumptions' do not suffice.

    Authors: We agree that explicit verification is required for the central transfer to be fully rigorous. The ultrametric property of the norm ensures that orthonormal Schauder bases extend in a manner directly analogous to bases in free Abelian groups: if a partial orthonormal set is given in a subspace of smaller cardinality, the non-Archimedean triangle inequality allows extension without new obstructions from the valuation, as the norm of sums is determined by the maximum when distinct. However, we acknowledge that the manuscript relies on this implicitly rather than stating a dedicated lemma. We will add an explicit basis-extension lemma in §2 confirming closure under <κ-subspaces and compatibility with elementary embeddings, thereby justifying the application of the same large-cardinal hypotheses without additional assumptions. revision: yes

Circularity Check

0 steps flagged

No circularity: definitions and large-cardinal transfer are independent of the target conclusion

full rationale

The paper explicitly formulates the notions of free and almost-free Banach k-vector spaces (free = existence of orthonormal Schauder basis; almost-free = direct non-Archimedean analogue of the classical almost-free Abelian group notion) and then proves, under externally assumed large-cardinal hypotheses (ℵ₁-strong compactness or weak compactness), that almost-free implies free. No equation or step equates the conclusion to the input definition by construction, no parameter is fitted and then renamed as a prediction, and no load-bearing premise reduces to a self-citation chain. The large-cardinal assumptions and the combinatorial transfer arguments are independent of the paper's own constructions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on standard ZFC plus large-cardinal axioms and on the newly introduced definitions of free and almost free Banach spaces; no numerical parameters are fitted.

axioms (1)
  • standard math ZFC set theory augmented with large cardinal assumptions (weak compactness or ℵ₁-strong compactness)
    Invoked to obtain the freeness conclusion from the almost-freeness hypothesis.
invented entities (1)
  • almost free Banach k-vector space no independent evidence
    purpose: Non-Archimedean analogue of an almost free Abelian group
    New definition introduced to mirror the group-theoretic notion and enable the large-cardinal transfer.

pith-pipeline@v0.9.0 · 5392 in / 1233 out tokens · 40246 ms · 2026-05-10T15:56:06.973291+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

12 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    S.\ Bosch, U.\ G\"untzer, and R.\ Remmert, Non-Archimedean Analysis A Systematic Approach to Rigid Analytic Geometry , Grundlehren der mathematischen Wissenschaften 261, A Series of Comprehensive Studies in Mathematics, Springer, 1984

    1984

  2. [2]

    F.\ Bambozzi and T.\ Mihara, Homotopy epimorphisms and derived tate's acyclicity for commutative C^* -algebras , The Quarterly Journal of Mathematics, Volume 74, Issue 2, pp.\ 421--458, 2023

    2023

  3. [3]

    F.\ Calderoni and A.\ Ostrem, Compactness in abelian group theory , arXiv:2508.16038, 2025

    work page arXiv 2025

  4. [4]

    P.\ C.\ Eklof, Shelah's Singular Compactness Theorem , lecture notes in the Programme in ``Discrete and Continuous Methods in Ring Theory'' in Centre de Recerca Mathem\`atica, 2006

    2006

  5. [5]

    L.\ Fuchs, Abelian Groups , Springer Monographs in Mathematics, Springer, 2015

    2015

  6. [6]

    Volume 20, Number 5, p.\ A-500, 1973

    J.\ Gregory, Abelian groups infinitarily equivalent to free ones , Notices of the American Mathematical Society. Volume 20, Number 5, p.\ A-500, 1973

    1973

  7. [7]

    P.\ Hill, On the freeness of abelian groups: A generalization of Pontryagin's theorem , Bulletin of the American Mathematical Society, Volume 76, Number 5, pp.\ 1118--1120, 1970

    1970

  8. [8]

    T.\ Mihara, Duality theory of p -adic Hopf algebras , Categories and General Algebraic Structures with Applications, Volume 14, Issue 1, pp.\ 81--118, 2021

    2021

  9. [9]

    T.\ Mihara, Structural Hierarchy of Reid Class of non-Archimedean Banach Spaces , arXiv:2604.05330, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  10. [10]

    W.\ H.\ Schikhof, Banach spaces over nonarchimedean valued fields , Report Number 9937, Radboud University Nijmegen (formerly Katholieke Universiteit Nijmegen), 1999

    1999

  11. [11]

    Israel Journal of Mathematics, Volume 18, pp.\ 243--256, 1974

    S.\ Shelah, Infinite abelian groups, Whitehead problem and some constructions . Israel Journal of Mathematics, Volume 18, pp.\ 243--256, 1974

    1974

  12. [12]

    P.\ Schneider and J.\ Teitelbaum, Banach space representations and Iwasawa theory , Israel Journal of Mathematics, Volume 127, Issue 1, pp.\ 359--380, 2002

    2002