DeepAI AI Chat
Log In Sign Up

Relative Interlevel Set Cohomology Categorifies Extended Persistence Diagrams

05/30/2022
βˆ™
by   Ulrich Bauer, et al.
βˆ™
0
βˆ™

The extended persistence diagram introduced by Cohen-Steiner, Edelsbrunner, and Harer is an invariant of real-valued continuous functions, which are 𝔽-tame in the sense that all open interlevel sets have degree-wise finite-dimensional cohomology with coefficients in a fixed field 𝔽. We show that relative interlevel set cohomology (RISC), which is based on the Mayer–Vietoris pyramid by Carlsson, de Silva, and Morozov, categorifies this invariant. More specifically, we define an abelian Frobenius category pres(π’₯) of presheaves, which are presentable in a certain sense, such that the RISC h(f) of an 𝔽-tame function f X →ℝ is an object of pres(π’₯), and moreover the extended persistence diagram of f uniquely determines - and is determined by - the corresponding element [h(f)] ∈ K_0 (pres(π’₯)) in the Grothendieck group K_0 (pres(π’₯)) of the abelian category pres(π’₯). As an intermediate step we show that pres(π’₯) is the abelianization of the (localized) category of complexes of 𝔽-linear sheaves on ℝ, which are tame in the sense that sheaf cohomology of any open interval is finite-dimensional in each degree. This yields a close link between derived level set persistence by Curry, Kashiwara, and Schapira and the categorification of extended persistence diagrams.

READ FULL TEXT

page 1

page 2

page 3

page 4

βˆ™ 07/03/2020

Universality of the Bottleneck Distance for Extended Persistence Diagrams

The extended persistence diagram is an invariant of piecewise linear fun...
βˆ™ 08/20/2021

Structure and Interleavings of Relative Interlevel Set Cohomology

The relative interlevel set cohomology (RISC) is an invariant of real-va...
βˆ™ 09/15/2020

Steady and ranging sets in graph persistence

Generalised persistence functions (gp-functions) are defined on (ℝ, ≀)-i...
βˆ™ 10/26/2018

Generalized Persistence Diagrams for Persistence Modules over Posets

When a category C satisfies certain conditions, we define the notion of ...
βˆ™ 11/13/2018

Finite degree clones are undecidable

A clone of functions on a finite domain determines and is determined by ...
βˆ™ 07/09/2021

Realizable piecewise linear paths of persistence diagrams with Reeb graphs

Reeb graphs are widely used in a range of fields for the purposes of ana...
βˆ™ 06/21/2022

A Theory of Sub-Barcodes

From the work of Bauer and Lesnick, it is known that there is no functor...