Related papers: On derived D-modules and their several definitions

We prove that the category of dg-modules and dg-algebras in a Grothendieck quasi-abelian category are endowed with a Quillen model structure. This allows some flexibility in setting up a theory of derived algebraic geometry in the infinite…

We introduce stacks classifying \'etale germs of pointed n-dimensional varieties. We show that quasi-coherent sheaves on these stacks are universal D- and O-modules. We state and prove a relative version of Artin's approximation theorem,…

The aim of this note is to introduce the notion of a $\operatorname{D}$-Lie algebra and to prove some elementary properties of $\operatorname{D}$-Lie algebras, the category of $\operatorname{D}$-Lie algebras, the category of modules on a…

This thesis studies the representation theory and linear structures of $\mathcal{Q}$-manifolds and higher Lie algebroids. We introduce differential graded modules (or for short DG-modules) of $\mathcal{Q}$-manifolds and the equivalent…

We propose a theory of degenerations for derived module categories, analogous to degenerations in module varieties for module categories. In particular we define two types of degenerations, one algebraic and the other geometric. We show…

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

The aim of this note is a combinatorial description of a category of $D$-modules over an affine space, smooth along the stratification defined by an arrangement of hyperplanes. These $D$-modules are assumed to satisfy certain non-resonance…

Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundedness result for these slopes, study their functoriality and use them to characterize regularity. For a family of (possibly…

Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential…

We study the invariant algebraic D-modules on an affine variety under the action of an algebraic group.For linear algebraic groups with the multiplication action by themselves, such D-modules correspond to representations of their Lie…

We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…

In this paper, we study the counterpart of Grothendieck's projectivization construction in the context of derived algebraic geometry. Our main results are as follows: First, we define the derived projectivization of a connective complex,…

A Lie algebroid on a variety X/k is an extension \alpha: g_X \to T_X of the tangent sheaf both as O_X-module and Lie algebra over the base field, with the obvious compatibilities; and given a Lie algebroid one has its associated ring of…

Let $R$ be a commutative Noetherian local ring. We prove a variety of new formulae for modules of finite quasi-projective or finite quasi-injective dimension. These include the Derived Depth Formula, itself an extension of Auslander famous…

In this article we classify indecomposable objects of the derived categories of finitely-generated modules over certain infinite-dimensional algebras. The considered class of algebras (which we call nodal algebras) contains such well-known…

Originally a technical tool, the derived category of coherent sheaves over an algebraic variety has become over the last twenty years an important invariant in the birational study of algebraic varieties. Problems of birational invariance…

In this paper, we introduce the category of quasi-tempered automorphic D-modules, which is a rather natural class of D-modules from the point of view of geometric Langlands. We provide a characterization of this category in terms of…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

We study finite-rank left-translation invariant algebraic $D$-modules on complex affine algebraic groups. Using the standard description of these objects as left-invariant flat algebraic connections on the trivial vector bundle, modulo…