Relative interlevel set cohomology (RISC) is an invariant of real-valued continuous functions stemming from (zigzag) persistent homology by Edelsbrunner, Letscher, Zomorodian, Carlsson, de Silva, and Morozov. We provide a proof to a structure theorem for RISC inspired by Crawley-Boevey, Höppner, and Lenzing, a theory of interleavings in the sense of Bubenik, de Silva, Scott, and Scoccola, as well as a functorial equivalence to derived level set persistence by Curry. Finally, we harness RISC to provide an abelian categorification of extended persistence diagrams and a Mayer–Vietoris principle. We note that Parts III and IV can be read independently of Part II.
Translated abstract:
Relative Zwischenniveaumengen Kohomologie (RISC) ist eine Invariante reellwertiger stetiger Funktionen, die aus (Zickzack) Persistenter Homologie von Edelsbrunner, Letscher, Zomorodian, Carlsson, de Silva und Morozov hervorgeht. Wir liefern einen Beweis für einen Struktursatz für RISC, der von Crawley-Boevey, Höppner und Lenzing inspiriert ist, eine Theorie von Verschachtelungen im Sinne von Bubenik, de Silva, Scott und Scoccola sowie eine Äquivalenz zur abgeleiteten Niveaumengen Persistenz von Curry. Schließlich nutzen wir RISC, um eine abelsche Kategorifizierung von erweiterten Persistenzdiagrammen und ein Mayer–Vietoris Prinzip zu liefern. Die Teile III und IV können unabhängig von Teil II gelesen werden.