Related papers: Differentiable holonomic $AV$-modules

Let M be a complex of D-modules with bounded holonomic cohomology on a complex manifold. In this note, we prove that if the derived tensor product of M with itself is regular, then M is regular.

In this paper we prove the constructibility on the subanalytic sites of the sheaves of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. Such a result solves a conjecture of M. Kashiwara and P. Schapira…

For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the…

Let X be a projective irreducible smooth algebraic variety. A "fine moduli space" of sheaves on X is a family F of coherent sheaves on X parametrized by an integral variety M such that : F is flat on M; for all distinct points x, y of M the…

We describe the complex of solutions of the algebraic Mellin transform of a $\mathcal{D}$-module $\mathcal{M}$ in terms of the solutions of $\mathcal{M}$. In order to do that, we define a Mellin functor on sheaves. We show the Mellin…

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…

Let $X$ and $S$ be complex analytic manifolds where $S$ plays the role of a parameter space. Using the sheaf $\DXS^{\infty}$ of relative differential operators of infinite order, we construct functorially the regular holonomic $\DXS$-module…

Let $H$ be a finite dimensional semisimple Hopf algebra, $A$ a differential graded (dg for short) $H$-module algebra. Then the smash product algebra $A\#H$ is a dg algebra. For any dg $A\#H$-module $M$, there is a quasi-isomorphism of dg…

Let X be a complex curve, $X_{sa}$ the subanalytic site associated to X, M a holonomic $D_X$-module. Let $O^t$ be the sheaf on $X_{sa}$ of tempered holomorphic functions, Sol(M) (resp. $Sol^t$(M)) the complex of holomorphic (resp. tempered…

We study the growth of representations of the Lie algebra of vector fields on the affine space that admit a compatible action of the polynomial algebra. We establish the Bernstein inequality for these representations, enabling us to focus…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

We give a purely geometric categorification of tensor products of finite-dimensional simple $U_q(sl_2)$-modules and $R$-matrices on them. The work is developed in the framework of category of perverse sheaves and the categorification…

We study sheaves of modules for the Lie algebra of vector fields with the action of the algebra of functions, compatible via the Leibniz rule. A crucial role in this theory is played by the virtual jets of vector fields - jets that evaluate…

We compute the characters of the simple GL-equivariant holonomic D-modules on the vector spaces of general, symmetric and skew-symmetric matrices. We realize some of these D-modules explicitly as subquotients in the pole order filtration…

Let ${\mathcal W}_n$ be the Lie algebra of polynomial vector fields. We classify simple weight ${\mathcal W}_n$-modules $M$ with finite weight multiplicities. We prove that every such nontrivial module $M$ is either a tensor module or the…

We investigate several categories of integrable $sl(\infty)$-, $o(\infty)$-, $sp(\infty)$-modules. In particular, we prove that the category of integrable $sl(\infty)$-, $o(\infty)$-, $sp(\infty)$-modules with finite-dimensional weight…

In this paper, we study the holonomic $D$-modules when $D$ is the ring of $k$-linear differential operators on $A = k[\Gamma]$, the coordinate ring of an affine monomial curve over the complex numbers $k = \mathbb C$. In particular, we…

For d > 1, we consider the Veronese map of degree d on a complex vector space W , Ver_d : W -> Sym^d W , w -> w^d , and denote its image by Z. We describe the characters of the simple GL(W)-equivariant holonomic D-modules supported on Z. In…

We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…

Ardakov-Wadsley defined the sheaf D-cap of $p$-adic analytic differential operators on a smooth rigid analytic variety $X$ by restricting to the case where $X$ is affinoid and the tangent sheaf admits a smooth Lie lattice. We generalize…