A metrically complete and Krull--Schmidt space of multiparameter persistence modules
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911509123170304 |
|---|---|
| author | Bauer, Ulrich Gusel, Cameron Scoccola, Luis |
| author_facet | Bauer, Ulrich Gusel, Cameron Scoccola, Luis |
| contents | We show that the observable category of q-tame multiparameter persistence modules satisfies good metric and algebraic properties: it forms a complete metric space with respect to the interleaving distance, and it is Krull--Schmidt in the sense that every object admits an essentially unique decomposition into indecomposables. Moreover, we show that these metric and algebraic structures are compatible: two objects are at distance zero if and only if they are isomorphic. We argue that the observable category of q-tame multiparameter persistence modules is the right setup for multiparameter persistence by showing that many of the categories already considered in the literature form full subcategory of this category. We also characterize precompact sets in terms of finite representation type of certain discretizations, and show that the image of several of the main constructions in multiparameter persistence is precompact. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_12049 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A metrically complete and Krull--Schmidt space of multiparameter persistence modules Bauer, Ulrich Gusel, Cameron Scoccola, Luis Representation Theory Algebraic Topology Rings and Algebras We show that the observable category of q-tame multiparameter persistence modules satisfies good metric and algebraic properties: it forms a complete metric space with respect to the interleaving distance, and it is Krull--Schmidt in the sense that every object admits an essentially unique decomposition into indecomposables. Moreover, we show that these metric and algebraic structures are compatible: two objects are at distance zero if and only if they are isomorphic. We argue that the observable category of q-tame multiparameter persistence modules is the right setup for multiparameter persistence by showing that many of the categories already considered in the literature form full subcategory of this category. We also characterize precompact sets in terms of finite representation type of certain discretizations, and show that the image of several of the main constructions in multiparameter persistence is precompact. |
| title | A metrically complete and Krull--Schmidt space of multiparameter persistence modules |
| topic | Representation Theory Algebraic Topology Rings and Algebras |
| url | https://arxiv.org/abs/2603.12049 |