Cosheaf representations of relations and Dowker complexes

DOI10.1007/S41468-021-00078-YzbMATH Open1505.55029arXiv2005.12348OpenAlexW3031879401MaRDI QIDQ2125403FDOQ2125403

Authors: Yanyan Li 

Publication date: 14 April 2022

Published in: Journal of Applied and Computational Topology (Search for Journal in Brave)

Abstract: The Dowker complex is an abstract simplicial complex that is constructed from a binary relation in a straightforward way. Although there are two ways to perform this construction -- vertices for the complex are either the rows or the columns of the matrix representing the relation -- the two constructions are homotopy equivalent. This article shows that the construction of a Dowker complex from a relation is a non-faithful covariant functor. Furthermore, we show that this functor can be made faithful by enriching the construction into a cosheaf on the Dowker complex. The cosheaf can be summarized by an integer weight function on the Dowker complex that is a complete isomorphism invariant for the relation. The cosheaf representation of a relation actually embodies both Dowker complexes, and we construct a duality functor that exchanges the two complexes. Finally, we explore a different cosheaf that detects the failure of the Dowker complex itself to be a faithful functor.

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

Recommendations

• scientific article; zbMATH DE number 1444400
• The variety of coset relation algebras
• Representations of relative Cohn path algebras
• scientific article; zbMATH DE number 490881
• A relative description of a cohomolgy of representations
• Representation of relative sheaf cohomology
• scientific article; zbMATH DE number 490890
• Cohomologies of \(n\)-simplex relations
• scientific article; zbMATH DE number 4084562
• Relative cohomology of complexes based on cotorsion pairs

zbMATH Keywords

binary relationcosheafsheafDowker complex

Mathematics Subject Classification ID

Persistent homology and applications, topological data analysis (55N31) Simplicial sets and complexes in algebraic topology (55U10)

Cites Work

• Sparse Dowker nerves
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Whitney numbers of geometric lattices
• Title not available (Why is that?)
• Topological signal processing
• Homology groups of relations
• Title not available (Why is that?)
• A functorial Dowker theorem and persistent homology of asymmetric networks
• The geometry of relations
• Rips complexes as nerves and a functorial Dowker-nerve diagram

Cited In (3)

• The geometry of relations
• The rectangle complex of a relation
• Title not available (Why is that?)

Uses Software

• Sparse-Dowker-Nerves

This page was built for publication: Cosheaf representations of relations and Dowker complexes

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