Related papers: Lecture notes on sheaves and perverse sheaves
Categorical aspects of the theory of modules over trusses were studied in recent years. The snake lemma and the nine lemma in categories of modules over trusses are formulated in this paper.
A brief synopsis of recent conceptions and results, the current status and future outlook of our research program of applying sheaf and topos-theoretic ideas to quantum gravity and quantum logic is presented.
In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal…
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,…
In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…
Constructible sheaves of abelian groups on a stratified space can be equivalently described in terms of representations of the exit-path category. In this work, we provide a similar presentation of the abelian category of perverse sheaves…
We compare the obstruction classes defined in arXiv:1101.4069 to those defined by Illusie. We also give sheaf theoretic proofs of some of the standard properties of the cotangent complex.
We extend the theory of spinor class field and representation fields previously defined for lattices over the ring of integers of a number field to both, lattices over the coordinate ring of a smooth irreducible affine curve over a finite…
We exhibit an intimate relationship between "reciprocity sheaves" from arXiv:1402.4201 [math.AG] and "modulus sheaves with transfers" from arXiv:1908.02975 [math.AG] and arXiv:1910.14534 [math.AG].
We show that some of the main results in Laurentiu Maxim's paper on this subject can be obtained (even in a slightly more general setting) using the theory of perverse sheaves of finite rank over $\Q$ as described for instance in the…
Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the…
We further develop the general theory of the "mixed modular derived category" introduced by the authors in a previous paper in this series. We then use it to study positivity and Q-Koszulity phenomena on flag varieties.
Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is…
Let X be a smooth toric variety stratified by the torus action. This paper is a presentation of a description of the category Perv_X of perverse sheaves on X relatively to the fixed stratification. We define a category of representations of…
We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.
We introduce a new method for ``twisting'' relative equivalences of derived categories of sheaves on two spaces over the same base. The first aspect of this is that the derived categories of sheaves on the spaces are twisted. They become…
We establish several results combining discrete Morse theory and microlocal sheaf theory in the setting of finite posets and simplicial complexes. Our primary tool is a computationally tractable description of the bounded derived category…
The Fourier-Mukai transform is lifted to the derived category of sheaves with connection on abelian varieties. The case of flat connections (D-modules) is discussed in detail.
In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic…
Let H be an arrangement of hyperplanes in R^n and Perv(C^n,H) be the category of perverse sheaves on C^n smooth with respect to the stratification given by complexified flats of H. We give a description of Perv(C^n,H) in terms of "matrix…