Kashiwara's theorem for twisted arithmetic differential operators

Abstract

We establish a version of Kashiwara's theorem for twisted sheaves of Berthelot's arithmetic differential operators for a closed immersion between smooth p-adic formal schemes. As an application, we construct simple modules for crystalline distribution algebras of reductive groups using the twisted version of the crystalline localisation theorem.

28 pages, corrected some minor typos in the first version, added the application to crystalline distribution algebras