Related papers: DG-modules over de Rham DG-algebra

Drinfeld suggested the definition of a certain endo-functor, called the pseudo-identity functor, on the category of D-modules on an algebraic stack. We extend this definition to an arbitrary DG category, and show that if certain finiteness…

In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically…

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving…

In this paper, we treat $\mathscr{D}$-modules on the basic affine space $G/U$ and their global sections for a semisimple complex algebraic group $G$. Our aim is to prepare basic results about large non-irreducible modules for the branching…

Let X be an algebraic curve. We study the problem of parametrizing geometric data over X, which is only generically defined. E.g., parametrizing generically defined (aka rational) maps from X to a fixed target scheme Y. There are three…

Let G be the group of L-rational points of a connected split reductive group over a finite extension L of Q_p. We show that formal models of the algebraic flag variety X of G are D-affine for certain sheaves of arithmetic differential…

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…

Let $G$ be a $\mathbb{Q}_p$-split reductive group with connected centre and Borel subgroup $B=TN$. We construct a right exact functor $D^\vee_\Delta$ from the category of smooth modulo $p^n$ representations of $B$ to the category of…

We study the category O of representations of the rational Cherednik algebra A attached to a complex reflection group W. We construct an exact functor, called Knizhnik-Zamolodchikov functor, from O to the category of H-modules, where H is…

We present a variant of the Peskine--Szpiro Acyclicity Lemma, and hence a way to certify exactness of a complex of finite modules over a large class of (possibly) noncommutative rings. Specifically, over the class of Auslander regular…

In the dictionary between the language of (algebraic integrable) connections and that of (algebraic) $\cD$-modules, to compare the definitions of inverse images for connections and $\cD$-modules is easy. But the comparison between direct…

Let $X$ be a smooth projective and geometrically irreducible curve over the finite field $\mathbb{F}_q$ with $q$ elements and $K$ be its function field. Let $\infty$ be a fixed closed point on $X$ and $A$ be the ring of functions regular…

Let $\mathcal V$ be a discrete valuation ring of mixed characteristic with perfect residue field. Let $X$ be a geometrically connected smooth proper curve over $\mathcal V$. We introduce the notion of constructible convergent…

Let $X=\mathbb{A}^{n}$ be complex affine space, and let $T^{*}X$ be its cotangent bundle. For any exact Lagrangian $L\subset T^{*}X$, we define a new invariant, A, living in $ \text{Div}_{\mathbb{Q}/\mathbb{Z}}(L)$. We call this invariant…

Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles. In this paper, we study Gorenstein derived functors for extriangulated categories. More precisely, we first…

We construct a higher level analogue of Dorey's rule, which describe certain surjective morphisms between Kirillov--Reshetikhin (KR) modules over quantum affine algebras. Building on this, we establish a generalized T-system of short exact…

In this article, $X$ will denote a ${\cal C}^{\infty}$ manifold. In a very famous article, Kontsevich showed that the differential graded Lie algebra (DGLA) of polydifferential operators on $X$ is formal. Calaque extended this theorem to…

We construct a moduli scheme for semistable pre-$\D$-modules with prescribed singularities and numerical data on a smooth projective variety. These pre-$\D$-modules are to be viewed as regular holonomic $\D$-modules with `level structure'.…

We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…