A computational framework for weighted simplicial homology

arXiv2206.04612MaRDI QIDQ6401604FDOQ6401604

Authors: Andrei C. Bura, Neelav S. Dutta, Thomas J. X. Li, Christian M. Reidys 

Publication date: 9 June 2022

Abstract: We provide a bottom up construction of torsion generators for weighted homology of a weighted complex over a discrete valuation ring $R=mathbbF[[pi]]$. This is achieved by starting from a basis for classical homology of the $n$-th skeleton for the underlying complex with coefficients in the residue field $mathbbF$ and then lifting it to a basis for the weighted homology with coefficients in the ring $R$. Using the latter, a bijection is established between $n+1$ and $n$ dimensional simplices whose weight ratios provide the exponents of the $pi$-monomials that generate each torsion summand in the structure theorem of the weighted homology modules over $R$. We present algorithms that subsume the torsion computation by reducing it to normalization over the residue field of $R$, and describe a Python package we implemented that takes advantage of this reduction and performs the computation efficiently.

Has companion code repository: https://gitlab.com/nerlf/weightedsimplicialhomology

Mathematics Subject Classification ID

Other homology theories in algebraic topology (55N35) Simplicial sets and complexes in algebraic topology (55U10) Combinatorial aspects of simplicial complexes (05E45) Computational homological algebra (13P20)

This page was built for publication: A computational framework for weighted simplicial homology

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