Banach modules, almost mathematics and condensed mathematics
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915447524294656 |
|---|---|
| author | Dine, Dimitri |
| author_facet | Dine, Dimitri |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_11268 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Banach modules, almost mathematics and condensed mathematics Dine, Dimitri Number Theory Commutative Algebra Algebraic Geometry Functional Analysis 14G22, 14G45 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. |
| title | Banach modules, almost mathematics and condensed mathematics |
| topic | Number Theory Commutative Algebra Algebraic Geometry Functional Analysis 14G22, 14G45 |
| url | https://arxiv.org/abs/2508.11268 |