A continuum of Künneth theorems for persistence modules

Abstract

We develop new aspects of the homological algebra theory for persistence modules, in both the one-parameter and multi-parameter settings. For a poset $P$ and an order preserving map $\ddot{I}†:P\times P\to P$, we introduce a novel tensor product of persistence modules indexed by $P$, ${\otimes }_{\ddot{I}}†$. We prove that each ${\otimes }_{\ddot{I}}†$ has a right adjoint, ${\mathbf{Hom}}^{\ddot{I}}†$, the internal hom of persistence modules that also depends on $\ddot{I}†$. We prove that every ${\otimes }_{\ddot{I}}†$ yields a Künneth short exact sequence of chain complexes of persistence modules. Dually, the ${\mathbf{Hom}}^{\ddot{I}}†$ also has an associated Künneth short exact sequence in cohomology. As special cases both of these short exact sequences yield Universal Coefficient Theorems. We show how to apply these to chain complexes of persistence modules arising from filtered CW complexes. For the special case of $P={\mathbb{R}}_{+}$, the $p$-quasinorms for each $p\in (0,\infty ]$ yield a distinct ${\otimes }_{{\ell }_c^p}$ and its adjoint ${\mathbf{Hom}}^{{\ell }_c^p}$. We compute their derived functors, ${\mathbf{Tor}}^{{\ell }_c^p}$ and ${\mathbf{Ext}}_{{\ell }_c^p}$ explicitly for interval modules. We show that the Universal Coefficient Theorem developed can be used to compute persistent Borel-Moore homology of a filtration of non-compact spaces. Finally, we show that for every $p\in [1,\infty ]$ the associated Künneth short exact sequence can be used to significantly speed up and approximate persistent homology computations in a product metric space $(X\times Y,d^p)$ with the distance $d^p((x,y),(x^{\prime },y^{\prime }))=||d_X(x,x^{\prime }),d_Y(y,y^{\prime })|{|}_p$.

52 pages, 10 figures