Integral $p$-adic cohomology theories
In this paper, we show the non-existence of finitely generated integral $p$-adic cohomology which satisfies finite \'etale descent and the associated rational cohomology coincides with rigid cohomology.
arXiv subjects
Publications and source records attributed to Richard Crew.
In this paper, we show the non-existence of finitely generated integral $p$-adic cohomology which satisfies finite \'etale descent and the associated rational cohomology coincides with rigid cohomology.
We show that much of local class theory can be deduced from the Dieudonn\'e-Manin structure theory for $F$-isocrystals on an algebraically closed field of characteristic $p>0$. As a consequence we get a new proof of a formula of Dwork for the norm residue symbol, as well as a "constructive" proof of the local Shafarevich-Weil theorem. This last answers a question of Morava.
We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite type over a field, and show that the pullback by Frobenius is an auto-equivalence. This extends results of Berthelot that were proven in the smooth case.