Finiteness of rigid cohomology with coefficients

We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite dimensional vector spaces. We also establish Poincare duality and the Kunneth formula with coefficients. The arguments use a pushforward construction in relative dimension 1, based on a relative version of Crew's conjecture on the quasi-unipotence of certain p-adic differential equations.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.