Related papers: Level-sets persistence and sheaf theory
We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category…
We introduce a new moduli stack, called the Serre stable moduli stack, which corresponds to studying families of point objects in an abelian category with a Serre functor. This allows us in particular, to re-interpret the classical derived…
In this work, we present a generalization of extended persistent homology to filtrations of graded sub-groups by defining relative homology in this setting. Our work provides a more comprehensive and flexible approach to get an algebraic…
In this paper, we study a class of discrete Morse functions, coming from Discrete Morse Theory, that are equivalent to a class of simplicial stacks, coming from Mathematical Morphology. We show that, as in Discrete Morse Theory, we can see…
Several situations are known when a holomorphic 2-form on a moduli space of sheaves over some base S is induced by a holomorphic 2-form on S. Moreover, the closedness of the 2-form on the base implies the closedness on the moduli space,…
Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors),…
We show how natural functors from the category of coherent sheaves on a projective scheme to categories of Kronecker modules can be used to construct moduli spaces of semistable sheaves. This construction simplifies or clarifies technical…
We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, \'etale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type…
In this paper we study functions on the interval that have the same persistent homology. By introducing an equivalence relation modeled after topological conjugacy, which we call graph-equivalence, a precise enumeration of functions with…
We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category.…
We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…
The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is…
Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…
We consider the equivalence from the stable module category to a subcategory $\mathcal{L}_A$ of the homotopy category constructed by Kato. This equivalence induces a correspondence between distinguished triangles in the homotopy category…
In the framework of Abstract Differential Geometry, we show that to a given principal sheaf and a representation of its stuctural sheaf in $A^n$, where A is a sheaf of associative, commutative, unital algebras (over R or C), we associate a…
For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…
Moduli spaces of stable coherent sheaves on a surface are of much interest for both mathematics and physics. Yoshioka computed generating functions of Poincare polynomials of such moduli spaces if the surface is the projective plane P2 and…
In a paper by Ford, it is claimed that to any pushout square of categories with all involved functors injective, there is associated an exact "Mayer--Vietoris" sequence of derived (co)limits. We provide a counter-example to this general…
In this article we continue the study of holonomic modules over sheaves of Cherednik algebras, initiated by the third author in [Tho18]. Working with arbitrary parameters, we first develop a theory of $b$-functions to prove that…
The Isometry Theorem of Chazal et al. and Lesnick is a fundamental result in persistence theory, which states that the interleaving distance between two one-parameter persistence modules is equal to the bottleneck distance between their…