A Lefschetz theorem for overconvergent isocrystals with Frobenius   structure
  We show a Lefschetz theorem for irreducible overconvergent $F$-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it. 
Tomoyuki Abe and H\'el\`ene Esnault
math.AG math.NT