A derived isometry theorem for sheaves

DOI10.1016/J.AIM.2021.108033MaRDI QIDQ2064473zbMATH OpenOpenAlexFDO

Authors Nicolas Berkouk, Grégory Ginot

Publication date 6 January 2022

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.09694

zbMATH Keywords

persistent homologytopological data analysissheavesbarcodesisometry theoremconvolution distance

Mathematics Subject Classification ID

Persistent homology and applications, topological data analysis (55N31) Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27) Derived categories, triangulated categories (18G80)

Abstract: Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in this derived setting, thus expressing the convolution distance of sheaves as a matching distance between combinatorial objects associated to them that we call graded barcodes. This allows to consider sheaf-theoretical constructions as combinatorial, stable topological descriptors of data, and generalizes the situation of persistence with one parameter. To achieve so, we explicitly compute all morphisms in $D_{mathbbRc}^b(extbf{k}_{m}athbbR)$, which enables us to compute distances between indecomposable objects. Then we adapt Bjerkevik's stability proof to this derived setting. As a byproduct of our isometry theorem, we prove that the convolution distance is closed, give a precise description of connected components of $D_{mathbbRc}^b(extbf{k}_{m}athbbR)$and provide some explicit examples of computation of the convolution distance.

Recommendations

• Persistent homology and microlocal sheaf theory
• Ephemeral persistence modules and distance comparison
• Categorification of persistent homology
• The theory of the interleaving distance on multidimensional persistence modules
• Persistent local systems

Cites work

• scientific article; zbMATH DE number 47944 (Why is no real title available?)
• scientific article; zbMATH DE number 3231692 (Why is no real title available?)
• Computational topology. An introduction
• Decomposition of exact pfd persistence bimodules
• Decomposition of pointwise finite-dimensional persistence modules.
• Ephemeral persistence modules and distance comparison
• Injective choice functions for countable families
• Interval decomposition of infinite zigzag persistence modules
• Persistence theory. From quiver representations to data analysis
• Persistence-like distance on Tamarkin's category and symplectic displacement energy
• Persistent homology and microlocal sheaf theory
• Proximity of persistence modules and their diagrams
• Quillen closed model structures for sheaves
• Stability of persistence diagrams
• The observable structure of persistence modules
• The structure and stability of persistence modules
• The theory of multidimensional persistence
• The theory of the interleaving distance on multidimensional persistence modules

Cited in

(10)

• scientific article; zbMATH DE number 1167615 (Why is no real title available?)
• The singular support of sheaves is \(\gamma\)-coisotropic
• Persistent homology and microlocal sheaf theory
• Completeness of derived interleaving distances and sheaf quantization of non-smooth objects
• Piecewise linear sheaves
• Persistence and the Sheaf-Function Correspondence
• Thickening of the diagonal and interleaving distance
• Universal distances for extended persistence
• A property of the interleaving distance for sheaves
• scientific article; zbMATH DE number 1796854 (Why is no real title available?)

This page was built for publication: A derived isometry theorem for sheaves

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