D-modules and finite maps

Abstract

We study the preservation of semisimplicity for holonomic D-modules with respect to the direct and inverse image of mainly finite maps $\pi :X\to Y$ of smooth varieties. A natural filtration of the direct image ${\pi }_{+}({\mathcal{O}}_X)$ is defined by the vanishing of local cohomology along a natural stratification of $\pi$. The notions are exemplified with the invariant map $X\to X^G$, where $G$ is a complex reflection group. Simply connected varieties are treated algebraically by considering connections instead of fundamental groups. For example, a "Grothendieck-Lefschetz" theorem for connections is proven and also a generalized version of the assertion that rationally connected varieties be simply connected, entirely by algebraic means, using the idea of a "differential covering".

125 pages

References in corpus (2)

• Étale fundamental groups of Kawamata log terminal spaces, flat sheaves, and quotients of Abelian varieties
• Graded cofinite rings of differential operators