Related papers: Sheafification of linear functors
In the strict semi stable reduction situation, we describe the various filtrations of the perverse sheaf of nearby cycles in terms of irreducible perverse sheaves together with the action of the monodromy operator. We then study the…
We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the…
We investigate scalar restriction, scalar extension, and scalar coextension functors for graded modules, including their interplay with coarsening functors, graded tensor products, and graded Hom functors. This leads to several…
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,…
The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…
Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…
We axiomatize the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalized automorphic sheaf is proposed which includes sheaves of (meromorphic) sections…
In this paper we establish affinizations and R-matrices in the language of pro-objects, and as an application, we construct reflection functors over the localizations of quiver Hecke algebras of arbitrary finite types. This reflection…
We give an introductory survey of the results in arXiv: 1708.01418. We discuss a sheafified elliptic quantum group associated to any symmetric Kac-Moody Lie algebra. The sheafification is obtained by applying the equivariant elliptic…
The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…
In their article "Elementary construction of perverse sheaves", R.MacPherson and K. Vilonen show that on a Thom-Mather space X the category PervX of perverse sheaves is equivalent to the category C(F, G, T) whose objects are data of…
We use modified traces to renormalize Lyubashenko's closed 3-manifold invariants coming from twist non-degenerate finite unimodular ribbon categories. Our construction produces new topological invariants which we upgrade to 2+1-TQFTs under…
A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…
We introduce the notion of Stokes filtered quasi-local systems. It is proved that the category of Stokes filtered quasi-local systems is abelian. We also give a geometric way to construct Stokes filtered quasi-local systems, which describe…
It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded covariant Hom functors.
We will generalize the projective model structure in the category of unbounded complexes of modules over a commutative ring to the category of unbounded complexes of quasi-coherent sheaves over the projective line. Concretely we will define…
We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…
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.
On a smooth algebraic variety over $\mathbb{C}$, we build the tempered subanalytic and Stein tempered subanalytic sites. We construct the sheaf of holomorphic functions tempered at infinity over these sites and study their relations with…