arXiv:math/0604134 [math.AG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords exponential type, holonomic d-modules, formal structure, cohomology sheaves, formalized direct image Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset