Banach modules, almost mathematics and condensed mathematics

Dimitri Dine

REVIEW 2 major objections 3 minor 20 references

Banach modules, almost mathematics and condensed mathematics

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

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

Pith's one-line read The paper proves that for Banach rings with a norm-multiplicative topologically nilpotent unit admitting compatible p-power roots, the almost closed unit ball functor is an equivalence between Banach modules and certain almost modules, with

desk verdict Clear, plausible bridge between Banach modules and almost/condensed modules, with a genuinely new norm-recovery claim—but the text I have is only an abstract and bibliography, so the proof is entirely unverified. read the letter →

arxiv 2508.11268 v1 pith:FO4YTGD3 submitted 2025-08-15 math.NT math.ACmath.AGmath.FA

Dimitri Dine This is my paper · ORCID

classification math.NTmath.ACmath.AGmath.FA MSC 14G2246S1011S80

keywords Banachmodulesalmostmathematicscondensedperfectoidringssolidsubmetricmapsunitballϖ-adiccompleteness

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

The paper proves that over a Banach ring $A$ carrying a norm-multiplicative topologically nilpotent unit $\varpi$ inside the unit ball, together with compatible $p$-power roots $\varpi^{1/p^n}$ satisfying $\lVert \varpi^{1/p^n}\rVert = \lVert \varpi\rVert^{1/p^n}$, the 'almost closed unit ball' functor $M \mapsto M^a_{\leq 1}$ is an equivalence between Banach $A$-modules with submetric maps and $\varpi$-adically complete, $\varpi$-torsion-free almost $(A_{\leq 1}, (\varpi^{1/p^\infty}))$-modules. The main novelty is that the norm on a Banach module is completely determined by its almost unit ball, not just up to equivalence. The paper also treats Banach algebras and constructs a fully faithful embedding into condensed almost modules, factoring through the solid subcategory. For perfectoid $A$ with totally disconnected adic spectrum, the embedding is symmetric monoidal, identifying the complete tensor product with the solid tensor product. This gives an algebraic, almost-mathematical description of Banach module theory over such rings.

What carries the argument

The load-bearing object is the almost closed unit ball functor $M \mapsto M^a_{\leq 1}$, which passes from a Banach $A$-module to an almost module over $(A_{\leq 1}, (\varpi^{1/p^\infty}))$ by taking the unit ball and then applying the almost theory with respect to the ideal generated by all $\varpi^{1/p^n}$. The key mechanism is the norm-reconstruction theorem: the action of the roots $\varpi^{1/p^n}$ on $M^a_{\leq 1}$ records the decay rate of the norm, allowing the original norm to be recovered exactly. The hypotheses on $\varpi$ (norm-multiplicativity and the root-norm condition) are exactly what make this metric information accessible from the almost module.

What would settle it

Produce two Banach $A$-modules $M$ and $N$, for an $A$ satisfying the stated hypotheses, such that $M^a_{\leq 1} \cong N^a_{\leq 1}$ as almost $(A_{\leq 1}, (\varpi^{1/p^\infty}))$-modules yet $M$ and $N$ are not submetrically isomorphic; or exhibit a $\varpi$-adically complete, $\varpi$-torsion-free almost module not isomorphic to any unit ball $M^a_{\leq 1}$, which would falsify essential surjectivity.

Watch

Extended reading notes

Core claim

The central discovery is that the almost closed unit ball construction is lossless: the functor $M \mapsto M^a_{\leq 1}$ is an equivalence of categories, and the norm of every element of $M$ can be reconstructed from the induced almost $A_{\leq 1}$-module structure. The reconstruction uses the compatible family of $p$-power roots of $\varpi$ to read off the size of elements, a step that previously was believed to work only up to equivalence. Consequently, the paper obtains a fully faithful embedding of the category of Banach $A$-modules and submetric maps into the category of static condensed almost modules, with the embedding factoring through solid condensed almost modules. In the perfecto

Load-bearing premise

The equivalence relies on $A$ containing a topologically nilpotent unit $\varpi$ inside its closed unit ball that is norm-multiplicative and admits compatible $p$-power roots with $\lVert \varpi^{1/p^n}\rVert = \lVert \varpi\rVert^{1/p^n}$ for every $n$; without such a $\varpi$, the almost unit ball does not determine the norm.

Editorial extensions

If this is right

Banach $A$-modules over such $A$ can be studied as purely algebraic almost modules, with submetric maps becoming ordinary module homomorphisms.
The norm on a Banach module is a categorical invariant of its almost unit ball: isometric (submetric) isomorphisms correspond exactly to almost isomorphisms of the associated almost modules.
Banach algebras over $A$ are classified by the corresponding almost algebras, giving an algebraic framework for Banach algebra structures.
The fully faithful embedding into solid condensed almost modules means Banach-module constructions can be carried out in condensed mathematics, and the monoidal compatibility allows complete tensor products to be computed as almost-solid tensor products in the perfectoid totally disconnected case.

