Related papers: C-Constructible Enhanced Ind-Sheaves
We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…
A morphism of the reduced Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) to the reduced moduli functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. It is shown that main…
We relate the Algebra of the Infrared of Gaiotto-Moore-Witten with the theory of perverse schobers which are (conjectural, in general) categorical analogs of perverse sheaves. A perverse schober on a complex plane C can be seen as an…
For an endofunctor $F\colon\mathcal{C}\to\mathcal{C}$ on an ($\infty$-)category $\mathcal{C}$ we define the $\infty$-category $\operatorname{Cart}(\mathcal{C},F)$ of generalized Cartier modules as the lax equalizer of $F$ and the identity.…
Given a triangulation of a polygon P with n vertices, we associate an ice quiver with potential such that the associated Jacobian algebra has the structure of a Gorenstein tiled K[x]-order L. Then we show that the stable category of the…
We develop a theory of tdos and twisted $\mathcal D$-modules over general base schemes with a focus on functorial aspects. In particular, we introduce a flat base change functor and establish its compatibility with globalization and direct…
This is a survey on Anderson t-motives -- high-dimensional generalizations of Drinfeld modules. They are the functional field analogs of abelian varieties with multiplication by an imaginary quadratic field. We describe their lattices,…
Arinkin and Gaitsgory defined a category of tempered D-modules on Bun_G that is conjecturally equivalent to the category of quasi-coherent (not ind-coherent!) sheaves on LocSys_{\check{G}}. However, their definition depends on the auxiliary…
Let C be a fusion category which is an extension of a fusion category D by a finite group G. We classify module categories over C in terms of module categories over D and the extension data (c,M,a) of C. We also describe functor categories…
We introduce a category of possibly irregular holonomic D-modules which can be endowed in a canonical way with an irregular Hodge filtration. Mixed Hodge modules with their Hodge filtration naturally belong to this category, as well as…
Recently, Rizzardo and Van den Bergh constructed an example of a triangulated functor between the derived categories of coherent sheaves on smooth projective varieties over a field $k$ of characteristic $0$ which is not of the Fourier-Mukai…
We introduce the notion of a "baric structure" on a triangulated category, as an abstraction of S. Morel's weight truncation formalism for mixed l-adic sheaves. We study these structures on the derived category D_G(X) of G-equivariant…
This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on…
Injective resolutions of modules are key objects of homological algebra, which are used for the computation of derived functors. Semiinjective resolutions of chain complexes are more general objects, which are used for the computation of…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…
We construct a weak representation of the category of framed affine tangles on a disjoint union of triangulated categories ${\mathcal D}_{2n}$. The categories we use are that of coherent sheaves on Springer fibers over a nilpotent element…
We give a characterisation of those local not necessary commutative rings, for which the category of projective modules admits a triangulation with the identity as translation functor. By "admits a triangulation" we mean that the category…
We provide bar and cobar constructions as functors acting between various categories of curved operads and curved cooperads. Cobar and bar constructions are adjoint to each other. Given a twisting cochain between a curved augmented cooperad…
For a given entwining structure $(A,C)_\psi$ involving an algebra $A$, a coalgebra $C$, and an entwining map $\psi: C\otimes A\to A\otimes C$, a category $\M_A^C(\psi)$ of right $(A,C)_\psi$-modules is defined and its structure analysed. In…
The present paper is devoted to study the homotopy category associated with a simplicial descent category (D,s,E) (arXiv:0808.3684v2). We prove that the class E of equivalences has a calculus of left fractions over a quotient category of D…