Related papers: Persistent homology and microlocal sheaf theory

Let \(\T\) be a commutative ternary \(\Gm\)-semiring in the sense of the triadic, \(\Gm\)-parametrized multiplication \(\{a,b,c\}_{\gamma}\). Building on the affine \(\Gm\)-spectrum \(\SpecG(\T)\), the structure sheaf, and the equivalence…

The spectral side of the (conjectural) Betti geometric Langlands correspondence concerns sheaves on the character stack of an algebraic curve; in particular, the categories in question are manifestly invariant under deformations of the…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…

We prove a theorem on how a conclusion on homological dimension of a family of coherent sheaves over a scheme can be done from homological dimension of the restriction of this family to the reduction of the base.

Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic…

Persistent homology (PH) studies the topology of data across multiple scales by building nested collections of topological spaces called filtrations, computing homology and returning an algebraic object that can be vizualised as a…

A central challenge in topological data analysis is the interpretation of barcodes. The classical algebraic-topological approach to interpreting homology classes is to build maps to spaces whose homology carries semantics we understand and…

We develop a microlocal theory, in the sense of Kashiwara-Schapira, for Zariski-constructible sheaves on rigid analytic varieties. We define and study monodromic sheaves, the monodromic Fourier transform, specialisation, microlocalisation,…

We use Topological Data Analysis tools for studying the inner organization of cells in segmented images of epithelial tissues. More specifically, for each segmented image, we compute different persistence barcodes, which codify lifetime of…

Let G be a reductive groups over an algebraically closed field k. Let P^{(i)} be associated parabolic subgroups, and X^{(i)}:=T^*G/P^i. The bounded derived categories of coherent sheaves on X^{(i)} are equivalent, but there is no canonical…

Persistent homology has recently emerged as a powerful technique in topological data analysis for analyzing the emergence and disappearance of topological features throughout a filtered space, shown via persistence diagrams. Additionally,…

The purely mathematical root of the dequantization constructions is the quest for a sheafification needed for presheaves on a noncommutative space. The moment space is constructed as a commutative space, approximating the noncommutative…

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

This paper aims to use Cartan's original method in proving Theorem A and B on closed cubes to provide a different proof of the vanishing of sheaf cohomology over a closed cube if either (i) the degree exceeds its real dimension or (ii) the…

Recently, multi-scale notions of local homology (a variant of persistent homology) have been used to study the local structure of spaces around a given point from a point cloud sample. Current reconstruction guarantees rely on constructing…

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

Our objective in this article is to show a possibly interesting structure of homotopic nature appearing in persistent (co)homology. Assuming that the filtration of the (say) simplicial set embedded in a finite dimensional vector space…

We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a…

In this paper we prove the existence of an algebraic model for quasi-coherent sheaves on certain non-connective geometric stacks arising in stable homotopy theory and spectral algebraic geometry using the machinery of adapted homology…