Related papers: On the support of relative $D$-modules
Let $R$ be a polynomial or formal power series ring with coefficients in a DVR $V$ of mixed characteristic with a uniformizer $\pi$. We prove that the $R$-module annihilator of any nonzero $\D(R,V)$-module is either zero or is generated by…
Let $O_X$ (resp. $D_X$) be the sheaf of holomorphic functions (resp. the sheaf of linear differential operators with holomorphic coefficients) on $X$ (=the complex affine n-space). Let $Y$ be a locally weakly quasi-homogeneous free divisor…
We develop a theory of nearby and vanishing cycles in the context of finite-coefficient Zariski-constructible sheaves over a non-archimedean field which is non-trivially valued, complete, algebraically closed, and of mixed characteristic or…
For a regular map $F$ from a complex smooth affine variety $X$ to $\mathbb A^r_\mathbb C$, we construct generalized nearby-cycle modules of a regular holonomic $\mathscr D$-module $\mathcal M$ along log strata with the log structure induced…
M. Kontsevich conjectured and T. Bitoun proved that if M is a nonzero holonomic D-module then the p-support of a generic reduction of M to characteristic p>0 is Lagrangian. We provide a new elementary proof of this theorem and also…
We survey nearby and vanishing cycles for both perverse sheaves and D-modules under analytic setting. Following ideas of A. Beilinson, M. Kashiwara and M. Saito, we explain in detail the proof of the comparison theorem between them in the…
We establish an ideal-theoretic rigidity principle for quadratic distance images over integer residue rings. Specifically, we prove that near-extremal collapse of the distance set in $\mathbb{Z}_n^d$ forces strong algebraic structure…
In this mostly expository note we give a down-to-earth introduction to the V-filtration of M. Kashiwara and B. Malgrange on D-modules. We survey some applications to generalized Bernstein-Sato polynomials, multiplier ideals, and monodromy…
In this article we study holomorphic deformations of the filtered Gauss-Manin systems associated to a vanishing period integral. For that purpose we introduce a new sub-class of the class of monogenic (a,b)-modules (Brieskorn modules) which…
We study self-extensions of modules over symmetric artin algebras. We show that non-projective modules with eventually vanishing self-extensions must lie in AR components of stable type $\mathbb{Z}A_{\infty}$. Moreover, the degree of the…
We give a criterion for the annihilator in U$(\frak{sl}(\infty))$ of a simple highest weight $\frak{sl}(\infty)$-module to be nonzero. As a consequence we show that, in contrast with the case of $\frak{sl}(n)$, the annihilator in…
We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…
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…
We study primitive ideals in the enveloping algebra of finitary locally finite infinite-dimensional complex Lie algebras. In particular we investigate the annihilators of the simple objects in the category of tensor modules. This category…
We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathscr{D}$-module theory following Beilinson's philosophy. As an application, we define smooth objects in the framework of arithmetic $\mathscr{D}$-modules whose…
The Auslander-Reiten Conjecture for commutative Noetherian rings predicts that a finitely generated module is projective when certain Ext-modules vanish. But what if those Ext-modules do not vanish? We study the annihilators of these…
We study holonomic D-modules on SL_n(C)xC^n, called mirabolic modules, analogous to Lusztig's character sheaves. We describe the supports of simple mirabolic modules. We show that a mirabolic module is killed by the functor of Hamiltonian…
Let $R$ be a commutative noetherian ring, and denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules. In this paper, for an ideal $I$ of $R$, we introduce the full subcategory $\operatorname{mod}_{I}(R)$ of…
In the moduli space of degree d polynomials, the special subvarieties are those cut out by critical orbit relations, and then the special points are the post-critically finite polynomials. It was conjectured that in the moduli space of…
If ${\cal D}$ is a definable category then it may contain no nonzero finitely presented modules but, by a result of Makkai, there is a $\varinjlim$-generating set of strictly ${\cal D}$-atomic modules. These modules share some key…