Persistent intersection homology
type: Item
instance of: scholarly article
title: Persistent intersection homology
zbMATH Open document ID: 1223.55002
author: Paul Bendich
author: J. L. Harer
published in: Foundations of Computational Mathematics
publication date: 2011-06-16T00:00:00Z
review text: Persistent homology uses a filtration on a topological space to define birth and death of a homology class. The \(r\)-dimensional classes that are born at stage \(i\) and die at stage \(j\) form the pair group \(P^{i,j}_r\), a vector space over the field with 2 elements, of the filtered space. There may be classes that never die, so-called essential classes. To force every class to die eventually, one uses a second filtration and relative homology to extend persistence and pair groups. If the space is an oriented manifold, and the filtrations are the sub- and superlevel sets of a Morse height function, then Poincaré duality induces a perfect pairing between the complementary pair groups \(P^{i,j}_r\) and \(P^{2n-j+1, 2n-i+1}_{d-r}\), where \(d\) is the dimension of the manifold and \(n\) is the number of critical points. Simple examples show that ordinary persistent homology is inadequate to detect important topological features when height functions on singular stratified spaces are studied. Also, the above pair group duality fails on such spaces. The paper under review defines persistent intersection homology to rectify these issues. The main result is as follows: Suppose that a stratified Morse function with \(n\) critical points is given on an oriented \(d\)-dimensional stratified space. Let \(\bar{p}\) and \(\bar{q}\) be complementary perversities. Then Poincaré-Lefschetz-Goresky-MacPherson duality for intersection homology induces a perfect pairing between the complementary intersection pair groups \(I^{\bar{p}} P^{i,j}_r\) and \(I^{\bar{q}} P^{2n-j+1, 2n-i+1}_{d-r}\) of the space filtered by the sub- and superlevel sets of the Morse function. Persistence diagrams and their symmetries are discussed as well. In fact, intersection homology persistence arises by specializing a more general concept of \(\phi\)-persistence, introduced in the present paper, where \(\phi\) is any binary function on a simplicial complex, defining the allowability of simplices. For fil…
reviewed by: Markus Banagl
Mathematics Subject Classification ID: 55N33
Mathematics Subject Classification ID: 55N35
zbMATH DE Number: 5908360
zbMATH Keywords: persistence
zbMATH Keywords: intersection homology
zbMATH Keywords: algorithms
zbMATH Keywords: stratified spaces
MaRDI profile type: Publication
full work available at URL: s10208-010-9081-1
OpenAlex ID: W2038900692
cites work: Extreme elevation on a 2-manifold
cites work: Interface surfaces for protein-protein complexes
cites work: Laplacian Eigenmaps for Dimensionality Reduction and Data Representation
cites work: Size functions from a categorical viewpoint
cites work: PERSISTENCE BARCODES FOR SHAPES
cites work: Computing persistent homology
cites work: Localized homology
cites work: Proximity of persistence modules and their diagrams
cites work: Stability of persistence diagrams
cites work: Extending persistence using Poincaré and Lefschetz duality
cites work: Q3601530
cites work: Q3514524
cites work: Q3655278
cites work: Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
cites work: Topological persistence and simplification
cites work: Stratified fibrations and the intersection homology of the regular neighborhoods of bottom strata
cites work: Intersection homology theory
cites work: Intersection homology. II
cites work: Surgery and stratified spaces
cites work: Topological invariance of intersection homology without sheaves
cites work: Q3373207
cites work: Q4424951
DOI: 10.1007/S10208-010-9081-1
description: scientific article; zbMATH DE number 5908360