Formal structure of direct image of holonomic D-modules of exponential type
Abstract
We compute formal invariants associated with the cohomology sheaves of the direct image of holonomic D-modules of exponential type. We also prove that every formal C[[t]]<∂t>-modules is isomorphic, after a ramification, to a germ of formalized direct image of analytic D-module of exponential type.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.