I am seeking recommendations for a concise introduction to the theory of $D$-modules suitable for an algebraic geometer. Specifically, I am interested in understanding:
- The role of the characteristic cycle in the theory.
- The analogies and relations between $D$-modules, $l$-adic cohomology, and ramification theory.
All in all, I would like to properly understand the first sentences of the introduction of this excellent paper of Tomoyuki Abe. Alternatively, a response explaining these two questions, rather than a reference, would also be greatly appreciated.