Reading between the lines

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

This suggests that the metric on a Banach module over such rings is not auxiliary data but is forced by the algebraic almost-module structure; constructions in $p$-adic Hodge theory that track norms might be replaceable by purely algebraic operations.
The hypothesis on $\varpi$ resembles a metric version of perfectoidness; it would be natural to test whether the equivalence distinguishes a broader class of 'almost perfectoid' Banach rings and whether the root-norm condition can be relaxed.
The monoidal embedding hints at a symmetric monoidal equivalence between the derived category of Banach modules and a derived category of solid almost modules, which could give a new computational tool for étale cohomology of diamonds.
One could test the norm-reconstruction property on explicit examples, such as the completed algebraic closure of a perfectoid field, where the compatibility of roots is explicit.

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

You asked for a read on Dine's arXiv:2508.11268. The abstract promises a clean equivalence: for a Banach ring A equipped with a norm-multiplicative topologically nilpotent unit ϖ with compatible p-power roots, the closed-unit-ball functor induces an equivalence between Banach A-modules and ϖ-adically complete, ϖ-torsion-free almost modules. The headline novelty is that the norm on M is recovered exactly from the almost module, not just up to equivalence. That is a genuinely useful strengthening of the usual almost/condensed comparison, and it makes sense heuristically: over a perfectoid field, unit-ball rescalings by unit scalars are isomorphisms in the Banach category.

What the abstract does well: the hypotheses are explicit and restrictive but not ad hoc—they make the ideal (ϖ^{1/p^∞}) idempotent and the almost setup nondegenerate. The embedding into Mann's condensed almost modules, factoring through solid almost modules, is a natural target and likely useful for p-adic geometry. The bibliography covers the relevant literature (Gabber–Ramero, Kedlaya, Mann, Scholze), and the self-citations are not inappropriate.

The serious soft spot: the text I was given contains the abstract and references only. No proofs, no statements of intermediate lemmas, no definitions of the 'almost analog' of the solid tensor product. So the central equivalence is completely unverified from what I can see. The stress-test note agreed that no internal inconsistency is visible, but that just says the abstract is coherent, not that the theorem is true. The completeness hypothesis on A is strong—it will fail for many Banach rings—but a strong hypothesis is not a gap. The monoidal statement further requires A perfectoid and Spa(A,A°) totally disconnected, which is a heavy extra condition; the abstract says 'transforms the complete tensor product,' but the notion of almost analog of solid tensor product is left vague.

If the full paper has rigorous proofs, this deserves a serious referee. The claim is important enough and the abstract is precise enough that a desk reject would be wrong. My own verdict is unverified, not skeptical.

Recommendation: send it to a competent referee in almost/condensed mathematics. I would not cite it yet without seeing the proof.

Referee Report

2 major / 3 minor

Summary. The paper claims a category-theoretic bridge between almost mathematics, condensed mathematics, and Banach modules. Specifically, for a Banach ring A admitting a norm-multiplicative topologically nilpotent unit ϖ in A_{≤1} with compatible p-power roots satisfying ∥ϖ^{1/p^n}∥=∥ϖ∥^{1/p^n}, the 'almost closed unit ball' functor M ↦ M^a_{≤1} is asserted to be an equivalence between Banach A-modules with submetric maps and ϖ-adically complete, ϖ-torsion-free almost (A_{≤1},(ϖ^{1/p^∞}))-modules. An analogous algebra statement is claimed, along with a fully faithful embedding into condensed almost modules, and a symmetric monoidal refinement when A is perfectoid and Spa(A,A°) is totally disconnected. The text available for review contains only the abstract and bibliography; the body containing the definitions, theorem statements, and proofs is absent.

Significance. The central claim is well-motivated and, if proved, would be a useful contribution: it would show that the norm on a Banach module is entirely recovered from the almost-module structure, removing a previously known 'up to equivalence' ambiguity, and it would connect the Banach-module category with condensed almost modules in Mann's sense. The hypotheses on ϖ are explicit and restrictive, and the monoidal statement is conditional on standard perfectoid hypotheses. Credit should be given for stating a strong, falsifiable equivalence and for being clear about the required assumptions. However, because the submission as provided contains no derivations, definitions, or proofs, the significance cannot currently be separated from the plausibility of the claimed theorem; no machine-checked proofs or reproducible code are included either.

major comments (2)

