Relative Obstructions and Spectral Diagnostics for Sheaves on Cell Complexes
Abstract
Many structured systems admit locally consistent descriptions that nevertheless fail to globalize when constrained by an ambient reference or feasibility condition. Diagnosing such failures is naturally an evaluative problem: given a fixed model and a grounding, can one determine whether they are structurally compatible, and if not, identify the nature and localization of the obstruction? In this work, we introduce a sheaf-theoretic and spectral framework for evaluating structural inconsistency as a \emph{relative} phenomenon. A model is represented by a cellular sheaf on a cell complex, together with a morphism into a grounding sheaf encoding admissible global behavior. Failure of compatibility is captured by the mapping cone of this morphism, whose cohomology computes the relative groups and separates intrinsic obstructions from inconsistencies induced by the grounding. Beyond exact cohomological classification, we develop \emph{spectral witnesses} derived from regular and mapping-cone Laplacians. The spectra of these operators provide computable, quantitative indicators of inconsistency, encoding both robustness and spatial localization through spectral gaps, integrated energies, and eigenmode support. These witnesses enable comparison of distinct inconsistency mechanisms in fixed systems without learning, optimization, or modification of the underlying representation. The proposed framework is domain-agnostic and applies to a broad class of structured models where feasibility is enforced locally but evaluated globally.
Cite
@article{arxiv.2601.19056,
title = {Relative Obstructions and Spectral Diagnostics for Sheaves on Cell Complexes},
author = {Shinobu Yokoyama},
journal= {arXiv preprint arXiv:2601.19056},
year = {2026}
}
Comments
26 pages, 5 figures. Presented at the Finland-Japan Workshop in Industrial and Applied Mathematics 2026. v2: Corrected the proof of Proposition 1 (geometric vs. translated mapping cone), simplified the definition of global spectral witnesses, removed an unnecessary variational lemma, and cleaned up notation and references