English
Related papers

Related papers: A derived isometry theorem for constructible sheav…

200 papers

Continuation of algebraic structures in families of dynamical systems is described using category theory, sheaves, and lattice algebras. Well-known concepts in dynamics, such as attractors or invariant sets, are formulated as functors on…

Dynamical Systems · Mathematics 2022-07-14 K. Dowling , W. D. Kalies , R. C. A. M. Vandervorst

We construct moduli stacks of stable sheaves for surfaces fibered over marked nodal curves by using expanded degenerations. These moduli stacks carry a virtual class and therefore give rise to enumerative invariants. In the case of a…

Algebraic Geometry · Mathematics 2023-06-01 Nikolas Kuhn

In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.

Algebraic Geometry · Mathematics 2019-08-29 Andreas Hochenegger

Let S be a smooth projective surface, K be the canonical class of S and H be an ample divisor such that H.K<0 . In this paper we prove that for any rigid (Ext^1(F,F)=0) semistable sheaf F in the sense of Mumford--Takemoto stability w.r.t. H…

alg-geom · Mathematics 2008-02-03 Boris V. Karpov

In this paper, we introduce new enumerative invariants of curves on Calabi-Yau 3-folds via certain stable objects in the derived category of coherent sheaves. We introduce the notion of limit stability on the category of perverse coherent…

Algebraic Geometry · Mathematics 2019-12-19 Yukinobu Toda

We analyse infinitesimal deformations of pairs $(X,\mathcal{F})$ with $\mathcal{F}$ a coherent sheaf on a smooth projective manifold $X$ over an algebraic closed field of characteristic $0$. We describe a differential graded Lie algebra…

Algebraic Geometry · Mathematics 2022-07-29 Donatella Iacono , Marco Manetti

In 2009, Chazal et al. introduced $\epsilon$-interleavings of persistence modules. $\epsilon$-interleavings induce a pseudometric $d_I$ on (isomorphism classes of) persistence modules, the interleaving distance. The definitions of…

Computational Geometry · Computer Science 2015-05-22 Michael Lesnick

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

Algebraic Geometry · Mathematics 2023-05-30 Tamir Hemo , Timo Richarz , Jakob Scholbach

These lecture notes were prepared for the workshop ``Algebraic Geometry: Presentations by Young Researchers'' in Snowbird, Utah, July 2004, and for the autumn school in Lukecin, Poland, September 2004. In six lectures I attempted to present…

Algebraic Geometry · Mathematics 2009-09-29 Andrei Caldararu

We define notions of differentiability for maps from and to the space of persistence barcodes. Inspired by the theory of diffeological spaces, the proposed framework uses lifts to the space of ordered barcodes, from which derivatives can be…

Algebraic Topology · Mathematics 2021-05-05 Jacob Leygonie , Steve Oudot , Ulrike Tillmann

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…

Algebraic Topology · Mathematics 2025-03-03 Adam Pratt

In this paper we present a new approach to computing homology (with field coefficients) and persistent homology. We use concepts from discrete Morse theory, to provide an algorithm which can be expressed solely in terms of simple graph…

Algebraic Topology · Mathematics 2012-10-26 Paweł Dłotko , Hubert Wagner

Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…

Algebraic Topology · Mathematics 2015-04-09 Justin Curry , Robert Ghrist , Vidit Nanda

We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all t-structures of this category is…

Algebraic Geometry · Mathematics 2007-05-23 Igor Burban , Bernd Kreussler

In recent work, generalized persistence modules have proved useful in distinguishing noise from the legitimate topological features of a data set. Algebraically, generalized persistence modules can be viewed as representations for the poset…

Algebraic Topology · Mathematics 2017-10-10 Killian Meehan , David Meyer

We define a simple, explicit map sending a morphism $f:M \rightarrow N$ of pointwise finite dimensional persistence modules to a matching between the barcodes of $M$ and $N$. Our main result is that, in a precise sense, the quality of this…

Algebraic Topology · Mathematics 2016-10-25 Ulrich Bauer , Michael Lesnick

In this expository note, we discuss some results of the author on the structure of derived categories of equivariant coherent sheaves and the derived categories of geometric invariant theory quotients. We take a recent perspective,…

Algebraic Geometry · Mathematics 2024-10-16 Daniel Halpern-Leistner

This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…

Logic · Mathematics 2026-02-10 Andreas Brunner , Charles Morgan , Darllan Conceição Pinto

We establish some properties of the derived category of torus-equivariant coherent sheaves on a split toric stack bundle. Our main result is a semi-orthogonal decomposition of such a category.

Algebraic Geometry · Mathematics 2025-01-24 Qian Chao , Jiun-Cheng Chen , Hsian-Hua Tseng

A graph $H$ is an \emph{isometric} subgraph of $G$ if $d_H(u,v)= d_G(u,v)$, for every pair~$u,v\in V(H)$. A graph is \emph{distance preserving} if it has an isometric subgraph of every possible order. A graph is \emph{sequentially distance…

Discrete Mathematics · Computer Science 2025-02-14 Jason P. Smith , Emad Zahedi