[Abstract / entire provided text] The central equivalence M ↦ M^a_{≤1} is asserted but no proof is included in the text available for review. The provided manuscript contains only the abstract and bibliography; there is no construction of the inverse functor, no verification of the unit and counit natural isomorphisms, no statement of the intermediate lemmas showing ϖ-adic completeness and ϖ-torsion-freeness, and no definitions of the categories Ban^≤1_A, ϖ-adically complete almost modules, or submetric maps. Since this equivalence is the main claim, the soundness of the paper cannot currently be assessed.
[Abstract, final sentence] The monoidal enhancement states that the embedding is symmetric monoidal when A is perfectoid and Spa(A,A°) is totally disconnected, using 'an almost analog of the solid tensor product.' The definition of this almost solid tensor product and the proof that it satisfies the required associativity and unit constraints with respect to the embedding are not present in the available text. This is a load-bearing component of the tensor-product claim and needs to be supplied.

minor comments (3)

[Overall structure] The submitted text has no section headings, theorem numbering, or references to equations beyond the displayed norm condition in the abstract. Please restructure the manuscript with numbered theorems, lemmas, and definitions so that the claims can be checked.
[References] Several bibliographic entries, particularly [6], [11], [14], [17], and [20], have corrupted Cyrillic titles due to encoding; please ensure the bibliographic data are accurate and typeset correctly.
[Abstract, terminology] The terms 'static condensed almost modules', 'solid almost modules' in the sense of Mann, and 'submetric A-module maps' are used without definitions in the abstract. The reader should be able to find precise definitions in the body; please provide them explicitly rather than relying only on references.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identified from the available text; the central claim is conditional and no derivation chain is visible.

full rationale

The manuscript provided consists only of the abstract, arXiv metadata, and a bibliography; no proof, construction, or derivation chain is present in the available text. Consequently there are no equations or definitions to exhibit that would show X defined in terms of Y, a fitted parameter renamed as a prediction, or a load-bearing self-citation. The paper does list two works by the author ([7], [8]), but the abstract nowhere states that the main equivalence depends on those self-citations, and no passage invokes a uniqueness theorem or ansatz from them. The central claim is explicitly conditional on the existence of a norm-multiplicative topologically nilpotent unit ϖ with compatible p-power roots satisfying the stated norm equality; this is a substantive assumption, not a circular step. The absence of the body means the claimed equivalence cannot be independently checked from the supplied text, but missing support is a verification gap, not circularity. Therefore no circular step can be established, and the appropriate score is 0.

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

No free parameters or invented entities are introduced in the abstract. The central claim rests on a domain assumption about the Banach ring A and on the prior frameworks of almost and condensed mathematics.

assumptions (2)

domain assumption A is a Banach ring with a norm-multiplicative topologically nilpotent unit ϖ contained in A≤1, with compatible p-power roots satisfying ∥ϖ^{1/p^n}∥ = ∥ϖ∥^{1/p^n} for all n.
This is the key hypothesis on the base ring needed to define the almost ring and the equivalence. It is not derived in the paper; it is a condition the ring must satisfy.
standard math The framework and basic results of almost mathematics (Gabber-Ramero), condensed mathematics (Scholze), and Mann's almost modules are taken as given.
The paper builds on established theories. These are not proved in the paper but are standard background in the field.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Banach modules, almost mathematics and condensed mathematics." pith.science (2026). https://pith.science/paper/FO4YTGD3

@misc{pith2026250811268,
  author       = {Pith},
  title        = {Pith review of: Banach modules, almost mathematics and condensed mathematics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FO4YTGD3}},
  note         = {Machine review of arXiv:2508.11268}
}

abstract

We study the relationship between almost mathematics, condensed mathematics and the categories of seminormed and Banach modules over a Banach ring $A$, with submetric (norm-decreasing) $A$-module homomorphisms for morphisms. If $A$ is a Banach ring with a norm-multiplicative topologically nilpotent unit $\varpi$ contained in the closed unit ball $A_{\leq1}$ such that $\varpi$ admits a compatible system of $p$-power roots $\varpi^{1/p^{n}}$ with \begin{equation*}\lVert\varpi^{1/p^{n}}\rVert=\lVert\varpi\rVert^{1/p^{n}}\end{equation*}for all $n$, we prove that the "almost closed unit ball" functor \begin{equation*}M\mapsto M_{\leq1}^{a}\end{equation*}is an equivalence between the category of Banach $A$-modules and submetric $A$-module maps and the category of $\varpi$-adically complete, $\varpi$-torsion-free almost $(A_{\leq1}, (\varpi^{1/p^{\infty}}))$-modules. We also obtain an analogous result for Banach algebras and almost algebras. The main novelty in our approach is that we show that the norm on the Banach module $M$ is completely determined by the corresponding almost $A_{\leq1}$-module $M_{\leq1}^{a}$, rather than being determined only up to equivalence. We deduce from our results the existence of a natural fully faithful embedding of the category of Banach $A$-modules and submetric $A$-module maps into the category of (static) condensed almost $(A_{\leq1}, (\varpi^{1/p^{\infty}}))$-modules in the sense of Mann, which factors through the full subcategory of solid condensed $(A_{\leq1}, (\varpi^{1/p^{\infty}}))$-almost modules. If $A$ is perfectoid and the adic spectrum of $(A, A^{\circ})$ is totally disconnected, we show that this embedding transforms the complete tensor product of Banach $A$-modules into (an almost analog of) the solid tensor product of solid condensed almost modules.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 18 canonical work pages

