Related papers: Persistent homology and microlocal sheaf theory
We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…
We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…
Persistent homology is a popular and useful tool for analysing finite metric spaces, revealing features that can be used to distinguish sets of unlabeled points and as input into machine learning pipelines. The famous stability theorem of…
We develop the geometric and homological framework for non-commutative $n$-ary $\Gamma$-semirings by constructing a sheaf and derived theory over their non-commutative $\Gamma$-spectrum. Starting with a non-commutative $n$-ary…
The output of persistent homology is an algebraic object called a persistence module. This object admits a decomposition into a direct sum of interval persistence modules described entirely by the barcode invariant. In this paper we…
We develop a discrete gauge-theoretic framework for superposition in large language models (LLMs) that replaces the single-global-dictionary premise with a sheaf-theoretic atlas of local semantic charts. Contexts are clustered into a…
We prove a monodromy theorem for local vector fields belonging to a sheaf satisfying the unique continuation property. In particular, in the case of admissible regular sheaves of local fields defined on a simply connected manifold, we…
In this paper we use the theory of barcodes as a new tool for studying dynamics of area-preserving homeomorphisms. We will show that the barcode of a Hamiltonian diffeomorphism of a surface depends continuously on the diffeomorphism, and…
In this work more questions arise than answers given, for which of course we do not apologize. The core of this paper is concerned with the construction of a ``constant'' t-structure on the bounded derived category of coherent sheaves…
We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.
We introduce an original notion of extra-fine sheaf on a topological space, and a variant (hyper-extra-fine) for which \v{C}ech cohomology in strictly positive degree vanishes. We provide a characterization of such sheaves when the…
We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…
We study a variation of Carlsson and Zomorodian's persistent homology. As an application, we analyze the persistent cellular sheaf cohomology of network coding sheaves on deteriorating networks.
We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and…
In this paper we prove a duality for constructible sheaves on conically smooth stratified spaces. Here we consider sheaves with values in a stable and bicomplete $\infty$-category equipped with a closed symmetric monoidal structure, and in…
In this paper we prove that the dimension of the bounded derived category of coherent sheaves on a smooth quasi-projective curve is equal to one. We also discuss dimension spectrums of these categories.
Persistent homology is a popular technique in topological data analysis that tracks the lifespans of homological features in a nested sequence of spaces. This data is typically presented in a multi-set called a persistence diagram or a…
We construct "barcodes" for the chain complexes over Novikov rings that arise in Novikov's Morse theory for closed one-forms and in Floer theory on not-necessarily-monotone symplectic manifolds. In the case of classical Morse theory these…
Consider the space of continuous functions on a geometric tree $X$ whose persistent homology gives rise to a finite generic barcode $D$. We show that there are exactly as many path connected components in this space as there are merge trees…
Microlocal sheaf theory of \cite{KS90} makes an essential use of an extension lemma for sheaves due to Kashiwara, and this lemma is based on a criterion of the same author giving conditions in order that a functor defined in $\mathbb{R}$…