Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.20376

Discrete Morse Theory for Computing Filtered Cosheaf Homology

Neria Baris
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper addresses the computation of persistent homology for filtrations of cellular cosheaves over a fixed cell complex, where the algebraic data vary along the filtration while the underlying topological structure remains unchanged. We extend methods from discrete Morse theory to this setting, establishing conditions under which chain complexes can be reduced while preserving the associated persistence module. Building on these results, we introduce "FilteredScythe", an algorithm that identifies Morse matchings compatible with all stages of the filtration and performs reductions using Schur complements, based on the exist "Scythe" algorithm. We prove the correctness of these reductions and establish bounds on the algorithm's time and space complexity.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Neria Baris. 2026-10-14. Discrete Morse Theory for Computing Filtered Cosheaf Homology. https://arxiv.org/abs/2610.20376

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Persistence and Topological Complexity

Topological complexity is a homotopy invariant that measures the minimal number of continuous rules required for motion planning in a space. In this work, we introduce persistent analogs of topological complexity and its cohomological lower bound, the zero-divisor-cup-length, for persistent topological spaces, and establish their stability. For Vietoris--Rips filtrations of metric spaces, we show that the erosion distances between these persistent invariants are bounded above by twice the Gromov--Hausdorff distance. We develop metric models of classical topological spaces based on cube boundaries with the $\ell_\infty$ metric and their products and wedges, allowing explicit computations of persistent invariants and their distances. These examples show that, in certain cases, persistent topological complexity and zero-divisor-cup-length distinguish spaces that persistent homology, persistent LS-category, and persistent cup-length fail to distinguish.

math.AT↗
arXiv2026

Nilpotence phenomena over $\mathbb{E}_{\infty}$-rings in positive characteristic

We study the behavior of nilpotent classes in $\mathbb{E}_\infty$-rings over finite fields. In characteristic $p=2$, we show that any nilpotent class can be killed by a nilpotence detecting map of $\mathbb{E}_\infty$-rings. As a consequence, we prove the existence of ``residue fields'', namely that any non-zero $\mathbb{E}_\infty$-ring over $\mathbb{F}_2$ admits a map to a separably closed graded field. Conversely, for any odd prime $p$, we construct non-zero $\mathbb{E}_\infty$-rings over $\mathbb{F}_p$ which admit nilpotent classes that cannot be killed by any non-zero map of $\mathbb{E}_\infty$-rings, a phenomenon that does not occur classically or at any finite height.

math.AT↗
arXiv2026

Radicals and Nilpotents in Equivariant Algebra

Associated to each Tambara functor $T$ is its Nakaoka spectrum $\mathrm{Spec}(T)$, analogous to the Zariski spectrum of a commutative ring. We establish that this topological space is spectral. This result follows from an analysis of the notion of nilpotence in Tamabra functors. We prove that the nilradical of a Tambara functor $T$ (the intersection of all of its prime ideals) is computed levelwise, i.e. consists precisely of the nilpotent elements in $T$. In contrast to ordinary commutative algebra, the nilpotents of $T$ are not the same as the elements $x$ such that $T[1/x] = 0$; we therefore also give a classification of these elements. As a corollary, we observe that the set of these elements in $π_\star^s$ (the equivariant stable stems, viewed as an $\mathrm{RO}(G)$-graded Tambara functor) forms an ideal.

math.AT↗