English
Related papers

Related papers: Level-sets persistence and sheaf theory

200 papers

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

alg-geom · Mathematics 2008-02-03 Leovigildo Alonso , Ana Jeremías , Joseph Lipman

From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the…

Representation Theory · Mathematics 2018-05-09 Wei Hu , Shengyong Pan

The goal of this note is to define biparametric persistence diagrams for smooth generic mappings $h=(f,g):M\to V\cong \mathbb{R}^2$ for smooth compact manifold $M$. Existing approaches to multivariate persistence are mostly centered on the…

Algebraic Topology · Mathematics 2021-10-20 Mishal Assif P K , Yuliy Baryshnikov

We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…

Algebraic Geometry · Mathematics 2022-11-23 J. P. Pridham

The algebraic stability theorem for $\mathbb{R}$-persistence modules is a fundamental result in topological data analysis. We present a stability theorem for $n$-dimensional rectangle decomposable persistence modules up to a constant…

Algebraic Topology · Mathematics 2020-01-22 Håvard Bakke Bjerkevik

We state a conjecture that relates the derived category of smooth representations of a p-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case…

Algebraic Geometry · Mathematics 2021-06-29 Eugen Hellmann

We introduce lifespan functors, which are endofunctors on the category of persistence modules that filter out intervals from barcodes according to their boundedness properties. They can be used to classify injective and projective objects…

Algebraic Topology · Mathematics 2024-02-21 Ulrich Bauer , Maximilian Schmahl

Let \sF be a coherent rank 2 sheaf on a scheme Y \subset \proj{n} of dimension at least two. In this paper we study the relationship between the functor which deforms a pair (\sF,\sigma), \sigma \in H^0(\sF), and the functor which deforms…

Algebraic Geometry · Mathematics 2019-08-15 Jan O. Kleppe

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

Logic · Mathematics 2014-02-26 Benno van den Berg , Ieke Moerdijk

In this paper we show that states, transitions and behavior of concurrent systems can often be modeled as sheaves over a suitable topological space. In this context, geometric logic can be used to describe which local properties (i.e.…

Logic in Computer Science · Computer Science 2008-10-17 Viorica Sofronie-Stokkermans

We study the decomposition of zero-dimensional persistence modules, viewed as functors valued in the category of vector spaces factorizing through sets. Instead of working directly at the level of vector spaces, we take a step back and…

Algebraic Topology · Mathematics 2023-03-13 Ángel Javier Alonso , Michael Kerber

This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…

Category Theory · Mathematics 2007-05-23 Noson S. Yanofsky

We study derived categories of coherent sheaves on abelian varieties. We give a criterion for the equivalence of the derived categories on two abelian varieties. We describe the autoequivalence group for the derived category of coherent…

alg-geom · Mathematics 2025-07-25 Dmitri Orlov

We describe the birational correspondences, induced by the Fourier-Mukai functor, between moduli spaces of semistable sheaves on elliptic surfaces with sections, using the notion of $P$-stability in the derived category. We give explicit…

Algebraic Geometry · Mathematics 2010-08-24 Marcello Bernardara , Georg Hein

Persistent homology, a central tool of topological data analysis, provides invariants of data called barcodes (also known as persistence diagrams). A barcode is simply a multiset of real intervals. Recent work of Edelsbrunner, Jablonski,…

Algebraic Topology · Mathematics 2020-10-12 Ulrich Bauer , Michael Lesnick

We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…

Algebraic Geometry · Mathematics 2025-11-12 Arun Soor

Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this paper, we first provide a systematic treatment of sheaves of…

Logic · Mathematics 2021-12-15 Hisashi Aratake

We study persistence modules defined on commutative ladders. This class of persistence modules frequently appears in topological data analysis, and the theory and algorithm proposed in this paper can be applied to these practical problems.…

Algebraic Topology · Mathematics 2015-04-21 Emerson G. Escolar , Yasuaki Hiraoka

Multiparameter persistence modules come up naturally in topological data analysis and topological robotics. Given a metric graph $(X,\delta)$, the second configuration space of $(X,\delta)$ with proximity parameters (for example, the…

Algebraic Topology · Mathematics 2023-10-10 Wenwen Li

In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…

Algebraic Geometry · Mathematics 2007-05-23 Alexander Samokhin