Published online by Cambridge University Press: 24 August 2011
Let 𝒱 be a mixed characteristic complete discrete valuation ring with perfect residue field k. We solve Berthelot’s conjectures on the stability of the holonomicity over smooth projective formal 𝒱-schemes. Then we build a category of F-complexes of arithmetic 𝒟-modules over quasi-projective k-varieties with bounded and holonomic cohomology. We obtain its stability under Grothendieck’s six operations.