clopen.solutions

The homology of a persistence fiber without finite bars

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Kaiwen Jin

For a finite connected simplicial complex, consider all simplex-wise filters whose ordinary persistent homology has one infinite degree-zero bar born at time 1 and all positive-degree bars born at time 2, with no finite bars. We prove that this fiber has the same homology over $\F$ as the original complex. The fiber has a deformation retract homeomorphic to the order complex of nonempty acyclic subcomplexes of the original complex. Comparing that poset with the face poset gives the homology isomorphism and proves the corresponding Betti-number conjecture of Leygonie and Henselman-Petrusek in the connected setting.

Claims

SOLUTION CLAIMED OP-00817 — Betti numbers of a persistence fiber with no finite bars
Full resolution · fidelity not yet established

Files and sources

Paper
AIM @ 24edaad, paper/persistence_fiber.pdf ↗
Posted on GitHub
13 October 2026

No verification run is on record for this version.