A metrically complete and Krull--Schmidt space of multiparameter persistence modules

TL;DR

This paper establishes that the observable category of q-tame multiparameter persistence modules is a complete metric space with a Krull--Schmidt property, providing a robust algebraic and metric framework for multiparameter persistence.

Contribution

It proves the observable category is complete and Krull--Schmidt, and demonstrates the compatibility of metric and algebraic structures, advancing the theoretical foundation of multiparameter persistence.

Findings

The observable category forms a complete metric space under interleaving distance.

Objects decompose uniquely into indecomposables in this category.

Many existing categories are subcategories of this framework.

Abstract

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.