Related papers: A categorical K\"unneth formula for constructible …

Let X be a proper scheme and Z a prestack over X equipped with a flat connection. We give a local-to-global description of D-modules on the prestack S(Z) of flat sections of Z. Examples of S(Z) include the moduli stacks of principal…

We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category…

We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…

Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…

One of the algebraic structures that has emerged recently in the study of the operator product expansions of chiral fields in conformal field theory is that of a Lie conformal algebra [K]. A Lie pseudoalgebra is a generalization of the…

We show that the triangulated category of bounded constructible complexes on an algebraic variety X over an algebraically closed field is equivalent to the bounded derived category of the abelian category of constructible sheaves on X,…

We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the…

Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…

We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module…

We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.

We produce an indexed version of the Grothendieck construction. This gives an equivalence of categories between opfibrations over a fixed base in the 2-category of 2-copresheaves and 2-copresheaves on the Grothendieck construction of the…

We consider derived categories of coherent sheaves on smooth projective varieties. We prove that any equivalence between them can be represented by an object on the product. Using this, we give a necessary and sufficient condition for…

Let $K/\mathbb Q_{p}$ be a finite extension with ring of integers $o$, let $G$ be a connected reductive split $\mathbb Q_{p}$-group of Borel subgroup $P=TN$ and let $\alpha$ be a simple root of $T$ in $N$. We associate to a finitely…

We obtain some fundamental results, as Bokstedt-Neeman Theorem and Grothendieck duality, about the derived category of modules on a finite ringed space. Then we see how these results are transfered to schemes in a simple way and generalized…

Let $A$ be an associative superalgebra over a field of characteristic zero. Let $n \geq d+1$. The main result of the paper establishes an equivalence of categories between supermodules for the wreath product $ S_{d} \wr A$ and an explicitly…

Let k be an algebraically closed field. Using the Eilenberg-Watts theorem over schemes, we determine the structure of k-linear right exact direct limit and coherence preserving functors from the category of quasi-coherent sheaves on P^1_k…

We utilize the coherent-constructible correspondence to construct full strongly exceptional collections of nef line bundles in the derived category of a toric variety through the combinatorics of constructible sheaves built from polytopes.…

We prove that the cohomology rings of the moduli space $M_{d,\chi}$ of one-dimensional sheaves on the projective plane are not isomorphic for general different choices of the Euler characteristics. This stands in contrast to the…

We develop a theory of nearby and vanishing cycles in the context of finite-coefficient Zariski-constructible sheaves over a non-archimedean field which is non-trivially valued, complete, algebraically closed, and of mixed characteristic or…

We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…