We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Representation Theory

Title: Decomposition of exact pfd persistence bimodules

Abstract: We characterize the class of persistence modules indexed over $\mathbb{R}^2$ 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 $\mathbb{R}$, yet it departs from it at key stages due to the product order on $\mathbb{R}^2$ 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.
Comments: Minor comments by the reviewers taken into account
Subjects: Representation Theory (math.RT); Algebraic Topology (math.AT)
Cite as: arXiv:1605.09726 [math.RT]
  (or arXiv:1605.09726v5 [math.RT] for this version)

Submission history

From: Steve Oudot [view email]
[v1] Tue, 31 May 2016 17:17:54 GMT (302kb,D)
[v2] Tue, 26 Jul 2016 21:44:07 GMT (301kb,D)
[v3] Mon, 26 Sep 2016 23:25:40 GMT (303kb,D)
[v4] Sat, 1 Dec 2018 13:24:50 GMT (873kb)
[v5] Wed, 27 Nov 2019 09:16:24 GMT (873kb)

Link back to: arXiv, form interface, contact.