Equivariant algebraic enhanced de Rham functor

Abstract

We propose a definition of an equivariant algebraic enhanced de Rham functor, which is defined by using the enhanced de Rham functor due to D’Agnolo and Kashiwara. Moreover, as a small application of this functor, we give an approach to the proof of the well-known fact that any equivariant algebraic coherent $\mathcal{D}$-module is regular holonomic in the case that the number of orbits is finite.