Local acyclicity in $p$-adic cohomology

Abstract

We prove an analogue for $p$-adic coefficients of the Deligne--Laumon theorem on local acyclicity for curves. That is, for an overconvergent $F$-isocrystal $E$ on a relative curve $f:U\to S$ admitting a good compactification, we show that the cohomology sheaves of $\mathbf{R}{f}_{!}E$ are overconvergent isocrystals if and only if $E$ has constant Swan conductor at infinity.

Section 6 largely rewritten. Final version to appear in Documenta Math

Cited by in corpus (1)

• On the universal extensions in Tannakian categories