Decomposition of exact pfd persistence bimodules

From MaRDI portal



Abstract: We characterize the class of persistence modules indexed over mathbbR2 that are decomposable into summands whose support have the shape of a {em block}---i.e. a horizontal band, a vertical band, an upper-right quadrant, or a lower-left quadrant. Assuming the modules are pointwise finite dimensional (pfd), we show that they are decomposable into block summands if and only if they satisfy a certain local property called {em exactness}. Our proof follows the same scheme as the proof of decomposition for pfd persistence modules indexed over mathbbR, yet it departs from it at key stages due to the product order on mathbbR2 not being a total order, which leaves some important gaps open. These gaps are filled in using more direct arguments. Our work is motivated primarily by the stability theory for zigzags and interlevel-sets persistence modules, in which block-decomposable bimodules play a key part. Our results allow us to drop some of the conditions under which that theory holds, in particular the Morse-type conditions.





Cited in
(22)








This page was built for publication: Decomposition of exact pfd persistence bimodules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2291449)