Related papers: A Localization Algorithm for $D$-modules

Based on the recent developments in the irregular Riemann-Hilbert correspondence for holonomic D-modules and the Fourier-Sato transforms for enhanced ind-sheaves, we study the Fourier transforms of some irregular holonomic D-modules. For…

Let G be a $p$-adic Lie group. We develop a dimension theory for coadmissible G-equivariant $\mathcal{D}$-modules on smooth rigid analytic spaces. We introduce the category of weakly holonomic G-equivariant $\mathcal{D}$-modules, study its…

In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative…

We study a category of Whittaker modules over a complex semisimple Lie algebra by realizing it as a category of twisted D-modules on the associated flag variety using Beilinson-Bernstein localization. The main result of this paper is the…

We show that there is a logarithmic algebraic space parameterizing logarithmic morphisms between fixed logarithmic schemes when those logarithmic schemes satisfy natural hypotheses. As a corollary, we obtain the algebraicity of the stack of…

Given a holonomic D-module M on a 1-dimensional torus, one can consider its Mellin transform, which is a difference system on the affine line. In this note we prove a formal stationary phase formula, which shows that the formal behavior at…

The article demonstrates the procedure how to compute the Zariski closure of an orbit by an algebraic action of finitely generated group on the affine plane. First half of the algorithm is about deciding whether given finitely generated…

We develop a new method for analyzing moduli problems related to the stack of pure coherent sheaves on a polarized family of projective schemes. It is an infinite-dimensional analogue of geometric invariant theory. We apply this to two…

We give a definition for the restriction of a difference module on the affine line to a formal neighborhood of an orbit, trying to mimic the analogous definition and properties for a D-module. We show that this definition is reasonable in…

We prove a new selection theorem for multivalued mappings of C-space. Using this theorem we prove extension dimensional version of Hurewicz theorem for a closed mapping $f\colon X\to Y$ of $k$-space $X$ onto paracompact $C$-space $Y$: if…

In this paper we generalize the classical Groebner basis technique to prove the existence and present a method of computation of a dimension polynomial in two variables associated with a finitely generated D-module, that is, a finitely…

We identify all uniform limits of polynomials on the closed unit disc with respect to the chordal metric \c{hi} . One such limit is f=oo. The other limits are holomorphic functions f:-->C so that for every {\zeta} in the boundary of unit…

In this work we provide a localization formulae for odd holomorphic super vector fields on compact complex supermanifolds with fermionic dimension equal to the bosonic dimension. We prove a residue theorem for holomorphic super vector…

We study the local analytic classification of affine structures with logarithmic pole on complex surfaces. With this result in hand, we can get the local classification of the logarithmic parallelizable d-webs, d $\ge$ 3.

We provide two Mayer-Vietoris-like spectral sequences related to the localization over the complement of a closed subvariety of an algebraic variety by using techniques from $\mathcal{D}$-modules and homological algebra. We also give, as an…

We generalize the Gleason-Kahane-\.Zelazko theorem to modules. As an application, we show that every linear functional on a Hardy space that is non-zero on outer functions is a multiple of a point evaluation. A further consequence is that…

We generalize Rado's extension theorem to complex spaces.

We construct and study the moduli of continuous representations of a profinite group with integral $p$-adic coefficients. We present this moduli space over the moduli space of continuous pseudorepresentations and show that this morphism is…

We study GKZ-type D-modules arising from the actions of commutative linear algebraic groups G = TU (where T is a torus and U is unipotent) on a vector space. Building on Hotta's equivariant D-module framework, we formalize a Fourier-orbit…

We describe the support of $F$-finite $F$-modules over polynomial rings $R$ of prime characteristic. Our description yields an algorithm to compute the support of such modules; the complexity of our algorithm is also analyzed. To the best…