We will establish a nearby and vanishing cycle formalism for the arithmetic D-module theory following Beilinson's philosophy. As an application, we define smooth objects in the framework of arithmetic D-modules whose category is equivalent to the category of overconvergent isocrystals. depends on the choice of "parameter", whereas it should not be ideally. This issue is treated in §1. Secondly, it is not clear from the definition that Ψ f and Φ f have certain finiteness property. We argue as Deligne to show the finiteness in §2.2. After constructing nearby/vanishing cycle functors, we give small applications. In §3, we define the category of smooth objects intrinsically, and show that this category coincides with the category of overconvergent isocrystals. We also show that this category is stable under taking pushforward by proper and smooth morphism. In the final section, §4, we propose a category over a henselian trait which is an analogue of that of ℓ-adic sheaves, and show that our nearby/vanishing cycle functors factor through this category.
AcknowledgmentIt is my great pleasure to dedicate this article to Professor Shuji Saito, with deep respect to him and his mathematics, on the occasion of his 60th birthday. As a supervisor, Professor Saito taught me what it is to study mathematics, encouraged me strongly in many occasions, advised me both on mathematics and on life. Without him, my life would not have been as rich.