Around the nearby cycle functor for arithmetic $\mathcal{D}$-modules

Tomoyuki Abe

We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathcal{D}$-module theory following Beilinson's philosophy. As an application, we define smooth object…