Möbius Homology

07/03/2023

∙

by   Amit Patel, et al.

∙

0

∙

share

This paper introduces Möbius homology, a homology theory for representations of finite posets into abelian categories. While the connection between poset topology and Möbius functions is classical, we establish a direct connection between poset topology and Möbius inversions. More precisely, the Möbius homology categorifies the Möbius inversion because its Euler characteristic is equal to the Möbius inversion of the dimension function of the representation. We also introduce a homological version of Rota's Galois Connection Theorem which relates the Möbius homology over two posets connected by a Galois connection. Our main application is to persistent homology over general posets. We show that under one definition, the persistence diagram is an Euler characteristic over a poset of intervals and hence Möbius homology is a categorification of the persistence diagram. This provides a new invariant for persistent homology over general posets. Finally, we use our homological Rota's Galois Connection Theorem to prove several results about the persistence diagram.