A Lefschetz theorem for overconvergent isocrystals with Frobenius structure
arXiv:1607.07112
Abstract
We show a Lefschetz theorem for irreducible overconvergent -isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.