[6]

Bosch, U

S. Bosch, U. G¨ untzer, and R. Remmert. �� , volume 261 of �� Springer-Verlag, Berlin, 1984

work page 1984
[7]

D. Dine. Topological spectrum and perfectoid Tate rings. �� , 16(6):1463–1500, 2022

work page 2022
[8]

D. Dine. On Shilov boundaries, Rees valuations and integral extensions. arXiv preprint, https://arxiv.org/pdf/2507.07091, 2025

arXiv 2025
[9]

Fujiwara, O

K. Fujiwara, O. Gabber, and F. Kato. On Hausdorff completions of commutative rings in rigid geometry. �� , 332:293–321, 2011

work page 2011
[10]

Fujiwara and F

K. Fujiwara and F. Kato. �� , volume 7 of �� . European Math. Soc., 2018

work page 2018
[11]

Gabber and L

O. Gabber and L. Ramero. �� , volume 1800 of �� . Springer-Verlag, Berlin-Heidelberg, 2003

work page 2003
[12]

R. Huber. Bewertungsspektrum und rigide Geometrie. �� , 23, 1993

work page 1993
[13]

Johansson and J

C. Johansson and J. Newton. Extended eigenvarieties for overconvergent cohomology. Corrected version of [14]

work page

Show all 20 references

[14]

Johansson and J

C. Johansson and J. Newton. Extended eigenvarieties for overconvergent cohomology. �� , 13(1):93–158, 2019

2019
[15]

K. Kedlaya. Notes on condensed mathematics. Lecture notes for a special topics course at UC San Diego, available at https://kskedlaya.org/papers/condensed.pdf, 2024

2024
[16]

K.S. Kedlaya. Sheaves, stacks and shtukas. In �� , volume 242 of �� , pages 58–205. Amer. Math. Soc., 2019

2019
[17]

Kedlaya and R

K.S. Kedlaya and R. Liu. �� , volume 371. Ast´ erisque, 2015

2015
[18]

L. Mann. A �-adic 6-functor formalism in rigid-analytic geometry. arXiv preprint, https://arxiv.org/abs/2206.02022

arXiv
[19]

T. Mihara. On Tate’s acyclicity and uniformity of Berkovich spectra and adic spec- tra. �� , 216(1):61–105, 2016

2016
[20]

Schneider

P. Schneider. �� . Monographs in Mathematics. Springer-Verlag, Berlin, 2002

2002
[21]

Schneiders

J.-P. Schneiders. �� , volume 76 of �� . S.M.F, 1999. 45

1999
[22]

P. Scholze. ´Etale cohomology of diamonds. To appear in Ast´ erisque
[23]

P. Scholze. Lectures on analytic geometry. https://www.math.uni- bonn.de/people/scholze/Analytic.pdf
[24]

P. Scholze. Perfectoid spaces. �� , 116:245–313, 2012

2012
[25]

P. Scholze. Lectures on Condensed Mathematics. https://www.math.uni- bonn.de/people/scholze/Condensed.pdf, 2019. �� E-mail address: �� 46

2019

Pith tools

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

[1] [6]

Bosch, U

S. Bosch, U. G¨ untzer, and R. Remmert. �� , volume 261 of �� Springer-Verlag, Berlin, 1984

work page 1984

[2] [7]

D. Dine. Topological spectrum and perfectoid Tate rings. �� , 16(6):1463–1500, 2022

work page 2022

[3] [8]

D. Dine. On Shilov boundaries, Rees valuations and integral extensions. arXiv preprint, https://arxiv.org/pdf/2507.07091, 2025

arXiv 2025

[4] [9]

Fujiwara, O

K. Fujiwara, O. Gabber, and F. Kato. On Hausdorff completions of commutative rings in rigid geometry. �� , 332:293–321, 2011

work page 2011

[5] [10]

Fujiwara and F

K. Fujiwara and F. Kato. �� , volume 7 of �� . European Math. Soc., 2018

work page 2018

[6] [11]

Gabber and L

O. Gabber and L. Ramero. �� , volume 1800 of �� . Springer-Verlag, Berlin-Heidelberg, 2003

work page 2003

[7] [12]

R. Huber. Bewertungsspektrum und rigide Geometrie. �� , 23, 1993

work page 1993

[8] [13]

Johansson and J

C. Johansson and J. Newton. Extended eigenvarieties for overconvergent cohomology. Corrected version of [14]

work page