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

Abstract

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 objects in the framework of arithmetic $\mathcal{D}$-modules whose category is equivalent to the category of overconvergent isocrystals.