Related papers: Regularization of relative holonomic D-modules

We prove a criterion for determining whether the normalization of a complex analytic space on which the constant sheaf is perverse is a rational homology manifold, using a perverse sheaf known as the multiple-point complex. This perverse…

For a complex manifold $X$ the ring of microdifferential operators $\E_X$ acts on the microlocalization $\mu hom(F,\O_X)$, for $F$ in the derived category of sheaves on $X$. Kashiwara, Schapira, Ivorra, Waschkies proved, as a byproduct of…

We introduce the notion of strong regularity for subanalytic sheaves and establish estimates for the supports and microsupports of their multi-microlocalizations. As applications, we study subanalytic sheaves of Whit- ney and temperate…

Given a smooth morphism of schemes $X\rightarrow T$, denote by $\mathcal D_{X/T}^{\mathsf{cr}}$ the sheaf of rings of fiberwise crystalline differential operators on $X$ relative to $T$ and by $\Omega^\bullet_{X/T}$ the de Rham sheaf of…

Let S be a toric algebra over a field K of characteristic 0 and let I be a monomial ideal of S. We show that the local cohomology modules H^i_I(S) are of finite length over the ring of differential operators D(S;K), generalizing the…

We introduce all six operations for D-cap-modules on smooth rigid analytic spaces by considering the derived category of complete bornological D-cap-modules. We then focus on a full subcategory which should be thought of as consisting of…

Let $A$ be the $n$-th Weyl algebra over a field of characteristic zero, and $\varphi:A\rightarrow A$ an endomorphism with $S = \varphi(A)$. We prove that if $A$ is finitely generated as a left or right $S$-module, then $S = A$. The proof…

In this paper, we study irreducible weight modules with infinite dimensional weight spaces over the mirror-twisted Heisenberg-Virasoro algebra $\mathcal{D}$. More precisely, the necessary and sufficient conditions for the tensor products of…

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of…

We provide an alternative definition for the familiar concept of regular singularity for meromorphic connections. Our new formulation does not use derived categories, and it also avoids the necessity of finding a special good filtration as…

The dihedral homology functor $HD:A_\infty^{{\rm inv}}(K)\to GrM(K)$ from the category $A_\infty^{{\rm inv}}(K)$ of involutive $A_\infty$-algebras over any commutative unital ring $K$ to the category $GrM(K)$ of graded $K$-modules is…

Let S be a K3 surface and Aut D(S) the group of auto-equivalences of the derived category of S. We construct a natural representation of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S.…

A celebrated theorem of Harich-Chandra asserts that all invariant eigendistributions on a semisimple Lie group are locally integrable functions. We show that this result is a consequence of an algebraic property of a holonomic D-module…

The Gamma-series of Gel'fand-Kapranov-Zelevinsky are adapted so that they give solutions for certain resonant systems of GKZ hypergeometric differential equations. For this some complex parameters in the Gamma-series are replaced by…

We prove a generalised version of finiteness of skein modules for 3-manifolds by including boundary. We show that internal skein modules are holonomic modules over the internal skein algebra of the boundary - a property including finite…

We define the homology of a simplicial set with coefficients in a Segal's $\Gamma$-set ($\mathbf S$-module). We show the relevance of this new homology with values in $\mathbf S$-modules by proving that taking as coefficients the $\mathbf…

Given a complex manifold S, we introduce for each complex manifold X a t-structure on the bounded derived category of C-constructible complexes of O_S-modules on X x S. We prove that the de Rham complex of a holonomic D_{XxS/S}-module which…

We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant…

Let $f:X\to Y$ be a smooth morphism of complex analytic manifolds and let $F$ be an $\mathbb{R}$-constructible complex on $Y$. Let $\cal{M}$ be a coherent $\shd_X$-module. We prove that the microsupport of the solution complex of $\shm$ in…

We present a non-perturbative formulation of renormalization by viewing the regularized Schwinger-Dyson hierarchy as a meromorphic connection, that is, as a D-module on the product of spacetime with the regulator disc. The irregular…