algebraic topology

Interval Decompositions for Multipersistence Modules over Finite Posets and Robustness of Sheaf Data on Simplicial Complexes

arXiv:2607.28134

summary

The paper establishes conditions under which multipersistence modules indexed by finite posets can be broken down into direct sums of interval modules, and applies these results to study the robustness of cellular sheaf data on simplicial complexes using concepts like thickness and cohesion.

Abstract

We prove structure theorems for multipersistence modules indexed by finite posets that are not totally ordered. Specifically, we consider pointwise finite-dimensional modules over the opposite of the poset of non-empty subsets of a finite set, and give sufficient conditions, expressed through transition morphisms, for such modules to split as direct sums of interval modules. In the general case, the interval summands and multiplicities are explicitly determined by dimensions at finitely many indices. Although the assumptions may look algebraically restrictive, we show that they have a natural geometric origin in a robustness theory of cellular sheaf data over simplicial complexes, where one studies how algebraic information, compatibility constraints, and cohomological obstructions persist under structural failures. We extend thickness and cohesion from simplicial cohomology to cellular sheaves: thickness detects the dependence of cohomology classes on high-dimensional support, while cohesion captures the influence of higher-order adjacencies on the cohomological features. We leverage our abstract structure theorems to obtain interval decompositions for the resulting geometric cohesion modules. Finally, we introduce biparameter persistence constructions for sheaf resilience, tracking whether global sections and cohomological obstructions remain detectable on thick or cohesive substructures during topological degradation.

Topics & keywords

#multipersistence#interval decomposition#cellular sheaves#simplicial complexes#robustness#cohomologyfinite posetinterval modulessheaf cohomologythicknesscohesionbiparameter persistence